# Mathematical Physics (math.MP)

• For continuum alloy-type random Schrödinger operators with sign-definite single-site bump functions and absolutely continuous single-site randomness we prove a probabilistic level-spacing estimate at the bottom of the spectrum. More precisely, given a finite-volume restriction of the random operator onto a box of linear size $L$, we prove that with high probability the eigenvalues below some threshold energy keep a distance of at least $e^{-(\log L)^\beta}$ for sufficiently large $\beta>1$. This implies simplicity of the spectrum of the infinite-volume operator below the threshold energy. Under the additional assumption of Lipschitz-continuity of the single-site probability density we also prove a Minami-type estimate and Poisson statistics for the point process given by the unfolded eigenvalues around a reference energy $E$.
• We consider the edge statistics of Dyson Brownian motion with deterministic initial data. Our main result states that if the initial data has a spectral edge with rough square root behavior down to a scale $\eta_* \geq N^{-2/3}$ and no outliers, then after times $t \gg \sqrt{ \eta_*}$, the statistics at the spectral edge agree with the GOE/GUE. In particular we obtain the optimal time to equilibrium at the edge $t = N^{\varepsilon} / N^{1/3}$ for sufficiently regular initial data. Our methods rely on eigenvalue rigidity results similar to those appearing in [Lee-Schnelli], the coupling idea of [Bourgade-Erdős-Yau-Yin] and the energy estimate of [Bourgade-Erdős-Yau].
• We study perturbations around the generalized Kazakov multicritical one-matrix model. The multicritical matrix model has a potential where the coefficients of $z^n$ only fall off as a power $1/n^{s+1}$. This implies that the potential and its derivatives have a cut along the real axis, leading to technical problems when one performs perturbations away from the generalized Kazakov model. Nevertheless it is possible to relate the perturbed partition function to the tau-function of a KdV hierarchy and solve the model by a genus expansion in the double scaling limit.
• We consider the wave equation with a focusing cubic nonlinearity in higher odd space dimensions without symmetry restrictions on the data. We prove that there exists an open set of initial data such that the corresponding solution exists in a backward light-cone and approaches the ODE blowup profile.
• We study the length of cycles in the model of spatial random permutations in Euclidean space. In this model, for given length $L$, density $\rho$, dimension $d$ and jump density $\varphi$, one samples $\rho L^d$ particles in a $d$-dimensional torus of side length $L$, and a permutation $\pi$ of the particles, with probability density proportional to the product of values of $\varphi$ at the differences between a particle and its image under $\pi$. The distribution may be further weighted by a factor of $\theta$ to the number of cycles in $\pi$. Following Matsubara and Feynman, the emergence of macroscopic cycles in $\pi$ at high density $\rho$ has been related to the phenomenon of Bose-Einstein condensation. For each dimension $d\ge 1$, we identify sub-critical, critical and super-critical regimes for $\rho$ and find the limiting distribution of cycle lengths in these regimes. The results extend the work of Betz and Ueltschi. Our main technical tools are saddle-point and singularity analysis of suitable generating functions following the analysis by Bogachev and Zeindler of a related surrogate-spatial model.
• We study the the nonlinear Klein-Gordon (NLKG) equation on a manifold $M$ in the nonrelativistic limit, namely as the speed of light $c$ tends to infinity. In particular, we consider an order-$r$ normalized approximation of NLKG (which corresponds to the NLS at order $r=1$), and prove that when $M=\mathbb{R}^d$, $d \geq 2$, small radiation solutions of the order-$r$ normalized equation approximate solutions of the nonlinear NLKG up to times of order $\mathcal{O}(c^{2(r-1)})$.
• It is known that convergence of l.s.b. closed symmetric sesquilinear forms implies norm resolvent convergence of the associated self-adjoint operators and this in turn convergence of discrete spectra. In this paper in both cases sharp estimates for the rate of convergence are derived. An algorithm for the numerical computation of eigenvalues of generalized Schrödinger operators in $L^2(\mathbb{R})$ is presented and illustrated by explicit examples; the mentioned general results on the rate of convergence are applied in order to obtain error estimates for these computations. An extension of the results to Schrödinger operators on metric graphs is sketched.
• The double row transfer matrix of the open O(N) spin chain is diagonalized and the Bethe Ansatz equations are also derived by the algebraic Bethe Ansatz method including the so far missing case when the residual symmetry is O(2M+1)$\times$O(2N-2M-1). In this case the boundary breaks the "rank" of the O(2N) symmetry leading to nonstandard Bethe Ansatz equations in which the number of Bethe roots is less than as it was in the periodic case. Therefore these cases are similar to soliton-nonpreserving reflections.
• We consider the Solid-On-Solid model interacting with a wall, which is the statistical mechanics model associated with the integer-valued field $(\phi(x))_{x\in \mathbb Z^2}$, and the energy functional $$V(\phi)=\beta \sum_x∼y|\phi(x)-\phi(y)|-\sum_x\left( h\bf 1_{\phi(x)=0}-∞\bf 1_{\phi(x)<0} \right).$$ We prove that for $\beta$ sufficiently large, there exists a decreasing sequence $(h^*_n(\beta))_{n\ge 0}$, satisfying $\lim_{n\to\infty}h^*_n(\beta)=h_w(\beta),$ and such that: $(A)$ The free energy associated with the system is infinitely differentiable on $\mathbb R \setminus \left(\{h^*_n\}_{n\ge 1}\cup h_w(\beta)\right)$, and not differentiable on $\{h^*_n\}_{n\ge 1}$. $(B)$ For each $n\ge 0$ within the interval $(h^*_{n+1},h^*_n)$ (with the convention $h^*_0=\infty$), there exists a unique translation invariant Gibbs state which is localized around height $n$, while at a point of non-differentiability, at least two ergodic Gibbs state coexist. The respective typical heights of these two Gibbs states are $n-1$ and $n$. The value $h^*_n$ corresponds thus to a first order layering transition from level $n$ to level $n-1$. These results combined with those obtained in [23] provide a complete description of the wetting and layering transition for SOS.
• We give a general condition for a discrete spin system with nearest-neighbor interactions on the $\mathbb{Z}^d$ lattice to exhibit long-range order. The condition is applicable to systems with residual entropy in which the long-range order is entropically driven. As a main example we consider the antiferromagnetic $q$-state Potts model and rigorously prove the existence of a broken sub-lattice symmetry phase at low temperature and high dimension --- a new result for $q\ge 4$. As further examples, we prove the existence of an ordered phase in a clock model with hard constraints and extend the known regime of the demixed phase in the lattice Widom-Rowlinson model.
• We provide the general solution of problems concerning AC star circuits by turning them into geometric problems. We show that one problem is strongly related to the Fermat-point of a triangle. We present a solution that is well adapted to the practical application the problem is based on. Furthermore, we solve a generalization of the geometric situation and discuss the relation to non-symmetric, unbalanced AC star circuits.
• We present a very simple proof that the $O(n)$ model satisfies a uniform logarithmic Sobolev inequality (LSI) if the positive definite coupling matrix has largest eigenvalue less than $n$. This condition applies in particular to the SK spin glass model at inverse temperature $\beta < 1/4$. The proof also applies to more general bounded and unbounded spin systems. It uses a single step of zero range renormalisation and Bakry--Emery theory for the renormalised measure.
• We define a collection of cohomology classes $\Theta_{g,n}\in H^{4g-4+2n}(\overline{\cal M}_{g,n})$ for $2g-2+n>0$ that restrict naturally to boundary divisors. We prove that a generating function for the intersection numbers $\int_{\overline{\cal M}_{g,n}}\Theta_{g,n}\prod_{i=1}^n\psi_i^{m_i}$ is a tau function of the KdV hierarchy. This is analogous to the theorem conjectured by Witten and proven by Kontsevich that a generating function for the intersection numbers $\int_{\overline{\cal M}_{g,n}}\prod_{i=1}^n\psi_i^{m_i}$ is a tau function of the KdV hierarchy.
• The Hall effect is an important magnetic effect observed in electric conductors and semiconductors. The Hall tensor is a third order three dimensional tensor whose first two indices are skew-symmetric. In this note, we show that the Hall tensor is related to a second order three-dimensional tensor via the third order Levi-Civita tensor. We present some irreducible function bases of the Hall tensor, and each of such irreducible function bases contains six invariants. We also present some minimal integrity bases of the Hall tensor, and each of such minimal integrity bases contains ten invariants. A syzygy relation among the invariants in a minimal integrity basis is given. The three determinants of the Hall tensor are also shown to be all zero.
• One of spectacular results in mathematical physics is the expression of Racah matrices for symmetric representations of the quantum group $SU_q(2)$ through the Askey-Wilson polynomials, associated with the $q$-hypergeometric functions ${_4\phi_3}$. Recently it was shown that this is in fact the general property of symmetric representations, valid for arbitrary $SU_q(N)$, at least for exclusive Racah matrices $\bar S$. The natural question then is what substitutes the conventional $q$-hypergeometric polynomials when representations are more general? New advances in the theory of matrices $\bar S$, provided by the study of differential expansions of knot polynomials, suggest that these are multiple sums over Young sub-diagrams of the one, which describes the original representation of $SU_q(N)$. A less trivial fact is that the entries of the sum are not just the factorized combinations of quantum dimensions, as in the ordinary hypergeometric series, but involve non-factorized quantities, like the skew characters and their further generalizations -- as well as associated additional summations with the Littlewood-Richardson weights.
• We consider the one-dimensional discrete linear Schr?odinger (DLS) equation perturbed by a conservative stochastic dynamics, that changes the phase of each particles, conserving the total norm (or number of particles). The resulting total dynamics is a degenerate hypoelliptic diffusion with a smooth stationary state. We will show that the system has a hydrodynamical limit given by the solution of the heat equation. When it is coupled at the boundaries to two Langevin thermostats at two different chemical potentials, we prove that the stationary state, in the limit as N ! 1, satisfies the Fourier's law.
• We construct the differential operators for which bivariate Chebyshev polynomials of the first kind, associated with simple Lie algebras $C_2$ and $G_2$, are eigenfunctions.
• Our goal in this paper is to present a generalization of the spectral zeta regularization for general Feynman amplitudes. Our method uses complex powers of elliptic operators but involves several complex parameters in the spirit of the analytic renormalization by Speer, to build mathematical foundations for the renormalization of perturbative interacting quantum field theories. Our main result shows that spectrally regularized Feynman amplitudes admit an analytic continuation as meromorphic germs with linear poles in the sense of the works of Guo-Paycha and the second author. We also give an explicit determination of the affine hyperplanes supporting the poles. Our proof relies on suitable resolution of singularities of products of heat kernels to make them smooth. As an application of the analytic continuation result, we use a universal projection from meromorphic germs with linear poles on holomorphic germs to construct renormalization maps which subtract singularities of Feynman amplitudes of Euclidean fields. Our renormalization maps are shown to satisfy consistency conditions previously introduced in the work of Nikolov-Todorov-Stora in the case of flat space-times.
• In this note we perform the $n+1$ decomposition, or Arnowitt Deser Misner (ADM) formulation of $f($Lovelock$)$ gravity theory. The hamiltonian form of Lovelock gravity was known since the work of C. Teitelboim and J. Zanelli in 1987, but this result had not yet been extended to $f($Lovelock$)$ gravity. Besides, field equations of $f($Lovelock$)$ have been recently be computed by P. Bueno et al., though without ADM decomposition. We focus on the non-degenerate case, ie. when the Hessian of $f$ is invertible. Using the same Legendre transform as for $f(\mathrm{R})$ theories, we can identify the partial derivatives of $f$ as scalar fields, and consider the theory as a generalised scalar-tensor theory. We then derive the field equations, and project them along a $n+1$ decomposition. We obtain an original system of constraint equations for $f($Lovelock$)$ gravity, as well as dynamical equations. We give explicit formulas for the $f(\mathrm{R},$ Gauss-Bonnet$)$ case.
• In this paper, we introduce a new notion of convergence for the Laplace eigenfunctions in the semiclassical limit, the local weak convergence. This allows us to give a rigorous statement of Berry's random wave conjecture. Using recent results of Bourgain, Buckley and Wigman, we will prove that some deterministic families of eigenfunctions on $\mathbb{T}^2$ satisfy the conclusions of the random wave conjecture. We also show that on an arbitrary domain, a sequence of Laplace eigenfunctions always admits local weak limits. We explain why these local weak limits can be a powerful tool to study the asymptotic number of nodal domains.
• In this work we study the non-equilibrium Markov state evolution for a spatial population model on the space of locally finite configurations $\Gamma^2 = \Gamma^+ \times \Gamma^-$ over $\mathbb{R}^d$ where particles are marked by spins $\pm$. Particles of type '+' reproduce themselves independently of each other and, moreover, die due to competition either among particles of the same type or particles of different type. Particles of type '-' evolve according to a non-equilibrium Glauber-type dynamics with activity $z$ and potential $\psi$. Let $L^S$ be the Markov operator for '+' -particles and $L^E$ the Markov operator for '-' -particles. The non-equilibrium state evolution $(\mu_t^{\varepsilon})_{t \geq 0}$ is obtained from the Fokker-Planck equation with Markov operator $L^S + \frac{1}{\varepsilon}L^E$, $\varepsilon > 0$, which itself is studied in terms of correlation function evolution on a suitable chosen scale of Banach spaces. We prove that in the limiting regime $\varepsilon \to 0$ the state evolution $\mu_t^{\varepsilon}$ converges weakly to some state evolution $\overline{\mu}_t$ associated to the Fokker-Planck equation with (heuristic) Markov operator obtained from $L^S$ by averaging the interactions of the system with the environment with respect to the unique invariant Gibbs measure of the environment.
• We study the fine scale $L^2$-mass distribution of toral Laplace eigenfunctions with respect to random position, in 2 and 3 dimensions. In 2d, under certain flatness assumptions on the Fourier coefficients and generic restrictions on energy levels, both the asymptotic shape of the variance is determined and the limiting Gaussian law is established, in the optimal Planck-scale regime. In 3d the asymptotic behaviour of the variance is analysed in a more restrictive scenario ("Bourgain's eigenfunctions"). Other than the said precise results, lower and upper bounds are proved for the variance, under more general flatness assumptions on the Fourier coefficients.
• This work constructs a class of non-symmetric periodic Schrödinger operators on metric graphs (quantum graphs) whose Fermi, or Floquet, surface is reducible. The Floquet surface at an energy level is an algebraic set that describes all complex wave vectors admissible by the periodic operator at the given energy. The graphs in this study are obtained by coupling two identical copies of a periodic quantum graph by edges to form a bilayer graph. Reducibility of the Floquet surface for all energies ensues when the coupling edges have potentials belonging to the same asymmetry class. Two potentials are said to be in the same asymmetry class if their spectral A-functions $a(\lambda)$, defined in the article, are identical. Symmetric potentials have $a(\lambda)\equiv0$. If the potentials of the connecting edges belong to different asymmetry classes, then typically the Floquet surface is not reducible. Bilayer graphene is a notable exception. Its Floquet surface is the zero set of a single composite variable and therefore is always factorable.
• We introduce a class of bipartite operators acting on $\mathcal{H} \otimes \mathcal{H}$ ($\mathcal{H}$ being an $n$-dimensional Hilbert space) defined by a set of $n$ Completely Different Permutations CDP. Bipartite operators are of particular importance in quantum information theory to represent states and observables of composite quantum systems. It turns out that any set of CDPs gives rise to a certain direct sum decomposition of the total Hilbert space which enables one simple construction of the corresponding bipartite operator. Interestingly, if set of CDPs defines an abelian group then the corresponding bipartite operator displays an additional property -- the partially transposed operator again corresponds to (in general different) set of CDPs. Therefore, our technique may be used to construct new classes of so called PPT states which are of great importance for quantum information. Using well known relation between bipartite operators and linear maps one use also construct linear maps related to CDPs.
• The identification of a suitable gravitational energy in theories of gravity has a long history, and it is well known that a unique answer cannot be given. In the first part of this paper we present a streamlined version of the derivation of Freud's superpotential in general relativity. It is found if we once integrate the gravitational field equation by parts. This allows us to extend these results directly to the Einstein-Cartan theory. Interestingly, Freud's original expression, first stated in 1939, remains valid even when considering gravitational theories in Riemann-Cartan or, more generally, in metric-affine spacetimes.
• The membrane paradigm approach adopts a timelike surface, stretched out off the null event horizon, to study several important black hole properties. We use this powerful tool to give a direct derivation of the black hole mass formula in the static and stationary cases without and with electric field. Since here the membrane is a self-gravitating material system we go beyond the usual applicability on test particles and test fields of the paradigm.
• The author studies structure of space $\mathbf{L}_{2}(G)$ of vectors - functions, which are integrable with a square of the module on the bounded domain $G$of three-dimensional space with smooth boundary, and role of the gradient of divergence and curl operators in construction of bases in its orthogonal subspaces $\mathcal{A}$ and $\mathcal{B}$. The ${\mathcal{A}}$ and ${\mathcal{B}}$ are contain subspaces ${\mathcal{A}_{\gamma}}(G)\subset{\mathcal{A}}$ and $\mathbf{V}^{0}(G)\subset{\mathcal{B}}$. The gradient of divergence and a curl operators have continuations in these subspaces, their expansion $\mathcal{N}_d$ and $S$ are selfadjoint and convertible,and their inverse operators $\mathcal{N}_{d}^{-1}$ and $S^{-1}$ are compact. In each of these subspaces we build ortonormal basis. Uniting these bases, we receive complete ortonormal basis of whole space $\mathbf{L}_{2}(G)$, made from eigenfunctions of the gradient of divergence and curl operators . In a case, when the domain $G$ is a ball $B$, basic functions are defined by elementary functions. The spaces $\mathcal{A}^{s}_{\mathcal{K}}(B)$ are defined. Is proved, that condition $\mathbf{v}\in\mathcal{A}^{s}_{\mathcal {K}}(B)$ is necessary and sufficient for convergence of its Fourier series (on eigenfunctions of a gradient of divergence)in norm of Sobolev space $\mathbf{H}^{s}(B)$. Using Fourier series of functions $\mathbf{f}$ and $\mathbf{u}$, the author investigates solvability(in spaces $\mathbf{H}^{s}(G)$)boundary value problem: $\nabla\mathbf{div}\mathbf{u}+ \lambda\mathbf{u}=\mathbf{f}$ in $G$, $\mathbf{n}\cdot\mathbf{u}|_{\Gamma}=g$ on boundary, under condition of $\lambda\neq0$. In a ball $B$ a boundary value problem: $\nabla\mathbf{div}\mathbf{u}+ \lambda\mathbf{u}=\mathbf{f}$ in $B$, $\mathbf{n}\cdot\mathbf{u}|_S=0$, is solved completely and for any $\lambda$.
• In this article we first observe that the Path topology of Hawking, King and MacCarthy is an analogue in curved spacetimes, of a topology that was suggested by Zeeman as an alternative topology to his so-called Fine topology in Minkowski spacetime. We then review results of a recent paper on spaces of paths and the path topology, and see that there are at least five more, obvious, topologies in the class of Zeeman topologies, which admit a countable basis, incorporate the causal structure, but the Limit Curve Theorem does not hold. The "problem" that L.C.T. does not hold can be resolved by "adding back" the light-cones in the basic-open sets of these topologies, and create new basic open sets for new topologies. But, the main question is: do we really need the L.C.T. to hold, and why?

