Mathematics
New submissions
[ showing up to 2000 entries per page: fewer  more ]
New submissions for Thu, 19 Oct 17
 [1] arXiv:1710.06428 [pdf, ps, other]

Title: Operator gradient of divergencie in subspaces of $\mathbf{L}_{2}(G)$ spaceAuthors: R.S. SaksComments: in RussianSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph); Spectral Theory (math.SP)
The author studies the structure of space $ \mathbf {L} _ {2} (G) $ of vectorvalued functions that are square integrable in a bounded connected domain $ G $ of the threedimensional space with a smooth boundary and the role of gradient divergence operators and the rotor in the construction of bases in subspaces $ {\mathcal {{A}}} $ and $ {\mathcal {{B}}} $.
The selfadjointness of the extension $ \mathcal {N} _d $ of operator $ \nabla \mathrm {div} $ to the subspace $ \mathcal {A} _ {\gamma} \subset {\mathcal {{A}}} $ and the basicity system of its own functions. Written explicit formulas for solving the spectral problem in a ball and the conditions for the decomposition vectorfunctions in a Fourier series in eigenfunctions gradient of divergence. The solvability of the boundary tasks: $ \nabla \mathrm {div} \, \mathbf {u} + \lambda \, \mathbf {u} = \mathbf {f} $ in $ G $, $ (\mathbf {n} \cdot \mathbf {u})  _ {\Gamma} = g $ in Sobolev spaces $ \mathbf {H} ^ {s} (G) $ of order $ s \geq 0 $ and in subspaces.
In passing, similar results for the operator of the rotor and its symmetric extension $ S $ to $ \mathcal {B} $.  [2] arXiv:1710.06457 [pdf, other]

Title: Nonlinear acoustics: BlackstockCrighton equations with a periodic forcing termSubjects: Analysis of PDEs (math.AP)
The BlackstockCrighton equations describe the motion of a viscous, heatconducting, compressible fluid. They are used as models for acoustic wave propagation in a medium in which both nonlinear and dissipative effects are taken into account. In this article, a mathematical analysis is carried out for the BlackstockCrighton equations with a timeperiodic forcing term. For arbitrary timeperiodic data (sufficiently restricted in size) it is shown that a timeperiodic solution of the same period always exists. This implies that the dissipative effects are sufficient to avoid resonance within the BlackstockCrighton models. The equations are considered in a threedimensional bounded domain with both nonhomogeneous Dirichlet and Neumann boundary values. Existence of a solution is obtained via a fixedpoint argument based on appropriate a priori estimates for the linearized equations.
 [3] arXiv:1710.06461 [pdf, other]

Title: The Symmetric Tensor Product on the Drinfeld Centre of a Symmetric Fusion CategoryAuthors: Thomas A. WassermanComments: 34 pagesSubjects: Quantum Algebra (math.QA); Category Theory (math.CT)
We define a symmetric tensor product on the Drinfeld centre of a symmetric fusion category, in addition to its usual tensor product. We examine what this tensor product looks like under Tannaka duality, identifying the symmetric fusion category with the representation category of a finite (super)group. Under this identification, the Drinfeld centre is the category of equivariant vector bundles over the finite group (underlying the supergroup, in the super case). In the nonsuper case, we show that the symmetric tensor product corresponds to the fibrewise tensor product of these vector bundles. In the super case, we define for each supergroup structure on the finite group a superversion of the fibrewise tensor product. We show that the symmetric tensor product on the Drinfeld centre of the representation category of the resulting finite supergroups corresponds to this superversion of the fibrewise tensor product on the category of equivariant vector bundles over the finite group.
 [4] arXiv:1710.06465 [pdf, other]

Title: Convex optimization over intersection of simple sets: improved convergence rate guarantees via an exact penalty approachSubjects: Optimization and Control (math.OC)
We consider the problem of minimizing a convex function over the intersection of finitely many simple sets which are easy to project onto. This is an important problem arising in various domains such as machine learning. The main difficulty lies in finding the projection of a point in the intersection of many sets. Existing approaches yield an infeasible point with an iterationcomplexity of $O(1/\varepsilon^2)$ for nonsmooth problems with no guarantees on the infeasibility. By reformulating the problem through exact penalty functions, we derive firstorder algorithms which not only guarantees that the distance to the intersection is small but also improve the complexity to $O(1/\varepsilon)$ and $O(1/\sqrt{\varepsilon})$ for smooth functions. For composite and smooth problems, this is achieved through a saddlepoint reformulation where the proximal operators required by the primaldual algorithms can be computed in closed form. We illustrate the benefits of our approach on a graph transduction problem and on graph matching.
 [5] arXiv:1710.06468 [pdf, ps, other]

Title: Relative Hard Lefschetz Theorem for FansAuthors: Kalle KaruComments: 38 pagesSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
We prove the Relative Hard Lefschetz theorem and the Relative HodgeRiemann bilinear relations for combinatorial intersection cohomology sheaves on fans.
 [6] arXiv:1710.06470 [pdf, other]

Title: On the number of unknot diagramsSubjects: Combinatorics (math.CO)
Let $D$ be a knot diagram, and let ${\mathcal D}$ denote the set of diagrams that can be obtained from $D$ by crossing exchanges. If $D$ has $n$ crossings, then ${\mathcal D}$ consists of $2^n$ diagrams. A folklore argument shows that at least one of these $2^n$ diagrams is unknot, from which it follows that every diagram has finite unknotting number. It is easy to see that this argument can be used to show that actually ${\mathcal D}$ has more than one unknot diagram, but it cannot yield more than $4n$ unknot diagrams. We improve this linear bound to a superpolynomial bound, by showing that at least $2^{\sqrt[3]{n}}$ of the diagrams in ${\mathcal D}$ are unknot. We also show that either all the diagrams in ${\mathcal D}$ are unknot, or there is a diagram in ${\mathcal D}$ that is a diagram of the trefoil knot.
 [7] arXiv:1710.06477 [pdf, ps, other]

Title: Energy critical Schrödinger equation with weighted exponential nonlinearity I: Local and global wellposednessSubjects: Analysis of PDEs (math.AP)
We investigate the initial value problem for a defocusing nonlinear Schr\"odinger equation with weighted exponential nonlinearity $$ i\partial_t u+\Delta u=\frac{u}{x^b}(e^{\alphau^2}1); \qquad (t,x) \in \mathbb{R}\times\mathbb{R}^2, $$ where $0< b <1$ and $\alpha=2\pi(2b)$. We establish local and global wellposedness in the subcritical and critical regimes.
 [8] arXiv:1710.06478 [pdf, ps, other]

Title: When a totally bounded group topology is the Bohr Topology of a LCA groupSubjects: General Topology (math.GN)
We look at the Bohr topology of maximally almost periodic groups (MAP, for short). Among other results, we investigate when a totally bounded abelian group $(G,w)$ is the Bohr reflection of a locally compact abelian group. Necessary and sufficient conditions are established in terms of the inner properties of $w$. As an application, an example of a MAP group $(G,t)$ is given such that every closed, metrizable subgroup $N$ of $bG$ with $N \cap G = \{0\}$ preserves compactness but $(G,t)$ does not strongly respects compactness. Thereby, we respond to Questions 4.1 and 4.3 in [comftrigwu].
 [9] arXiv:1710.06482 [pdf, ps, other]

Title: Successive FourDimensional StokesSpace Direct DetectionComments: Submitted on October 10, 2017, to the Optical Fiber Communications Conference and Exhibition, OFC 2018Subjects: Information Theory (cs.IT)
We present a successive detection scheme for the fourth dimension in a fourdimensional Stokesspace direct detection receiver. At the expense of a small number of electricaldomain computations, the additional information rate can be substantial.
 [10] arXiv:1710.06484 [pdf, other]

Title: Fine asymptotics for models with Gamma type momentsSubjects: Probability (math.PR)
The aim of this paper is to give fine asymptotics for random variables with moments of Gamma type. Among the examples we consider are random determinants of Laguerre and Jacobi beta ensembles with varying dimensions (the number of observed variables and the number of measurements vary and may be different). In addition to the Dyson threefold way of classical random matrix models (GOE, GUE, GSE), we study random determinants of random matrices of the socalled tenfold way, including the Bogoliubovde Gennes and chiral ensembles from mesoscopic physics. We show that fixedtrace matrix ensembles can be analysed as well. Finally, we add fine asymptotics for the $p(n)$dimensional volume of the simplex with $p(n)+1$ points in ${\Bbb R}^n$ distributed according to special distributions, which is strongly correlated to Gram matrix ensembles. We use the framework of mod$\varphi$ convergence to obtain extended limit theorems, BerryEsseen bounds, precise moderate deviations, large and moderate deviation principles as well as local limit theorems. The work is especially based on the recent work of Dal Borgo, Hovhannisyan and Rouault.
 [11] arXiv:1710.06490 [pdf, ps, other]

Title: Hultman elements for the hyperoctahedral groupsAuthors: Alexander WooComments: 23 pagesSubjects: Combinatorics (math.CO)
Hultman, Linusson, Shareshian, and Sj\"ostrand gave a pattern avoidance characterization of the permutations for which the number of chambers of its associated inversion arrangement is the same as the size of its lower interval in Bruhat order. Hultman later gave a characterization, valid for an arbitrary finite reflection group, in terms of distances in the Bruhat graph. On the other hand, the pattern avoidance criterion for permutations had earlier appeared in independent work of Sj\"ostrand and of Gasharov and Reiner. We give characterizations of the elements of the hyperoctahedral groups satisfying Hultman's criterion that is in the spirit of those of Sj\"ostrand and of Gasharov and Reiner. We also give a pattern avoidance criterion using the notion of pattern avoidance defined by Billey and Postnikov.
 [12] arXiv:1710.06491 [pdf, ps, other]

Title: Open maps: small and large holes with unusual propertiesComments: 13 pages, no figuresSubjects: Dynamical Systems (math.DS)
Let $X$ be a twosided subshift on a finite alphabet endowed with a mixing probability measure which is positive on all cylinders in $X$. We show that there exist arbitrarily small finite connected unions of cylinders which intersect every orbit under the shift map.
We also show that for any proper subshift $Y$ of $X$ there exists a finite connected union of cylinders such that its survivor set contains $Y$ (in particular, it can have entropy arbitrarily close to the entropy of $X$). Both results may be seen as somewhat counterintuitive.
Finally, we apply these results to a certain class of hyperbolic algebraic automorphisms of a torus.  [13] arXiv:1710.06492 [pdf, ps, other]

Title: $c$vectors of 2CalabiYau categories and Borel subalgebras of ${\mathfrak{sl}}_{\infty}$Comments: 38 pagesSubjects: Rings and Algebras (math.RA); Representation Theory (math.RT)
We develop a general framework for $c$vectors of 2CalabiYau categories, which deals with cluster tilting subcategories that are not reachable from each other and contain infinitely many indecomposable objects. It does not rely on iterative sequences of mutations.
We prove a categorical (infiniterank) generalization of the NakanishiZelevinsky duality for $c$vectors and establish two formulae for the effective computation of $c$vectors  one in terms of indices and the other in terms of dimension vectors for cluster tilted algebras.
In this framework, we construct a correspondence between the $c$vectors of the cluster categories ${\mathscr{C}}(A_{\infty})$ of type $A_{\infty}$ due to IgusaTodorov and the roots of the Borel subalgebras of ${\mathfrak{sl}}_{\infty}$. Contrary to the finite dimensional case, the Borel subalgebras of ${\mathfrak{sl}}_{\infty}$ are not conjugate to each other. On the categorical side, the cluster tilting subcategories of ${\mathscr{C}}(A_{\infty})$ exhibit different homological properties. The correspondence builds a bridge between the two classes of objects.  [14] arXiv:1710.06493 [pdf, other]

