We gratefully acknowledge support from
the Simons Foundation
and member institutions

Mathematics

New submissions

[ total of 227 entries: 1-227 ]
[ 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)$ space
Authors: R.S. Saks
Comments: in Russian
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Spectral Theory (math.SP)

The author studies the structure of space $ \mathbf {L} _ {2} (G) $ of vector-valued functions that are square integrable in a bounded connected domain $ G $ of the three-dimensional 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 self-adjointness 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 vector-functions 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: Blackstock-Crighton equations with a periodic forcing term
Authors: Aday Celik, Mads Kyed
Subjects: Analysis of PDEs (math.AP)

The Blackstock-Crighton equations describe the motion of a viscous, heat-conducting, 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 Blackstock-Crighton equations with a time-periodic forcing term. For arbitrary time-periodic data (sufficiently restricted in size) it is shown that a time-periodic solution of the same period always exists. This implies that the dissipative effects are sufficient to avoid resonance within the Blackstock-Crighton models. The equations are considered in a three-dimensional bounded domain with both non-homogeneous Dirichlet and Neumann boundary values. Existence of a solution is obtained via a fixed-point 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 Category
Comments: 34 pages
Subjects: 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 super-group, in the super case). In the non-super 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 super-group structure on the finite group a super-version of the fibrewise tensor product. We show that the symmetric tensor product on the Drinfeld centre of the representation category of the resulting finite super-groups corresponds to this super-version 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 approach
Subjects: 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 iteration-complexity of $O(1/\varepsilon^2)$ for nonsmooth problems with no guarantees on the in-feasibility. By reformulating the problem through exact penalty functions, we derive first-order 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 saddle-point reformulation where the proximal operators required by the primal-dual 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 Fans
Authors: Kalle Karu
Comments: 38 pages
Subjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)

We prove the Relative Hard Lefschetz theorem and the Relative Hodge-Riemann bilinear relations for combinatorial intersection cohomology sheaves on fans.

[6]  arXiv:1710.06470 [pdf, other]
Title: On the number of unknot diagrams
Subjects: 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 well-posedness
Subjects: 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^{\alpha|u|^2}-1); \qquad (t,x) \in \mathbb{R}\times\mathbb{R}^2, $$ where $0< b <1$ and $\alpha=2\pi(2-b)$. We establish local and global well-posedness 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 group
Subjects: 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 Four-Dimensional Stokes-Space Direct Detection
Comments: Submitted on October 10, 2017, to the Optical Fiber Communications Conference and Exhibition, OFC 2018
Subjects: Information Theory (cs.IT)

We present a successive detection scheme for the fourth dimension in a four-dimensional Stokes-space direct detection receiver. At the expense of a small number of electrical-domain computations, the additional information rate can be substantial.

[10]  arXiv:1710.06484 [pdf, other]
Title: Fine asymptotics for models with Gamma type moments
Subjects: 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 so-called tenfold way, including the Bogoliubov-de Gennes and chiral ensembles from mesoscopic physics. We show that fixed-trace 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, Berry-Esseen 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 groups
Authors: Alexander Woo
Comments: 23 pages
Subjects: 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 properties
Comments: 13 pages, no figures
Subjects: Dynamical Systems (math.DS)

Let $X$ be a two-sided 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 counter-intuitive.
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 2-Calabi--Yau categories and Borel subalgebras of ${\mathfrak{sl}}_{\infty}$
Comments: 38 pages
Subjects: Rings and Algebras (math.RA); Representation Theory (math.RT)

We develop a general framework for $c$-vectors of 2-Calabi--Yau 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 (infinite-rank) generalization of the Nakanishi--Zelevinsky 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 Igusa--Todorov 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 model
Comments: 55 pages. 3 figures
Subjects: 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 transformations
Subjects: 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 Cauchy-Riemann 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 Low-Density Spreading NOMA with Fading
Subjects: Information Theory (cs.IT)

Spectral efficiency of low-density spreading non-orthogonal 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 low-density 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 Complexity
Comments: 15 pages, 6 figures
Subjects: 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 polynomial-solving 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$
Comments: 31 pages
Subjects: Algebraic Geometry (math.AG); High Energy Physics - Theory (hep-th); 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 units-Picard complex of a reductive group scheme
Comments: 53 pages. In memory of Jost van Hamel
Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)

Let S be a locally noetherian regular scheme. We compute the units-Picard complex of a reductive S-group scheme G in terms of the dual algebraic fundamental complex of G. To do so, we establish a units-Picard-Brauer exact sequence for a torsor under a smooth S-group scheme.

[20]  arXiv:1710.06517 [pdf, ps, other]
Title: Dihedral Sieving Phenomena
Authors: Sujit Rao, Joe Suk
Comments: 8 pages
Subjects: Combinatorics (math.CO); Representation Theory (math.RT)

Cyclic sieving is a well-known 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 domains
Comments: 16 pages
Subjects: 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 Models
Authors: Xin Liu
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)

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 self-similarly 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 4-manifolds
Comments: 17 pages, 7 figures
Subjects: 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 4-manifolds 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 4-manifolds.

[24]  arXiv:1710.06532 [pdf, other]
Title: Data-driven spectral analysis of the Koopman operator
Subjects: 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 measure-preserving 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 Christoffel-Darboux 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 large-scale systems since the computational complexity is dominated by inverting an $N\times N$ Hermitian positive-definite 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 state-space. 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 finite-dimensional 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 so-called 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 lid-driven two-dimensional cavity flow.

[25]  arXiv:1710.06534 [pdf, ps, other]
Title: Lower bounds for numbers of real self-dual spaces in problems of Schubert calculus
Authors: Kang Lu
Comments: LaTeX, 14 pages, 2 tables
Subjects: Quantum Algebra (math.QA); Mathematical Physics (math-ph); Algebraic Geometry (math.AG); Representation Theory (math.RT)

The self-dual 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 self-dual spaces in intersections of Schubert varieties related to osculating flags in the Grassmannian $\mathrm{Gr}(N,d)$. The higher Gaudin Hamiltonians are self-adjoint 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. 5-chromatic graphs
Subjects: 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), 1124--1126] that every connected graph $G$ on $n$ vertices with $\chi(G) = k \geq 4$ has at most $k!(k-1)^{n-k}$ $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 data
Comments: 39 pages
Subjects: 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 so-called Matsumura estimates. Moreover, as its application, we consider the nonlinear problem with initial data in $(H^s\cap H_r^{\beta}) \times (H^{s-1} \cap L^r)$ with $r \in (1,2]$, $s\ge 0$, and $\beta = (n-1)|\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 blow-up region when $r=1$. We also discuss the asymptotic behavior of the global solution in supercritical cases. Moreover, we present blow-up results in subcritical cases. We give estimates of lifespan and blow-up rates by an ODE argument.

[28]  arXiv:1710.06544 [pdf, ps, other]
Title: New inertial regularized algorithm for solving strongly pseudomonotone equilibrium problems
Authors: Dang Van Hieu
Comments: 17 pages, 8 figures
Subjects: Optimization and Control (math.OC)

