Showing papers in "arXiv: Mathematical Physics in 2020"

On the computation of intersection numbers for twisted cocycles

Abstract: Intersection numbers of twisted cocycles arise in mathematics in the field of algebraic geometry. Quite recently, they appeared in physics: Intersection numbers of twisted cocycles define a scalar product on the vector space of Feynman integrals. With this application, the practical and efficient computation of intersection numbers of twisted cocycles becomes a topic of interest. An existing algorithm for the computation of intersection numbers of twisted cocycles requires in intermediate steps the introduction of algebraic extensions (for example square roots), although the final result may be expressed without algebraic extensions. In this article I present an improvement of this algorithm, which avoids algebraic extensions.

Optimal rate of condensation for trapped bosons in the Gross--Pitaevskii regime

Abstract: We study the Bose-Einstein condensates of trapped Bose gases in the Gross-Pitaevskii regime. We show that the ground state energy and ground states of the many-body quantum system are correctly described by the Gross-Pitaevskii equation in the large particle number limit, and provide the optimal convergence rate. Our work extends the previous results of Lieb, Seiringer and Yngvason on the leading order convergence, and of Boccato, Brennecke, Cenatiempo and Schlein on the homogeneous gas. Our method relies on the idea of 'completing the square', inspired by recent works of Brietzke, Fournais and Solovej on the Lee-Huang-Yang formula, and a general estimate for Bogoliubov quadratic Hamiltonians on Fock space.

Tropical Monte Carlo quadrature for Feynman integrals

Abstract: We introduce a new method to evaluate algebraic integrals over the simplex numerically. This new approach employs techniques from tropical geometry and exceeds the capabilities of existing numerical methods by an order of magnitude. The method can be improved further by exploiting the geometric structure of the underlying integrand. As an illustration of this, we give a specialized integration algorithm for a class of integrands that exhibit the form of a generalized permutahedron. This class includes integrands for scattering amplitudes and parametric Feynman integrals with tame kinematics. A proof-of-concept implementation is provided with which Feynman integrals up to loop order 17 can be evaluated.

Quasi-Locality Bounds for Quantum Lattice Systems. Part II. Perturbations of Frustration-Free Spin Models with Gapped Ground States

Abstract: We study the stability with respect to a broad class of perturbations of gapped ground state phases of quantum spin systems defined by frustration-free Hamiltonians. The core result of this work is a proof using the Bravyi-Hastings-Michalakis (BHM) strategy that under a condition of Local Topological Quantum Order, the bulk gap is stable under perturbations that decay at long distances faster than a stretched exponential. Compared to previous work we expand the class of frustration-free quantum spin models that can be handled to include models with more general boundary conditions, and models with discrete symmetry breaking. Detailed estimates allow us to formulate sufficient conditions for the validity of positive lower bounds for the gap that are uniform in the system size and that are explicit to some degree. We provide a survey of the BHM strategy following the approach of Michalakis and Zwolak, with alterations introduced to accommodate more general than just periodic boundary conditions and more general lattices. We express the fundamental condition known as LTQO by means of the notion of indistinguishability radius, which we introduce. Using the uniform finite-volume results we then proceed to study the thermodynamic limit. We first study the case of a unique limiting ground state and then also consider models with spontaneous breaking of a discrete symmetry. In the latter case, LTQO cannot hold for all local observables. However, for perturbations that preserve the symmetry, we show stability of the gap and the structure of the broken symmetry phases. We prove that the GNS Hamiltonian associated with each pure state has a non-zero spectral gap above the ground state.

Causal Fermion Systems: An Elementary Introduction to Physical Ideas and Mathematical Concepts

Abstract: We give an elementary introduction to the theory of causal fermion systems, with a focus on the underlying physical ideas and the conceptual and mathematical foundations.

Blobbed topological recursion of the quartic Kontsevich model I: Loop equations and conjectures

Abstract: We provide strong evidence for the conjecture that the analogue of Kontsevich's matrix Airy function, with the cubic potential $\mathrm{Tr}(\Phi^3)$ replaced by a quartic term $\mathrm{Tr}(\Phi^4)$, obeys the blobbed topological recursion of Borot and Shadrin. We identify in the quartic Kontsevich model three families of correlation functions for which we establish interwoven loop equations. One family consists of symmetric meromorphic differential forms $\omega_{g,n}$ labelled by genus and number of marked points of a complex curve. We reduce the solution of all loop equations to a straightforward but lengthy evaluation of residues. In all evaluated cases, the $\omega_{g,n}$ consist of a part with poles at ramification points which satisfies the universal formula of topological recursion, and of a part holomorphic at ramification points for which we provide an explicit residue formula.