Title: Planar orthogogonal polynomials and boundary universality in the random normal matrix modelComments: 55 pages. 3 figuresSubjects: Complex Variables (math.CV)
We prove that the planar normalized orthogonal polynomials $P_{n,m}(z)$ of degree $n$ with respect to an exponentially varying planar measure $e^{2mQ(z)}\mathrm{dA}(z)$ enjoys an asymptotic expansion \[ P_{n,m}(z)\sim \left(\frac{m}{2\pi}\right)^{\frac{1}{4}}\hspace{3pt} \sqrt{\phi_\tau'(z)}[\phi_\tau(z)]^n e^{m\mathcal{Q}_\tau(z)}\left(\mathcal{B}_{0,\tau}(z) +\frac{1}{m}\mathcal{B}_{1,\tau}(z)+\frac{1}{m^2} \mathcal{B}_{2,\tau}(z)+\ldots\right), \] as $n=m\tau\to\infty$. Here $\mathcal{S}_\tau$ denotes the droplet, the boundary of which is assumed to be a smooth, simple, closed curve, and $\phi_\tau$ is a conformal mapping $\mathcal{S}_\tau^c\to\mathbb{D}_e$. The functions $\mathcal{Q}_\tau$ and $\mathcal{B}_{j,\tau}(z)$ are bounded holomorphic functions which can be computed in terms of $Q$ and $\mathcal{S}_\tau$. We apply these results to prove universality at the boundary for regular droplets in the random normal matrix model, i.e., that the limiting rescaled process is the random process with correlation kernel $$ \mathrm{k}(\xi,\eta)= \frac{1}{2}e^{\xi\bar\eta\,\frac12(\lvert\xi\rvert^2+\lvert \eta\rvert^2)} \operatorname{erfc}\left(\frac{\xi+\bar{\eta}}{\sqrt{2}}\right). $$ A key ingredient in the proof of the asymptotic expansion is the construction of an {orthogonal foliation}  a smooth flow of closed curves near $\partial\mathcal{S}_\tau$, on each of which $P_{n,m}$ is orthogonal to lower order polynomials, with respect to an induced measure. To compute the coefficients, we further develop an algorithm which determines $\mathcal{B}_{j,\tau}$ up to any desired order in terms of inhomogeneous Toeplitz kernel conditions.
 [15] arXiv:1710.06496 [pdf, other]

Title: Shape optimisation with nearly conformal transformationsSubjects: Optimization and Control (math.OC)
In shape optimisation it is desirable to obtain deformations of a given mesh without negative impact on the mesh quality. We propose a new algorithm using least square formulations of the CauchyRiemann equations. Our method allows to deform meshes in a nearly conformal way and thus approximately preserves the angles of triangles during the optimisation process. The performance of our methodology is shown by applying our method to some unconstrained shape functions and a constrained Stokes shape optimisation problem.
 [16] arXiv:1710.06499 [pdf, other]

Title: Fundamental Limits of LowDensity Spreading NOMA with FadingSubjects: Information Theory (cs.IT)
Spectral efficiency of lowdensity spreading nonorthogonal multiple access channels in the presence of fading is derived for linear detection with independent decoding as well as optimum decoding. The large system limit, where both the number of users and number of signal dimensions grow with fixed ratio, called load, is considered. In the case of optimum decoding, it is found that lowdensity spreading underperforms dense spreading for all loads. Conversely, linear detection is characterized by different behaviors in the underloaded vs. overloaded regimes. In particular, it is shown that spectral efficiency changes smoothly as load increases. However, in the overloaded regime, the spectral efficiency of low density spreading is higher than that of dense spreading.
 [17] arXiv:1710.06502 [pdf, other]

Title: The Cup Length in Cohomology as a Bound on Topological ComplexityComments: 15 pages, 6 figuresSubjects: Algebraic Topology (math.AT)
Polynomial solving algorithms are essential to applied mathematics and the sciences. As such, reduction of their complexity has become an incredibly important field of topological research. We present a topological approach to constructing a lower bound for the complexity of a polynomialsolving algorithm, and give a concrete algorithm to do this in the case that $\mathrm{deg}(f) = 2,3,4$.
 [18] arXiv:1710.06505 [pdf, ps, other]

Title: Stability conditions and cluster varieties from quivers of type $A$Authors: Dylan G. L. AllegrettiComments: 31 pagesSubjects: Algebraic Geometry (math.AG); High Energy Physics  Theory (hepth); Classical Analysis and ODEs (math.CA)
We describe the relationship between two spaces associated to a quiver with potential. The first is a complex manifold parametrizing Bridgeland stability conditions on a triangulated category, and the second is a cluster variety with a natural Poisson structure. For quivers of type $A$, we construct a local biholomorphism from the space of stability conditions to the cluster variety. The existence of this map follows from results of Sibuya in the classical theory of ordinary differential equations.
 [19] arXiv:1710.06510 [pdf, ps, other]

Title: The unitsPicard complex of a reductive group schemeAuthors: Cristian D. GonzalezAvilesComments: 53 pages. In memory of Jost van HamelSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
Let S be a locally noetherian regular scheme. We compute the unitsPicard complex of a reductive Sgroup scheme G in terms of the dual algebraic fundamental complex of G. To do so, we establish a unitsPicardBrauer exact sequence for a torsor under a smooth Sgroup scheme.
 [20] arXiv:1710.06517 [pdf, ps, other]

Title: Dihedral Sieving PhenomenaComments: 8 pagesSubjects: Combinatorics (math.CO); Representation Theory (math.RT)
Cyclic sieving is a wellknown phenomenon where certain interesting polynomials, especially $q$analogues, have useful interpretations related to actions and representations of the cyclic group. We define sieving for an arbitrary group $G$ and study it for the dihedral group $I_2(n)$ of order $2n$. This requires understanding the generators of the representation ring of the dihedral group. For $n$ odd, we exhibit several instances of "dihedral sieving" which involve the generalized Fibonomial coefficients, recently studied by Amdeberhan, Chen, Moll, and Sagan.
 [21] arXiv:1710.06521 [pdf, ps, other]

Title: On $\star $Power Conductor domainsComments: 16 pagesSubjects: Commutative Algebra (math.AC)
Let $D$ be an integral domain and $\star $ a star operation defined on $D$. We say that $D$ is a $\star $power conductor domain ($\star $PCD) if for each pair $a,b\in D\backslash (0)$ and for each positive integer $n$ we have $Da^{n}\cap Db^{n}=((Da\cap Db)^{n})^{\ast }.$ We study $\star $PCDs and characterize them as root closed domains satisfying $ ((a,b)^{n})^{1}=(((a,b)^{1})^{n})^{\star }$ for all nonzero $a,b$ and all natural numbers $n\geq 1$. From this it follows easily that Pr\"{u}fer domains are $d$PCDs (where $d$ denotes the trivial star operation), and $v$ domains (e.g., Krull domains) are $v$PCDs, thereby establishing that a $v$ domain (e.g., a Prufer or Krull domain) is a $\star $ PCD. We also consider when a $\star $PCD is completely integrally closed, and this leads to new characterizations of Krulll domains. In particular, we show that a Noetherian domain is a Krull domain if and only if it is a $w$ PCD.
 [22] arXiv:1710.06527 [pdf, ps, other]

Title: On the Expanding Configuration of Viscous Radiation Gaseous Stars: Isentropic and Thermodynamic ModelsAuthors: Xin LiuSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph)
In this work, we study the stability of the expanding configurations for radiation gaseous stars. Such expanding configurations exist for the isentropic model and the thermodynamic model. In particular, we focus on the effect of the monatomic gas viscosity tensor on the expanding configurations. With respect to small perturbation, it is shown the selfsimilarly expanding homogeneous solutions of the isentropic model is unstable, while the linearly expanding homogeneous solutions of the isentropic model and the thermodynamic model are stable. This is an extensive study of the result in arXiv:1605.08083 by Hadzic and Jang.
 [23] arXiv:1710.06529 [pdf, ps, other]

Title: Simplified broken Lefschetz fibrations and trisections of 4manifoldsComments: 17 pages, 7 figuresSubjects: Geometric Topology (math.GT)
Shapes of four dimensional spaces can be studied effectively via maps to standard surfaces. We explain, and illustrate by quintessential examples, how to simplify such generic maps on 4manifolds topologically, in order to derive simple decompositions into much better understood manifold pieces. Our methods not only allow us to produce various interesting families of examples, but also to establish a correspondence between simplified broken Lefschetz fibrations and simplified trisections of closed, oriented 4manifolds.
 [24] arXiv:1710.06532 [pdf, other]

Title: Datadriven spectral analysis of the Koopman operatorSubjects: Dynamical Systems (math.DS); Numerical Analysis (math.NA); Spectral Theory (math.SP)
Starting from measured data, we develop a method to compute the fine structure of the spectrum of the Koopman operator with rigorous convergence guarantees. The method is based on the observation that, in the measurepreserving ergodic setting, the moments of the spectral measure associated to a given observable are computable from a single trajectory of this observable. Having finitely many moments available, we use the classical ChristoffelDarboux kernel to separate the atomic and absolutely continuous parts of the spectrum, supported by convergence guarantees as the number of moments tends to infinity. In addition, we propose a technique to detect the singular continuous part of the spectrum as well as two methods to approximate the spectral measure with guaranteed convergence in the weak topology, irrespective of whether the singular continuous part is present or not. The proposed method is simple to implement and readily applicable to largescale systems since the computational complexity is dominated by inverting an $N\times N$ Hermitian positivedefinite Toeplitz matrix, where $N$ is the number of moments, for which efficient and numerically stable algorithms exist; in particular, the complexity of the approach is independent of the dimension of the underlying statespace. We also show how to compute, from measured data, the spectral projection on a given segment of the unit circle, allowing us to obtain a finitedimensional approximation of the operator that explicitly takes into account the point and continuous parts of the spectrum. Finally, we describe a relationship between the proposed method and the socalled Hankel Dynamic Mode Decomposition, providing new insights into the behavior of the eigenvalues of the Hankel DMD operator. A number of numerical examples illustrate the approach, including a study of the spectrum of the liddriven twodimensional cavity flow.
 [25] arXiv:1710.06534 [pdf, ps, other]

Title: Lower bounds for numbers of real selfdual spaces in problems of Schubert calculusAuthors: Kang LuComments: LaTeX, 14 pages, 2 tablesSubjects: Quantum Algebra (math.QA); Mathematical Physics (mathph); Algebraic Geometry (math.AG); Representation Theory (math.RT)
The selfdual spaces of polynomials are related to Bethe vectors in the Gaudin model associated to the Lie algebra of types B and C. In this paper, we give lower bounds for the numbers of real selfdual spaces in intersections of Schubert varieties related to osculating flags in the Grassmannian $\mathrm{Gr}(N,d)$. The higher Gaudin Hamiltonians are selfadjoint with respect to a nondegenerate indefinite Hermitian form. Our bound comes from the computation of the signature of this form.
 [26] arXiv:1710.06535 [pdf, ps, other]

Title: Maximum number of colourings. II. 5chromatic graphsSubjects: Combinatorics (math.CO)
In 1971, Tomescu conjectured [Le nombre des graphes connexes $k$chromatiques minimaux aux sommets \'etiquet\'es, C. R. Acad. Sci. Paris 273 (1971), 11241126] that every connected graph $G$ on $n$ vertices with $\chi(G) = k \geq 4$ has at most $k!(k1)^{nk}$ $k$colourings, where equality holds if and only if the graph is formed from $K_k$ by repeatedly adding leaves. In this note we prove (a strengthening of) the conjecture of Tomescu when $k=5$.
 [27] arXiv:1710.06538 [pdf, ps, other]

Title: $L^p$$L^q$ estimates for the damped wave equation and the critical exponent for the nonlinear problem with slowly decaying dataComments: 39 pagesSubjects: Analysis of PDEs (math.AP)
We study the Cauchy problem of the damped wave equation \begin{align*}
\partial_{t}^2 u  \Delta u + \partial_t u = 0 \end{align*} and give sharp $L^p$$L^q$ estimates of the solution for $1\le q \le p < \infty\ (p\neq 1)$ with derivative loss. This is an improvement of the socalled Matsumura estimates. Moreover, as its application, we consider the nonlinear problem with initial data in $(H^s\cap H_r^{\beta}) \times (H^{s1} \cap L^r)$ with $r \in (1,2]$, $s\ge 0$, and $\beta = (n1)\frac{1}{2}\frac{1}{r}$, and prove the local and global existence of solutions. In particular, we prove the existence of the global solution with small initial data for the critical nonlinearity with the power $1+\frac{2r}{n}$, while it is known that the critical power $1+\frac{2}{n}$ belongs to the blowup region when $r=1$. We also discuss the asymptotic behavior of the global solution in supercritical cases. Moreover, we present blowup results in subcritical cases. We give estimates of lifespan and blowup rates by an ODE argument.  [28] arXiv:1710.06544 [pdf, ps, other]

Title: New inertial regularized algorithm for solving strongly pseudomonotone equilibrium problemsAuthors: Dang Van HieuComments: 17 pages, 8 figuresSubjects: Optimization and Control (math.OC)
The article introduces a new algorithm for solving a class ofequilibrium problems involving strongly pseudomonotone bifunctions with Lipschitztype condition. We describe how to incorporate the proximallike regularized technique with inertial effects. The main novelty of the algorithm is that it can be done without previously knowing the information on the strongly pseudomonotone and Lipschitztype constants of cost bifunction. A reasonable explain for this is that the algorithm uses a sequence of stepsizes which is diminishing and nonsummable. Theorem of strong convergence is proved. In the case, when the information on the modulus of strong pseudomonotonicity and Lispchitztype constant is known,the rate of linear convergence of the algorithm has been established. Several of numerical experiments are performed to illustrate the convergence of the algorithm and also compare it with other algorithms.
 [29] arXiv:1710.06556 [pdf, ps, other]

Title: On the action of the Steenrod algebra on the modular invariants of special linear groupAuthors: Nguyen SumComments: 10 pagesJournalref: Acta Mathematica Vietnamica, Vol.18, No. 2 (1993), 203213Subjects: Algebraic Topology (math.AT)
We compute the action of the Steenrod algebra on generators of algebras of invariants of special linear group ${SL_n=SL(n,\mathbb Z/p)}$ in the polynomial algebra with $ p$ an odd prime number.
 [30] arXiv:1710.06560 [pdf, other]

Title: Increasing the smoothness of vector and Hermite subdivision schemesComments: 28 pages, 4 figuresSubjects: Numerical Analysis (math.NA)
In this paper we suggest a method for transforming a vector subdivision scheme generating $C^{\ell}$ limits to another such scheme of the same dimension, generating $C^{\ell+1}$ limits. In scalar subdivision, it is well known that a scheme generating $C^{\ell}$ limit curves can be transformed to a new scheme producing $C^{\ell+1}$ limit curves by multiplying the scheme's symbol with the smoothing factor $\tfrac{z+1}{2}$. We extend this approach to vector and Hermite subdivision schemes, by manipulating symbols. The algorithms presented in this paper allow to construct vector (Hermite) subdivision schemes of arbitrarily high regularity from a convergent vector scheme (from a Hermite scheme whose Taylor scheme is convergent with limit functions of vanishing first component).
 [31] arXiv:1710.06562 [pdf, other]

Title: Hydrodynamic limit and Propagation of Chaos for Brownian Particles reflecting from a Newtonian barrierAuthors: Clayton BarnesComments: 30 pages, 1 figureSubjects: Probability (math.PR)
In 2001, Knight constructed a stochastic process modeling the one dimensional interaction of two particles, one being Newtonian in the sense that it obeys Newton's laws of motion, and the other particle being Brownian. We construct a multiparticle analog, using Skorohod map estimates in proving a propagation of chaos and characterizing the hydrodynamic limit as the solution to a PDE with free boundary condition. Stochastic methods are used to show existence and uniqueness for the free boundary problem, and also present an algorithm of approximating the solution.
 [32] arXiv:1710.06566 [pdf]

Title: On Least Squares Linear Regression Without Second MomentAuthors: Rajeshwari MajumdarSubjects: Statistics Theory (math.ST)
If X and Y are real valued random variables such that the first moments of X, Y, and XY exist and the conditional expectation of Y given X is an affine function of X, then the intercept and slope of the conditional expectation equal the intercept and slope of the least squares linear regression function, even though Y may not have a finite second moment. As a consequence, the affine in X form of the conditional expectation and zero covariance imply mean independence.
 [33] arXiv:1710.06569 [pdf, ps, other]

Title: Liouville type theorems on the steady NavierStokes equations in R3Subjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph)
In this paper we study the Liouville type properties for solutions to the steady incompressible NavierStoks equations in $\mathbf{R}^{3}$. It is shown that any solution to the steady NavierStokes equations in $\mathbf{R}^{3}$ with finite Dirichlet integral and vanishing velocity field at far fields must be trivial. This solves an open problem. The key ingredients of the proof include a Hodge decomposition of the energyflux and the observation that the square of the deformation matrix lies in the local Hardy space. As a byproduct, we also obtain a Liouville type theorem for the steady densitydependent NavierStokes equations.
 [34] arXiv:1710.06571 [pdf, ps, other]

Title: Entropybounded solutions to the compressible NavierStokes equations: with far field vacuumSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph)
The entropy is one of the fundamental states of a fluid and, in the viscous case, the equation that it satisfies is highly singular in the region close to the vacuum. In spite of its importance in the gas dynamics, the mathematical analyses on the behavior of the entropy near the vacuum region, were rarely carried out; in particular, in the presence of vacuum, either at the far field or at some isolated interior points, it was unknown if the entropy remains its boundedness. The results obtained in this paper indicate that the ideal gases retain their uniform boundedness of the entropy, locally or globally in time, if the vacuum occurs at the far field only and the density decays slowly enough at the far field. Precisely, we consider the Cauchy problem to the onedimensional full compressible NavierStokes equations without heat conduction, and establish the local and global existence and uniqueness of entropybounded solutions, in the presence of vacuum at the far field only. It is also shown that, different from the case that with compactly supported initial density, the compressible NavierStokes equations, with slowly decaying initial density, can propagate the regularities in the inhomogeneous Sobolev spaces.
 [35] arXiv:1710.06573 [pdf, ps, other]

Title: Towards a unified theory for testing statistical hypothesis: Multinormal mean with nuisance covariance matrixAuthors: MingTien TsaiSubjects: Statistics Theory (math.ST)
Under a multinormal distribution with arbitrary unknown covariance matrix, the main purpose of this paper is to propose a framework to achieve the goal of reconciliation of Bayesian, frequentist and Fisherian paradigms for the problems of testing mean against restricted alternatives (closed convex cones). Combining Fisher's fiducial inference and Wald's decision theory via dadmissibility into an unified approach, the goal can then be achieved. To proceed, the tests constructed via the unionintersection principle are studied.
 [36] arXiv:1710.06583 [pdf, other]

Title: Distributed optimizationbased control of dynamically coupled networksComments: 13 pages, 4 figures, journalSubjects: Optimization and Control (math.OC)
This paper investigates distributed optimization of dynamically coupled networks. We propose distributed algorithms to address two complementary cases: linear systems with controllable subsystems and nonlinear systems in the strictfeedback form. The proposed controllers are verified by two case studies on an optimal power flow problem and a multizone building temperature regulation problem, respectively.
 [37] arXiv:1710.06585 [pdf, other]

Title: Suppressing chemotactic blowup through a fast splitting scenario on the planeSubjects: Analysis of PDEs (math.AP)
We revisit the question of global regularity for the PatlakKellerSegel (PKS) chemotaxis model. The classical 2D hyperbolicelliptic model blows up for initial mass M>8\pi. We consider more realistic scenario which takes into account the flow of the ambient environment induced by harmonic potentials, and thus retain the identical elliptic structure as in the original PKS. Surprisingly, we find that already the simplest case of linear stationary vector field, $Ax^\top$, with large enough amplitude $A$, prevents chemotactic blowup. Specifically, the presence of such an ambient fluid transport creates what we call a 'fast splitting scenario', which competes with the focusing effect of aggregation so that 'enough mass' is pushed away from concentration along the $x_1$axis, thus avoiding a finite time blowup, at least for M<16\pi. Thus, the enhanced ambient flow doubles the amount of allowable mass which evolve to global smooth solutions.
 [38] arXiv:1710.06587 [pdf, ps, other]

Title: Association and Load Optimization with User Priorities in LoadCoupled Heterogeneous NetworksComments: 14pages, 10 figuresSubjects: Information Theory (cs.IT)
In this paper, we consider the network utility maximization problem with various user priorities via jointly optimizing user association, load distribution and power control in a loadcoupled heterogeneous network. In order to tackle the nonconvexity of the problem, we first analyze the problem by obtaining the optimal resource allocation strategy in closed form and characterizing the optimal base station load distribution pattern. Both observations are shown essential in simplifying the original problem and making it possible to transform the nonconvex load distribution and power control problem into convex reformulation via exponential variable transformation. An iterative algorithm with low complexity is accordingly presented to obtain a suboptimal solution to the joint optimization problem. Simulation results show that the proposed algorithm achieves better performance than conventional approaches.
 [39] arXiv:1710.06592 [pdf, ps, other]

Title: Eigenvalue fluctuations for lattice Anderson Hamiltonians: Unbounded potentialsComments: 25 pagesSubjects: Probability (math.PR); Mathematical Physics (mathph); Statistics Theory (math.ST)
We consider random Schr\"odinger operators with Dirichlet boundary conditions outside lattice approximations of a smooth Euclidean domain and study the behavior of its lowestlying eigenvalues in the limit when the lattice spacing tends to zero. Under a suitable moment assumption on the random potential and regularity of the spatial dependence of its mean, we prove that the eigenvalues of the random operator converge to those of a deterministic Schr\"odinger operator. Assuming also regularity of the variance, the fluctuation of the random eigenvalues around their mean are shown to obey a multivariate central limit theorem. This extends the authors' recent work where similar conclusions have been obtained for bounded random potentials.
 [40] arXiv:1710.06594 [pdf, ps, other]

