We gratefully acknowledge support from
the Simons Foundation
and member institutions

Mathematics

New submissions

[ total of 247 entries: 1-247 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Wed, 13 Dec 17

[1]  arXiv:1712.03952 [pdf, ps, other]
Title: Characterization of temperatures associated to Schrödinger operators with initial data in Morrey spaces
Comments: 15 pages. arXiv admin note: substantial text overlap with arXiv:1710.01160
Subjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)

Let $\L$ be a Schr\"odinger operator of the form $\L=-\Delta+V$ acting on $L^2(\mathbb R^n)$ where the nonnegative potential $V$ belongs to the reverse H\"older class $B_q$ for some $q\geq n.$ Let $L^{p,\lambda}(\mathbb{R}^{n})$, $0\le \lambda<n$ denote the Morrey space on $\mathbb{R}^{n}$. In this paper, we will show that a function $f\in L^{2,\lambda}(\mathbb{R}^{n})$ is the trace of the solution of ${\mathbb L}u=u_{t}+{\L}u=0, u(x,0)= f(x),$ where $u$ satisfies a Carleson-type condition \begin{eqnarray*} \sup_{x_B, r_B} r_B^{-\lambda}\int_0^{r_B^2}\int_{B(x_B, r_B)} |\nabla u(x,t)|^2 {dx dt} \leq C <\infty. \end{eqnarray*} Conversely, this Carleson-type condition characterizes all the ${\mathbb L}$-carolic functions whose traces belong to the Morrey space $L^{2,\lambda}(\mathbb{R}^{n})$ for all $0\le \lambda<n$. This result extends the analogous characterization founded by Fabes and Neri for the classical BMO space of John and Nirenberg.

[2]  arXiv:1712.03971 [pdf, ps, other]
Title: Runge-Kutta-Gegenbauer methods for advection-diffusion problems
Comments: 22 pages, 7 figures, 3 tables
Subjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)

In this paper, Runge-Kutta-Gegenbauer (RKG) stability polynomials of arbitrarily high order of accuracy are introduced in closed form. The stability domain of RKG polynomials extends in the the real direction with the square of polynomial degree, and in the imaginary direction as an increasing function of Gegenbauer parameter. Consequently, the polynomials are naturally suited to the construction of high order stabilized Runge-Kutta (SRK) methods for systems of PDEs of mixed hyperbolic-parabolic type.
We present SRK methods composed of $L$ ordered forward Euler stages, with complex-valued stepsizes derived from the roots of RKG stability polynomials of degree $L$. Internal stability is maintained at large stage number through an ordering algorithm which limits internal amplification factors to $10 L^2$. Test results for mildly stiff nonlinear advection-diffusion-reaction problems with moderate ($\lesssim 1$) mesh P\'eclet numbers are provided at second, fourth, and sixth orders, with nonlinear reaction terms treated by complex splitting techniques above second order.

[3]  arXiv:1712.03990 [pdf, ps, other]
Title: Lehmer numbers and primitive roots modulo a prime
Comments: 11 pages
Subjects: Number Theory (math.NT)

A Lehmer number modulo a prime $p$ is an integer $a$ with $1 \leq a \leq p-1$ whose inverse $\bar{a}$ within the same range has opposite parity. Lehmer numbers that are also primitive roots have been discussed by Wang and Wang in an endeavour to count the number of ways $1$ can be expressed as the sum of two primitive roots that are also Lehmer numbers (an extension of a question of S. Golomb).
In this paper we give an explicit estimate for the number of Lehmer primitive roots modulo $p$ and prove that, for all primes $p \neq 2,3,7$, Lehmer primitive roots exist. We also make explicit the known expression for the number of Lehmer numbers modulo $p$ and improve the Wang--Wang estimate for the number of solutions to the Golomb--Lehmer primitive root problem.

[4]  arXiv:1712.03995 [pdf, ps, other]
Title: A new proof of Harish-Chandra's integral formula
Authors: Colin McSwiggen
Comments: 12 pages
Subjects: Mathematical Physics (math-ph); Representation Theory (math.RT)

We present a new proof of Harish-Chandra's formula $$\Pi(h_1) \Pi(h_2) \int_G e^{\langle \mathrm{Ad}_g h_1, h_2 \rangle} dg = \frac{ [ \! [ \Pi, \Pi ] \!] }{|W|} \sum_{w \in W} \epsilon(w) e^{\langle w(h_1),h_2 \rangle},$$ where $G$ is a compact, connected, semisimple Lie group, $dg$ is normalized Haar measure, $h_1$ and $h_2$ lie in a Cartan subalgebra of the complexified Lie algebra, $\Pi$ is the discriminant, $\langle \cdot, \cdot \rangle$ is the Killing form, $[ \! [ \cdot, \cdot ] \!]$ is an inner product that extends the Killing form to polynomials, $W$ is a Weyl group, and $\epsilon(w)$ is the sign of $w \in W$.
The proof in this paper follows from a relationship between heat flow on a semisimple Lie algebra and heat flow on a Cartan subalgebra, extending methods developed by Itzykson and Zuber for the case of an integral over the unitary group $U(N)$. The heat-flow proof allows a systematic approach to studying the asymptotics of orbital integrals over a wide class of groups.

[5]  arXiv:1712.04004 [pdf, ps, other]
Title: Building highly conditional quasi-greedy bases in classical Banach spaces
Subjects: Functional Analysis (math.FA)

It is known that for a conditional quasi-greedy basis $\mathcal{B}$ in a Banach space $\mathbb{X}$, the associated sequence $(k_{m}[\mathcal{B}])_{m=1}^{\infty}$ of its conditionality constants verifies the estimate $k_{m}[\mathcal{B}]=\mathcal{O}(\log m)$ and that if the reverse inequality $\log m =\mathcal{O}(k_m[\mathcal{B}])$ holds then $\mathbb{X}$ is non-superreflexive. However, in the existing literature one finds very few instances of non-superreflexive spaces possessing quasi-greedy basis with conditionality constants as large as possible. Our goal in this article is to fill this gap. To that end we enhance and exploit a combination of techniques developed independently, on the one hand by Garrig\'os and Wojtaszczyk in [Conditional quasi-greedy bases in Hilbert and Banach spaces, Indiana Univ. Math. J. 63 (2014), no. 4, 1017-1036] and, on the other hand, by Dilworth et al. in [On the existence of almost greedy bases in Banach spaces, Studia Math. 159 (2003), no. 1, 67-101], and craft a wealth of new examples of non-superreflexive classical Banach spaces having quasi-greedy bases $\mathcal{B}$ with $k_{m}[\mathcal{B}]=\mathcal{O}(\log m)$.

[6]  arXiv:1712.04005 [pdf, ps, other]
Title: "Lion-Man" and the Fixed Point Property
Subjects: Optimization and Control (math.OC)

This paper focuses on the relation between the fixed point property for continuous mappings and a discrete lion and man game played in a strongly convex domain. Our main result states that in locally compact geodesic spaces, the compactness of the domain is equivalent to its fixed point property, as well as to the success of the lion. The common link among these properties involves the existence of different types of rays, which we also discuss.

[7]  arXiv:1712.04009 [pdf, ps, other]
Title: Spaces With Complexity One
Authors: Alyson Bittner
Comments: 3 pages
Subjects: Algebraic Topology (math.AT)

An $A$-cellular space is a space built from $A$ and its suspensions, analogously to the way that $CW$-complexes are built from $S^0$ and its suspensions. The $A$-cellular approximation of a space $X$ is an $A$-cellular space $CW_{A}X$ which is closest to $X$ among all $A$-cellular spaces. The $A$-complexity of a space $X$ is an ordinal number that quantifies how difficult it is to build an $A$-cellular approximation of $X$. In this paper, we study spaces with low complexity. In particular we show that if $A$ is a sphere localized at a set of primes then the $A$-complexity of each space $X$ is at most 1.

[8]  arXiv:1712.04013 [pdf, ps, other]
Title: Error estimates on ergodic properties of Feynman-Kac semigroups
Subjects: Numerical Analysis (math.NA)

We consider the numerical analysis of the time discretization of Feynman-Kac semigroups associated with diffusion processes. These semigroups naturally appear in several fields, such as large deviation theory, Diffusion Monte Carlo or non-linear filtering. We present errors estimates a la Talay-Tubaro on their invariant measures when the underlying continuous stochastic differential equation is discretized; as well as on the leading eigenvalue of the generator of the dynamics, which corresponds to the rate of creation of probability. This provides criteria to construct efficient integration schemes of Feynman-Kac dynamics, as well as a mathematical justification of numerical results already observed in the Diffusion Monte Carlo community. Our analysis is illustrated by numerical simulations.

[9]  arXiv:1712.04016 [pdf, ps, other]
Title: Free resolutions of Dynkin format and the licci property of grade 3 perfect ideals
Comments: 13 pp
Subjects: Commutative Algebra (math.AC)

Recent work on generic free resolutions of length 3 attaches to every resolution a graph and suggests that resolutions whose associated graph is a Dynkin diagram are distinguished. We conjecture that in a regular local ring, every grade 3 perfect ideal whose minimal free resolution is distinguished in this way is in the linkage class of a complete intersection.

[10]  arXiv:1712.04017 [pdf, ps, other]
Title: A Local Existence Result for Poincaré-Einstein metrics
Subjects: Differential Geometry (math.DG)

Given a closed Riemannian manifold $(M, g_M)$ of dimension $n \geq 3$, we prove the existence of a conformally compact Einstein metric $g_{+}$ defined on a collar neighborhood $M \times (0,1]$ whose conformal infinity is $[g_M]$.

[11]  arXiv:1712.04024 [pdf, ps, other]
Title: A Differential Harnack Inequality for the Newell-Whitehead Equation
Subjects: Analysis of PDEs (math.AP)

This paper will develop a Li-Yau-Hamilton type differential Harnack estimate for positive solutions to the Newell-Whitehead equation on $\mathbb{R}^n$. We then use our LYH-differential Harnack inequality to prove several properties about positive solutions to the equation, including deriving a classical Harnack inequality, and characterizing standing solutions and traveling wave solutions.

[12]  arXiv:1712.04026 [pdf, other]
Title: A state enumeration of the foil knot
Comments: 24 pages, 18 figures
Subjects: Combinatorics (math.CO)

We split the crossings of the foil knot and enumerate the resulting states with a generating polynomial. Unexpectedly, the number of such states which consist of two components are given by the lazy caterer's sequence. This sequence describes the maximum number of planar regions that is obtained with a given number of straight lines. We then establish a bijection between this partition of the plane and the concerned foil splits sequence.

[13]  arXiv:1712.04027 [pdf, ps, other]
Title: Linear Equations in Singular Moduli
Comments: 17 pages, submitted
Subjects: Number Theory (math.NT)

We establish an effective version of the Andr\'e-Oort conjecture for linear subspaces of $Y(1)^n_{\mathbb{C}} \approx \mathbb{A}_{\mathbb{C}}^n$. Apart from the trivial examples provided by weakly special subvarieties, this yields the first algebraic subvarieties in a Shimura variety of dimension $> 1$ whose CM-points can be (theoretically) determined.

[14]  arXiv:1712.04028 [pdf, other]
Title: Displacement interpolation using monotone rearrangement
Subjects: Numerical Analysis (math.NA)

When approximating a function that depend on a parameter, one encounters many practical examples where linear interpolation or linear approximation with respect to the parameters prove ineffective. This is particularly true for responses from hyperbolic partial differential equations (PDEs) where linear low-dimensional bases are difficult to discover. We propose the use of displacement interpolation where the interpolation is done on the Lagrangian action of the optimal transport map between the function at nearby parameters, which allows an effective dimensionality reduction of hyperbolic phenomena.

[15]  arXiv:1712.04031 [pdf, ps, other]
Title: An asymptotic property of large matrices with identically distributed Boolean independent entries
Comments: 19 pages, no figures
Subjects: Operator Algebras (math.OA); Combinatorics (math.CO)

Motivated by the recent work on asymptotic independence relations for random matrices with non-commutative entries, we investigate the limit distribution and independence relations for large matrices with identically distributed and Boolean independent entries.
More precisely, we show that, under some moment conditions, such random matrices are asymptotically $ B $-diagonal and Boolean independent from each other. The paper also gives a combinatorial condition under which such matrices are asymptotically Boolean independent from the matrix obtained by permuting the entries (thus extending a recent result in Boolean probability).
In particular, we show that random matrices considered are asymptotically Boolean independent from their partial transposes.
The main results of the paper are based on combinatorial techniques.

[16]  arXiv:1712.04032 [pdf, ps, other]
Title: Elements of contemporary mathematical theory of dynamical chaos. Part 1. Pseudohyperbolic attractors
Comments: 38 pages, 15 figures
Subjects: Dynamical Systems (math.DS)

The paper deals with topical issues of modern mathematical theory of dynamical chaos and its applications. At present, it is customary to assume that dynamical chaos in finitedimensional smooth systems can exist in three different forms. This is dissipative chaos, the mathematical image of which is a strange attractor; conservative chaos, for which the entire phase space is a large "chaotic sea" with randomly spaced elliptical islands inside it; and mixed dynamics, characterized by the principal inseparability in the phase space of attractors, repellers and conservative elements of dynamics. In the present paper (which opens a cycle of three our papers), elements of the theory of pseudo-hyperbolic attractors of multidimensional maps are presented. Such attractors, as well as hyperbolic ones, are genuine strange attractors, but they allow the existence of homoclinic tangencies. We give a mathematical definition of a pseudo-hyperbolic attractor for the case of multidimensional maps, from which we derive the necessary conditions for its existence in the three-dimensional case, formulated using the Lyapunov exponents. We also describe some phenomenological scenarios for the appearance of pseudo-hyperbolic attractors of various types in one-parameter families of three-dimensional diffeomorphisms, we propose new methods for studying such attractors (in particular, a method of saddle charts and a modified method of Lyapunov diagrams). We consider also three-dimensional generalized Henon maps as examples.

[17]  arXiv:1712.04038 [pdf, ps, other]
Title: Diversity Combining via Universal Orthogonal Space-Time Transformations
Subjects: Information Theory (cs.IT)

Receiver diversity methods play a key role in combating the detrimental effects of fading in wireless communication and other applications. Commonly used linear diversity methods include maximal ratio combining, equal gain combining and antenna selection combining. A novel linear combining method is proposed where a universal orthogonal dimension-reducing space-time transformation is applied prior to quantization of the signals. The scheme may be considered as the counterpart of Alamouti modulation, and more generally of orthogonal space-time block codes. The scheme is well-suited to reduced-complexity multiple receive-antenna analog-to-digital conversion of narrowband signals. It also provides a method to achieve diversity-enhanced relaying of communication signals, for multi-user detection at a remote terminal, minimizing the required bandwidth used in the links between relays and terminal.

[18]  arXiv:1712.04044 [pdf, ps, other]
Title: Recursive computation of the invariant distributions of Feller processes: Original applications
Comments: arXiv admin note: text overlap with arXiv:1703.04557
Subjects: Probability (math.PR)

In this paper, we show that the abstract framework developed in \cite{Pages_Rey_2017} and inspired by \cite{Lamberton_Pages_2002} can be used to build invariant distributions for Brownian diffusion processes using the Milstein scheme and for diffusion processes with censored jump using the Euler scheme. Both studies rely on a weakly mean reverting setting for both cases. For the Milstein scheme we prove the convergence for test functions with polynomial (Wasserstein convergence) and exponential growth. For the Euler scheme of diffusion processes with censored jump we prove the convergence for test functions with polynomial growth.

[19]  arXiv:1712.04045 [pdf, other]
Title: Choose your path wisely: gradient descent in a Bregman distance framework
Comments: 26 pages, 4 figures, journal submission
Subjects: Optimization and Control (math.OC)

We propose an extension of a special form of gradient descent --- in the literature known as linearised Bregman iteration --- to a larger class of non-convex functionals. We replace the classical (squared) two norm metric in the gradient descent setting with a generalised Bregman distance, based on a proper, convex and lower semi-continuous functional. The proposed algorithm is a generalisation of numerous well-known optimisation methods. Its global convergence is proven for functions that satisfy the Kurdyka-\L ojasiewicz property. Examples illustrate that for suitable choices of Bregman distances this method --- in contrast to traditional gradient descent --- allows iterating along regular solution-paths. The effectiveness of the linearised Bregman iteration in combination with early stopping is illustrated for the applications of parallel magnetic resonance imaging, blind deconvolution as well as image classification.

[20]  arXiv:1712.04047 [pdf, ps, other]
Title: Krylov integrators for Hamiltonian systems
Authors: Antti Koskela
Comments: 24 pages, 10 figures
Subjects: Numerical Analysis (math.NA)

We consider Arnoldi like processes to obtain symplectic subspaces for Hamiltonian systems. Large systems are locally approximated by ones living in low dimensional subspaces; we especially consider Krylov subspaces and some extensions. This will be utilized in two ways: solve numerically local small dimensional systems or in a given numerical, e.g. exponential, integrator, use the subspace for approximations of necessary functions. In the former case one can expect an excellent energy preservation. For the latter this is so for linear systems. For some second order exponential integrators we consider these two approaches are shown to be equivalent. In numerical experiments with nonlinear Hamiltonian problems their behaviour seems promising.

[21]  arXiv:1712.04051 [pdf, ps, other]
Title: Irreducible Polynomials with Varying Constraints on Coefficients
Authors: Eyal Moses
Comments: This is the final version of an MSc thesis as submitted to Tel Aviv University on July 31, 2017
Subjects: Number Theory (math.NT)

We study the number of prime polynomials of degree $n$ over $\mathbb{F}_q$ in which the $i^{th}$ coefficient is either preassigned to be $a_i \in \mathbb{F}_q$ or outside a small set $S_i \subset \mathbb{F}_q$. This serves as a function field analogue of a recent work of Maynard, which counts integer primes that do not have specific digits in their base-$q$ expansion. Our work relates to Pollack's and Ha's work, which count the amount of prime polynomials with $\ll \sqrt{n}$ and $\ll n$ preassigned coefficients, respectively. Our result demonstrates how one can prove asymptotics of the number of prime polynomials with different types of constraints to each coefficient.

[22]  arXiv:1712.04052 [pdf, ps, other]
Title: On the Lipman-Zariski conjecture for logarithmic vector fields on log canonical pairs
Authors: Hannah Bergner
Subjects: Algebraic Geometry (math.AG); Complex Variables (math.CV)

We consider a version of the Lipman-Zariski conjecture for logarithmic vector fields and logarithmic $1$-forms on pairs. Let $(X,D)$ be a pair consisting of a normal complex variety $X$ and an effective Weil divisor $D$ such that the sheaf of logarithmic vector fields (or dually the sheaf of reflexive logarithmic $1$-forms) is locally free. We prove that in this case the following holds: If $(X,D)$ is dlt, then $X$ is necessarily smooth and $\lfloor D\rfloor $ is snc. If $(X,D)$ is lc or the logarithmic $1$-forms are locally generated by closed forms, then $(X,\lfloor D\rfloor)$ is toroidal.

[23]  arXiv:1712.04060 [pdf, ps, other]
Title: A multi-parameter variant of the Erdős distance problem
Comments: 19 Pages
Subjects: Combinatorics (math.CO)