Schwinger's picture of Quantum Mechanics

Abstract: In this paper we will present tha main features of what can be called Schwinger's foundational approach to Quantum Mechanics. The basic ingredients of this formulation are the \textit{selective measurements}, whose algebraic composition rules define a mathematical structure called groupoid, which is associated with any physical system. After the introduction of the basic axioms of a groupoid, the concepts of observables and states, statistical interpretation and evolution are derived. An example is finally introduced to support the theoretical description of this approach.

The Lieb-Thirring inequalities: Recent results and open problems

Abstract: This review celebrates the generous gift by Ronald and Maxine Linde for the remodeling of the Caltech mathematics department and the author is very grateful to the editors of this volume for the invitation to contribute. We attempt to survey recent results and open problems connected to Lieb–Thirring inequalities. In view of several excellent existing reviews [132, 17, 113, 91, 108] as well as highly recommended textbooks [134, 136], we sometimes put our focus on developments during the past decade.

Yang-Baxter and the Boost: splitting the difference

Abstract: In this paper we continue our classification of regular solutions of the Yang-Baxter equation using the method based on the spin chain boost operator developed in \cite{deLeeuw:2019zsi}. We provide details on how to find all non-difference form solutions and apply our method to spin chains with local Hilbert space of dimensions two, three and four. We classify all $16\times 16$ solutions which exhibit $\mathfrak{su}(2)\oplus \mathfrak{su}(2)$ symmetry, which include the one-dimensional Hubbard model and the $S$-matrix of the ${\rm AdS}_5 \times {\rm S}^5$ superstring sigma model. In all cases we find interesting novel solutions of the Yang-Baxter equation.

Madelung transform and probability densities in hybrid classical-quantum dynamics

Abstract: This paper extends the Madelung-Bohm formulation of quantum mechanics to describe the time-reversible interaction of classical and quantum systems. The symplectic geometry of the Madelung transform leads to identifying hybrid classical-quantum Lagrangian paths extending the Bohmian trajectories from standard quantum theory. As the classical symplectic form is no longer preserved, the nontrivial evolution of the Poincare integral is presented explicitly. Nevertheless, the classical phase-space components of the hybrid Bohmian trajectory identify a Hamiltonian flow parameterized by the quantum coordinate and this flow is associated to the motion of the classical subsystem. In addition, the continuity equation of the joint classical-quantum density is presented explicitly. While the von Neumann density operator of the quantum subsystem is always positive-definite by construction, the hybrid density is generally allowed to be unsigned. However, the paper concludes by presenting an infinite family of hybrid Hamiltonians whose corresponding evolution preserves the sign of the probability density for the classical subsystem.

Bose-Einstein Condensation Beyond the Gross-Pitaevskii Regime

Abstract: We consider N bosons in a box with volume one, interacting through a two-body potential with scattering length of the order $N^{-1+\kappa}$, for $\kappa>0$. Assuming that $\kappa\in (0;1/43)$, we show that low-energy states of the system exhibit complete Bose-Einstein condensation by providing explicit bounds on the expectation and on higher moments of the number of excitations.

Gaussian Fluctuations and Free Energy Expansion for 2D and 3D Coulomb Gases at Any Temperature

Abstract: We prove a Central Limit Theorem for the fluctuations of linear statistics of Coulomb gases in dimensions 2 and 3, which is valid down to microscales and for a broad temperature regime. This is the first such result in dimension 3. We show that the result can also be obtained in any dimension as soon as one can obtain a precise enough error rate for the expansion of the free energy -- such an expansion is obtained in any dimension, but the rate is good enough only in dimensions 2 and 3. In dimension 3 or larger, to obtain the CLT we need to make a "no phase transition" assumption. The CLT holds as soon as the test-function lives on a larger scale than the temperature-dependent minimal scale $\rho_\beta$ introduced in our previous work \cite{as}. It can be interpreted as a convergence to the Gaussian Free Field.

Classification of topological phases with finite internal symmetries in all dimensions

Abstract: We develop a mathematical theory of symmetry protected trivial (SPT) orders and anomaly-free symmetry enriched topological (SET) orders in all dimensions via two different approaches with an emphasis on the second approach. The first approach is to gauge the symmetry in the same dimension by adding topological excitations as it was done in the 2d case, in which the gauging process is mathematically described by the minimal modular extensions of unitary braided fusion 1-categories. This 2d result immediately generalizes to all dimensions except in 1d, which is treated with special care. The second approach is to use the 1-dimensional higher bulk of the SPT/SET order and the boundary-bulk relation. This approach also leads us to a precise mathematical description and a classification of SPT/SET orders in all dimensions. The equivalence of these two approaches, together with known physical results, provides us with many precise mathematical predictions.