Title: On the motivic Peterson conjectureAuthors: Masaki KamekoComments: 12 pagesSubjects: Algebraic Topology (math.AT); Algebraic Geometry (math.AG)
We show that the analogue of the Peterson conjecture on the action of Steenrod squares does not hold in motivic cohomology.
 [41] arXiv:1710.06596 [pdf, other]

Title: The LifeV library: engineering mathematics beyond the proof of conceptComments: Review of the LifeV Finite Element librarySubjects: Numerical Analysis (math.NA)
LifeV is a library for the finite element (FE) solution of partial differential equations in one, two, and three dimensions. It is written in C++ and designed to run on diverse parallel architectures, including cloud and high performance computing facilities. In spite of its academic research nature, meaning a library for the development and testing of new methods, one distinguishing feature of LifeV is its use on real world problems and it is intended to provide a tool for many engineering applications. It has been actually used in computational hemodynamics, including cardiac mechanics and fluidstructure interaction problems, in porous media, ice sheets dynamics for both forward and inverse problems. In this paper we give a short overview of the features of LifeV and its coding paradigms on simple problems. The main focus is on the parallel environment which is mainly driven by domain decomposition methods and based on external libraries such as MPI, the Trilinos project, HDF5 and ParMetis.
Dedicated to the memory of Fausto Saleri.  [42] arXiv:1710.06598 [pdf, other]

Title: A New Hierarchy of Secondorder Cone Programming Relaxations for Polynomial Optimization: Asymptotic and Finite ConvergenceComments: 13 pagesSubjects: Optimization and Control (math.OC)
In this short communication paper, we propose, for the first time, a convergent bounded degree hierarchy of secondorder cone programming (SOCP) relaxations for solving nonconvex polynomial optimization problems. A key feature of the proposed SOCP hierarchy is that the size and the number of the secondorder cone constraints of the relaxations are independent of the step of the relaxation in the hierarchy. Using the KrivineStengle's certificate of positivity in real algebraic geometry, we establish the asymptotic convergence of the hierarchy under a simple condition which, for instance, is automatically satisfied for box constraints. Finally, by establishing new structured sumsofsquares representation results for nonnegative polynomials, we show that finite convergence is achieved at the first step of the hierarchy for two classes of polynomial optimization problems: polynomial optimization problems satisfying a new numerically tractable convexity condition, called SOCPconvexity, and polynomials problems with essentially nonpositive coefficients. Numerical examples are also provided to illustrate the significance of the results.
 [43] arXiv:1710.06612 [pdf, ps, other]

Title: Mirror Descent and Convex Optimization Problems With NonSmooth Inequality ConstraintsAuthors: Anastasia Bayandina, Pavel Dvurechensky, Alexander Gasnikov, Fedor Stonyakin, Alexander TitovSubjects: Optimization and Control (math.OC)
We consider the problem of minimization of a convex function on a simple set with convex nonsmooth inequality constraint and describe firstorder methods to solve such problems in different situations: smooth or nonsmooth objective function; convex or strongly convex objective and constraint; deterministic or randomized information about the objective and constraint. We hope that it is convenient for a reader to have all the methods for different settings in one place. Described methods are based on Mirror Descent algorithm and switching subgradient scheme. One of our focus is to propose, for the listed different settings, a Mirror Descent with adaptive stepsizes and adaptive stopping rule. This means that neither stepsize nor stopping rule require to know the Lipschitz constant of the objective or constraint. We also construct Mirror Descent for problems with objective function, which is not Lipschitz continuous, e.g. is a quadratic function. Besides that, we address the problem of recovering the solution of the dual problem.
 [44] arXiv:1710.06616 [pdf, other]

Title: Boundary behavior of solutions to the parabolic pLaplace equation IIAuthors: Benny AvelinSubjects: Analysis of PDEs (math.AP)
This paper is the second installment in a series of papers concerning the boundary behavior of solutions to the $p$parabolic equations.
In this paper we are interested in the short time behavior of the solutions, which is in contrast with much of the literature, where all results require a waiting time. We prove a dichotomy about the decayrate of nonnegative solutions vanishing on the lateral boundary in a cylindrical $C^{1,1}$ domain. Furthermore we connect this dichotomy to the support of the boundary type Riesz measure related to the $p$parabolic equation in NTAdomains, which has consequences for the continuation of solutions.  [45] arXiv:1710.06623 [pdf, other]

Title: A Nonconvex Proximal Splitting Algorithm under MoreauYosida RegularizationSubjects: Optimization and Control (math.OC)
We tackle composite optimization problems whose objectives are (highly) nonconvex and nonsmooth. Classical nonconvex proximal splitting algorithms, such as nonconvex ADMM, suffer from a lack of convergence for such a problem class. In this work, we consider a MoreauYosida regularized variant of the original model and propose a novel multiblock primaldual algorithm on the resulting lifted problem. We provide a complete convergence analysis of our algorithm, and identify respective optimality qualifications under which stationarity of the regularized problem is retrieved at convergence. Numerically, we demonstrate the relevance of our model and the efficiency of our algorithm on robust regression as well as joint variable selection and transductive learning.
 [46] arXiv:1710.06626 [pdf, ps, other]

Title: Solvability of a steady boundaryvalue problem for the equations of onetemperature viscous compressible heatconducting bifluidsComments: 36 pagesSubjects: Analysis of PDEs (math.AP)
We consider a boundaryvalue problem describing the steady motion of a twocomponent mixture of viscous compressible heatconducting fluids in a bounded domain. We make no simplifying assumptions except for postulating the coincidence of phase temperatures (which is physically justified in certain situations), that is, we retain all summands in equations that are a natural generalization of the NavierStokesFourier model of the motion of a onecomponent medium. We prove the existence of weak generalized solutions of the problem.
 [47] arXiv:1710.06627 [pdf, ps, other]

Title: Monoidal categories of modules over quantum affine algebras of type A and BComments: 39pagesSubjects: Representation Theory (math.RT); Quantum Algebra (math.QA)
We construct an exact tensor functor from the category $\mathcal{A}$ of finitedimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finitedimensional integrable modules over the quantum affine algebra of type $B^{(1)}_n$. It factors through the category $\mathcal T_{2n}$, which is a localization of $\mathcal{A}$. As a result, this functor induces a ring isomorphism from the Grothendieck ring of $\mathcal T_{2n}$ (ignoring the gradings) to the Grothendieck ring of a subcategory $\mathscr C^{0}_{B^{(1)}_n}$ of $\mathscr C_{B^{(1)}_n}$. Moreover, it induces a bijection between the classes of simple objects. Because the category $\mathcal T_{2n}$ is related to categories $\mathscr C^{0}_{A^{(t)}_{2n1}}$ $(t=1,2)$ of the quantum affine algebras of type $A^{(t)}_{2n1}$, we obtain an interesting connection between those categories of modules over quantum affine algebras of type $A$ and type $B$. Namely, for each $t =1,2$, there exists an isomorphism between the Grothendieck ring of $\mathscr C^{0}_{A^{(t)}_{2n1}}$ and the Grothendieck ring of $\mathscr C^{0}_{B^{(1)}_n}$, which induces a bijection between the classes of simple modules.
 [48] arXiv:1710.06635 [pdf, other]

Title: A SinkhornNewton method for entropic optimal transportSubjects: Optimization and Control (math.OC); Numerical Analysis (math.NA); Machine Learning (stat.ML)
We consider the entropic regularization of discretized optimal transport and propose to solve its optimality conditions via a logarithmic Newton iteration. We show a quadratic convergence rate and validate numerically that the method compares favorably with the more commonly used SinkhornKnopp algorithm for small regularization strength. We further investigate numerically the robustness of the proposed method with respect to parameters such as the mesh size of the discretization.
 [49] arXiv:1710.06638 [pdf, ps, other]

Title: Empirical regression quantile process with possible application to risk analysisSubjects: Statistics Theory (math.ST)
The processes of the averaged regression quantiles and of their modifications provide useful tools in the regression models when the covariates are not fully under our control. As an application we mention the probabilistic risk assessment in the situation when the return depends on some exogenous variables. The processes enable to evaluate the expected $\alpha$shortfall ($0\leq\alpha\leq 1$) and other measures of the risk, recently generally accepted in the financial literature, but also help to measure the risk in environment analysis and elsewhere.
 [50] arXiv:1710.06644 [pdf, ps, other]

Title: A computerised classification of some almost minimal trianglefree Ramsey graphsAuthors: Oliver KrügerSubjects: Combinatorics (math.CO)
A graph $G$ is called a $(3,j;n)$minimal Ramsey graph if it has the least amount of edges, $e(3,j;n)$, given that $G$ is trianglefree, the independence number $\alpha(G) < j$ and that $G$ has $n$ vertices. Trianglefree graphs $G$ with $\alpha(G) < j$ and where $e(G)  e(3,j;n)$ is small are said to be almost minimal Ramsey graphs.
We look at a construction of some almost minimal Ramsey graphs, called $H_{13}$patterned graphs. We make computer calculations of the number of almost minimal Ramsey trianglefree graphs that are $H_{13}$patterned. The results of these calculations indicate that many of these graphs are in fact $H_{13}$patterned. In particular, all but one of the connected $(3,j;n)$minimal Ramsey graphs for $j \leq 9$ are indeed $H_{13}$patterned.  [51] arXiv:1710.06649 [pdf, other]

Title: Equilibrated stress tensor reconstruction and a posteriori error estimation for nonlinear elasticitySubjects: Numerical Analysis (math.NA)
We consider hyperelastic problems and their numerical solution using a conforming finite element discretization and iterative linearization algorithms. For these problems, we present equilibrated, weakly symmetric, $H(\rm{div)}$conforming stress tensor reconstructions, obtained from local problems on patches around vertices using the ArnoldFalkWinther finite element spaces. We distinguish two stress reconstructions, one for the discrete stress and one representing the linearization error. The reconstructions are independent of the mechanical behavior law. Based on these stress tensor reconstructions, we derive an a posteriori error estimate distinguishing the discretization, linearization, and quadrature error estimates, and propose an adaptive algorithm balancing these different error sources. We prove the efficiency of the estimate, and confirm it on a numerical test with analytical solution for the linear elasticity problem. We then apply the adaptive algorithm to a more applicationoriented test, considering the HenckyMises and an isotropic damage models.
 [52] arXiv:1710.06653 [pdf, ps, other]

Title: A note on mock automorphic forms and the BPS indexAuthors: Tian An WongComments: Preliminary version. Comments welcomeSubjects: Number Theory (math.NT); High Energy Physics  Theory (hepth); Representation Theory (math.RT)
We show that mock automorphic forms obtained from weak harmonic Maa{\ss} forms give rise to nontrivial $(\mathfrak g,K)$cohomology, providing evidence for replacing the `holomorphic' condition with `cohomological' when generalizing to general reductive groups. We note that such a candidate allows for growing Fourier coefficients, in contrast to automorphic forms under the MiatelloWallach conjecture. The second part of this note surveys the connection with BPS black hole counts as a physical motivation for introducing mock automorphic forms.
 [53] arXiv:1710.06662 [pdf, ps, other]

Title: Smooth Linearization of Nonautonomous Difference Equations with a Nonuniform DichotomySubjects: Dynamical Systems (math.DS)
In this paper we give a smooth linearization theorem for nonautonomous difference equations with a nonuniform strong exponential dichotomy. The linear part of such a nonautonomous difference equation is defined by a sequence of invertible linear operators on $\mathbb{R}^d$. Reducing the linear part to a bounded linear operator on a Banach space, we discuss the spectrum and its spectral gaps. Then we obtain a gap condition for $C^1$ linearization of such a nonautonomous difference equation. We finally extend the result to the infinite dimensional case. Our theorems improve known results even in the case of uniform strong exponential dichotomies.
 [54] arXiv:1710.06663 [pdf, ps, other]

Title: Jumps and motivic invariants of semiabelian JacobiansAuthors: Otto OverkampComments: 37 pagesSubjects: Number Theory (math.NT)
We investigate N\'eron models of Jacobians of singular curves over strictly Henselian discretely valued fields, and their behaviour under tame base change. For a semiabelian variety, this behaviour is governed by a finite sequence of (a priori) real numbers between 0 and 1, called "jumps". The jumps are conjectured to be rational, which is known in some cases. The purpose of this paper is to prove this conjecture in the case where the semiabelian variety is the Jacobian of a geometrically integral curve with a pushout singularity. Along the way, we prove the conjecture for algebraic tori which are induced along finite separable extensions, and generalize Raynaud's description of the identity component of the N\'eron model of the Jacobian of a smooth curve (in terms of the Picard functor of a proper, flat, and regular model) to our situation. The main technical result of this paper is that the exact sequence which decomposes the Jacobian of one of our singular curves into its toric and Abelian parts extends to an exact sequence of N\'eron models. Previously, only split semiabelian varieties were known to have this property.
 [55] arXiv:1710.06664 [pdf, ps, other]

Title: On cyclic descents for tableauxComments: 30 pagesSubjects: Combinatorics (math.CO)
The notion of descent set, for permutations as well as for standard Young tableaux (SYT), is classical. Cellini introduced a natural notion of {\em cyclic descent set} for permutations, and Rhoades introduced such a notion for SYT  but only for rectangular shapes. In this work we define {\em cyclic extensions} of descent sets in a general context, and prove existence and essential uniqueness for SYT of almost all shapes. The proof applies nonnegativity properties of Postnikov's toric Schur polynomials, providing a new interpretation of certain GromovWitten invariants.
 [56] arXiv:1710.06672 [pdf, other]

Title: Metastability of onedimensional, nonreversible diffusions with periodic boundary conditionsSubjects: Probability (math.PR); Statistical Mechanics (condmat.statmech)
We consider small perturbations of a dynamical system on the onedimensional torus. We derive sharp estimates for the prefactor of the stationary state, we examine the asymptotic behavior of the solutions of the HamiltonJacobi equation for the prefactor, we compute the capacities between disjoint sets, and we prove the metastable behavior of the process among the deepest wells following the martingale approach. We also present a bound for the probability that a Markov process hits a set before some fixed time in terms of the capacity of an enlarged process.
 [57] arXiv:1710.06674 [pdf, ps, other]

Title: On quasihereditary algebrasComments: 13 pagesSubjects: Representation Theory (math.RT)
In this paper we introduce an easily verifiable sufficient condition to determine whether an algebra is quasihereditary. In the case of monomial algebras, we give conditions that are both necessary and sufficient to show whether an algebra is quasihereditary.
 [58] arXiv:1710.06676 [pdf, other]

Title: A fivedecision testing procedure to infer on unidimensional parameterSubjects: Statistics Theory (math.ST)
A statistical test can be seen as a procedure to produce a decision based on observed data, where some decisions consist of rejecting a hypothesis (yielding a significant result) and some do not, and where one controls the probability to make a wrong rejection at some prespecified significance level. Whereas traditional hypothesis testing involves only two possible decisions (to reject or not a null hypothesis), Kaiser's directional twosided test as well as the more recently introduced Jones and Tukey's testing procedure involve three possible decisions to infer on unidimensional parameter. The latter procedure assumes that a point null hypothesis is impossible (e.g. that two treatments cannot have exactly the same effect), allowing a gain of statistical power. There are however situations where a point hypothesis is indeed plausible, for example when considering hypotheses derived from Einstein's theories. In this article, we introduce a fivedecision rule testing procedure, which combines the advantages of the testing procedures of Kaiser (no assumption on a point hypothesis being impossible) and of Jones and Tukey (higher power), allowing for a nonnegligible (typically 20%) reduction of the sample size needed to reach a given statistical power to get a significant result, compared to the traditional approach.
 [59] arXiv:1710.06679 [pdf, ps, other]

Title: Existence and uniqueness of solutions of Schrödinger type stationary equations with very singular potentials without prescribing boundary conditions and some applicationsSubjects: Analysis of PDEs (math.AP)
Motivated mainly by the localization over an open bounded set $\Omega$ of $\mathbb R^n$ of solutions of the Schr\"odinger equations, we consider the Schr\"odinger equation over $\Omega$ with a very singular potential $V(x) \ge C d (x, \partial \Omega)^{r}$ with $r\ge 2$ and a convective flow $\vec U$. We prove the existence and uniqueness of a very weak solution of the equation, when the right hand side datum $f(x)$ is in $L^1 (\Omega, d(\cdot, \partial \Omega))$, even if no boundary condition is a priori prescribed. We prove that, in fact, the solution necessarily satisfies (in a suitable way) the Dirichlet condition $u = 0$ on $\partial \Omega$. These results improve some of the results of the previous paper by the authors in collaboration with Roger Temam. In addition, we prove some new results dealing with the $m$accretivity in $L^1 (\Omega, d(\cdot, \partial \Omega)^ \alpha)$, where $\alpha \in [0,1]$, of the associated operator, the corresponding parabolic problem and the study of the complex evolution Schr\"odinger equation in $\mathbb R^n$.
 [60] arXiv:1710.06680 [pdf, ps, other]