The article introduces a new algorithm for solving a class ofequilibrium problems involving strongly pseudomonotone bifunctions with Lipschitz-type condition. We describe how to incorporate the proximal-like 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 Lipschitz-type constants of cost bifunction. A reasonable explain for this is that the algorithm uses a sequence of stepsizes which is diminishing and non-summable. Theorem of strong convergence is proved. In the case, when the information on the modulus of strong pseudomonotonicity and Lispchitz-type 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 group
Authors: Nguyen Sum
Comments: 10 pages
Journal-ref: Acta Mathematica Vietnamica, Vol.18, No. 2 (1993), 203-213
Subjects: 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 schemes
Comments: 28 pages, 4 figures
Subjects: 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 barrier
Authors: Clayton Barnes
Comments: 30 pages, 1 figure
Subjects: 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 multi-particle 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 Moment
Subjects: 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 Navier-Stokes equations in R3
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)

In this paper we study the Liouville type properties for solutions to the steady incompressible Navier-Stoks equations in $\mathbf{R}^{3}$. It is shown that any solution to the steady Navier-Stokes 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 energy-flux and the observation that the square of the deformation matrix lies in the local Hardy space. As a by-product, we also obtain a Liouville type theorem for the steady density-dependent Navier-Stokes equations.

[34]  arXiv:1710.06571 [pdf, ps, other]
Title: Entropy-bounded solutions to the compressible Navier-Stokes equations: with far field vacuum
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)

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 one-dimensional full compressible Navier-Stokes equations without heat conduction, and establish the local and global existence and uniqueness of entropy-bounded 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 Navier-Stokes 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 matrix
Authors: Ming-Tien Tsai
Subjects: 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 d-admissibility into an unified approach, the goal can then be achieved. To proceed, the tests constructed via the union-intersection principle are studied.

[36]  arXiv:1710.06583 [pdf, other]
Title: Distributed optimization-based control of dynamically coupled networks
Authors: Yang Lu, Minghui Zhu
Comments: 13 pages, 4 figures, journal
Subjects: 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 strict-feedback 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 blow-up through a fast splitting scenario on the plane
Subjects: Analysis of PDEs (math.AP)

We revisit the question of global regularity for the Patlak-Keller-Segel (PKS) chemotaxis model. The classical 2D hyperbolic-elliptic 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 blow-up. 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 blow-up, 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 Load-Coupled Heterogeneous Networks
Comments: 14pages, 10 figures
Subjects: 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 load-coupled 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 potentials
Comments: 25 pages
Subjects: Probability (math.PR); Mathematical Physics (math-ph); 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 lowest-lying 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 conjecture
Authors: Masaki Kameko
Comments: 12 pages
Subjects: 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 concept
Comments: Review of the LifeV Finite Element library
Subjects: 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 fluid-structure 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 Second-order Cone Programming Relaxations for Polynomial Optimization: Asymptotic and Finite Convergence
Authors: V. Jeyakumar, G. Li
Comments: 13 pages
Subjects: Optimization and Control (math.OC)

In this short communication paper, we propose, for the first time, a convergent bounded degree hierarchy of second-order 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 second-order cone constraints of the relaxations are independent of the step of the relaxation in the hierarchy. Using the Krivine-Stengle'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 sums-of-squares 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 SOCP-convexity, and polynomials problems with essentially non-positive 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 Non-Smooth Inequality Constraints
Subjects: Optimization and Control (math.OC)

We consider the problem of minimization of a convex function on a simple set with convex non-smooth inequality constraint and describe first-order methods to solve such problems in different situations: smooth or non-smooth 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 p-Laplace equation II
Authors: Benny Avelin
Subjects: 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 decay-rate of non-negative 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 NTA-domains, which has consequences for the continuation of solutions.

[45]  arXiv:1710.06623 [pdf, other]
Title: A Nonconvex Proximal Splitting Algorithm under Moreau-Yosida Regularization
Subjects: 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 Moreau-Yosida regularized variant of the original model and propose a novel multiblock primal-dual 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 boundary-value problem for the equations of one-temperature viscous compressible heat-conducting bifluids
Comments: 36 pages
Subjects: Analysis of PDEs (math.AP)

We consider a boundary-value problem describing the steady motion of a two-component mixture of viscous compressible heat-conducting 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 Navier-Stokes-Fourier model of the motion of a one-component 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 B
Comments: 39pages
Subjects: Representation Theory (math.RT); Quantum Algebra (math.QA)

We construct an exact tensor functor from the category $\mathcal{A}$ of finite-dimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finite-dimensional 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)}_{2n-1}}$ $(t=1,2)$ of the quantum affine algebras of type $A^{(t)}_{2n-1}$, 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)}_{2n-1}}$ 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 Sinkhorn-Newton method for entropic optimal transport
Subjects: 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 Sinkhorn--Knopp 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 analysis
Subjects: 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 triangle-free Ramsey graphs
Authors: Oliver Krüger
Subjects: 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 triangle-free, the independence number $\alpha(G) < j$ and that $G$ has $n$ vertices. Triangle-free 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 triangle-free 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 elasticity
Subjects: 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 Arnold--Falk--Winther 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 application-oriented test, considering the Hencky--Mises and an isotropic damage models.

[52]  arXiv:1710.06653 [pdf, ps, other]
Title: A note on mock automorphic forms and the BPS index
Authors: Tian An Wong
Comments: Preliminary version. Comments welcome
Subjects: Number Theory (math.NT); High Energy Physics - Theory (hep-th); 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 Miatello-Wallach 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 Dichotomy
Subjects: 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 Jacobians
Authors: Otto Overkamp
Comments: 37 pages
Subjects: 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 push-out 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 tableaux
Comments: 30 pages
Subjects: 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 Gromov-Witten invariants.

[56]  arXiv:1710.06672 [pdf, other]
Title: Metastability of one-dimensional, non-reversible diffusions with periodic boundary conditions
Authors: C. Landim, I. Seo
Subjects: Probability (math.PR); Statistical Mechanics (cond-mat.stat-mech)

We consider small perturbations of a dynamical system on the one-dimensional torus. We derive sharp estimates for the pre-factor of the stationary state, we examine the asymptotic behavior of the solutions of the Hamilton-Jacobi equation for the pre-factor, 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 quasi-hereditary algebras
Comments: 13 pages
Subjects: Representation Theory (math.RT)

In this paper we introduce an easily verifiable sufficient condition to determine whether an algebra is quasi-hereditary. In the case of monomial algebras, we give conditions that are both necessary and sufficient to show whether an algebra is quasi-hereditary.

[58]  arXiv:1710.06676 [pdf, other]
Title: A five-decision testing procedure to infer on unidimensional parameter
Subjects: 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 pre-specified significance level. Whereas traditional hypothesis testing involves only two possible decisions (to reject or not a null hypothesis), Kaiser's directional two-sided 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 five-decision 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 non-negligible (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 applications
Subjects: 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: Near-domination in graphs
Subjects: Combinatorics (math.CO)

A vertex u of a graph t-dominates 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 t-dominating if for every pair of distinct vertices, one of them t-dominates the other. Our main result says that if a graph is t-dominating, then it is close (in an appropriate sense) to being 0-dominating. We also show that an analogous statement for digraphs is false; and discuss some connections with the Erdos-Hajnal conjecture.

