Mathematics
New submissions
[ 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 spacesComments: 15 pages. arXiv admin note: substantial text overlap with arXiv:1710.01160Subjects: 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 Carlesontype 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 Carlesontype 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: RungeKuttaGegenbauer methods for advectiondiffusion problemsAuthors: Stephen O'SullivanComments: 22 pages, 7 figures, 3 tablesSubjects: Numerical Analysis (math.NA); Computational Physics (physics.compph)
In this paper, RungeKuttaGegenbauer (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 RungeKutta (SRK) methods for systems of PDEs of mixed hyperbolicparabolic type.
We present SRK methods composed of $L$ ordered forward Euler stages, with complexvalued 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 advectiondiffusionreaction 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 primeComments: 11 pagesSubjects: Number Theory (math.NT)
A Lehmer number modulo a prime $p$ is an integer $a$ with $1 \leq a \leq p1$ 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 WangWang estimate for the number of solutions to the GolombLehmer primitive root problem.  [4] arXiv:1712.03995 [pdf, ps, other]

Title: A new proof of HarishChandra's integral formulaAuthors: Colin McSwiggenComments: 12 pagesSubjects: Mathematical Physics (mathph); Representation Theory (math.RT)
We present a new proof of HarishChandra'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 heatflow 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 quasigreedy bases in classical Banach spacesSubjects: Functional Analysis (math.FA)
It is known that for a conditional quasigreedy 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 nonsuperreflexive. However, in the existing literature one finds very few instances of nonsuperreflexive spaces possessing quasigreedy 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 quasigreedy bases in Hilbert and Banach spaces, Indiana Univ. Math. J. 63 (2014), no. 4, 10171036] 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, 67101], and craft a wealth of new examples of nonsuperreflexive classical Banach spaces having quasigreedy bases $\mathcal{B}$ with $k_{m}[\mathcal{B}]=\mathcal{O}(\log m)$.
 [6] arXiv:1712.04005 [pdf, ps, other]

Title: "LionMan" and the Fixed Point PropertySubjects: 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 OneAuthors: Alyson BittnerComments: 3 pagesSubjects: 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 FeynmanKac semigroupsSubjects: Numerical Analysis (math.NA)
We consider the numerical analysis of the time discretization of FeynmanKac semigroups associated with diffusion processes. These semigroups naturally appear in several fields, such as large deviation theory, Diffusion Monte Carlo or nonlinear filtering. We present errors estimates a la TalayTubaro 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 FeynmanKac 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 idealsComments: 13 ppSubjects: 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 metricsSubjects: 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 NewellWhitehead EquationAuthors: Derek Booth, Jack Burkart, Xiaodong Cao, Max Hallgren, Zachary Munro, Jason Snyder, Tom StoneSubjects: Analysis of PDEs (math.AP)
This paper will develop a LiYauHamilton type differential Harnack estimate for positive solutions to the NewellWhitehead equation on $\mathbb{R}^n$. We then use our LYHdifferential 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 knotComments: 24 pages, 18 figuresSubjects: 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 ModuliComments: 17 pages, submittedSubjects: Number Theory (math.NT)
We establish an effective version of the Andr\'eOort 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 CMpoints can be (theoretically) determined.
 [14] arXiv:1712.04028 [pdf, other]

Title: Displacement interpolation using monotone rearrangementSubjects: 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 lowdimensional 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 entriesComments: 19 pages, no figuresSubjects: Operator Algebras (math.OA); Combinatorics (math.CO)
Motivated by the recent work on asymptotic independence relations for random matrices with noncommutative 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 attractorsComments: 38 pages, 15 figuresSubjects: 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 pseudohyperbolic 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 pseudohyperbolic attractor for the case of multidimensional maps, from which we derive the necessary conditions for its existence in the threedimensional case, formulated using the Lyapunov exponents. We also describe some phenomenological scenarios for the appearance of pseudohyperbolic attractors of various types in oneparameter families of threedimensional 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 threedimensional generalized Henon maps as examples.
 [17] arXiv:1712.04038 [pdf, ps, other]