Title: Neardomination in graphsSubjects: Combinatorics (math.CO)
A vertex u of a graph tdominates a vertex v if there are at most t vertices different from u,v that are adjacent to v and not to u; and a graph is tdominating if for every pair of distinct vertices, one of them tdominates the other. Our main result says that if a graph is tdominating, then it is close (in an appropriate sense) to being 0dominating. We also show that an analogous statement for digraphs is false; and discuss some connections with the ErdosHajnal conjecture.
 [61] arXiv:1710.06682 [pdf, other]

Title: Two loworder nonconforming finite element methods for the Stokes flow in 3DSubjects: Numerical Analysis (math.NA)
In this paper, we propose two low order nonconforming finite element methods (FEMs) for the threedimensional Stokes flow that generalize the nonconforming FEM of Kouhia and Stenberg (1995, Comput. Methods Appl. Mech. Engrg.). The finite element spaces proposed in this paper consist of two globally continuous components (one piecewise affine and one enriched component) and one component that is continuous in the midpoints of interior faces. We prove that the discrete Korn inequality and a discrete infsup condition hold uniformly in the meshsize and also for a nonempty Neumann boundary. Based on these two results, we show the wellposedness of the discrete problem. Two counterexamples prove that there is no direct generalization of the KouhiaStenberg FEM to three space dimensions: The finite element space with one nonconforming and two conforming piecewise affine components does not satisfy a discrete infsup condition with piecewise constant pressure approximations, while finite element functions with two nonconforming and one conforming component do not satisfy a discrete Korn inequality.
 [62] arXiv:1710.06683 [pdf, ps, other]

Title: Confidence interval for correlation estimator between latent processesAuthors: Akitoshi KimuraSubjects: Statistics Theory (math.ST)
Kimura and Yoshida treated a model in which the finite variation part of a twodimensional semimartingale is expressed by timeintegration of latent processes. They proposed a correlation estimator between the latent processes and proved its consistency and asymptotic mixed normality. In this paper, we discuss the confidence interval of the correlation estimator to detect the correlation. %between latent processes. We propose two types of estimators for asymptotic variance of the correlation estimator and prove their consistency in a high frequency setting. Our model includes doubly stochastic Poisson processes whose intensity processes are correlated It\^o processes. We compare our estimators based on the simulation of the doubly stochastic Poisson processes.
 [63] arXiv:1710.06692 [pdf, ps, other]

Title: Mukai's program (reconstructing a K3 surface from a curve) via wallcrossingAuthors: Soheyla FeyzbakhshComments: 34 pages, 15 figuresSubjects: Algebraic Geometry (math.AG)
Let $C$ be a curve of genus $g=11$ or $g \geq 13$ on a K3 surface whose Picard group is generated by the curve class $[C]$. We use wallcrossing with respect to Bridgeland stability conditions to generalise Mukai's program to this situation: we show how to reconstruct the K3 surface containing the curve $C$ as a FourierMukai transform of a BrillNoether locus of vector bundles on $C$.
 [64] arXiv:1710.06693 [pdf, other]

Title: FirstOrder Perturbation Analysis of the SECSI Framework for the Approximate CP Decomposition of 3D NoiseCorrupted LowRank TensorsSubjects: Information Theory (cs.IT)
The SemiAlgebraic framework for the approximate Canonical Polyadic (CP) decomposition via SImultaneaous matrix diagonalization (SECSI) is an efficient tool for the computation of the CP decomposition. The SECSI framework reformulates the CP decomposition into a set of joint eigenvalue decomposition (JEVD) problems. Solving all JEVDs, we obtain multiple estimates of the factor matrices and the best estimate is chosen in a subsequent step by using an exhaustive search or some heuristic strategy that reduces the computational complexity. Moreover, the SECSI framework retains the option of choosing the number of JEVDs to be solved, thus providing an adjustable complexityaccuracy tradeoff. In this work, we provide an analytical performance analysis of the SECSI framework for the computation of the approximate CP decomposition of a noise corrupted lowrank tensor, where we derive closedform expressions of the relative mean square error for each of the estimated factor matrices. These expressions are obtained using a firstorder perturbation analysis and are formulated in terms of the secondorder moments of the noise, such that apart from a zero mean, no assumptions on the noise statistics are required. Simulation results exhibit an excellent match between the obtained closedform expressions and the empirical results. Moreover, we propose a new Performance Analysis based Selection (PAS) scheme to choose the final factor matrix estimate. The results show that the proposed PAS scheme outperforms the existing heuristics, especially in the high SNR regime.
 [65] arXiv:1710.06694 [pdf, ps, other]

Title: On the Hurwitz action in affine Coxeter groupsAuthors: Patrick WegenerComments: 20 pagesSubjects: Group Theory (math.GR); Combinatorics (math.CO)
We show that for a parabolic quasiCoxeter element in an affine Coxeter group the Hurwitz action on its set of reduced factorizations into a product of reflections is transitive. We call an element of the Coxeter group parabolic quasiCoxeter element if it has a reduced factorization into a product of reflections that generate a parabolic subgroup.
 [66] arXiv:1710.06698 [pdf, ps, other]

Title: A doubly nonlinear CahnHilliard system with nonlinear viscosityComments: Key words and phrases: diffusion of species; CahnHilliard equations; viscosity; nonsmooth regularization; nonlinearities; initialboundary value problem; existence of solutions; continuous dependenceSubjects: Analysis of PDEs (math.AP)
In this paper we discuss a family of viscous CahnHilliard equations with a nonsmooth viscosity term. This system may be viewed as an approximation of a "forwardbackward" parabolic equation. The resulting problem is highly nonlinear, coupling in the same equation two nonlinearities with the diffusion term. In particular, we prove existence of solutions for the related initial and boundary value problem. Under suitable assumptions, we also state uniqueness and continuous dependence on data.
 [67] arXiv:1710.06701 [pdf, ps, other]

Title: Rigidity on an eigenvalue problem with mixed boundary conditionComments: 5 pagesSubjects: Differential Geometry (math.DG)
We prove an Obatatype rigidity result for the spherical cap and apply it for an eigenvalue problem with mixed boundary condition.
 [68] arXiv:1710.06702 [pdf, other]

Title: Tight Contact structures with no Giroux torsion on plumbed 3manifoldsAuthors: Jonathan SimoneComments: 21 pages, 10 figuresSubjects: Geometric Topology (math.GT)
In this article, we prove a generalization of a theorem of LiscaMatic to Stein cobordisms. Using this result along with standard techniques from convex surface theory and classifications of tight contact structures on certain 3manifolds due to Honda, we then classify the contact structures with no Giroux torsion (most of which are Stein fillable) on a certain class of plumbed 3manifolds that bound nonsimply connected 4manifolds. Moreover, we give descriptions of the Stein fillings.
 [69] arXiv:1710.06705 [pdf, other]

