TY - JOUR AB - In the physics literature the spectral form factor (SFF), the squared Fourier transform of the empirical eigenvalue density, is the most common tool to test universality for disordered quantum systems, yet previous mathematical results have been restricted only to two exactly solvable models (Forrester in J Stat Phys 183:33, 2021. https://doi.org/10.1007/s10955-021-02767-5, Commun Math Phys 387:215–235, 2021. https://doi.org/10.1007/s00220-021-04193-w). We rigorously prove the physics prediction on SFF up to an intermediate time scale for a large class of random matrices using a robust method, the multi-resolvent local laws. Beyond Wigner matrices we also consider the monoparametric ensemble and prove that universality of SFF can already be triggered by a single random parameter, supplementing the recently proven Wigner–Dyson universality (Cipolloni et al. in Probab Theory Relat Fields, 2021. https://doi.org/10.1007/s00440-022-01156-7) to larger spectral scales. Remarkably, extensive numerics indicates that our formulas correctly predict the SFF in the entire slope-dip-ramp regime, as customarily called in physics. AU - Cipolloni, Giorgio AU - Erdös, László AU - Schröder, Dominik J ID - 12792 JF - Communications in Mathematical Physics SN - 0010-3616 TI - On the spectral form factor for random matrices VL - 401 ER - TY - JOUR AB - We study the Fröhlich polaron model in R3, and establish the subleading term in the strong coupling asymptotics of its ground state energy, corresponding to the quantum corrections to the classical energy determined by the Pekar approximation. AU - Brooks, Morris AU - Seiringer, Robert ID - 14441 JF - Communications in Mathematical Physics SN - 0010-3616 TI - The Fröhlich Polaron at strong coupling: Part I - The quantum correction to the classical energy VL - 404 ER - TY - JOUR AB - In the paper, we establish Squash Rigidity Theorem—the dynamical spectral rigidity for piecewise analytic Bunimovich squash-type stadia whose convex arcs are homothetic. We also establish Stadium Rigidity Theorem—the dynamical spectral rigidity for piecewise analytic Bunimovich stadia whose flat boundaries are a priori fixed. In addition, for smooth Bunimovich squash-type stadia we compute the Lyapunov exponents along the maximal period two orbit, as well as the value of the Peierls’ Barrier function from the maximal marked length spectrum associated to the rotation number 2n/4n+1. AU - Chen, Jianyu AU - Kaloshin, Vadim AU - Zhang, Hong Kun ID - 14427 JF - Communications in Mathematical Physics SN - 0010-3616 TI - Length spectrum rigidity for piecewise analytic Bunimovich billiards ER - TY - JOUR AB - We prove that the generator of the L2 implementation of a KMS-symmetric quantum Markov semigroup can be expressed as the square of a derivation with values in a Hilbert bimodule, extending earlier results by Cipriani and Sauvageot for tracially symmetric semigroups and the second-named author for GNS-symmetric semigroups. This result hinges on the introduction of a new completely positive map on the algebra of bounded operators on the GNS Hilbert space. This transformation maps symmetric Markov operators to symmetric Markov operators and is essential to obtain the required inner product on the Hilbert bimodule. AU - Vernooij, Matthijs AU - Wirth, Melchior ID - 13319 JF - Communications in Mathematical Physics SN - 0010-3616 TI - Derivations and KMS-symmetric quantum Markov semigroups VL - 403 ER - TY - JOUR AB - We show that the fluctuations of the largest eigenvalue of a real symmetric or complex Hermitian Wigner matrix of size N converge to the Tracy–Widom laws at a rate O(N^{-1/3+\omega }), as N tends to infinity. For Wigner matrices this improves the previous rate O(N^{-2/9+\omega }) obtained by Bourgade (J Eur Math Soc, 2021) for generalized Wigner matrices. Our result follows from a Green function comparison theorem, originally introduced by Erdős et al. (Adv Math 229(3):1435–1515, 2012) to prove edge universality, on a finer spectral parameter scale with improved error estimates. The proof relies on the continuous Green function flow induced by a matrix-valued Ornstein–Uhlenbeck process. Precise estimates on leading contributions from the third and fourth order moments of the matrix entries are obtained using iterative cumulant expansions and recursive comparisons for correlation functions, along with uniform convergence estimates for correlation kernels of the Gaussian invariant ensembles. AU - Schnelli, Kevin AU - Xu, Yuanyuan ID - 11332 JF - Communications in Mathematical Physics SN - 0010-3616 TI - Convergence rate to the Tracy–Widom laws for the largest Eigenvalue of Wigner matrices VL - 393 ER - TY - JOUR AB - In this article we introduce a complete gradient estimate for symmetric quantum Markov semigroups on von Neumann algebras equipped with a normal faithful tracial state, which implies semi-convexity of the entropy with respect to the recently introduced noncommutative 2-Wasserstein distance. We show that this complete gradient estimate is stable under tensor products and free products and establish its validity for a number of examples. As an application we prove a complete modified logarithmic Sobolev inequality with optimal constant for Poisson-type semigroups on free group factors. AU - Wirth, Melchior AU - Zhang, Haonan ID - 9973 JF - Communications in Mathematical Physics KW - Mathematical Physics KW - Statistical and Nonlinear Physics SN - 0010-3616 TI - Complete gradient estimates of quantum Markov semigroups VL - 387 ER - TY - JOUR AB - We prove that any deterministic matrix is approximately the identity in the eigenbasis of a large random Wigner matrix with very high probability and with an optimal error inversely proportional to the square root of the dimension. Our theorem thus rigorously verifies the Eigenstate Thermalisation Hypothesis by Deutsch (Phys Rev A 43:2046–2049, 1991) for the simplest chaotic quantum system, the Wigner ensemble. In mathematical terms, we prove the strong form of Quantum Unique Ergodicity (QUE) with an optimal convergence rate for all eigenvectors simultaneously, generalizing previous probabilistic QUE results in Bourgade and Yau (Commun Math Phys 350:231–278, 2017) and Bourgade et al. (Commun Pure Appl Math 73:1526–1596, 2020). AU - Cipolloni, Giorgio AU - Erdös, László AU - Schröder, Dominik J ID - 10221 IS - 2 JF - Communications in Mathematical Physics SN - 0010-3616 TI - Eigenstate thermalization hypothesis for Wigner matrices VL - 388 ER - TY - JOUR AB - While Hartree–Fock theory is well established as a fundamental approximation for interacting fermions, it has been unclear how to describe corrections to it due to many-body correlations. In this paper we start from the Hartree–Fock state given by plane waves and introduce collective particle–hole pair excitations. These pairs can be approximately described by a bosonic quadratic Hamiltonian. We use Bogoliubov theory to construct a trial state yielding a rigorous Gell-Mann–Brueckner–type upper bound to the ground state energy. Our result justifies the random-phase approximation in the mean-field scaling regime, for repulsive, regular interaction potentials. AU - Benedikter, Niels P AU - Nam, Phan Thành AU - Porta, Marcello AU - Schlein, Benjamin AU - Seiringer, Robert ID - 6649 JF - Communications in Mathematical Physics SN - 0010-3616 TI - Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime VL - 374 ER - TY - JOUR AB - We define an action of the (double of) Cohomological Hall algebra of Kontsevich and Soibelman on the cohomology of the moduli space of spiked instantons of Nekrasov. We identify this action with the one of the affine Yangian of gl(1). Based on that we derive the vertex algebra at the corner Wr1,r2,r3 of Gaiotto and Rapčák. We conjecture that our approach works for a big class of Calabi–Yau categories, including those associated with toric Calabi–Yau 3-folds. AU - Rapcak, Miroslav AU - Soibelman, Yan AU - Yang, Yaping AU - Zhao, Gufang ID - 7004 JF - Communications in Mathematical Physics SN - 0010-3616 TI - Cohomological Hall algebras, vertex algebras and instantons VL - 376 ER - TY - JOUR AB - For complex Wigner-type matrices, i.e. Hermitian random matrices with independent, not necessarily identically distributed entries above the diagonal, we show that at any cusp singularity of the limiting eigenvalue distribution the local eigenvalue statistics are universal and form a Pearcey process. Since the density of states typically exhibits only square root or cubic root cusp singularities, our work complements previous results on the bulk and edge universality and it thus completes the resolution of the Wigner–Dyson–Mehta universality conjecture for the last remaining universality type in the complex Hermitian class. Our analysis holds not only for exact cusps, but approximate cusps as well, where an extended Pearcey process emerges. As a main technical ingredient we prove an optimal local law at the cusp for both symmetry classes. This result is also the key input in the companion paper (Cipolloni et al. in Pure Appl Anal, 2018. arXiv:1811.04055) where the cusp universality for real symmetric Wigner-type matrices is proven. The novel cusp fluctuation mechanism is also essential for the recent results on the spectral radius of non-Hermitian random matrices (Alt et al. in Spectral radius of random matrices with independent entries, 2019. arXiv:1907.13631), and the non-Hermitian edge universality (Cipolloni et al. in Edge universality for non-Hermitian random matrices, 2019. arXiv:1908.00969). AU - Erdös, László AU - Krüger, Torben H AU - Schröder, Dominik J ID - 6185 JF - Communications in Mathematical Physics SN - 0010-3616 TI - Cusp universality for random matrices I: Local law and the complex Hermitian case VL - 378 ER - TY - JOUR AB - We consider systems of bosons trapped in a box, in the Gross–Pitaevskii regime. We show that low-energy states exhibit complete Bose–Einstein condensation with an optimal bound on the number of orthogonal excitations. This extends recent results obtained in Boccato et al. (Commun Math Phys 359(3):975–1026, 2018), removing the assumption of small interaction potential. AU - Boccato, Chiara AU - Brennecke, Christian AU - Cenatiempo, Serena AU - Schlein, Benjamin ID - 6906 JF - Communications in Mathematical Physics SN - 0010-3616 TI - Optimal rate for Bose-Einstein condensation in the Gross-Pitaevskii regime VL - 376 ER - TY - JOUR AB - We consider billiards obtained by removing three strictly convex obstacles satisfying the non-eclipse condition on the plane. The restriction of the dynamics to the set of non-escaping orbits is conjugated to a subshift on three symbols that provides a natural labeling of all periodic orbits. We study the following inverse problem: does the Marked Length Spectrum (i.e., the set of lengths of periodic orbits together with their labeling), determine the geometry of the billiard table? We show that from the Marked Length Spectrum it is possible to recover the curvature at periodic points of period two, as well as the Lyapunov exponent of each periodic orbit. AU - Bálint, Péter AU - De Simoi, Jacopo AU - Kaloshin, Vadim AU - Leguil, Martin ID - 8415 IS - 3 JF - Communications in Mathematical Physics KW - Mathematical Physics KW - Statistical and Nonlinear Physics SN - 0010-3616 TI - Marked length spectrum, homoclinic orbits and the geometry of open dispersing billiards VL - 374 ER - TY - JOUR AB - We present microscopic derivations of the defocusing two-dimensional cubic nonlinear Schrödinger equation and the Gross–Pitaevskii equation starting froman interacting N-particle system of bosons. We consider the interaction potential to be given either by Wβ(x)=N−1+2βW(Nβx), for any β>0, or to be given by VN(x)=e2NV(eNx), for some spherical symmetric, nonnegative and compactly supported W,V∈L∞(R2,R). In both cases we prove the convergence of the reduced density corresponding to the exact time evolution to the projector onto the solution of the corresponding nonlinear Schrödinger equation in trace norm. For the latter potential VN we show that it is crucial to take the microscopic structure of the condensate into account in order to obtain the correct dynamics. AU - Jeblick, Maximilian AU - Leopold, Nikolai K AU - Pickl, Peter ID - 7100 IS - 1 JF - Communications in Mathematical Physics SN - 0010-3616 TI - Derivation of the time dependent Gross–Pitaevskii equation in two dimensions VL - 372 ER - TY - JOUR AB - The restricted planar elliptic three body problem (RPETBP) describes the motion of a massless particle (a comet or an asteroid) under the gravitational field of two massive bodies (the primaries, say the Sun and Jupiter) revolving around their center of mass on elliptic orbits with some positive eccentricity. The aim of this paper is to show the existence of orbits whose angular momentum performs arbitrary excursions in a large region. In particular, there exist diffusive orbits, that is, with a large variation of angular momentum. The leading idea of the proof consists in analyzing parabolic motions of the comet. By a well-known result of McGehee, the union of future (resp. past) parabolic orbits is an analytic manifold P+ (resp. P−). In a properly chosen coordinate system these manifolds are stable (resp. unstable) manifolds of a manifold at infinity P∞, which we call the manifold at parabolic infinity. On P∞ it is possible to define two scattering maps, which contain the map structure of the homoclinic trajectories to it, i.e. orbits parabolic both in the future and the past. Since the inner dynamics inside P∞ is trivial, two different scattering maps are used. The combination of these two scattering maps permits the design of the desired diffusive pseudo-orbits. Using shadowing techniques and these pseudo orbits we show the existence of true trajectories of the RPETBP whose angular momentum varies in any predetermined fashion. AU - Delshams, Amadeu AU - Kaloshin, Vadim AU - de la Rosa, Abraham AU - Seara, Tere M. ID - 8417 IS - 3 JF - Communications in Mathematical Physics KW - Mathematical Physics KW - Statistical and Nonlinear Physics SN - 0010-3616 TI - Global instability in the restricted planar elliptic three body problem VL - 366 ER - TY - JOUR AB - In this paper we study a so-called separatrix map introduced by Zaslavskii–Filonenko (Sov Phys JETP 27:851–857, 1968) and studied by Treschev (Physica D 116(1–2):21–43, 1998; J Nonlinear Sci 12(1):27–58, 2002), Piftankin (Nonlinearity (19):2617–2644, 2006) Piftankin and Treshchëv (Uspekhi Mat Nauk 62(2(374)):3–108, 2007). We derive a second order expansion of this map for trigonometric perturbations. In Castejon et al. (Random iteration of maps of a cylinder and diffusive behavior. Preprint available at arXiv:1501.03319, 2015), Guardia and Kaloshin (Stochastic diffusive behavior through big gaps in a priori unstable systems (in preparation), 2015), and Kaloshin et al. (Normally Hyperbolic Invariant Laminations and diffusive behavior for the generalized Arnold example away from resonances. Preprint available at http://www.terpconnect.umd.edu/vkaloshi/, 2015), applying the results of the present paper, we describe a class of nearly integrable deterministic systems with stochastic diffusive behavior. AU - Guardia, M. AU - Kaloshin, Vadim AU - Zhang, J. ID - 8493 JF - Communications in Mathematical Physics SN - 0010-3616 TI - A second order expansion of the separatrix map for trigonometric perturbations of a priori unstable systems VL - 348 ER - TY - JOUR AB - We consider Ising models in d = 2 and d = 3 dimensions with nearest neighbor ferromagnetic and long-range antiferromagnetic interactions, the latter decaying as (distance)-p, p > 2d, at large distances. If the strength J of the ferromagnetic interaction is larger than a critical value J c, then the ground state is homogeneous. It has been conjectured that when J is smaller than but close to J c, the ground state is periodic and striped, with stripes of constant width h = h(J), and h → ∞ as J → Jc -. (In d = 3 stripes mean slabs, not columns.) Here we rigorously prove that, if we normalize the energy in such a way that the energy of the homogeneous state is zero, then the ratio e 0(J)/e S(J) tends to 1 as J → Jc -, with e S(J) being the energy per site of the optimal periodic striped/slabbed state and e 0(J) the actual ground state energy per site of the system. Our proof comes with explicit bounds on the difference e 0(J)-e S(J) at small but positive J c-J, and also shows that in this parameter range the ground state is striped/slabbed in a certain sense: namely, if one looks at a randomly chosen window, of suitable size ℓ (very large compared to the optimal stripe size h(J)), one finds a striped/slabbed state with high probability. AU - Giuliani, Alessandro AU - Lieb, Élliott AU - Seiringer, Robert ID - 1935 JF - Communications in Mathematical Physics SN - 0010-3616 TI - Formation of stripes and slabs near the ferromagnetic transition VL - 331 ER - TY - JOUR AB - The famous ergodic hypothesis suggests that for a typical Hamiltonian on a typical energy surface nearly all trajectories are dense. KAM theory disproves it. Ehrenfest (The Conceptual Foundations of the Statistical Approach in Mechanics. Ithaca, NY: Cornell University Press, 1959) and Birkhoff (Collected Math Papers. Vol 2, New York: Dover, pp 462–465, 1968) stated the quasi-ergodic hypothesis claiming that a typical Hamiltonian on a typical energy surface has a dense orbit. This question is wide open. Herman (Proceedings of the International Congress of Mathematicians, Vol II (Berlin, 1998). Doc Math 1998, Extra Vol II, Berlin: Int Math Union, pp 797–808, 1998) proposed to look for an example of a Hamiltonian near H0(I)=⟨I,I⟩2 with a dense orbit on the unit energy surface. In this paper we construct a Hamiltonian H0(I)+εH1(θ,I,ε) which has an orbit dense in a set of maximal Hausdorff dimension equal to 5 on the unit energy surface. AU - Kaloshin, Vadim AU - Saprykina, Maria ID - 8502 IS - 3 JF - Communications in Mathematical Physics KW - Mathematical Physics KW - Statistical and Nonlinear Physics SN - 0010-3616 TI - An example of a nearly integrable Hamiltonian system with a trajectory dense in a set of maximal Hausdorff dimension VL - 315 ER - TY - JOUR AB - We define the two dimensional Pauli operator and identify its core for magnetic fields that are regular Borel measures. The magnetic field is generated by a scalar potential hence we bypass the usual A L 2loc condition on the vector potential, which does not allow to consider such singular fields. We extend the Aharonov-Casher theorem for magnetic fields that are measures with finite total variation and we present a counterexample in case of infinite total variation. One of the key technical tools is a weighted L 2 estimate on a singular integral operator. AU - Erdös, László AU - Vougalter, Vitali ID - 2739 IS - 2 JF - Communications in Mathematical Physics SN - 0010-3616 TI - Pauli operator and Aharonov–Casher theorem¶ for measure valued magnetic fields VL - 225 ER - TY - JOUR AB - This paper concerns the asymptotic ground state properties of heavy atoms in strong, homogeneous magnetic fields. In the limit when the nuclear charge Z tends to ∞ with the magnetic field B satisfying B ≫ Z4/3 all the electrons are confined to the lowest Landau band. We consider here an energy functional, whose variable is a sequence of one-dimensional density matrices corresponding to different angular momentum functions in the lowest Landau band. We study this functional in detail and derive various interesting properties, which are compared with the density matrix (DM) theory introduced by Lieb, Solovej and Yngvason. In contrast to the DM theory the variable perpendicular to the field is replaced by the discrete angular momentum quantum numbers. Hence we call the new functional a discrete density matrix (DDM) functional. We relate this DDM theory to the lowest Landau band quantum mechanics and show that it reproduces correctly the ground state energy apart from errors due to the indirect part of the Coulomb interaction energy. AU - Hainzl, Christian AU - Seiringer, Robert ID - 2348 IS - 1 JF - Communications in Mathematical Physics SN - 0010-3616 TI - A discrete density matrix theory for atoms in strong magnetic fields VL - 217 ER - TY - JOUR AB - We consider the ground state properties of an inhomogeneous two-dimensional Bose gas with a repulsive, short range pair interaction and an external confining potential. In the limit when the particle number N is large but ρ̅a 2 is small, where ρ̅ is the average particle density and a the scattering length, the ground state energy and density are rigorously shown to be given to leading order by a Gross–Pitaevskii (GP) energy functional with a coupling constant g~1/|1n(ρ̅a 2)|. In contrast to the 3D case the coupling constant depends on N through the mean density. The GP energy per particle depends only on Ng. In 2D this parameter is typically so large that the gradient term in the GP energy functional is negligible and the simpler description by a Thomas–Fermi type functional is adequate. AU - Lieb, Élliott AU - Seiringer, Robert AU - Yngvason, Jakob ID - 2347 IS - 1 JF - Communications in Mathematical Physics SN - 0010-3616 TI - A rigorous derivation of the Gross-Pitaevskii energy functional for a two-dimensional Bose gas VL - 224 ER - TY - JOUR AB - Let M be a smooth compact manifold of dimension at least 2 and Diffr(M) be the space of C r smooth diffeomorphisms of M. Associate to each diffeomorphism f;isin; Diffr(M) the sequence P n (f) of the number of isolated periodic points for f of period n. In this paper we exhibit an open set N in the space of diffeomorphisms Diffr(M) such for a Baire generic diffeomorphism f∈N the number of periodic points P n f grows with a period n faster than any following sequence of numbers {a n } n ∈ Z + along a subsequence, i.e. P n (f)>a ni for some n i →∞ with i→∞. In the cases of surface diffeomorphisms, i.e. dim M≡2, an open set N with a supergrowth of the number of periodic points is a Newhouse domain. A proof of the man result is based on the Gontchenko–Shilnikov–Turaev Theorem [GST]. A complete proof of that theorem is also presented. AU - Kaloshin, Vadim ID - 8525 JF - Communications in Mathematical Physics KW - Mathematical Physics KW - Statistical and Nonlinear Physics SN - 0010-3616 TI - Generic diffeomorphisms with superexponential growth of number of periodic orbits VL - 211 ER - TY - JOUR AB - We give the leading order semiclassical asymptotics for the sum of the negative eigenvalues of the Pauli operator (in dimension two and three) with a strong non-homogeneous magnetic field. As in [LSY-II] for homogeneous field, this result can be used to prove that the magnetic Thomas-Fermi theory gives the leading order ground state energy of large atoms. We develop a new localization scheme well suited to the anisotropic character of the strong magnetic field. We also use the basic Lieb-Thirring estimate obtained in our companion paper [ES-I]. AU - Erdös, László AU - Solovej, Jan ID - 2729 IS - 3 JF - Communications in Mathematical Physics SN - 0010-3616 TI - Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields, II. Leading order asymptotic estimates VL - 188 ER - TY - JOUR AB - We study the generalizations of the well-known Lieb-Thirring inequality for the magnetic Schrödinger operator with nonconstant magnetic field. Our main result is the naturally expected magnetic Lieb-Thirring estimate on the moments of the negative eigenvalues for a certain class of magnetic fields (including even some unbounded ones). We develop a localization technique in path space of the stochastic Feynman-Kac representation of the heat kernel which effectively estimates the oscillatory effect due to the magnetic phase factor. AU - Erdös, László ID - 2724 IS - 3 JF - Communications in Mathematical Physics SN - 0010-3616 TI - Magnetic Lieb-Thirring inequalities VL - 170 ER - TY - JOUR AB - A version of the one-dimensional Rayleigh gas is considered: a point particle of mass M (molecule), confined to the unit interval [0,1], is surrounded by an infinite ideal gas of point particles of mass 1 (atoms). The molecule interacts with the atoms and with the walls via elastic collision. Central limit theorems are proved for a wide class of additive functionals of this system (e.g. the number of collisions with the walls and the total length of the molecular path). AU - Erdös, László AU - Tuyen, Dao ID - 2722 IS - 3 JF - Communications in Mathematical Physics SN - 0010-3616 TI - Central limit theorems for the one-dimensional Rayleigh gas with semipermeable barriers VL - 143 ER -