Title: Diversity Combining via Universal Orthogonal SpaceTime TransformationsSubjects: 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 dimensionreducing spacetime 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 spacetime block codes. The scheme is wellsuited to reducedcomplexity multiple receiveantenna analogtodigital conversion of narrowband signals. It also provides a method to achieve diversityenhanced relaying of communication signals, for multiuser 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 applicationsComments: arXiv admin note: text overlap with arXiv:1703.04557Subjects: 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 frameworkComments: 26 pages, 4 figures, journal submissionSubjects: 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 nonconvex 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 semicontinuous functional. The proposed algorithm is a generalisation of numerous wellknown 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 solutionpaths. 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 systemsAuthors: Antti KoskelaComments: 24 pages, 10 figuresSubjects: 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 CoefficientsAuthors: Eyal MosesComments: This is the final version of an MSc thesis as submitted to Tel Aviv University on July 31, 2017Subjects: 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 LipmanZariski conjecture for logarithmic vector fields on log canonical pairsAuthors: Hannah BergnerSubjects: Algebraic Geometry (math.AG); Complex Variables (math.CV)
We consider a version of the LipmanZariski 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 multiparameter variant of the Erdős distance problemComments: 19 PagesSubjects: 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_1y_1, \ldots, x_qy_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}sdistance 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_i1)}$. 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+(q1)(\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 pLaplacianAuthors: Martin StrömqvistSubjects: Analysis of PDEs (math.AP)
We state and prove estimates for the local boundedness of subsolutions of nonlocal, possibly degenerate, parabolic integrodifferential 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) ^{p2}(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 xy ^{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 HomologyComments: 54 pagesSubjects: 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 timedependent 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 timedependent clustering features which we call formigrams. These setvalued 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 modelsAuthors: Teodor BanicaComments: 12 pagesSubjects: 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 potentialComments: 44 pagesSubjects: Mathematical Physics (mathph); Spectral Theory (math.SP)
This paper presents a thorough analysis of 1dimensional 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 lighttailed Weibulllike sumsSubjects: 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 orderAuthors: Bryan R. GillespieSubjects: 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 joindistributive 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 trunkComments: 14 pagesSubjects: 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 $ev$ lies in some preceding edge. A conjecture of Kalai [Kalai], generalizing the Erd\H{o}sS\'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{t1}{r}\binom{n}{r1}$ edges.
A trunk $T'$ of a tight $r$tree $T$ is a tight subtree such that every edge of $TT'$ has $r1$ 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 CahnHilliard equation in 2D casSubjects: Numerical Analysis (math.NA)
In this paper, we consider the Fourier spectral method for numerically solving the 2D convective CahnHilliard equation. The semidiscrete 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 constraintsSubjects: 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 threebody problem with mass $M=[1, \, m, \, m]$, where we study the action minimizer under topological constraints in a twopoint 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 threebody 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 BrouckeH\'{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 CuckerSmale model with random inputsComments: 32 pagesSubjects: Dynamical Systems (math.DS)
We present pathwise flocking dynamics and local sensitivity analysis for the CuckerSmale(CS) model with random communications and initial data. For the deterministic communications, it is well known that the CS 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 CS 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 CS model with uncertain communication.
 [34] arXiv:1712.04089 [pdf, other]

Title: Regularity of Kleinian limit sets and PattersonSullivan measuresAuthors: Jonathan M. FraserComments: 33 pages, 6 figuresSubjects: 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 PattersonSullivan measures. We begin by computing the upper and lower regularity dimensions of the PattersonSullivan 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 boxcounting 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 equationComments: 15 pagesSubjects: 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 InteractionsAuthors: Sylvia SerfatyComments: 30 pages, to appear as Proceedings of the ICM2018Subjects: Mathematical Physics (mathph); 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 meanfield 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 meanfield 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 ExamplesAuthors: Juan Jose Viquez RComments: arXiv admin note: substantial text overlap with arXiv:1104.1837Journalref: Stochastic Analysis and Applications 2017Subjects: Probability (math.PR)
We prove the chain rule in the more general framework of the WienerPoisson space, allowing us to obtain the socalled NourdinPeccati bound. From this bound we obtain a secondorder Poincaretype inequality that is useful in terms of computations. For completeness we survey these results on the Wiener space, the Poisson space, and the WienerPoisson 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 OrnsteinUhlenbeck 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 OrnsteinUhlenbeck 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 24cell conjectureAuthors: Oleg R. MusinComments: 18 pagesSubjects: 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 4dimensional Euclidean space. We consider two longstanding open problems: the uniqueness of maximum kissing arrangements in 4 dimensions and the 24cell conjecture. Note that a proof of the 24cell 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 ContinuityAuthors: Benjamin GrimmerComments: 15 pagesSubjects: Optimization and Control (math.OC); Learning (cs.LG)
We generalize the classic convergence rate theory for subgradient methods to apply to nonLipschitz 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 AnalysisAuthors: Yan Shuo TanSubjects: Information Theory (cs.IT); Learning (cs.LG); Statistics Theory (math.ST)
We consider the problem of highdimensional 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 twostage 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 nonGaussian 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 GromovWitten invariants of projective completions of vector bundlesAuthors: ChengYong DuComments: 14pages; accepted for publication in SCIENCE CHINA MathematicsSubjects: Symplectic Geometry (math.SG); Algebraic Geometry (math.AG)
It was proved by FanLee and Fan that the absolute GromovWitten 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 GromovWitten 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 nonsubmodular set functions in systems and controlSubjects: Optimization and Control (math.OC); Systems and Control (cs.SY)
A key problem in emerging complex cyberphysical 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 nearoptimal 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 nonsubmodular 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 $α$$μ$ VariatesSubjects: Information Theory (cs.IT)
In this study, the product of two independent and nonidentically 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 Hfunction to solve the problem that Fox Hfunction in the RVs product could not be implemented in popular mathematical software packages as Mathematica and Maple. Novel Exact closeform 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 montecarlo 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 spacesComments: 20 pagesSubjects: 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 ObfuscationAuthors: Michael ErdmannComments: 154 pages, 76 figures, main narrative written for a general audience, detailed proofs in appendicesSubjects: 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 privacypuncturing 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 longterm 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 JammersComments: It has been submitted to the IEEE transactions on information theorySubjects: Information Theory (cs.IT)
This paper considers the twouser 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 twouser 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 halfbit theorem. In weak and strong interference regime, our inner bound matches the corresponding HanKobayashi 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 signaltonoise, interferencetonoise and jammertonoise 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 HanKobayashi 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 HanKobayashi 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 SystemsComments: 5 figuresSubjects: 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 ultralow latency and reliable data analytics solutions that can combine, in realtime, a heterogeneous mix of data stemming from the ITS network and its environment. Such data analytics capabilities cannot be provided by conventional cloudcentric data processing techniques whose communication and computing latency can be high. Instead, edgecentric 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 intravehicle 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 cyberphysical 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: NonCommutative Chern Numbers for Generic Aperiodic Discrete SystemsComments: 43 pages, 4 figuresSubjects: Mathematical Physics (mathph); Disordered Systems and Neural Networks (condmat.disnn)
The search for strong topological phases in generic aperiodic materials and metamaterials 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 2dimensional 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 quasicrystalline, amorphous as well as synthetic (i.e. algorithmically generated) lattices.
 [49] arXiv:1712.04140 [pdf, ps, other]

Title: Binary quadratic forms and ray class groupsSubjects: 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 AlgebraAuthors: Minh NguyenComments: 27 pagesSubjects: 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 viscosityindependent error estimate of a pressurestabilized LagrangeGalerkin scheme for the Oseen problemAuthors: Shinya UchiumiSubjects: Numerical Analysis (math.NA)
We consider a pressurestabilized LagrangeGalerkin scheme for the transient Oseen problem with small viscosity. In the scheme we use the equalorder 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 modelSubjects: Mathematical Physics (mathph); Representation Theory (math.RT); Quantum Physics (quantph)
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 quasiexact, eigensolutions, and the nonJuddian 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 nondegenerate. 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 nonJuddian exceptional spectrum we show that the degeneracy occurs only among Juddian solutions, that is, nonJuddian 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 inequalitiesAuthors: Sándor ZsuppánComments: 14 pages, 0 figuresSubjects: Analysis of PDEs (math.AP)
We derive connections between optimal domain specific constants figuring in the FriedrichsVelte inequality for conjugate harmonic functions, in the Babu\v{s}kaAziz 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}kaAziz inequality.
 [54] arXiv:1712.04156 [pdf, ps, other]

Title: Extremizers for the AiryStrichartz inequalitySubjects: 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 AiryStrichartz 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 AiryStrichartz inequalities (except the endpoints) both in the diagonal and offdiagonal cases.
 [55] arXiv:1712.04160 [pdf, ps, other]

Title: Singular solutions to the Riemann problem for the pressureless Euler equations with discontinuous source termAuthors: Qingling ZhangSubjects: 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 RankineHugoniot 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 sheavesComments: 15 pagesSubjects: 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 HarishChandra modulesSubjects: 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 GelfandKirillov 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 HarishChandra modulesSubjects: 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 GelfandKirillov 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 densitydependent viscosityComments: 38 pages. arXiv admin note: text overlap with arXiv:1511.03841Subjects: 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 threedimensional torus for large initial data. The system takes into account densitydependent 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 FaedoGalerkin 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 BreschDesjardin 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^1Authors: Junhyeong KimComments: 15 pagesSubjects: Differential Geometry (math.DG); Dynamical Systems (math.DS); Number Theory (math.NT)
The dynamical zeta functions on a manifold with 1codimensional 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 surfacebundle 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 MatricesComments: 10 pagesSubjects: 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 idealsSubjects: 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: stateoftheart and perspectivesAuthors: Dmitry ChelkakComments: 19 pages (+ references), prepared for the Proceedings of ICM2018Subjects: Mathematical Physics (mathph); 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 Zinvariant Ising model on isoradial graphs (rhombic lattices). We also introduce a new class of embeddings of general weighted planar graphs (sembeddings), 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 onedimensional supersymmetric $tJ$ model with unparallel boundary fieldsComments: 15 pages, 3 figures, 1 tableSubjects: Mathematical Physics (mathph); Strongly Correlated Electrons (condmat.strel); High Energy Physics  Theory (hepth)
We investigate the thermodynamic limit of the exact solution, which is given by an inhomogeneous $TQ$ relation, of the onedimensional supersymmetric $tJ$ 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 systemsize. 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}$ kernelsAuthors: Qi'an GuanComments: 6 pages. Comments are welcomeSubjects: 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 threespace properties of asymptotic ideal seminormsComments: 43 ppSubjects: 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 `automatictype' phenomenon, the typecotype duality, or the MaureyPisier 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 ProblemComments: 18 pagesSubjects: 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 4Comments: 16 pagesSubjects: 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 CayleyBacharach 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, "CayleyBacharach schemes and their canonical modules", Trans. Amer. Math. Soc. 339:443452, 1993.
 [69] arXiv:1712.04212 [pdf, other]