Title: Application de la récurrence topologique aux intégrales de matrices aléatoires et aux systèmes intégrablesAuthors: Olivier MarchalComments: Written in French. M\'emoire d'habilitation \`a diriger des recherches. 102 pages including many figuresSubjects: Mathematical Physics (mathph); High Energy Physics  Theory (hepth); Probability (math.PR)
The goal of this "Habilitation \`a diriger des recherches" is to present two different applications, namely computations of certain partition functions in probability and applications to integrable systems, of the topological recursion developed by B. Eynard and N. Orantin in 2007. Since its creation, the range of applications of the topological recursion has been growing and many results in different fields have been obtained. The first aspect that I will develop deals with the historical domain of the topological recursion: random matrix integrals. I will review the formalism of the topological recursion as well as how it can be used to obtain asymptotic $\frac{1}{N}$ series expansion of various matrix integrals. In particular, a key feature of the topological recursion is that it can recover from the leading order of the asymptotic all subleading orders with elementary computations. This method is particularly well known and fruitful in the case of hermitian matrix integrals, but I will also show that the general method can be used to cover integrals with hard edges, integrals over unitary matrices and much more. In the end, I will also briefly mention the generalization to $\beta$ensembles. In a second chapter, I will review the connection between the topological recursion and the study of integrable systems having a Lax pair representation. Most of the results presented there will be illustrated by the case of the famous six Painlev\'e equations. Though the formalism used in this chapter may look completely disconnected from the previous one, it is well known that the local statistics of eigenvalues in random matrix theory exhibit a universality phenomenon and that the encountered universal systems are precisely driven by some solutions of the Painlev\'{e} equations. As I will show, the connection can be made very explicit with the topological recursion formalism.
 [70] arXiv:1710.06708 [pdf, ps, other]

Title: The partialisometric crossed products by semigroups of endomorphisms are Morita equivalent to crossed products by groupsAuthors: Saeid ZahmatkeshSubjects: Operator Algebras (math.OA)
Let $\Gamma^{+}$ be the positive cone of a totally ordered abelian discrete group $\Gamma$, and $\alpha$ an action of $\Gamma^{+}$ by extendible endomorphisms of a $C^*$algebra $A$. We prove that the partialisometric crossed product $A\times_{\alpha}^{\textrm{piso}}\Gamma^{+}$ is a full corner of a group crossed product $\mathcal{B}\times_{\beta}\Gamma$, where $\mathcal{B}$ is a subalgebra of $\ell^{\infty}(\Gamma,A)$ generated by a collection of faithful copies of $A$, and the action $\beta$ on $\mathcal{B}$ is induced by shift on $\ell^{\infty}(\Gamma,A)$. We then use this realization to show that $A\times_{\alpha}^{\textrm{piso}}\Gamma^{+}$ has an essential ideal $J$, which is a full corner in an ideal $\mathcal{I}\times_{\beta}\Gamma$ of $\mathcal{B}\times_{\beta}\Gamma$.
 [71] arXiv:1710.06712 [pdf, other]

Title: Linear response for Dirac observables of Anosov diffeomorphismsAuthors: Matthieu PorteComments: 22 pages, 3 figuresSubjects: Dynamical Systems (math.DS)
We consider a $\mathcal{C}^3$ family $t\mapsto f_t$ of $\mathcal{C}^4$ Anosov diffeomorphisms on a compact Riemannian manifold $M$. Denoting by $\rho_t$ the SRB measure of $f_t$, we prove that the map $t\mapsto\int \theta d\rho_t$ is differentiable if $\theta$ is of the form $\theta(x)=h(x)\delta(g(x)a)$, with $\delta$ the Dirac distribution, $g:M\rightarrow \mathbb{R}$ a $\mathcal{C}^4$ function, $h:M\rightarrow\mathbb{R}$ a $\mathcal{C}^3$ function and $a$ a regular value of $g$. We also require a transversality condition, namely that the intersection of the support of $h$ with the level set $\{g(x)=a\} $ is foliated by 'admissible stable leaves'.
 [72] arXiv:1710.06719 [pdf, ps, other]

Title: On spectral radii of unraveled ballsAuthors: Zilin JiangComments: 8 pagesSubjects: Combinatorics (math.CO)
Given a graph $G$, the unraveled ball of radius $r$ around a vertex $v$ is the ball of radius $r$ around $v$ in the universal cover of $G$. We prove a lower bound on the maximum spectral radius of unraveled balls of a fixed radius, and we explore some of its applications to the problems in the neighborhood of the AlonBoppana bound. In particular, we show that if the average degree of $G$ after deleting any ball of radius $r$ is at least $d$ then its second largest eigenvalue is at least $2\sqrt{d1}\cos(\frac{\pi}{r+1})$.
 [73] arXiv:1710.06723 [pdf, ps, other]

Title: Backward SDEs and infinite horizon stochastic optimal controlComments: 30 pagesSubjects: Optimization and Control (math.OC)
We study an optimal control problem on infinite horizon for a controlled stochastic differential equation driven by Brownian motion, with a discounted reward functional. The equation may have memory or delay effects in the coefficients, both with respect to state and control, and the noise can be degenerate. We prove that the value, i.e. the supremum of the reward functional over all admissible controls, can be represented by the solution of an associated backward stochastic differential equation (BSDE) driven by the Brownian motion and an auxiliary independent Poisson process and having a sign constraint on jumps.
In the Markovian case when the coefficients depend only on the present values of the state and the control, we prove that the BSDE can be used to construct the solution, in the sense of viscosity theory, to the corresponding HamiltonJacobiBellman partial differential equation of elliptic type on the whole space, so that it provides us with a FeynmanKac representation in this fully nonlinear context.
The method of proof consists in showing that the value of the original problem is the same as the value of an auxiliary optimal control problem (called randomized), where the control process is replaced by a fixed pure jump process and maximization is taken over a class of absolutely continuous changes of measures which affect the stochastic intensity of the jump process but leave the law of the driving Brownian motion unchanged.  [74] arXiv:1710.06725 [pdf, ps, other]

Title: Coarse Cohomology with twisted CoefficientsAuthors: Elisa HartmannSubjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); Metric Geometry (math.MG)
This paper studies sheaf cohomology on coarse spaces.
 [75] arXiv:1710.06729 [pdf, ps, other]

Title: Brownian motion with general driftSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
We construct and study the weak solution to stochastic differential equation $dX(t)=b(X(t))dt+\sqrt{2}dW(t)$, $X_0=x$, for every $x \in \mathbb R^d$, $d \geq 3$, with $b$ in the class of weakly formbounded vector fields, containing, as proper subclasses, a subcritical class $[L^d+L^\infty]^d$, as well as critical classes such as weak $L^d$ class, Kato class, CampanatoMorrey class, ChangWilsonT. Wolff class.
 [76] arXiv:1710.06742 [pdf, other]

Title: Higher order multipoint flux mixed finite element methods on quadrilaterals and hexahedraSubjects: Numerical Analysis (math.NA)
We develop higher order multipoint flux mixed finite element (MFMFE) methods for solving elliptic problems on quadrilateral and hexahedral grids that reduce to cellbased pressure systems. The methods are based on a new family of mixed finite elements, which are enhanced RaviartThomas spaces with bubbles that are curls of specially chosen polynomials. The velocity degrees of freedom of the new spaces can be associated with the points of tensorproduct GaussLobatto quadrature rules, which allows for local velocity elimination and leads to a symmetric and positive definite cellbased system for the pressures. We prove optimal $k$th order convergence for the velocity and pressure in their natural norms, as well as $(k+1)$st order superconvergence for the pressure at the Gauss points. Moreover, local postprocessing gives a pressure that is superconvergent of order $(k+1)$ in the full $L^2$norm. Numerical results illustrating the validity of our theoretical results are included.
 [77] arXiv:1710.06743 [pdf, other]

Title: Existence of common zeros for commuting vector fields on $3$manifolds II. Solving global difficultiesComments: 41 pages, 13 figuresSubjects: Dynamical Systems (math.DS)
We address the following conjecture about the existence of common zeros for commuting vector fields in dimension three: let $X,Y$ be two $C^1$ commuting vector fields on a $3$manifold $M$, and $U$ be a relatively compact open set where $Y$ does not vanish, then $X$ has zero Poincar\'eHopf index in $U$. We prove that conjecture when $X$ and $Y$ are of class $C^3$ and every periodic orbit of $Y$ along which $X$ and $Y$ are colinear is partially hyperbolic. We also prove the conjecture, still in the $C^3$ setting, and assuming that the flow $Y$ leaves invariant a transverse plane field. These results shed new light on the $C^3$ case of the conjecture and indeed we discuss a global strategy to attack this problem.
 [78] arXiv:1710.06746 [pdf, ps, other]

Title: Jointly Optimal Spatial Channel Assignment and Power Allocation for MIMO SWIPT SystemsComments: 5 pages; 4 figures; accepted to IEEE journal 2017Subjects: Information Theory (cs.IT)
The joint design of spatial channel assignment and power allocation in Multiple Input Multiple Output (MIMO) systems capable of Simultaneous Wireless Information and Power Transfer (SWIPT) is studied. Assuming availability of channel state information at both communications ends, we maximize the harvested energy at the multiantenna receiver, while satisfying a minimum information rate requirement for the MIMO link. We first derive the globally optimal eigenchannel assignment and power allocation design, and then present a practically motivated tight closedform approximation for the optimal design parameters. Selected numerical results verify the validity of the optimal solution and provide useful insights on the proposed designs as well as the paretooptimal rateenergy tradeoff.
 [79] arXiv:1710.06750 [pdf, other]

Title: A Lagrange multiplier method for a StokesBiot fluidporoelastic structure interaction modelSubjects: Numerical Analysis (math.NA)
We study a finite element computational model for solving the coupled problem arising in the interaction between a free fluid and a fluid in a poroelastic medium. The free fluid is governed by the Stokes equations, while the flow in the poroelastic medium is modeled using the Biot poroelasticity system. Equilibrium and kinematic conditions are imposed on the interface. A mixed Darcy formulation is employed, resulting in continuity of flux condition of essential type. A Lagrange multiplier method is employed to impose weakly this condition. A stability and error analysis is performed for the semidiscrete continuousintime and the fully discrete formulations. A series of numerical experiments is presented to confirm the theoretical convergence rates and to study the applicability of the method to modeling physical phenomena and the sensitivity of the model with respect to its parameters.
 [80] arXiv:1710.06751 [pdf, other]

Title: A new approach for the construction of a Wasserstein diffusionAuthors: Victor Marx (JAD)Subjects: Probability (math.PR)
We propose in this paper a construction of a diffusion process on the space $\mathcal {P}_2(\mathbb{R})$ of probability measures with a secondorder moment. This process was introduced in several papers by Konarovskyi (see e.g. "A system of coalescing heavy diffusion particles on the real line", 2017) and consists of the limit when $N$ tends to $+\infty$ of a system of $N$ coalescing and masscarrying particles. It has properties analogous to those of a standard Euclidean Brownian motion, in a sense that we will precise in this paper. We also compare it to the Wasserstein diffusion on $\mathcal {P}_2(\mathbb{R})$ constructed by von Renesse and Sturm (see Entropic measure and Wasserstein diffusion). We obtain that process by the construction of a system of particles having shortrange interactions and by letting the range of interactions tend to zero. This construction can be seen as an approximation of the singular process of Konarovskyi by a sequence of smoother processes.
 [81] arXiv:1710.06752 [pdf, other]

Title: Caching in Combination Networks: Novel Multicast Message Generation and Delivery by Leveraging the Network TopologyComments: 6 pages, 3 figures, submitted to ICC 2018Subjects: Information Theory (cs.IT)
MaddahAli and Niesen's original coded caching scheme for sharedlink broadcast networks is now known to be optimal to within a factor two, and has been applied to other types of networks. For practical reasons, this paper considers that a server communicates to cacheaided users through $H$ intermediate relays. In particular, it focuses on combination networks where each of the $K = \binom{H}{r}$ users is connected to a distinct $r$subsets of relays. By leveraging the symmetric topology of the network, this paper proposes a novel method to general multicast messages and to deliver them to the users. By numerical evaluations, the proposed scheme is shown to reduce the download time compared to the schemes available in the literature. The idea is then extended to decentralized combination networks, more general relay networks, and combination networks with cacheaided relays and users. Also in these cases the proposed scheme outperforms known ones.
 [82] arXiv:1710.06753 [pdf, ps, other]

Title: Universally Weakly Secure Coset Coding Schemes for Minimum Storage Regenerating (MSR) CodesComments: Presented at the 55th Annual Allerton Conference on Communication, Control, and Computing, Oct 2017Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR)
We consider the problem of designing codes for distributed storage that protect user data against eavesdroppers that can gain access to network links as well as individual nodes. Our goal is to achieve weak security (also known as block security) that requires that the eavesdroppers would not be able to decode individual files or combinations of a small number of files. The standard approach for achieving block security is to use a joint design scheme that consists of (inner) storage code and the (outer) coset code. However, jointly designing the codes requires that the user, who preprocesses and stores the files, should know the underlying storage code in order to design the (outer) linear transformation for achieving weak security. In many practical scenarios, such as storing the files on the third party cloud storage system, it may not be possible for the user to know the underlying storage code.
In this work, we present universal schemes that separate the outer code design from the storage code design for minimum storage regenerating codes (MSR). Our schemes allow the independent design of the storage code and the outer code. Our schemes use small field size and can be used in a broad range of practical settings.  [83] arXiv:1710.06754 [pdf, ps, other]

Title: An upper bound on the minimal dispersionSubjects: Classical Analysis and ODEs (math.CA); Numerical Analysis (math.NA)
For $\varepsilon\in(0,1/2)$ and a natural number $d\ge 2$, let $N$ be a natural number with \[ N \,\ge\, 2^9\,\log_2(d)\, \left(\frac{\log_2(1/\varepsilon)}{\varepsilon}\right)^2. \] We prove that there is a set of $N$ points in the unit cube $[0,1]^d$, which intersects all axisparallel boxes with volume $\varepsilon$. That is, the dispersion of this point set is bounded from above by $\varepsilon$.
 [84] arXiv:1710.06756 [pdf, ps, other]

Title: The geometry of noncommutative spacetimeAuthors: R. Vilela MendesComments: 12 pages LatexSubjects: Mathematical Physics (mathph)
Stabilization, by deformation, of the Poincar\'{e}Heisenberg algebra requires both the introduction of a fundamental lentgh and the noncommutativity of translations which is associated to the gravitational field. The noncommutative geometry structure that follows from the deformed algebra is studied both for the noncommutative tangent space and the full space with gravity. The contact points of this approach with the work of David Finkelstein are emphasized.
 [85] arXiv:1710.06757 [pdf, other]

Title: Perfect $k$colored matchings and $k\!+\!2$gonal tilingsComments: 12 pages, 8 figuresSubjects: Combinatorics (math.CO)
We derive a simple bijection between geometric plane perfect matchings on $2n$ points in convex position and triangulations on $n+2$ points in convex position. We then extend this bijection to monochromatic plane perfect matchings on periodically $k$colored vertices and $(k+2)$gonal tilings of convex point sets. These structures are related to a generalisation of TemperleyLieb algebras and our bijections provide explicit onetoone relations between matchings and tilings. Moreover, for a given element of one class, the corresponding element of the other class can be computed in linear time.
 [86] arXiv:1710.06759 [pdf, other]

Title: Koopman operatorbased model reduction for switchedsystem control of PDEsSubjects: Dynamical Systems (math.DS); Optimization and Control (math.OC)
We present a new framework for optimal control of PDEs using Koopman operatorbased reduced order models (KROMs). By introducing a finite number of constant controls, the dynamic control system is transformed into a set of autonomous systems and the corresponding optimal control problem into a switching time optimization problem. This way, a nonlinear infinitedimensional control problem is transformed into a lowdimensional linear problem. Using a recent convergence result for Extended Dynamic Mode Decomposition (EDMD), we prove convergence of the KROMbased solution towards the solution of the full system. To illustrate the results, we consider the 1D Burgers equation and the 2D NavierStokes equations. The numerical experiments show remarkable performance concerning both solution times as well as accuracy.
 [87] arXiv:1710.06760 [pdf, ps, other]

Title: Perturbations of globally hypoelliptic operators on closed manifoldsComments: 14 pagesSubjects: Analysis of PDEs (math.AP)
Inspired by results of A. Bergamasco on perturbations of vector fields defined on the twodimensional torus, and of J. Delgado and M. Ruzhansky on properties of invariant operators with respect to an elliptic operator defined on a closed manifold, we give necessary and sufficient conditions to ensure that perturbations of a globally hypoelliptic operator defined on $\mathbb{T}\times M$, continue to be globally hypoelliptic, where $\mathbb{T}$ is the flat torus and $M$ is a closed smooth manifold. For this, we analyze the behavior, at infinity, of the sequences of eigenvalues generated by the family of matrices given by the restrictions of this on the eigenspaces of a fixed elliptic operator. As an application, we construct perturbations, invariant with respect to the Laplacian, of the vector field $D_t + \omega D_x$ on $\mathbb{T}^2$. In the case where these perturbations commute with the operator $D_x$, our examples recover and extend some results of Bergamasco. Additionally, we construct examples of low order perturbations that destroy the global hypoellipticity, in the presence of diophantine phenomena.
 [88] arXiv:1710.06762 [pdf, ps, other]

Title: Constant sign and nodal solutions for nonhomogeneous Robin boundary value problems with asymmetric reactionsComments: 22 pagesSubjects: Analysis of PDEs (math.AP)
We study a nonlinear, nonhomogeneous elliptic equation with an asymmetric reaction term depending on a positive parameter, coupled with Robin boundary conditions. Under appropriate hypotheses on both the leading differential operator and the reaction, we prove that, if the parameter is small enough, the problem admits at least four nontrivial solutions: two of such solutions are positive, one is negative, and one is signchanging. Our approach is variational, based on critical point theory, Morse theory, and truncation techniques.
 [89] arXiv:1710.06763 [pdf, ps, other]

Title: A complete characterization of optimal dictionaries for least squares representationComments: 36 pagesSubjects: Optimization and Control (math.OC); Learning (cs.LG); Machine Learning (stat.ML)
Dictionaries are collections of vectors used for representations of elements in Euclidean spaces. While recent research on optimal dictionaries is focussed on providing sparse (i.e., $\ell_0$optimal,) representations, here we consider the problem of finding optimal dictionaries such that representations of samples of a random vector are optimal in an $\ell_2$sense. For us, optimality of representation is equivalent to minimization of the average $\ell_2$norm of the coefficients used to represent the random vector, with the lengths of the dictionary vectors being specified a priori. With the help of recent results on rank$1$ decompositions of symmetric positive semidefinite matrices and the theory of majorization, we provide a complete characterization of $\ell_2$optimal dictionaries. Our results are accompanied by polynomial time algorithms that construct $\ell_2$optimal dictionaries from given data.
 [90] arXiv:1710.06775 [pdf, other]

Title: Crystalline Evolutions in Chessboardlike MicrostructuresComments: 17 pages, 10 figures. arXiv admin note: text overlap with arXiv:1707.03342Subjects: Analysis of PDEs (math.AP)
We describe the macroscopic behavior of evolutions by crystalline curvature of planar sets in a chessboardlike medium, modeled by a periodic forcing term. We show that the underlying microstructure may produce both pinning and confinement effects on the geometric motion.
 [91] arXiv:1710.06780 [pdf, ps, other]

Title: Upper bound for lifespan of solutions to certain semilinear parabolic, dispersive and hyperbolic equations via a unified test function methodSubjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)
This paper is concerned with the blowup phenomena for initialboundary value problem for certain semi linear parabolic, dispersive and hyperbolic equations in conelike domain. The result proposes a unified treatment of estimates for lifespan of solutions to the problem by test function method. The Fujita exponent p=1 + 2/N appears as a threshold of blowup phenomena for small data when $C_{{\Sigma}}=R^N$ , but the case of conelike domain with boundary the threshold changes and explicitly given via the first eigenvalue of corresponding LaplaceBeltrami operator with Dirichlet boundary condition as in LevineMeier in 1989.
 [92] arXiv:1710.06781 [pdf, ps, other]

Title: On the existence of harmonic ${\bf Z}_2$ spinorsSubjects: Differential Geometry (math.DG)
We prove the existence of singular harmonic ${\bf Z}_2$ spinors on $3$manifolds with $b_1 > 1$. The proof relies on a wallcrossing formula for solutions to the SeibergWitten equation with two spinors. The existence of singular harmonic ${\bf Z}_2$ spinors and the shape of our wallcrossing formula shed new light on recent observations made by Joyce regarding Donaldson and Segal's proposal for counting $G_2$instantons.
 [93] arXiv:1710.06783 [pdf, ps, other]

Title: Integervalued polynomials on rings of algebraic integers of number fields with prescribed sets of lengths of factorizationsSubjects: Commutative Algebra (math.AC)
For the ring $\mathcal{O}_K$ of integers in a number field $K$, we construct a polynomial $H\in \operatorname{Int}(\mathcal{O}_K) = \{f\in K[x] \mid f(\mathcal{O}_K) \subseteq \mathcal{O}_K\}$ which has a given number of factorizations of prescribed length greater than $1$. In addition, we show that there is no transfer homomorphism from the multiplicative monoid of $\operatorname{Int}(\mathcal{O}_K)$ to a block monoid. In the case where $\mathcal{O}_K = \mathbb{Z}$ is the ring of integers these results had been shown before. However, the known construction depends on properties of $\mathbb{Z}$ which do not hold in general rings of integers $\mathcal{O}_K$ in number fields. We show that it is possible to overcome the difficulties and modify the approach in order to be applicable to the more general case. In particular, we exploit that $\mathcal{O}_K$ is a Dedekind domain and hence nonzero ideals factor uniquely as product of prime ideals.
 [94] arXiv:1710.06788 [pdf, other]

Title: A Leray regularized ensembleproper orthogonal decomposition method for parameterized convectiondominated flowsComments: arXiv admin note: text overlap with arXiv:1709.06422Subjects: Numerical Analysis (math.NA)
Partial differential equations (PDE) are often dependent on input quantities which are inherently uncertain. To quantify this uncertainty these PDEs must be solved over a large ensemble of parameters. Even for a single realization this can a computationally intensive process. In the case of flows governed by the NavierStokes equation, a method has been devised for computing an ensemble of solutions. Recently a reduced order model derived from a proper orthogonal decomposition (POD) was incorporated into the ensemble algorithm. Although the ensemblePOD method was successful in the numerical simulation of laminar flows, it yields numerical inaccuracies for convectiondominated flows. In this work we put forth a regularized model, the Leray ensemblePOD model, for the numerical simulation of convectiondominated flows. The Leray ensemblePOD model employs spatial filtering to smooth (regularize) the convection term in the NavierStokes. For the new Leray ensemblePOD algorithm, we also propose a numerical discretization with better stability properties than those of the numerical scheme for the standard ensemblePOD method. For this new numerical discretization, we prove its stability and convergence. Furthermore, we show that the Leray ensemblePOD method is more accurate than the standard ensemblePOD method in the numerical simulation of a twodimensional flow between two offset circles.
 [95] arXiv:1710.06794 [pdf, ps, other]

Title: Real hypersurfaces with MiaoTam critical metrics of complex space formsAuthors: Xiaomin ChenComments: welcome to commentSubjects: Differential Geometry (math.DG)
Let $M$ be a real hypersurface of a complex space form with constant curvature $c$. In this paper, we study the hypersurface $M$ admitting MiaoTam critical metric, i.e. the induced metric $g$ on $M$ satisfies the equation:$(\Delta_g\lambda)g+\nabla^2_g\lambda\lambda Ric=g$, where $\lambda$ is a smooth function on $M$. At first, for the case where $M$ is Hopf, $c=0$ and $c\neq0$ are considered respectively. For the nonHopf case, we prove that the ruled real hypersurfaces of nonflat complex space forms do not admit MiaoTam critical metrics. Finally, it is proved that a compact hypersurface of a complex Euclidean space admitting MiaoTam critical metric with $\lambda>0$ or $\lambda<0$ is a sphere and a compact hypersurface of a nonflat complex space form does not exist such a critical metric.
 [96] arXiv:1710.06797 [pdf, ps, other]

Title: Counting compositions over finite abelian groupsSubjects: Combinatorics (math.CO)
We find the number of compositions over finite abelian groups under two types of restrictions: (i) each part belongs to a given subset and (ii) small runs of consecutive parts must have given properties. Waring's problem over finite fields can be converted to type~(i) compositions, whereas Carlitz and locally Mullen compositions can be formulated as type~(ii) compositions. We use the multisection formula to translate the problem from integers to group elements, the transfer matrix method to do exact counting, and finally the PerronFrobenius theorem to derive asymptotics. We also exhibit bijections involving certain restricted classes of compositions.
 [97] arXiv:1710.06800 [pdf, ps, other]

Title: A simple proof of the Chuang's inequalityAuthors: Bikash ChakrabortyComments: 3 pagesSubjects: Complex Variables (math.CV)
The purpose of the paper is to present an short proof of the Chuang's inequality.
 [98] arXiv:1710.06812 [pdf, ps, other]

Title: Selfsimilar measures: asymptotic bounds for the dimension and Fourier decay of smooth imagesComments: 15 pagesSubjects: Classical Analysis and ODEs (math.CA); Dynamical Systems (math.DS)
R. Kaufman and M. Tsujii proved that the Fourier transform of selfsimilar measures has a power decay outside of a sparse set of frequencies. We present a version of this result for homogeneous selfsimilar measures, with quantitative estimates, and derive several applications: (1) nonlinear smooth images of homogeneous selfsimilar measures have a power Fourier decay, (2) convolving with a homogeneous selfsimilar measure increases correlation dimension by a quantitative amount, (3) the dimension and Frostman exponent of (biased) Bernoulli convolutions tend to $1$ as the contraction ratio tends to $1$, at an explicit quantitative rate.
 [99] arXiv:1710.06821 [pdf, ps, other]

Title: Quadratic Polynomials Whose Large Iterates Are Reducible Modulo PrimesAuthors: Vefa GokselComments: 13 pagesSubjects: Number Theory (math.NT)
In this paper, we classify all monic, critically finite quadratic polynomials $f(x) \in \mathbb{Z}[x]$ all of whose iterates are irreducible over $\mathbb{Q}$, but large enough iterates are reducible modulo every prime. In particular, we obtain infinitely many new examples of the phenomenon studied in [Jones]. While doing this, we also find all integers $a$ such that all iterates of the quadratic polynomial $(x+a)^2a1$ are irreducible over $\mathbb{Q}$, which answers a stability question posed in [AyadMcdonald]. Finally, we make a conjecture that suggests a necessary and sufficient condition for the stability of any monic, critically finite quadratic polynomial over any field of characteristic $\neq 2$.
 [100] arXiv:1710.06825 [pdf, other]

Title: Nonlinear PhaseQuantized ConstantEnvelope Precoding for Massive MUMIMOOFDMSubjects: Information Theory (cs.IT)
We propose a novel algorithm for phasequantized constantenvelope precoding in the massive multiuser (MU) multipleinput multipleoutput (MIMO) downlink. Specifically, we extend the nonlinear squaredinfinity norm DouglasRachford splitting (SQUID) precoder to systems that use oversampling digitaltoanalog converters (DACs) at the base station (BS) and orthogonal frequencydivision multiplexing (OFDM) to communicate over frequencyselective channels. We demonstrate that SQUID is able to generate constantenvelope signals, which enables the use of powerefficient analog radiofrequency circuitry at the BS. By quantizing the phase of the resulting constantenvelope signal, we obtain a finitecardinality signal that can be synthesized by lowresolution (e.g., 1bit) DACs. We use errorrate simulations to demonstrate the superiority of SQUID over linear precoders for massive MUMIMOOFDM.
 [101] arXiv:1710.06828 [pdf, ps, other]

Title: Remarks on modified Ding functional for toric Fano manifoldsAuthors: Satoshi NakamuraComments: 9 pagesSubjects: Differential Geometry (math.DG)
We give a characterization of relative Ding stable toric Fano manifolds in terms of the behavior of the modified Ding functional. We call the corresponding behavior of the modified Ding functional the pseudoboundedness from below. We also discuss the pseudoboundedness of the Ding / Mabuchi functional of general Fano manifolds.
 [102] arXiv:1710.06830 [pdf, ps, other]

Title: A characterization of positive normal functionals on the full operator algebraSubjects: Functional Analysis (math.FA)
Using the recent theory of Kreinvon Neumann extensions for positive functionals we present several simple criteria to decide whether a given positive functional on the full operator algebra is normal. We also characterize those functionals defined on the left ideal of finite rank operators that have a normal extension.
 [103] arXiv:1710.06834 [pdf, ps, other]

Title: Lowlying zeros of quadratic Dirichlet $L$functions: A transition in the Ratios ConjectureComments: 15 pagesSubjects: Number Theory (math.NT)
We study the $1$level density of lowlying zeros of quadratic Dirichlet $L$functions by applying the $L$functions Ratios Conjecture. We observe a transition in the main term as was predicted by the KatzSarnak heuristic as well as in the lower order terms when the support of the Fourier transform of the corresponding test function reaches the point $1$. Our results are consistent with those obtained in previous work under GRH and are furthermore analogous to results of Rudnick in the function field case.
 [104] arXiv:1710.06835 [pdf, ps, other]

Title: Shannon Entropy Estimation in $\infty$Alphabets from Convergence ResultsAuthors: Jorge F. SilvaComments: Submitted for review to JMLR, April 2017Subjects: Information Theory (cs.IT); Learning (cs.LG)
The problem of Shannon entropy estimation in countable infinite alphabets is revisited from the adoption of convergence results of the entropy functional. Sufficient conditions for the convergence of the entropy are used, including scenarios with both finitely and infinitely supported distributions. From this angle, four plugin histogrambased estimators are studied showing strong consistency and rate of convergences results for the case of finite and unknown supported distributions and families of distributions with summable tail bounded conditions.
 [105] arXiv:1710.06841 [pdf, ps, other]

Title: On generalized Fourier Transforms for standard Lfunctions (with an appendix by WenWei Li)Authors: Freydoon ShahidiSubjects: Number Theory (math.NT)
Any generalization of the method of GodementJacquet on principal Lfunctions for GL(n) to other groups as perceived by BravermanKazhdan and Ngo requires a Fourier transform on a space of Schwartz functions. In the case of standard Lfunctions for classical groups, a theory of this nature was developed by PiatetskiShapiro and Rallis, called the doubling method. It was later that Braverman and Kazhdan, using an algebrogeometric approach, different from doubling method, introduced a space of Schwartz functions and a Fourier transform, which projected onto those from doubling method. In both methods a normalized intertwining operator played the role of the Fourier transform. The purpose of this paper is to show that the Fourier transform of BravermanKazhdan projects onto that of doubling method. In particular, we show that they preserve their corresponding basic functions. The normalizations involved are not the standard ones suggested by Langlands, but rather a singular version of local coefficients of LanglandsShahidi method. The basic function will require a shift by 1/2 as dictated by doubling construction, reflecting the global theory, and begs explanation when compared with the work of BouthierNgoSakellaridis. This matter is further discussed in an appendix by WenWei Li.
 [106] arXiv:1710.06846 [pdf, ps, other]

Title: Kolmogorov Complexity and Information ContentAuthors: Fouad B. ChedidComments: 12 pagesSubjects: Information Theory (cs.IT); Computational Complexity (cs.CC)
In this paper, we revisit a central concept in Kolmogorov complexity in which one would equate programsize complexity with information content. Despite the fact that Kolmogorov complexity has been widely accepted as an objective measure of the information content of a string, it has been the subject of many criticisms including the fundamental one directed by logicians and philosophers towards the statistical and semantical theories of information, which is about confusing an object and its name. In this paper, we clarify a number of subtle issues that are at the center of this debate.
 [107] arXiv:1710.06847 [pdf, ps, other]

Title: Dirac induction for rational Cherednik algebrasComments: 32 pagesSubjects: Representation Theory (math.RT)
We introduce the local and global indices of Dirac operators for the rational Cherednik algebra $\mathsf{H}_{t,c}(G,\mathfrak{h})$, where $G$ is a complex reflection group acting on a finitedimensional vector space $\mathfrak{h}$. We investigate precise relations between the (local) Dirac index of a simple module in the category $\mathcal{O}$ of $\mathsf{H}_{t,c}(G,\mathfrak{h})$, the graded $G$character of the module, the EulerPoincar\'e pairing, and the composition series polynomials for standard modules. In the global theory, we introduce integralreflection modules for $\mathsf{H}_{t,c}(G,\mathfrak{h})$ constructed from finitedimensional $G$modules. We define and compute the index of a Dirac operator on the integralreflection module and show that the index is, in a sense, independent of the parameter function $c$. The study of the kernel of these global Dirac operators leads naturally to a notion of dualised generalised DunklOpdam operators.
 [108] arXiv:1710.06850 [pdf, ps, other]

Title: Representation stability and arithmetic statistics of spaces of 0cyclesAuthors: Kevin CastoSubjects: Algebraic Topology (math.AT); Algebraic Geometry (math.AG); Geometric Topology (math.GT)
We continue the study of a general class of spaces of 0cycles on a manifold defined and begun by FarbWolfsonWood. Using work of Gadish on linear subspace arrangements, we obtain representation stability for the cohomology of the ordered version of these spaces. We establish subexponential bounds on the growth of unstable cohomology, and the GrothendieckLefschetz trace formula then allows us to translate these topological stability phenomena to stabilization of statistics for spaces of 0cycles over finite fields. In particular, we show that the average value of certain arithmetic quantities associated to rational maps over finite fields stabilizes as the degree goes to infinity.
Crosslists for Thu, 19 Oct 17
 [109] arXiv:1710.06091 (crosslist from nlin.SI) [pdf, ps, other]

Title: Special solutions of biRiccati delaydifferential equationsAuthors: Bjorn K. BerntsonSubjects: Exactly Solvable and Integrable Systems (nlin.SI); Classical Analysis and ODEs (math.CA); Dynamical Systems (math.DS)
Delaydifferential equations are functional differential equations that involve shifts and derivatives with respect to a single independent variable. Some integrability candidates in this class have been identified by various means. For three of these equations we consider their elliptic and solitontype solutions. Using Hirota's bilinear method, we find that two of our equations possess threesolitontype solutions.
 [110] arXiv:1710.06456 (crosslist from quantph) [pdf, other]

Title: Complexity and capacity bounds for quantum channelsSubjects: Quantum Physics (quantph); Information Theory (cs.IT); Combinatorics (math.CO); Operator Algebras (math.OA)
We generalise some wellknown graph parameters to operator systems by considering their underlying quantum channels. In particular, we introduce the quantum complexity as the dimension of the smallest codomain Hilbert space a quantum channel requires to realise a given operator system as its noncommutative confusability graph. We describe quantum complexity as a generalised minimum semidefinite rank and, in the case of a graph operator system, as a quantum intersection number. The quantum complexity and a closely related quantum version of orthogonal rank turn out to be upper bounds for the Shannon zeroerror capacity of a quantum channel, and we construct examples for which these bounds beat the best previously known general upper bound for the capacity of quantum channels, given by the quantum Lov\'asz theta number.
 [111] arXiv:1710.06471 (crosslist from cs.DC) [pdf, other]

Title: Coded Fourier TransformSubjects: Distributed, Parallel, and Cluster Computing (cs.DC); Information Theory (cs.IT); Learning (cs.LG)
We consider the problem of computing the Fourier transform of highdimensional vectors, distributedly over a cluster of machines consisting of a master node and multiple worker nodes, where the worker nodes can only store and process a fraction of the inputs. We show that by exploiting the algebraic structure of the Fourier transform operation and leveraging concepts from coding theory, one can efficiently deal with the straggler effects. In particular, we propose a computation strategy, named as coded FFT, which achieves the optimal recovery threshold, defined as the minimum number of workers that the master node needs to wait for in order to compute the output. This is the first code that achieves the optimum robustness in terms of tolerating stragglers or failures for computing Fourier transforms. Furthermore, the reconstruction process for coded FFT can be mapped to MDS decoding, which can be solved efficiently. Moreover, we extend coded FFT to settings including computing general $n$dimensional Fourier transforms, and provide the optimal computing strategy for those settings.
 [112] arXiv:1710.06526 (crosslist from qfin.EC) [pdf, other]

Title: Spectral Conditions for Existence and Uniqueness of Recursive UtilitiesSubjects: Economics (qfin.EC); Optimization and Control (math.OC)
We study existence, uniqueness and computability of solutions for a class of discrete time recursive utilities models. By combining two streams of the recent literature on recursive preferencesone that analyzes principal eigenvalues of valuation operators and another that exploits the theory of monotone concave operatorswe obtain conditions that are both necessary and sufficient for existence and uniqueness of solutions. We also show that the natural iterative algorithm is convergent if and only if a solution exists. Consumption processes are allowed to be nonstationary.
 [113] arXiv:1710.06559 (crosslist from cs.DM) [pdf, ps, other]

Title: A recognition algorithm for simpletriangle graphsAuthors: Asahi TakaokaComments: 9 pages, 1 figureSubjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
A simpletriangle graph is the intersection graph of triangles that are defined by a point on a horizontal line and an interval on another horizontal line. The time complexity of the recognition problem for simpletriangle graphs was a longstanding open problem, which was recently settled. This paper provides a new recognition algorithm for simpletriangle graphs to improve the time bound from $O(n^2 \overline{m})$ to $O(nm)$, where $n$, $m$, and $\overline{m}$ are the number of vertices, edges, and nonedges of the graph, respectively. The algorithm uses the vertex ordering characterization in our previous paper that a graph is a simpletriangle graph if and only if there is a linear ordering of the vertices containing both an alternating orientation of the graph and a transitive orientation of the complement of the graph.
 [114] arXiv:1710.06563 (crosslist from nlin.SI) [pdf, ps, other]

Title: Longtime asymptotics for initialboundary value problems of integrable FokasLenells equation on the halflineComments: 34 pages, 7 figuresSubjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (mathph); Analysis of PDEs (math.AP); Quantum Physics (quantph)
We study the Schwartz class of initialboundary value (IBV) problems for the integrable FokasLenells equation on the halfline via the DeiftZhou's nonlinear descent method analysis of the corresponding RiemannHilbert problem such that the asymptotics of the Schwartz class of IBV problems as t\to\infty is presented.
 [115] arXiv:1710.06568 (crosslist from nlin.SI) [pdf, other]

Title: A robust inverse scattering transform for the focusing nonlinear Schrödinger equationComments: 67 pages, 11 figuresSubjects: Exactly Solvable and Integrable Systems (nlin.SI); Analysis of PDEs (math.AP); Pattern Formation and Solitons (nlin.PS)
We propose a modification of the standard inverse scattering transform for the focusing nonlinear Schr\"odinger equation (also other equations by natural generalization) formulated with nonzero boundary conditions at infinity. The purpose is to deal with arbitraryorder poles and potentially severe spectral singularities in a simple and unified way. As an application, we use the modified transform to place the Peregrine solution and related higherorder "rogue wave" solutions in an inversescattering context for the first time. This allows one to directly study properties of these solutions such as their dynamical or structural stability, or their asymptotic behavior in the limit of high order. The modified transform method also allows rogue waves to be generated on top of other structures by elementary Darboux transformations, rather than the generalized Darboux transformations in the literature or other related limit processes.
 [116] arXiv:1710.06604 (crosslist from nlin.PS) [pdf, ps, other]

Title: A novel type of rogue waves with predictability in nonlinear physicsComments: 9 pages, 3 figuresSubjects: Pattern Formation and Solitons (nlin.PS); Mathematical Physics (mathph); Exactly Solvable and Integrable Systems (nlin.SI)
Rogue waves named by oceanographers are ubiquitous in nature and appear in a variety of different contexts such as water waves, liquid Helium, nonlinear optics, microwave cavities, etc. In this letter, we propose a novel type of exact (2+1)dimensional rogue waves which may be found in many physical fields described by integrable and nonintegrable models. This type of rogue waves are closely related to invisible lumps. Usually, a lump is an algebraically localized wave in space but visible at any time. Whence a lump induces a soliton, the lump will become invisible before or after a fixed time. If a bounded twin soliton is induced by a lump, the lump will become a rogue wave (or instanton) and can only be visible at an instant time. Because of the existence of the induced visible solitons, the rogue wave may be predictable in some senses. For instance, the height, the position and the arrival time of the rogue wave can be predictable. The idea is illustrated by the celebrate (2+1)dimensional KadomtsevPetviashvili equation in its extended form.
 [117] arXiv:1710.06690 (crosslist from quantph) [pdf, ps, other]

Title: Selftoself transitions in open quantum systems: the origin and solutionsAuthors: Yaoxiong Wang, Ling Yang, Ying Wang, Shouzhi Li, Dewen Cao, Qing Gao, Feng Shuang, Fang GaoSubjects: Quantum Physics (quantph); Optimization and Control (math.OC)
The information of quantum pathways can be extracted in the framework of the Hamiltonianencoding and Observabledecoding method. For closed quantum systems, only offdiagonal elements of the Hamiltonian in the Hilbert space is required to be encoded to obtain the desired transitions. For open quantum systems, environmentrelated terms will appear in the diagonal elements of the Hamiltonian in the Liouville space. Therefore, diagonal encodings have to be performed to differentiate different pathways, which will lead to selftoself transitions and inconsistency of pathway amplitudes with Dyson expansion. In this work, a welldesigned transformation is proposed to avoid the counterintuitive transitions and the inconsistency, with or without control fields. A threelevel open quantum system is employed for illustration, and numerical simulations show that the method are consistent with Dyson expansion.
 [118] arXiv:1710.06710 (crosslist from quantph) [pdf, other]

Title: Infinite Range Correlations in NonEquilibrium Quantum Systems and Their Possible Experimental RealizationsAuthors: Zohar NussinovComments: 14 pages, 1 figureSubjects: Quantum Physics (quantph); Statistical Mechanics (condmat.statmech); Mathematical Physics (mathph)
We consider systems that start from and/or end in thermodynamic equilibrium while experiencing a finite rate of change of their energy density or of other intensive quantities $q$ at intermediate times. We demonstrate that at these times, during which the global intensive quantities $q$ vary, the size of the associated covariance, the connected pair correlator $G_{ij} = \langle q_{i} q_{j} \rangle  \langle q_{i} \rangle \langle q_{j} \rangle$, between any two ({\it arbitrarily far separated}) sites $i$ and $j$ is, on average, finite. This nonvanishing character of the connected correlations for asymptotically distant sites also applies to theories with purely local interactions. In simple models, these correlations may be traced to the generic volume law entanglement of finite temperature states. Once the global mean of $q$ no longer changes, the average of $G_{ij}$ over all spatial separations $ij$ may tend to zero. However, when the equilibration times are significant (e.g., as in a glass that is not in true thermodynamic equilibrium yet in which the energy density (or temperature) reaches a final steady state value), these long range correlations may persist also long after $q$ ceases to change. We briefly discuss possible experimental implications of our findings and discuss their potential realization in glasses (where a prediction of a theory based on the effect that we describe here leads to a universal collapse of the viscosity data) and nonFermi liquids.
 [119] arXiv:1710.06766 (crosslist from stat.ML) [pdf, other]

Title: Phase Transitions in the Pooled Data ProblemComments: Accepted to NIPS 2017Subjects: Machine Learning (stat.ML); Information Theory (cs.IT); Learning (cs.LG)
In this paper, we study the pooled data problem of identifying the labels associated with a large collection of items, based on a sequence of pooled tests revealing the counts of each label within the pool. In the noiseless setting, we identify an exact asymptotic threshold on the required number of tests with optimal decoding, and prove a phase transition between complete success and complete failure. In addition, we present a novel noisy variation of the problem, and provide an informationtheoretic framework for characterizing the required number of tests for general random noise models. Our results reveal that noise can make the problem considerably more difficult, with strict increases in the scaling laws even at low noise levels. Finally, we demonstrate similar behavior in an approximate recovery setting, where a given number of errors is allowed in the decoded labels.
 [120] arXiv:1710.06770 (crosslist from cs.NE) [pdf]

Title: SQGDifferential Evolution for difficult optimization problems under a tight function evaluation budgetSubjects: Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC)
In the context of industrial engineering it is important to integrate efficient computational optimization methods in the product development process. Some of the most challenging simulation based engineering design optimization problems are characterized by: a large number of design variables, the absence of analytical gradient information, highly nonlinear objectives and a limited function evaluation budget. Although a huge variety of different optimization algorithms is available, the development and selection of efficient algorithms for problems with these industrial relevant characteristics, remains a challenge. In this communication a hybrid variant of Differential Evolution (DE) is introduced which combines aspects of Stochastic QuasiGradient (SQG) methods within the framework of DE, in order to improve optimization efficiency on problems with the previously mentioned characteristics. The performance of the resulting method is compared with other stateoftheart DE variants on 25 commonly used test functions, under tight function evaluation budget constraints of 1000 evaluations. The experimental results indicate that the proposed method performs particularly good on the "difficult" (high dimensional, multimodal, inseparable) test functions. The operations used in the proposed mutation scheme, are computationally inexpensive, and can be easily implemented in existing differential evolution or other optimization algorithms by a few lines of program code as an noninvasive optional setting. Besides the applicability of the presented algorithm by itself, the described concepts can serve as a useful and interesting addition to the algorithmic operators in the frameworks of heuristics and evolutionary optimization and computing.
 [121] arXiv:1710.06809 (crosslist from econ.EM) [pdf, other]

Title: Minimax Linear Estimation at a Boundary PointAuthors: Wayne Yuan GaoSubjects: Econometrics (econ.EM); Statistics Theory (math.ST)
This paper characterizes the minimax linear estimator of the value of an unknown function at a boundary point of its domain in a Gaussian white noise model under the restriction that the firstorder derivative of the unknown function is Lipschitz continuous (the secondorder H\"{o}lder class). The result is then applied to construct the minimax optimal estimator for the regression discontinuity design model, where the parameter of interest involves function values at boundary points.
 [122] arXiv:1710.06832 (crosslist from condmat.statmech) [pdf, ps, other]

Title: The Origins of Computational Mechanics: A Brief Intellectual History and Several ClarificationsAuthors: James P. CrutchfieldComments: 11 pages, 123 citations; this http URLSubjects: Statistical Mechanics (condmat.statmech); Information Theory (cs.IT); Learning (cs.LG); Chaotic Dynamics (nlin.CD)
The principle goal of computational mechanics is to define pattern and structure so that the organization of complex systems can be detected and quantified. Computational mechanics developed from efforts in the 1970s and early 1980s to identify strange attractors as the mechanism driving weak fluid turbulence via the method of reconstructing attractor geometry from measurement time series and in the mid1980s to estimate equations of motion directly from complex time series. In providing a mathematical and operational definition of structure it addressed weaknesses of these early approaches to discovering patterns in natural systems.
Since then, computational mechanics has led to a range of results from theoretical physics and nonlinear mathematics to diverse applicationsfrom closedform analysis of Markov and nonMarkov stochastic processes that are ergodic or nonergodic and their measures of information and intrinsic computation to complex materials and deterministic chaos and intelligence in Maxwellian demons to quantum compression of classical processes and the evolution of computation and language.
This brief review clarifies several misunderstandings and addresses concerns recently raised regarding early works in the field (1980s). We show that misguided evaluations of the contributions of computational mechanics are groundless and stem from a lack of familiarity with its basic goals and from a failure to consider its historical context. For all practical purposes, its modern methods and results largely supersede the early works. This not only renders recent criticism moot and shows the solid ground on which computational mechanics stands but, most importantly, shows the significant progress achieved over three decades and points to the many intriguing and outstanding challenges in understanding the computational nature of complex dynamic systems.
Replacements for Thu, 19 Oct 17
 [123] arXiv:0806.0178 (replaced) [pdf, ps, other]

Title: On the concentration of the chromatic number of random graphsAuthors: Alex ScottSubjects: Combinatorics (math.CO)
 [124] arXiv:1009.4653 (replaced) [pdf, ps, other]

Title: Meixner matrix ensemblesJournalref: Journal of Theoretical Probability: Volume 26, Issue 1 (2013), Page 107152Subjects: Probability (math.PR)
 [125] arXiv:1109.6777 (replaced) [pdf, ps, other]

Title: The spherical systems of the wonderful reductive subgroupsComments: v2: enumeration of the main list in Section 3 updated to agree with the published versionSubjects: Representation Theory (math.RT); Algebraic Geometry (math.AG)
 [126] arXiv:1204.5701 (replaced) [pdf, ps, other]

Title: Orbital linearization of smooth completely integrable vector fieldsAuthors: Nguyen Tien ZungComments: version 3, revised according to remarks of the referees, 11 pages, submitted to SIGMASubjects: Dynamical Systems (math.DS)
 [127] arXiv:1306.1559 (replaced) [pdf, ps, other]

Title: On the fundamental tone of immersions and submersionsComments: Revised version; to appear in Proceedings of the AMSSubjects: Differential Geometry (math.DG)
 [128] arXiv:1404.4000 (replaced) [pdf, ps, other]

Title: Geometric Schur duality of classical typeComments: Final version. To appear in Transformation GroupsSubjects: Representation Theory (math.RT); Algebraic Geometry (math.AG); Quantum Algebra (math.QA)
 [129] arXiv:1407.0062 (replaced) [pdf, ps, other]

Title: Classification of problematic subgroups of U(n)Comments: 50 pages. Minor expansion of the previous version, adding material on homotopy fixed points and pushout squaresSubjects: Algebraic Topology (math.AT)
 [130] arXiv:1408.3752 (replaced) [pdf, ps, other]

Title: Representations of étale groupoids on $L^p$spacesComments: 33 pages. v2: minor changes. v3: more minor changes. To appear in Advances in MathJournalref: Adv. Math. 318 (2017), 233278Subjects: Operator Algebras (math.OA)
 [131] arXiv:1501.04845 (replaced) [pdf, ps, other]

Title: Homogeneous quasitranslations in dimension 5Authors: Michiel de BondtComments: 34 pagesSubjects: Algebraic Geometry (math.AG)
 [132] arXiv:1503.04425 (replaced) [src]

Title: Propagation of moments and uniqueness of weak solutions to the VlasovPoissonFokkerPlanck systemComments: There is a gap in the proof, we have to improve the estimates. We thank the refree for pointing out this to us. Moreover the assumption of "reasonable rate" does not so make sense in physics. Hence, we decide to withdraw this paperSubjects: Analysis of PDEs (math.AP)
 [133] arXiv:1504.00419 (replaced) [pdf, ps, other]

Title: Liouville theorems for a general class of nonlocal operatorsComments: some typos were corrected. 15 pagesSubjects: Analysis of PDEs (math.AP)
 [134] arXiv:1506.05593 (replaced) [pdf, ps, other]

Title: Estimation of the Hurst and the stability indices of a $H$selfsimilar stable processSubjects: Statistics Theory (math.ST)
 [135] arXiv:1508.00425 (replaced) [pdf, ps, other]

Title: A proof of the integral identity conjecture, IIAuthors: Lê Quy ThuongComments: Changed the content in comparison with the first version. To appear in Comptes Rendus Math\'ematiqueSubjects: Algebraic Geometry (math.AG)
 [136] arXiv:1508.05438 (replaced) [pdf, ps, other]

Title: GL(2,R) Orbit Closures in Hyperelliptic Components of StrataAuthors: Paul ApisaComments: 50 pages. Updated according to referee suggestionsSubjects: Dynamical Systems (math.DS); Geometric Topology (math.GT)
 [137] arXiv:1511.04314 (replaced) [pdf, ps, other]

Title: Financial Models with Defaultable NumérairesComments: 18 pages. Forthcoming in Mathematical FinanceSubjects: Pricing of Securities (qfin.PR); Probability (math.PR)
 [138] arXiv:1511.07797 (replaced) [pdf, ps, other]

Title: Logarithmic $p$bases and arithmetical differential modulesComments: 42 pagesSubjects: Algebraic Geometry (math.AG)
 [139] arXiv:1512.07939 (replaced) [pdf, other]

Title: A 2CalabiYau realization of finitetype cluster algebras with universal coefficientsAuthors: Alfredo Nájera ChávezComments: 33 pages. arXiv admin note: text overlap with arXiv:1303.2318 by other authorsSubjects: Representation Theory (math.RT); Commutative Algebra (math.AC); Category Theory (math.CT); Rings and Algebras (math.RA)
 [140] arXiv:1601.07084 (replaced) [pdf, other]

Title: Quasi rightveering braids and nonloose linksComments: 23 pages, 11 figuresSubjects: Geometric Topology (math.GT)
 [141] arXiv:1601.07894 (replaced) [pdf, ps, other]

Title: GL(2,R)Invariant Measures in Marked Strata: Generic Marked Points, EarleKra for Strata, and IlluminationAuthors: Paul ApisaComments: 30 pagesSubjects: Dynamical Systems (math.DS); Geometric Topology (math.GT)
 [142] arXiv:1602.04684 (replaced) [pdf, other]

Title: Numerical method for solving electromagnetic wave scattering by one and many small perfectly conducting bodiesAuthors: Nhan TranSubjects: Numerical Analysis (math.NA)
 [143] arXiv:1604.04475 (replaced) [pdf, ps, other]

Title: 3Leibniz bialgebras (3Lie bialgebras)Comments: 28 pagesJournalref: Int. J. Geom. Methods. Mod. Phys. 14 (2017) 1750142 (27 pages)Subjects: Rings and Algebras (math.RA); Mathematical Physics (mathph)
 [144] arXiv:1604.06516 (replaced) [pdf, ps, other]

Title: The centralizer of Komuroexpansive flows and expansive R^dactionsComments: Final version, to appear at Mathematische ZeitschriftSubjects: Dynamical Systems (math.DS); Classical Analysis and ODEs (math.CA)
 [145] arXiv:1604.07035 (replaced) [pdf, ps, other]

Title: Tight bounds and conjectures for the isolation lemmaSubjects: Combinatorics (math.CO)
 [146] arXiv:1605.05776 (replaced) [pdf, other]

Title: The Quality of the Covariance Selection Through Detection Problem and AUC BoundsSubjects: Information Theory (cs.IT); Machine Learning (stat.ML)
 [147] arXiv:1605.06864 (replaced) [pdf, ps, other]

Title: On sensitivity to initial conditions and uniqueness of conjugacies for structurally stable diffeomorphismsComments: 17 pages, 5 figures, final version to appear on NonlinearitySubjects: Dynamical Systems (math.DS)
 [148] arXiv:1606.00384 (replaced) [pdf, other]

Title: Support theorem for the Light Ray transform on Minkowski spacesAuthors: Siamak RabieniaHaratbarSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph)
 [149] arXiv:1607.05091 (replaced) [pdf, ps, other]

Title: Estimator selection: a new method with applications to kernel density estimationAuthors: Claire Lacour (1), Pascal Massart (1), Vincent Rivoirard (2) ((1) SELECT, LMOrsay, (2) CEREMADE)Journalref: Sankhya A, Springer Verlag, 2017, 79 (2), pp.298  335Subjects: Statistics Theory (math.ST)
 [150] arXiv:1608.00715 (replaced) [pdf, ps, other]

Title: The colored symmetric and exterior algebrasAuthors: Rafael S. González D'LeónComments: 30 pages, 5 figures, full version of extended abstract published in proceedings FPSAC2016, related to arXiv:1309.5527 and arXiv:1408.5415, some of the results were announced in arXiv:1506.01628. To appear in Journal of AlgebraSubjects: Combinatorics (math.CO); Representation Theory (math.RT)
 [151] arXiv:1608.02220 (replaced) [pdf, ps, other]

Title: The abelianization of inverse limits of groupsComments: To appear in Israel Journal of MathematicsSubjects: Group Theory (math.GR); Algebraic Topology (math.AT); Category Theory (math.CT)
 [152] arXiv:1609.06663 (replaced) [pdf, ps, other]

Title: The LawrenceKrammer representation is a quantization of the symmetric square of the Burau representationAuthors: Alexandre KosyakComments: The following "Theorem 3.1. The polynomial K_Cl(X)(t, q) defined by (3.8) is the knot invariant." in the version 1 is wrong. Some additional corrections are madeSubjects: Representation Theory (math.RT); Group Theory (math.GR); Quantum Algebra (math.QA)
 [153] arXiv:1609.07802 (replaced) [pdf, ps, other]

Title: On Furstenberg's intersection conjecture, selfsimilar measures, and the $L^q$ norms of convolutionsAuthors: Pablo ShmerkinComments: 65 pages. v2: many small fixes, main results unchangedSubjects: Dynamical Systems (math.DS); Classical Analysis and ODEs (math.CA); Combinatorics (math.CO); Number Theory (math.NT)
 [154] arXiv:1610.01122 (replaced) [pdf, other]

Title: Positive factorizations of symmetric mapping classesComments: 19 pages, 4 figuresSubjects: Geometric Topology (math.GT)
 [155] arXiv:1610.01886 (replaced) [pdf, ps, other]

Title: Inverse mean curvature flow in complex hyperbolic spaceAuthors: Giuseppe PipoliComments: 31 pages. In version 2 there are corrections in Sections 5 and 6. Morover we add Corollary 6.5 and Remark 6.6Subjects: Differential Geometry (math.DG)
 [156] arXiv:1610.06521 (replaced) [pdf, ps, other]

Title: Induced Turán numbersComments: This version has minor changes from the referee and is to appear in Combinatorics, Probability, and Computing. An alternate proof of the main theorem using dependent random choice has been added as well as the fourth authorSubjects: Combinatorics (math.CO)
 [157] arXiv:1610.07681 (replaced) [pdf, other]

Title: Degenerations of the generic square matrix. Polar map and determinantal structureComments: 41 pages. In this new version we have fixed some typos and we made changes in the structure of the paper. We emphasize the inclusion of the subsection 3.3 and its main result, Theorem 3.16Subjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
 [158] arXiv:1611.01597 (replaced) [pdf, ps, other]

Title: An efficient differential quadrature method for fractional advectiondiffusion equationComments: 18 pages, 7 tables, 14 figuresSubjects: Numerical Analysis (math.NA)
 [159] arXiv:1611.01903 (replaced) [pdf, ps, other]

Title: Derived categories of graded gentle onecycle algebrasComments: 35pagesSubjects: Representation Theory (math.RT)
 [160] arXiv:1611.03570 (replaced) [pdf, other]

Title: Factoring onto $\mathbb{Z}^d$ subshifts with the finite extension propertyComments: 15 pages, 4 figuresSubjects: Dynamical Systems (math.DS)
 [161] arXiv:1611.06927 (replaced) [pdf, other]

Title: Characterization of Null Geodesics on Kerr SpacetimesSubjects: General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph)
 [162] arXiv:1612.02241 (replaced) [pdf, ps, other]

Title: Derived categories of curves as components of Fano manifoldsComments: 20 pages; v2: exposition improved, some references addedSubjects: Algebraic Geometry (math.AG)
 [163] arXiv:1612.04273 (replaced) [pdf, ps, other]

Title: Relating Zeta Functions of Discrete and Quantum GraphsComments: 12 pages; added reference after Corollary 1 (on page 4)Subjects: Mathematical Physics (mathph)
 [164] arXiv:1701.02238 (replaced) [pdf, ps, other]

Title: Polynomiality for the Poisson centre of truncated maximal parabolic subalgebrasAuthors: Florence FauquantMilletComments: 41 pagesSubjects: Representation Theory (math.RT); Rings and Algebras (math.RA)
 [165] arXiv:1701.06192 (replaced) [pdf, ps, other]

Title: Multiplicative Energy of Shifted Subgroups and Bounds On Exponential Sums with Trinomials in Finite FieldsSubjects: Number Theory (math.NT)
 [166] arXiv:1701.07800 (replaced) [pdf, ps, other]

Title: A multilinear reverse Hölder inequality with applications to multilinear weighted norm inequalitiesComments: Revised version, includes new characterization of multilinear A_p weights. To appear in the Georgian Math JournalSubjects: Classical Analysis and ODEs (math.CA)
 [167] arXiv:1701.09069 (replaced) [pdf, ps, other]

Title: Fujiki relations and fibrations of irreducible symplectic varietiesAuthors: Martin SchwaldComments: I improved Theorem 3 and added the new result Theorem 4 about fibrations of primitive symplectic varieties, which is my name for a notion from [GKP16]. This gives new evidence that primitive symplectic varieties are the best generalization of irreducible symplectic manifolds to a singular setting. 22 pagesSubjects: Algebraic Geometry (math.AG)
 [168] arXiv:1702.03789 (replaced) [pdf, other]

Title: Groups with no coarse embeddings into hyperbolic groupsComments: 13 pages, 1 figure, accepted for publication in NYJMSubjects: Group Theory (math.GR); Metric Geometry (math.MG)
 [169] arXiv:1703.05508 (replaced) [pdf, ps, other]

Title: Proof of AtiyahSinger Index Theorem by Canonical Quantum MechanicsSubjects: Mathematical Physics (mathph)
 [170] arXiv:1703.09322 (replaced) [pdf, other]

Title: The defect of BennequinEliashberg inequality and Bennequin surfacesComments: 31 pages, 13 figuresSubjects: Geometric Topology (math.GT)
 [171] arXiv:1704.00150 (replaced) [pdf, ps, other]

Title: GrossPitaevskii nonlinear dynamics for pseudospinor condensatesComments: Corrected typos, updated bibliographyJournalref: Journal of Nonlinear Mathematical Physics, 24(3), 426464 (2017)Subjects: Mathematical Physics (mathph)
 [172] arXiv:1704.02279 (replaced) [pdf, ps, other]

Title: Algebraic fiber spaces and curvature of higher direct imagesComments: A few results addedSubjects: Differential Geometry (math.DG)
 [173] arXiv:1704.05809 (replaced) [pdf, other]

Title: The free boundary Schur process and applicationsComments: v2: 75 pages, 21 figures, full version with all proofs (v1 was just an extended abstract for FPSAC 2017)Subjects: Probability (math.PR); Mathematical Physics (mathph); Combinatorics (math.CO)
 [174] arXiv:1704.06400 (replaced) [pdf, other]

Title: Counting kHop Paths in the Random Connection ModelComments: 21 pages, 4 figuresSubjects: Probability (math.PR)
 [175] arXiv:1704.07665 (replaced) [pdf, ps, other]

Title: On the spherical convexity of quadratic functionsSubjects: Optimization and Control (math.OC)
 [176] arXiv:1704.07719 (replaced) [pdf, other]

Title: Complete diagrammatics of the single ring theoremComments: 18 pages, 6 figures, version accepted for publicationSubjects: Mathematical Physics (mathph); Combinatorics (math.CO); Operator Algebras (math.OA); Chaotic Dynamics (nlin.CD)
 [177] arXiv:1705.02040 (replaced) [pdf, ps, other]

Title: Finite groups of arbitrary deficiencyAuthors: Giles GardamComments: 7 pages, 1 figure; v2 minor changes, to appear in the Bulletin of the London Mathematical SocietySubjects: Group Theory (math.GR)
 [178] arXiv:1705.02405 (replaced) [pdf, ps, other]

Title: The Exact Solution of the Schwarzian TheoryComments: 3 pagesSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [179] arXiv:1705.03521 (replaced) [pdf, ps, other]

Title: Superadditivity of quantum relative entropy for general statesComments: 14 pages. v3: Final version. The main theorem has been improved, adding a fourth step to its proof and also some remarks. v2: There was a flaw in the proof of the previous version. This has been corrected in this version. The constant appearing in the main Theorem has changed accordinglySubjects: Quantum Physics (quantph); Mathematical Physics (mathph); Probability (math.PR)
 [180] arXiv:1705.06297 (replaced) [pdf, ps, other]

Title: Higher Order Supersymmetric Truncated OscillatorsSubjects: Mathematical Physics (mathph)
 [181] arXiv:1705.07180 (replaced) [pdf, ps, other]

Title: The BiLipschitz Equisingularity of Essentially Isolated Determinantal SingularitiesSubjects: Classical Analysis and ODEs (math.CA); Algebraic Geometry (math.AG)
 [182] arXiv:1705.07230 (replaced) [pdf, other]

Title: On TimePeriodic Solutions to Parabolic Boundary Value Problems of AgmonDouglisNirenberg TypeSubjects: Analysis of PDEs (math.AP)
 [183] arXiv:1705.09217 (replaced) [pdf, ps, other]

Title: Leavitt path algebras: Graded directfiniteness and graded $Σ$injective simple modulesComments: 21 pagesSubjects: Rings and Algebras (math.RA)
 [184] arXiv:1705.09778 (replaced) [pdf, other]

Title: Generalized Concomitant MultiTask Lasso for sparse multimodal regressionSubjects: Machine Learning (stat.ML); Optimization and Control (math.OC); Applications (stat.AP)
 [185] arXiv:1705.10581 (replaced) [pdf, other]

Title: Illconditioning in the Virtual Element Method: stabilizations and basesAuthors: Lorenzo MascottoComments: 20 pages, 13 figuresSubjects: Numerical Analysis (math.NA)
 [186] arXiv:1706.03726 (replaced) [pdf, ps, other]

Title: Localglobal questions for divisibility in commutative algebraic groupsSubjects: Number Theory (math.NT)
 [187] arXiv:1706.05499 (replaced) [pdf, ps, other]

Title: Joint Mixability of Elliptical Distributions and Related FamiliesComments: 15pagesSubjects: Statistics Theory (math.ST)
 [188] arXiv:1706.09690 (replaced) [pdf, other]

Title: PowerBased DirectionofArrival Estimation Using a Single MultiMode AntennaSubjects: Information Theory (cs.IT)
 [189] arXiv:1706.10259 (replaced) [pdf, ps, other]

Title: Hilbert isometries and maximal deviation preserving maps on JBalgebrasComments: 21 pagesSubjects: Operator Algebras (math.OA); Functional Analysis (math.FA); Metric Geometry (math.MG)
 [190] arXiv:1707.02261 (replaced) [pdf, other]

Title: Extending the double ramification cycle by resolving the AbelJacobi mapAuthors: David HolmesComments: 29 pages, 1 figure. v2:Exposition heavily revised (and hopefully improved). Main results unchanged. There was a gap in the proof of lemma 3.14; it is replaced by the construction in lemma 6.1. v3: Extended to include the `ktwisted' case, where one allows powers of the relative dualising sheaf. Comments still very welcomeSubjects: Algebraic Geometry (math.AG)
 [191] arXiv:1707.03733 (replaced) [pdf, other]

