Mathematics
New submissions
[ showing up to 2000 entries per page: fewer  more ]
New submissions for Fri, 22 Jun 18
 [1] arXiv:1806.07877 [pdf, other]

Title: Packing spanning rigid subgraphs with restricted degreesAuthors: Morteza HasanvandComments: arXiv admin note: text overlap with arXiv:1806.00135Subjects: Combinatorics (math.CO)
Let $G$ be a graph and let $l$ be an integervalued function on subsets of $V(G)$. The graph $G$ is said to be $l$partitionconnected, if for every partition $P$ of $V(G)$, $e_G(P)\ge \sum_{A\in P} l(A)l(V(G))$, where $e_G(P)$ denotes the number of edges of $G$ joining different parts of $P$. We say that $G$ is $l$rigid, if it contains a spanning $l$partitionconnected subgraph $H$ with $E(H)=\sum_{v\in V(H)} l(v)l(V(H))$. In this paper, we investigate decomposition of graphs into spanning partitionconnected and spanning rigid subgraphs. As a consequence, we improve a recent result due to Gu (2017) by proving that every $(4kp2p+2m)$connected graph $G$ with $k\ge 2$ has a spanning subgraph $H$ containing a packing of $m$ spanning trees and $p$ spanning $(2k1)$edgeconnected subgraphs $H_1,\ldots, H_p$ such that for each vertex $v$, every $H_iv$ remains $(k1)$edgeconnected and also $d_H(v)\le \lceil \frac{d_G(v)}{2}\rceil +2kpp+m$. From this result, we refine a result on arcconnected orientations of graphs.
 [2] arXiv:1806.07880 [pdf, other]

Title: On the uncertainty product of spherical functionsAuthors: Ilona IglewskaNowakComments: 22 pagesSubjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (mathph)
The uncertainty product of a function is a quantity that measures the tradeoff between the space and the frequency localization of the function. Its boundedness from below is the content of various uncertainty principles. In the present paper, functions over the $n$dimensional sphere are considered. A formula is derived that expresses the uncertainty product of a continuous function in terms of its Fourier coefficients. It is applied to a directional derivative of a zonal wavelet, and the behavior of the uncertainty product of this function is discussed.
 [3] arXiv:1806.07881 [pdf, ps, other]

Title: A continuous spherical wavelet transform for~$\mathcal C(\mathcal S^n)$Authors: Ilona IglewskaNowakComments: 8 pagesSubjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (mathph); Functional Analysis (math.FA)
In the present paper, a wavelet family over the $n$dimensional sphere is constructed such that for each scale the wavelet is a polynomial and the inverse wavelet transform of a continuous function converges in the supremum norm.
 [4] arXiv:1806.07882 [pdf, ps, other]

Title: Uncertainty product of the spherical GaussWeierstrass waveletAuthors: Ilona IglewskaNowakComments: 13 pagesSubjects: Classical Analysis and ODEs (math.CA)
In this paper, asymptotic behavior of the uncertainty product of GaussWeierstrass wavelet is investigated. It is shown that the uncertainty product is bounded from above, a feature that distinguishes GaussWeierstrass wavelet among other wavelet families.
 [5] arXiv:1806.07883 [pdf, ps, other]

Title: Uncertainty product of the spherical AbelPoisson waveletAuthors: Ilona IglewskaNowakComments: 7 pagesSubjects: Classical Analysis and ODEs (math.CA)
In the present paper, the variances in the space and momentum domains of the spherical AbelPoisson wavelet, as well as the limit of the uncertainty product for $\rho\to0$, where $\rho$ is the scale parameter, are computed. The values of these quantities coincide with a certain accuracy with those of the spherical Poisson wavelet with $\tfrac{1}{2}$ substituted for the order parameter.
 [6] arXiv:1806.07885 [pdf, ps, other]

Title: Almost cyclic elements in cross characteristic representations of finite groups of Lie typeSubjects: Group Theory (math.GR)
This paper is a significant contribution to a general program aimed to classify all projective irreducible representations of finite simple groups over an algebraically closed field, in which the image of at least one element is represented by an almost cyclic matrix (that is, a square matrix $M$ of size $n$ over a field $F$ with the property that there exists $\alpha\in F$ such that $M$ is similar to $diag(\alpha\cdot Id_k, M_1)$, where $M_1$ is cyclic and $0\leq k\leq n$). While a previous paper dealt with the Weil representations of finite classical groups, which play a key role in the general picture, the present paper provides a conclusive answer for all crosscharacteristic projective irreducible representations of the finite quasisimple groups of Lie type and their automorphism groups.
 [7] arXiv:1806.07887 [pdf, ps, other]

Title: Massey products and the Golod property for simplicially resolvable ringsAuthors: Robin FrankhuizenComments: 27 pages; comments welcome. arXiv admin note: text overlap with arXiv:1612.02737Subjects: Algebraic Topology (math.AT); Commutative Algebra (math.AC); Rings and Algebras (math.RA)
We apply algebraic Morse theory to the Taylor resolution of a monomial ring $R = S/I$ to obtain an $A_{\infty}$structure on the minimal free resolution of $R$. Using this structure we describe the vanishing of higher Massey products in case the minimal free resolution is simplicial. Under this assumption, we show that R is Golod if and only if the product on $\text{Tor}^S(R, k)$ vanishes. Lastly, we give two combinatorial characterizations of the Golod property in this case.
 [8] arXiv:1806.07888 [pdf, ps, other]

Title: Some Rapidly Converging Series for $ζ(2n+1)$ from Abstract OperatorsAuthors: GuangQing BiComments: 19 pages. arXiv admin note: text overlap with arXiv:1008.5046Subjects: Number Theory (math.NT)
The author derives new family of series representations for the values of the Riemann Zeta function $\zeta(s)$ at positive odd integers. For $n\in\mathbb{N}$, each of these series representing $\zeta(2n+1)$ converges remarkably rapidly with its general term having the order estimate: $$O(m^{2k}\cdot k^{2n+1})\qquad(k\rightarrow\infty;\quad m=3,4,6).$$ The method is based on the mapping relationships between analytic functions and periodic functions using the abstract operators $\cos(h\partial_x)$ and $\sin(h\partial_x)$, including the mapping relationships between power series and trigonometric series, if each coefficient of a power series is respectively equal to that of a trigonometric series. Thus we obtain a general method to find the sum of the Dirichlet series of integer variables. By defining the Zeta function in an abstract operators form, we have further generalized these results on the whole complex plane.
 [9] arXiv:1806.07926 [pdf, other]

Title: Resource Allocation in SWIPT Networks under a NonLinear Energy Harvesting Model: Power Efficiency, User Fairness, and Channel NonReciprocityComments: This paper has been accepted for publication in IEEE Transactions on Vehicular TechnologySubjects: Information Theory (cs.IT)
This paper considers a multiuser simultaneous wireless information and power transfer (SWIPT) system with a nonlinear energy harvesting model, in which a multiantenna base station (BS) estimates the downlink channel state information (CSI) via uplink pilots. Each singleantenna user is equipped with a power splitter. Three crucial issues on resource management for this system include: (i) powerefficient improvement, (ii) userfairness guarantee, and (iii) nonideal channel reciprocity effect mitigation. Potentially, a resource allocation scheme to address jointly such issues can be devised by using the framework of multiobjective optimization. However, the resulting problem might be complex to solve since the three issues hold different characteristics. Therefore, we propose a novel method to design the resource allocation scheme. In particular, the principle of our method relies on structuralizing mathematically the issues into a crosslayer multilevel optimization problem. On this basis, we then devise solving algorithms and closedform solutions. Moreover, to instantly adapt the CSI changes in practice while reducing computational burdens, we propose a closedform suboptimal solution to tackle the problem. Finally, we provide numerical results to show the achievable performance gains using the optimal and suboptimal solutions, and then validate the proposed resource allocation scheme.
 [10] arXiv:1806.07927 [pdf, ps, other]

Title: LiYorke chaos for ultragraph shift spacesSubjects: Dynamical Systems (math.DS); Operator Algebras (math.OA)
Recently, in connection with C*algebra theory, the first author and Danilo Royer introduced ultragraph shift spaces. In this paper we define a family of metrics for the topology in such spaces, and use these metrics to study the existence of chaos in the shift. In particular we characterize all ultragraph shift spaces that have LiYorke chaos (an uncountable scrambled set), and prove that such property implies the existence of a perfect and scrambled set in the ultragraph shift space. Furthermore, this scrambled set can be chosen compact, what is not the case for a labelled edge shift (with the product topology) of an infinite graph.
 [11] arXiv:1806.07929 [pdf, ps, other]

Title: All lattices of subracks are complementedSubjects: Combinatorics (math.CO); Commutative Algebra (math.AC); Algebraic Topology (math.AT); Group Theory (math.GR)
A rack is a set together with a selfdistributive bijective binary operation. In this paper, a question due to Heckenberger, Shareshian and Welker is answered. In fact, we show that the lattice of subracks of every finite rack is complemented. Moreover, we characterize finite modular lattices of subracks in terms of complements of subracks. Further, we show that being a Boolean algebra, pseudocomplemented and uniquely complemented as well as distributivity are equivalent for the lattice of subracks of a finite rack. Next, we introduce a certain class of racks including all groups with the conjugation operation, called Gracks, and we study some of their properties. In particular, we show that a finite Grack has the homotopy type of a sphere.
 [12] arXiv:1806.07931 [pdf, ps, other]

Title: Characterizations of Pseudoconvex FunctionsAuthors: Vsevolod Ivanov IvanovComments: 9 pages, 1 figureSubjects: Optimization and Control (math.OC)
A differentiable function is pseudoconvex if and only if its restrictions over straight lines are pseudoconvex. A differentiable function depending on one variable, defined on some closed interval $[a,b]$ is pseudoconvex if and only if there exist some numbers $\alpha$ and $\beta$ such that $a\le\alpha\le\beta\le b$ and the function is strictly monotone decreasing on $[a,\alpha]$, it is constant on $[\alpha,\beta]$, the function is strictly monotone increasing on $[\beta,b]$ and there is no stationary points outside $[\alpha,\beta]$. This property is very simple. In this paper, we show that a similar result holds for lower semicontinuous functions, which are pseudoconvex with respect to the lower Dini derivative. We prove that a function, defined on some interval, is pseudoconvex if and only if its domain can be split into three parts such that the function is strictly monotone decreasing in the first part, constant in the second one, strictly monotone increasing in the third part, and every stationary point is a global minimizer. Each one or two of these parts may be empty or degenerate into a single point. Some applications are derived.
 [13] arXiv:1806.07933 [pdf, other]

Title: Optimal quasidiagonal preconditioners for pseudodifferential operators of order minus twoSubjects: Numerical Analysis (math.NA)
We present quasidiagonal preconditioners for piecewise polynomial discretizations of pseudodifferential operators of order minus two in any space dimension. Here, quasidiagonal means diagonal up to a sparse transformation. Considering shape regular simplicial meshes and arbitrary fixed polynomial degrees, we prove, for dimensions larger than one, that our preconditioners are asymptotically optimal. Numerical experiments in two, three and four dimensions confirm our results. For each dimension, we report on condition numbers for piecewise constant and piecewise linear polynomials.
 [14] arXiv:1806.07939 [pdf, ps, other]

Title: On the Conformal change of a Douglas space of second kind with special $(α, β)$metricComments: 13 pagesSubjects: Differential Geometry (math.DG)
The notion of a Douglas space of second kind of a Finsler space with $(\alpha, \beta)$metric was introduced by I. Y. Lee [9]. Since then, so many geometers have studied this topic e. g., [14]. In this paper, we prove that a Douglas space of second kind with special $% (\alpha, \beta)$metric $\alpha +\epsilon \beta + k \frac{\beta^2}{\alpha }$ is conformally transformed to a Douglas space of second kind. Further, we obtain some results which prove that a Douglas space of second kind with certain $(\alpha, \beta)$metrics such as Randers metric, Kropina metric, first approximate Matsumoto metric and Finsler space with square metric is conformally transformed to a Douglas space of second kind.
 [15] arXiv:1806.07943 [pdf, ps, other]

Title: On Schauder basis in normed spacesComments: 9Subjects: Functional Analysis (math.FA)
In this work, we prove the criterion of BanachGrunblum and the principle of selection of BessagaPe\l{}czy\'nski for normed spaces. Given these results, it can be shown that in infinite dimension spaces (not necessarily complete) there is an infinitedimension subspaces with an essential Schauder basis.
 [16] arXiv:1806.07945 [pdf, ps, other]

Title: Rectifiability and finite variationAuthors: Matthew HendtlassSubjects: Classical Analysis and ODEs (math.CA); Logic (math.LO)
We show that the length of a path in $ \mathbf{R}^2 $ can be computed if and only if its variation in every direction can.
 [17] arXiv:1806.07946 [pdf, ps, other]

Title: On a convexity problemAuthors: Bogdan GavreaSubjects: Classical Analysis and ODEs (math.CA)
This work is a continuation of what was done in a previous paper and strongly connected to the recent work of U. Abel and I. Rasa [arXiv:1707.00127]
 [18] arXiv:1806.07947 [pdf, ps, other]

Title: Simply improved averaging for coupled oscillators and weakly nonlinear wavesAuthors: Molei TaoComments: Comments are welcomedSubjects: Classical Analysis and ODEs (math.CA); Computational Physics (physics.compph)
The long time effect of nonlinear perturbation to oscillatory linear systems can be characterized by the averaging method, and we consider firstorder averaging for its simplest applicability to highdimensional problems. Instead of the classical approach, in which one uses the pullback of linear flow to isolate slow variables and then approximate the effective dynamics by averaging, we propose an alternative coordinate transform that better approximates the mean of oscillations. This leads to a simple improvement of the averaged system, which will be shown both theoretically and numerically to provide a more accurate approximation. Three examples are then provided: in the first, a new device for wireless energy transfer modeled by two coupled oscillators was analyzed, and the results provide design guidance and performance quantification for the device; the second is a classical coupled oscillator problem (FermiPastaUlam), for which we numerically observed improved accuracy beyond the theoretically justified timescale; the third is a nonlinearly perturbed firstorder wave equation, which demonstrates the efficacy of improved averaging in an infinite dimensional setting.
 [19] arXiv:1806.07948 [pdf, ps, other]

Title: Analytic computations of digamma function using some new identitiesComments: 9Subjects: Classical Analysis and ODEs (math.CA)
Motivated by rigorous development in the theory of digamma functions, we have first derived some new identities for the digamma function, and then computed the values of digamma function for the fractional orders using these identities conveniently.
 [20] arXiv:1806.07949 [pdf, ps, other]