Zoltán Zimborás Nov 17 2017 07:59 UTC

Interesting title for a work on Mourre theory for Floquet Hamiltonians.
I wonder how this slipped through the prereview process in arXiv.

Alvaro M. Alhambra Jul 24 2017 16:10 UTC

This paper has just been updated and we thought it would be a good
idea to advertise it here. It was originally submitted a year ago, and
it has now been essentially rewritten, with two new authors added.

We have fixed some of the original results and now we:
-Show how some fundamental theorem

...(continued)
Steve Flammia Jul 21 2017 13:43 UTC

Actually, there is even earlier work that shows this result. In [arXiv:1109.6887][1], Magesan, Gambetta, and Emerson showed that for any Pauli channel the diamond distance to the identity is equal to the trace distance between the associated Choi states. They prefer to phrase their results in terms

...(continued)
gae Jul 21 2017 09:00 UTC

In relation with the discussion at page 21 of this paper. Consider depolarizing channels (including the trivial case of the identity channel) which are teleportation covariant as in the definition Eq. (9) of https://arxiv.org/abs/1510.08863 [Nature Communications 8, 15043 (2017)]. The diamond norm b

...(continued)
Zoltán Zimborás Apr 18 2017 09:47 UTC

Great note. I real like the two end-sentences: "Of course, any given new approach to a hard and extensively studied problem has a very low probability to lead to a direct solution (some popular accounts may not have emphasized this to the degree we would have preferred). But arguably, this makes the