Semi-martingale driven variational principles

Abstract: Spearheaded by the recent efforts to derive stochastic geophysical fluid dynamics models, we present a generic framework for introducing stochasticity into variational principles through the concept of a semi-martingale driven variational principle and constraining the component variables to be compatible with the driving semi-martingale. Within this framework and the corresponding choice of constraints, the Euler-Poincare equation can be easily deduced. We show that their corresponding deterministic counterparts are particular cases of this class of stochastic variational principles. Moreover, this is a natural framework that enables us to correctly characterize the pressure term in incompressible stochastic fluid models. Other general constraints can also be incorporated as long as they are compatible with the driving semi-martingale.

A Taxonomy of Twists of Supersymmetric Yang--Mills Theory

Abstract: We give a complete classification of twists of supersymmetric Yang--Mills theories in dimensions $2\leq n \leq 10$. We formulate supersymmetric Yang--Mills theory classically using the BV formalism, and then we construct an action of the supersymmetry algebra using the language of $L_\infty$ algebras. For each orbit in the space of square-zero supercharges in the supersymmetry algebra, under the action of the spin group and the group of R-symmetries, we give a description of the corresponding twisted theory. These twists can be described in terms of mixed holomorphic-topological versions of Chern--Simons and BF theory.

Hydrodynamic projections and the emergence of linearised Euler equations in one-dimensional isolated systems

Abstract: One of the most profound questions of mathematical physics is that of establishing from first principles the hydrodynamic equations in large, isolated, strongly interacting many-body systems. This involves understanding relaxation at long times under reversible dynamics, determining the space of emergent collective degrees of freedom (the ballistic waves), showing that projection occurs onto them, and establishing their dynamics (the hydrodynamic equations). We make progress in these directions, focussing for simplicity on one-dimensional systems. Under a model-independent definition of the complete space of extensive conserved charges, we show that hydrodynamic projection occurs in Euler-scale two-point correlation functions. A fundamental ingredient is a property of relaxation: we establish ergodicity of correlation functions along almost every direction in space-time. We further show that to every extensive conserved charge with a local density is associated a local current and a continuity equation; and that Euler-scale two-point correlation functions of local conserved densities satisfy a hydrodynamic equation. The results are established rigorously within a general framework based on Hilbert spaces of observables. These spaces occur naturally in the $C^*$ algebra description of statistical mechanics by the Gelfand-Naimark-Segal construction. Using Araki's exponential clustering and the Lieb-Robinson bound, we show that the results hold, for instance, in every nonzero-temperature Gibbs state of short-range quantum spin chains. Many techniques we introduce are generalisable to higher dimensions. This provides a precise and universal theory for the emergence of ballistic waves at the Euler scale and how they propagate within homogeneous, stationary states.

Invariant measures for contact Hamiltonian systems: symplectic sandwiches with contact bread.

Abstract: We prove that, under some natural conditions, Hamiltonian systems on a contact manifold $C$ can be split into a Reeb dynamics on an open subset of $C$ and a Liouville dynamics on a submanifold of $C$ of codimension 1 For the Reeb dynamics we find an invariant measure Moreover, we show that, under certain completeness conditions, the existence of an invariant measure for the Liouville dynamics can be characterized using the notion of a symplectic sandwich with contact bread

Asymptotic expansion of low-energy excitations for weakly interacting bosons

Abstract: We consider a system of $N$ bosons in the mean-field scaling regime for a class of interactions including the repulsive Coulomb potential. We derive an asymptotic expansion of the low-energy eigenstates and the corresponding energies, which provides corrections to Bogoliubov theory to any order in $1/N$.

Separation of variables for rational gl(n) spin chains in any compact representation, via fusion, embedding morphism and Backlund flow

Abstract: We propose a way to separate variables in a rational integrable $\mathfrak{gl}(n)$ spin chain with an arbitrary finite-dimensional irreducible representation at each site and with generic twisted periodic boundary conditions. Firstly, we construct a basis that diagonalises a higher-rank version of the Sklyanin B-operator; the construction is based on recursive usage of an embedding of a $\mathfrak{gl}(k)$ spin chain into a $\mathfrak{gl}(k+1)$ spin chain which is induced from a Yangian homomorphism and controlled by dual diagonals of Gelfand-Tsetlin patterns. Then, we show that the same basis can be equivalently constructed by action of Backlund-transformed fused transfer matricies, whence the Bethe wave functions factorise into a product of ascending Slater determinants in Baxter Q-functions. Finally, we construct raising and lowering operators -- the conjugate momenta -- as normal-ordered Wronskian expressions in Baxter Q-operators evaluated at zeros of B -- the separated variables. It is an immediate consequence of the proposed construction that the Bethe algebra comprises the maximal possible number of mutually commuting charges -- a necessary property for Bethe equations to be complete.