Title: Some summation theorems for Clausen's hypergeometric functions with unit argumentComments: 10Subjects: Classical Analysis and ODEs (math.CA)
Motivated by the work on hypergeometric summation theorems (recorded in the table III of Prudnikov et al. pp. 541546), we have established some new summation theorems for Clausen's hypergeometric functions with unit argument in terms of $\pi$ and natural logarithms of some rational and irrational numbers. Also, we have given some modified summation theorems for Clausen's hypergeometric functions.
 [21] arXiv:1806.07953 [pdf, ps, other]

Title: A Trace theorem for Martinettype vector fieldsSubjects: Classical Analysis and ODEs (math.CA); Analysis of PDEs (math.AP); Metric Geometry (math.MG)
In $\mathbb{R}^3$ we consider the vector fields \[
X_1 =\frac{ \partial }{\partial x},\qquad
X_2 =\frac{ \partial }{\partial y}+ x^\alpha \frac{ \partial }{\partial z}, \]
where $\alpha\in\left[1,+\infty\right[$. Let $\mathbb{R}^3_+ =\{(x,y,z)\in\mathbb{R}^3: z\geq 0\}$ be the (closed) upper halfspace and let $f\in C^1 ( \mathbb{R} ^3_+ )$ be a function such that $X_1f, X_2f \in L^ p(\mathbb{R}^3_+)$ for some $p>1$. In this paper, we prove that the restriction of $f$ to the plane $z=0$ belongs to a suitable Besov space that is defined using the CarnotCarath\'eodory metric associated with $X_1$ and $X_2$ and the related perimeter measure.  [22] arXiv:1806.07954 [pdf, ps, other]

Title: On the relationships between Stieltjes type integrals of Young, Dushnik and KurzweilSubjects: Classical Analysis and ODEs (math.CA)
Integral equations of the form $$ x(t)=x(t_0)+\int_{t_0}^t d[A]\,x=f(t)f(t_0)$$ are natural generalizations of systems of linear differential equations. Their main goal is that they admit solutions which need not be absolutely continuous. Up to now such equations have been considered by several authors starting with J. Kurzweil and T.H. Hildebrandt. These authors worked with several different concepts of the Stieltjes type integral like Young's (Hildebrandt), Kurzweil's (Kurzweil, Schwabik and Tvrd\'{y}), Dushnik's (H\"{o}nig) or Lebesgue's (Ashordia, Meng and Zhang). Thus an interesting question arises: what are the relationships between all these concepts?
Our aim is to give an answer to this question. In addition, we present also convergence results that are new for the Young and Dushnik integrals. Let us emphasize that the proofs of all the assertions presented in this paper are based on rather elementary tools.  [23] arXiv:1806.07957 [pdf, ps, other]

Title: Loading Monotonicity of Weighted Premiums, and Total Positivity Properties of Weight FunctionsSubjects: Classical Analysis and ODEs (math.CA); Functional Analysis (math.FA)
We consider the construction of insurance premiums that are monotonically increasing with respect to a loading parameter. By introducing weight functions that are totally positive of higher order, we derive higher monotonicity properties of weighted transformed premiums. We deduce that the greater the degree of randomness of insured risks, the higher the order of total positivity that should be required for the chosen weight functions. We examine seven classes of weight functions that have appeared in the literature, and we ascertain the higher order total positivity properties of those functions.
 [24] arXiv:1806.07958 [pdf, other]

Title: Analyzing stability of a delay differential equation involving two delaysAuthors: Sachin BhalekarComments: 10 pages, 7 figuresSubjects: Classical Analysis and ODEs (math.CA)
Analysis of the systems involving delay is a popular topic among applied scientists. In the present work, we analyze the generalized equation $D^{\alpha} x(t) = g\left(x(t\tau_1), x(t\tau_2)\right)$ involving two delays viz. $\tau_1\geq 0$ and $\tau_2\geq 0$. We use the the stability conditions to propose the critical values of delays. Using examples, we show that the chaotic oscillations are observed in the unstable region only. We also propose a numerical scheme to solve such equations.
 [25] arXiv:1806.07960 [pdf]

Title: Series solutions of Heuntype equation in terms of orthogonal polynomialsAuthors: A. D. AlhaidariComments: 15 Pages, 3 TablesSubjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (mathph); Quantum Physics (quantph)
We introduce a nineparameter Heuntype differential equation and obtain three classes of its solutions as series of square integrable functions written in terms of the Jacobi polynomial. The expansion coefficients of the series satisfy threeterm recursion relations, which are solved in terms of orthogonal polynomials with continuous and/or discrete spectra. Some of these are wellknown polynomials while others are either new or modified versions of known ones.
 [26] arXiv:1806.07961 [pdf, ps, other]

Title: Generalized Matrix Spectral Factorization and Quasitight Framelets with Minimum Number of GeneratorsSubjects: Classical Analysis and ODEs (math.CA); Information Theory (cs.IT)
As a generalization of orthonormal wavelets in $L_2(R)$, tight framelets (also called tight wavelet frames) are of importance in wavelet analysis and applied sciences due to their many desirable properties in applications such as image processing and numerical algorithms. Tight framelets are often derived from particular refinable functions satisfying certain stringent conditions. Consequently, a large family of refinable functions cannot be used to construct tight framelets. This motivates us to introduce the notion of a quasitight framelet, which is a dual framelet but behaves almost like a tight framelet. It turns out that the study of quasitight framelets is intrinsically linked to the problem of the generalized matrix spectral factorization for matrices of Laurent polynomials. In this paper, we provide a systematic investigation on the generalized matrix spectral factorization problem and compactly supported quasitight framelets. As an application of our results on generalized matrix spectral factorization for matrices of Laurent polynomials, we prove in this paper that from any arbitrary compactly supported refinable function in $L_2(R)$, we can always construct a compactly supported onedimensional quasitight framelet having the minimum number of generators and the highest possible order of vanishing moments. Our proofs are constructive and supplemented by stepbystep algorithms. Several examples of quasitight framelets will be provided to illustrate the theoretical results and algorithms developed in this paper.
 [27] arXiv:1806.07962 [pdf, ps, other]

Title: Generalizations of Russellstyle integralsAuthors: Mark W. CoffeyComments: 13 pages, no figuresSubjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (mathph)
First some definite integrals of W. H. L. Russell, almost all with trigonometric function integrands, are derived, and many generalized. Then a list is given in Russellstyle of generalizations of integral identities of Amdeberhan and Moll. We conclude with a brief and noncomprehensive description of directions for further investigation, including the significant generalization to elliptic functions.
 [28] arXiv:1806.07964 [pdf, ps, other]

Title: Riemann's Xifunction: A GGC representationAuthors: Nicholas G. PolsonSubjects: Classical Analysis and ODEs (math.CA)
A GGC (Generalized Gamma Convolution) representation of Riemann's Xifunction and its reciprocal are constructed.
 [29] arXiv:1806.07980 [pdf, other]

Title: Fractional GrayScott Model: Wellposedness, Discretization, and SimulationsComments: 24 pages, 8 figuresSubjects: Numerical Analysis (math.NA)
The GrayScott (GS) model represents the dynamics and steady state pattern formation in reactiondiffusion systems and has been extensively studied in the past. In this paper, we consider the effects of anomalous diffusion on pattern formation by introducing the fractional Laplacian into the GS model. First, we prove that the continuous solutions of the fractional GS model are unique. We then introduce the CrankNicolson (CN) scheme for time discretization and weighted shifted Gr\"unwald difference operator for spatial discretization. We perform stability analysis for the time semidiscrete numerical scheme, and furthermore, we analyze numerically the errors with benchmark solutions that show secondorder convergence both in time and space. We also employ the spectral collocation method in space and CN scheme in time to solve the GS model in order to verify the accuracy of our numerical solutions. We observe the formation of different patterns at different values of the fractional order, which are quite different than the patterns of the corresponding integerorder GS model, and quantify them by using the radial distribution function (RDF). Finally, we discover the scaling law for steady patterns of the RDFs in terms of the fractional order $1<\alpha \leq 2 $.
 [30] arXiv:1806.07981 [pdf, other]

Title: When are Multiples of Polygonal Numbers again Polygonal Numbers?Comments: 17 pages, 1 figureSubjects: Number Theory (math.NT)
Euler showed that there are infinitely many triangular numbers that are three times another triangular number. In general, as we prove, it is an easy consequence of the Pell equation that for a given squarefree m > 1, the relation D = mD' is satisfied by infinitely many pairs of triangular numbers D, D'. However, due to the erratic behavior of the fundamental solution to the Pell equation, this problem is more difficult for more general polygonal numbers. We will show that if one solution exists, then infinitely many exist. We give an example, however, showing that there are cases where no solution exists. Finally, we also show in this paper that, given m > n > 1 with obvious exceptions, the simultaneous relations P = mP', P = nP" has only finitely many possibilities not just for triangular numbers, but for triplets P, P', P" of polygonal numbers.
 [31] arXiv:1806.07982 [pdf, ps, other]

Title: On convex mappingsSubjects: Complex Variables (math.CV)
We establish new characterizations for a holomorphic mapping of the unit disk $\D$ to be convex. We show from this that, with the exception of a parallel strip or a halfplane, the level sets of the Poincar\'e density of a convex domain are strictly convex.
 [32] arXiv:1806.07988 [pdf, other]

Title: Optimal Scheduling of Water Distribution SystemsSubjects: Optimization and Control (math.OC)
With dynamic electricity pricing, the operation of water distribution systems (WDS) is expected to become more variable. The pumps moving water from reservoirs to tanks and consumers can serve as energy storage alternatives if properly operated. Nevertheless, the optimal scheduling of WDS is challenged by the hydraulic law for which the pressure along a pipe drops proportionally to its squared water flow. The optimal water flow (OWF) task is formulated here as a mixedinteger nonconvex problem incorporating flow and pressure constraints, critical for the operation of fixedspeed pumps, tanks, reservoirs, and pipes. The hydraulic constraints of the OWF problem are subsequently relaxed to secondorder cone constraints, and a penalty term is appended to its objective to promote solutions feasible for the water network. The modified problem can be solved as a mixedinteger secondorder cone program, which is analytically shown to yield WDSfeasible minimizers under certain sufficient conditions. By weighting the penalty in the objective of the relaxed problem, its minimizers can attain arbitrarily small optimality gaps, thus providing OWF solutions. Numerical tests using realworld demands and prices on benchmark systems demonstrate the relaxation to be exact for several cases, including setups where the sufficient conditions are not met.
 [33] arXiv:1806.07992 [pdf, ps, other]

Title: Equivariant MoritaTakeuchi TheoryAuthors: Bastian SeifertComments: 17 pagesSubjects: Representation Theory (math.RT); Rings and Algebras (math.RA)
We introduce the notion of Hequivariant MoritaTakeuchi theory for coalgebras with symmetries given by a Hopf algebra H. A cohomology theory is introduced which classifies the possible lifts of coactions on coalgebras to corresponding comodules. An equivariant Picard groupoid is defined and its connection to the developed cohomology theory investigated.
 [34] arXiv:1806.08000 [pdf, ps, other]

Title: Normal Closure of Disk Braid Group in Torus Braid GroupAuthors: Liming PangSubjects: Geometric Topology (math.GT)
Combining the results by Birman and Goldberg, it was proved the normal closure of the pure braid group of the disk $P_n(D)$ in the pure braid group of the torus $P_n(T)$ is the commutator subgroup $[P_n(T),P_n(T)]$. In this paper we are going to study the case for full braid groups: i.e. the normal closure of $B_n(D)$ in $B_n(T)$, which turns out to have an interesting geometric description.
 [35] arXiv:1806.08003 [pdf, other]

Title: Quantum moment maps and symmetric bounded domains quantizationsAuthors: Stéphane KorversSubjects: Quantum Algebra (math.QA); Mathematical Physics (mathph)
We introduce an explicit construction for realizing of the space of invariant deformation quantizations on an arbitrary symmetric bounded domain.
 [36] arXiv:1806.08004 [pdf, other]

Title: A short proof that sweeping is always possible for a spatial discretization with regular triangles and no hanging nodesSubjects: Numerical Analysis (math.NA)
Sweeping is a commonly used procedure to explicitly solve the discrete ordinates equation, which itself is a common approximation of the neutron transport equation. To sweep through the computational domain, an ordering of the spatial cells is required that obeys the flow of information. We show that this ordering can always be found, assuming a discretization of the spatial domain with regular triangles with no hanging nodes.
 [37] arXiv:1806.08006 [pdf, other]

Title: Private Information Retrieval from Coded Storage Systems with Colluding, Byzantine, and Unresponsive ServersSubjects: Information Theory (cs.IT)
The problem of Private Information Retrieval (PIR) from coded storage systems with colluding, byzantine, and unresponsive servers is considered. An explicit scheme using an $[n,k]$ ReedSolomon storage code is designed, protecting against $t$collusion and handling up to $b$ byzantine and $r$ unresponsive servers, when $n>k+t+2b+r1$. %, for some integer $\nu \geq 1$. This scheme achieves a PIR rate of $\frac{nr(k+2b+t1)}{nr}$. In the case where the capacity is known, namely when $k=1$, it is asymptotically capacityachieving as the number of files grows. Lastly, the scheme is adapted to symmetric PIR.
 [38] arXiv:1806.08020 [pdf, other]

Title: Polynomial Preconditioned ArnoldiComments: 25 pagesSubjects: Numerical Analysis (math.NA); Spectral Theory (math.SP)
Polynomial preconditioning can improve the convergence of the Arnoldi method for computing eigenvalues. Such preconditioning significantly reduces the cost of orthogonalization; for difficult problems, it can also reduce the number of matrixvector products. Parallel computations can particularly benefit from the reduction of communicationintensive operations. The GMRES algorithm provides a simple and effective way of generating the preconditioning polynomial. For some problems high degree polynomials are especially effective, but they can lead to stability problems that must be mitigated. A twolevel "double polynomial preconditioning" strategy provides an effective way to generate highdegree preconditioners.
 [39] arXiv:1806.08021 [pdf, ps, other]

Title: Note on the Modifed Augmented Lagrangian Method for Minimization of Functions with Large Quadratic PenaltiesAuthors: Martin NeuenhofenSubjects: Numerical Analysis (math.NA)
In a recent work (arXivDOI: 1804.08072v1) we introduced the Modified Augmented Lagrangian Method (MALM) for the efficient minimization of objective functions with large quadratic penalty terms. From MALM there results an optimality equation system that is related to that of the original objective function. But, it is numerically better behaved, as the large penalty factor is replaced by a milder factor.
In our original work, we formulated MALM with an inner iteration that applies a QuasiNewton iteration to compute the root of a multivariate function. In this note we show that this formulation of the scheme with a Newton iteration can be replaced conveniently by formulating a wellscaled unconstrained minimization problem.
In this note, we briefly review the Augmented Lagrangian Method (ALM) for minimizing equalityconstrained problems. Then we motivate and derive the new proposed formulation of MALM for minimizing unconstrained problems with large quadratic penalties. Eventually, we discuss relations between MALM and ALM.  [40] arXiv:1806.08026 [pdf, ps, other]

Title: Linear systems on semisimple Lie groups: the solution, stability, conjugacy, and an application on the 3dimensional caseAuthors: S.N. StelmastchukComments: 12 pagesSubjects: Dynamical Systems (math.DS)
Our main is to study linear systems on real, connected, semisimple Lie groups. We present the solution of linear systems and from this, we work with stability at the origin and construct a conjugacy by homomorphism of ones. Furthermore, we explicit solutions on 3dimensional real, connected, semisimple Lie groups.
 [41] arXiv:1806.08027 [pdf, ps, other]

Title: PhysicalLayer Security in CacheEnabled Cooperative Small Cell Networks Against Randomly Distributed EavesdroppersComments: 14 pages, 10 figures, accepted for publication on IEEE Transactions on Wireless CommunicationsSubjects: Information Theory (cs.IT)
This paper explores the physicallayer security in a small cell network (SCN) with cooperative cacheenabled small base stations (SBSs) in the presence of randomly distributed eavesdroppers. We propose a joint design on the caching placement and the physicallayer transmission to improve the secure content delivery probability (SCDP). We first put forward a hybrid caching placement strategy in which a proportion of the cache unit in each SBS is assigned to store the most popular files (MPFs), while the remaining is used to cache the disjoint subfiles (DSFs) of the less popular files in different SBSs as a means to enhance transmission secrecy and content diversity. We then introduce two coordinated multipoint (CoMP) techniques, namely, joint transmission (JT) and orthogonal transmission (OT), to deliver the MPFs and DSFs, respectively. We derive analytical expressions for the SCDP in each transmission scheme, considering both noncolluding and colluding eavesdropping scenarios. Based on the obtained analytical results, we jointly design the optimal transmission rates and the optimal caching assignment for maximizing the overall SCDP. Various insights into the optimal transmission and caching designs are further provided. Numerical results are also presented to verify our theoretical findings and to demonstrate the superiority of the proposed caching and transmission strategies.
 [42] arXiv:1806.08029 [pdf, ps, other]

Title: Notes on Loewy series of centers of $p$blocksAuthors: Yoshihiro OtokitaComments: 7 pagesSubjects: Representation Theory (math.RT); Group Theory (math.GR)
The present paper describes some results on the Loewy series of the center of a modular group algebra in order to solve a problem on the number of irreducible ordinary characters. For instance, we prove that a $p$block of a finite group has at least $p+2$ characters if its defect group contains nonelementary center.
 [43] arXiv:1806.08030 [pdf, ps, other]

Title: Stability analysis of random nonlinear systems with timevarying delay and its applicationSubjects: Optimization and Control (math.OC)
This paper studies a class of random nonlinear systems with timevarying delay, in which the $r$order moment ($r\geq1$) of the random disturbance is finite. Firstly, some general conditions are proposed to guarantee the existence and uniqueness of the global solution to random nonlinear timedelay systems. Secondly, some definitions and criteria on noisetostate stability in the moment sense and in probability sense are given by Lyapunov method respectively. Finally, two regulation controllers are constructed respectively for two corresponding random nonlinear timedelay systems and the effectiveness of two proposed recursive procedures are demonstrated by two simulation examples.
 [44] arXiv:1806.08036 [pdf, ps, other]

Title: Diagonal Minkowski classes, zonoid equivalence, and stable lawsComments: 19 pagesSubjects: Metric Geometry (math.MG); Probability (math.PR)
We consider the family of convex bodies obtained as transformations of a convex body $K$ by diagonal matrices, their Minkowski sums, and limits of them in the Hausdorff metric. We fix $K$ and consider these sums and their limits as an integral transform of measures on the family of diagonal matrices, equivalently, on Euclidean space, which we call $K$transform. In the special case, if $K$ is a segment not lying on any coordinate hyperplane, one obtains the family of zonoids and the cosine transform. In this case two facts are known: the vector space generated by support functions of zonoids is dense in the family of support functions of symmetric convex bodies; and the cosine transform is injective. We show that these two properties are equivalent for general $K$.
For $K$ being a generalised zonoid, we determine conditions that ensure the injectivity of the $K$transform. Relations to mixed volumes and to a geometric description of onesided stable laws are discussed. The later probabilistic application gives rise to a family of convex bodies obtained as limits of sums of diagonally scaled $\ell_p$balls.  [45] arXiv:1806.08038 [pdf, ps, other]

Title: Indexed type theoriesAuthors: Valery IsaevComments: 53 pagesSubjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Algebraic Topology (math.AT); Logic (math.LO)
In this paper, we define indexed type theories which are related to indexed ($\infty$)categories in the same way as (homotopy) type theories are related to ($\infty$)categories. We define several standard constructions for such theories including finite (co)limits, arbitrary (co)products, exponents, object classifiers, and orthogonal factorization systems. We also prove that these constructions are equivalent to their type theoretic counterparts such as $\Sigma$types, unit types, identity types, finite higher inductive types, $\Pi$types, univalent universes, and higher modalities.
 [46] arXiv:1806.08045 [pdf, ps, other]

Title: A moving lemma for relative $0$cyclesComments: v1: 42 pages. An earlier version of this article was part of arXiv:1504.08181, entitled "Algebraic cycles and crystalline cohomology" from Section 5 to Section 11. It is completely rewritten, reorganized, generalized, and with numerous fixed. A generalization of the remaining part of arXiv:1504.08181 will be posted as a replacement of arXiv:1504.08181 sometime in a near futureSubjects: Algebraic Geometry (math.AG); KTheory and Homology (math.KT)
We prove a moving lemma for the additive and ordinary higher Chow groups of relative $0$cycles of regular semilocal $k$schemes essentially of finite type over an infinite perfect field. From this, we show that the cycle classes can be represented by cycles that possess certain finiteness, surjectivity, and smoothness properties. It plays a key role in showing that the crystalline cohomology of smooth varieties can be expressed in terms of algebraic cycles.
 [47] arXiv:1806.08048 [pdf, ps, other]

Title: Weighted Sobolev regularity and rate of approximation of the obstacle problem for the integral fractional LaplacianSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
We obtain regularity results in weighted Sobolev spaces for the solution of the obstacle problem for the integral fractional Laplacian. The weight is a power of the distance to the boundary. These bounds then serve us as a guide in the design and analysis of an optimal finite element scheme over graded meshes.
 [48] arXiv:1806.08051 [pdf, ps, other]

Title: Decay of conical averages of the Fourier transformAuthors: Terence L. J. HarrisComments: 20 pagesSubjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)
Some improved $L^2$ fractaltype inequalities are obtained for the wave equation, using the analogue of the DuZhang method for the Schr\"odinger equation. These improve the known decay rates of conical averages for the Fourier transform of measures, in dimensions $d \geq 4$.
 [49] arXiv:1806.08075 [pdf, other]

Title: Embedding fractals in Banach, Hilbert or Euclidean spacesComments: 20 pagesSubjects: Metric Geometry (math.MG); General Topology (math.GN)
By a metric fractal we understand a compact metric space $K$ endowed with a finite family $\mathcal F$ of contracting selfmaps of $K$ such that $K=\bigcup_{f\in\mathcal F}f(K)$. If $K$ is a subset of a metric space $X$ and each $f\in\mathcal F$ extends to a contracting selfmap of $X$, then we say that $(K,\mathcal F)$ is a fractal in $X$. We prove that each metric fractal $(K,\mathcal F)$ is
$\bullet$ isometrically equivalent to a fractal in the Banach spaces $C[0,1]$ and $\ell_\infty$;
$\bullet$ biLipschitz equivalent to a fractal in the Banach space $c_0$;
$\bullet$ isometrically equivalent to a fractal in the Hilbert space $\ell_2$ if $K$ is an ultrametric space.
We prove that for a metric fractal $(K,\mathcal F)$ with the doubling property there exists $k\in\mathbb N$ such that the metric fractal $(K,\mathcal F^{\circ k})$ endowed with the fractal structure $\mathcal F^{\circ k}=\{f_1\circ\dots\circ f_k:f_1,\dots,f_k\in\mathcal F\}$ is equiH\"older equivalent to a fractal in a Euclidean space $\mathbb R^d$. This result is used to prove our main result saying that each finitedimensional compact metrizable space $K$ containing an open uncountable zerodimensional space $Z$ is homeomorphic to a fractal in a Euclidean space $\mathbb R^d$. For $Z$, being a copy of the Cantor set, this embedding result was proved by Duvall and Husch in 1992.  [50] arXiv:1806.08091 [pdf, other]

Title: Blind Deconvolutional Phase Retrieval via Convex ProgrammingSubjects: Information Theory (cs.IT)
We consider the task of recovering two real or complex $m$vectors from phaseless Fourier measurements of their circular convolution. Our method is a novel convex relaxation that is based on a lifted matrix recovery formulation that allows a nontrivial convex relaxation of the bilinear measurements from convolution. We prove that if the two signals belong to known random subspaces of dimensions $k$ and $n$, then they can be recovered up to the inherent scaling ambiguity with $m >> (k+n) \log^2 m$ phaseless measurements. Our method provides the first theoretical recovery guarantee for this problem by a computationally efficient algorithm and does not require a solution estimate to be computed for initialization. Our proof is based Rademacher complexity estimates. Additionally, we provide an ADMM implementation of the method and provide numerical experiments that verify the theory.
 [51] arXiv:1806.08102 [pdf, other]

Title: Fluctuation identities for omegakilled Markov additive processes and dividend problemSubjects: Probability (math.PR)
In this paper we solve the exit problems for an onesided Markov additive process (MAP) which is exponentially killed with a bivariate killing intensity $\omega(\cdot,\cdot)$ dependent on the present level of the process and the present state of the environment. Moreover, we analyze respective resolvents. All identities are given in terms of new generalizations of classical scale matrices for the MAP. We also remark on a number of applications of the obtained identities to (controlled) insurance risk processes. In particular, we show that our results can be applied to the socalled Omega model, where bankruptcy occurs at rate $\omega(\cdot,\cdot)$ when the surplus process becomes negative. Finally, we consider the Markov modulated Brownian motion (MMBM) and present the results for the particular choice of piecewise intensity function $\omega(\cdot,\cdot)$.
 [52] arXiv:1806.08105 [pdf, ps, other]

Title: Fourier series of JacobiSobolev polynomialSubjects: Functional Analysis (math.FA)
\langle f,g\rangle_{\alpha,\beta,m}=\sum_{k=0}^m \int_{1}^{1}f^{(k)}(x)g^{(k)}(x)\, dw_{\alpha+k,\beta+k}(x), \quad \alpha,\beta>1, \quad m\ge 1, \end{equation*} where $dw_{a,b}(x)=(1x)^{a}(1+x)^b\, dx$. We obtain necessary and sufficient conditions for the uniform boundedness of the partial sum operators related to this sequence of polynomials in the Sobolev space $W_{\alpha,\beta}^{p,m}$. As a consequence we deduce the convergence of such partial sums in the norm of $W_{\alpha,\beta}^{p,m}$.
 [53] arXiv:1806.08124 [pdf, other]

Title: A Lagrange Multiplier Method for Semilinear Elliptic State Constrained Optimal Control ProblemsSubjects: Optimization and Control (math.OC)
In this paper we apply an augmented Lagrange method to a class of semilinear elliptic optimal control problems with pointwise state constraints. We show strong convergence of subsequences of the primal variables to a local solution of the original problem as well as weak convergence of the adjoint states and weak* convergence of the multipliers associated to the state constraint. Moreover, we show existence of stationary points in arbitrary small neighborhoods of local solutions of the original problem. Additionally, various numerical results are presented.
 [54] arXiv:1806.08125 [pdf, ps, other]

Title: Flowindependent Anisotropic space, and perturbation of resonancesAuthors: Yannick Guedes BonthonneauSubjects: Spectral Theory (math.SP)
Given an Anosov vector field $X_0$, all sufficiently close vector fields also are of Anosov type. In this note, we check that one can choose the socalled "FaureSj\"ostrand" anistropic spaces to be adapted to any vector field sufficiently close to $X_0$ in $C^1$ norm. It follows that finite families of resonances depend smoothly on the vector field with the usual caveats.
 [55] arXiv:1806.08138 [pdf, ps, other]

Title: Short time existence for a general backwardforward parabolic system arising from MeanField GamesSubjects: Analysis of PDEs (math.AP)
We study the local in time existence of a regular solution of a nonlinear parabolic backwardforward system arising from the theory of MeanField Games (briefly MFG). The proof is based on a contraction argument in a suitable space that takes account of the peculiar structure of the system, which involves also a coupling at the final horizon. We apply the result to obtain existence to very general MFG models, including also congestion problems.
 [56] arXiv:1806.08140 [pdf, other]

Title: Singularities of Gauss maps of wave fronts with nondegenerate singular pointsAuthors: Keisuke TeramotoComments: 19 pages, 12 figuresSubjects: Differential Geometry (math.DG)
We study singularities of Gauss maps of fronts and give characterizations of types of singularities of Gauss maps by geometric properties of fronts which are related to behavior of bounded principal curvatures. Moreover, we investigate relation between a kind of boundedness of Gaussian curvatures near cuspidal edges and types of singularities of Gauss maps of cuspidal edges. Further, we consider extended height functions on fronts with nondegenerate singular points.
 [57] arXiv:1806.08142 [pdf, ps, other]

Title: Deformation of algebroid bracket of differential forms and Poisson manifoldComments: 31 pagesSubjects: Mathematical Physics (mathph); Differential Geometry (math.DG); Dynamical Systems (math.DS)
We construct the family of algebroid brackets $[\cdot,\cdot]_{c,v}$ on the tangent bundle $T^*M$ to a Poisson manifold $(M,\pi)$ starting from an algebroid bracket of differential forms. We use these brackets to generate Poisson structures on the tangent bundle $TM$. Next, in the case when $M$ is equipped with a biHamiltonian structure $(M,\pi_1, \pi_2)$ we show how to construct another family of Poisson structures. Moreover we present how to find Casimir functions for those structures and we discuss some particular examples.
 [58] arXiv:1806.08154 [pdf, ps, other]

Title: Bounds on Erd{ő}s  Faber  Lovász Conjecture  the Uniform and Regular CasesComments: 5 pagesSubjects: Combinatorics (math.CO)
We consider the Erd{\H{o}}s  Faber  Lov\'{a}sz (EFL) conjecture for hypergraphs. This paper proves that the conjecture is true for $r (r\ge4)$ regular case and in the case of $3$ regular the chromatic number is $\leq 1.281n$.
 [59] arXiv:1806.08160 [pdf, ps, other]

Title: Sharp large deviations for the drift parameter of the explosive CoxIngersollRoss processAuthors: marie du Roy de ChaumaraySubjects: Probability (math.PR); Statistics Theory (math.ST)
We consider a nonstationary CoxIngersollRoss process. We establish a sharp large deviation principle for the maximum likelihood estimator of its drift parameter.
 [60] arXiv:1806.08161 [pdf, other]

Title: Explicit Asymptotics on First Passage Times of Diffusion ProcessesComments: 31 pages, 16 figuresSubjects: Probability (math.PR); Numerical Analysis (math.NA); Mathematical Finance (qfin.MF)
We introduce a unified framework for solving first passage times of timehomogeneous diffusion processes. According to the killed version potential theory and the perturbation theory, we are able to deduce closedform solutions for probability densities of singlesided level crossing problem. The framework is applicable to diffusion processes with continuous drift functions, and a recursive system in the frequency domain has been provided. Besides, we derive a probabilistic representation for error estimation. The representation can be used to evaluate deviations in perturbed density functions. In the present paper, we apply the framework to OrnsteinUhlenbeck and Bessel processes to find closedform approximations for their first passage times; another successful application is given by the exponentialShiryaev process. Numerical results are provided at the end of this paper.
 [61] arXiv:1806.08165 [pdf, ps, other]

Title: Interlacing Polynomials and the Veronese Construction for Rational Formal Power SeriesAuthors: Philip B. ZhangComments: 18 pagesSubjects: Combinatorics (math.CO)
Fixing a positive integer $r$ and $0 \le k \le r1$, define $f^{\langle r,k \rangle}$ for every formal power series $f$ as $ f(x) = f^{\langle r,0 \rangle}(x^r)+xf^{\langle r,1 \rangle}(x^r)+ \cdots +x^{r1}f^{\langle r,r1 \rangle}(x^r).$ Jochemko recently showed that the polynomial $U^{n}_{r,k}\, h(x) := \left( (1+x+\cdots+x^{r1})^{n} h(x) \right)^{\langle r,k \rangle}$ has only nonpositive zeros for any $r \ge \deg h(x) k$ and any positive integer $n$. As a consequence, Jochemko confirmed a conjecture of Beck and Stapledon on the Ehrhart polynomial $h(x)$ of a lattice polytope of dimension $n$, which states that $U^{n}_{r,0}\,h(x)$ has only negative, real zeros whenever $r\ge n$. In this paper, we provide an alternative approach to Beck and Stapledon's conjecture by proving the following general result: if the polynomial sequence $\left( h^{\langle r,ri \rangle}(x)\right)_{1\le i \le r}$ is interlacing, so is $\left( U^{n}_{r,ri}\, h(x) \right)_{1\le i \le r}$. Our result has many other interesting applications. In particular, this enables us to give a new proof of Savage and Visontai's result on the interlacing property of some refinements of the descent generating functions for colored permutations. Besides, we derive a Carlitz identity for refined colored permutations.
 [62] arXiv:1806.08176 [pdf, ps, other]

Title: Regular globally hyperbolic maximal antide Sitter structuresAuthors: Andrea TamburelliComments: 29 pages, 1 figure. Comments are welcome!Subjects: Differential Geometry (math.DG); Geometric Topology (math.GT)
Let $\Sigma$ be a connected, oriented surface with punctures and negative Euler characteristic. We introduce regular globally hyperbolic antide Sitter structures on $\Sigma \times \mathbb{R}$ and provide two parameterisations of their deformation space: as an enhanced product of two copies of the Fricke space of $\Sigma$ and as the bundle over the Teichm\"uller space of $\Sigma$ whose fibre consists of meromorphic quadratic differentials with poles of order at most $2$ at the punctures.
 [63] arXiv:1806.08183 [pdf, ps, other]

Title: MPolynomial Revisited: Bethe Cacti and an Extension of Gutman's ApproachSubjects: Combinatorics (math.CO)
The $M$polynomial of a graph $G$ is defined as $\sum_{i\le j} m_{ij}(G)x^iy^j$, where $m_{ij}(G)$, $i,j\ge 1$, is the number of edges $uv$ of $G$ such that $\{d_v(G), d_u(G)\} = \{i,j\}$. Knowing the $M$polynomial, formulas for degreebased topological indices can be obtained by means of specific operators defined on differentiable functions in two variables. This is illustrated on three infinite families of Bethe cacti. Gutman's approach for the computation of the coefficients of the $M$polynomial is also recalled and an extension of it is given. This extension is used to determine the $M$polynomial of a two parametric infinite family of lattice graphs.
 [64] arXiv:1806.08184 [pdf, ps, other]

Title: MultiRees Algebras and Toric Dynamical SystemsComments: 11 pages. Comments are welcome!Subjects: Commutative Algebra (math.AC)
This paper explores the relation between multiRees algebras and ideals that arise in the study of toric dynamical systems from the theory of chemical reaction networks.
 [65] arXiv:1806.08189 [pdf, ps, other]

Title: A rigidity theorem for Hénon mapsComments: 19 pagesSubjects: Dynamical Systems (math.DS); Complex Variables (math.CV)
The purpose of this note is two fold. First, we study the relation between a pair of H\'{e}non maps that share the same forward and backward nonescaping sets. Second, it is shown that there exists a continuum of $Short\mathbb{C}^2$'s that are biholomorphically inequivalent and finally, we provide examples of $Short\mathbb{C}^2$'s that are neither Reinhardt nor biholomorphic to Reinhardt domains.
 [66] arXiv:1806.08192 [pdf, ps, other]

Title: Quadratic Points on Modular CurvesComments: 23 pages. Any comments are welcomeSubjects: Number Theory (math.NT)
In this paper we determine the quadratic points on the modular curves X_0(N), where the curve is nonhyperelliptic, the genus is 3, 4 or 5, and the MordellWeil group of J_0(N) is finite. The values of N are 34, 38, 42, 44, 45, 51, 52, 54, 55, 56, 63, 64, 72, 75, 81.
As well as determining the noncuspidal quadratic points, we give the jinvariants of the elliptic curves parametrized by those points, and determine if they have complex multiplication or are quadratic \Qcurves.  [67] arXiv:1806.08196 [pdf, other]

Title: Revisiting Leighton's Theorem with the Haar MeasureAuthors: Daniel J. WoodhouseComments: 9 pages, 2 figuresSubjects: Group Theory (math.GR); Geometric Topology (math.GT)
Leighton's graph covering theorem states that a pair of finite graphs with isomorphic universal covers have a common finite cover. We provide a new proof of Leighton's Theorem that allows generalizations; we prove the corresponding theorem for graphs with fins. As a corollary we obtain quasiisometric rigidity results for free groups with line patterns, building on the work of CashenMacura and HagenTouikan.
 [68] arXiv:1806.08197 [pdf, ps, other]

Title: Flows revisited: the model category structure and its left determinednessAuthors: Philippe GaucherComments: 9 pagesSubjects: Category Theory (math.CT); Algebraic Topology (math.AT)
Flows are a topological model of concurrency which enables to encode the notion of refinement of observation and to understand the homological properties of branchings and mergings of execution paths. Roughly speaking, they are Grandis' $d$spaces without an underlying topological space. They just have an underlying homotopy type. This note is twofold. First, we give a new construction of the model category structure of flows which is more conceptual thanks to Isaev's results. It avoids the use of delicate topological arguments. Secondly, we prove that this model category is left determined by adapting an argument due to Olschok. The introduction contains some speculations about what we expect to find out by localizing this minimal model category structure.
 [69] arXiv:1806.08201 [pdf, ps, other]

Title: A note on logconcave random graphsSubjects: Combinatorics (math.CO)
We establish a threshold for the connectivity of certain random graphs whose (dependent) edges are determined by the uniform distributions on generalized Orlicz balls, crucially using their negative correlation properties. We also show the existence of a unique giant component for such random graphs.
 [70] arXiv:1806.08227 [pdf, ps, other]

Title: The assumption of the Hilbert lattice in the case of a twodimensional systemAuthors: Arkady BolotinComments: 8 pagesSubjects: Logic (math.LO); Quantum Physics (quantph)
As it is known, the set of all closed linear subspaces of a Hilbert space together with a binary relation over the set represents the logic of the quantum propositions. It is also known that the lattices of the closed linear subspaces on a Hilbert space of dimension 3 or greater do not have a prime filter, hence those lattices do not allow a valuation map. In contrast to that, for qubits it is easy to find prime filters in the Hilbert lattice. This begs the question: What assumption(s) related to the lattices of the closed linear subspaces should be added or altered to preclude the bivaluation map in the twodimensional case? The presented paper offers the answer to this question.
 [71] arXiv:1806.08230 [pdf, other]

Title: Throughput Maximization in CloudRadio Access Networks using RateAware Network CodingComments: 13 pages, 10 figuers. arXiv admin note: text overlap with arXiv:1801.05104Subjects: Information Theory (cs.IT)
One of the most promising techniques for networkwide interference management necessitates a redesign of the network architecture known as cloud radio access network (CRAN). The cloud is responsible for coordinating multiple Remote Radio Heads (RRHs) and scheduling users to their radio resources blocks (RRBs). The transmit frame of each RRH consists of several orthogonal RRBs each maintained at a certain power level (PL). While previous works considered a vanilla version in which each RRB can serve a single user, this paper proposes mixing the flows of multiple users using instantly decodable network coding (IDNC). As such, the total throughput is maximized. The joint user scheduling and power adaptation problem is solved by designing, for each RRB, a subgraph in which each vertex represents potential userRRH associations, encoded files, transmission rates, and PLs for one specific RRB. It is shown that the original problem is equivalent to a maximumweight clique problem over the union of all subgraphs, called herein the CRANIDNCgraph. Extensive simulation results are provided to attest the effectiveness of the proposed solution against state of the art algorithms. In particular, the presented simulation results reveal that the method achieves substantial performance gains for all system configurations which collaborates the theoretical findings.
 [72] arXiv:1806.08248 [pdf, ps, other]

Title: $K$invariant cusp forms for reductive symmetric spaces of split rank oneComments: 12 pagesSubjects: Representation Theory (math.RT)
Let $G/H$ be a reductive symmetric space of split rank $1$ and let $K$ be a maximal compact subgroup of $G$. In a previous article the first two authors introduced a notion of cusp forms for $G/H$. We show that the space of cusp forms coincides with the closure of the $K$finite generalized matrix coefficients of discrete series representations if and only if there exist no $K$spherical discrete series representations. Moreover, we prove that every $K$spherical discrete series representation occurs with multiplicity $1$ in the Plancherel decomposition of $G/H$.
 [73] arXiv:1806.08253 [pdf, ps, other]

Title: type III representations and modular spectral triples for the noncommutative torusComments: Journal of Functional Analysis, to appearSubjects: Operator Algebras (math.OA)
It is well known that for any irrational rotation number $\a$, the noncommutative torus $\ba_\a$ must have representations $\pi$ such that the generated von Neumann algebra $\pi(\ba_\a)"$ is of type $\ty{III}$. Therefore, it could be of interest to exhibit and investigate such kind of representations, together with the associated spectral triples whose twist of the Dirac operator and the corresponding derivation arises from the Tomita modular operator.
In the present paper, we show that this program can be carried out, at least when $\a$ is a Liouville number satisfying a faster approximation property by rationals. In this case, we exhibit several type $\ty{II_\infty}$ and $\ty{III_\l}$, $\l\in[0,1]$, factor representations and modular spectral triples.
The method developed in the present paper can be generalised to CCR algebras based on a locally compact abelian group equipped with a symplectic form.  [74] arXiv:1806.08261 [pdf, ps, other]

Title: Pancyclic zero divisor graph over the ring $\mathbb{Z}_n[i]$Subjects: Combinatorics (math.CO)
Let $\Gamma(\mathbb{Z}_n[i])$ be the zero divisor graph over the ring $\mathbb{Z}_n[i]$. In this article, we study pancyclic properties of $\Gamma(\mathbb{Z}_n[i])$ and $\overline{\Gamma(\mathbb{Z}_n[i])}$ for different $n$. Also, we prove some results in which $L(\Gamma(\mathbb{Z}_n[i]))$ and $\overline{L(\Gamma(\mathbb{Z}_n[i]))}$ to be pancyclic for different values of $n$.
 [75] arXiv:1806.08262 [pdf, ps, other]

Title: Lower Lipschitz Bounds for Phase Retrieval from Locally Supported MeasurementsSubjects: Numerical Analysis (math.NA)
In this short note, we consider the worst case noise robustness of any phase retrieval algorithm which aims to reconstruct all nonvanishing vectors $\mathbf{x} \in \mathbb{C}^d$ (up to a single global phase multiple) from the magnitudes of an arbitrary collection of local correlation measurements. Examples of such measurements include both spectrogram measurements of $\mathbf{x}$ using locally supported windows and masked Fourier transform intensity measurements of $\mathbf{x}$ using bandlimited masks. As a result, the robustness results considered herein apply to a wide range of both ptychographic and Fourier ptychographic imaging scenarios. In particular, the main results imply that the accurate recovery of highresolution images of extremely large samples using highly localized probes is likely to require an extremely large number of measurements in order to be robust to worst case measurement noise, independent of the recovery algorithm employed. Furthermore, recent pushes to achieve highspeed and highresolution ptychographic imaging of integrated circuits for process verification and failure analysis will likely need to carefully balance probe design (e.g., their effective timefrequency support) against the total number of measurements acquired in order for their imaging techniques to be stable to measurement noise, no matter what reconstruction algorithms are applied.
 [76] arXiv:1806.08264 [pdf, ps, other]

Title: Equilibrium States, Phase Transitions and Dynamics in Quantum Anharmonic CrystalsAuthors: Yuri KozitskyComments: to appear in Stochastic Partial Differential Equations and Related Fields In Honor of Michael Roeckner SPDERF, Bielefeld, Germany, October 10 14, 2016Subjects: Mathematical Physics (mathph)
The basic elements of the mathematical theory of states of thermal equilibrium of infinite systems of quantum anharmonic oscillators (quantum crystals) are outlined. The main concept of this theory is to describe the states of finite portions of the whole system (local states) in terms of stochastically positive KMS systems and path measures. The global states are constructed as Gibbs path measures satisfying the corresponding DLR equation. The multiplicity of such measures is then treated as the existence of phase transitions. This effect can be established by analyzing the properties of the Matsubara functions corresponding to the global states. The equilibrium dynamics of finite subsystems can also be described by means of these functions. Then three basic results of this theory are presented and discussed: (a) a sufficient condition for a phase transition to occur at some temperature; (b) a sufficient condition for the suppression of phase transitions at all temperatures (quantum stabilization); (c) a statement showing how the phase transition can affect the local equilibrium dynamics.
 [77] arXiv:1806.08266 [pdf, ps, other]

Title: Beyond RAID 6  an Efficient Systematic Code Protecting Against Multiple Errors, Erasures, and Silent Data CorruptionComments: 51 pages, Intellectual PropertySubjects: Information Theory (cs.IT); Distributed, Parallel, and Cluster Computing (cs.DC)
We describe a replacement for RAID 6, based on a new linear, systematic code, which detects and corrects any combination of $E$ errors (unknown location) and $Z$ erasures (known location) provided that $Z+2E \leq 4$. We investigate some scenarios for error correction beyond the code's minimum distance, using list decoding. We describe a decoding algorithm with quasilogarithmic time complexity, when parallel processing is used: $\approx O(\log N)$ where $N$ is the number of disks in the array (similar to RAID 6).
By comparison, the error correcting code implemented by RAID 6 allows error detection and correction only when $(E,Z)=(1,0)$, $(0,1)$, or $(0,2)$. Hence, when in degraded mode (i.e when $Z \geq 1$), RAID 6 loses its ability for detecting and correcting random errors (i.e $E=0$, which is known as a silent data corruption). In contrast, the proposed code does not experience silent data corruption unless $Z \geq 3$.
These properties, the relative simplicity of implementation, vastly improvement data protection, and low computational complexity of the decoding algorithm, make this code a natural successor to RAID 6. As our proposed code is based on the use of quintuple parity, then this justifies our proposal to call it PentaRAID.  [78] arXiv:1806.08275 [pdf, ps, other]

Title: Addendum to "BMO: Oscillations, Self Improvement, Gagliardo Coordinate Spaces and Reverse Hardy Inequalities"Authors: Mario MilmanComments: 12 pagesSubjects: Functional Analysis (math.FA)
We provide a precise statement and self contained proof of a Sobolev inequality (cf. [A, page 236 and page 237]) stated in the original paper. Higher order and fractional inequalities are treated as well.
 [79] arXiv:1806.08277 [pdf, other]

Title: A Hennings type invariant of $3$manifolds from a topological Hopf superalgebraAuthors: Ngoc Phu HaSubjects: Quantum Algebra (math.QA); Geometric Topology (math.GT)
We prove the unrolled superalgebra $\mathcal{U}_{\xi}^{H}\mathfrak{sl}(21)$ has a completion which is a ribbon superalgebra in a topological sense where $\xi$ is a root of unity of odd order. Using this ribbon superalgebra we construct its universal invariant of links. We use it to construct an invariant of $3$manifolds of Hennings type.
 [80] arXiv:1806.08281 [pdf, ps, other]

Title: Equivariant exceptional collections on smooth toric stacksComments: 29 pagesSubjects: Algebraic Geometry (math.AG)
We study the bounded derived categories of torusequivariant coherent sheaves on smooth toric varieties and DeligneMumford stacks. We construct and describe full exceptional collections in these categories. We also observe that these categories depend only on the PL homeomorphism type of the corresponding simplicial complex.
 [81] arXiv:1806.08284 [pdf, ps, other]

Title: Motives of moduli spaces on K3 surfaces and of special cubic fourfoldsAuthors: TimHenrik BüllesComments: 15 pagesSubjects: Algebraic Geometry (math.AG)
For any smooth projective moduli space $M$ of Gieseker stable sheaves on a complex projective K3 surface (or an abelian surface) S, we prove that the Chow motive $\mathfrak{h}(M)$ becomes a direct summand of a motive $\bigoplus \mathfrak{h}(S^{k_i})(n_i)$ with $k_i\leq \dim(M)$. The result implies that finite dimensionality of $\mathfrak{h}(M)$ follows from finite dimensionality of $\mathfrak{h}(S)$. The technique also applies to moduli spaces of twisted sheaves and to moduli spaces of stable objects in ${\rm D}^{\rm b}(S,\alpha)$ for a Brauer class $\alpha\in{\rm Br}(S)$. In a similar vein, we investigate the relation between the Chow motives of a K3 surface $S$ and a cubic fourfold $X$ when there exists an isometry $\widetilde H(S,\alpha,\mathbb{Z}) \simeq \widetilde H({\cal A}_X,\mathbb{Z})$. In this case, we prove that there is an isomorphism of transcendental Chow motives $\mathfrak{t}(S)(1) \simeq \mathfrak{t}(X)$.
 [82] arXiv:1806.08286 [pdf, ps, other]

Title: Clipping Noise and Power Allocation for OFDMBased Optical Wireless Communication Using Photon DetectionSubjects: Information Theory (cs.IT)
The clipping noise of the photonlevel detector for both direct currentbiased optical OFDM (DCOOFDM) and asymmetrically clipped optical OFDM (ACOOFDM) is investigated. Based on Bussgang theorem and central limit theorem (CLT), we obtain the approximate closedform SNR of each subcarrier, based on which we further formulate the power allocation among the subcarriers. Numerical results show that the SNR obtained from theoretical analysis can well approximate that obtained from simulation results, and uniform power allocation suffices to perform close to the optimized power allocation from Genetic Algorithm (GA) with significantly reduced computational complexity.
 [83] arXiv:1806.08288 [pdf, other]

Title: Remarks on some simple $C^*$algebras admitting a unique lower semicontinuous $2$quasitraceAuthors: Jacopo BassiSubjects: Operator Algebras (math.OA)
Using the different descriptions of the Cuntz semigroup, we derive some properties of simple, $\sigma$unital $C^*$algebras with almost unperforated Cuntz semigroup, a unique lower semicontinuous $2$quasitrace and for which the stabilization has almost stable rank $1$.
 [84] arXiv:1806.08303 [pdf, other]

Title: Notes on Spreads of Degrees in GraphsSubjects: Combinatorics (math.CO)
Perhaps the very first elementary exercise one encounters in graph theory is the result that any graph on at least two vertices must have at least two vertices with the same degree. There are various ways in which this result can be nontrivially generalised. For example, one can interpret this result as saying that in any graph $G$ on at least two vertices there is a set $B$ of at least two vertices such that the difference between the largest and the smallest degrees (in $G$) of the vertices of $B$ is zero. In this vein we make the following definition. For any $B\subset V(G)$, let the spread $sp(B)$ of $B$ be defined to be the difference between the largest and the smallest of the degrees of the vertices in $B$. For any $k\geq 0$, let $sp(G,k)$ be the largest cardinality of a set of vertices $B$ such that $sp(B)\leq k$. Therefore the first elementary result in graph theory says that, for any graph $G$ on at least two vertices, $sp(G,0)\geq 2$.
In this paper we first give a proof of a result of Erd\" os, Chen, Rousseau and Schelp which generalises the above to $sp(G,k)\geq k+2$ for any graph on at least $k+2$ vertices. Our proof is short and elementary and does not use the famous Erd\" osGallai Theorem on vertex degrees. We then develop lower bounds for $sp(G,k)$ in terms of the order of $G$ and its minimum, maximum and average degree. We then use these results to give lower bounds on $sp(G,k)$ for trees and maximal outerplanar graphs, most of which we show to be sharp.  [85] arXiv:1806.08304 [pdf, ps, other]

Title: Hypergraph CategoriesComments: 36 pagesSubjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
Hypergraph categories have been rediscovered at least five times, under various names, including wellsupported compact closed categories, dgsmonoidal categories, and dungeon categories. Perhaps the reason they keep being reinvented is twofold: there are many applicationsincluding to automata, databases, circuits, linear relations, graph rewriting, and belief propagationand yet the standard definition is so involved and ornate as to be difficult to find in the literature. Indeed, a hypergraph category is, roughly speaking, a "symmetric monoidal category in which each object is equipped with the structure of a special commutative Frobenius monoid, satisfying certain coherence conditions".
Fortunately, this description can be simplified a great deal: a hypergraph category is simply a "cospanalgebra". The goal of this paper is to remove the scarequotes and make the previous statement precise.
We prove two main theorems. First is a coherence theorem for hypergraph categories, which says that every hypergraph category is equivalent to an objectwisefree hypergraph category. In doing so, we identify a new unit coherence axiom, which seems to have been overlooked in the literature, but which is necessary for the hypergraph strictification result and hence we contend should be included in the definition. Second, we prove that the category of objectwisefree hypergraph categories is equivalent to the category of cospanalgebras.  [86] arXiv:1806.08306 [pdf, ps, other]

Title: Multiple Lie Derivatives and ForestsComments: 27 pagesSubjects: Differential Geometry (math.DG); Combinatorics (math.CO)
We obtain a complete time expansion of the pullback operator generated by a real analytic flow of real analytic automorphisms acting on analytic tensor sections of a manifold. Our expansion is given in terms of multiple Lie derivatives. Motivated by this expansion, we provide a rather simple and explicit estimate for higher order covariant derivatives of multiple Lie derivatives acting on smooth endomorphism sections of the tangent bundle of a manifold. We assume the covariant derivative to be torsion free. The estimate is given in terms of Dyck polynomials. The proof uses a new result on the combinatorics of rooted labeled ordered forests and Dyck polynomials.
 [87] arXiv:1806.08307 [pdf, other]

Title: WIKS: A general Bayesian nonparametric index for quantifying differences between two populationsSubjects: Statistics Theory (math.ST)
The problem of deciding whether two samples arise from the same distribution is often the question of interest in many research investigations. Numerous statistical methods have been devoted to this issue, but only few of them have considered a Bayesian nonparametric approach. We propose a nonparametric Bayesian index (WIKS) which has the goal of quantifying the difference between two populations $P_1$ and $P_2$ based on samples from them. The WIKS index is defined by a weighted posterior expectation of the KolmogorovSmirnov distance between $P_1$ and $P_2$ and, differently from most existing approaches, can be easily computed using any prior distribution over $(P_1,P_2)$. Moreover, WIKS is fast to compute and can be justified under a Bayesian decisiontheoretic framework. We present a simulation study that indicates that the WIKS method is more powerful than competing approaches in several settings, even in multivariate settings. We also prove that WIKS is a consistent procedure and controls the level of significance uniformly over the null hypothesis. Finally, we apply WIKS to a data set of scale measurements of three different groups of patients submitted to a questionnaire for Alzheimer diagnostic.
 [88] arXiv:1806.08311 [pdf, ps, other]

Title: CohenMacaulay Du Bois singularities with a torus action of complexity oneComments: 16 pagesSubjects: Algebraic Geometry (math.AG)
Using AltmannHausenS\"u\ss\ description of Tvarieties via divisorial fans and K\'ovacsSchwedeSmith characterization of Du Bois singularities we prove that any rational Tvariety of complexity one which is CohenMacaulay and Du Bois has rational singularities. In higher complexity, we prove an analogous result in the case where the Chow quotient of the Tvariety has Picard rank one and trivial geometric genus.
 [89] arXiv:1806.08319 [pdf, other]

Title: Geometry of the random walk range conditioned on survival among Bernoulli obstaclesComments: 42 pages, 3 figuresSubjects: Probability (math.PR)
We consider a discrete time simple symmetric random walk among Bernoulli obstacles on $\mathbb{Z}^d$, $d\geq 2$, where the walk is killed when it hits an obstacle. It is known that conditioned on survival up to time $N$, the random walk range is asymptotically contained in a ball of radius $\varrho_N=C N^{1/(d+2)}$ for any $d\geq 2$. For $d=2$, it is also known that the range asymptotically contains a ball of radius $(1\epsilon)\varrho_N$ for any $\epsilon>0$, while the case $d\geq 3$ remains open. We complete the picture by showing that for any $d\geq 2$, the random walk range asymptotically contains a ball of radius $\varrho_N\varrho_N^\epsilon$ for some $\epsilon \in (0,1)$. Furthermore, we show that its boundary is of size at most $\varrho_N^{d1}(\log \varrho_N)^a$ for some $a>0$.
 [90] arXiv:1806.08323 [pdf, ps, other]

Title: On equiangular lines in 17 dimensions and the characteristic polynomial of a Seidel matrixComments: 23 pagesSubjects: Combinatorics (math.CO)
For positive integers $e$, we find restrictions modulo $2^e$ on the coefficients of the characteristic polynomial $\chi_S(x)$ of a Seidel matrix $S$. We show that, for a Seidel matrix of order $n$ even (resp. odd), there are at most $2^{\binom{e2}{2}}$ (resp. $2^{\binom{e2}{2}+1}$) possibilities for the congruence class of $\chi_S(x)$ modulo $2^e\mathbb Z[x]$. As an application of these results we obtain an improvement to the upper bound for the number of equiangular lines in $\mathbb R^{17}$.
 [91] arXiv:1806.08328 [pdf, ps, other]

Title: Recursive axiomatizations for representable posetsAuthors: Rob EgrotComments: 14 pagesSubjects: Logic (math.LO)
We use model theoretic techniques to construct explicit firstorder axiomatizations for the classes of posets that can be represented as systems of sets, where the order relation is given by inclusion, and existing meets and joins of specified countable cardinalities correspond to intersections and unions respectively.
 [92] arXiv:1806.08329 [pdf, other]

Title: A rigorous computer aided estimation for Gelfond exponent of weighted ThueMorse sequencesComments: 22 pages, 7 Figures, 4 TablesSubjects: Dynamical Systems (math.DS)
In this paper, we will provide a mathematically rigorous computer aided estimation for the exact values and robustness for Gelfond exponent of weighted ThueMorse sequences. This result improves previous discussions on Gelfond exponent by Gelfond, Devenport, Mauduit, Rivat, S\'{a}rk\"{o}zy and Fan et. al.
 [93] arXiv:1806.08335 [pdf, other]

Title: Four New Generalized Fibonacci Number Summation IdentitiesAuthors: M.J. KronenburgSubjects: Number Theory (math.NT); Combinatorics (math.CO)
Two new generalized Fibonacci number summation identities are stated and proved, and two other new generalized Fibonacci number summation identities are derived from these, of which two special cases are already known in literature.
 [94] arXiv:1806.08336 [pdf, ps, other]

Title: Stability of $ψ$Hilfer Impulsive Fractional Differential EquationsComments: 9 pagesSubjects: Classical Analysis and ODEs (math.CA)
In this paper, we investigate the sufficient conditions for existence and uniqueness of solutions and {\delta}UlamHyersRassias stability of an impulsive fractional differential equation involving $\psi$Hilfer fractional derivative. Fixed point approach is used to obtain our main results.
 [95] arXiv:1806.08344 [pdf, other]

Title: Irregular conformal blocks and connection formulae for Painlevé V functionsComments: 26 pages, 1 figureSubjects: Mathematical Physics (mathph)
We prove a Fredholm determinant and shortdistance series representation of the Painlev\'e V tau function $\tau(t)$ associated to generic monodromy data. Using a relation of $\tau(t)$ to two different types of irregular $c=1$ Virasoro conformal blocks and the confluence from Painlev\'e VI equation, connection formulas between the parameters of asymptotic expansions at $0$ and $i\infty$ are conjectured. Explicit evaluations of the connection constants relating the tau function asymptotics as $t\to 0,+\infty,i\infty$ are obtained. We also show that irregular conformal blocks of rank 1, for arbitrary central charge, are obtained as confluent limits of the regular conformal blocks.
 [96] arXiv:1806.08345 [pdf, other]

Title: Galois closures of noncommutative rings and an application to Hermitian representationsComments: 20 pages, comments welcome!Subjects: Algebraic Geometry (math.AG); Rings and Algebras (math.RA); Representation Theory (math.RT)
Galois closures of commutative rank n ring extensions were introduced by Bhargava and the second author. In this paper, we generalize the construction to the case of noncommutative rings. We show that noncommutative Galois closures commute with base change and satisfy a product formula. As an application, we give a uniform construction of many of the representations arising in arithmetic invariant theory, including many Vinberg representations.
 [97] arXiv:1806.08348 [pdf, other]

Title: Smoothing the Bartnik boundary conditions and other results on Bartnik's quasilocal massAuthors: Jeffrey L. JaureguiComments: 25 pages, 3 figuresSubjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (grqc)
Quite a number of distinct versions of Bartnik's definition of quasilocal mass appear in the literature, and it is not a priori clear that any of them produce the same value in general. In this paper we make progress on reconciling these definitions. The source of discrepancies is twofold: the choice of boundary conditions (of which there are three variants) and the nondegeneracy or "nohorizon" condition (at least six variants). To address the boundary conditions, we show that given a 3dimensional region $\Omega$ of nonnegative scalar curvature ($R \geq 0$) extended in a Lipschitz fashion across $\partial \Omega$ to an asymptotically flat 3manifold with $R \geq 0$ (also holding distributionally along $\partial \Omega$), there exists a smoothing, arbitrarily small in $C^0$ norm, such that $R \geq 0$ and the geometry of $\Omega$ are preserved, and the ADM mass changes only by a small amount. With this we are able to show that the three boundary conditions yield equivalent Bartnik masses for two reasonable nondegeneracy conditions. We also discuss subtleties pertaining to the various nondegeneracy conditions and produce a nontrivial inequality between a nohorizon version of the Bartnik mass and Bray's replacement of this with the outwardminimizing condition.
 [98] arXiv:1806.08351 [pdf, other]

Title: On the TwelvePoint Theorem for $\ell$Reflexive PolygonsAuthors: Dimitrios I. DaisComments: 62 pages, 14 figures, and 15 tablesSubjects: Combinatorics (math.CO); Algebraic Geometry (math.AG)
It is known that, adding the number of lattice points lying on the boundary of a reflexive polygon and the number of lattice points lying on the boundary of its polar, always yields 12. Generalising appropriately the notion of reflexivity, one shows that this remains true for "$\ell$reflexive polygons". In particular, there exist (for this reason) infinitely many (lattice inequivalent) lattice polygons with the same property. The first proof of this fact is due to Kasprzyk and Nill. The present paper contains a second proof (which uses tools only from toric geometry) as well as the description of complementary properties of these polygons and of the invariants of the corresponding toric log del Pezzo surfaces.
 [99] arXiv:1806.08352 [pdf, ps, other]

Title: Cohomology groups of Fermat curves via ray class fields of cyclotomic fieldsSubjects: Number Theory (math.NT)
The absolute Galois group of the cyclotomic field $K={\mathbb Q}(\zeta_p)$ acts on the \'etale homology of the Fermat curve $X$ of exponent $p$. We study a Galois cohomology group which is valuable for measuring an obstruction for $K$rational points on $X$. The information needed for measuring this obstruction factors through a $2$nilpotent extension of $K$. By studying Heisenberg extensions of $K$, we determine a large subquotient of this Galois cohomology group. For $p=3$, we perform a Magma computation with ray class fields, group cohomology, and Galois cohomology which determines it completely.
Crosslists for Fri, 22 Jun 18
 [100] arXiv:1806.05992 (crosslist from hepth) [pdf, ps, other]

Title: A Unique Connection for Born GeometryComments: 47 pagesSubjects: High Energy Physics  Theory (hepth); General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph); Differential Geometry (math.DG)
It has been known for a while that the effective geometrical description of compactified strings on $d$dimensional target spaces implies a generalization of geometry with a doubling of the sets of tangent space directions. This generalized geometry involves an $O(d,d)$ pairing $\eta$ and an $O(2d)$ generalized metric $\mathcal{H}$. More recently it has been shown that in order to include Tduality as an effective symmetry, the generalized geometry also needs to carry a phase space structure or more generally a paraHermitian structure encoded into a skewsymmetric pairing $\omega$. The consistency of string dynamics requires this geometry to satisfy a set of compatibility relations that form what we call a Born geometry. In this work we prove an analogue of the fundamental theorem of Riemannian geometry for Born geometry. We show that there exists a unique connection which preserves the Born structure $(\eta,\omega,\mathcal{H})$ and which is torsionless in a generalized sense. This resolves a fundamental ambiguity that is present in the double field theory formulation of effective string dynamics.
 [101] arXiv:1806.06772 (crosslist from cs.CG) [pdf, ps, other]

Title: Fractal Scaling of Population Counts Over Time SpansComments: 6 pages, 4 figuresSubjects: Computational Geometry (cs.CG); Probability (math.PR)
Attributes which are infrequently expressed in a population can require weeks or months of counting to reach statistical significance. But replacement in a stable population increases longterm counts to a degree determined by the probability distribution of lifetimes.
If the lifetimes are in a Pareto distribution with shape factor $1r$ between 0 and 1, then the expected counts for a stable population are proportional to time raised to the $r$ power. Thus $r$ is the fractal dimension of counts versus time for this population.
Furthermore, the counts from a series of consecutive measurement intervals can be combined using the $L^p$norm where $p=1/r$ to approximate the population count over the combined time span.
Data from digital advertising support these assertions and find that the largest reachable fraction of an audience over a long time span is about $1r$.  [102] arXiv:1806.08022 (crosslist from physics.compph) [pdf, other]

Title: A spacetime smooth artificial viscosity method with wavelet noise indicator and shock collision scheme, Part 2: the 2D caseComments: 42 pages, 21 figuresSubjects: Computational Physics (physics.compph); Numerical Analysis (math.NA)
This is the second part to our companion paper [13]. Herein, we generalize to two space dimensions the Cmethod developed in [14,13] for adding localized, spacetime smooth artificial viscosity to nonlinear systems of conservation laws that propagate shock waves, rarefaction waves, and contact discontinuities. For gas dynamics, the Cmethod couples the Euler equations to scalar reactiondiffusion equations, which we call Cequations, whose solutions serve as spacetime smooth artificial viscosity indicators for shocks and contacts.
We develop a highorder numerical algorithm for gas dynamics in 2D which can accurately simulate the RayleighTaylor (RT) instability with KelvinHelmholtz (KH) rollup of the contact discontinuity, as well as shock collision and bounceback. Solutions to our Cequations not only indicate the location of the shocks and contacts, but also track the geometry of the evolving fronts. This allows us to implement both directionally isotropic and anisotropic artificial viscosity schemes, the latter adding diffusion only in directions tangential to the evolving front.
We additionally produce a novel shock collision indicator function, which naturally activates during shock collision, and then smoothly deactivates. Moreover, we implement a highfrequency 2D waveletbased noise detector together with an efficient and localized noise removal algorithm.
To test the methodology, we use a highly simplified WENObased discretization scheme, devoid of any approximate Riemann solvers. We provide numerical results for some classical 2D test problems, including the RT problem, the Noh problem, a circular explosion problem from the Liska and Wendroff [9] review paper, and a shockwall collision problem.  [103] arXiv:1806.08023 (crosslist from physics.compph) [pdf, ps, other]

Title: A spacetime smooth artificial viscosity method with wavelet noise indicator and shock collision scheme, Part 1: the 1D caseComments: 42 pages, 20 figuresSubjects: Computational Physics (physics.compph); Numerical Analysis (math.NA)
In this first part of two papers, we extend the Cmethod developed in [30] for adding localized, spacetime smooth artificial viscosity to nonlinear systems of conservation laws that propagate shock waves, rarefaction waves, and contact discontinuities in one space dimension. For gas dynamics, the Cmethod couples the Euler equations to a scalar reactiondiffusion equation, whose solution C serves as a spacetime smooth artificial viscosity indicator.
The purpose of this paper is the development of a highorder numerical algorithm for shockwall collision and bounceback. Specifically, we generalize the original Cmethod by adding a new collision indicator, which naturally activates during shockwall collision. Additionally, we implement a new highfrequency waveletbased noise detector together with an efficient and localized noise removal algorithm. To test the methodology, we use a highly simplified WENObased discretization scheme, devoid of any approximate Riemann solvers. We show that our scheme improves the order of accuracy of our WENO algorithm, handles extremely strong discontinuities (ranging up to ten orders of magnitude), allows for shock collision and bounce back, and removes high frequency noise. The wellknown "wall heating" phenomenon is also explained. This method is generalized to two space dimensions in the second part of this work [31].  [104] arXiv:1806.08121 (crosslist from cs.SC) [pdf, ps, other]

Title: Real root finding for equivariant semialgebraic systemsJournalref: Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2018, NewYork, United StatesSubjects: Symbolic Computation (cs.SC); Algebraic Geometry (math.AG)
Let $R$ be a real closed field. We consider basic semialgebraic sets defined by $n$variate equations/inequalities of $s$ symmetric polynomials and an equivariant family of polynomials, all of them of degree bounded by $2d < n$. Such a semialgebraic set is invariant by the action of the symmetric group. We show that such a set is either empty or it contains a point with at most $2d1$ distinct coordinates. Combining this geometric result with efficient algorithms for real root finding (based on the critical point method), one can decide the emptiness of basic semialgebraic sets defined by $s$ polynomials of degree $d$ in time $(sn)^{O(d)}$. This improves the stateoftheart which is exponential in $n$. When the variables $x_1, \ldots, x_n$ are quantified and the coefficients of the input system depend on parameters $y_1, \ldots, y_t$, one also demonstrates that the corresponding oneblock quantifier elimination problem can be solved in time $(sn)^{O(dt)}$.
 [105] arXiv:1806.08136 (crosslist from cs.DM) [pdf, ps, other]

Title: Coloring of the dth power of the facecentered cubic gridSubjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
The facecentered cubic grid is a three dimensional 12regular infinite grid. This graph represents an optimal way to pack spheres in the threedimensional space. In this grid, the vertices represent the spheres and the edges represent the contact between spheres. We give lower and upper bounds on the chromatic number of the d th power of the facecentered cubic grid. In particular, in the case d = 2 we prove that the chromatic number of this grid is 13. We also determine sharper bounds for d = 3 and for subgraphs of of the facecentered cubic grid.
 [106] arXiv:1806.08254 (crosslist from hepph) [pdf, ps, other]

Title: Analyticity domain of a Quantum Field Theory and AccelerosummationComments: 6 pagesSubjects: High Energy Physics  Phenomenology (hepph); High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
From 't Hooft's argument, one expects that the analyticity domain of an asymptotically free quantum field theory is horned shaped. In the usual Borel summation, the function is obtained through a Laplace transform and thus has a much larger analyticity domain. However, if the summation process goes through the process called acceleration by Ecalle, one obtains such a horn shaped analyticity domain. We therefore argue that acceleration, which allows to go beyond standard Borel summation, must be an integral part of the toolkit for the study of exactly renormalisable quantum field theories. We sketch how this procedure is working and what are its consequences.
 [107] arXiv:1806.08270 (crosslist from hepth) [pdf, other]

Title: Opers, surface defects, and YangYang functionalComments: 93 pages, 8 figuresSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
We explore the nonperturbative DysonSchwinger equations obeyed by the partition functions of the $\Omega$deformed $\mathcal{N}=2, d=4$ supersymmetric linear quiver gauge theories in the presence of surface defects. We demonstrate that the partition functions of different types of defects (orbifold or vortex strings) are related by analytic continuation. We introduce Darboux coordinates on a patch of the moduli space of $SL(N)$flat connections on a sphere with special punctures, which generalize the NRS coordinates defined in the $SL(2)$ case. Finally, we compare the generating function of the Lagrangian variety of opers in these Darboux coordinates with the effective twisted superpotential of the linear quiver theory in the twodimensional $\Omega$background, thereby proving the NRS conjecture and its generalization to the $SL(3)$ case.
 [108] arXiv:1806.08291 (crosslist from cs.DS) [pdf, other]

Title: Shortest Reconfiguration Sequence for Sliding Tokens on SpidersComments: 21 pages, 15 figuresSubjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
Suppose that two independent sets $I$ and $J$ of a graph with $\vert I \vert = \vert J \vert$ are given, and a token is placed on each vertex in $I$. The Sliding Token problem is to determine whether there exists a sequence of independent sets which transforms $I$ into $J$ so that each independent set in the sequence results from the previous one by sliding exactly one token along an edge in the graph. It is one of the representative reconfiguration problems that attract the attention from the viewpoint of theoretical computer science. For a yesinstance of a reconfiguration problem, finding a shortest reconfiguration sequence has a different aspect. In general, even if it is polynomial time solvable to decide whether two instances are reconfigured with each other, it can be $\mathsf{NP}$hard to find a shortest sequence between them. In this paper, we show that the problem for finding a shortest sequence between two independent sets is polynomial time solvable for spiders (i.e., trees having exactly one vertex of degree at least three).
 [109] arXiv:1806.08296 (crosslist from cs.CV) [pdf, other]

Title: Are good local minima wide in sparse recovery?Subjects: Computer Vision and Pattern Recognition (cs.CV); Optimization and Control (math.OC)
The idea of compressed sensing is to exploit representations in suitable (overcomplete) dictionaries that allow to recover signals far beyond the Nyquist rate provided that they admit a sparse representation in the respective dictionary. The latter gives rise to the sparse recovery problem of finding the best sparse linear approximation of given data in a given generating system. In this paper we analyze the iterative hard thresholding (IHT) algorithm as one of the most popular greedy methods for solving the sparse recovery problem, and demonstrate that systematically perturbing the IHT algorithm by adding noise to intermediate iterates yields improved results. Further improvements can be obtained by entirely rephrasing the problem as a parametric deeplearningtype of optimization problem. By introducing perturbations via dropout, we demonstrate to significantly outperform the classical IHT algorithm, obtaining $3$ to $6$ times lower average objective errors.
 [110] arXiv:1806.08301 (crosslist from stat.ML) [pdf, ps, other]

Title: Online Saddle Point Problem with Applications to Constrained Online Convex OptimizationSubjects: Machine Learning (stat.ML); Learning (cs.LG); Optimization and Control (math.OC)
We study an online saddle point problem where at each iteration a pair of actions need to be chosen without knowledge of the future (convexconcave) payoff functions. The objective is to minimize the gap between the cumulative payoffs and the saddle point value of the aggregate payoff function, which we measure using a metric called "SPregret". The problem generalizes the online convex optimization framework and can be interpreted as finding the Nash equilibrium for the aggregate of a sequence of twoplayer zerosum games. We propose an algorithm that achieves $\tilde{O}(\sqrt{T})$ SPregret in the general case, and $O(\log T)$ SPregret for the strongly convexconcave case. We then consider a constrained online convex optimization problem motivated by a variety of applications in dynamic pricing, auctions, and crowdsourcing. We relate this problem to an online saddle point problem and establish $O(\sqrt{T})$ regret using a primaldual algorithm.
 [111] arXiv:1806.08302 (crosslist from eess.SP) [pdf]

Title: NonOrthogonal Multiband CAP for Highly Spectrally Efficient VLC SystemsComments: 6 pages, 5 figuresSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
In this work we propose and experimentally demonstrate a novel nonorthogonal multiband carrierless amplitude and phase (NMCAP) scheme for bandlimited visible light communication systems in order to increase the spectral efficiency. We show that a bandwidth saving up to 30% can be achieved thus resulting in 44% improvement in the measured spectral efficiency with no further bit error rate performance degradation compared to the traditional mCAP scheme. We also show that higher order systems can provide higher bandwidth compression than low order systems. Furthermore, with no additional functional blocks at the transmitter or the receiver the proposed scheme introduces no extra computational complexity.
Replacements for Fri, 22 Jun 18
 [112] arXiv:0903.4546 (replaced) [pdf, ps, other]

Title: Dynamics of riemannian 1foliations on $3$manifoldsComments: 11pages, minor corrections, to appear in Taiwanese J. MathSubjects: Dynamical Systems (math.DS); Algebraic Geometry (math.AG)
 [113] arXiv:1011.4583 (replaced) [pdf, ps, other]

Title: On the zeros of Weng zeta functions for Chevalley groupsComments: minor typo corrections in IntroductionJournalref: Manuscripta Math. 148 (2015), 119176Subjects: Number Theory (math.NT); Representation Theory (math.RT)
 [114] arXiv:1105.2454 (replaced) [pdf, other]

Title: Highdimensional instrumental variables regression and confidence setsSubjects: Statistics Theory (math.ST)
 [115] arXiv:1108.4042 (replaced) [pdf, other]

Title: Penrosetype inequalities with a Euclidean backgroundAuthors: Jeffrey L. JaureguiComments: 15 pagesJournalref: Ann. Global Anal. Geom., 2018Subjects: Differential Geometry (math.DG)
 [116] arXiv:1201.0741 (replaced) [pdf, ps, other]

Title: Moduli of flat connections in positive characteristicAuthors: Michael GroechenigComments: New version corrects Theorem 3.2 and Proposition 3.15Subjects: Algebraic Geometry (math.AG)
 [117] arXiv:1202.6392 (replaced) [pdf, other]

Title: The Metric Completion of Outer SpaceAuthors: Yael AlgomKfirComments: Thoroughly revised version. Section 1 is completely new. Fixed some mistakes in other sectionsSubjects: Group Theory (math.GR)
 [118] arXiv:1506.01412 (replaced) [pdf, ps, other]

Title: Planar graphs have twocoloring number at most 8Subjects: Combinatorics (math.CO)
 [119] arXiv:1508.03663 (replaced) [pdf, ps, other]

Title: Planar Graphs of Girth at least Five are Square $(Δ+ 2)$ChoosableComments: 22 pages, 7 figures; this version incorporates reviewer feedback: fixed and rewrote proof of Lemma 3.5, expanded Section 4; to appear in J. Combin. Theory Ser. BSubjects: Combinatorics (math.CO)
 [120] arXiv:1509.05250 (replaced) [pdf, ps, other]

Title: Orthogonal and symplectic nlevel densitiesSubjects: Number Theory (math.NT)
 [121] arXiv:1510.02650 (replaced) [pdf, other]

Title: On the analogy between the representations of a reductive Lie group and those of its Cartan motion groupAuthors: Alexandre AfgoustidisComments: 54 pages; 3 figures. Version 2 is a major revision and includes new resultsSubjects: Representation Theory (math.RT); Group Theory (math.GR)
 [122] arXiv:1510.09019 (replaced) [pdf, ps, other]

Title: Enumeration of Hypermaps of a Given GenusComments: 42 pagesJournalref: ARS MATHEMATICA CONTEMPORANEA, Volume 15, Issue 1, 20 June 2018, Pages 225266Subjects: Combinatorics (math.CO)
 [123] arXiv:1511.00176 (replaced) [pdf, other]

Title: Irregular Hodge theoryAuthors: Claude SabbahComments: V3: 69 pages. An error in Section 7.b corrected and Section 7.b rewritten. Appendix B added. Various improvements. V4: 126 pages, Major revision: (1) title changed; (2) A simplification suggested by T. Mochizuki; (3) Chapter 3 added, written in collaboration with JengDaw Yu; (4) various other improvements; V5: Final version to be published in Mem. SMF vol. 156Subjects: Algebraic Geometry (math.AG)
 [124] arXiv:1512.04592 (replaced) [pdf, ps, other]

Title: Partial regularity of viscosity solutions for a class of Kolmogorov equations arising from mathematical financeSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
 [125] arXiv:1604.00577 (replaced) [pdf, ps, other]

Title: Symmetric (not Complete Intersection) Semigroups Generated by Five ElementsAuthors: Leonid FelComments: 7 pages, 2 TablesSubjects: Commutative Algebra (math.AC)
 [126] arXiv:1605.04780 (replaced) [pdf, ps, other]

Title: The Local $h$Polynomials of Cluster Subdivisions Have Only Real ZerosAuthors: Philip B. ZhangComments: 9 pagesSubjects: Combinatorics (math.CO)
 [127] arXiv:1606.03275 (replaced) [pdf, other]

Title: Analysis of the maximal posterior partition in the Dirichlet Process Gaussian Mixture ModelAuthors: Łukasz RajkowskiComments: 50 pages, 7 figuresSubjects: Statistics Theory (math.ST)
 [128] arXiv:1606.06321 (replaced) [pdf, ps, other]

Title: Pathdependent SDEs in Hilbert spacesAuthors: Mauro RosestolatoSubjects: Probability (math.PR); Dynamical Systems (math.DS)
 [129] arXiv:1606.06326 (replaced) [pdf, ps, other]

Title: Functional Itō calculus in Hilbert spaces and application to pathdependent Kolmogorov equationsAuthors: Mauro RosestolatoSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
 [130] arXiv:1606.06340 (replaced) [pdf, ps, other]

Title: A note on stochastic Fubini's theorem and stochastic convolutionAuthors: Mauro RosestolatoSubjects: Probability (math.PR); Functional Analysis (math.FA)
 [131] arXiv:1607.02242 (replaced) [pdf, other]

Title: Global topology of Weyl semimetals and Fermi arcsComments: 9 pages, 4 figures, JPhysA Highlight in 2017, Free access in 2018Journalref: J.Phys.A: Math.Theor.(Letter) vol.50 (2017) 11LT01 (11pp)Subjects: Mesoscale and Nanoscale Physics (condmat.meshall); High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [132] arXiv:1607.07593 (replaced) [pdf, ps, other]

Title: On polynomially integrable planar outer billiards and curves with symmetry propertyComments: To appear in Mathematische Annalen. 26 pages. Minor improvement of presentationSubjects: Dynamical Systems (math.DS); Algebraic Geometry (math.AG)
 [133] arXiv:1607.08717 (replaced) [pdf, ps, other]

Title: Stochastic invariance of closed sets with nonLipschitz coefficientsSubjects: Probability (math.PR)
 [134] arXiv:1608.04722 (replaced) [pdf, other]

Title: Pretty Good State Transfer in Qubit Chains  The Heisenberg HamiltonianComments: The first version of this paper made available on Arxiv contained the false claim that pretty good state transfer occurs between end vertices in a path of length $n$ where $n$ is a prime congruent to $1$ modulo $4$. This claim has been corrected in this versionSubjects: Quantum Physics (quantph); Combinatorics (math.CO)
 [135] arXiv:1609.05410 (replaced) [pdf, other]

Title: A new integrable equation valued on a CayleyDickson algebraComments: 21 pages. In this version we generalize the previous system using effectively the structure of the CayleyDickson algebra, adding an additional term to the previous one system. We also obtain one and two soliton solutions, in the octonionic case, from the B\"acklund transformation and give the associated Lax pair for the new general resulting system. We add some referencesSubjects: Mathematical Physics (mathph)
 [136] arXiv:1610.00545 (replaced) [pdf, ps, other]

Title: Various 3x3 Nonnegative Matrices with Prescribed Eigenvalues and Diagonal EntriesComments: 32 pagesJournalref: Linear Algebra and its Applications 554(2018) 1548Subjects: Spectral Theory (math.SP); Rings and Algebras (math.RA)
 [137] arXiv:1610.01524 (replaced) [pdf, other]

Title: The argmin process of random walks, Brownian motion and Lévy processesComments: 36 pages, 4 figures and 1 table. This paper is published by this https URLJournalref: Electro. J. Probab 23 (2018) no.60, 135Subjects: Probability (math.PR)
 [138] arXiv:1610.05869 (replaced) [pdf, ps, other]

Title: The argmin process of random walks and Lévy processesComments: 12 pages. The paper is merged into arXiv:1610.01524Subjects: Probability (math.PR)
 [139] arXiv:1612.00692 (replaced) [pdf, ps, other]

Title: Extremes of Multitype Branching Random Walks: Heaviest Tail WinsSubjects: Probability (math.PR)
 [140] arXiv:1612.08837 (replaced) [pdf, ps, other]

Title: Codes in the Space of MultisetsCoding for Permutation Channels with ImpairmentsComments: 14 pages, 5 figures. v1: conference version (ISIT'17). v5: extended version (IEEE Trans. Inf. Theory), includes parts of arXiv:1409.5276Journalref: IEEE Trans. Inf. Theory, vol. 64, no. 7, pp. 51565169, Jul. 2018Subjects: Information Theory (cs.IT); Discrete Mathematics (cs.DM)
 [141] arXiv:1703.05930 (replaced) [pdf, other]

Title: An estimation for the lengths of reduction sequences of the $λμρθ$calculusSubjects: Logic (math.LO)
 [142] arXiv:1703.09460 (replaced) [pdf, ps, other]

Title: On NavierStokesKorteweg and EulerKorteweg Systems: Application to Quantum Fluids ModelsSubjects: Analysis of PDEs (math.AP)
 [143] arXiv:1704.03535 (replaced) [pdf, other]

Title: On the Pervasiveness of DifferenceConvexity in Optimization and StatisticsSubjects: Optimization and Control (math.OC)
 [144] arXiv:1704.04821 (replaced) [pdf, other]

Title: A second order equation for Schrödinger bridges with applications to the hot gas experiment and entropic transportation costAuthors: Giovanni ConfortiComments: to appear in Probability Theory and Related FieldsSubjects: Probability (math.PR); Functional Analysis (math.FA)
 [145] arXiv:1704.05342 (replaced) [pdf, ps, other]

Title: Selfsimilar minimizers of a branched transport functionalAuthors: Michael Goldman (LJLL)Comments: Indiana University Mathematics Journal, Indiana University Mathematics Journal, In pressSubjects: Analysis of PDEs (math.AP)
 [146] arXiv:1704.06733 (replaced) [pdf, ps, other]

Title: A fast secondorder implicit difference method for timespace fractional advectiondiffusion equationComments: 31 pages,12 tables,8 figures. arXiv admin note: text overlap with arXiv:1510.05089 by other authorsSubjects: Numerical Analysis (math.NA)
 [147] arXiv:1705.06060 (replaced) [pdf, ps, other]

Title: A metric version of Schlichting's TheoremSubjects: Logic (math.LO)
 [148] arXiv:1706.03435 (replaced) [pdf, ps, other]

Title: The Number of Monodromy Representations of Abelian Varieties of Low $p$RankAuthors: Brett FrankelComments: Final version, now 17 pages. Corrected a sign error in the application of Theorem 1 to the case $n=k=2$. This computation has also been worked out explicitly, as an example of how to apply the theorem. Other minor changes. To appear in J. of AlgebraSubjects: Algebraic Geometry (math.AG); Group Theory (math.GR); Number Theory (math.NT)
 [149] arXiv:1706.04546 (replaced) [pdf, other]

Title: Reinforcement Learning with BudgetConstrained Nonparametric Function Approximation for Opportunistic Spectrum AccessComments: 6 pages, submittedSubjects: Information Theory (cs.IT); Learning (cs.LG); Machine Learning (stat.ML)
 [150] arXiv:1707.03430 (replaced) [pdf, ps, other]

Title: Résolution du $\partial\bar\partial$ pour les courants prolongeables définis dans un anneauComments: 8 pages, in FrenchSubjects: Complex Variables (math.CV)
 [151] arXiv:1707.05037 (replaced) [pdf, ps, other]

Title: The PSLQ Algorithm for Empirical DataComments: 23 pages; Math. CompSubjects: Symbolic Computation (cs.SC); Number Theory (math.NT)
 [152] arXiv:1707.06623 (replaced) [pdf, ps, other]

Title: On equivariant Serre problem for principal bundlesComments: To appear in the International Journal of MathematicsSubjects: Algebraic Geometry (math.AG); Complex Variables (math.CV)
 [153] arXiv:1707.07468 (replaced) [pdf, ps, other]

Title: Finite presheaves and $A$finite generation of unstable algebras mod nilpotentsAuthors: Geoffrey PowellComments: Slightly streamlined version, now 24 pagesSubjects: Algebraic Topology (math.AT)
 [154] arXiv:1707.07915 (replaced) [pdf, ps, other]

Title: Malliavin and dirichlet structures for independent random variablesSubjects: Probability (math.PR)
 [155] arXiv:1708.05452 (replaced) [pdf, ps, other]

Title: On the $K(π, 1)$problem for restrictions of complex reflection arrangementsComments: 20 pages; v2: small changes and further references added, in particular [AMR18], where examples of K(pi,1) arrangements are exhibited which admit restrictions that are not K(pi,1)Subjects: Algebraic Topology (math.AT); Algebraic Geometry (math.AG); Group Theory (math.GR)
 [156] arXiv:1708.05881 (replaced) [pdf, ps, other]

Title: Virtual immersions and minimal hypersurfaces in compact symmetric spacesComments: New title, 18 pages, comments are welcomeSubjects: Differential Geometry (math.DG)
 [157] arXiv:1708.08049 (replaced) [pdf, ps, other]

Title: Martin's maximum and the nonstationary idealSubjects: Logic (math.LO)
 [158] arXiv:1709.08552 (replaced) [pdf, ps, other]

Title: Conic bundles and iterated root stacksAuthors: Jakob OesinghausComments: 9 pages. To be published in European Journal of MathematicsSubjects: Algebraic Geometry (math.AG)
 [159] arXiv:1710.03259 (replaced) [pdf, ps, other]

Title: On complements of Kazhdan projections in semisimple groupsComments: To appear in Studia MathematicaSubjects: Group Theory (math.GR); Functional Analysis (math.FA); Operator Algebras (math.OA)
 [160] arXiv:1710.03989 (replaced) [pdf, other]

Title: Locally Lipschitz Vector Optimization Problems: Secondorder Constraint Qualifications, Regularity Condition and KKT Necessary Optimality ConditionsComments: 23 pagesSubjects: Optimization and Control (math.OC)
 [161] arXiv:1710.06491 (replaced) [pdf, ps, other]

Title: Open maps: small and large holes with unusual propertiesComments: 15 pages, no figuresSubjects: Dynamical Systems (math.DS)
 [162] arXiv:1710.09927 (replaced) [pdf, ps, other]

Title: Tduality of singular spacetime compactifications in an HfluxComments: 13 pages. Free access in 2018Journalref: J. Geom. Phys., vol. 129, no. 7 (2018) 269278Subjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph); Differential Geometry (math.DG)
 [163] arXiv:1710.10353 (replaced) [pdf, ps, other]

Title: A Novikov fundamental groupComments: 39 pages, 4 drawings (inkscape) Added a discussion of an Hurewicz morphism and examplesSubjects: Geometric Topology (math.GT); Differential Geometry (math.DG); Symplectic Geometry (math.SG)
 [164] arXiv:1711.03973 (replaced) [pdf, other]

Title: Punctures and Dynamical SystemsComments: v2: 52 pages, 7 figures, clarifications and references addedSubjects: High Energy Physics  Theory (hepth); Dynamical Systems (math.DS)
 [165] arXiv:1711.06015 (replaced) [pdf, ps, other]

Title: Semiconductor BoltzmannDiracBenney equation with BGKtype collision operator: existence of solutions vs. illposednessAuthors: Marcel BraukhoffSubjects: Analysis of PDEs (math.AP)
 [166] arXiv:1711.09132 (replaced) [pdf, other]

Title: Multiparameter Gaussian Quantum MetrologyComments: 14 pages, 3 figures; expanded and updated; to appear in Physical Review ASubjects: Quantum Physics (quantph); Statistical Mechanics (condmat.statmech); Mathematical Physics (mathph); Instrumentation and Detectors (physics.insdet); Optics (physics.optics)
 [167] arXiv:1711.09170 (replaced) [pdf, other]

Title: Local unitary periods and relative discrete seriesAuthors: Jerrod Manford SmithComments: 30 pages, to appear in the Pacific Journal of Mathematics. In version 2: Section 5.4 added; Proposition 5.12 improved; some results in Section 5.3 renumbered; bibliography updated; several typos corrected. This work extends the results of arXiv:1703.03450 via similar methodsSubjects: Representation Theory (math.RT)
 [168] arXiv:1711.09990 (replaced) [pdf, ps, other]

Title: Identification of Strong Edges in AMP Chain GraphsAuthors: Jose M. PeñaComments: arXiv admin note: text overlap with arXiv:1303.0691Journalref: UAI 2018Subjects: Combinatorics (math.CO); Artificial Intelligence (cs.AI)
 [169] arXiv:1712.01016 (replaced) [pdf, ps, other]

Title: On data recovery with restraints on the spectrum range and the process rangeAuthors: Nikolai DokuchaevSubjects: Information Theory (cs.IT)
 [170] arXiv:1712.06182 (replaced) [pdf, ps, other]

Title: Multiscale analysis of singularly perturbed finite dimensional gradient flows: the minimizing movement approachSubjects: Analysis of PDEs (math.AP)
 [171] arXiv:1712.07098 (replaced) [pdf, ps, other]

Title: Extending the Double Ramification Cycle using JacobiansComments: 13 pages. Final versionJournalref: Holmes, D., Kass, J.L. & Pagani, N. European Journal of Mathematics (2018)Subjects: Algebraic Geometry (math.AG)
 [172] arXiv:1712.08564 (replaced) [pdf, other]

Title: Minimal surfaces from infinitesimal deformations of circle packingsAuthors: Wai Yeung LamComments: 15 pagesSubjects: Complex Variables (math.CV); Differential Geometry (math.DG); Metric Geometry (math.MG)
 [173] arXiv:1801.00396 (replaced) [pdf, ps, other]

Title: Towards multifractional calculusAuthors: Gianluca CalcagniComments: 10 pages; v2: small clarifications and references addedJournalref: Front. Phys. 6 (2018) 58Subjects: Mathematical Physics (mathph); High Energy Physics  Theory (hepth)
 [174] arXiv:1801.01265 (replaced) [pdf, other]

Title: Improved Bounds on Lossless Source Coding and Guessing Moments via Rényi MeasuresComments: This paper was published in the IEEE Trans. on Information Theory, vol. 64, no. 6, pp. 43234346, June 2018. The current version is a postprint which includes few corrections of printing typosSubjects: Information Theory (cs.IT)
 [175] arXiv:1801.04504 (replaced) [pdf, other]

Title: NonOrthogonal Multiple Access for mmWave Drone Networks with Limited FeedbackSubjects: Information Theory (cs.IT)
 [176] arXiv:1801.08619 (replaced) [pdf, ps, other]

Title: Local extension property for finite height spacesComments: 16 pages, no figuresSubjects: Functional Analysis (math.FA)
 [177] arXiv:1802.06054 (replaced) [pdf, other]

Title: Learning Patterns for Detection with Multiscale Scan StatisticsAuthors: James SharpnackSubjects: Statistics Theory (math.ST); Information Theory (cs.IT); Methodology (stat.ME)
 [178] arXiv:1802.10300 (replaced) [pdf, other]

Title: Edge Partitions of Optimal $2$plane and $3$plane GraphsAuthors: Michael Bekos, Emilio Di Giacomo, Walter Didimo, Giuseppe Liotta, Fabrizio Montecchiani, Chrysanthi RaftopoulouSubjects: Combinatorics (math.CO)
 [179] arXiv:1803.00393 (replaced) [pdf, ps, other]
 [180] arXiv:1803.02615 (replaced) [pdf, other]

Title: A Novel Canonical Duality Theory for Solving 3D Topology Optimization ProblemsComments: 32 pages, 11 figures, 10 tablesSubjects: Optimization and Control (math.OC)
 [181] arXiv:1803.04326 (replaced) [pdf, ps, other]

Title: Geometric Brauer residue via root stacksAuthors: Jakob OesinghausComments: 9 pages. Published in Res. Math. SciJournalref: Res Math Sci (2018) 5: 28Subjects: Algebraic Geometry (math.AG)
 [182] arXiv:1803.07099 (replaced) [pdf, ps, other]

Title: Varieties of coarse spacesAuthors: Igor ProtasovComments: coarse structure,coarse space, ballean, varieties of coarse spacesSubjects: General Topology (math.GN)
 [183] arXiv:1803.07319 (replaced) [pdf, ps, other]

Title: Wigner measures and effective mass theoremsSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph)
 [184] arXiv:1803.11120 (replaced) [pdf, other]

Title: Hyperbolic vortices and Dirac fields in 2+1 dimensionsComments: 27 pages, 5 figures, J Phys A accepted versionSubjects: High Energy Physics  Theory (hepth); General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph)
 [185] arXiv:1804.04106 (replaced) [pdf, ps, other]