Title: Concentration of $1$Lipschitz functions on manifolds with boundary with Dirichlet boundary conditionAuthors: Yohei SakuraiComments: 26 pagesSubjects: 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 nonnegative $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 NonAbelian ExtensionsAuthors: Linda FreyComments: 23 pages, comments welcomeSubjects: 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 nonzero 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 twoComments: 18 pages, 6 figuresSubjects: Combinatorics (math.CO)
In this paper, we show the realrootedness 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 realrootedness 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 MatchingSubjects: 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 clawfree. Furthermore, we provide a constructive characterization of the clawfree graphs with a unique perfect matching.
 [73] arXiv:1712.04231 [pdf, ps, other]

Title: Common zeros of polynomials satisfying a recurrence of order twoComments: 12 pagesSubjects: 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 MaxStable Stationary Processes and Pickands ConstantsSubjects: Probability (math.PR); Methodology (stat.ME)
Let $X(t),t\in \mathbb{R}$ be a stochastically continuous stationary maxstable 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 BrownResnick $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 spaceSubjects: 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 qNormal distribution and probabilistic interpretations of AskeyWilson, AlSalamChihara and qultraspherical polynomialsAuthors: Paweł J. SzabłowskiComments: 13 pagesSubjects: 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 KestenMcKay 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 AskeyWilson 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 Markovmodulated infiniteserver queuesComments: 20 pagesSubjects: Probability (math.PR)
This paper studies the diffusion limit for a network of infiniteserver queues operating under Markov modulation (meaning that the system's parameters depend on an autonomously evolving background process). In previous papers on (primarily singlenode) 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 OrnsteinUhlenbeck 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 continuousmapping arguments.
 [78] arXiv:1712.04253 [pdf, ps, other]

Title: Upper bounds for Z$_1$eigenvalues of generalized Hilbert tensorsComments: 9 pagesSubjects: 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$thorder $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: SaintVenant 2D equations for Maxwell fluidsAuthors: Sébastien Boyaval (SaintVenant, MATHERIALS)Subjects: Numerical Analysis (math.NA); Classical Physics (physics.classph)
We pursue here the development of models for complex (viscoelastic) fluids in shallow freesurface gravity flows which was initiated by [BouchutBoyaval, M3AS (23) 2013] for 1D (translation invariant) cases. The models we propose are hyperbolic quasilinear systems that generalize SaintVenant shallowwater equations to incompressible Maxwell fluids. The models are compatible with a formulation of the thermodynamics second principle. In comparison with SaintVenant standard shallowwater model, the momentum balance includes extrastresses associated with an elastic potential energy in addition to a hydrostatic pressure. The extrastresses 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 SaintVenant systems with FiniteVolume approximations that are entropyconsistent (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 retardationtime values (i.e. in the vanishing "solventviscosity" limit). We finally illustrate our hyperbolic viscoelastic flow models numerically using computer simulations in benchmark test cases. On extending to Maxwell fluids some freeshear 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 retardationtime. Moreover, with a view to quantitative evaluations, numerical results in the liddriven cavity testcase show that, in fact, our models can be compared with standard viscoelastic flow models in shearedflow benchmarks on adequately choosing the physical parameters of our models. Analyzing our models asymptotics should therefore shed new light on the famous HighWeissenberg Number Problem (HWNP), which is a limit for all the existing viscoelastic numerical models.
 [80] arXiv:1712.04262 [pdf, ps, other]

Title: Vandermonde determinantal idealsComments: 7 pages, comments welcomeSubjects: 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 CohenMacaulay. Note that this ideal is generated by all Specht polynomials with shape $(nk,1,...,1)$.
 [81] arXiv:1712.04266 [pdf, other]

Title: Fundamental Limits of Cloud and CacheAided Interference Management with Multiantenna Base StationsComments: 20 pages, 8 figuresSubjects: 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 informationtheoretic 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 signaltonoise 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 fogaided 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 networkSubjects: 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 BoundsComments: 13 pages, submitted to IEEE Transactions on Information Forensics and SecuritySubjects: Information Theory (cs.IT)
We study deterministic approximations of the Gaussian twouser multiple access wiretap channel (GMACWT) and the Gaussian wiretap channel with a helper (GWTH). These approximations enable results beyond the recently shown 2/3 and 1/2 secure degrees of freedom (s.d.o.f.) for the GMACWT and the GWTH, respectively. While the s.d.o.f. were obtained by real interference alignment, our approach uses signalscale 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 constantgap analysis of the GMACWT and the GWTH.
 [84] arXiv:1712.04275 [pdf, ps, other]

Title: Strongly order continuous operators on Riesz spacesSubjects: 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 HegselmannKrauseType DynamicsSubjects: Optimization and Control (math.OC); Multiagent Systems (cs.MA); Social and Information Networks (cs.SI); Adaptation and SelfOrganizing 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 confidencebased opinion dynamics provide an acceptant mechanism to produce fragmentation phenomenon. In this study, taking the famous confidencebased HegselmannKrause (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 wellappearing 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 potentialComments: 19 pagesSubjects: Analysis of PDEs (math.AP)
We verify the existence of radial positive solutions for the semilinear 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)/(N2)$, and $V$ is a radial smooth potential. If $q$ is supercritical, namely $q>p^*$, we prove that this Problem has a radial solution behaving like a superposition of bubbles blowingup at the origin with different rates of concentration, provided $V(0)<0$. On the other hand, if $N/(N2)<q<p^*$, we prove that this Problem has a radial solution behaving like a superposition 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 formsComments: 116 pagesSubjects: 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\"ahlerEinstein 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 hypergraphonsAuthors: Jan GrebikSubjects: 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: DeltaBose Gas: the Matrix Elements of the Particle Number Operator as a DeterminantAuthors: Benoit ValletSubjects: Mathematical Physics (mathph); High Energy Physics  Theory (hepth)
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 spacesAuthors: Hua WangComments: 45 pages. arXiv admin note: text overlap with arXiv:1603.04658, arXiv:1701.07508, arXiv:1603.03912Subjects: Classical Analysis and ODEs (math.CA)
In this paper, we first introduce some new classes of weighted amalgam spaces. Then we give the weighted strongtype and weaktype estimates for fractional integral operators $I_\gamma$ on these new function spaces. Furthermore, the weighted strongtype 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 twoweight, 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 BovierHartung extremal processComments: 13 pagesSubjects: Probability (math.PR)
It has been proved by Bovier & Hartung [Elect. J. Probab. 19 (2014)] that the maximum of a variablespeed 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 BovierHartung 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 highpoints of BBM, i.e. particles which lie at a macroscopic distance from the edge. At such scales, 'McKeanlike martingales' are naturally expected to arise in all models belonging to the BBMuniversality class.
 [92] arXiv:1712.04326 [pdf, ps, other]

Title: A characterization of rational functionsAuthors: Bao Qin LiSubjects: 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 OrnsteinUhlenbeck spread financial markets with power utilityComments: 44 pages. arXiv admin note: text overlap with arXiv:1102.1186 by other authorsSubjects: Probability (math.PR)
We consider a spread financial market defined by the OrnsteinUhlenbeck (OU) process. We construct the optimal consumption/investment strategy for the power utility function. We study the HamiltonJacobiBellman (HJB) equation by the FeynmanKac (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 PDEsComments: arXiv admin note: text overlap with arXiv:1607.07704Subjects: 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 ultramodulation spaces, and oneparameter groups of Gevrey type pseudodifferential operatorsComments: 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.4954Subjects: Functional Analysis (math.FA)
We deduce oneparameter group properties for pseudodifferential 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 pseudodifferential 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 functionsAuthors: Souvik DeyComments: 8 pagesSubjects: 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 MatrixAuthors: Feng WeiComments: arXiv admin note: substantial text overlap with arXiv:1102.0300, arXiv:1507.03525 by other authorsSubjects: 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 sequencesAuthors: Bernadette FayeComments: This is my Ph.D Thesis, obtained on December 2017Subjects: 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 nondegenerate 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 nondegenerate binary recurrence sequences and $a,b$ some positive integers. More precisely, we study problems involving members of the recurrent sequences being repdigits, 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 N1$. 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 socalled BakerDavenport 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 subvarietiesAuthors: JeanPierre Demailly (IF)Journalref: The 12th Korean Conference on Several Complex Variables (KSCV12), Jul 2017, GyeongJu, South KoreaSubjects: 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 semipositivity properties. The results presented here are generalized versions of the OhsawaTakegoshi 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 BochnerKodaira 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: Lowrank updates and a divideandconquer method for linear matrix equationsSubjects: 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 lowrank changes. We demonstrate how our algorithm can be utilized to accelerate the Newton method for solving continuoustime algebraic Riccati equations. Our algorithm also forms the basis of a new divideandconquer approach for linear matrix equations with coefficients that feature hierarchical lowrank structure, such as HODLR, HSS, and banded matrices. Numerical experiments demonstrate the advantages of divideandconquer over existing approaches, in terms of computational time and memory consumption.
 [101] arXiv:1712.04365 [pdf, ps, other]

Title: Explicit Burgesslike subconvex bounds for $\mathrm{GL}_2 \times \mathrm{GL}_1$Authors: Wu HanSubjects: 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 selfexpanders of mean curvature flowComments: 40 pagesSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
We show that the space of asymptotically conical selfexpanders of the mean curvature flow is a smooth Banach manifold. An immediate consequence is that nondegenerate selfexpanders  that is, those selfexpanders that admit no nontrivial 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 varietiesAuthors: Nathan GrieveSubjects: 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 RuVojta. One aspect to its proof makes use of a filtration construction which is due to AutisserLevinRuVojta. Further, we consider recent work of RuWang which pertains to an extension of Roth's theorem for projective varieties in the sense of McKinnonRoth. 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 spacesComments: 11 pages. arXiv admin note: text overlap with arXiv:1304.3028Subjects: 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 pseudoreductive groupsComments: 16 pagesSubjects: 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 pseudoreductive groups. We reduce the problem of calculating the dimension for pseudosplit pseudoreductive groups to the split reductive case and the pseudosplit pseudoreductive commutative case. Moreover, we give the first results on the latter.
 [106] arXiv:1712.04374 [pdf, ps, other]

Title: Dedekind sigmacomplete lgroups and Riesz spaces as varietiesAuthors: Marco AbbadiniComments: 15 pagesSubjects: 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 quasivariety, 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 latticeordered groups, and (iii) Dedekind $\sigma$complete latticeordered groups with a weak order unit.
 [107] arXiv:1712.04381 [pdf, ps, other]

Title: Semireflexive polytopesAuthors: Tiago RoyerSubjects: 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 semireflexive. 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 semireflexive.
 [108] arXiv:1712.04387 [pdf, ps, other]

Title: On a generalization of the Bessel function Neumann expansionComments: 8 pages, 2 figuresSubjects: Numerical Analysis (math.NA)
The BesselNeumann 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 nonstandard basis functions can give faster convergence than the Bessel functions.
 [109] arXiv:1712.04388 [pdf, ps, other]

Title: An ErdősGallai type theorem for vertex colored graphsSubjects: Combinatorics (math.CO)
While investigating oddcycle 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}sS\'os conjecture.
 [110] arXiv:1712.04400 [pdf, ps, other]

Title: Freeness for 13 lines arrangements is combinatorialComments: 9 pages, 1 figureSubjects: 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: Interiorexterior penalty approach for solving elastohydrodynamic lubrication problem: Part IComments: 30 pagesSubjects: Numerical Analysis (math.NA)
A new interiorexterior penalty method for solving quasivariational inequality and pseudomonotone operators arising in twodimensional 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 nondimensional 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 elastohydrodynamic 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 populationSubjects: 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 polynomialsComments: 15 pages, 7 figuresSubjects: 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 formulaeComments: to appear in Hitchin 70th birthday volumeSubjects: Algebraic Geometry (math.AG); High Energy Physics  Theory (hepth)
We find an agreement of equivariant indices of semiclassical 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 DegasperisProcesi equationAuthors: Georgy Omel'yanovComments: 13 pages, 3 figuresSubjects: Analysis of PDEs (math.AP)
We consider the general DegasperisProcesi model of shallow water outflows. This fife parametric family of conservation laws contains, in particular, KdV, CamassaHolm, and DegasperisProcesi 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 IdealsAuthors: Aaron SlobodinComments: 19 pagesSubjects: Commutative Algebra (math.AC)
Given an homogeneous monomial ideal $I$, we provide a question and examplebased 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^{6n1}b)\subseteq \Bbbk[a,b,c]$.
 [117] arXiv:1712.04413 [pdf, ps, other]

Title: On the gap between Gammalimit and pointwise limit for a nonlocal approximation of the total variationComments: 24 pagesSubjects: Functional Analysis (math.FA); Optimization and Control (math.OC)
We consider the approximation of the total variation of a function by the family of nonlocal and nonconvex 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 Gammalimit on the interaction law. In the first result, we show that the Gammalimit 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 Gammalimit coincides with the pointwise limit on smooth functions.
The key argument is that for some special classes of interaction laws the computation of the Gammalimit can be reduced to studying the asymptotic behavior of suitable multivariable minimum problems.  [118] arXiv:1712.04414 [pdf, ps, other]

Title: Efficient computation of pi by the Newton  Raphson iteration and a twoterm Machinlike formulaComments: 12 pagesSubjects: General Mathematics (math.GM)
In our recent publication we have proposed a new methodology for determination of the twoterm Machinlike 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 NewtonRaphson iteration method.
 [119] arXiv:1712.04419 [pdf]

Title: Photovoltaic Generation in Distribution Networks: Optimal vs. Random InstallationComments: 5 pages, 7 figures, conferenceSubjects: Optimization and Control (math.OC)
Nowadays common practice in deploying photovoltaic distributed generations (PVDGs) is customerbased 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 customerbased 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 ApproximationsSubjects: 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 variablesAuthors: O.K.SheinmanComments: LaTeX, 5 pagesSubjects: Mathematical Physics (mathph)
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 orbitsAuthors: Robert P. Mendez, Bernhard G. Bodmann, Zachery J. Baker, Micah G. Bullock, Jacob E. McLaneyComments: 26 pages AMSLaTeX, 1 figureSubjects: 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 NumbersComments: 22 pages, 29 figuresSubjects: 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 metricComments: 11 pagesSubjects: 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 finitedimensional matrix algebras over a finite field $\mathbb{F}_q$ equipped with the rank metric. We then provide a new Fra\"iss\'etheoretic 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 Ramseytheoretic 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 formsComments: 17 pages, 1 figureSubjects: 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 realvalued 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.
Crosslists for Wed, 13 Dec 17
 [126] arXiv:1308.2297 (crosslist from math.GM) [pdf, ps, other]

Title: On the Regularity for 3D NavierStokes EquationAuthors: Qun LinComments: simplification and modificationSubjects: 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 vorticityvelocity formulation, then the existence of a global smooth solution is obtained for 3D incompressible NavierStokes equation with spatially periodic boundary value conditions.
 [127] arXiv:1708.09031 (crosslist from physics.plasmph) [pdf, other]

Title: Pseudo spectral collocation with Maxwell polynomials for kinetic equations with energy diffusionSubjects: Plasma Physics (physics.plasmph); Numerical Analysis (math.NA); Computational Physics (physics.compph)
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 nonstandard family of orthogonal polynomials called Maxwell polynomials. Taking a onedimensional equation describing energy diffusion due to FokkerPlanck collisions with a MaxwellBoltzmann 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 highdimensional gyrokinetic simulations. However, we also show that Maxwell based schemes are subject to a nonmodal 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 (crosslist from mathph) [pdf, ps, other]

Title: Blocks and Gaps in the Asymmetric Simple Exclusion Process: AsymptoticsComments: 19 pages. Version 2 has a new title and an added section on asymptotics for gapsSubjects: Mathematical Physics (mathph); 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 (crosslist from hepth) [pdf, other]

Title: Resonance phenomena in the $\varphi^8$ kinks scatteringComments: 5 pages, 4 figures; Proceedings of the 3rd International Conference on Particle Physics and Astrophysics, Moscow, 25 October 2017Subjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph); Pattern Formation and Solitons (nlin.PS)
We study the scattering of the $\varphi^8$ kinks with powerlaw asymptotics. We found two critical values of the initial velocity, $v_{cr}^{(1)}$ and $v_{cr}^{(2)}$, which separate different regimes of the kinkantikink 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 (crosslist from stat.ML) [pdf, ps, other]