General Lieb-Schultz-Mattis type theorems for quantum spin chains

Abstract: We develop a general operator algebraic method which focuses on projective representations of symmetry group for proving Lieb-Schultz-Mattis type theorems, i.e., no-go theorems that rule out the existence of a unique gapped ground state (or, more generally, a pure split state), for quantum spin chains with on-site symmetry. We first prove a theorem for translation invariant spin chains that unifies and extends two theorems proved by two of the authors in [OT1]. We then prove a Lieb-Schultz-Mattis type theorem for spin chains that are invariant under the reflection about the origin and not necessarily translation invariant.

Boundary structure of General Relativity in tetrad variables

Abstract: An explicit, geometric description of the first-class constraints and their Poisson brackets for gravity in the Palatini-Cartan formalism (in space-time dimension greater than three) is given. The corresponding Batalin- Fradkin-Vilkovisky (BFV) formulation is also developed.

Mathematics of magic angles in a model of twisted bilayer graphene

Abstract: We provide a mathematical account of the recent Physical Reviews Letter by Tarnopolsky--Kruchkov--Vishwanath. The new contributions are a spectral characterization of magic angles, its accurate numerical implementation and an exponential estimate on the squeezing of all bands as the angle decreases. Pseudospectral phenomena due to the non-hermitian nature of operators appearing in the model play a crucial role in our analysis.

Irreducibility of the Fermi variety for discrete periodic Schr\"odinger operators and embedded eigenvalues

Abstract: Let $H_0$ be a discrete periodic Schrodinger operator on $\mathbb{Z}^d$:$$H_0=-\Delta+V,$$ where $\Delta$ is the discrete Laplacian and $V:\mathbb{Z}^d\to \mathbb{R}$ is periodic. We prove that for any $d\geq3$, the Fermi variety at every energy level is irreducible (modulo periodicity). For $d=2$, we prove that the Fermi variety at every energy level except for the average of the potential is irreducible (modulo periodicity) and the Fermi variety at the average of the potential has at most two irreducible components (modulo periodicity). This is sharp since for $d=2$ and a constant potential $V$, the Fermi variety at $V$-level has exactly two irreducible components (modulo periodicity). In particular, we show that the Bloch variety is irreducible (modulo periodicity) for any $d\geq 2$. As applications, we prove that the level set of any extrema of any spectral band functions has dimension at most $d-2$ for any $d\geq 3$, and finite cardinalityfor $d=2$. In particular, the level set of any spectral band edges has dimension at most $d-2$ for any $d\geq2$. We also prove that $H=-\Delta +V+v$ does not have any embedded eigenvalues provided that $v$ decays super-exponentially.

On the geometry of discrete contact mechanics

Abstract: In this paper, we continue the construction of variational integrators adapted to contact geometry started in \cite{VBS}, in particular, we introduce a discrete Herglotz Principle and the corresponding discrete Herglotz Equations for a discrete Lagrangian in the contact setting. This allows us to develop convenient numerical integrators for contact Lagrangian systems that are conformally contact by construction. The existence of an exact Lagrangian function is also discussed.

A $k$-contact Lagrangian formulation for nonconservative field theories.

Abstract: We present a geometric Lagrangian formulation for first-order field theories with dissipation. This formulation is based on the $k$-contact geometry introduced in a previous paper, and gathers contact Lagrangian mechanics with $k$-symplectic Lagrangian field theory together. We also study the symmetries and dissipation laws for these nonconservative theories, and analyze some examples.

Airy kernel determinant solutions to the KdV equation and integro-differential Painlev\'e equations

Abstract: We study a family of unbounded solutions to the Korteweg-de Vries equation which can be constructed as log-derivatives of deformed Airy kernel Fredholm determinants, and which are connected to an integro-differential version of the second Painleve equation. The initial data of the Korteweg-de Vries solutions are well-defined for $x>0$, but not for $x 0$ they involve an integro-differential analogue of the Painleve V equation. A special case of our results yields improved estimates for the {tails} of the narrow wedge solution to the Kardar-Parisi-Zhang equation.