Title: On skew braces and their idealsComments: 15 pages. Accepted for publication in Experimental MathematicsSubjects: Rings and Algebras (math.RA); Group Theory (math.GR); Quantum Algebra (math.QA)
 [186] arXiv:1804.07146 (replaced) [pdf, ps, other]

Title: On the distribution of random words in a compact Lie groupAuthors: Hariharan NarayananComments: 10 pagesSubjects: Probability (math.PR)
 [187] arXiv:1804.10407 (replaced) [pdf, ps, other]

Title: Characterization of halfradial matricesComments: 17 pagesSubjects: Numerical Analysis (math.NA)
 [188] arXiv:1804.11010 (replaced) [pdf, ps, other]

Title: A Matrix Gaussian DistributionAuthors: Shane BarrattComments: 4 pagesSubjects: Probability (math.PR)
 [189] arXiv:1805.02607 (replaced) [pdf, other]

Title: Pointwise ergodic theorem for locally countable quasipmp graphsAuthors: Anush TserunyanComments: Added to the introduction a discussion of existing results about pointwise ergodic theorems for quasiactionsSubjects: Dynamical Systems (math.DS); Logic (math.LO)
 [190] arXiv:1805.02624 (replaced) [pdf, other]

Title: On constrictions of phaselock areas in model of overdamped Josephson effect and transition matrix of double confluent Heun equationAuthors: Alexey GlutsyukComments: To appear in the Journal of Dynamical and Control Systems; 39 pages, 9 figures. Minor improvements, new bibliographic referencesSubjects: Dynamical Systems (math.DS)
 [191] arXiv:1805.03963 (replaced) [pdf, ps, other]