Title: Identifiability of Kroneckerstructured Dictionaries for Tensor DataComments: 13 pages, in review for publicationSubjects: Machine Learning (stat.ML); Information Theory (cs.IT)
This paper derives sufficient conditions for reliable recovery of coordinate dictionaries comprising a Kroneckerstructured dictionary that is used for representing $K$thorder tensor data. Tensor observations are generated by a Kroneckerstructured 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 (crosslist from hepth) [pdf, ps, other]

Title: Homogeneous Nonrelativistic Geometries as Coset SpacesComments: 32 pagesSubjects: High Energy Physics  Theory (hepth); General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph)
We generalize the coset procedure of homogeneous spacetimes in (pseudo)Riemannian geometry to nonLorentzian geometries. These are manifolds endowed with nowhere vanishing invertible vielbeins that transform under local nonLorentzian tangent space transformations. In particular, we focus on nonrelativistic symmetry algebras that give rise to (torsional) NewtonCartan geometries, for which we demonstrate how the NewtonCartan 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 pseudoRiemannian cosets via In\"on\"uWigner 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 (crosslist from hepth) [pdf, other]

Title: Perturbative/nonperturbative aspects of Bloch electrons in a honeycomb latticeAuthors: Yasuyuki HatsudaComments: 21 pagesSubjects: High Energy Physics  Theory (hepth); Mesoscale and Nanoscale Physics (condmat.meshall); Mathematical Physics (mathph)
We revisit the spectral problem for Bloch electrons in a twodimensional bipartite honeycomb lattice under a uniform magnetic field. It is wellknown 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 sineGordon quantum mechanics. We finally confirm a nontrivial vacuuminstantonbion threesome relationship, expected by resurgent analysis. Our analysis heavily relies on numerical experiments.
 [133] arXiv:1712.04062 (crosslist from cs.SY) [pdf, other]