Title: Solving primal plasticity increment problems in the time of a single predictorcorrector iterationAuthors: Oliver SanderComments: Fixed small errors; updated referencesSubjects: Numerical Analysis (math.NA)
 [192] arXiv:1707.04202 (replaced) [pdf, other]

Title: MultiAntenna Assisted Virtual FullDuplex Relaying with ReliabilityAware Iterative DecodingComments: 6 pages, 4 figures, conference paper has been submittedSubjects: Information Theory (cs.IT)
 [193] arXiv:1707.05016 (replaced) [pdf, other]

Title: Fully polynomial FPT algorithms for some classes of bounded cliquewidth graphsSubjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
 [194] arXiv:1707.05486 (replaced) [pdf, ps, other]

Title: Local analysis of cyclotomic difference setsAuthors: Binzhou XiaSubjects: Combinatorics (math.CO)
 [195] arXiv:1707.05609 (replaced) [pdf, other]

Title: Solving $\ell^p\!$norm regularization with tensor kernelsSubjects: Machine Learning (stat.ML); Optimization and Control (math.OC)
 [196] arXiv:1707.08010 (replaced) [pdf, other]

Title: Threeway symbolic treemaps and ultrametricsSubjects: Combinatorics (math.CO)
 [197] arXiv:1708.00287 (replaced) [pdf, ps, other]