Title: Monotone Learning with Rectified Wire NetworksComments: 37 pages, 19 figures, improved section 3Subjects: Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC); Machine Learning (stat.ML)
 [192] arXiv:1805.06996 (replaced) [pdf, ps, other]

Title: Finite groups in integral group ringsAuthors: Ángel del RíoComments: 22 pages. Notes used for a course held in 2016 in the School of Advances in Group Theory and Applications and for some lectures given in 2018 for the students of the Master in Mathematics of the Vrije Universiteit Brussels. We revise some problems on the study of finite subgroups of the group of units of integral group rings of finite groups and some techniques to attack themSubjects: Rings and Algebras (math.RA)
 [193] arXiv:1805.08830 (replaced) [pdf, ps, other]

Title: A note on Stein's method on the third and fourth Wiener chaosesAuthors: Robert E. GauntComments: 14 pagesSubjects: Probability (math.PR)
 [194] arXiv:1805.09506 (replaced) [pdf, other]

Title: A descriptive construction of trees and Stallings' theoremAuthors: Anush TserunyanComments: Cosmetic changesSubjects: Group Theory (math.GR); Dynamical Systems (math.DS); Logic (math.LO)
 [195] arXiv:1805.09671 (replaced) [pdf, other]

Title: Computing the ideal class monoid of an orderAuthors: Stefano MarsegliaComments: 22 pages, 3 figures, added Section "Algorithms", added reference for Thm 8.1Subjects: Number Theory (math.NT)
 [196] arXiv:1806.00725 (replaced) [pdf, other]