...(continued)
Jalex Stark Apr 06 2017 22:46 UTC

However, one should note that I_3322 may be able to do something that this paper doesn't. William's work leaves open the question of whether there are games with infinite-dimensional tensor product strategies but no finite-dimensional ones. Some of us might expect that I_3322 has this property.

Laura Mančinska Mar 28 2017 13:09 UTC

Great result!

For those familiar with I_3322, William here gives an example of a nonlocal game exhibiting a behaviour that many of us suspected (but couldn't prove) to be possessed by I_3322.

Robert Raussendorf Jan 24 2017 22:29 UTC

Regarding Mark's above comment on the role of the stabilizer states: Yes, all previous works on the subject have used the stabilizer states and Clifford gates as the classical backbone. This is due to the Gottesman-Knill theorem and related results. But is it a given that the free sector in quantum

...(continued)
Planat Jan 24 2017 13:09 UTC

Are you sure? Since we do not propose a conjecture, there is nothing wrong. A class of strange states underlie the pentagons in question. The motivation is to put the magic of computation in the permutation frame, one needs more work to check its relevance.

Mark Howard Jan 24 2017 09:59 UTC

It seems interesting at first sight, but after reading it the motivation is very muddled. It boils down to finding pentagons (which enable KCBS-style proofs of contextuality) within sets of projectors, some of which are stabilizer states and some of which are non-stabilizer states (called magic stat

...(continued)