Title: Existence of HartreeFock excited states for atoms and moleculesAuthors: Mathieu Lewin (CEREMADE)Comments: Final version to appear in Lett. Math. PhysSubjects: Mathematical Physics (mathph); Analysis of PDEs (math.AP)
 [198] arXiv:1708.01272 (replaced) [pdf, other]

Title: Characterization of Uniquely Representable GraphsAuthors: Péter G.N. SzabóComments: 14 pages, 5 figures; major changes: proved conjecture from previous version  characterizing graphs that bound their representations from below/above, reorganizing the proof of the main resultSubjects: Combinatorics (math.CO)
 [199] arXiv:1708.02140 (replaced) [pdf, other]

Title: Inference on a New Class of Sample Average Treatment EffectsSubjects: Statistics Theory (math.ST); Methodology (stat.ME)
 [200] arXiv:1708.02552 (replaced) [pdf, ps, other]

Title: SelfCorrecting VariableMetric Algorithms for Nonsmooth OptimizationSubjects: Optimization and Control (math.OC)
 [201] arXiv:1708.02698 (replaced) [src]

Title: Toric degenerations of projective varietiesComments: It turns out that there is an error in the argument for the curve case in Lemma 2.5 which makes the main result (Theorem 2.4) partially incorrect. We will post a modified version of the paper in which this is fixed. Meanwhile we withdraw the paperSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
 [202] arXiv:1708.02853 (replaced) [pdf, ps, other]