We study the following variant of the Erd\H{o}s distance problem. Given $E$ and $F$ a point sets in $\mathbb{R}^d$ and $p = (p_1, \ldots, p_q)$ with $p_1+ \cdots + p_q = d$ is an increasing partition of $d$ define $$ B_p(E,F)=\{(|x_1-y_1|, \ldots, |x_q-y_q|): x \in E, y \in F \},$$ where $x=(x_1, \ldots, x_q)$ with $x_i$ in $\mathbb{R}^{p_i}$. For $p_1 \geq 2$ it is not difficult to construct $E$ and $F$ such that $|B_{p}(E,F)|=1$. On the other hand, it is easy to see that if $\gamma_q$ is the best know exponent for the distance problem in $\mathbb{R}^{p_i}$ that $|B_p(E,E)| \geq C{|E|}^{\frac{\gamma_q}{q}}$. The question we study is whether we can improve the exponent $\frac{\gamma_q}{q}$. We first study partitions of length two in detail and prove the optimal result (up to logarithms) that $$ |B_{2,2}(E)| \gtrapprox |E|.$$ In the generalised two dimensional case for $B_{k,l}$ we need the stronger condition that $E$ is $s$-adaptable for $s<\frac{k}{2}+\frac{1}{3}$, letting $\gamma_m$ be the best known exponent for the Erd\H{o}s-distance problem in $\mathbb{R}^m$ for $k \neq l$ we gain a further optimal result of, $$ |B_{k,l}(E)| \gtrapprox |E|^{\gamma_l}.$$ When $k=l$ we use the explicit $\gamma_m=\frac{m}{2}-\frac{2}{m(m+2)}$ result due to Solymosi and Vu to gain $$ |B_{k,k}(E)| \gtrapprox |E|^{\frac{13}{14}\gamma_k}.$$ For a general partition, let $\gamma_i = \frac{2}{p_i}-\frac{2}{p_i(p_i+2)}$ and $\eta_i = \frac{2}{2d-(p_i-1)}$. Then if $E$ is $s$-adaptable with $s>d-\frac{p_1}{2}+\frac{1}{3}$ we have $$ B_p(E) \gtrapprox |E|^\tau \hspace{0.5cm} \text{where} \hspace{0.5cm} \tau = \gamma_q\left(\frac{\gamma_1+\eta_1}{\gamma_q+(q-1)(\gamma_1+\eta_1)}\right).$$ Where $p_i \sim \frac{d}{q}$ implies $\tau \sim \gamma_{q}\left(\frac{1}{q}+\frac{1}{dq}\right)$ and $p_q \sim d$ (with $q<<d$) implies $\tau \sim \gamma_{q}\left(\frac{1}{q}+\frac{1}{q^2}\right)$.

[24]  arXiv:1712.04061 [pdf, ps, other]
Title: Local boundedness of solutions to nonlocal equations modeled on the fractional p-Laplacian
Subjects: Analysis of PDEs (math.AP)

We state and prove estimates for the local boundedness of subsolutions of non-local, possibly degenerate, parabolic integro-differential equations of the form \begin{equation*}
\partial_tu(x,t)+\mbox{P.V.}\int\limits_{\mathbb R^n}K(x,y,t) |u(x,t)-u(y,t) |^{p-2}(u(x,t)-u(y,t))\, dy,\end{equation*} $(x,t)\in\mathbb R^n\times\mathbb R$, where $\mbox{P.V.} $ means in the principle value sense, $p\in (1,\infty)$ and the kernel obeys $K(x,y,t)\approx |x-y |^{n+ps}$ for some $s\in (0,1)$, uniformly in $(x,y,t)\in\mathbb R^n\times \mathbb R^n\times\mathbb R$.

[25]  arXiv:1712.04064 [pdf, other]
Title: Stable Signatures for Dynamic Metric Spaces via Zigzag Persistent Homology
Comments: 54 pages
Subjects: Algebraic Topology (math.AT); Computational Geometry (cs.CG)

When studying flocking/swarming behaviors in animals one is interested in quantifying and comparing the dynamics of the clustering induced by the coalescence and disbanding of animals in different groups. Motivated by this, we study the problem of obtaining persistent homology based summaries of time-dependent metric data. Given a finite dynamic metric space (DMS), we construct the zigzag simplicial filtration arising from applying the Rips simplicial complex construction (with a fixed scale parameter) to this finite DMS. Upon passing to $0$-th homology with field coefficients, we obtain a zigzag persistence module and, based on standard results, we in turn obtain a persistence diagram or barcode from this zigzag persistence module. We prove that these barcodes are stable under perturbations in the input DMS. In order to formalize the notion of perturbation we introduce a suitable distance between DMSs and we then prove that the value of this distance between any two DMSs admits as a lower bound the bottleneck distance between the Rips barcodes associated to each of two input DMSs. This lower bound can be computed in polynomial time from the DMS inputs.
Along the way, we propose a summarization of dynamic metric spaces that captures their time-dependent clustering features which we call formigrams. These set-valued functions generalize the notion of dendrogram, a prevalent tool for hierarchical clustering.
In order to elucidate the relationship between our distance between two dynamic metric spaces and the bottleneck distance between their Rips zigzag barcodes, we exploit recent advances in the stability of zigzag persistence (due to Botnan and Lesnick). By providing explicit constructions, we prove that for each integer $k\geq 1$ there exist pairs of DMSs at finite interleaving distance whose $k$-th persistent homology barcodes are at infinite barcode distance.

[26]  arXiv:1712.04067 [pdf, ps, other]
Title: Higher transitive quantum groups: theory and models
Authors: Teodor Banica
Comments: 12 pages
Subjects: Quantum Algebra (math.QA)

We investigate the notion of $k$-transitivity for the quantum permutation groups $G\subset S_N^+$, with a brief review of the known $k=1,2$ results, and with a study of what happens at $k\geq3$. We discuss then matrix modelling questions for the algebras $C(G)$, notably by introducing the related notions of double and triple flat matrix model. At the level of the examples, our main results concern the quantum groups coming from the complex Hadamard matrices, and from the Weyl matrices.

[27]  arXiv:1712.04068 [pdf, other]
Title: On radial Schroedinger operators with a Coulomb potential
Comments: 44 pages
Subjects: Mathematical Physics (math-ph); Spectral Theory (math.SP)

This paper presents a thorough analysis of 1-dimensional Schroedinger operators whose potential is a linear combination of the Coulomb term 1/r and the centrifugal term 1/r^2. We allow both coupling constants to be complex. Using natural boundary conditions at 0, a two parameter holomorphic family of closed operators is introduced. We call them the Whittaker operators, since in the mathematical literature their eigenvalue equation is called the Whittaker equation. Spectral and scattering theory for Whittaker operators is studied. Whittaker operators appear in quantum mechanics as the radial part of the Schroedinger operator with a Coulomb potential.

[28]  arXiv:1712.04070 [pdf, ps, other]
Title: Tail asymptotics of light-tailed Weibull-like sums
Subjects: Probability (math.PR)

We consider sums of $n$ i.i.d. random variables with tails close to $\exp\{-x^\beta\}$ for some $\beta>1$. Asymptotics developed by Rootz\'en (1987) and Balkema, Kl\"uppelberg & Resnick (1993) are discussed from the point of view of tails rather of densities, using a somewhat different angle, and supplemented with bounds, results on a random number $N$ of terms, and simulation algorithms.

[29]  arXiv:1712.04080 [pdf, ps, other]
Title: Matroids, antimatroids, and the generalized external order
Subjects: Combinatorics (math.CO)

Las Vergnas's active orders are a collection of partial orders on the bases of a matroid which are derived from the classical notion of matroid activity. In this paper, we construct a generalization of Las Vergnas's external order which is defined on the independence complex of a matroid. We show that this poset is a refinement of the geometric lattice of flats of the matroid, and has the structure of a supersolvable join-distributive lattice. We uniquely characterize the lattices which are isomorphic to the external order of a matroid, and we explore a correspondence between matroid and antimatroid minors which arises from the poset construction.

[30]  arXiv:1712.04081 [pdf, ps, other]
Title: Hypergraphs not containing a tight tree with a bounded trunk
Comments: 14 pages
Subjects: Combinatorics (math.CO)

An $r$-uniform hypergraph is a tight $r$-tree if its edges can be ordered so that every edge $e$ contains a vertex $v$ that does not belong to any preceding edge and the set $e-v$ lies in some preceding edge. A conjecture of Kalai [Kalai], generalizing the Erd\H{o}s-S\'os Conjecture for trees, asserts that if $T$ is a tight $r$-tree with $t$ edges and $G$ is an $n$-vertex $r$-uniform hypergraph containing no copy of $T$ then $G$ has at most $\frac{t-1}{r}\binom{n}{r-1}$ edges.
A trunk $T'$ of a tight $r$-tree $T$ is a tight subtree such that every edge of $T-T'$ has $r-1$ vertices in some edge of $T'$ and a vertex outside $T'$. For $r\ge 3$, the only nontrivial family of tight $r$-trees for which this conjecture has been proved is the family of $r$-trees with trunk size one in [FF] from 1987. Our main result is an asymptotic version of Kalai's conjecture for all tight trees $T$ of bounded trunk size. This follows from our upper bound on the size of a $T$-free $r$-uniform hypergraph $G$ in terms of the size of its shadow. We also give a short proof of Kalai's conjecture for tight $r$-trees with at most four edges. In particular, for $3$-uniform hypergraphs, our result on the tight path of length $4$ implies the intersection shadow theorem of Katona [Katona].

[31]  arXiv:1712.04084 [pdf, ps, other]
Title: Fourier spectral approximation for the convective Cahn-Hilliard equation in 2D cas
Subjects: Numerical Analysis (math.NA)

In this paper, we consider the Fourier spectral method for numerically solving the 2D convective Cahn-Hilliard equation. The semi-discrete and fully discrete schemes are established. Moreover, the existence, uniqueness and the optimal error bound are also considered.

[32]  arXiv:1712.04085 [pdf, ps, other]
Title: A new way to exclude collisions with order constraints
Subjects: Dynamical Systems (math.DS)

A new geometric argument is introduced to exclude binary collisions with order constraints. Two applications are given in this paper.
The first application is to show the existence of a new set of periodic orbits in the planar three-body problem with mass $M=[1, \, m, \, m]$, where we study the action minimizer under topological constraints in a two-point free boundary value problem. The main difficulty is to exclude possible binary collisions under order constraints, which is solved by our geometric argument.
The second application is to study the set of retrograde orbits in the planar three-body problem with mass $M=[1, \, m, \, m]$. We can show the existence for any $m>0$ and any rotation angle $\theta \in (0, \pi/2)$. Specially, in the case when $\theta=\pi/2$, the action minimizer coincide with either the Schubart orbit or the Broucke-H\'{e}non orbit, which partially answers the open problem proposed by Venturelli.

[33]  arXiv:1712.04087 [pdf, ps, other]
Title: Local sensitivity analysis for the Cucker-Smale model with random inputs
Comments: 32 pages
Subjects: Dynamical Systems (math.DS)

We present pathwise flocking dynamics and local sensitivity analysis for the Cucker-Smale(C-S) model with random communications and initial data. For the deterministic communications, it is well known that the C-S model can model emergent local and global flocking dynamics depending on initial data and integrability of communication function. However, the communication mechanism between agents are not a priori clear and needs to be figured out from observed phenomena and data. Thus, uncertainty in communication is an intrinsic component in the flocking modeling of the C-S model. In this paper, we provide a class of admissible random uncertainties which allows us to perform the local sensitivity analysis for flocking and establish stability to the random C-S model with uncertain communication.

[34]  arXiv:1712.04089 [pdf, other]
Title: Regularity of Kleinian limit sets and Patterson-Sullivan measures
Comments: 33 pages, 6 figures
Subjects: Dynamical Systems (math.DS); Classical Analysis and ODEs (math.CA); Group Theory (math.GR); Metric Geometry (math.MG)

We consider several (related) notions of geometric regularity in the context of limit sets of geometrically finite Kleinian groups and associated Patterson-Sullivan measures. We begin by computing the upper and lower regularity dimensions of the Patterson-Sullivan measure, which involves controlling the relative measure of concentric balls. We then compute the Assouad and lower dimensions of the limit set, which involves controlling local doubling properties. Unlike the Hausdorff, packing, and box-counting dimensions, we show that the Assouad and lower dimensions are not necessarily given by the Poincar\'e exponent.

[35]  arXiv:1712.04091 [pdf, ps, other]
Title: On ancient solutions of the heat equation
Comments: 15 pages
Subjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)

An explicit representation formula for all positive ancient solutions of the heat equation in the Euclidean case is found. In the Riemannian case with nonnegative Ricci curvature, a similar but less explicit formula is also found. It is also shown that the linear space of ancient solutions of polynomial growth has finite dimension and these solutions are polynomials in time.

[36]  arXiv:1712.04095 [pdf, other]
Title: Systems of Points with Coulomb Interactions
Authors: Sylvia Serfaty
Comments: 30 pages, to appear as Proceedings of the ICM2018
Subjects: Mathematical Physics (math-ph); Analysis of PDEs (math.AP); Probability (math.PR)

Large ensembles of points with Coulomb interactions arise in various settings of condensed matter physics, classical and quantum mechanics, statistical mechanics, random matrices and even approximation theory, and give rise to a variety of questions pertaining to calculus of variations, Partial Differential Equations and probability. We will review these as well as "the mean-field limit" results that allow to derive effective models and equations describing the system at the macroscopic scale. We then explain how to analyze the next order beyond the mean-field limit, giving information on the system at the microscopic level. In the setting of statistical mechanics, this allows for instance to observe the effect of the temperature and to connect with crystallization questions.

[37]  arXiv:1712.04098 [pdf, ps, other]
Title: Normal Convergence Using Malliavin Calculus With Applications and Examples
Comments: arXiv admin note: substantial text overlap with arXiv:1104.1837
Journal-ref: Stochastic Analysis and Applications 2017
Subjects: Probability (math.PR)

We prove the chain rule in the more general framework of the Wiener-Poisson space, allowing us to obtain the so-called Nourdin-Peccati bound. From this bound we obtain a second-order Poincare-type inequality that is useful in terms of computations. For completeness we survey these results on the Wiener space, the Poisson space, and the Wiener-Poisson space. We also give several applications to central limit theorems with relevant examples: linear functionals of Gaussian subordinated fields (where the subordinated field can be processes like fractional Brownian motion or the solution of the Ornstein-Uhlenbeck SDE driven by fractional Brownian motion), Poisson functionals in the first Poisson chaos restricted to infinitely many \small" jumps (particularly fractional Levy processes) and the product of two Ornstein-Uhlenbeck processes (one in the Wiener space and the other in the Poisson space). We also obtain bounds for their rate of convergence to normality.

[38]  arXiv:1712.04099 [pdf, ps, other]
Title: Towards a proof of the 24-cell conjecture
Authors: Oleg R. Musin
Comments: 18 pages
Subjects: Metric Geometry (math.MG); Combinatorics (math.CO)

This review paper is devoted to the problems of sphere packings in 4 dimensions. The main goal is to find reasonable approaches for solutions to problems related to densest sphere packings in 4-dimensional Euclidean space. We consider two long-standing open problems: the uniqueness of maximum kissing arrangements in 4 dimensions and the 24-cell conjecture. Note that a proof of the 24-cell conjecture also proves that the checkerboard lattice packing D4 is the densest sphere packing in 4 dimensions.

[39]  arXiv:1712.04104 [pdf, ps, other]
Title: Convergence Rates for Deterministic and Stochastic Subgradient Methods Without Lipschitz Continuity
Authors: Benjamin Grimmer
Comments: 15 pages
Subjects: Optimization and Control (math.OC); Learning (cs.LG)

We generalize the classic convergence rate theory for subgradient methods to apply to non-Lipschitz functions via a new measure of steepness. For the deterministic projected subgradient method, we derive a global $O(1/\sqrt{T})$ convergence rate for any function with at most exponential growth. Our approach implies generalizations of the standard convergence rates for gradient descent on functions with Lipschitz or H\"older continuous gradients. Further, we show a $O(1/\sqrt{T})$ convergence rate for the stochastic projected subgradient method on functions with at most quadratic growth, which improves to $O(1/T)$ under strong convexity.

[40]  arXiv:1712.04106 [pdf, ps, other]
Title: Sparse Phase Retrieval via Sparse PCA despite Model Misspecification: A Simplified and Extended Analysis
Authors: Yan Shuo Tan
Subjects: Information Theory (cs.IT); Learning (cs.LG); Statistics Theory (math.ST)

We consider the problem of high-dimensional misspecified phase retrieval. This is where we have an $s$-sparse signal vector $\boldx_*$ in $\R^n$, which we wish to recover using sampling vectors $\bolda_1,\ldots,\bolda_m$, and measurements $y_1,\ldots,y_m$, which are related by the equation $f(\inprod{\bolda_i,\boldx_*}) = y_i$. Here, $f$ is an unknown link function satisfying a positive correlation with the quadratic function. This problem was recently analyzed in \cite{Wang2016a}, which provided recovery guarantees for a two-stage algorithm with sample complexity $m = O(s^2\log n)$. In this paper, we show that the first stage of their algorithm suffices for signal recovery with the same sample complexity, and extend the analysis to non-Gaussian measurements. Furthermore, we show how the algorithm can be generalized to recover a signal vector $\boldx_*$ efficiently given geometric prior information other than sparsity.

[41]  arXiv:1712.04121 [pdf, ps, other]
Title: On relative Gromov--Witten invariants of projective completions of vector bundles
Authors: Cheng-Yong Du
Comments: 14pages; accepted for publication in SCIENCE CHINA Mathematics
Subjects: Symplectic Geometry (math.SG); Algebraic Geometry (math.AG)

It was proved by Fan--Lee and Fan that the absolute Gromov--Witten invariants of two projective bundles $\mathbb P(V_i)\rightarrow X$ are identified canonically when the total Chern classes $c(V_1)=c(V_2)$ for two bundles $V_1$ and $V_2$ over a smooth projective variety $X$. In this note we show that for the two projective completions $\mathbb P(V_i\oplus\mathcal O)$ of $V_i$ and their infinity divisors $\mathbb P(V_i)$, the relative Gromov--Witten invariants of $(\mathbb P(V_i\oplus\mathcal O),\mathbb P(V_i))$ are identified canonically when $c(V_1)=c(V_2)$.

[42]  arXiv:1712.04122 [pdf, other]
Title: Performance guarantees for greedy maximization of non-submodular set functions in systems and control
Subjects: Optimization and Control (math.OC); Systems and Control (cs.SY)

A key problem in emerging complex cyber-physical networks is the design of information and control topologies, including sensor and actuator selection and communication network design. These problems can be posed as combinatorial set function optimization problems to maximize a dynamic performance metric for the network. Some systems and control metrics feature a property called submodularity, which allows simple greedy algorithms to obtain provably near-optimal topology designs. However, many important metrics lack submodularity and therefore lack any guarantees from the existing theory. Here we show that performance guarantees can be obtained for greedy maximization of certain non-submodular functions of the controllability and observability Gramians. We derive from bounds on two key quantities: the submodularity ratio, which quantifies how far a set function is from being submodular, and the generalized curvature, which quantifies how far a set function is from being modular. Numerical experiments illustrate the results.

[43]  arXiv:1712.04124 [pdf]
Title: On the Ergodic Capacity of Composite Fading Channels in Cognitive Radios with the Product of $κ$-$μ$ and $α$-$μ$ Variates
Subjects: Information Theory (cs.IT)

In this study, the product of two independent and non-identically distributed (i.n.i.d.) random variables (RVs) for \k{appa}-{\mu} fading distribution and {\alpha}-{\mu} fading distribution is considered. The method of the product model of RVs has been widely applied in numerous of communications fields, such as cascaded fading channels, multiple input multiple output (MIMO) systems, radar communications and cognitive radio networks (CRs). The exact series expressions of the product of two i.n.i.d. RVs X for \k{appa}-{\mu} variates and Y for {\alpha}-{\mu} variates are derived instead of Fox H-function to solve the problem that Fox H-function in the RVs product could not be implemented in popular mathematical software packages as Mathematica and Maple. Novel Exact close-form expressions of probability density function (PDF) and cumulative distribution function (CDF) of proposed models are deduced to present the series expressions of product and generalized composite multipath shadowing models. Furthermore, novel exact expressions of the ergodic channel capacity (ECC) are obtained under optimal rate adaptation with constant transmit power (ORA). At last, these analytical results are confirmed with monte-carlo simulations to evaluate spectrum efficiency over generalized composite shadowing fading scenarios in CRs.

[44]  arXiv:1712.04125 [pdf, ps, other]
Title: On homologically locally connected spaces
Comments: 20 pages
Subjects: Geometric Topology (math.GT); General Topology (math.GN)

We provide some properties and characterizations of homologically $UV^n$-maps and $lc^n_G$-spaces. We show that there is a parallel between recently introduced by Cauty algebraic $ANR$'s and homologically $lc^n_G$-metric spaces, and this parallel is similar to the parallel between ordinary $ANR$'s and $LC^n$-metric spaces. We also show that there is a similarity between the properties of $LC^n$-spaces and $lc^n_G$-spaces. Some open questions are raised.