Title: Integrated Tempering Enhanced Sampling Method as the Infinite Switching Limit of Simulated TemperingComments: 9 pages, 3 figuresSubjects: Numerical Analysis (math.NA); Chemical Physics (physics.chemph); Computational Physics (physics.compph)
 [197] arXiv:1806.00876 (replaced) [pdf, ps, other]

Title: A modularinvariant modified Weierstrass sigmafunction as a building block for lowestLandaulevel wavefunctions on the torusAuthors: F. D. M. HaldaneComments: 5 pages, no figures. Revised to reference and describe a connection to Eisenstein's "periodic completion"of the Weierstrass zeta functionSubjects: Mathematical Physics (mathph); Strongly Correlated Electrons (condmat.strel)
 [198] arXiv:1806.02735 (replaced) [pdf, ps, other]
 [199] arXiv:1806.04901 (replaced) [pdf, other]

Title: Finsler Hardy inequalitiesComments: 31 pages. We add "Note added to Proof" in Introduction and several referencesSubjects: Analysis of PDEs (math.AP)
 [200] arXiv:1806.05175 (replaced) [pdf, ps, other]

Title: A Cesàro Average of generalised HardyLittlewood numbersComments: submitted. One reference updated. arXiv admin note: substantial text overlap with arXiv:1206.0255, arXiv:1806.04930Subjects: Number Theory (math.NT)
 [201] arXiv:1806.05373 (replaced) [pdf, ps, other]