[61]  arXiv:1710.06682 [pdf, other]
Title: Two low-order nonconforming finite element methods for the Stokes flow in 3D
Subjects: Numerical Analysis (math.NA)

In this paper, we propose two low order nonconforming finite element methods (FEMs) for the three-dimensional Stokes flow that generalize the non-conforming 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 inf-sup condition hold uniformly in the meshsize and also for a non-empty Neumann boundary. Based on these two results, we show the well-posedness of the discrete problem. Two counterexamples prove that there is no direct generalization of the Kouhia-Stenberg FEM to three space dimensions: The finite element space with one non-conforming and two conforming piecewise affine components does not satisfy a discrete inf-sup condition with piecewise constant pressure approximations, while finite element functions with two non-conforming 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 processes
Authors: Akitoshi Kimura
Subjects: Statistics Theory (math.ST)

Kimura and Yoshida treated a model in which the finite variation part of a two-dimensional semimartingale is expressed by time-integration 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 wall-crossing
Comments: 34 pages, 15 figures
Subjects: 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 wall-crossing 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 Fourier-Mukai transform of a Brill-Noether locus of vector bundles on $C$.

[64]  arXiv:1710.06693 [pdf, other]
Title: First-Order Perturbation Analysis of the SECSI Framework for the Approximate CP Decomposition of 3-D Noise-Corrupted Low-Rank Tensors
Subjects: Information Theory (cs.IT)

The Semi-Algebraic 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 complexity-accuracy trade-off. 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 low-rank tensor, where we derive closed-form expressions of the relative mean square error for each of the estimated factor matrices. These expressions are obtained using a first-order perturbation analysis and are formulated in terms of the second-order 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 closed-form 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 groups
Authors: Patrick Wegener
Comments: 20 pages
Subjects: Group Theory (math.GR); Combinatorics (math.CO)

We show that for a parabolic quasi-Coxeter 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 quasi-Coxeter 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 Cahn-Hilliard system with nonlinear viscosity
Comments: Key words and phrases: diffusion of species; Cahn-Hilliard equations; viscosity; non-smooth regularization; nonlinearities; initial-boundary value problem; existence of solutions; continuous dependence
Subjects: Analysis of PDEs (math.AP)

In this paper we discuss a family of viscous Cahn-Hilliard equations with a non-smooth viscosity term. This system may be viewed as an approximation of a "forward-backward" 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 condition
Comments: 5 pages
Subjects: Differential Geometry (math.DG)

We prove an Obata-type 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 3-manifolds
Authors: Jonathan Simone
Comments: 21 pages, 10 figures
Subjects: Geometric Topology (math.GT)