Title: Distributed Bayesian Filtering using Logarithmic Opinion Pool for Dynamic Sensor NetworksSubjects: Systems and Control (cs.SY); Information Theory (cs.IT)
The discretetime Distributed Bayesian Filtering (DBF) algorithm is presented for the problem of tracking a target dynamic model using a timevarying 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 multisensor 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 timescale of the target dynamics, the desired convergence error bound, and the modeling and communication error bounds. Furthermore, the DBF algorithm for linearGaussian 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 (crosslist from cs.MS) [pdf, other]

Title: In a Nutshell: Sequential Parameter OptimizationComments: Version 12/2017Subjects: 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 (crosslist from cs.LG) [pdf, other]

Title: PacGAN: The power of two samples in generative adversarial networksComments: 40 pages, 19 figuresSubjects: 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 testingin 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 (crosslist from qbio.PE) [pdf, other]

Title: Attaching leaves and picking cherries to characterise the hybridisation number for a set of phylogeniesSubjects: Populations and Evolution (qbio.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 cherrypicking sequences, we first establish a new characterisation to compute the minimum hybridisation number in the space of treechild 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 (crosslist from physics.compph) [pdf, other]

Title: A Hybridizable Discontinuous Galerkin solver for the GradShafranov equationSubjects: Computational Physics (physics.compph); Numerical Analysis (math.NA); Plasma Physics (physics.plasmph)
In axisymmetric fusion reactors, the equilibrium magnetic configuration can be expressed in terms of the solution to a semilinear elliptic equation known as the GradShafranov 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 nonsmooth boundaries and xpoints, (4) deals with the semilinearity through an accelerated twogrid fixedpoint 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 (crosslist from cs.DS) [pdf, other]

Title: Dynamic Discrete TomographySubjects: 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 Xrays. 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 mincost flow and matching problems.
 [139] arXiv:1712.04223 (crosslist from qbio.PE) [pdf, other]

Title: Identifiability of treechild phylogenetic networks under a probabilistic recombinationmutation model of evolutionComments: 18 pages, 4 figuresSubjects: Populations and Evolution (qbio.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 groundbreaking 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 socalled treechild networks). To prove our main theorem, we derive some new results for identifying treechild 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 (crosslist from cs.CG) [pdf, ps, other]

Title: Computational Complexity of the Interleaving DistanceComments: 18 pages, 4 figuresSubjects: 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 NPhard 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 (crosslist from hepth) [pdf, ps, other]

Title: Reflection positivity in higher derivative scalar theoriesComments: 9 pages, 1 figureSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
Reflection positivity constitutes an integral prerequisite in the OsterwalderSchrader 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 higherderivative 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 (crosslist from cs.LG) [pdf, other]

Title: Scaling Limit: Exact and Tractable Analysis of Online Learning Algorithms with Applications to Regularized Regression and PCASubjects: 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 highdimensional 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 timevarying joint empirical measures of the target feature vector and its estimates provided by the algorithms will converge weakly to a deterministic measuredvalued 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 highdimensional limit, and due to exchangeability, the original coupled dynamics associated with the algorithms will be asymptotically "decoupled", with each coordinate independently solving a 1D 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 (crosslist from condmat.meshall) [pdf, other]

Title: Surface spectra of Weyl semimetals through selfadjoint extensionsComments: 9 pages, 3 figuresSubjects: Mesoscale and Nanoscale Physics (condmat.meshall); Mathematical Physics (mathph)
We apply the method of selfadjoint extensions of Hermitian operators to the lowenergy, 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 Mexicanhat 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 bulkboundary correspondence.
 [144] arXiv:1712.04389 (crosslist from physics.compph) [pdf, other]

Title: A parameteric class of composites with a large achievable range of effective elastic propertiesSubjects: Computational Physics (physics.compph); Numerical Analysis (math.NA); Applied Physics (physics.appph)
In this paper we investigate numerically an instance of the problem of Gclosure for twodimensional 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 smallscale 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 HashinShtrikman bounds. In particular, for positive Poisson ratio, we demonstrate that HashinShtrikman 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 (crosslist from qfin.PR) [pdf, other]

Title: Fair valuation of Lévytype drawdowndrawup contracts with general insured and penalty functionsSubjects: Pricing of Securities (qfin.PR); Probability (math.PR)
In this paper, we analyse some equitylinked 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 FieldsAuthors: Nguyen Tien ZungJournalref: SIGMA 13 (2017), 093, 11 pagesSubjects: 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 intellectAuthors: Vladimir S. LernerComments: 58 pages include 15 figuresSubjects: Adaptation and SelfOrganizing Systems (nlin.AO); Information Theory (cs.IT)
 [148] arXiv:1212.6852 (replaced) [pdf, other]

Title: Conformal supergravities as ChernSimons theories revisitedComments: 26 pages; V3: typos in eqs. (3.8) and (3.10b) correctedJournalref: JHEP 1303 (2013) 113Subjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [149] arXiv:1407.5070 (replaced) [pdf, ps, other]

Title: Compact Complex Manifolds with Small Gauduchon ConeComments: The title has been changed, the abstract and the introduction have been rewritten. To appear in the Proceedings of the London Mathematical SocietySubjects: 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 quasicoherent sheaves on logarithmic schemesComments: v2: 61 pages. Final version, to appear in Proc. Lond. Math. SocSubjects: Algebraic Geometry (math.AG)
 [151] arXiv:1511.08935 (replaced) [pdf, ps, other]

Title: Oblique boundary value problems for augmented Hessian equations IComments: Revised version containing minor clarificationsSubjects: Analysis of PDEs (math.AP)
 [152] arXiv:1511.09180 (replaced) [pdf, ps, other]

Title: Asynchronous adaptive networksComments: To appear as book chapter in the edited volume entitled Cooperative and Graph Signal Processing, P. Djuric and C. Richard, editors, Elsevier, 2018Subjects: Optimization and Control (math.OC); Learning (cs.LG); Multiagent Systems (cs.MA)
 [153] arXiv:1601.02864 (replaced) [pdf, other]

Title: Tables of subspace codesComments: 39 pages, 6 tables, 6 screenshotsSubjects: Combinatorics (math.CO); Information Theory (cs.IT)
 [154] arXiv:1601.05481 (replaced) [pdf, other]

Title: The Local Cut LemmaAuthors: Anton BernshteynComments: 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 intuitiveJournalref: European Journal of Combinatorics, vol. 63 (2017), 95114Subjects: Combinatorics (math.CO); Probability (math.PR)
 [155] arXiv:1604.03849 (replaced) [pdf, ps, other]

Title: Counting isospectral manifoldsComments: 9 pages; v2: one reference added, this is a final version; v3 includes small corrections to the published versionJournalref: Adv. Math. 321 (2017), 6979Subjects: 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 NetworksComments: 48 pages. Accepted for publication in SCIENCE CHINA MathematicsSubjects: Quantum Physics (quantph); High Energy Physics  Theory (hepth); Mathematical Physics (mathph); Operator Algebras (math.OA); Quantum Algebra (math.QA)
 [157] arXiv:1605.00581 (replaced) [pdf, other]

Title: Martingales in selfsimilar growthfragmentations and their connections with random planar mapsComments: 50 pages, 5 figures. Final version: to appear in Probab. Theory Related FieldsSubjects: Probability (math.PR); Mathematical Physics (mathph)
 [158] arXiv:1605.03263 (replaced) [pdf, ps, other]

Title: Local homological properties and cyclicity of homogeneous ANR compactaAuthors: Vesko ValovSubjects: Geometric Topology (math.GT); General Topology (math.GN)
 [159] arXiv:1607.01939 (replaced) [pdf, ps, other]

Title: Cyclic vs mixed homologyComments: 16 pagesSubjects: KTheory and Homology (math.KT); Quantum Algebra (math.QA)
 [160] arXiv:1608.03245 (replaced) [pdf, ps, other]

Title: On the Complexity of Closest Pair via PolarPair of PointSetsComments: 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: RealTime Status Updating by Multiple SourcesComments: Submitted to the IEEE Transactions on Information TheorySubjects: Information Theory (cs.IT)
 [162] arXiv:1609.04354 (replaced) [pdf, ps, other]

Title: A general family of multipeakon equations and their propertiesComments: 28 pages; new material added on properties of the generalized CH and mCH/FORQ equations, including 2peakon interactionsSubjects: Mathematical Physics (mathph)
 [163] arXiv:1609.05678 (replaced) [pdf, other]

Title: Uniform sampling in a structured branching populationAuthors: Aline Marguet (CMAP)Subjects: Probability (math.PR)
 [164] arXiv:1609.08360 (replaced) [src]

Title: No fixedpoint guarantee of Nash equilibrium in quantum gamesComments: The results pertaining to fixed point theorems for quantum games were mathematically erroneousSubjects: Quantum Physics (quantph); Computer Science and Game Theory (cs.GT); Mathematical Physics (mathph)
 [165] arXiv:1609.09122 (replaced) [pdf, other]

Title: Sharp Dirac's Theorem for DPCritical GraphsComments: 26 pages, 1 figureSubjects: Combinatorics (math.CO)
 [166] arXiv:1610.00554 (replaced) [pdf, other]

Title: Recombining Tree Approximations for Optimal Stopping for DiffusionsComments: Final version. To appear in SIAM Journal on Financial MathematicsSubjects: Probability (math.PR)
 [167] arXiv:1610.02166 (replaced) [pdf, ps, other]

Title: TransitivelySaturated Property, Banach Recurrence and Lyapunov RegularityComments: 30 pages. This version is mainly to discuss Banach recurrence but not quasiweakly almost periodic caseSubjects: Dynamical Systems (math.DS)
 [168] arXiv:1610.02351 (replaced) [pdf, other]

Title: Panning for Gold: ModelX Knockoffs for Highdimensional Controlled Variable SelectionComments: 39 pages, 10 figures, 2 tablesSubjects: 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 MetricsComments: Accepted for publication in IEEE Transactions on Signal and Information Processing Over NetworksSubjects: Social and Information Networks (cs.SI); Information Theory (cs.IT); Physics and Society (physics.socph)
 [170] arXiv:1611.02610 (replaced) [pdf, ps, other]

Title: Causal optimal transport and its links to enlargement of filtrations and continuoustime stochastic optimizationComments: 33 pagesSubjects: Probability (math.PR); Optimization and Control (math.OC)
 [171] arXiv:1611.09338 (replaced) [pdf, other]

Title: Ergodicity of the Liouville system implies the Chowla conjectureAuthors: Nikos FrantzikinakisComments: 41 pagesJournalref: Discrete Analysis, 2017:19, 41 ppSubjects: Number Theory (math.NT); Dynamical Systems (math.DS)
 [172] arXiv:1612.03203 (replaced) [pdf, ps, other]

Title: Slow motion for onedimensional nonlinear damped hyperbolic AllenCahn systemsAuthors: Raffaele FolinoComments: 24 pagesSubjects: 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 modelsAuthors: Katharina RadermacherComments: 88 pages, v2: changes following suggestions by referee, v3: minor typos, layout changesSubjects: General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph); Differential Geometry (math.DG)
 [174] arXiv:1701.01603 (replaced) [pdf, ps, other]