Particle-Hole Symmetries in Condensed Matter

Abstract: The term "particle-hole symmetry" is beset with conflicting meanings in contemporary physics. Conceived and written from a condensed-matter standpoint, the present paper aims to clarify and sharpen the terminology. In that vein, we propose to define the operation of "particle-hole conjugation" as the tautological algebra automorphism that simply swaps single-fermion creation and annihilation operators, and we construct its invariant lift to the Fock space. Particle-hole symmetries then arise for gapful or gapless free-fermion systems at half filling, as the concatenation of particle-hole conjugation with one or another involution that reverses the sign of the first-quantized Hamiltonian. We illustrate that construction principle with a series of examples including the Su-Schrieffer-Heeger model and the Kitaev-Majorana chain. For an enhanced perspective, we contrast particle-hole symmetries with the charge-conjugation symmetry of relativistic Dirac fermions. We go on to present two major applications in the realm of interacting electrons. For one, we argue that the celebrated Haldane phase of antiferromagnetic quantum spin chains is adiabatically connected to a free-fermion topological phase protected by a particle-hole symmetry. For another, we review the recent proposal by Son for a particle-hole conjugation symmetric effective field theory of the half-filled lowest Landau level, and we comment on the emerging microscopic picture of the composite fermion.

Entanglement in Fermionic Chains and Bispectrality

Abstract: Entanglement in finite and semi-infinite free Fermionic chains is studied. A parallel is drawn with the analysis of time and band limiting in signal processing. It is shown that a tridiagonal matrix commuting with the entanglement Hamiltonian can be found using the algebraic Heun operator construct in instances when there is an underlying bispectral problem. Cases corresponding to the Lie algebras $\mathfrak{su}(2)$ and $\mathfrak{su}(1,1)$ as well as to the q-deformed algebra $\mathfrak{so}_q(3)$ at $q$ a root of unity are presented.

On Random Matrices Arising in Deep Neural Networks. Gaussian Case

Abstract: The paper deals with distribution of singular values of product of random matrices arising in the analysis of deep neural networks. The matrices resemble the product analogs of the sample covariance matrices, however, an important difference is that the population covariance matrices, which are assumed to be non-random in the standard setting of statistics and random matrix theory, are now random, moreover, are certain functions of random data matrices. The problem has been considered in recent work [21] by using the techniques of free probability theory. Since, however, free probability theory deals with population matrices which are independent of the data matrices, its applicability in this case requires an additional justification. We present this justification by using a version of the standard techniques of random matrix theory under the assumption that the entries of data matrices are independent Gaussian random variables. In the subsequent paper [18] we extend our results to the case where the entries of data matrices are just independent identically distributed random variables with several finite moments. This, in particular, extends the property of the so-called macroscopic universality on the considered random matrices.

Ising model and s-embeddings of planar graphs

Abstract: We introduce the notion of s-embeddings $\mathcal{S}=\mathcal{S}_\mathcal{F}$ of planar graphs carrying a (critical) nearest-neighbor Ising model; the construction is based upon a choice of a special solution $\mathcal{F}$ of the three-terms propagation equation for Kadanoff-Ceva fermions, a so-called Dirac spinor Each Dirac spinor $\mathcal{F}$ provides an interpretation of all other solutions of the propagation equations as s-holomorphic functions on the s-embedding $\mathcal{S}_\mathcal{F}$, the notion of s-holomorphicity generalizes Smirnov's definition on the square grid/isoradial graphs and is a special case of t-holomorphic functions on t-embeddings appearing in the bipartite dimer model context We set up a general framework for the analysis of s-holomorphic functions on s-embeddings $\mathcal{S}^\delta$ with $\delta\to 0$ (algebraic identities, a priori regularity theory etc) and then focus on the simplest situation when $\mathcal{S}^\delta$ have uniformly bounded lengths/angles and also lead to the horizontal (more precisely, $O(\delta)$) profiles of the associated functions $\mathcal{Q}^\delta$; the latter can be viewed as the origami maps associated to $\mathcal{S}^\delta$ in the dimer model terminology A very particular case when all these assumptions hold is provided by the critical Ising model on a doubly-periodic graph under its canonical s-embedding, another example is the critical Ising model on circle patterns Under these assumptions we prove the convergence of basic fermionic observables to a conformally covariant limit; note that we develop a new strategy of the proof because of the lack of tools specific for the isoradial setup Together with the RSW-type crossing estimates, which we prove under the same assumptions, this also implies the convergence of interfaces in the random cluster representation of the Ising model to Schramm's SLE(16/3) curves