[45]  arXiv:1712.04130 [pdf, other]
Title: Topology of Privacy: Lattice Structures and Information Bubbles for Inference and Obfuscation
Authors: Michael Erdmann
Comments: 154 pages, 76 figures, main narrative written for a general audience, detailed proofs in appendices
Subjects: Combinatorics (math.CO); Cryptography and Security (cs.CR)

Information has intrinsic geometric and topological structure, arising from relative relationships beyond absolute values or types. For instance, the fact that two people share a meal describes a relationship independent of the meal's ingredients. Multiple such relationships give rise to relations and their lattices. Lattices have topology. That topology informs the ways in which information may be observed, hidden, inferred, and dissembled.
Dowker's Theorem establishes a homotopy equivalence between two simplicial complexes derived from a relation. From a privacy perspective, one complex describes individuals with common attributes, the other describes attributes shared by individuals. The homotopy equivalence produces a lattice. An element in the lattice consists of two components, one being a set of individuals, the other being a set of attributes. The lattice operations join and meet each amount to set intersection in one component and set union followed by a potentially privacy-puncturing inference in the other component.
Privacy loss appears as simplicial collapse of free faces. Such collapse is local, but the property of fully preserving both attribute and association privacy requires a global condition: a particular kind of spherical hole. By looking at the link of an identifiable individual in its encompassing Dowker complex, one can characterize that individual's attribute privacy via another sphere condition. Even when long-term attribute privacy is impossible, homology provides lower bounds on how an individual may defer identification, when that individual has control over how to reveal attributes. Intuitively, the idea is to first reveal information that could otherwise be inferred. This last result highlights privacy as a dynamic process. Privacy loss may be cast as gradient flow. Harmonic flow for privacy preservation may be fertile ground for future research.

[46]  arXiv:1712.04133 [pdf, other]
Title: The Gaussian Interference Channel in the Presence of Malicious Jammers
Comments: It has been submitted to the IEEE transactions on information theory
Subjects: Information Theory (cs.IT)

This paper considers the two-user Gaussian interference channel in the presence of adversarial jammers. We first provide a general model including an arbitrary number of jammers, and show that its capacity region is equivalent to that of a simplified model in which the received jamming signal at each decoder is independent. Next, existing outer and inner bounds for two-user Gaussian interference channel are generalized for this simplified jamming model. We show that for certain problem parameters, precisely the same bounds hold, but with the noise variance increased by the received power of the jammer at each receiver. Thus, the jammers can do no better than to transmit Gaussian noise. For these problem parameters, this allows us to recover the half-bit theorem. In weak and strong interference regime, our inner bound matches the corresponding Han-Kobayashi bound with increased noise variance by the received power of the jammer, and even in strong interference we achieve the exact capacity. Furthermore, we determine the symmetric degrees of freedom where the signal-to-noise, interference-to-noise and jammer-to-noise ratios are all tend to infinity. Moreover, we show that, if the jammer has greater received power than the legitimate user, symmetrizability makes the capacity zero. The proof of the outer bound is straightforward, while the inner bound generalizes the Han-Kobayashi rate splitting scheme. As a novel aspect, the inner bound takes advantage of the common message acting as common randomness for the private message; hence, the jammer cannot symmetrize only the private codeword without being detected. This complication requires an extra condition on the signal power, so that in general our inner bound is not identical to the Han-Kobayashi bound. We also prove a new variation of the packing lemma that applies for multiple Gaussian codebooks in an adversarial setting.

[47]  arXiv:1712.04135 [pdf, other]
Title: Deep Learning for Reliable Mobile Edge Analytics in Intelligent Transportation Systems
Comments: 5 figures
Subjects: Information Theory (cs.IT); Machine Learning (stat.ML)

Intelligent transportation systems (ITSs) will be a major component of tomorrow's smart cities. However, realizing the true potential of ITSs requires ultra-low latency and reliable data analytics solutions that can combine, in real-time, a heterogeneous mix of data stemming from the ITS network and its environment. Such data analytics capabilities cannot be provided by conventional cloud-centric data processing techniques whose communication and computing latency can be high. Instead, edge-centric solutions that are tailored to the unique ITS environment must be developed. In this paper, an edge analytics architecture for ITSs is introduced in which data is processed at the vehicle or roadside smart sensor level in order to overcome the ITS latency and reliability challenges. With a higher capability of passengers' mobile devices and intra-vehicle processors, such a distributed edge computing architecture can leverage deep learning techniques for reliable mobile sensing in ITSs. In this context, the ITS mobile edge analytics challenges pertaining to heterogeneous data, autonomous control, vehicular platoon control, and cyber-physical security are investigated. Then, different deep learning solutions for such challenges are proposed. The proposed deep learning solutions will enable ITS edge analytics by endowing the ITS devices with powerful computer vision and signal processing functions. Preliminary results show that the proposed edge analytics architecture, coupled with the power of deep learning algorithms, can provide a reliable, secure, and truly smart transportation environment.

[48]  arXiv:1712.04136 [pdf, other]
Title: Non-Commutative Chern Numbers for Generic Aperiodic Discrete Systems
Comments: 43 pages, 4 figures
Subjects: Mathematical Physics (math-ph); Disordered Systems and Neural Networks (cond-mat.dis-nn)

The search for strong topological phases in generic aperiodic materials and meta-materials is now vigorously pursued by the condensed matter physics community. In this work, we first introduce the concept of patterned resonators as a unifying theoretical framework for topological electronic, photonic, phononic etc. (aperiodic) systems, and discuss in physical terms the philosophy behind an operator theoretic analysis used to systematize such systems. We then present a model calculation of the Hall conductance of a 2-dimensional amorphous lattice and present numerical evidence of its quantization in the mobility gap regime. Motivated by such facts, we then present the main result of our work, which is the extension of the Chern number formulas to Hamiltonians associated to lattices without a canonical labeling of the sites, together with index theorems that assure the quantization and stability of these Chern numbers in the mobility gap regime. Our results cover a broad range of applications, in particular, those involving quasi-crystalline, amorphous as well as synthetic (i.e. algorithmically generated) lattices.

[49]  arXiv:1712.04140 [pdf, ps, other]
Title: Binary quadratic forms and ray class groups
Subjects: Number Theory (math.NT)

Let $K$ be an imaginary quadratic field different from $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$. For a positive integer $N$, let $K_\mathfrak{n}$ be the ray class field of $K$ modulo $\mathfrak{n}=N\mathcal{O}_K$. By using the congruence subgroup $\pm\Gamma_1(N)$, we construct an extended form class group whose operation is basically the Dirichlet composition, and explicitly show that this group is isomorphic to the Galois group $\mathrm{Gal}(K_\mathfrak{n}/K)$. We also present algorithms to find all form classes and show how to multiply two form classes. As an application, we describe $\mathrm{Gal}(K_\mathfrak{n}^\mathrm{ab}/K)$ in terms of these extended form class groups for which $K_\mathfrak{n}^\mathrm{ab}$ is the maximal abelian extension of $K$ unramified outside prime ideals dividing $\mathfrak{n}$.

[50]  arXiv:1712.04141 [pdf, other]
Title: Ideals in the Goldman Algebra
Authors: Minh Nguyen
Comments: 27 pages
Subjects: Algebraic Topology (math.AT); Geometric Topology (math.GT)

The goal of this work is to study the ideals of the Goldman Lie algebra $S$. To do so, we construct an algebra homomorphism from $S$ to a simpler algebraic structure, and focus on finding ideals of this new structure instead. The structure $S$ can be regarded as either a $\mathbb{Q}$-module or a $\mathbb{Q}$-module generated by free homotopy classes. For $\mathbb{Z}$-module case, we proved that there is an infinite class of ideals of $S$ that contain a certain finite set of free homotopy classes. For $\mathbb{Q}$-module case, we can classify all the ideals of the new structure and consequently obtain a new class of ideals of the original structure. Finally, we show an interesting infinite chain of ideals that are not those ideals obtained by considering the new structure.

[51]  arXiv:1712.04150 [pdf, ps, other]
Title: A viscosity-independent error estimate of a pressure-stabilized Lagrange-Galerkin scheme for the Oseen problem
Authors: Shinya Uchiumi
Subjects: Numerical Analysis (math.NA)

We consider a pressure-stabilized Lagrange-Galerkin scheme for the transient Oseen problem with small viscosity. In the scheme we use the equal-order approximation of order $k$ for both the velocity and pressure, and add a symmetric pressure stabilization term. We show an error estimate for the velocity with a constant independent of the viscosity if the exact solution is sufficiently smooth. Numerical examples show high accuracy of the scheme for problems with small viscosity.

[52]  arXiv:1712.04152 [pdf, other]
Title: Determinant expressions of constraint polynomials and the spectrum of the asymmetric quantum Rabi model
Subjects: Mathematical Physics (math-ph); Representation Theory (math.RT); Quantum Physics (quant-ph)

The purpose of the present paper is to study the exceptional eigenvalues of the asymmetric quantum Rabi models (AQRM), specifically, to determine the degeneracy of the exceptional eigenstates. Exceptional eigenvalues are labelled by certain integers and are considered to be remains of the eigenvalues of the uncoupled bosonic mode (i.e. the quantum harmonic oscillator). There are two kind of exceptional eigenvalues of the Hamiltonian $H^{\epsilon}_{\text{Rabi}}$ of the AQRM: the Juddian, associated with polynomial, or quasi-exact, eigensolutions, and the non-Juddian exceptional. Here, $H^{\epsilon}_{\text{Rabi}}$ is defined by adding the fluctuation term $\epsilon \sigma_x$, with real $\epsilon$ and $\sigma_x$ being the Pauli matrix, to the Hamiltonian of the quantum Rabi model (QRM), breaking its $\mathbb{Z}_2$-symmetry. An eigenvalue which is not exceptional is called regular and is always non-degenerate. We describe the constraint relations for allowing the model to have exceptional eigenvalues. The study of these relations helps us to obtain crucial information for the spectral degeneracy, in particular, the proof of the conjecture on constraint polynomials proposed by the third author. In fact, we prove that the spectrum of the AQRM possesses a degenerate eigenvalue if and only if the parameter $\epsilon$ is a half integer. Moreover, by an extensive study of constraint relations for the non-Juddian exceptional spectrum we show that the degeneracy occurs only among Juddian solutions, that is, non-Juddian exceptional eigenvalues do not contribute any degeneracy and we characterize exceptional eigenvalues by representations of $\mathfrak{sl}_2$. Upon these results, we draw the whole picture of the spectrum of the AQRM. Furthermore, generating functions of constraint polynomials with their defining sequence from the viewpoints of confluent Heun equations are also discussed.

[53]  arXiv:1712.04153 [pdf, ps, other]
Title: On connections between domain specific constants in some norm inequalities
Authors: Sándor Zsuppán
Comments: 14 pages, 0 figures
Subjects: Analysis of PDEs (math.AP)

We derive connections between optimal domain specific constants figuring in the Friedrichs-Velte inequality for conjugate harmonic functions, in the Babu\v{s}ka-Aziz inequality for the divergence and in the improved Poincar\'e inequality for the gradient. With the same method we obtain for spatial domains an improved Poincar\'e inequality for the rotation in connection with the corresponding Babu\v{s}ka-Aziz inequality.

[54]  arXiv:1712.04156 [pdf, ps, other]
Title: Extremizers for the Airy-Strichartz inequality
Authors: Rupert L. Frank (1), Julien Sabin (2) ((1) LMU, (2) LMO)
Subjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)

We identify the compactness threshold for optimizing sequences of the Airy-- Strichartz inequality as an explicit multiple of the sharp constant in the Strichartz inequality. In particular, if the sharp constant in the Airy--Strichartz inequality is strictly smaller than this multiple of the sharp constant in the Strichartz inequality, then there is an optimizer for the former inequality. Our result is valid for the full range of Airy--Strichartz inequalities (except the endpoints) both in the diagonal and off-diagonal cases.

[55]  arXiv:1712.04160 [pdf, ps, other]
Title: Singular solutions to the Riemann problem for the pressureless Euler equations with discontinuous source term
Authors: Qingling Zhang
Subjects: Analysis of PDEs (math.AP)

In this paper, the Riemann problem for the pressureless Euler equations with a discontinuous source term is considered. The delta shock wave solution is obtained by combining the generalized Rankine-Hugoniot conditions together with the method of characteristics for different situations, which reflects the impact of the source term on the delta shock front. Moreover, during the construction process of the Riemann solution, some interesting phenomena are also observed, such as the disappearance of the delta shock wave and the occurrence of the vacuum state, etc.

[56]  arXiv:1712.04167 [pdf, ps, other]
Title: On purity theorem of Lusztig's perverse sheaves
Comments: 15 pages
Subjects: Representation Theory (math.RT); Algebraic Geometry (math.AG); Quantum Algebra (math.QA)

Let $Q$ be a finite quiver without loops and $\mathcal{Q}_{\alpha}$ be the Lusztig category for any dimension vector $\alpha$. The purpose of this paper is to prove that all Frobenius eigenvalues of the $i$-th cohomology $\mathcal{H}^i(\mathcal{L})|_x$ for a simple perverse sheaf $\mathcal{L}\in \mathcal{Q}_{\alpha}$ and $x\in \mathbb{E}_{\alpha}^{F^n}=\mathbb{E}_{\alpha}(\mathbb{F}_{q^n})$ are equal to $(\sqrt{q^n})^{i}$ as a conjecture given by Schiffmann (\cite{Schiffmann2}). As an application, we prove the existence of a class of Hall polynomials.

[57]  arXiv:1712.04169 [pdf, ps, other]
Title: Dirac Index and associated cycles of Harish-Chandra modules
Subjects: Representation Theory (math.RT)

Let $G_{\mathbb{R}}$ be a simple real linear Lie group with maximal compact subgroup $K_{\mathbb{R}}$ and assume that ${\rm rank}(G_\mathbb{R})={\rm rank}(K_\mathbb{R})$. For any representation $X$ of Gelfand-Kirillov dimension $\frac{1}{2} {\rm dim}(G_{\mathbb{R}}/K_{\mathbb{R}})$, we consider the polynomial on the dual of a compact Cartan subalgebra given by the dimension of the Dirac index of members of the coherent family containing $X$. Under a technical condition involving the Springer correspondence, we establish an explicit relationship between this polynomial and the multiplicities of the irreducible components occurring in the associated cycle of $X$. This relationship was conjectured in \cite{MehdiPandzicVogan15}.

[58]  arXiv:1712.04173 [pdf, ps, other]
Title: Computing the associatied cycles of certain Harish-Chandra modules
Subjects: Representation Theory (math.RT)

Let $G_{\mathbb{R}}$ be a simple real linear Lie group with maximal compact subgroup $K_{\mathbb{R}}$ and assume that ${\rm rank}(G_\mathbb{R})={\rm rank}(K_\mathbb{R})$. In \cite{MPVZ} we proved that for any representation $X$ of Gelfand-Kirillov dimension $\frac{1}{2}\dim(G_{\mathbb{R}}/K_{\mathbb{R}})$, the polynomial on the dual of a compact Cartan subalgebra given by the dimension of the Dirac index of members of the coherent family containing $X$ is a linear combination, with integer coefficients, of the multiplicities of the irreducible components occurring in the associated cycle. In this paper we compute these coefficients explicitly.

[59]  arXiv:1712.04180 [pdf, ps, other]
Title: Global weak solutions to 3D compressible Primitive equations with density-dependent viscosity
Comments: 38 pages. arXiv admin note: text overlap with arXiv:1511.03841
Subjects: Analysis of PDEs (math.AP)

This paper is devoted to investigating the global existence of weak solutions for the compressible primitive equations (CPE) with damping term in a three-dimensional torus for large initial data. The system takes into account density-dependent viscosity. In our proof, we represent the vertical velocity as a function of the density and the horizontal velocity which will play a role to use the Faedo-Galerkin method to obtain the global existence of the approximate solutions. Motivated by Vasseur and Yu [yucheng2016], we obtain the key estimates of lower bound of the density, the Bresch-Desjardin entropy on the approximate solutions. Based on these estimates, using compactness arguments, we prove the global existence of weak solutions of CPE by vanishing the parameters in our approximate system step by step.

[60]  arXiv:1712.04181 [pdf, ps, other]
Title: On the foliation cohomology groups and dynamical zeta functions for fiber bundles over S^1
Authors: Junhyeong Kim
Comments: 15 pages
Subjects: Differential Geometry (math.DG); Dynamical Systems (math.DS); Number Theory (math.NT)

The dynamical zeta functions on a manifold with 1-codimensional foliation have a foliation cohomological expression, due to C.Deninger, by using the dynamical Lefschetz trace formula. In this paper, we give concrete descriptions to the foliation cohomology and the dynamical zeta function for a surface-bundle over $S^{1}$ with natural foliation structure. We then give some applications of the dynamical zeta functions which follow from properties of the cohomology of the fiber.

[61]  arXiv:1712.04187 [pdf, ps, other]
Title: Inverse Eigenvalue Problem of Cell Matrices
Comments: 10 pages
Subjects: Rings and Algebras (math.RA)

In this paper, we consider the problem of reconstructing an $n \times n$ cell matrix $D(\vec{x})$ constructed from a vector $\vec{x} = (x_{1}, x_{2},\dots, x_{n})$ of positive real numbers, from a given set of spectral data. In addition, we show that the spectrum of cell matrices $D(\vec{x})$ and $D(\pi(\vec{x}))$ are the same, for every permutation $\pi \in S_{n}$.

[62]  arXiv:1712.04191 [pdf, ps, other]
Title: Modal operators and toric ideals
Subjects: Logic (math.LO); Commutative Algebra (math.AC)

In the present paper we consider modal propositional logic and look for the constraints that are imposed to the propositions of the special type $\Box a$ by the structure of the relevant finite Kripke frame. We translate the usual language of modal propositional logic in terms of notions of commutative algebra, namely polynomial rings, ideals, and bases of ideals. We use extensively the perspective obtained in previous works in Algebraic Statistics. We prove that the constraints on $\Box a$ can be derived through a binomial ideal containing a toric ideal and we give sufficient conditions under which the toric ideal fully describes the constraints.

[63]  arXiv:1712.04192 [pdf, ps, other]
Title: Planar Ising model at criticality: state-of-the-art and perspectives
Authors: Dmitry Chelkak
Comments: 19 pages (+ references), prepared for the Proceedings of ICM2018
Subjects: Mathematical Physics (math-ph); Probability (math.PR)

In this essay, we briefly discuss recent developments, started a decade ago in the seminal work of Smirnov and continued by a number of authors, centered around the conformal invariance of the critical planar Ising model on $\mathbb{Z}^2$ and, more generally, of the critical Z-invariant Ising model on isoradial graphs (rhombic lattices). We also introduce a new class of embeddings of general weighted planar graphs (s-embeddings), which might, in particular, pave the way to true universality results for the planar Ising model.

[64]  arXiv:1712.04199 [pdf, ps, other]
Title: Surface energy of the one-dimensional supersymmetric $t-J$ model with unparallel boundary fields
Comments: 15 pages, 3 figures, 1 table
Subjects: Mathematical Physics (math-ph); Strongly Correlated Electrons (cond-mat.str-el); High Energy Physics - Theory (hep-th)

We investigate the thermodynamic limit of the exact solution, which is given by an inhomogeneous $T-Q$ relation, of the one-dimensional supersymmetric $t-J$ model with unparallel boundary magnetic fields. It is shown that the contribution of the inhomogeneous term at the ground state satisfies the $L^{-1}$ scaling law, where $L$ is the system-size. This fact enables us to calculate the surface (or boundary) energy of the system. The method used in this paper can be generalized to study the thermodynamic limit and surface energy of other models related to rational $R$-matrices.

[65]  arXiv:1712.04207 [pdf, ps, other]
Title: A proof of Saitoh's conjecture for conjugate Hardy $H^{2}$ kernels
Authors: Qi'an Guan
Comments: 6 pages. Comments are welcome
Subjects: Complex Variables (math.CV); Differential Geometry (math.DG)

In this article, we obtain a strict inequality between the conjugate Hardy $H^{2}$ kernels and the Bergman kernels on planar regular regions with $n>1$ boundary components, which is a conjecture of Saitoh.

[66]  arXiv:1712.04208 [pdf, ps, other]
Title: Operator ideals and three-space properties of asymptotic ideal seminorms
Comments: 43 pp
Subjects: Functional Analysis (math.FA)