Title: Diagonal complexesSubjects: Geometric Topology (math.GT)
 [175] arXiv:1701.02879 (replaced) [pdf, ps, other]

Title: An axiomatic basis for Blackwell optimalityAuthors: Adam JonssonComments: 5 pagesSubjects: Optimization and Control (math.OC)
 [176] arXiv:1701.06691 (replaced) [pdf, ps, other]

Title: Maximal immediate extensions of valued differential fieldsComments: 31 pp; updated according to suggestions by the refereeSubjects: Commutative Algebra (math.AC); Logic (math.LO)
 [177] arXiv:1701.07656 (replaced) [pdf, ps, other]

Title: A general renormalization procedure on the onedimensional lattice and decay of correlationsAuthors: Artur O. LopesSubjects: Dynamical Systems (math.DS); Statistical Mechanics (condmat.statmech); Mathematical Physics (mathph); Probability (math.PR)
 [178] arXiv:1701.08654 (replaced) [pdf, ps, other]

Title: An equivalence between truncations of categorified quantum groups and Heisenberg categoriesComments: 36 pages. v2: Minor corrections, published versionSubjects: 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 groupsComments: 14 pages, 5 figuresSubjects: Group Theory (math.GR)
 [180] arXiv:1702.04831 (replaced) [pdf, ps, other]