Title: Short intervals asymptotic formulae for binary problems with prime powersComments: Accepted (Nov. 2017) for publication in Journal de Theorie des Nombres de Bordeaux. Two references updatedSubjects: Number Theory (math.NT)
 [202] arXiv:1806.05399 (replaced) [pdf, ps, other]

Title: NonGaussian Random Matrix Models for Twofaced Families of Random Variables Having Bifree Central Limit DistributionsAuthors: Mingchu GaoComments: 12 pagesSubjects: Operator Algebras (math.OA)
 [203] arXiv:1806.05416 (replaced) [pdf, ps, other]

Title: An Identity for the Partition Function Involving Parts of k Different MagnitudesAuthors: Saud HusseinSubjects: Number Theory (math.NT)
 [204] arXiv:1806.06289 (replaced) [pdf, other]

Title: A database of nonhyperelliptic genus 3 curves over QAuthors: Andrew V. SutherlandComments: minor corrections to section 5; 12 pagesSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
 [205] arXiv:1806.07040 (replaced) [pdf, ps, other]

Title: Defective and Clustered Colouring of Sparse GraphsSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
 [206] arXiv:1806.07652 (replaced) [pdf, ps, other]

Title: Borderline regularity for fully nonlinear equations in Dini domainsComments: a few typos correctedSubjects: Analysis of PDEs (math.AP)
 [207] arXiv:1806.07795 (replaced) [pdf, ps, other]

Title: Sedimentation of particles in Stokes flowAuthors: Amina MecherbetSubjects: Analysis of PDEs (math.AP)
[ showing up to 2000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)