Title: Sheaf lines of YangMills Instanton SheavesComments: 28 pages, no figuree. v2: 29 pages, typos corrected and equations added v3: 29 pages, typos corrected and equations added v4: "SU(2) complex YM instanton" addedSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [203] arXiv:1708.06908 (replaced) [pdf, other]

Title: ProximalProximalGradient MethodSubjects: Optimization and Control (math.OC)
 [204] arXiv:1708.07729 (replaced) [pdf, ps, other]

Title: The Hurwitztype theorem for the regular Coulomb wave function via Hankel determinantsComments: 10 pagesSubjects: Classical Analysis and ODEs (math.CA)
 [205] arXiv:1708.09433 (replaced) [pdf, other]

Title: A Scalable and Statistically Robust Beam Alignment Technique for mmWave SystemsSubjects: Information Theory (cs.IT)
 [206] arXiv:1708.09513 (replaced) [pdf, ps, other]

Title: Disjoint InfinityBorel FunctionsAuthors: Dan HathawayComments: 16 pagesSubjects: Logic (math.LO)
 [207] arXiv:1709.00257 (replaced) [pdf, ps, other]

Title: Recovery analysis for weighted mixed $\ell_2/\ell_p$ minimization with $0<p\leq 1$Subjects: Information Theory (cs.IT)
 [208] arXiv:1709.01019 (replaced) [pdf, ps, other]

Title: Maximum Secrecy Throughput of MIMOME FSO Communications with Outage ConstraintsSubjects: Information Theory (cs.IT)
 [209] arXiv:1709.01778 (replaced) [pdf, ps, other]

Title: Index of Dirac operators and classification of topological insulatorsAuthors: Ümit ErtemComments: 17 pages, published versionJournalref: J. Phys. Commun. 1 (2017) 035001Subjects: Mathematical Physics (mathph); Strongly Correlated Electrons (condmat.strel)
 [210] arXiv:1709.02290 (replaced) [pdf, other]

Title: On $6j$symbols for symmetric representations of $U_q(\mathfrak{su}_N)$Comments: 9 pagesSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph); Quantum Algebra (math.QA)
 [211] arXiv:1709.05787 (replaced) [pdf, ps, other]

Title: Closedform solutions of LucasUzawa model with externalities via partial Hamiltonian approachSubjects: Optimization and Control (math.OC)
 [212] arXiv:1709.05880 (replaced) [pdf, ps, other]

Title: A sharp effectiveness result of Demailly's strong openness conjectureAuthors: Qi'an GuanComments: 16 pages,no figures. The sentence "One of the innovations in the present article is that, instead of the single minimal $L^{2}$ integral on the whole domain considered in previous articles, we consider the minimal $L^{2}$ integrals on all sublevel sets $\{\varphi<t\}$, e.g. the function $G(t)$." was addedSubjects: Complex Variables (math.CV); Algebraic Geometry (math.AG)
 [213] arXiv:1709.07245 (replaced) [pdf, ps, other]

Title: Poincaré's lemma on some nonEuclidean structuresAuthors: Alexandru KristályComments: 17 pages; to appear in Chinese Annals of Mathematics, Series B (Special issue in honor of P. G. Ciarlet)Subjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
 [214] arXiv:1709.07427 (replaced) [pdf, ps, other]

Title: On the $l^p$norm of the discrete Hilbert transformSubjects: Classical Analysis and ODEs (math.CA); Complex Variables (math.CV); Functional Analysis (math.FA); Probability (math.PR)
 [215] arXiv:1709.08674 (replaced) [pdf, ps, other]

Title: Numerical Polar calculus and cohomology of line bundlesSubjects: Algebraic Geometry (math.AG)
 [216] arXiv:1709.10441 (replaced) [pdf, other]

Title: A representer theorem for deep kernel learningSubjects: Learning (cs.LG); Numerical Analysis (math.NA)
 [217] arXiv:1710.00357 (replaced) [pdf, ps, other]

Title: A New Property of Random Regular Bipartite GraphsAuthors: Paul FederbushComments: 9 pages, improved result to include all k <10Subjects: Combinatorics (math.CO); Mathematical Physics (mathph)
 [218] arXiv:1710.00793 (replaced) [pdf, ps, other]

Title: Moments of unramified 2group extensions of quadratic fieldsAuthors: Jack KlysSubjects: Number Theory (math.NT)
 [219] arXiv:1710.02975 (replaced) [pdf, other]

Title: Spherical functions for small $K$typesComments: 42 pagesSubjects: Representation Theory (math.RT)
 [220] arXiv:1710.03053 (replaced) [pdf, other]

Title: Generalized symmetry relations for connection matrices in the phaseintegral methodAuthors: A.G. KutlinComments: 22 pages, 4 figuresSubjects: Mathematical Physics (mathph)
 [221] arXiv:1710.03485 (replaced) [pdf, ps, other]

Title: Commutants and Reflexivity of Multiplication tuples on Vectorvalued Reproducing Kernel Hilbert SpacesComments: 21 pages, typos corrected and paper revisedSubjects: Functional Analysis (math.FA)
 [222] arXiv:1710.03835 (replaced) [pdf, other]

Title: SLEtype growth processes corresponding to WessZuminoWitten theoriesAuthors: Shinji KoshidaSubjects: Mathematical Physics (mathph); Statistical Mechanics (condmat.statmech); Quantum Algebra (math.QA)
 [223] arXiv:1710.05087 (replaced) [pdf, ps, other]

Title: On Bifree Multiplicative ConvolutionAuthors: Mingchu GaoComments: Minor changes have been made, some references have been added. Any comments are warmly welcomeSubjects: Operator Algebras (math.OA)
 [224] arXiv:1710.05218 (replaced) [pdf, ps, other]

Title: Twoplayer incentive compatible mechanisms are affine maximizersComments: 20 pages, 3 figuresSubjects: Combinatorics (math.CO); Computer Science and Game Theory (cs.GT)
 [225] arXiv:1710.05498 (replaced) [pdf, ps, other]

Title: Nonnegative Ricci curvature, stability at infinity, and finite generation of fundamental groupsAuthors: Jiayin PanSubjects: Differential Geometry (math.DG)
 [226] arXiv:1710.05797 (replaced) [pdf]

Title: Multiresolution finite element method based on a triangular membrane elementAuthors: YiMing XiaComments: 14 pages,4figures. arXiv admin note: substantial text overlap with arXiv:1505.06822, arXiv:1404.1165, arXiv:1405.6775Subjects: Numerical Analysis (math.NA)
 [227] arXiv:1710.05959 (replaced) [pdf, other]

Title: Characterization of striped surfacesComments: 12 pages, 4 figures. Replaced a misprint: notation for singular leaves "Sign" is changed to "Sing"Subjects: Geometric Topology (math.GT); Differential Geometry (math.DG); Dynamical Systems (math.DS)
[ showing up to 2000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)