Title: Rational cohomology of unipotent group schemesAuthors: Eric M. FriedlanderComments: Much revised version  really a replacement paper. Comments most welcomeSubjects: Representation Theory (math.RT)
 [181] arXiv:1703.04557 (replaced) [pdf, ps, other]

Title: Recursive computation of the invariant distribution of Markov and Feller processesSubjects: Probability (math.PR)
 [182] arXiv:1703.05564 (replaced) [pdf, ps, other]

Title: Jante's law processSubjects: Probability (math.PR)
 [183] arXiv:1703.10705 (replaced) [pdf, other]

Title: Scaling, Proximity, and Optimization of Integrally Convex FunctionsComments: 30 pages, 3 figuresSubjects: 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 numbersAuthors: Pietro PaparellaSubjects: History and Overview (math.HO); Number Theory (math.NT)
 [185] arXiv:1704.04704 (replaced) [pdf, ps, other]

Title: Length spectra of subRiemannian metrics on compact Lie groupsComments: 20 pages; new title and abstractSubjects: 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 spacesComments: 17 pages, the final version, published in Acta Math. Sinica, English series, online first, legal viewonly access via this http URLSubjects: Algebraic Geometry (math.AG); Complex Variables (math.CV)
 [187] arXiv:1704.06442 (replaced) [pdf, ps, other]

Title: Stationary analysis of the shortest queue problemJournalref: 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 spectrumAuthors: Dmitry GayfulinComments: 10 pagesSubjects: Number Theory (math.NT)
 [189] arXiv:1705.03852 (replaced) [pdf, other]

Title: Caching with Partial Adaptive MatchingComments: 32 pages, 5 figures. Shorter versions have appeared in IEEE ISIT 2017 and IEEE ITW 2017Subjects: Information Theory (cs.IT)
 [190] arXiv:1705.05916 (replaced) [pdf, other]

Title: Network Design with Probabilistic CapacitiesSubjects: 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 radiosComments: 5 pagesSubjects: Information Theory (cs.IT)
 [192] arXiv:1705.07352 (replaced) [pdf, ps, other]

Title: A Dynkin game on assets with incomplete information on the returnComments: 34 pages; keywords: Zerosum games; Nash equilibrium; incomplete information; free boundaries; (Improved introduction)Subjects: Probability (math.PR); Optimization and Control (math.OC); Mathematical Finance (qfin.MF)
 [193] arXiv:1705.07881 (replaced) [pdf, other]

Title: Online Factorization and Partition of Complex Networks From Random WalksSubjects: Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
 [194] arXiv:1705.10372 (replaced) [pdf, ps, other]

Title: A New Voltage StabilityConstrained Optimal Power Flow Model: Sufficient Condition, SOCP Representation, and RelaxationComments: Accepted for publication in IEEE Transactions on Power SystemsSubjects: Optimization and Control (math.OC)
 [195] arXiv:1706.02563 (replaced) [pdf, other]

Title: Jeffreys priors for mixture estimation: properties and alternativesComments: arXiv admin note: substantial text overlap with arXiv:1511.03145Subjects: Methodology (stat.ME); Statistics Theory (math.ST)
 [196] arXiv:1706.06781 (replaced) [pdf, other]

Title: A Hybrid HighOrder method for KirchhoffLove plate bending problemsSubjects: Numerical Analysis (math.NA)
 [197] arXiv:1706.07449 (replaced) [pdf, other]

Title: Nonparametric Bayesian estimation of a Hölder continuous diffusion coefficientSubjects: Statistics Theory (math.ST); Methodology (stat.ME)
 [198] arXiv:1706.08118 (replaced) [pdf, ps, other]

Title: Large sets avoiding linear patternsAuthors: Alexia YavicoliComments: v5: small fixes and clarifications. To appear in Proceedings AMSSubjects: Classical Analysis and ODEs (math.CA); Combinatorics (math.CO); Metric Geometry (math.MG)
 [199] arXiv:1707.04659 (replaced) [pdf, other]
 [200] arXiv:1707.07183 (replaced) [pdf, ps, other]

Title: Counting Multiplicities in a Hypersurface over a Number FieldComments: 23 pagesSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
 [201] arXiv:1708.02604 (replaced) [pdf, other]

Title: A Mathematical Picture Language ProgramComments: 15 pagesSubjects: History and Overview (math.HO); Mathematical Physics (mathph); Category Theory (math.CT); Operator Algebras (math.OA); Quantum Algebra (math.QA)
 [202] arXiv:1708.04947 (replaced) [pdf, ps, other]

Title: Nonsingular spacetimes with a negative cosmological constant: IV. Stationary black hole solutions with matter fieldsComments: 16 pages, journal accepted versionSubjects: General Relativity and Quantum Cosmology (grqc); High Energy Physics  Theory (hepth); Differential Geometry (math.DG)
 [203] arXiv:1708.05323 (replaced) [pdf, other]

Title: Line defect Schur indices, Verlinde algebras and $U(1)_r$ fixed pointsComments: 64 pages, 21 figures. v2 published version, references updatedJournalref: JHEP11(2017)035Subjects: High Energy Physics  Theory (hepth); Algebraic Geometry (math.AG); Representation Theory (math.RT)
 [204] arXiv:1708.05978 (replaced) [pdf, other]

Title: Stochastic PrimalDual Proximal ExtraGradient Descent for Compositely Regularized OptimizationSubjects: Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
 [205] arXiv:1708.08950 (replaced) [pdf, ps, other]

Title: padic AbelJacobi map and padic GrossZagier formula for Hilbert modular formsComments: We restate an incomplete proof by putting a nonordinarity conditionSubjects: Number Theory (math.NT)
 [206] arXiv:1709.01858 (replaced) [pdf, ps, other]

Title: Majorana algebras generated by a 2A algebra and one further axisAuthors: Madeleine L. WhybrowComments: 19 pagesSubjects: Group Theory (math.GR); Rings and Algebras (math.RA)
 [207] arXiv:1709.05421 (replaced) [pdf, ps, other]

Title: Impatient random walkComments: 3 figuresSubjects: Probability (math.PR)
 [208] arXiv:1709.05616 (replaced) [pdf, ps, other]

Title: Cohomologies of finite abelian groupsComments: 13 pagesJournalref: Algebra Discrete Math. 24, no.1 (2017) 144157Subjects: Group Theory (math.GR)
 [209] arXiv:1709.06543 (replaced) [pdf, ps, other]

Title: Cancellation theorem for GrothendieckWittcorrespondences and WittcorrespondencesAuthors: Andrei DruzhininComments: 1th update. Added arXivhyperlink for the preprint on "Effective GWmotives of smooth varieties" in reference list. Some editorial changes are made and few typos are corrected. 2th update. The most technical section 6 is rewritten and split into two sections. Some proofs in other sections are rewritten tooSubjects: KTheory and Homology (math.KT)
 [210] arXiv:1709.07929 (replaced) [pdf, ps, other]

Title: Triangulated equivalences and reconstruction of classifying spacesAuthors: Hiroki MatsuiComments: 20 pages, comments are welcomeSubjects: 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 spaceComments: The article has been accepted at the Archiv der Mathematik for publicationSubjects: Complex Variables (math.CV)
 [212] arXiv:1710.00556 (replaced) [pdf, other]

Title: MixedDimensional Elliptic Partial Differential EquationsSubjects: Analysis of PDEs (math.AP)
 [213] arXiv:1710.00737 (replaced) [pdf, other]