In this article, we prove a generalization of a theorem of Lisca-Matic to Stein cobordisms. Using this result along with standard techniques from convex surface theory and classifications of tight contact structures on certain 3-manifolds 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 3-manifolds that bound non-simply connected 4-manifolds. 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égrables
Authors: Olivier Marchal
Comments: Written in French. M\'emoire d'habilitation \`a diriger des recherches. 102 pages including many figures
Subjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th); 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 sub-leading 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 partial-isometric crossed products by semigroups of endomorphisms are Morita equivalent to crossed products by groups
Authors: Saeid Zahmatkesh
Subjects: 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 partial-isometric 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 diffeomorphisms
Authors: Matthieu Porte
Comments: 22 pages, 3 figures
Subjects: 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 balls
Authors: Zilin Jiang
Comments: 8 pages
Subjects: 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 Alon--Boppana 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{d-1}\cos(\frac{\pi}{r+1})$.

[73]  arXiv:1710.06723 [pdf, ps, other]
Title: Backward SDEs and infinite horizon stochastic optimal control
Comments: 30 pages
Subjects: 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 Hamilton-Jacobi-Bellman partial differential equation of elliptic type on the whole space, so that it provides us with a Feynman-Kac 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 Coefficients
Authors: Elisa Hartmann
Subjects: 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 drift
Subjects: 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 form-bounded vector fields, containing, as proper subclasses, a sub-critical class $[L^d+L^\infty]^d$, as well as critical classes such as weak $L^d$ class, Kato class, Campanato-Morrey class, Chang-Wilson-T. Wolff class.

[76]  arXiv:1710.06742 [pdf, other]
Title: Higher order multipoint flux mixed finite element methods on quadrilaterals and hexahedra
Subjects: 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 cell-based pressure systems. The methods are based on a new family of mixed finite elements, which are enhanced Raviart-Thomas 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 tensor-product Gauss-Lobatto quadrature rules, which allows for local velocity elimination and leads to a symmetric and positive definite cell-based 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 difficulties
Comments: 41 pages, 13 figures
Subjects: 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\'e-Hopf 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 Systems
Comments: 5 pages; 4 figures; accepted to IEEE journal 2017
Subjects: 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 multi-antenna 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 closed-form 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 pareto-optimal rate-energy tradeoff.

[79]  arXiv:1710.06750 [pdf, other]
Title: A Lagrange multiplier method for a Stokes-Biot fluid-poroelastic structure interaction model
Subjects: 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 semi-discrete continuous-in-time 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 diffusion
Authors: 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 second-order 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 mass-carrying 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 short-range 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 Topology
Comments: 6 pages, 3 figures, submitted to ICC 2018
Subjects: Information Theory (cs.IT)

Maddah-Ali and Niesen's original coded caching scheme for shared-link 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 cache-aided 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 cache-aided 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) Codes
Comments: Presented at the 55th Annual Allerton Conference on Communication, Control, and Computing, Oct 2017
Subjects: 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 pre-processes 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 dispersion
Subjects: 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 axis-parallel 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 space-time
Authors: R. Vilela Mendes
Comments: 12 pages Latex
Subjects: Mathematical Physics (math-ph)

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 non-commutative 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 tilings
Comments: 12 pages, 8 figures
Subjects: 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 Temperley-Lieb algebras and our bijections provide explicit one-to-one 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 operator-based model reduction for switched-system control of PDEs
Subjects: Dynamical Systems (math.DS); Optimization and Control (math.OC)

We present a new framework for optimal control of PDEs using Koopman operator-based reduced order models (K-ROMs). 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 infinite-dimensional control problem is transformed into a low-dimensional linear problem. Using a recent convergence result for Extended Dynamic Mode Decomposition (EDMD), we prove convergence of the K-ROM-based solution towards the solution of the full system. To illustrate the results, we consider the 1D Burgers equation and the 2D Navier-Stokes 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 manifolds
Comments: 14 pages
Subjects: Analysis of PDEs (math.AP)

Inspired by results of A. Bergamasco on perturbations of vector fields defined on the two-dimensional 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 reactions
Comments: 22 pages
Subjects: 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 sign-changing. 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 representation
Comments: 36 pages
Subjects: 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 Chessboard-like Microstructures
Comments: 17 pages, 10 figures. arXiv admin note: text overlap with arXiv:1707.03342
Subjects: Analysis of PDEs (math.AP)

We describe the macroscopic behavior of evolutions by crystalline curvature of planar sets in a chessboard--like 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 method
Subjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)

This paper is concerned with the blowup phenomena for initial-boundary value problem for certain semi linear parabolic, dispersive and hyperbolic equations in cone-like 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 cone-like domain with boundary the threshold changes and explicitly given via the first eigenvalue of corresponding Laplace-Beltrami operator with Dirichlet boundary condition as in Levine-Meier in 1989.

[92]  arXiv:1710.06781 [pdf, ps, other]
Title: On the existence of harmonic ${\bf Z}_2$ spinors
Subjects: 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 wall-crossing formula for solutions to the Seiberg-Witten equation with two spinors. The existence of singular harmonic ${\bf Z}_2$ spinors and the shape of our wall-crossing 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: Integer-valued polynomials on rings of algebraic integers of number fields with prescribed sets of lengths of factorizations
Subjects: 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 non-zero ideals factor uniquely as product of prime ideals.

[94]  arXiv:1710.06788 [pdf, other]
Title: A Leray regularized ensemble-proper orthogonal decomposition method for parameterized convection-dominated flows
Comments: arXiv admin note: text overlap with arXiv:1709.06422
Subjects: 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 Navier-Stokes 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 ensemble-POD method was successful in the numerical simulation of laminar flows, it yields numerical inaccuracies for convection-dominated flows. In this work we put forth a regularized model, the Leray ensemble-POD model, for the numerical simulation of convection-dominated flows. The Leray ensemble-POD model employs spatial filtering to smooth (regularize) the convection term in the Navier-Stokes. For the new Leray ensemble-POD algorithm, we also propose a numerical discretization with better stability properties than those of the numerical scheme for the standard ensemble-POD method. For this new numerical discretization, we prove its stability and convergence. Furthermore, we show that the Leray ensemble-POD method is more accurate than the standard ensemble-POD method in the numerical simulation of a two-dimensional flow between two offset circles.

[95]  arXiv:1710.06794 [pdf, ps, other]
Title: Real hypersurfaces with Miao-Tam critical metrics of complex space forms
Authors: Xiaomin Chen
Comments: welcome to comment
Subjects: 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 Miao-Tam 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 non-Hopf case, we prove that the ruled real hypersurfaces of non-flat complex space forms do not admit Miao-Tam critical metrics. Finally, it is proved that a compact hypersurface of a complex Euclidean space admitting Miao-Tam critical metric with $\lambda>0$ or $\lambda<0$ is a sphere and a compact hypersurface of a non-flat complex space form does not exist such a critical metric.

[96]  arXiv:1710.06797 [pdf, ps, other]
Title: Counting compositions over finite abelian groups
Subjects: 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 Perron-Frobenius 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 inequality
Comments: 3 pages
Subjects: 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: Self-similar measures: asymptotic bounds for the dimension and Fourier decay of smooth images
Comments: 15 pages
Subjects: Classical Analysis and ODEs (math.CA); Dynamical Systems (math.DS)

R. Kaufman and M. Tsujii proved that the Fourier transform of self-similar measures has a power decay outside of a sparse set of frequencies. We present a version of this result for homogeneous self-similar measures, with quantitative estimates, and derive several applications: (1) non-linear smooth images of homogeneous self-similar measures have a power Fourier decay, (2) convolving with a homogeneous self-similar 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 Primes
Authors: Vefa Goksel
Comments: 13 pages
Subjects: 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)^2-a-1$ 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 Phase-Quantized Constant-Envelope Precoding for Massive MU-MIMO-OFDM
Subjects: Information Theory (cs.IT)

We propose a novel algorithm for phase-quantized constant-envelope precoding in the massive multi-user (MU) multiple-input multiple-output (MIMO) downlink. Specifically, we extend the nonlinear squared-infinity norm Douglas-Rachford splitting (SQUID) precoder to systems that use oversampling digital-to-analog converters (DACs) at the base station (BS) and orthogonal frequency-division multiplexing (OFDM) to communicate over frequency-selective channels. We demonstrate that SQUID is able to generate constant-envelope signals, which enables the use of power-efficient analog radio-frequency circuitry at the BS. By quantizing the phase of the resulting constant-envelope signal, we obtain a finite-cardinality signal that can be synthesized by low-resolution (e.g., 1-bit) DACs. We use error-rate simulations to demonstrate the superiority of SQUID over linear precoders for massive MU-MIMO-OFDM.

[101]  arXiv:1710.06828 [pdf, ps, other]
Title: Remarks on modified Ding functional for toric Fano manifolds
Authors: Satoshi Nakamura
Comments: 9 pages
Subjects: 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 pseudo-boundedness from below. We also discuss the pseudo-boundedness 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 algebra
Subjects: Functional Analysis (math.FA)

Using the recent theory of Krein--von 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: Low-lying zeros of quadratic Dirichlet $L$-functions: A transition in the Ratios Conjecture
Comments: 15 pages
Subjects: Number Theory (math.NT)

We study the $1$-level density of low-lying 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 Katz-Sarnak 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 Results
Authors: Jorge F. Silva
Comments: Submitted for review to JMLR, April 2017
Subjects: 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 plug-in histogram-based 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 L-functions (with an appendix by Wen-Wei Li)
Authors: Freydoon Shahidi
Subjects: Number Theory (math.NT)

Any generalization of the method of Godement-Jacquet on principal L-functions for GL(n) to other groups as perceived by Braverman-Kazhdan and Ngo requires a Fourier transform on a space of Schwartz functions. In the case of standard L-functions for classical groups, a theory of this nature was developed by Piatetski-Shapiro and Rallis, called the doubling method. It was later that Braverman and Kazhdan, using an algebro-geometric 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 Braverman-Kazhdan 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 Langlands-Shahidi 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 Bouthier-Ngo-Sakellaridis. This matter is further discussed in an appendix by Wen-Wei Li.

[106]  arXiv:1710.06846 [pdf, ps, other]
Title: Kolmogorov Complexity and Information Content
Authors: Fouad B. Chedid
Comments: 12 pages
Subjects: Information Theory (cs.IT); Computational Complexity (cs.CC)

In this paper, we revisit a central concept in Kolmogorov complexity in which one would equate program-size 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 algebras
Comments: 32 pages
Subjects: 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 finite-dimensional 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 Euler-Poincar\'e pairing, and the composition series polynomials for standard modules. In the global theory, we introduce integral-reflection modules for $\mathsf{H}_{t,c}(G,\mathfrak{h})$ constructed from finite-dimensional $G$-modules. We define and compute the index of a Dirac operator on the integral-reflection 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 Dunkl-Opdam operators.

[108]  arXiv:1710.06850 [pdf, ps, other]
Title: Representation stability and arithmetic statistics of spaces of 0-cycles
Authors: Kevin Casto
Subjects: Algebraic Topology (math.AT); Algebraic Geometry (math.AG); Geometric Topology (math.GT)

We continue the study of a general class of spaces of 0-cycles on a manifold defined and begun by Farb-Wolfson-Wood. 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 Grothendieck-Lefschetz trace formula then allows us to translate these topological stability phenomena to stabilization of statistics for spaces of 0-cycles 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.

Cross-lists for Thu, 19 Oct 17

[109]  arXiv:1710.06091 (cross-list from nlin.SI) [pdf, ps, other]
Title: Special solutions of bi-Riccati delay-differential equations
Subjects: Exactly Solvable and Integrable Systems (nlin.SI); Classical Analysis and ODEs (math.CA); Dynamical Systems (math.DS)

Delay-differential 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 soliton-type solutions. Using Hirota's bilinear method, we find that two of our equations possess three-soliton-type solutions.

[110]  arXiv:1710.06456 (cross-list from quant-ph) [pdf, other]
Title: Complexity and capacity bounds for quantum channels
Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT); Combinatorics (math.CO); Operator Algebras (math.OA)

We generalise some well-known graph parameters to operator systems by considering their underlying quantum channels. In particular, we introduce the quantum complexity as the dimension of the smallest co-domain Hilbert space a quantum channel requires to realise a given operator system as its non-commutative 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 zero-error 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 (cross-list from cs.DC) [pdf, other]
Title: Coded Fourier Transform
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Information Theory (cs.IT); Learning (cs.LG)

We consider the problem of computing the Fourier transform of high-dimensional 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 (cross-list from q-fin.EC) [pdf, other]
Title: Spectral Conditions for Existence and Uniqueness of Recursive Utilities
Subjects: Economics (q-fin.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 preferences---one that analyzes principal eigenvalues of valuation operators and another that exploits the theory of monotone concave operators---we 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 (cross-list from cs.DM) [pdf, ps, other]
Title: A recognition algorithm for simple-triangle graphs
Authors: Asahi Takaoka
Comments: 9 pages, 1 figure
Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)

A simple-triangle 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 simple-triangle graphs was a longstanding open problem, which was recently settled. This paper provides a new recognition algorithm for simple-triangle 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 non-edges of the graph, respectively. The algorithm uses the vertex ordering characterization in our previous paper that a graph is a simple-triangle 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 (cross-list from nlin.SI) [pdf, ps, other]
Title: Long-time asymptotics for initial-boundary value problems of integrable Fokas-Lenells equation on the half-line
Comments: 34 pages, 7 figures
Subjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph); Analysis of PDEs (math.AP); Quantum Physics (quant-ph)

We study the Schwartz class of initial-boundary value (IBV) problems for the integrable Fokas-Lenells equation on the half-line via the Deift-Zhou's nonlinear descent method analysis of the corresponding Riemann-Hilbert problem such that the asymptotics of the Schwartz class of IBV problems as t\to\infty is presented.

[115]  arXiv:1710.06568 (cross-list from nlin.SI) [pdf, other]
Title: A robust inverse scattering transform for the focusing nonlinear Schrödinger equation
Comments: 67 pages, 11 figures
Subjects: 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 arbitrary-order 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 higher-order "rogue wave" solutions in an inverse-scattering 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 (cross-list from nlin.PS) [pdf, ps, other]
Title: A novel type of rogue waves with predictability in nonlinear physics
Authors: M. Jia, S. Y. Lou
Comments: 9 pages, 3 figures
Subjects: Pattern Formation and Solitons (nlin.PS); Mathematical Physics (math-ph); 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 Kadomtsev-Petviashvili equation in its extended form.

[117]  arXiv:1710.06690 (cross-list from quant-ph) [pdf, ps, other]
Title: Self-to-self transitions in open quantum systems: the origin and solutions
Subjects: Quantum Physics (quant-ph); Optimization and Control (math.OC)

The information of quantum pathways can be extracted in the framework of the Hamiltonian-encoding and Observable-decoding method. For closed quantum systems, only off-diagonal elements of the Hamiltonian in the Hilbert space is required to be encoded to obtain the desired transitions. For open quantum systems, environment-related 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 self-to-self transitions and inconsistency of pathway amplitudes with Dyson expansion. In this work, a well-designed transformation is proposed to avoid the counter-intuitive transitions and the inconsistency, with or without control fields. A three-level open quantum system is employed for illustration, and numerical simulations show that the method are consistent with Dyson expansion.

[118]  arXiv:1710.06710 (cross-list from quant-ph) [pdf, other]
Title: Infinite Range Correlations in Non-Equilibrium Quantum Systems and Their Possible Experimental Realizations
Authors: Zohar Nussinov
Comments: 14 pages, 1 figure
Subjects: Quantum Physics (quant-ph); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)

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 non-vanishing 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 $|i-j|$ 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 non-Fermi liquids.

[119]  arXiv:1710.06766 (cross-list from stat.ML) [pdf, other]
Title: Phase Transitions in the Pooled Data Problem
Comments: Accepted to NIPS 2017
Subjects: 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 information-theoretic 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 (cross-list from cs.NE) [pdf]
Title: SQG-Differential Evolution for difficult optimization problems under a tight function evaluation budget
Subjects: 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 non-linear 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 Quasi-Gradient (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 state-of-the-art 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, multi-modal, 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 non-invasive 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 (cross-list from econ.EM) [pdf, other]
Title: Minimax Linear Estimation at a Boundary Point
Authors: Wayne Yuan Gao
Subjects: 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 first-order derivative of the unknown function is Lipschitz continuous (the second-order 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 (cross-list from cond-mat.stat-mech) [pdf, ps, other]
Title: The Origins of Computational Mechanics: A Brief Intellectual History and Several Clarifications
Comments: 11 pages, 123 citations; this http URL
Subjects: Statistical Mechanics (cond-mat.stat-mech); 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 mid-1980s 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 applications---from closed-form analysis of Markov and non-Markov 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 graphs
Authors: Alex Scott
Subjects: Combinatorics (math.CO)
[124]  arXiv:1009.4653 (replaced) [pdf, ps, other]
Title: Meixner matrix ensembles
Journal-ref: Journal of Theoretical Probability: Volume 26, Issue 1 (2013), Page 107-152
Subjects: Probability (math.PR)
[125]  arXiv:1109.6777 (replaced) [pdf, ps, other]
Title: The spherical systems of the wonderful reductive subgroups
Comments: v2: enumeration of the main list in Section 3 updated to agree with the published version
Subjects: Representation Theory (math.RT); Algebraic Geometry (math.AG)
[126]  arXiv:1204.5701 (replaced) [pdf, ps, other]
Title: Orbital linearization of smooth completely integrable vector fields
Authors: Nguyen Tien Zung
Comments: version 3, revised according to remarks of the referees, 11 pages, submitted to SIGMA
Subjects: Dynamical Systems (math.DS)
[127]  arXiv:1306.1559 (replaced) [pdf, ps, other]
Title: On the fundamental tone of immersions and submersions
Comments: Revised version; to appear in Proceedings of the AMS
Subjects: Differential Geometry (math.DG)
[128]  arXiv:1404.4000 (replaced) [pdf, ps, other]
Title: Geometric Schur duality of classical type
Comments: Final version. To appear in Transformation Groups
Subjects: 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 squares
Subjects: Algebraic Topology (math.AT)
[130]  arXiv:1408.3752 (replaced) [pdf, ps, other]
Title: Representations of étale groupoids on $L^p$-spaces
Comments: 33 pages. v2: minor changes. v3: more minor changes. To appear in Advances in Math
Journal-ref: Adv. Math. 318 (2017), 233--278
Subjects: Operator Algebras (math.OA)
[131]  arXiv:1501.04845 (replaced) [pdf, ps, other]
Title: Homogeneous quasi-translations in dimension 5
Authors: Michiel de Bondt
Comments: 34 pages
Subjects: Algebraic Geometry (math.AG)
[132]  arXiv:1503.04425 (replaced) [src]
Title: Propagation of moments and uniqueness of weak solutions to the Vlasov-Poisson-Fokker-Planck system
Authors: Ze Li, Lifeng Zhao
Comments: 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 paper
Subjects: Analysis of PDEs (math.AP)
[133]  arXiv:1504.00419 (replaced) [pdf, ps, other]
Title: Liouville theorems for a general class of nonlocal operators
Comments: some typos were corrected. 15 pages
Subjects: 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$-self-similar stable process
Subjects: Statistics Theory (math.ST)
[135]  arXiv:1508.00425 (replaced) [pdf, ps, other]
Title: A proof of the integral identity conjecture, II
Authors: Lê Quy Thuong
Comments: Changed the content in comparison with the first version. To appear in Comptes Rendus Math\'ematique
Subjects: Algebraic Geometry (math.AG)
[136]  arXiv:1508.05438 (replaced) [pdf, ps, other]
Title: GL(2,R) Orbit Closures in Hyperelliptic Components of Strata
Authors: Paul Apisa
Comments: 50 pages. Updated according to referee suggestions
Subjects: Dynamical Systems (math.DS); Geometric Topology (math.GT)
[137]  arXiv:1511.04314 (replaced) [pdf, ps, other]
Title: Financial Models with Defaultable Numéraires
Comments: 18 pages. Forthcoming in Mathematical Finance
Subjects: Pricing of Securities (q-fin.PR); Probability (math.PR)
[138]  arXiv:1511.07797 (replaced) [pdf, ps, other]
Title: Logarithmic $p$-bases and arithmetical differential modules
Comments: 42 pages
Subjects: Algebraic Geometry (math.AG)
[139]  arXiv:1512.07939 (replaced) [pdf, other]
Title: A 2-Calabi-Yau realization of finite-type cluster algebras with universal coefficients
Comments: 33 pages. arXiv admin note: text overlap with arXiv:1303.2318 by other authors
Subjects: 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 right-veering braids and non-loose links
Comments: 23 pages, 11 figures
Subjects: Geometric Topology (math.GT)
[141]  arXiv:1601.07894 (replaced) [pdf, ps, other]
Title: GL(2,R)-Invariant Measures in Marked Strata: Generic Marked Points, Earle-Kra for Strata, and Illumination
Authors: Paul Apisa
Comments: 30 pages
Subjects: 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 bodies
Authors: Nhan Tran
Subjects: Numerical Analysis (math.NA)
[143]  arXiv:1604.04475 (replaced) [pdf, ps, other]
Title: 3-Leibniz bialgebras (3-Lie bialgebras)
Comments: 28 pages
Journal-ref: Int. J. Geom. Methods. Mod. Phys. 14 (2017) 1750142 (27 pages)
Subjects: Rings and Algebras (math.RA); Mathematical Physics (math-ph)
[144]  arXiv:1604.06516 (replaced) [pdf, ps, other]
Title: The centralizer of Komuro-expansive flows and expansive R^d-actions
Comments: Final version, to appear at Mathematische Zeitschrift
Subjects: 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 lemma
Subjects: Combinatorics (math.CO)
[146]  arXiv:1605.05776 (replaced) [pdf, other]
Title: The Quality of the Covariance Selection Through Detection Problem and AUC Bounds
Subjects: 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 diffeomorphisms
Comments: 17 pages, 5 figures, final version to appear on Nonlinearity
Subjects: Dynamical Systems (math.DS)
[148]  arXiv:1606.00384 (replaced) [pdf, other]
Title: Support theorem for the Light Ray transform on Minkowski spaces
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
[149]  arXiv:1607.05091 (replaced) [pdf, ps, other]
Title: Estimator selection: a new method with applications to kernel density estimation
Authors: Claire Lacour (1), Pascal Massart (1), Vincent Rivoirard (2) ((1) SELECT, LM-Orsay, (2) CEREMADE)
Journal-ref: Sankhya A, Springer Verlag, 2017, 79 (2), pp.298 - 335
Subjects: Statistics Theory (math.ST)
[150]  arXiv:1608.00715 (replaced) [pdf, ps, other]
Title: The colored symmetric and exterior algebras
Comments: 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 Algebra
Subjects: Combinatorics (math.CO); Representation Theory (math.RT)
[151]  arXiv:1608.02220 (replaced) [pdf, ps, other]
Title: The abelianization of inverse limits of groups
Comments: To appear in Israel Journal of Mathematics
Subjects: Group Theory (math.GR); Algebraic Topology (math.AT); Category Theory (math.CT)
[152]  arXiv:1609.06663 (replaced) [pdf, ps, other]
Title: The Lawrence-Krammer representation is a quantization of the symmetric square of the Burau representation
Authors: Alexandre Kosyak
Comments: 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 made
Subjects: 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, self-similar measures, and the $L^q$ norms of convolutions
Authors: Pablo Shmerkin
Comments: 65 pages. v2: many small fixes, main results unchanged
Subjects: 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 classes
Comments: 19 pages, 4 figures
Subjects: Geometric Topology (math.GT)
[155]  arXiv:1610.01886 (replaced) [pdf, ps, other]
Title: Inverse mean curvature flow in complex hyperbolic space
Authors: Giuseppe Pipoli
Comments: 31 pages. In version 2 there are corrections in Sections 5 and 6. Morover we add Corollary 6.5 and Remark 6.6
Subjects: Differential Geometry (math.DG)
[156]  arXiv:1610.06521 (replaced) [pdf, ps, other]
Title: Induced Turán numbers
Comments: 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 author
Subjects: Combinatorics (math.CO)
[157]  arXiv:1610.07681 (replaced) [pdf, other]
Title: Degenerations of the generic square matrix. Polar map and determinantal structure
Comments: 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.16
Subjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
[158]  arXiv:1611.01597 (replaced) [pdf, ps, other]
Title: An efficient differential quadrature method for fractional advection-diffusion equation
Comments: 18 pages, 7 tables, 14 figures
Subjects: Numerical Analysis (math.NA)
[159]  arXiv:1611.01903 (replaced) [pdf, ps, other]
Title: Derived categories of graded gentle one-cycle algebras
Comments: 35pages
Subjects: Representation Theory (math.RT)
[160]  arXiv:1611.03570 (replaced) [pdf, other]
Title: Factoring onto $\mathbb{Z}^d$ subshifts with the finite extension property
Comments: 15 pages, 4 figures
Subjects: Dynamical Systems (math.DS)
[161]  arXiv:1611.06927 (replaced) [pdf, other]
Title: Characterization of Null Geodesics on Kerr Spacetimes
Subjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
[162]  arXiv:1612.02241 (replaced) [pdf, ps, other]
Title: Derived categories of curves as components of Fano manifolds
Comments: 20 pages; v2: exposition improved, some references added
Subjects: Algebraic Geometry (math.AG)
[163]  arXiv:1612.04273 (replaced) [pdf, ps, other]
Title: Relating Zeta Functions of Discrete and Quantum Graphs
Comments: 12 pages; added reference after Corollary 1 (on page 4)
Subjects: Mathematical Physics (math-ph)
[164]  arXiv:1701.02238 (replaced) [pdf, ps, other]
Title: Polynomiality for the Poisson centre of truncated maximal parabolic subalgebras
Comments: 41 pages
Subjects: 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 Fields
Subjects: 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 inequalities
Comments: Revised version, includes new characterization of multi-linear A_p weights. To appear in the Georgian Math Journal
Subjects: Classical Analysis and ODEs (math.CA)
[167]  arXiv:1701.09069 (replaced) [pdf, ps, other]
Title: Fujiki relations and fibrations of irreducible symplectic varieties
Authors: Martin Schwald
Comments: 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 pages
Subjects: Algebraic Geometry (math.AG)
[168]  arXiv:1702.03789 (replaced) [pdf, other]
Title: Groups with no coarse embeddings into hyperbolic groups
Comments: 13 pages, 1 figure, accepted for publication in NYJM
Subjects: Group Theory (math.GR); Metric Geometry (math.MG)
[169]  arXiv:1703.05508 (replaced) [pdf, ps, other]
Title: Proof of Atiyah-Singer Index Theorem by Canonical Quantum Mechanics
Subjects: Mathematical Physics (math-ph)
[170]  arXiv:1703.09322 (replaced) [pdf, other]
Title: The defect of Bennequin-Eliashberg inequality and Bennequin surfaces
Comments: 31 pages, 13 figures
Subjects: Geometric Topology (math.GT)
[171]  arXiv:1704.00150 (replaced) [pdf, ps, other]
Title: Gross-Pitaevskii non-linear dynamics for pseudo-spinor condensates
Comments: Corrected typos, updated bibliography
Journal-ref: Journal of Nonlinear Mathematical Physics, 24(3), 426-464 (2017)
Subjects: Mathematical Physics (math-ph)
[172]  arXiv:1704.02279 (replaced) [pdf, ps, other]
Title: Algebraic fiber spaces and curvature of higher direct images
Comments: A few results added
Subjects: Differential Geometry (math.DG)
[173]  arXiv:1704.05809 (replaced) [pdf, other]
Title: The free boundary Schur process and applications
Comments: 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 (math-ph); Combinatorics (math.CO)
[174]  arXiv:1704.06400 (replaced) [pdf, other]
Title: Counting k-Hop Paths in the Random Connection Model
Comments: 21 pages, 4 figures
Subjects: Probability (math.PR)
[175]  arXiv:1704.07665 (replaced) [pdf, ps, other]
Title: On the spherical convexity of quadratic functions
Subjects: Optimization and Control (math.OC)
[176]  arXiv:1704.07719 (replaced) [pdf, other]
Title: Complete diagrammatics of the single ring theorem
Comments: 18 pages, 6 figures, version accepted for publication
Subjects: Mathematical Physics (math-ph); Combinatorics (math.CO); Operator Algebras (math.OA); Chaotic Dynamics (nlin.CD)
[177]  arXiv:1705.02040 (replaced) [pdf, ps, other]
Title: Finite groups of arbitrary deficiency
Authors: Giles Gardam
Comments: 7 pages, 1 figure; v2 minor changes, to appear in the Bulletin of the London Mathematical Society
Subjects: Group Theory (math.GR)
[178]  arXiv:1705.02405 (replaced) [pdf, ps, other]
Title: The Exact Solution of the Schwarzian Theory
Comments: 3 pages
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
[179]  arXiv:1705.03521 (replaced) [pdf, ps, other]
Title: Superadditivity of quantum relative entropy for general states
Comments: 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 accordingly
Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); Probability (math.PR)
[180]  arXiv:1705.06297 (replaced) [pdf, ps, other]
Title: Higher Order Supersymmetric Truncated Oscillators
Comments: This article is a natural continuation of arXiv:1603.05173 and arXiv:1310.5628
Subjects: Mathematical Physics (math-ph)
[181]  arXiv:1705.07180 (replaced) [pdf, ps, other]
Title: The Bi-Lipschitz Equisingularity of Essentially Isolated Determinantal Singularities
Subjects: Classical Analysis and ODEs (math.CA); Algebraic Geometry (math.AG)
[182]  arXiv:1705.07230 (replaced) [pdf, other]
Title: On Time-Periodic Solutions to Parabolic Boundary Value Problems of Agmon-Douglis-Nirenberg Type
Subjects: Analysis of PDEs (math.AP)
[183]  arXiv:1705.09217 (replaced) [pdf, ps, other]
Title: Leavitt path algebras: Graded direct-finiteness and graded $Σ$-injective simple modules
Comments: 21 pages
Subjects: Rings and Algebras (math.RA)
[184]  arXiv:1705.09778 (replaced) [pdf, other]
Title: Generalized Concomitant Multi-Task Lasso for sparse multimodal regression
Subjects: Machine Learning (stat.ML); Optimization and Control (math.OC); Applications (stat.AP)
[185]  arXiv:1705.10581 (replaced) [pdf, other]
Title: Ill-conditioning in the Virtual Element Method: stabilizations and bases
Authors: Lorenzo Mascotto
Comments: 20 pages, 13 figures
Subjects: Numerical Analysis (math.NA)
[186]  arXiv:1706.03726 (replaced) [pdf, ps, other]
Title: Local-global questions for divisibility in commutative algebraic groups
Subjects: Number Theory (math.NT)
[187]  arXiv:1706.05499 (replaced) [pdf, ps, other]
Title: Joint Mixability of Elliptical Distributions and Related Families
Authors: Chuancun Yin, Dan Zhu
Comments: 15pages
Subjects: Statistics Theory (math.ST)
[188]  arXiv:1706.09690 (replaced) [pdf, other]
Title: Power-Based Direction-of-Arrival Estimation Using a Single Multi-Mode Antenna
Subjects: Information Theory (cs.IT)
[189]  arXiv:1706.10259 (replaced) [pdf, ps, other]
Title: Hilbert isometries and maximal deviation preserving maps on JB-algebras
Comments: 21 pages
Subjects: 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 Abel-Jacobi map
Authors: David Holmes
Comments: 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 `k-twisted' case, where one allows powers of the relative dualising sheaf. Comments still very welcome
Subjects: Algebraic Geometry (math.AG)
[191]  arXiv:1707.03733 (replaced) [pdf, other]
Title: Solving primal plasticity increment problems in the time of a single predictor-corrector iteration
Authors: Oliver Sander
Comments: Fixed small errors; updated references
Subjects: Numerical Analysis (math.NA)
[192]  arXiv:1707.04202 (replaced) [pdf, other]
Title: Multi-Antenna Assisted Virtual Full-Duplex Relaying with Reliability-Aware Iterative Decoding
Comments: 6 pages, 4 figures, conference paper has been submitted
Subjects: Information Theory (cs.IT)
[193]  arXiv:1707.05016 (replaced) [pdf, other]
Title: Fully polynomial FPT algorithms for some classes of bounded clique-width graphs
Authors: David Coudert (1), Guillaume Ducoffe (1,2), Alexandru Popa ((1) COATI, (2) ICI Bucharest)
Subjects: 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 sets
Authors: Binzhou Xia
Subjects: Combinatorics (math.CO)
[195]  arXiv:1707.05609 (replaced) [pdf, other]
Title: Solving $\ell^p\!$-norm regularization with tensor kernels
Subjects: Machine Learning (stat.ML); Optimization and Control (math.OC)
[196]  arXiv:1707.08010 (replaced) [pdf, other]
Title: Three-way symbolic tree-maps and ultrametrics
Subjects: Combinatorics (math.CO)
[197]  arXiv:1708.00287 (replaced) [pdf, ps, other]
Title: Existence of Hartree-Fock excited states for atoms and molecules
Authors: Mathieu Lewin (CEREMADE)
Comments: Final version to appear in Lett. Math. Phys
Subjects: Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
[198]  arXiv:1708.01272 (replaced) [pdf, other]
Title: Characterization of Uniquely Representable Graphs
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 result
Subjects: Combinatorics (math.CO)
[199]  arXiv:1708.02140 (replaced) [pdf, other]
Title: Inference on a New Class of Sample Average Treatment Effects
Subjects: Statistics Theory (math.ST); Methodology (stat.ME)
[200]  arXiv:1708.02552 (replaced) [pdf, ps, other]
Title: Self-Correcting Variable-Metric Algorithms for Nonsmooth Optimization
Subjects: Optimization and Control (math.OC)
[201]  arXiv:1708.02698 (replaced) [src]
Title: Toric degenerations of projective varieties
Comments: 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 paper
Subjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
[202]  arXiv:1708.02853 (replaced) [pdf, ps, other]
Title: Sheaf lines of Yang-Mills Instanton Sheaves
Comments: 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" added
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
[203]  arXiv:1708.06908 (replaced) [pdf, other]
Title: Proximal-Proximal-Gradient Method
Subjects: Optimization and Control (math.OC)
[204]  arXiv:1708.07729 (replaced) [pdf, ps, other]
Title: The Hurwitz-type theorem for the regular Coulomb wave function via Hankel determinants
Comments: 10 pages
Subjects: Classical Analysis and ODEs (math.CA)
[205]  arXiv:1708.09433 (replaced) [pdf, other]
Title: A Scalable and Statistically Robust Beam Alignment Technique for mm-Wave Systems
Subjects: Information Theory (cs.IT)
[206]  arXiv:1708.09513 (replaced) [pdf, ps, other]
Title: Disjoint Infinity-Borel Functions
Authors: Dan Hathaway
Comments: 16 pages
Subjects: 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$
Authors: Zhiyong Zhou, Jun Yu
Subjects: Information Theory (cs.IT)
[208]  arXiv:1709.01019 (replaced) [pdf, ps, other]
Title: Maximum Secrecy Throughput of MIMOME FSO Communications with Outage Constraints
Subjects: Information Theory (cs.IT)
[209]  arXiv:1709.01778 (replaced) [pdf, ps, other]
Title: Index of Dirac operators and classification of topological insulators
Authors: Ümit Ertem
Comments: 17 pages, published version
Journal-ref: J. Phys. Commun. 1 (2017) 035001
Subjects: Mathematical Physics (math-ph); Strongly Correlated Electrons (cond-mat.str-el)
[210]  arXiv:1709.02290 (replaced) [pdf, other]
Title: On $6j$-symbols for symmetric representations of $U_q(\mathfrak{su}_N)$
Comments: 9 pages
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Algebra (math.QA)
[211]  arXiv:1709.05787 (replaced) [pdf, ps, other]
Title: Closed-form solutions of Lucas-Uzawa model with externalities via partial Hamiltonian approach
Authors: R. Naz, A. Chaudhry
Subjects: Optimization and Control (math.OC)
[212]  arXiv:1709.05880 (replaced) [pdf, ps, other]
Title: A sharp effectiveness result of Demailly's strong openness conjecture
Authors: Qi'an Guan
Comments: 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&lt;-t\}$, e.g. the function $G(t)$." was added
Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG)
[213]  arXiv:1709.07245 (replaced) [pdf, ps, other]
Title: Poincaré's lemma on some non-Euclidean structures
Comments: 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 transform
Subjects: 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 bundles
Subjects: Algebraic Geometry (math.AG)
[216]  arXiv:1709.10441 (replaced) [pdf, other]
Title: A representer theorem for deep kernel learning
Subjects: Learning (cs.LG); Numerical Analysis (math.NA)
[217]  arXiv:1710.00357 (replaced) [pdf, ps, other]
Title: A New Property of Random Regular Bipartite Graphs
Authors: Paul Federbush
Comments: 9 pages, improved result to include all k &lt;10
Subjects: Combinatorics (math.CO); Mathematical Physics (math-ph)
[218]  arXiv:1710.00793 (replaced) [pdf, ps, other]
Title: Moments of unramified 2-group extensions of quadratic fields
Authors: Jack Klys
Subjects: Number Theory (math.NT)
[219]  arXiv:1710.02975 (replaced) [pdf, other]
Title: Spherical functions for small $K$-types
Comments: 42 pages
Subjects: Representation Theory (math.RT)
[220]  arXiv:1710.03053 (replaced) [pdf, other]
Title: Generalized symmetry relations for connection matrices in the phase-integral method
Authors: A.G. Kutlin
Comments: 22 pages, 4 figures
Subjects: Mathematical Physics (math-ph)
[221]  arXiv:1710.03485 (replaced) [pdf, ps, other]
Title: Commutants and Reflexivity of Multiplication tuples on Vector-valued Reproducing Kernel Hilbert Spaces
Comments: 21 pages, typos corrected and paper revised
Subjects: Functional Analysis (math.FA)
[222]  arXiv:1710.03835 (replaced) [pdf, other]
Title: SLE-type growth processes corresponding to Wess-Zumino-Witten theories
Authors: Shinji Koshida
Subjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech); Quantum Algebra (math.QA)
[223]  arXiv:1710.05087 (replaced) [pdf, ps, other]
Title: On Bi-free Multiplicative Convolution
Authors: Mingchu Gao
Comments: Minor changes have been made, some references have been added. Any comments are warmly welcome
Subjects: Operator Algebras (math.OA)
[224]  arXiv:1710.05218 (replaced) [pdf, ps, other]
Title: Two-player incentive compatible mechanisms are affine maximizers
Authors: Bo Lin, Ngoc Mai Tran
Comments: 20 pages, 3 figures
Subjects: 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 groups
Authors: Jiayin Pan
Subjects: Differential Geometry (math.DG)
[226]  arXiv:1710.05797 (replaced) [pdf]
Title: Multiresolution finite element method based on a triangular membrane element
Authors: YiMing Xia
Comments: 14 pages,4figures. arXiv admin note: substantial text overlap with arXiv:1505.06822, arXiv:1404.1165, arXiv:1405.6775
Subjects: Numerical Analysis (math.NA)
[227]  arXiv:1710.05959 (replaced) [pdf, other]
Title: Characterization of striped surfaces
Comments: 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)
[ total of 227 entries: 1-227 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)