We introduce asymptotic analogues of the Rademacher and martingale type and cotype of Banach spaces and operators acting on them. Some classical local theory results related, for example, to the `automatic-type' phenomenon, the type-cotype duality, or the Maurey-Pisier theorem, are extended to the asymptotic setting. We also investigate operator ideals corresponding to the asymptotic subtype/subcotype. As an application of this theory, we provide a sharp version of a result of Brooker and Lancien by showing that any twisted sum of Banach spaces with Szlenk power types $p$ and $q$ has Szlenk power type $\max\{p,q\}$.

[67]  arXiv:1712.04210 [pdf, ps, other]
Title: The Deterministic and Stochastic Shallow Lake Problem
Comments: 18 pages
Subjects: Probability (math.PR); Classical Analysis and ODEs (math.CA); Optimization and Control (math.OC)

We study the welfare function of the deterministic and stochastic shallow lake problem. We show that the welfare function is the viscosity solution of the associated Bellman equation, we establish several properties including its asymptotic behaviour at infinity and we present a convergent monotone numerical scheme.

[68]  arXiv:1712.04211 [pdf, ps, other]
Title: Identifiability beyond Kruskal's bound for symmetric tensors of degree 4
Comments: 16 pages
Subjects: Algebraic Geometry (math.AG)

We show how methods of algebraic geometry can produce criteria for the identifiability of specific tensors that reach beyond the range of applicability of the celebrated Kruskal criterion. More specifically, we deal with the symmetric identifiability of symmetric tensors in Sym$^4(\mathbb{C}^{n+1})$, i.e., quartic hypersurfaces in a projective space $\mathbb{P}^n$, that have a decomposition in 2n+1 summands of rank 1. This is the first case where the reshaped Kruskal criterion no longer applies. We present an effective algorithm, based on efficient linear algebra computations, that checks if the given decomposition is minimal and unique. The criterion is based on the application of advanced geometric tools, like Castelnuovo's lemma for the existence of rational normal curves passing through a finite set of points, and the Cayley-Bacharach condition on the postulation of finite sets. In order to apply these tools to our situation, we prove a reformulation of these results, hereby extending classical results such as Castelnuovo's lemma and the analysis of Geramita, Kreuzer, and Robbiano, "Cayley-Bacharach schemes and their canonical modules", Trans. Amer. Math. Soc. 339:443-452, 1993.

[69]  arXiv:1712.04212 [pdf, other]
Title: Concentration of $1$-Lipschitz functions on manifolds with boundary with Dirichlet boundary condition
Authors: Yohei Sakurai
Comments: 26 pages
Subjects: Metric Geometry (math.MG); Differential Geometry (math.DG)

In this paper, we consider a concentration of measure problem on Riemannian manifolds with boundary. We study concentration phenomena of non-negative $1$-Lipschitz functions vanishing on the boundary. In order to capture such phenomena, we introduce a new invariant called the observable inscribed radius that measures the difference between such $1$-Lipschitz functions and zero. We examine its basic properties, and formulate a comparison theorem under a lower Ricci curvature bound, and a lower mean curvature bound for the boundary.

[70]  arXiv:1712.04214 [pdf, ps, other]
Title: Explicit Small Heights in Infinite Non-Abelian Extensions
Authors: Linda Frey
Comments: 23 pages, comments welcome
Subjects: Number Theory (math.NT)

Let $E$ be an elliptic curve over the rationals. We will consider the infinite extension $\mathbb{Q}(E_{\text{tor}})$ of the rationals where we adjoin all coordinates of torsion points of $E$. In this paper we will prove an explicit lower bound for the height of non-zero elements in $\mathbb{Q}(E_{\text{tor}})$ that are not a root of unity, only depending on the conductor of the elliptic curve. As a side result we will give an explicit bound for a small supersingular prime for an elliptic curve.

[71]  arXiv:1712.04225 [pdf, ps, other]
Title: Piecewise interlacing zeros of polynomials satisfying some recurrence of order two
Comments: 18 pages, 6 figures
Subjects: Combinatorics (math.CO)

In this paper, we show the real-rootedness of some univariate polynomials satisfying a recurrence of order two with linear polynomial coefficients. This work extends Gross et al.'s study in which one of the coefficients is constant. Though successive polynomials in the sequence do not have interlacing zeros over the whole real axis, we establish the real-rootedness in the spirit of piecewise interlacing, by carefully selecting some disjoint intervals and showing that the polynomials have interlacing zeros over each of the intervals. We also investigate the limits of the zero sets.

[72]  arXiv:1712.04228 [pdf, ps, other]
Title: On some Graphs with a Unique Perfect Matching
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

We show that deciding whether a given graph $G$ of size $m$ has a unique perfect matching as well as finding that matching, if it exists, can be done in time $O(m)$ if $G$ is either a cograph, or a split graph, or an interval graph, or claw-free. Furthermore, we provide a constructive characterization of the claw-free graphs with a unique perfect matching.

[73]  arXiv:1712.04231 [pdf, ps, other]
Title: Common zeros of polynomials satisfying a recurrence of order two
Comments: 12 pages
Subjects: Combinatorics (math.CO)

We give a characterization of common zeros of a sequence of univariate polynomials $W_n(z)$ defined by a recurrence of order two with polynomial coefficients, and with $W_0(z)=1$. Real common zeros for such polynomials with real coefficients are studied further. This paper contributes to the study of root distribution of recursive polynomial sequences.

[74]  arXiv:1712.04243 [pdf, ps, other]
Title: Approximation of Supremum of Max-Stable Stationary Processes and Pickands Constants
Subjects: Probability (math.PR); Methodology (stat.ME)

Let $X(t),t\in \mathbb{R}$ be a stochastically continuous stationary max-stable process with Fr\'{e}chet marginals $\Phi_\alpha, \alpha>0$ and set $M_X(T)=\sup_{t \in [0,T]} X(t),T>0$. In the light of the seminal articles [1,2], it follows that $A_T=M_X(T)/T^{1/\alpha}$ converges in distribution as $T\to \infty$ to $\mathcal{H}_Z^{1/\alpha} X(1)$, where $\mathcal{H}_Z$ is the Pickands constant corresponding to the spectral process $Z$ of $X$. In this contribution we derive explicit formulas for $\mathcal{H}_Z$ in terms of $Z$ and show necessary and sufficient conditions for its positivity. From our analysis it follows that $A_T^\beta,T>0$ is uniformly integrable for any $\beta \in (0,\alpha)$. Further, we discuss the dissipative Rosi\'nski (or mixed moving maxima) representation of $X$. Additionally, for Brown-Resnick $X$ we show the validity of the celebrated Slepian inequality and obtain lower bounds on the growth of supremum of Gaussian processes with stationary increments by exploiting the link between Pickands constants and Wills functional. Moreover, we derive upper bounds for supremum of centered Gaussian processes given in terms of Wills functional, and discuss the relation between Pickands and Piterbarg constants.

[75]  arXiv:1712.04244 [pdf, other]
Title: On the notion of a basis of a finite dimensional vector space
Subjects: History and Overview (math.HO)

In this Note, we show that in the expository texts on linear Algebra, the notion of a basis could be introduced by an argument much weaker than Gauss' reduction method. We suggest to rearrange the exposition of the fundamental material and to introduce linear mappings and their basic properties right after the vector space axioms are listed and properly discussed. Our aim is to give a short proof of a simply formulated lemma, which in fact is equivalent to the theorem on frame extension, using only a simple notion of the kernel of a linear mapping, without any reference to special results, and derive the notions of basis and dimension of a finite dimensional vector space in a quite intuitive and logically appropriate way, as well as obtain their basic properties, inclu\-ding a lucid proof of Steinitz's theorem.

[76]  arXiv:1712.04250 [pdf, ps, other]
Title: On three dimensional multivariate version of q-Normal distribution and probabilistic interpretations of Askey--Wilson, Al-Salam--Chihara and q-ultraspherical polynomials
Comments: 13 pages
Subjects: Probability (math.PR)

We study properties of compactly supported 4 parameter $(\rho _{12},\rho _{23},\rho _{13},q)\in (-1,1)^{\times 4}$ family of continuous type 3 dimensional distributions, that have the property that for $q->1^{-}$ this family tends to some 3 dimensional Normal distribution. For $% q=0$ we deal with 3 dimensional generalization Kesten-McKay distribution. In a very special case when $\rho _{12}\rho _{13}\rho _{23}=q$ all one dimensional marginals are identical, semicircle distributions. We find both all marginal as well as all conditional distributions. More over we find also families of polynomials that are orthogonalized by these marginals and conditional distributions. Consequently we find moments both conditional and unconditional of such distributions. Among others we show that all conditional moments of say order $n$ are polynomials of the same order in conditioning random variables. In particular we give yet another probabilistic interpretation of the famous Askey-Wilson polynomials considered at complex but conjugate parameters as well as Rogers polynomials. It seems that this paper is one of the first papers that give probabilistic interpretation of Rogers (continuous $q-$ultraspherical) polynomials.

[77]  arXiv:1712.04251 [pdf, ps, other]
Title: Diffusion limits for networks of Markov-modulated infinite-server queues
Comments: 20 pages
Subjects: Probability (math.PR)

This paper studies the diffusion limit for a network of infinite-server queues operating under Markov modulation (meaning that the system's parameters depend on an autonomously evolving background process). In previous papers on (primarily single-node) queues with Markov modulation, two variants were distinguished: one in which the server speed is modulated, and one in which the service requirement is modulated (i.e., depends on the state of the background process upon arrival). The setup of the present paper, however, is more general, as we allow both the server speed and the service requirement to depend on the background process. For this model we derive a Functional Central Limit Theorem: we show that, after accelerating the arrival processes and the background process, a centered and normalized version of the network population vector converges to a multivariate Ornstein-Uhlenbeck process. The proof of this result relies on expressing the queueing process in terms of Poisson processes with a random time change, an application of the Martingale Central Limit Theorem, and continuous-mapping arguments.

[78]  arXiv:1712.04253 [pdf, ps, other]
Title: Upper bounds for Z$_1$-eigenvalues of generalized Hilbert tensors
Comments: 9 pages
Subjects: Optimization and Control (math.OC)

In this paper, we introduce the concept of Z$_1$-eigenvalue to infinite dimensional generalized Hilbert tensors (hypermatrix) $\mathcal{H}_\lambda^{\infty}=(\mathcal{H}_{i_{1}i_{2}\cdots i_{m}})$,
$$
\mathcal{H}_{i_{1}i_{2}\cdots i_{m}}=\frac{1}{i_{1}+i_{2}+\cdots i_{m}+\lambda},\
\lambda\in \mathbb{R}\setminus\mathbb{Z}^-;\ i_{1},i_{2},\cdots,i_{m}=0,1,2,\cdots,n,\cdots,
$$
and proved that its $Z_1$-spectral radius is not larger than $\pi$ for $\lambda>\frac{1}{2}$, and is at most $\frac{\pi}{\sin{\lambda\pi}}$ for $\frac{1}{2}\geq \lambda>0$. Besides, the upper bound of $Z_1$-spectral radius of an $m$th-order $n$-dimensional generalized Hilbert tensor $\mathcal{H}_\lambda^n$ is obtained also, and such a bound only depends on $n$ and $\lambda$.

[79]  arXiv:1712.04257 [pdf, other]
Title: Derivation and numerical approximation of hyperbolic viscoelastic flow systems: Saint-Venant 2D equations for Maxwell fluids
Authors: Sébastien Boyaval (Saint-Venant, MATHERIALS)
Subjects: Numerical Analysis (math.NA); Classical Physics (physics.class-ph)

We pursue here the development of models for complex (viscoelastic) fluids in shallow free-surface gravity flows which was initiated by [Bouchut-Boyaval, M3AS (23) 2013] for 1D (translation invariant) cases. The models we propose are hyperbolic quasilinear systems that generalize Saint-Venant shallow-water equations to incompressible Maxwell fluids. The models are compatible with a formulation of the thermo-dynamics second principle. In comparison with Saint-Venant standard shallow-water model, the momentum balance includes extra-stresses associated with an elastic potential energy in addition to a hydrostatic pressure. The extra-stresses are determined by an additional tensor variable solution to a differential equation with various possible time rates. For the numerical evaluation of solutions to Cauchy problems, we also propose explicit schemes discretizing our generalized Saint-Venant systems with Finite-Volume approximations that are entropy-consistent (under a CFL constraint) in addition to satisfy exact (discrete) mass and momentum conservation laws. In comparison with most standard viscoelastic numerical models, our discrete models can be used for any retardation-time values (i.e. in the vanishing "solvent-viscosity" limit). We finally illustrate our hyperbolic viscoelastic flow models numerically using computer simulations in benchmark test cases. On extending to Maxwell fluids some free-shear flow testcases that are standard benchmarks for Newtonian fluids, we first show that our (numerical) models reproduce well the viscoelastic physics, phenomenologically at least, with zero retardation-time. Moreover, with a view to quantitative evaluations, numerical results in the lid-driven cavity testcase show that, in fact, our models can be compared with standard viscoelastic flow models in sheared-flow benchmarks on adequately choosing the physical parameters of our models. Analyzing our models asymptotics should therefore shed new light on the famous High-Weissenberg Number Problem (HWNP), which is a limit for all the existing viscoelastic numerical models.

[80]  arXiv:1712.04262 [pdf, ps, other]
Title: Vandermonde determinantal ideals
Comments: 7 pages, comments welcome
Subjects: Commutative Algebra (math.AC)

We show that the ideal generated by maximal minors (i.e., $(k+1)$-minors) of a $(k+1) \times n$ Vandermonde matrix is radical and Cohen-Macaulay. Note that this ideal is generated by all Specht polynomials with shape $(n-k,1,...,1)$.

[81]  arXiv:1712.04266 [pdf, other]
Title: Fundamental Limits of Cloud and Cache-Aided Interference Management with Multi-antenna Base Stations
Comments: 20 pages, 8 figures
Subjects: Information Theory (cs.IT)

In cellular systems, content delivery latency can be minimized by jointly optimizing edge caching, fronthaul transmission from a cloud processor with access to the content library, and wireless transmission. In this paper, this problem is studied from an information-theoretic viewpoint by making the following practically relevant assumptions: 1) the Edge Nodes (ENs) have multiple antennas; 2) the fronthaul links are used to send fractions of contents; and 3) the ENs are constrained to use linear precoding on the wireless channel. Assuming offline caching and focusing on a high signal-to-noise ratio (SNR) latency performance metric, the proposed caching and delivery policy is shown to be either exactly optimal or optimal within a multiplicative factor of $3/2$. The results bring insights into the optimal interplay between edge and cloud processing in fog-aided wireless networks as a function of system resources, including the number of antennas at the ENs, the ENs' cache capacity and the fronthaul capacity.

[82]  arXiv:1712.04270 [pdf, other]
Title: Stability of a heteroclinic network
Subjects: Dynamical Systems (math.DS)

This article is concerned with three heteroclinic cycles forming a heteroclinic network in ${\mathbb R}^6$. The stability of the cycles and of the network are studied. The cycles are of a type that has not been studied before, and provide an illustration for the difficulties arising in dealing with cycles and networks in high dimension. In order to obtain information on the stability for the present network and cycles, in addition to the information on eigenvalues and transition matrices, it is necessary to perform a detailed geometric analysis of return maps. Some general results and tools for this type of analysis are also developed here.

[83]  arXiv:1712.04274 [pdf, other]
Title: On the Gaussian Multiple Access Wiretap Channel and the Gaussian Wiretap Channel with a Helper: Achievable Schemes and Upper Bounds
Comments: 13 pages, submitted to IEEE Transactions on Information Forensics and Security
Subjects: Information Theory (cs.IT)

We study deterministic approximations of the Gaussian two-user multiple access wiretap channel (G-MAC-WT) and the Gaussian wiretap channel with a helper (G-WT-H). These approximations enable results beyond the recently shown 2/3 and 1/2 secure degrees of freedom (s.d.o.f.) for the G-MAC-WT and the G-WT-H, respectively. While the s.d.o.f. were obtained by real interference alignment, our approach uses signal-scale alignment. We show achievable schemes which are independent of the rationality of the channel gains. Moreover, our results can differentiate between channel strengths, in particular between both users, and establishes secrecy rates dependent on this difference. We can show that the resulting achievable secrecy rates tend to the s.d.o.f. for vanishing channel gain differences. Moreover, we extend previous and develop new techniques to prove general s.d.o.f. bounds for varying channel strengths and show that our achievable schemes reach the bounds for certain channel gain parameters. We believe that our analysis is the next step towards a constant-gap analysis of the G-MAC-WT and the G-WT-H.

[84]  arXiv:1712.04275 [pdf, ps, other]
Title: Strongly order continuous operators on Riesz spaces
Subjects: Functional Analysis (math.FA)

In this paper we introduce two new classes of operators that we call strongly order continuous and strongly $\sigma$-order continuous operators. An operator $T:E\rightarrow F$ between two Riesz spaces is said to be strongly order continuous (resp. strongly $\sigma$-order continuous), if $x _\alpha \xrightarrow{uo}0$ (resp. $x _n \xrightarrow{uo}0$) in $E$ implies $Tx _\alpha \xrightarrow{o}0$ (resp. $Tx _n \xrightarrow{o}0$) in $F$. We give some conditions under which order continuity will be equivalent to strongly order continuity of operators on Riesz spaces. We show that the collection of all $so$-continuous linear functionals on a Riesz space $E$ is a band of $E^\sim$.

[85]  arXiv:1712.04277 [pdf, ps, other]
Title: Robust Fragmentation Modeling of Hegselmann-Krause-Type Dynamics
Subjects: Optimization and Control (math.OC); Multiagent Systems (cs.MA); Social and Information Networks (cs.SI); Adaptation and Self-Organizing Systems (nlin.AO)

In opinion dynamics, how to model the enduring fragmentation phenomenon (disagreement, cleavage, and polarization) of social opinions has long possessed a central position. It is widely known that the confidence-based opinion dynamics provide an acceptant mechanism to produce fragmentation phenomenon. In this study, taking the famous confidence-based Hegselmann-Krause (HK) model, we examine the robustness of the fragmentation coming from HK dynamics and its variations with prejudiced and stubborn agents against random noise. Prior to possible insightful explanations, the theoretical results in this paper explicitly reveal that the well-appearing fragmentation of HK dynamics and its homogeneous variations finally vanishes in the presence of arbitrarily tiny noise, while only the HK model with heterogenous prejudices displays a solid cleavage in noisy environment.

[86]  arXiv:1712.04293 [pdf, ps, other]
Title: A semilinear elliptic equation with competing powers and a radial potential
Authors: M. Musso, J. Pimentel
Comments: 19 pages
Subjects: Analysis of PDEs (math.AP)

We verify the existence of radial positive solutions for the semi-linear equation $$ -\,\Delta u=u^{p}\,-\,V(y)\,u^{q},\,\quad\quad u>0,\quad\quad\mbox{ in }\mathbb{R}^N$$ where $N\geq 3$, $p$ is close to $p^*:=(N+2)/(N-2)$, and $V$ is a radial smooth potential. If $q$ is super-critical, namely $q>p^*$, we prove that this Problem has a radial solution behaving like a super-position of bubbles blowing-up at the origin with different rates of concentration, provided $V(0)<0$. On the other hand, if $N/(N-2)<q<p^*$, we prove that this Problem has a radial solution behaving like a super-position of {\it flat} bubbles with different rates of concentration, provided $\lim_{r \to \infty} V(r) <0$.

[87]  arXiv:1712.04298 [pdf, ps, other]
Title: Kähler immersions of Kähler manifolds into complex space forms
Comments: 116 pages
Subjects: Differential Geometry (math.DG); Complex Variables (math.CV)

The study of K\"ahler immersions of a given real analytic K\"ahler manifold into a finite or infinite dimensional complex space form originates from the pioneering work of Eugenio Calabi [10]. With a stroke of genius Calabi defines a powerful tool, a special (local) potential called diastasis function, which allows him to obtain necessary and sufficient conditions for a neighbourhood of a point to be locally K\"ahler immersed into a finite or infinite dimensional complex space form. As application of its criterion, he also provides a classification of (finite dimensional) complex space forms admitting a K\"ahler immersion into another. Although, a complete classification of K\"ahler manifolds admitting a K\"ahler immersion into complex space forms is not known, not even when the K\"ahler manifolds involved are of great interest, e.g. when they are K\"ahler-Einstein or homogeneous spaces. In fact, the diastasis function is not always explicitely given and Calabi's criterion, although theoretically impeccable, most of the time is of difficult application. Nevertheless, throughout the last 60 years many mathematicians have worked on the subject and many interesting results have been obtained.
The aim of this book is to describe Calabi's original work, to provide a detailed account of what is known today on the subject and to point out some open problems.

[88]  arXiv:1712.04299 [pdf, ps, other]
Title: Borel selector for hypergraphons
Authors: Jan Grebik
Subjects: Logic (math.LO); Combinatorics (math.CO)

We show that there is a Borel way of choosing a representative of a $k$-uniform hypergraphon. This extends the result of Orbanz and Szegedy where this was shown for graphons.

[89]  arXiv:1712.04315 [pdf, ps, other]
Title: Delta-Bose Gas: the Matrix Elements of the Particle Number Operator as a Determinant
Authors: Benoit Vallet
Subjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th)

We first propose a pedestrian review of the Coordinate Bethe Ansatz for the $\delta$-Bose gas on an infinite axis. The scalar product of Bethe states, briefly reviewed, provides the first keystone to compute a compact expression for the Matrix Elements of the Particle Number Operator as conjectured by V. Terras, the main result of the following reflection.

[90]  arXiv:1712.04321 [pdf, ps, other]
Title: Estimates for fractional integral operators and linear commutators on certain weighted amalgam spaces
Authors: Hua Wang
Comments: 45 pages. arXiv admin note: text overlap with arXiv:1603.04658, arXiv:1701.07508, arXiv:1603.03912
Subjects: Classical Analysis and ODEs (math.CA)

In this paper, we first introduce some new classes of weighted amalgam spaces. Then we give the weighted strong-type and weak-type estimates for fractional integral operators $I_\gamma$ on these new function spaces. Furthermore, the weighted strong-type estimate and endpoint estimate of linear commutators $[b,I_{\gamma}]$ generated by $b$ and $I_{\gamma}$ are established as well. In addition, we are going to study related problems about two-weight, weak type inequalities for $I_{\gamma}$ and $[b,I_{\gamma}]$ on the weighted amalgam spaces and give some results. Based on these results and pointwise domination, we can prove norm inequalities involving fractional maximal operator $M_{\gamma}$ and generalized fractional integrals $\mathcal L^{-\gamma/2}$ in the context of weighted amalgam spaces, where $0<\gamma<n$ and $\mathcal L$ is the infinitesimal generator of an analytic semigroup on $L^2(\mathbb R^n)$ with Gaussian kernel bounds.

[91]  arXiv:1712.04325 [pdf, ps, other]
Title: On McKean's martingale in the Bovier-Hartung extremal process
Comments: 13 pages
Subjects: Probability (math.PR)

It has been proved by Bovier & Hartung [Elect. J. Probab. 19 (2014)] that the maximum of a variable-speed branching Brownian motion (BBM) in the weak correlation regime converges to a randomly shifted Gumbel distribution. The random shift is given by the almost sure limit of McKean's martingale, and captures the early evolution of the system. In the Bovier-Hartung extremal process, McKean's martingale thus plays a role which parallels that of the derivative martingale in the classical BBM. In this note, we provide an alternative interpretation of McKean's martingale in terms of a law of large numbers for high-points of BBM, i.e. particles which lie at a macroscopic distance from the edge. At such scales, 'McKean-like martingales' are naturally expected to arise in all models belonging to the BBM-universality class.

[92]  arXiv:1712.04326 [pdf, ps, other]
Title: A characterization of rational functions
Authors: Bao Qin Li
Subjects: Complex Variables (math.CV)

We give an elementary characterization of rational functions among meromorphic functions in the complex plane.

[93]  arXiv:1712.04333 [pdf, ps, other]
Title: Optimal investment and consumption for Ornstein-Uhlenbeck spread financial markets with power utility
Comments: 44 pages. arXiv admin note: text overlap with arXiv:1102.1186 by other authors
Subjects: Probability (math.PR)

We consider a spread financial market defined by the Ornstein-Uhlenbeck (OU) process. We construct the optimal consumption/investment strategy for the power utility function. We study the Hamilton-Jacobi-Bellman (HJB) equation by the Feynman-Kac (FK) representation. We show the existence and uniqueness theorem for the classical solution. We study the numeric approximation and we establish the convergence rate. It turns out that in this case the convergence rate for the numerical scheme is super geometrical, i.e., more rapid than any geometrical one.

[94]  arXiv:1712.04336 [pdf, other]
Title: Optimal control of fractional semilinear PDEs
Comments: arXiv admin note: text overlap with arXiv:1607.07704
Subjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP); Numerical Analysis (math.NA)

In this paper we consider the optimal control of semilinear fractional PDEs with both spectral and integral fractional diffusion operators of order $2s$ with $s \in (0,1)$. We first prove the boundedness of solutions to both semilinear fractional PDEs under minimal regularity assumptions on domain and data. We next introduce an optimal growth condition on the nonlinearity to show the Lipschitz continuity of the solution map for semilinear elliptic equations with respect to data. This removes the usually used local Lipschitz continuity assumption on the nonlinearity. We further apply our ideas to show existence of solution to optimal control problems with semilinear fractional equations as constraints. Under the standard assumptions on the nonlinearity (twice continuously differentiable) we derive the first and second order optimality conditions. We conclude with two numerical examples.

[95]  arXiv:1712.04338 [pdf, ps, other]
Title: Liftings for ultra-modulation spaces, and one-parameter groups of Gevrey type pseudo-differential operators
Comments: 43 pages. This is the first version. It is expected that it will be some major changes in the future. arXiv admin note: text overlap with arXiv:0905.4954
Subjects: Functional Analysis (math.FA)

We deduce one-parameter group properties for pseudo-differential operators $\operatorname{Op} (a)$, where $a$ belongs to the class $\Gamma ^{(\omega _0)}_*$ of certain Gevrey symbols. We use this to show that there are pseudo-differential operators $\operatorname{Op} (a)$ and $\operatorname{Op} (b)$ which are inverses to each others, where $a\in \Gamma ^{(\omega _0)}_*$ and $b\in \Gamma ^{(1/\omega _0)}_*$.
We apply these results to deduce lifting property for modulation spaces and construct explicit isomorpisms between them. For each weight functions $\omega ,\omega _0$ moderated by GRS submultiplicative weights, we prove that the Toeplitz operator (or localization operator) $\operatorname{Tp} (\omega _0)$ is an isomorphism from $M^{p,q}_{(\omega )}$ onto $M^{p,q}_{(\omega /\omega _0)}$ for every $p,q \in (0,\infty ]$.

[96]  arXiv:1712.04340 [pdf, ps, other]
Title: Classification of Rings which admits some special type of Polynomial functions
Authors: Souvik Dey
Comments: 8 pages
Subjects: Commutative Algebra (math.AC)

We know that for a finite field $F$, every function on $F$ can be given by a polynomial with coefficients in $F$. What about the converse? i.e. if $R$ is a ring (not necessarily commutative or with unity) such that every function on $R$ can be given by a polynomial with coefficients in $R$, can we say $R$ is a finite field ? We show that the answer is yes, and that in fact it is enough to only require that all bijections be given by polynomials. If we allow our rings to have unity, we show that the property that all characteristic functions can be given by polynomials actually characterizes finite fields and if we moreover allow our rings to be commutative, then to characterize finite fields, it is enough that some special characteristic function be given by a polynomial (with coefficients even in some extension ring). Motivated by this, we determine all commutative rings with unity which admits a characteristic function which can be given by some polynomial with coefficients in the ring.

[97]  arXiv:1712.04341 [pdf, ps, other]
Title: Investigate Invertibility of Sparse Symmetric Matrix
Authors: Feng Wei
Comments: arXiv admin note: substantial text overlap with arXiv:1102.0300, arXiv:1507.03525 by other authors
Subjects: Probability (math.PR)

In this paper, we investigate the invertibility of sparse symmetric matrices. We will show that for an $n\times n$ sparse symmetric random matrix $A$ with $A_{ij} = \delta_{ij} \xi_{ij}$ is invertible with high probability. Here, $\delta_{ij}$s, $i\ge j$ are i.i.d. Bernoulli random variables with $\mathbb{P} \left(\xi_{ij}=1 \right) =p \ge n^{-c}$, $\xi_{ij}, i\ge j$ are i.i.d. random variables with mean 0, variance 1 and finite forth moment $M_4$, and $c$ is constant depending on $M_4$. More precisely, $$ s_{\rm min} (A) > \varepsilon \sqrt{\frac{p}{n}}. $$ with high probability.

[98]  arXiv:1712.04345 [pdf, other]
Title: Diophantine Equation with Arithmetic functions and Binary recurrent sequences
Authors: Bernadette Faye
Comments: This is my Ph.D Thesis, obtained on December 2017
Subjects: Number Theory (math.NT)

This thesis is about the study of Diophantine equations involving binary recurrent sequences with arithmetic functions. Various Diophantine problems are investigated and new results are found out of this study. Firstly, we study several questions concerning the intersection between two classes of non-degenerate binary recurrence sequences and provide, whenever possible, effective bounds on the largest member of this intersection. Our main study concerns Diophantine equations of the form $\varphi(|au_n |)=|bv_m|,$ where $\varphi$ is the Euler totient function, $\{u_n\}_{n\geq 0}$ and $\{v_m\}_{m\geq 0}$ are two non-degenerate binary recurrence sequences and $a,b$ some positive integers. More precisely, we study problems involving members of the recurrent sequences being rep-digits, Lehmer numbers, whose Euler's function remain in the same sequence. We particularly study the case when $\{u_n\}_{n\geq 0}$ is the Fibonacci sequence $\{F_n\}_{n\geq 0}$, the Lucas sequences $\{L_n\}_{n\geq 0}$ or the Pell sequence $\{P_n\}_{n\geq 0}$ and its companion $\{Q_n\}_{n\geq 0}$. Secondly, we look of Lehmer's conjecture on some recurrence sequences. Recall that a composite number $N$ is said to be Lehmer if $\varphi(N)\mid N-1$. We prove that there is no Lehmer number neither in the Lucas sequence $\{L_n\}_{n\geq 0}$ nor in the Pell sequence $\{P_n\}_{n\geq 0}$. The main tools used in this thesis are lower bounds for linear forms in logarithms of algebraic numbers, the so-called Baker-Davenport reduction method, continued fractions, elementary estimates from the theory of prime numbers and sieve methods.

[99]  arXiv:1712.04346 [pdf, ps, other]
Title: Extension of holomorphic functions and cohomology classes from non reduced analytic subvarieties
Authors: Jean-Pierre Demailly (IF)
Comments: arXiv admin note: text overlap with arXiv:1703.00292, arXiv:1510.05230
Journal-ref: The 12th Korean Conference on Several Complex Variables (KSCV12), Jul 2017, Gyeong-Ju, South Korea
Subjects: Algebraic Geometry (math.AG)

The goal of this survey is to describe some recent results concerning the L 2 extension of holomorphic sections or cohomology classes with values in vector bundles satisfying weak semi-positivity properties. The results presented here are generalized versions of the Ohsawa-Takegoshi extension theorem, and borrow many techniques from the long series of papers by T. Ohsawa. The recent achievement that we want to point out is that the surjectivity property holds true for restriction morphisms to non necessarily reduced subvarieties, provided these are defined as zero varieties of multiplier ideal sheaves. The new idea involved to approach the existence problem is to make use of L 2 approximation in the Bochner-Kodaira technique. The extension results hold under curvature conditions that look pretty optimal. However, a major unsolved problem is to obtain natural (and hopefully best possible) L 2 estimates for the extension in the case of non reduced subvarieties -- the case when Y has singularities or several irreducible components is also a substantial issue.

[100]  arXiv:1712.04349 [pdf, other]
Title: Low-rank updates and a divide-and-conquer method for linear matrix equations
Subjects: Numerical Analysis (math.NA)

Linear matrix equations, such as the Sylvester and Lyapunov equations, play an important role in various applications, including the stability analysis and dimensionality reduction of linear dynamical control systems and the solution of partial differential equations. In this work, we present and analyze a new algorithm, based on tensorized Krylov subspaces, for quickly updating the solution of such a matrix equation when its coefficients undergo low-rank changes. We demonstrate how our algorithm can be utilized to accelerate the Newton method for solving continuous-time algebraic Riccati equations. Our algorithm also forms the basis of a new divide-and-conquer approach for linear matrix equations with coefficients that feature hierarchical low-rank structure, such as HODLR, HSS, and banded matrices. Numerical experiments demonstrate the advantages of divide-and-conquer over existing approaches, in terms of computational time and memory consumption.

[101]  arXiv:1712.04365 [pdf, ps, other]
Title: Explicit Burgess-like subconvex bounds for $\mathrm{GL}_2 \times \mathrm{GL}_1$
Authors: Wu Han
Subjects: Number Theory (math.NT)

We make the polynomial dependence on the fixed representation $\pi$ in our previous subconvex bound of $L(1/2,\pi \otimes \chi)$ for $\mathrm{GL}_2 \times \mathrm{GL}_1$ explicit, especially with respect to the usual conductor $\mathbf{C}(\pi_{\fin})$. We also investigate a possible variant of the local choices of test function at the archimedean places in some special situations.

[102]  arXiv:1712.04366 [pdf, ps, other]
Title: The space of asymptotically conical self-expanders of mean curvature flow
Comments: 40 pages
Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)

We show that the space of asymptotically conical self-expanders of the mean curvature flow is a smooth Banach manifold. An immediate consequence is that non-degenerate self-expanders -- that is, those self-expanders that admit no non-trivial normal Jacobi fields that fix the asymptotic cone -- are generic in a certain sense.

[103]  arXiv:1712.04367 [pdf, ps, other]
Title: On arithmetic general theorems for polarized varieties
Authors: Nathan Grieve
Subjects: Algebraic Geometry (math.AG)

We apply Schmidt's Subspace Theorem to establish two Arithmetic General Theorems. For example, we establish an Arithmetic General Theorem for projective varieties over number and function fields. That result extends a recent analogous result of Ru-Vojta. One aspect to its proof makes use of a filtration construction which is due to Autisser-Levin-Ru-Vojta. Further, we consider recent work of Ru-Wang which pertains to an extension of Roth's theorem for projective varieties in the sense of McKinnon-Roth. Motivated by these works, we establish a form of Roth's theorem for exceptional divisors.

[104]  arXiv:1712.04369 [pdf, ps, other]
Title: A note on the ADHM description of Quot schemes of points on affine spaces
Comments: 11 pages. arXiv admin note: text overlap with arXiv:1304.3028
Subjects: Algebraic Geometry (math.AG)

We give an ADHM description of the Quot scheme of points ${\rm Quot}_{\mathbb{C}^{n}}(c,r),$ of length $c$ and rank $r$ on affine spaces $\mathbb{C}^{n}$ which naturally extends both Baranovsky's representation of the punctual Quot scheme on a smooth surface and the Hilbert scheme of points on affine spaces $\mathbb{C}^{n},$ described by the first author and M. Jardim. Using results on the variety of commuting matrices we prove that ${\rm Quot}_{\mathbb{C}^{3}}(c,r)$ is irreducible for any $r$ when $c\leq10$ and ${\rm Quot}_{\mathbb{C}^{4}}(c,r)$ is irreducible for any $r$ when $c\leq3.$ Moreover we prove a connectedness result for some special cases.

[105]  arXiv:1712.04370 [pdf, ps, other]
Title: Irreducible modules for pseudo-reductive groups
Comments: 16 pages
Subjects: Representation Theory (math.RT); Group Theory (math.GR)

We classify the irreducible representations of smooth, connected affine algebraic groups over a field, by tackling the case of pseudo-reductive groups. We reduce the problem of calculating the dimension for pseudo-split pseudo-reductive groups to the split reductive case and the pseudo-split pseudo-reductive commutative case. Moreover, we give the first results on the latter.

[106]  arXiv:1712.04374 [pdf, ps, other]
Title: Dedekind sigma-complete l-groups and Riesz spaces as varieties
Authors: Marco Abbadini
Comments: 15 pages
Subjects: Logic (math.LO)

We prove that the category of Dedekind $\sigma$-complete Riesz spaces is an infinitary variety, and we provide an explicit equational axiomatization. In fact, we show that finitely many axioms suffice over the usual equational axiomatization of Riesz spaces. Our main result is that $\mathbb{R}$, regarded as a Dedekind $\sigma$-complete Riesz space, generates this category as a quasi-variety, and therefore as a variety. Analogous results are established for the categories of (i) Dedekind $\sigma$-complete Riesz spaces with a weak order unit, (ii) Dedekind $\sigma$-complete lattice-ordered groups, and (iii) Dedekind $\sigma$-complete lattice-ordered groups with a weak order unit.

[107]  arXiv:1712.04381 [pdf, ps, other]
Title: Semi-reflexive polytopes
Authors: Tiago Royer
Subjects: Combinatorics (math.CO)

The Ehrhart function $L_P(t)$ of a polytope $P$ is usually defined only for integer dilation arguments $t$. By allowing arbitrary real numbers as arguments we may also detect integer points entering (or leaving) the polytope in fractional dilations of $P$, thus giving more information about the polytope. Nevertheless, there are some polytopes that only gain new integer points for integer values of $t$; that is, these polytopes satisfy $L_P(t) = L_P(\lfloor t \rfloor)$. We call those polytopes semi-reflexive. In this paper, we give a characterization of these polytopes in terms of their hyperplane description, and we use this characterization to show that a polytope is reflexive if and only if both it and its dual are semi-reflexive.

[108]  arXiv:1712.04387 [pdf, ps, other]
Title: On a generalization of the Bessel function Neumann expansion
Comments: 8 pages, 2 figures
Subjects: Numerical Analysis (math.NA)

The Bessel-Neumann expansion (of integer order) of a function $g:\mathbb{C}\rightarrow\mathbb{C}$ corresponds to representing $g$ as a linear combination of basis functions $\phi_0,\phi_1,\ldots$, i.e., $g(z)=\sum_{\ell = 0}^\infty w_\ell \phi_\ell(s)$, where $\phi_i(z)=J_i(z)$, $i=0,\ldots$, are the Bessel functions. In this work, we study an expansion for a more general class of basis functions. More precisely, we assume that the basis functions satisfy an infinite dimensional linear ordinary differential equation associated with a Hessenberg matrix, motivated by the fact that these basis functions occur in certain iterative methods. A procedure to compute the basis functions as well as the coefficients is proposed. Theoretical properties of the expansion are studied. We illustrate that non-standard basis functions can give faster convergence than the Bessel functions.

[109]  arXiv:1712.04388 [pdf, ps, other]
Title: An Erdős-Gallai type theorem for vertex colored graphs
Subjects: Combinatorics (math.CO)

While investigating odd-cycle free hypergraphs, Gy\H{o}ri and Lemons introduced a colored version of the classical theorem of Erd\H{o}s and Gallai on $P_k$-free graphs. They proved that any graph $G$ with a proper vertex coloring and no path of length $2k+1$ with endpoints of different colors has at most $2kn$ edges. We show that Erd\H{o}s and Gallai's original sharp upper bound of $kn$ holds for their problem as well. We also introduce a version of this problem for trees and present a generalization of the Erd\H{o}s-S\'os conjecture.

[110]  arXiv:1712.04400 [pdf, ps, other]
Title: Freeness for 13 lines arrangements is combinatorial
Comments: 9 pages, 1 figure
Subjects: Algebraic Topology (math.AT); Combinatorics (math.CO)

We prove Terao conjecture saying that the freeness is determined by the combinatorics for arrangements of 13 lines in the complex projective plane.

[111]  arXiv:1712.04401 [pdf, other]
Title: Interior-exterior penalty approach for solving elasto-hydrodynamic lubrication problem: Part I
Comments: 30 pages
Subjects: Numerical Analysis (math.NA)

A new interior-exterior penalty method for solving quasi-variational inequality and pseudo-monotone operators arising in two-dimensional point contact problem has been analyzed and developed in discontinuous Galerkin finite volume method environment. In this article, we proved the existence of solution for the more realistic model problem without taking any constant assumption in viscosity or density of the lubricant. We have shown that optimal error estimate of $H^{1}$ and $L^{2}$ norm can be achieved under a light load non-dimensional parameter condition. In addition, we provided a complete algorithm to tackle all numerical complexities appear in the solution procedure. We obtained results for moderate loaded conditions which have been discussed at the end of the section. Furthermore, results give a hope for the further development of the scheme for highly loaded condition appeared in a more realistic operating situation which will be discussed in part II. This method is well suited for solving elasto-hydrodynamic lubrication line as well as point contact problems and can probably be treated as commercial software.

[112]  arXiv:1712.04404 [pdf, other]
Title: Statistical estimation in a randomly structured branching population
Subjects: Statistics Theory (math.ST)

We consider a binary branching process structured by a stochastic trait that evolves according to a diffusion process that triggers the branching events, in the spirit of Kimmel's model of cell division with parasite infection. Based on the observation of the trait at birth of the first n generations of the process, we construct nonparametric estimator of the transition of the associated bifurcating chain and study the parametric estimation of the branching rate. In the limit, as n tends to infinity, we obtain asymptotic efficiency in the parametric case and minimax optimality in the nonparametric case.

[113]  arXiv:1712.04405 [pdf, other]
Title: Minimal height companion matrices for Euclid polynomials
Comments: 15 pages, 7 figures
Subjects: Numerical Analysis (math.NA)

We define Euclid polynomials $E_{k+1}(\lambda) = E_{k}(\lambda)\left(E_{k}(\lambda) - 1\right) + 1$ and $E_{1}(\lambda) = \lambda + 1$ in analogy to Euclid numbers $e_k = E_{k}(1)$. We show how to construct companion matrices $\mathbb{E}_k$, so $E_k(\lambda) = \operatorname{det}\left(\lambda\mathbf{I} - \mathbb{E}_{k}\right)$, of height 1 (and thus of minimal height over all integer companion matrices for $E_{k}(\lambda)$). We prove various properties of these objects, and give experimental confirmation of some unproved properties.

[114]  arXiv:1712.04408 [pdf, ps, other]
Title: Mirror symmetry with branes by equivariant Verlinde formulae
Comments: to appear in Hitchin 70th birthday volume
Subjects: Algebraic Geometry (math.AG); High Energy Physics - Theory (hep-th)

We find an agreement of equivariant indices of semi-classical homomorphisms between pairwise mirror branes in the GL(2) Higgs moduli space on a Riemann surface. On one side we have the components of the Lagrangian brane of U(1,1) Higgs bundles whose mirror was proposed by Nigel Hitchin to be certain even exterior powers of the hyperholomorphic Dirac bundle on the SL(2) Higgs moduli space. The agreement arises from a mysterious functional equation. This gives strong computational evidence for Hitchin's proposal.

[115]  arXiv:1712.04410 [pdf, ps, other]
Title: Soliton dynamics for the general Degasperis-Procesi equation
Comments: 13 pages, 3 figures
Subjects: Analysis of PDEs (math.AP)

We consider the general Degasperis-Procesi model of shallow water out-flows. This fife parametric family of conservation laws contains, in particular, KdV, Camassa-Holm, and Degasperis-Procesi equations. The main result consists of a criterion which guarantees the existence of a smooth soliton type solution. We discuss also the scenario of soliton interaction for this model in the nonintegrable case.

[116]  arXiv:1712.04411 [pdf, other]
Title: Betti table Stabilization of Homogeneous Monomial Ideals
Authors: Aaron Slobodin
Comments: 19 pages
Subjects: Commutative Algebra (math.AC)

Given an homogeneous monomial ideal $I$, we provide a question- and example-based investigation of the stabilization patterns of the Betti tables shapes of $I^d$ as we vary $d$. We build off Whieldon's definition of the stabilization index of $I$, Stab$(I)$, to define the stabilization sequence of $I$, StabSeq$(I)$, and use it to explore changes in the shapes of the Betti tables of $I^d$ as we vary $d$. We also present the stabilization indices and sequences of the collection of ideals $\{I_{n}\}$ where $I_{n}=(a^{2n}b^{2n}c^{2n},b^{4n}c^{2n},a^{3n}c^{3n},a^{6n-1}b)\subseteq \Bbbk[a,b,c]$.

[117]  arXiv:1712.04413 [pdf, ps, other]
Title: On the gap between Gamma-limit and pointwise limit for a non-local approximation of the total variation
Comments: 24 pages
Subjects: Functional Analysis (math.FA); Optimization and Control (math.OC)

We consider the approximation of the total variation of a function by the family of non-local and non-convex functionals introduced by H. Brezis and H.-M. Nguyen in a recent paper. The approximating functionals are defined through double integrals in which every pair of points contributes according to some interaction law.
In this paper we answer two open questions concerning the dependence of the Gamma-limit on the interaction law. In the first result, we show that the Gamma-limit depends on the full shape of the interaction law, and not only on the values in a neighborhood of the origin. In the second result, we show that there do exist interaction laws for which the Gamma-limit coincides with the pointwise limit on smooth functions.
The key argument is that for some special classes of interaction laws the computation of the Gamma-limit can be reduced to studying the asymptotic behavior of suitable multi-variable minimum problems.

[118]  arXiv:1712.04414 [pdf, ps, other]
Title: Efficient computation of pi by the Newton - Raphson iteration and a two-term Machin-like formula
Comments: 12 pages
Subjects: General Mathematics (math.GM)

In our recent publication we have proposed a new methodology for determination of the two-term Machin-like formula for pi with small arguments of the arctangent function of kind $$ \frac{\pi }{4} = {2^{k - 1}}\arctan \left( {\frac{1}{{{\beta _1}}}} \right) + \arctan \left( {\frac{1}{{{\beta _2}}}} \right), $$ where $k$ and ${\beta _1}$ are some integers and ${\beta _2}$ is a rational number, dependent upon ${\beta _1}$ and $k$. Although ${1/\left|\beta _2\right|}$ may be significantly smaller than ${1/\beta _1}$, the large numbers in the numerator and denominator of $\beta_2$ decelerate the computation. In this work we show how this problem can be effectively resolved by the Newton--Raphson iteration method.

[119]  arXiv:1712.04419 [pdf]
Title: Photovoltaic Generation in Distribution Networks: Optimal vs. Random Installation
Comments: 5 pages, 7 figures, conference
Subjects: Optimization and Control (math.OC)

Nowadays common practice in deploying photovoltaic distributed generations (PVDGs) is customer-based installation in the distribution network. Increasing level of PVDG applications and expedite approval by utilities have raised concern about the negative impacts of PVDG installations on the distribution network operations such as reverse power flows and undesirable voltage fluctuations. One potential solutions is to optimize the siting and sizing of these distributed renewable generation resources. This paper presents a comparative study on both optimal and randomized installation of PVDGs with the latter modeling real life customer-based renewable integration. The proposed models examine and compare the impacts of PVDG installation on distribution network operation. Numerical simulations have been performed on a local distribution network model with realistic load profiles, GIS information, local solar insolation, and feeder and voltage settings. It is found that when the distribution system has a medium penetration ratio optimal PVDG installations may introduce essential improvements in terms of voltage deviation and energy loss reduction than randomized installation. However, if the penetration ratio is very low or extremely high there will be not significant difference between the two.

[120]  arXiv:1712.04420 [pdf, other]
Title: Dynamical Systems, Fractal Geometry and Diophantine Approximations
Subjects: Dynamical Systems (math.DS)

We describe in this survey several results relating Fractal Geometry, Dynamical Systems and Diophantine Approximations, including a description of recent results related to geometrical properties of the classical Markov and Lagrange spectra and generalizations in Dynamical Systems and Differential Geometry.

[121]  arXiv:1712.04422 [pdf, ps, other]
Title: Some integrable systems of algebraic origin and separation of variables
Authors: O.K.Sheinman
Comments: LaTeX, 5 pages
Subjects: Mathematical Physics (math-ph)

A plane algebraic curve whose Newton polygone contains d lattice points can be given by d points it passes through. Then the coefficients of its equation Poisson commute having been regarded as functions of coordinates of those points. It is observed in the work by O.Babelon and M.Talon, 2002. We formulate a generalization of this fact in terms of separation of variables and prove relations implying the Poisson commutativity. The examples of the integrable systems obtained this way include coefficients of the Lagrange and Hermit interpolation polynomials, coefficients of the Weierstrass models of curves.

[122]  arXiv:1712.04424 [pdf, other]
Title: Binary Parseval frames from group orbits
Comments: 26 pages AMSLaTeX, 1 figure
Subjects: Representation Theory (math.RT); Combinatorics (math.CO); Functional Analysis (math.FA)

Binary Parseval frames share many structural properties with real and complex ones. On the other hand, there are subtle differences, for example that the Gramian of a binary Parseval frame is characterized as a symmetric idempotent whose range contains at least one odd vector. Here, we study binary Parseval frames obtained from the orbit of a vector under a group representation, in short, binary Parseval group frames. In this case, the Gramian of the frame is in the algebra generated by the right regular representation. We identify equivalence classes of such Parseval frames with binary functions on the group that satisfy a convolution identity. This allows us to find structural constraints for such frames. We use these constraints to catalogue equivalence classes of binary Parseval frames obtained from group representations. As an application, we study the performance of binary Parseval frames generated with abelian groups for purposes of error correction. We show that $Z_p^q$ is always preferable to $Z_{p^q}$ when searching for best performing codes associated with binary Parseval group frames.

[123]  arXiv:1712.04425 [pdf, other]
Title: Leading Digits of Mersenne Numbers
Comments: 22 pages, 29 figures
Subjects: Number Theory (math.NT)

It has long been known that sequences such as the powers of $2$ and the factorials satisfy Benford's Law; that is, leading digits in these sequences occur with frequencies given by $P(d)=\log_{10}(1+1/d)$, $d=1,2,\dots,9$. In this paper, we consider the leading digits of the Mersenne numbers $M_n=2^{p_n}-1$, where $p_n$ is the $n$-th prime. In light of known irregularities in the distribution of primes, one might expect that the leading digit sequence of $\{M_n\}$ has \emph{worse} distribution properties than "smooth" sequences with similar rates of growth, such as $\{2^{n\log n}\}$. Surprisingly, the opposite seems to be the true; indeed, we present data, based on the first billion terms of the sequence $\{M_n\}$, showing that leading digits of Mersenne numbers behave in many respects \emph{more regularly} than those in the above smooth sequences. We state several conjectures to this effect, and we provide an heuristic explanation for the observed phenomena based on classic models for the distribution of primes.

[124]  arXiv:1712.04431 [pdf, ps, other]
Title: The Fraïssé limit of matrix algebras with the rank metric
Comments: 11 pages
Subjects: Rings and Algebras (math.RA)

We realize the $\mathbb{F}_q$-algebra $M(\mathbb{F}_q)$ studied by von Neumann and Halperin as the Fra\"iss\'e limit of the class of finite-dimensional matrix algebras over a finite field $\mathbb{F}_q$ equipped with the rank metric. We then provide a new Fra\"iss\'e-theoretic proof of uniqueness of such an object. Using the results of Carderi and Thom, we show that the automorphism group of $\mathrm{Aut}(\mathbb{F}_q )$ is extremely amenable. We deduce a Ramsey-theoretic property for the class of algebras $M(\mathbb{F}_q)$, and provide an explicit bound for the quantities involved.

[125]  arXiv:1712.04438 [pdf, other]
Title: An optimal uncertainty principle in twelve dimensions via modular forms
Comments: 17 pages, 1 figure
Subjects: Classical Analysis and ODEs (math.CA); Number Theory (math.NT)

We prove an optimal bound in twelve dimensions for the uncertainty principle of Bourgain, Clozel, and Kahane. Suppose $f \colon \mathbb{R}^{12} \to \mathbb{R}$ is an integrable function that is not identically zero. Normalize its Fourier transform $\widehat{f}$ by $\widehat{f}(\xi) = \int_{\mathbb{R}^d} f(x)e^{-2\pi i \langle x, \xi\rangle}\, dx$, and suppose $\widehat{f}$ is real-valued and integrable. We show that if $f(0) \le 0$, $\widehat{f}(0) \le 0$, $f(x) \ge 0$ for $|x| \ge r_1$, and $\widehat{f}(\xi) \ge 0$ for $|\xi| \ge r_2$, then $r_1r_2 \ge 2$, and this bound is sharp. The construction of a function attaining the bound is based on Viazovska's modular form techniques, and its optimality follows from the existence of the Eisenstein series $E_6$. No sharp bound is known, or even conjectured, in any other dimension. We also develop a connection with the linear programming bound of Cohn and Elkies, which lets us generalize the sign pattern of $f$ and $\widehat{f}$ to develop a complementary uncertainty principle.

Cross-lists for Wed, 13 Dec 17

[126]  arXiv:1308.2297 (cross-list from math.GM) [pdf, ps, other]
Title: On the Regularity for 3D Navier-Stokes Equation
Authors: Qun Lin
Comments: simplification and modification
Subjects: General Mathematics (math.GM)

In this paper we will prove that the vorticity belongs to $L^{\infty}(0,T;L^2(\Omega))$ by means of vorticity-velocity formulation, then the existence of a global smooth solution is obtained for 3D incompressible Navier-Stokes equation with spatially periodic boundary value conditions.

[127]  arXiv:1708.09031 (cross-list from physics.plasm-ph) [pdf, other]
Title: Pseudo spectral collocation with Maxwell polynomials for kinetic equations with energy diffusion
Subjects: Plasma Physics (physics.plasm-ph); Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)

We study the approximation and stability properties of a recently popularized discretization strategy for the speed variable in kinetic equations, based on pseudo spectral collocation on a grid defined by the zeros of a non-standard family of orthogonal polynomials called Maxwell polynomials. Taking a one-dimensional equation describing energy diffusion due to Fokker-Planck collisions with a Maxwell-Boltzmann background distribution as the test bench for the performance of the scheme, we find that Maxwell based discretizations outperform other commonly used schemes in most situations, often by orders of magnitude. This provides a strong motivation for their use in high-dimensional gyrokinetic simulations. However, we also show that Maxwell based schemes are subject to a non-modal time stepping instability in their most straightforward implementation, so that special care must be given to the discrete representation of the linear operators in order to benefit from the advantages provided by Maxwell polynomials.

[128]  arXiv:1711.08094 (cross-list from math-ph) [pdf, ps, other]
Title: Blocks and Gaps in the Asymmetric Simple Exclusion Process: Asymptotics
Comments: 19 pages. Version 2 has a new title and an added section on asymptotics for gaps
Subjects: Mathematical Physics (math-ph); Probability (math.PR)

In earlier work (arXiv:1707.04927) the authors obtained formulas for the probability in the asymmetric simple exclusion process that at time $t$ a particle is at site $x$ and is the beginning of a block of $L$ consecutive particles. Here we consider asymptotics. Specifically, for the KPZ regime with step initial condition, we determine the conditional probability (asymptotically as $t\rightarrow\infty$) that a particle is the beginning of an $L$-block, given that it is at site $x$ at time $t$. Using duality between occupied and unoccupied sites we obtain the analogous result for a gap of $G$ unoccupied sites between the particle at $x$ and the next one.

[129]  arXiv:1712.02846 (cross-list from hep-th) [pdf, other]
Title: Resonance phenomena in the $\varphi^8$ kinks scattering
Comments: 5 pages, 4 figures; Proceedings of the 3rd International Conference on Particle Physics and Astrophysics, Moscow, 2-5 October 2017
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Pattern Formation and Solitons (nlin.PS)

We study the scattering of the $\varphi^8$ kinks with power-law asymptotics. We found two critical values of the initial velocity, $v_{cr}^{(1)}$ and $v_{cr}^{(2)}$, which separate different regimes of the kink-antikink collision. At the initial velocities $v_{in}< v_{cr}^{(1)}$ kinks can not collide due to repulsive force between them. At $v_{in}>v_{cr}^{(2)}$ the kinks escape to spatial infinities after one collision. In the range $v_{cr}^{(1)}\le v_{in}\le v_{cr}^{(2)}$ we observed kinks capture and formation of their bound state. Besides that, at these initial velocities we found resonance phenomena -- escape windows.

[130]  arXiv:1712.03471 (cross-list from stat.ML) [pdf, ps, other]
Title: Identifiability of Kronecker-structured Dictionaries for Tensor Data
Comments: 13 pages, in review for publication
Subjects: Machine Learning (stat.ML); Information Theory (cs.IT)

This paper derives sufficient conditions for reliable recovery of coordinate dictionaries comprising a Kronecker-structured dictionary that is used for representing $K$th-order tensor data. Tensor observations are generated by a Kronecker-structured dictionary and sparse coefficient tensors that follow the separable sparsity model. This work provides sufficient conditions on the underlying coordinate dictionaries, coefficient and noise distributions, and number of samples that guarantee recovery of the individual coordinate dictionaries up to a specified error with high probability. In particular, the sample complexity to recover $K$ coordinate dictionaries with dimensions $m_k\times p_k$ up to estimation error $r_k$ is shown to be $\max_{k \in [K]}\mathcal{O}(m_kp_k^3r_k^{-2})$.

[131]  arXiv:1712.03980 (cross-list from hep-th) [pdf, ps, other]
Title: Homogeneous Nonrelativistic Geometries as Coset Spaces
Comments: 32 pages
Subjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)

We generalize the coset procedure of homogeneous spacetimes in (pseudo-)Riemannian geometry to non-Lorentzian geometries. These are manifolds endowed with nowhere vanishing invertible vielbeins that transform under local non-Lorentzian tangent space transformations. In particular, we focus on nonrelativistic symmetry algebras that give rise to (torsional) Newton-Cartan geometries, for which we demonstrate how the Newton-Cartan metric complex is determined by degenerate co- and contravariant symmetric bilinear forms on the coset. In specific cases, we also show the connection of the resulting nonrelativistic coset spacetimes to pseudo-Riemannian cosets via In\"on\"u-Wigner contraction of relativistic algebras as well as null reduction. Our construction is of use for example when considering limits of the AdS/CFT correspondence in which nonrelativistic spacetimes appear as gravitational backgrounds for nonrelativistic string or gravity theories.

[132]  arXiv:1712.04012 (cross-list from hep-th) [pdf, other]
Title: Perturbative/nonperturbative aspects of Bloch electrons in a honeycomb lattice
Authors: Yasuyuki Hatsuda
Comments: 21 pages
Subjects: High Energy Physics - Theory (hep-th); Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Mathematical Physics (math-ph)

We revisit the spectral problem for Bloch electrons in a two-dimensional bipartite honeycomb lattice under a uniform magnetic field. It is well-known that such a honeycomb structure is realized in graphene. We present a systematic framework to compute the perturbative magnetic flux expansions near two distinct band edges. We then analyze the nonperturbative bandwidth of the spectrum. It turns out that there is a novel similarity between the spectrum near the Dirac point in the honeycomb lattice and the spectrum in the supersymmetric sine-Gordon quantum mechanics. We finally confirm a nontrivial vacuum-instanton-bion threesome relationship, expected by resurgent analysis. Our analysis heavily relies on numerical experiments.

[133]  arXiv:1712.04062 (cross-list from cs.SY) [pdf, other]
Title: Distributed Bayesian Filtering using Logarithmic Opinion Pool for Dynamic Sensor Networks
Subjects: Systems and Control (cs.SY); Information Theory (cs.IT)

The discrete-time Distributed Bayesian Filtering (DBF) algorithm is presented for the problem of tracking a target dynamic model using a time-varying network of heterogeneous sensing agents. In the DBF algorithm, the sensing agents combine their normalized likelihood functions in a distributed manner using the logarithmic opinion pool and the dynamic average consensus algorithm. We show that each agent's estimated likelihood function globally exponentially converges to an error ball centered on the joint likelihood function of the centralized multi-sensor Bayesian filtering algorithm. We rigorously characterize the convergence, stability, and robustness properties of the DBF algorithm. Moreover, we provide an explicit bound on the time step size of the DBF algorithm that depends on the time-scale of the target dynamics, the desired convergence error bound, and the modeling and communication error bounds. Furthermore, the DBF algorithm for linear-Gaussian models is cast into a modified form of the Kalman information filter. The performance and robust properties of the DBF algorithm are validated using numerical simulations.

[134]  arXiv:1712.04076 (cross-list from cs.MS) [pdf, other]
Title: In a Nutshell: Sequential Parameter Optimization
Comments: Version 12/2017
Subjects: Mathematical Software (cs.MS); Artificial Intelligence (cs.AI); Optimization and Control (math.OC)

The performance of optimization algorithms relies crucially on their parameterizations. Finding good parameter settings is called algorithm tuning. Using a simple simulated annealing algorithm, we will demonstrate how optimization algorithms can be tuned using the sequential parameter optimization toolbox (SPOT). SPOT provides several tools for automated and interactive tuning. The underling concepts of the SPOT approach are explained. This includes key techniques such as exploratory fitness landscape analysis and response surface methodology. Many examples illustrate how SPOT can be used for understanding the performance of algorithms and gaining insight into algorithm's behavior. Furthermore, we demonstrate how SPOT can be used as an optimizer and how a sophisticated ensemble approach is able to combine several meta models via stacking.

[135]  arXiv:1712.04086 (cross-list from cs.LG) [pdf, other]
Title: PacGAN: The power of two samples in generative adversarial networks
Comments: 40 pages, 19 figures
Subjects: Learning (cs.LG); Information Theory (cs.IT); Machine Learning (stat.ML)

Generative adversarial networks (GANs) are innovative techniques for learning generative models of complex data distributions from samples. Despite remarkable recent improvements in generating realistic images, one of their major shortcomings is the fact that in practice, they tend to produce samples with little diversity, even when trained on diverse datasets. This phenomenon, known as mode collapse, has been the main focus of several recent advances in GANs. Yet there is little understanding of why mode collapse happens and why existing approaches are able to mitigate mode collapse. We propose a principled approach to handling mode collapse, which we call packing. The main idea is to modify the discriminator to make decisions based on multiple samples from the same class, either real or artificially generated. We borrow analysis tools from binary hypothesis testing---in particular the seminal result of Blackwell [Bla53]---to prove a fundamental connection between packing and mode collapse. We show that packing naturally penalizes generators with mode collapse, thereby favoring generator distributions with less mode collapse during the training process. Numerical experiments on benchmark datasets suggests that packing provides significant improvements in practice as well.

[136]  arXiv:1712.04131 (cross-list from q-bio.PE) [pdf, other]
Title: Attaching leaves and picking cherries to characterise the hybridisation number for a set of phylogenies
Subjects: Populations and Evolution (q-bio.PE); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)

Throughout the last decade, we have seen much progress towards characterising and computing the minimum hybridisation number for a set P of rooted phylogenetic trees. Roughly speaking, this minimum quantifies the number of hybridisation events needed to explain a set of phylogenetic trees by simultaneously embedding them into a phylogenetic network. From a mathematical viewpoint, the notion of agreement forests is the underpinning concept for almost all results that are related to calculating the minimum hybridisation number for when |P|=2. However, despite various attempts, characterising this number in terms of agreement forests for |P|>2 remains elusive. In this paper, we characterise the minimum hybridisation number for when P is of arbitrary size and consists of not necessarily binary trees. Building on our previous work on cherry-picking sequences, we first establish a new characterisation to compute the minimum hybridisation number in the space of tree-child networks. Subsequently, we show how this characterisation extends to the space of all rooted phylogenetic networks. Moreover, we establish a particular hardness result that gives new insight into some of the limitations of agreement forests.

[137]  arXiv:1712.04148 (cross-list from physics.comp-ph) [pdf, other]
Title: A Hybridizable Discontinuous Galerkin solver for the Grad-Shafranov equation
Subjects: Computational Physics (physics.comp-ph); Numerical Analysis (math.NA); Plasma Physics (physics.plasm-ph)

In axisymmetric fusion reactors, the equilibrium magnetic configuration can be expressed in terms of the solution to a semi-linear elliptic equation known as the Grad-Shafranov equation, the solution of which determines the poloidal component of the magnetic field. When the geometry of the confinement region is known, the problem becomes an interior Dirichlet boundary value problem. We propose a high order solver based on the Hybridizable Discontinuous Galerkin method. The resulting algorithm (1) provides high order of convergence for the flux function and its gradient, (2) incorporates a novel method for handling piecewise smooth geometries by extension from polygonal meshes, (3) can handle geometries with non-smooth boundaries and x-points, (4) deals with the semi-linearity through an accelerated two-grid fixed-point iteration, and (5) is ideally suited for parallel implementations. The effectiveness of the algorithm is verified with computations for cases where analytic solutions are known on configurations similar to those of actual devices (ITER, NSTX, ASDEX upgrade, and Field Reversed Configurations).

[138]  arXiv:1712.04217 (cross-list from cs.DS) [pdf, other]
Title: Dynamic Discrete Tomography
Subjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)

We consider the problem of reconstructing the paths of a set of points over time, where, at each of a finite set of moments in time the current positions of points in space are only accessible through some small number of their X-rays. This particular particle tracking problem, with applications, e.g., in plasma physics, is the basic problem in dynamic discrete tomography. We introduce and analyze various different algorithmic models. In particular, we determine the computational complexity of the problem (and various of its relatives) and derive algorithms that can be used in practice. As a byproduct we provide new results on constrained variants of min-cost flow and matching problems.

[139]  arXiv:1712.04223 (cross-list from q-bio.PE) [pdf, other]
Title: Identifiability of tree-child phylogenetic networks under a probabilistic recombination-mutation model of evolution
Comments: 18 pages, 4 figures
Subjects: Populations and Evolution (q-bio.PE); Probability (math.PR)

Phylogenetic networks are an extension of phylogenetic trees which are used to represent evolutionary histories in which reticulation events (such as recombination and hybridization) have occurred. A central question for such networks is that of identifiability, which essentially asks under what circumstances can we reliably identify the phylogenetic network that gave rise to the observed data? Recently, identifiability results have appeared for networks relative to a model of sequence evolution that generalizes the standard Markov models used for phylogenetic trees. However, these results are quite limited in terms of the complexity of the networks that are considered. In this paper, by introducing an alternative probabilistic model for evolution along a network that is based on some ground-breaking work by Thatte for pedigrees, we are able to obtain an identifiability result for a much larger class of phylogenetic networks (essentially the class of so-called tree-child networks). To prove our main theorem, we derive some new results for identifying tree-child networks combinatorially, and then adapt some techniques developed by Thatte for pedigrees to show that our combinatorial results imply identifiability in the probabilistic setting. We hope that the introduction of our new model for networks could lead to new approaches to reliably construct phylogenetic networks.

[140]  arXiv:1712.04281 (cross-list from cs.CG) [pdf, ps, other]
Title: Computational Complexity of the Interleaving Distance
Comments: 18 pages, 4 figures
Subjects: Computational Geometry (cs.CG); Computational Complexity (cs.CC); Algebraic Topology (math.AT)

The interleaving distance is arguably the most prominent distance measure in topological data analysis. In this paper, we provide bounds on the computational complexity of determining the interleaving distance in several settings. We show that the interleaving distance is NP-hard to compute for persistence modules valued in the category of vector spaces. In the specific setting of multidimensional persistent homology we show that the problem is at least as hard as a matrix invertibility problem. Persistence modules valued in the category of sets are also studied. As a corollary, we obtain that the isomorphism problem for Reeb graphs is graph isomorphism complete.

[141]  arXiv:1712.04308 (cross-list from hep-th) [pdf, ps, other]
Title: Reflection positivity in higher derivative scalar theories
Comments: 9 pages, 1 figure
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

Reflection positivity constitutes an integral prerequisite in the Osterwalder-Schrader reconstruction theorem which relates quantum field theories defined on Euclidean space to their Lorentzian signature counterparts. In this work we rigorously prove the violation of reflection positivity in a large class of free scalar fields with a rational propagator. This covers in particular higher-derivative theories where the propagator admits a partial fraction decomposition as well as degenerate cases including e.g. p^4 -type propagators.

[142]  arXiv:1712.04332 (cross-list from cs.LG) [pdf, other]
Title: Scaling Limit: Exact and Tractable Analysis of Online Learning Algorithms with Applications to Regularized Regression and PCA
Subjects: Learning (cs.LG); Information Theory (cs.IT); Probability (math.PR); Machine Learning (stat.ML)

We present a framework for analyzing the exact dynamics of a class of online learning algorithms in the high-dimensional scaling limit. Our results are applied to two concrete examples: online regularized linear regression and principal component analysis. As the ambient dimension tends to infinity, and with proper time scaling, we show that the time-varying joint empirical measures of the target feature vector and its estimates provided by the algorithms will converge weakly to a deterministic measured-valued process that can be characterized as the unique solution of a nonlinear PDE. Numerical solutions of this PDE can be efficiently obtained. These solutions lead to precise predictions of the performance of the algorithms, as many practical performance metrics are linear functionals of the joint empirical measures. In addition to characterizing the dynamic performance of online learning algorithms, our asymptotic analysis also provides useful insights. In particular, in the high-dimensional limit, and due to exchangeability, the original coupled dynamics associated with the algorithms will be asymptotically "decoupled", with each coordinate independently solving a 1-D effective minimization problem via stochastic gradient descent. Exploiting this insight for nonconvex optimization problems may prove an interesting line of future research.

[143]  arXiv:1712.04355 (cross-list from cond-mat.mes-hall) [pdf, other]
Title: Surface spectra of Weyl semimetals through self-adjoint extensions
Authors: Babak Seradjeh (1), Michael Vennettilli (2) ((1) IUB, MPI-PKS, (2) Purdue U)
Comments: 9 pages, 3 figures
Subjects: Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Mathematical Physics (math-ph)

We apply the method of self-adjoint extensions of Hermitian operators to the low-energy, continuum Hamiltonians of Weyl semimetals in bounded geometries and derive the spectrum of the surface states on the boundary. This allows for the full characterization of boundary conditions and the surface spectra on surfaces both normal to the Weyl node separation as well as parallel to it. We show that the boundary conditions for quadratic bulk dispersions are, in general, specified by a $\mathbb{U}(2)$ matrix relating the wavefunction and its derivatives normal to the surface. We give a general procedure to obtain the surface spectra from these boundary conditions and derive them in specific cases of bulk dispersion. We consider the role of global symmetries in the boundary conditions and their effect on the surface spectrum. We point out several interesting features of the surface spectra for different choices of boundary conditions, such as a Mexican-hat shaped dispersion on the surface normal to Weyl node separation. We find that the existence of bound states, Fermi arcs, and the shape of their dispersion, depend on the choice of boundary conditions. This illustrates the importance of the physics at and near the boundaries in the general statement of bulk-boundary correspondence.

[144]  arXiv:1712.04389 (cross-list from physics.comp-ph) [pdf, other]
Title: A parameteric class of composites with a large achievable range of effective elastic properties
Subjects: Computational Physics (physics.comp-ph); Numerical Analysis (math.NA); Applied Physics (physics.app-ph)

In this paper we investigate numerically an instance of the problem of G-closure for two-dimensional periodic metamaterials. Specifically, we consider composites with isotropic homogenized elasticity tensor, obtained as a mixture of two isotropic materials, focusing on the case of a single material with voids. This problem is important, in particular, in the context of designing small-scale structures for metamaterials in the context of additive fabrication, as this type of metamaterials makes it possible to obtain a range of material properties using a single base material. We demonstrate that two closely related simple parametric families based on the structure proposed by O. Sigmund attain good coverage of the space of isotropic properties satisfying Hashin-Shtrikman bounds. In particular, for positive Poisson ratio, we demonstrate that Hashin-Shtrikman bound can be approximated arbitrarily well, within limits imposed by numerical approximation: a strong evidence that these bounds are achievable in this case. For negative Poisson ratios, we numerically obtain a bound which we hypothesize to be close to optimal, at least for metamaterials with rotational symmetries of a regular triangle tiling.

[145]  arXiv:1712.04418 (cross-list from q-fin.PR) [pdf, other]
Title: Fair valuation of Lévy-type drawdown-drawup contracts with general insured and penalty functions
Subjects: Pricing of Securities (q-fin.PR); Probability (math.PR)

In this paper, we analyse some equity-linked contracts that are related to drawdown and drawup events based on assets governed by a geometric spectrally negative L\'evy process. Drawdown and drawup refer to the differences between the historical maximum and minimum of the asset price and its current value, respectively. We consider four contracts. In the first contract, a protection buyer pays a premium with a constant intensity $p$ until the drawdown of fixed size occurs. In return, he/she receives a certain insured amount at the drawdown epoch, which depends on the drawdown level at that moment. Next, the insurance contract may expire earlier if a certain fixed drawup event occurs prior to the fixed drawdown. The last two contracts are extensions of the previous ones but with an additional cancellable feature that allows the investor to terminate the contracts earlier. In these cases, a fee for early stopping depends on the drawdown level at the stopping epoch. In this work, we focus on two problems: calculating the fair premium $p$ for basic contracts and finding the optimal stopping rule for the polices with a cancellable feature. To do this, we use a fluctuation theory of L\'evy processes and rely on a theory of optimal stopping.

Replacements for Wed, 13 Dec 17

[146]  arXiv:1204.5701 (replaced) [pdf, other]
Title: Orbital Linearization of Smooth Completely Integrable Vector Fields
Authors: Nguyen Tien Zung
Journal-ref: SIGMA 13 (2017), 093, 11 pages
Subjects: Dynamical Systems (math.DS)
[147]  arXiv:1212.1710 (replaced) [pdf]
Title: The information and its observer: external and internal information processes, information cooperation, and the origin of the observer intellect
Comments: 58 pages include 15 figures
Subjects: Adaptation and Self-Organizing Systems (nlin.AO); Information Theory (cs.IT)
[148]  arXiv:1212.6852 (replaced) [pdf, other]
Title: Conformal supergravities as Chern-Simons theories revisited
Comments: 26 pages; V3: typos in eqs. (3.8) and (3.10b) corrected
Journal-ref: JHEP 1303 (2013) 113
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
[149]  arXiv:1407.5070 (replaced) [pdf, ps, other]
Title: Compact Complex Manifolds with Small Gauduchon Cone
Comments: The title has been changed, the abstract and the introduction have been rewritten. To appear in the Proceedings of the London Mathematical Society
Subjects: Differential Geometry (math.DG); Algebraic Geometry (math.AG); Complex Variables (math.CV)
[150]  arXiv:1410.1164 (replaced) [pdf, ps, other]
Title: Infinite root stacks and quasi-coherent sheaves on logarithmic schemes
Comments: v2: 61 pages. Final version, to appear in Proc. Lond. Math. Soc
Subjects: Algebraic Geometry (math.AG)
[151]  arXiv:1511.08935 (replaced) [pdf, ps, other]
Title: Oblique boundary value problems for augmented Hessian equations I
Comments: Revised version containing minor clarifications
Subjects: Analysis of PDEs (math.AP)
[152]  arXiv:1511.09180 (replaced) [pdf, ps, other]
Title: Asynchronous adaptive networks
Comments: To appear as book chapter in the edited volume entitled Cooperative and Graph Signal Processing, P. Djuric and C. Richard, editors, Elsevier, 2018
Subjects: Optimization and Control (math.OC); Learning (cs.LG); Multiagent Systems (cs.MA)
[153]  arXiv:1601.02864 (replaced) [pdf, other]
Title: Tables of subspace codes
Comments: 39 pages, 6 tables, 6 screenshots
Subjects: Combinatorics (math.CO); Information Theory (cs.IT)
[154]  arXiv:1601.05481 (replaced) [pdf, other]
Title: The Local Cut Lemma
Authors: Anton Bernshteyn
Comments: 19 pages, 2 figures. This updated version includes a simplified special case of the LCL (Theorem 3.1) which is sufficient for many applications and is, perhaps, somewhat more intuitive
Journal-ref: European Journal of Combinatorics, vol. 63 (2017), 95--114
Subjects: Combinatorics (math.CO); Probability (math.PR)
[155]  arXiv:1604.03849 (replaced) [pdf, ps, other]
Title: Counting isospectral manifolds
Comments: 9 pages; v2: one reference added, this is a final version; v3 includes small corrections to the published version
Journal-ref: Adv. Math. 321 (2017), 69-79
Subjects: Differential Geometry (math.DG); Group Theory (math.GR); Number Theory (math.NT)
[156]  arXiv:1605.00127 (replaced) [pdf, ps, other]
Title: Holographic Software for Quantum Networks
Comments: 48 pages. Accepted for publication in SCIENCE CHINA Mathematics
Subjects: Quantum Physics (quant-ph); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Operator Algebras (math.OA); Quantum Algebra (math.QA)
[157]  arXiv:1605.00581 (replaced) [pdf, other]
Title: Martingales in self-similar growth-fragmentations and their connections with random planar maps
Comments: 50 pages, 5 figures. Final version: to appear in Probab. Theory Related Fields
Subjects: Probability (math.PR); Mathematical Physics (math-ph)
[158]  arXiv:1605.03263 (replaced) [pdf, ps, other]
Title: Local homological properties and cyclicity of homogeneous ANR compacta
Authors: Vesko Valov
Subjects: Geometric Topology (math.GT); General Topology (math.GN)
[159]  arXiv:1607.01939 (replaced) [pdf, ps, other]
Title: Cyclic vs mixed homology
Comments: 16 pages
Subjects: K-Theory and Homology (math.KT); Quantum Algebra (math.QA)
[160]  arXiv:1608.03245 (replaced) [pdf, ps, other]
Title: On the Complexity of Closest Pair via Polar-Pair of Point-Sets
Comments: The paper was previously titled, "The Curse of Medium Dimension for Geometric Problems in Almost Every Norm"
Subjects: Computational Geometry (cs.CG); Computational Complexity (cs.CC); Metric Geometry (math.MG)
[161]  arXiv:1608.08622 (replaced) [pdf, other]
Title: The Age of Information: Real-Time Status Updating by Multiple Sources
Comments: Submitted to the IEEE Transactions on Information Theory
Subjects: Information Theory (cs.IT)
[162]  arXiv:1609.04354 (replaced) [pdf, ps, other]
Title: A general family of multi-peakon equations and their properties
Comments: 28 pages; new material added on properties of the generalized CH and mCH/FORQ equations, including 2-peakon interactions
Subjects: Mathematical Physics (math-ph)
[163]  arXiv:1609.05678 (replaced) [pdf, other]
Title: Uniform sampling in a structured branching population
Authors: Aline Marguet (CMAP)
Subjects: Probability (math.PR)
[164]  arXiv:1609.08360 (replaced) [src]
Title: No fixed-point guarantee of Nash equilibrium in quantum games
Comments: The results pertaining to fixed point theorems for quantum games were mathematically erroneous
Subjects: Quantum Physics (quant-ph); Computer Science and Game Theory (cs.GT); Mathematical Physics (math-ph)
[165]  arXiv:1609.09122 (replaced) [pdf, other]
Title: Sharp Dirac's Theorem for DP-Critical Graphs
Comments: 26 pages, 1 figure
Subjects: Combinatorics (math.CO)
[166]  arXiv:1610.00554 (replaced) [pdf, other]
Title: Recombining Tree Approximations for Optimal Stopping for Diffusions
Comments: Final version. To appear in SIAM Journal on Financial Mathematics
Subjects: Probability (math.PR)
[167]  arXiv:1610.02166 (replaced) [pdf, ps, other]
Title: Transitively-Saturated Property, Banach Recurrence and Lyapunov Regularity
Comments: 30 pages. This version is mainly to discuss Banach recurrence but not quasi-weakly almost periodic case
Subjects: Dynamical Systems (math.DS)
[168]  arXiv:1610.02351 (replaced) [pdf, other]
Title: Panning for Gold: Model-X Knockoffs for High-dimensional Controlled Variable Selection
Comments: 39 pages, 10 figures, 2 tables
Subjects: Methodology (stat.ME); Statistics Theory (math.ST); Applications (stat.AP)
[169]  arXiv:1611.01393 (replaced) [pdf, other]
Title: Hierarchical Overlapping Clustering of Network Data Using Cut Metrics
Comments: Accepted for publication in IEEE Transactions on Signal and Information Processing Over Networks
Subjects: Social and Information Networks (cs.SI); Information Theory (cs.IT); Physics and Society (physics.soc-ph)
[170]  arXiv:1611.02610 (replaced) [pdf, ps, other]
Title: Causal optimal transport and its links to enlargement of filtrations and continuous-time stochastic optimization
Comments: 33 pages
Subjects: Probability (math.PR); Optimization and Control (math.OC)
[171]  arXiv:1611.09338 (replaced) [pdf, other]
Title: Ergodicity of the Liouville system implies the Chowla conjecture
Comments: 41 pages
Journal-ref: Discrete Analysis, 2017:19, 41 pp
Subjects: Number Theory (math.NT); Dynamical Systems (math.DS)
[172]  arXiv:1612.03203 (replaced) [pdf, ps, other]
Title: Slow motion for one-dimensional nonlinear damped hyperbolic Allen-Cahn systems
Authors: Raffaele Folino
Comments: 24 pages
Subjects: Analysis of PDEs (math.AP)
[173]  arXiv:1612.06278 (replaced) [pdf, ps, other]
Title: Strong Cosmic Censorship in orthogonal Bianchi class B perfect fluids and vacuum models
Comments: 88 pages, v2: changes following suggestions by referee, v3: minor typos, layout changes
Subjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Differential Geometry (math.DG)
[174]  arXiv:1701.01603 (replaced) [pdf, ps, other]
Title: Diagonal complexes
Subjects: Geometric Topology (math.GT)
[175]  arXiv:1701.02879 (replaced) [pdf, ps, other]
Title: An axiomatic basis for Blackwell optimality
Authors: Adam Jonsson
Comments: 5 pages
Subjects: Optimization and Control (math.OC)
[176]  arXiv:1701.06691 (replaced) [pdf, ps, other]
Title: Maximal immediate extensions of valued differential fields
Comments: 31 pp; updated according to suggestions by the referee
Subjects: Commutative Algebra (math.AC); Logic (math.LO)
[177]  arXiv:1701.07656 (replaced) [pdf, ps, other]
Title: A general renormalization procedure on the one-dimensional lattice and decay of correlations
Authors: Artur O. Lopes
Subjects: Dynamical Systems (math.DS); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Probability (math.PR)
[178]  arXiv:1701.08654 (replaced) [pdf, ps, other]
Title: An equivalence between truncations of categorified quantum groups and Heisenberg categories
Comments: 36 pages. v2: Minor corrections, published version
Subjects: Representation Theory (math.RT); Quantum Algebra (math.QA)
[179]  arXiv:1702.01379 (replaced) [pdf, ps, other]
Title: Quasiperiodic and mixed commutator factorizations in free products of groups
Comments: 14 pages, 5 figures
Subjects: Group Theory (math.GR)
[180]  arXiv:1702.04831 (replaced) [pdf, ps, other]
Title: Rational cohomology of unipotent group schemes
Comments: Much revised version -- really a replacement paper. Comments most welcome
Subjects: Representation Theory (math.RT)
[181]  arXiv:1703.04557 (replaced) [pdf, ps, other]
Title: Recursive computation of the invariant distribution of Markov and Feller processes
Subjects: Probability (math.PR)
[182]  arXiv:1703.05564 (replaced) [pdf, ps, other]
Title: Jante's law process
Subjects: Probability (math.PR)
[183]  arXiv:1703.10705 (replaced) [pdf, other]
Title: Scaling, Proximity, and Optimization of Integrally Convex Functions
Comments: 30 pages, 3 figures
Subjects: Combinatorics (math.CO); Optimization and Control (math.OC)
[184]  arXiv:1704.02885 (replaced) [pdf, ps, other]
Title: Eisenstein's criterion, Fermat's last theorem, and a conjecture on powerful numbers
Authors: Pietro Paparella
Subjects: History and Overview (math.HO); Number Theory (math.NT)
[185]  arXiv:1704.04704 (replaced) [pdf, ps, other]
Title: Length spectra of sub-Riemannian metrics on compact Lie groups
Comments: 20 pages; new title and abstract
Subjects: Differential Geometry (math.DG)
[186]  arXiv:1704.06097 (replaced) [pdf, ps, other]
Title: Orbits of real semisimple Lie groups on real loci of complex symmetric spaces
Comments: 17 pages, the final version, published in Acta Math. Sinica, English series, online first, legal view-only access via this http URL
Subjects: Algebraic Geometry (math.AG); Complex Variables (math.CV)
[187]  arXiv:1704.06442 (replaced) [pdf, ps, other]
Title: Stationary analysis of the shortest queue problem
Journal-ref: Queueing Systems, 87(3), 211- 243 (2017)
Subjects: Probability (math.PR)
[188]  arXiv:1704.08060 (replaced) [pdf, ps, other]
Title: Admissible endpoints of gaps in the Lagrange spectrum
Authors: Dmitry Gayfulin
Comments: 10 pages
Subjects: Number Theory (math.NT)
[189]  arXiv:1705.03852 (replaced) [pdf, other]
Title: Caching with Partial Adaptive Matching
Comments: 32 pages, 5 figures. Shorter versions have appeared in IEEE ISIT 2017 and IEEE ITW 2017
Subjects: Information Theory (cs.IT)
[190]  arXiv:1705.05916 (replaced) [pdf, other]
Title: Network Design with Probabilistic Capacities
Subjects: Optimization and Control (math.OC)
[191]  arXiv:1705.06992 (replaced) [pdf]
Title: Cooperative spectrum sensing with enhanced energy detection under GAUSSIAN noise uncertainty in cognitive radios
Comments: 5 pages
Subjects: Information Theory (cs.IT)
[192]  arXiv:1705.07352 (replaced) [pdf, ps, other]
Title: A Dynkin game on assets with incomplete information on the return
Comments: 34 pages; keywords: Zero-sum games; Nash equilibrium; incomplete information; free boundaries; (Improved introduction)
Subjects: Probability (math.PR); Optimization and Control (math.OC); Mathematical Finance (q-fin.MF)
[193]  arXiv:1705.07881 (replaced) [pdf, other]
Title: Online Factorization and Partition of Complex Networks From Random Walks
Subjects: Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
[194]  arXiv:1705.10372 (replaced) [pdf, ps, other]
Title: A New Voltage Stability-Constrained Optimal Power Flow Model: Sufficient Condition, SOCP Representation, and Relaxation
Authors: Bai Cui, Xu Andy Sun
Comments: Accepted for publication in IEEE Transactions on Power Systems
Subjects: Optimization and Control (math.OC)
[195]  arXiv:1706.02563 (replaced) [pdf, other]
Title: Jeffreys priors for mixture estimation: properties and alternatives
Comments: arXiv admin note: substantial text overlap with arXiv:1511.03145
Subjects: Methodology (stat.ME); Statistics Theory (math.ST)
[196]  arXiv:1706.06781 (replaced) [pdf, other]
Title: A Hybrid High-Order method for Kirchhoff-Love plate bending problems
Subjects: Numerical Analysis (math.NA)
[197]  arXiv:1706.07449 (replaced) [pdf, other]
Title: Nonparametric Bayesian estimation of a Hölder continuous diffusion coefficient
Subjects: Statistics Theory (math.ST); Methodology (stat.ME)
[198]  arXiv:1706.08118 (replaced) [pdf, ps, other]
Title: Large sets avoiding linear patterns
Authors: Alexia Yavicoli
Comments: v5: small fixes and clarifications. To appear in Proceedings AMS
Subjects: Classical Analysis and ODEs (math.CA); Combinatorics (math.CO); Metric Geometry (math.MG)
[199]  arXiv:1707.04659 (replaced) [pdf, other]
Title: Variational approach for learning Markov processes from time series data
Authors: Hao Wu, Frank Noé
Subjects: Machine Learning (stat.ML); Dynamical Systems (math.DS)
[200]  arXiv:1707.07183 (replaced) [pdf, ps, other]
Title: Counting Multiplicities in a Hypersurface over a Number Field
Authors: Hao Wen, Chunhui Liu
Comments: 23 pages
Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
[201]  arXiv:1708.02604 (replaced) [pdf, other]
Title: A Mathematical Picture Language Program
Comments: 15 pages
Subjects: History and Overview (math.HO); Mathematical Physics (math-ph); Category Theory (math.CT); Operator Algebras (math.OA); Quantum Algebra (math.QA)
[202]  arXiv:1708.04947 (replaced) [pdf, ps, other]
Title: Non-singular spacetimes with a negative cosmological constant: IV. Stationary black hole solutions with matter fields
Comments: 16 pages, journal accepted version
Subjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Differential Geometry (math.DG)
[203]  arXiv:1708.05323 (replaced) [pdf, other]
Title: Line defect Schur indices, Verlinde algebras and $U(1)_r$ fixed points
Comments: 64 pages, 21 figures. v2 published version, references updated
Journal-ref: JHEP11(2017)035
Subjects: High Energy Physics - Theory (hep-th); Algebraic Geometry (math.AG); Representation Theory (math.RT)
[204]  arXiv:1708.05978 (replaced) [pdf, other]
Title: Stochastic Primal-Dual Proximal ExtraGradient Descent for Compositely Regularized Optimization
Subjects: Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
[205]  arXiv:1708.08950 (replaced) [pdf, ps, other]
Title: p-adic Abel-Jacobi map and p-adic Gross-Zagier formula for Hilbert modular forms
Comments: We restate an incomplete proof by putting a nonordinarity condition
Subjects: Number Theory (math.NT)
[206]  arXiv:1709.01858 (replaced) [pdf, ps, other]
Title: Majorana algebras generated by a 2A algebra and one further axis
Comments: 19 pages
Subjects: Group Theory (math.GR); Rings and Algebras (math.RA)
[207]  arXiv:1709.05421 (replaced) [pdf, ps, other]
Title: Impatient random walk
Comments: 3 figures
Subjects: Probability (math.PR)
[208]  arXiv:1709.05616 (replaced) [pdf, ps, other]
Title: Cohomologies of finite abelian groups
Comments: 13 pages
Journal-ref: Algebra Discrete Math. 24, no.1 (2017) 144-157
Subjects: Group Theory (math.GR)
[209]  arXiv:1709.06543 (replaced) [pdf, ps, other]
Title: Cancellation theorem for Grothendieck-Witt-correspondences and Witt-correspondences
Authors: Andrei Druzhinin
Comments: 1-th update. Added arXiv-hyperlink for the preprint on "Effective GW-motives of smooth varieties" in reference list. Some editorial changes are made and few typos are corrected. 2-th update. The most technical section 6 is rewritten and split into two sections. Some proofs in other sections are rewritten too
Subjects: K-Theory and Homology (math.KT)
[210]  arXiv:1709.07929 (replaced) [pdf, ps, other]
Title: Triangulated equivalences and reconstruction of classifying spaces
Authors: Hiroki Matsui
Comments: 20 pages, comments are welcome
Subjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG); Representation Theory (math.RT)
[211]  arXiv:1709.08256 (replaced) [pdf, ps, other]
Title: The lattices of invariant subspaces of a class of operators on the Hardy space
Comments: The article has been accepted at the Archiv der Mathematik for publication
Subjects: Complex Variables (math.CV)
[212]  arXiv:1710.00556 (replaced) [pdf, other]
Title: Mixed-Dimensional Elliptic Partial Differential Equations
Subjects: Analysis of PDEs (math.AP)
[213]  arXiv:1710.00737 (replaced) [pdf, other]
Title: Four self-dual integral forms of the moonshine module
Authors: Scott Carnahan
Comments: (v2) added details, corrected errors. 23 pages
Subjects: Representation Theory (math.RT); Number Theory (math.NT); Quantum Algebra (math.QA)
[214]  arXiv:1710.05177 (replaced) [pdf, ps, other]
Title: The Order on the Light Cone and its induced Topology
Subjects: Mathematical Physics (math-ph)
[215]  arXiv:1710.05316 (replaced) [pdf, ps, other]
Title: Almost complex structures on connected sums of complex projective spaces
Comments: 11 pages, mistake corrected in former Prop. 2.3 (now Prop 2.2), main result unchanged
Subjects: Algebraic Topology (math.AT); Differential Geometry (math.DG); K-Theory and Homology (math.KT)
[216]  arXiv:1710.05537 (replaced) [pdf, ps, other]
Title: Hamiltonian stability for weighted measure and generalized Lagrangian mean curvature flow
Comments: 40 pages; (ver.2) Tex file format is changed, Corollary 2.5 and a reference are added, minor corrections
Subjects: Differential Geometry (math.DG)
[217]  arXiv:1710.05973 (replaced) [pdf, ps, other]
Title: Homotopy RG Flow and the Non-Linear $σ$-model
Comments: 23 pages, comments welcome; v2: typos and a few errors corrected
Subjects: Mathematical Physics (math-ph); Differential Geometry (math.DG); Quantum Algebra (math.QA)
[218]  arXiv:1710.06663 (replaced) [pdf, ps, other]
Title: Jumps and motivic invariants of semiabelian Jacobians
Authors: Otto Overkamp
Comments: 37 pages. Corrected two minor inaccuracies (added a factor of 1/[K':K] in the definition of Chai's base change conductor, and added the condition "purely wild" in Theorem 2.11)
Subjects: Number Theory (math.NT)
[219]  arXiv:1710.07185 (replaced) [pdf, ps, other]
Title: A comparison between MMAE and SCEM for solving singularly perturbed linear boundary layer problems
Comments: This manuscript is under-review in journal Filomat
Subjects: Numerical Analysis (math.NA)
[220]  arXiv:1710.07970 (replaced) [pdf, ps, other]
Title: Statistical stability of mostly expanding diffeomorphisms
Comments: Minor typos are corrected and the wording has been improved
Subjects: Dynamical Systems (math.DS)
[221]  arXiv:1710.08133 (replaced) [pdf, other]
Title: The monotonicity of the apsidal angle using the theory of potential oscillators
Authors: David Rojas
Comments: 4 pages
Subjects: Dynamical Systems (math.DS)
[222]  arXiv:1711.02724 (replaced) [pdf, ps, other]
Title: Algorithms to Approximate Column-Sparse Packing Problems
Comments: To appear in SODA 2018
Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[223]  arXiv:1711.03013 (replaced) [pdf, ps, other]
Title: Morita enveloping Fell bundles
Comments: This version contains some comments and references to a recent work by Kwa\'sniewski and Meyer
Subjects: Operator Algebras (math.OA)
[224]  arXiv:1711.03222 (replaced) [pdf, ps, other]
Title: Derived counterparts of fusion categories of quantum groups
Subjects: Quantum Algebra (math.QA)
[225]  arXiv:1711.04109 (replaced) [pdf, other]
Title: Natural exact covering systems and the reversion of the Möbius series
Subjects: Number Theory (math.NT); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[226]  arXiv:1711.04268 (replaced) [pdf, other]
Title: Quickest Detection of Markov Networks
Comments: 41 pages, 10 figures
Subjects: Methodology (stat.ME); Information Theory (cs.IT)
[227]  arXiv:1711.05218 (replaced) [pdf]
Title: When a triangle is isosceles?
Authors: Alexey Rabe
Comments: 25 pages, 23 figures, in Russian
Subjects: History and Overview (math.HO)
[228]  arXiv:1711.05599 (replaced) [pdf, ps, other]
Title: Expansion of the effective action around non-Gaussian theories
Comments: In the first version of this manuscript we erroneously stated that parts of our results on the Ising model differed from earlier works by a numerical factor. We clarify here that this assumption relied on a misinterpretation of the sum convention used there. We thank Adam Rancon for pointing this out to us. 27 pages
Subjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
[229]  arXiv:1711.07442 (replaced) [pdf, ps, other]
Title: On tight cycles in hypergraphs
Authors: Hao Huang, Jie Ma
Subjects: Combinatorics (math.CO)
[230]  arXiv:1711.07603 (replaced) [pdf, other]
Title: Non-spanning lattice 3-polytopes
Comments: 20 pages. Changes from v1: added a small section on h^* vectors
Subjects: Combinatorics (math.CO)
[231]  arXiv:1711.09228 (replaced) [pdf]
Title: The convergence of operational Tau method for solving a class of nonlinear Fredholm fractional integro-differential equations on Legendre basis
Comments: 16 pages, 6 figures,2 tables
Subjects: Numerical Analysis (math.NA)
[232]  arXiv:1711.10484 (replaced) [pdf, ps, other]
Title: The Ellis Semigroup of a Generalised Morse System
Authors: Petra Staynova
Comments: 8 pages
Subjects: Dynamical Systems (math.DS)
[233]  arXiv:1712.00145 (replaced) [pdf, ps, other]
Title: Reply to "Theory of channel simulation and bounds for private communication"
Authors: Mark M. Wilde
Comments: v2: 5 pages, revised reply
Subjects: Quantum Physics (quant-ph); Other Condensed Matter (cond-mat.other); Mathematical Physics (math-ph); Optics (physics.optics)
[234]  arXiv:1712.00186 (replaced) [pdf, ps, other]
Title: Tight Hamilton cycles in cherry quasirandom $3$-uniform hypergraphs
Comments: 21 pages (3 of which references), full version; typos corrected; clearer calculation of the constants involved in Lemma 4.1 added
Subjects: Combinatorics (math.CO)
[235]  arXiv:1712.00307 (replaced) [pdf, other]
Title: Energy- and Spectral- Efficiency Tradeoff for D2D-Multicasts in Underlay Cellular Networks
Comments: 8 pages, 2 figures
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[236]  arXiv:1712.00440 (replaced) [pdf, other]
Title: A compilation of LEGO Technic parts to support learning experiments on linkages
Comments: 12 pages, 9 figures, 1 table
Subjects: History and Overview (math.HO); Algebraic Geometry (math.AG)
[237]  arXiv:1712.01232 (replaced) [pdf, other]
Title: Minimal Input Selection for Robust Control
Comments: This is a revised version of the paper that appeared in the proceedings of the 56th IEEE Conference on Decision and Control (CDC), Melbourne, Australia, December, 2017
Subjects: Optimization and Control (math.OC)
[238]  arXiv:1712.01331 (replaced) [pdf, ps, other]
Title: A note on Biharmonic functions on the Thurston geometries
Subjects: Differential Geometry (math.DG)
[239]  arXiv:1712.02377 (replaced) [pdf, ps, other]
Title: A Note on Cohamiltonian Graphs
Subjects: Combinatorics (math.CO)
[240]  arXiv:1712.02652 (replaced) [pdf, ps, other]
Title: On the inadequacy of the projective structure with respect to the Univalence Axiom
Authors: Anthony Bordg
Comments: 23 pages. This text overlaps with arXiv:1512.04083, but it is entirely rewritten and self-contained. V.2 updates conclusion and bibliography
Subjects: Category Theory (math.CT); Algebraic Topology (math.AT); Logic (math.LO)
[241]  arXiv:1712.02699 (replaced) [pdf, ps, other]
Title: Orthogonal Bianchi B stiff fluids close to the initial singularity
Comments: 29 pages, v2: minor typos, layout changes
Subjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Differential Geometry (math.DG)
[242]  arXiv:1712.02880 (replaced) [pdf, ps, other]
Title: Universal classes near $\aleph_1$
Comments: 12 pages; Corrected typos
Subjects: Logic (math.LO)
[243]  arXiv:1712.03156 (replaced) [pdf, other]
Title: Structure-Adaptive, Variance-Reduced, and Accelerated Stochastic Optimization
Comments: 29 Pages
Subjects: Optimization and Control (math.OC)
[244]  arXiv:1712.03270 (replaced) [pdf, ps, other]
Title: Limit Curve Theorem vs. Zeeman Topologies with a Countable Basis
Comments: The authors would like to thank Nikolaos Kalogeropoulos for the fruitful discussions
Subjects: Mathematical Physics (math-ph)
[245]  arXiv:1712.03317 (replaced) [src]
Title: Testing homogeneity of proportions from sparse binomial data with a large number of groups
Authors: Junyong Park
Comments: not complete
Subjects: Statistics Theory (math.ST)
[246]  arXiv:1712.03458 (replaced) [pdf, ps, other]
Title: Inequalities of Chern classes on nonsingular projective $n$-folds of Fano or general type with ample canonical bundle
Authors: Rong Du, Hao Sun
Subjects: Algebraic Geometry (math.AG)
[247]  arXiv:1712.03658 (replaced) [pdf, ps, other]
Title: Isotropic Polynomial Invariants of the Hall Tensor
Subjects: Mathematical Physics (math-ph)
[ total of 247 entries: 1-247 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)