Title: Four selfdual integral forms of the moonshine moduleAuthors: Scott CarnahanComments: (v2) added details, corrected errors. 23 pagesSubjects: 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 TopologySubjects: Mathematical Physics (mathph)
 [215] arXiv:1710.05316 (replaced) [pdf, ps, other]

Title: Almost complex structures on connected sums of complex projective spacesComments: 11 pages, mistake corrected in former Prop. 2.3 (now Prop 2.2), main result unchangedSubjects: Algebraic Topology (math.AT); Differential Geometry (math.DG); KTheory and Homology (math.KT)
 [216] arXiv:1710.05537 (replaced) [pdf, ps, other]

Title: Hamiltonian stability for weighted measure and generalized Lagrangian mean curvature flowComments: 40 pages; (ver.2) Tex file format is changed, Corollary 2.5 and a reference are added, minor correctionsSubjects: Differential Geometry (math.DG)
 [217] arXiv:1710.05973 (replaced) [pdf, ps, other]

Title: Homotopy RG Flow and the NonLinear $σ$modelComments: 23 pages, comments welcome; v2: typos and a few errors correctedSubjects: Mathematical Physics (mathph); Differential Geometry (math.DG); Quantum Algebra (math.QA)
 [218] arXiv:1710.06663 (replaced) [pdf, ps, other]

Title: Jumps and motivic invariants of semiabelian JacobiansAuthors: Otto OverkampComments: 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 problemsAuthors: Suleyman CengizciComments: This manuscript is underreview in journal FilomatSubjects: Numerical Analysis (math.NA)
 [220] arXiv:1710.07970 (replaced) [pdf, ps, other]

Title: Statistical stability of mostly expanding diffeomorphismsComments: Minor typos are corrected and the wording has been improvedSubjects: Dynamical Systems (math.DS)
 [221] arXiv:1710.08133 (replaced) [pdf, other]

Title: The monotonicity of the apsidal angle using the theory of potential oscillatorsAuthors: David RojasComments: 4 pagesSubjects: Dynamical Systems (math.DS)
 [222] arXiv:1711.02724 (replaced) [pdf, ps, other]

Title: Algorithms to Approximate ColumnSparse Packing ProblemsComments: To appear in SODA 2018Subjects: 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 bundlesComments: This version contains some comments and references to a recent work by Kwa\'sniewski and MeyerSubjects: Operator Algebras (math.OA)
 [224] arXiv:1711.03222 (replaced) [pdf, ps, other]

Title: Derived counterparts of fusion categories of quantum groupsAuthors: Juan Camilo AriasSubjects: Quantum Algebra (math.QA)
 [225] arXiv:1711.04109 (replaced) [pdf, other]

Title: Natural exact covering systems and the reversion of the Möbius seriesSubjects: Number Theory (math.NT); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
 [226] arXiv:1711.04268 (replaced) [pdf, other]

Title: Quickest Detection of Markov NetworksComments: 41 pages, 10 figuresSubjects: Methodology (stat.ME); Information Theory (cs.IT)
 [227] arXiv:1711.05218 (replaced) [pdf]

Title: When a triangle is isosceles?Authors: Alexey RabeComments: 25 pages, 23 figures, in RussianSubjects: History and Overview (math.HO)
 [228] arXiv:1711.05599 (replaced) [pdf, ps, other]

Title: Expansion of the effective action around nonGaussian theoriesComments: 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 pagesSubjects: Statistical Mechanics (condmat.statmech); Mathematical Physics (mathph)
 [229] arXiv:1711.07442 (replaced) [pdf, ps, other]
 [230] arXiv:1711.07603 (replaced) [pdf, other]

Title: Nonspanning lattice 3polytopesComments: 20 pages. Changes from v1: added a small section on h^* vectorsSubjects: Combinatorics (math.CO)
 [231] arXiv:1711.09228 (replaced) [pdf]

Title: The convergence of operational Tau method for solving a class of nonlinear Fredholm fractional integrodifferential equations on Legendre basisComments: 16 pages, 6 figures,2 tablesSubjects: Numerical Analysis (math.NA)
 [232] arXiv:1711.10484 (replaced) [pdf, ps, other]

Title: The Ellis Semigroup of a Generalised Morse SystemAuthors: Petra StaynovaComments: 8 pagesSubjects: 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. WildeComments: v2: 5 pages, revised replySubjects: Quantum Physics (quantph); Other Condensed Matter (condmat.other); Mathematical Physics (mathph); Optics (physics.optics)
 [234] arXiv:1712.00186 (replaced) [pdf, ps, other]

Title: Tight Hamilton cycles in cherry quasirandom $3$uniform hypergraphsComments: 21 pages (3 of which references), full version; typos corrected; clearer calculation of the constants involved in Lemma 4.1 addedSubjects: Combinatorics (math.CO)
 [235] arXiv:1712.00307 (replaced) [pdf, other]

Title: Energy and Spectral Efficiency Tradeoff for D2DMulticasts in Underlay Cellular NetworksComments: 8 pages, 2 figuresSubjects: 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 linkagesComments: 12 pages, 9 figures, 1 tableSubjects: History and Overview (math.HO); Algebraic Geometry (math.AG)
 [237] arXiv:1712.01232 (replaced) [pdf, other]

Title: Minimal Input Selection for Robust ControlAuthors: Zhipeng Liu, Yao Long, Andrew Clark, Phillip Lee, Linda Bushnell, Daniel Kirschen, Radha PoovendranComments: 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, 2017Subjects: Optimization and Control (math.OC)
 [238] arXiv:1712.01331 (replaced) [pdf, ps, other]

Title: A note on Biharmonic functions on the Thurston geometriesAuthors: Sigmundur GudmundssonSubjects: Differential Geometry (math.DG)
 [239] arXiv:1712.02377 (replaced) [pdf, ps, other]

Title: A Note on Cohamiltonian GraphsAuthors: João Paulo CostalongaSubjects: Combinatorics (math.CO)
 [240] arXiv:1712.02652 (replaced) [pdf, ps, other]

Title: On the inadequacy of the projective structure with respect to the Univalence AxiomAuthors: Anthony BordgComments: 23 pages. This text overlaps with arXiv:1512.04083, but it is entirely rewritten and selfcontained. V.2 updates conclusion and bibliographySubjects: 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 singularityAuthors: Katharina RadermacherComments: 29 pages, v2: minor typos, layout changesSubjects: General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph); Differential Geometry (math.DG)
 [242] arXiv:1712.02880 (replaced) [pdf, ps, other]

Title: Universal classes near $\aleph_1$Comments: 12 pages; Corrected typosSubjects: Logic (math.LO)
 [243] arXiv:1712.03156 (replaced) [pdf, other]

Title: StructureAdaptive, VarianceReduced, and Accelerated Stochastic OptimizationComments: 29 PagesSubjects: Optimization and Control (math.OC)
 [244] arXiv:1712.03270 (replaced) [pdf, ps, other]

Title: Limit Curve Theorem vs. Zeeman Topologies with a Countable BasisComments: The authors would like to thank Nikolaos Kalogeropoulos for the fruitful discussionsSubjects: Mathematical Physics (mathph)
 [245] arXiv:1712.03317 (replaced) [src]

Title: Testing homogeneity of proportions from sparse binomial data with a large number of groupsAuthors: Junyong ParkComments: not completeSubjects: Statistics Theory (math.ST)
 [246] arXiv:1712.03458 (replaced) [pdf, ps, other]
 [247] arXiv:1712.03658 (replaced) [pdf, ps, other]

Title: Isotropic Polynomial Invariants of the Hall TensorSubjects: Mathematical Physics (mathph)
[ showing up to 2000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)