The collective behavior exhibited by a large number of microscopic quantum particles is at the heart of some of the most striking phenomena in condensed matter physics such as Bose-Einstein condensation and superconductivity. Physicists and mathematicians have made great progress in understanding when and how these collective phenomena emerge through the interplay of particle statistics, particle interaction and the value of thermodynamic parameters like the temperature or the chemical potential. Due to the extreme complexity of realistic many-body systems, it is natural to introduce appropriate simplifications to render their analysis feasible. Three examples of such simplifications which have proven themselves as viable starting points for a fruitful and mathematically rigorous analysis of many-body systems are the following: (a) the study of integrable models; (b) the derivation of effective theories, valid on a macroscopic scale, from more fundamental microscopic theories under appropriate coarse-graining; and (c) the use of quantum information theory to understand general connections between correlation, entanglement and particle statistics. In this thesis, we present mathematically rigorous results that were obtained in these three directions. (1) We prove anomalous quantum many-body transport in XY quantum spin chains for certain choices of the external magnetic field. The anomalous transport is described via new kinds of anomalous Lieb-Robinson bounds, including one of power-law type. We note that the XY spin chain is integrable as it can be mapped to free fermions via the non-local Jordan-Wigner transformation. (2) We derive effective macroscopic theories of Ginzburg-Landau type from the microscopic BCS theory of superconductivity in certain circumstances. We study the case of a multi-component order parameter for translation-invariant systems and the condensation of fermion pairs at zero temperature in a domain with a hard boundary. (3) We use techniques from quantum information-theory to derive bounds on the entropy of fermionic reduced density matrices, a measure of the entanglement inherent to a fermionic quantum state.
The collective behavior exhibited by a large number of microscopic quantum particles is at the heart of some of the most striking phenomena in condensed matter physics such as Bose-Einstein condensation and superconductivity. Physicists and mathematicians have made great progress in understanding when and how these collective phenomena emerge through the interplay of particle statistics, particle interaction and the value of thermodynamic parameters like the temperature or the chemical potential. Due to the extreme complexity of realistic many-body systems, it is natural to introduce appropriate simplifications to render their analysis feasible. Three examples of such simplifications which have proven themselves as viable starting points for a fruitful and mathematically rigorous analysis of many-body systems are the following: (a) the study of integrable models; (b) the derivation of effective theories, valid on a macroscopic scale, from more fundamental microscopic theories under appropriate coarse-graining; and (c) the use of quantum information theory to understand general connections between correlation, entanglement and particle statistics. In this thesis, we present mathematically rigorous results that were obtained in these three directions. (1) We prove anomalous quantum many-body transport in XY quantum spin chains for certain choices of the external magnetic field. The anomalous transport is described via new kinds of anomalous Lieb-Robinson bounds, including one of power-law type. We note that the XY spin chain is integrable as it can be mapped to free fermions via the non-local Jordan-Wigner transformation. (2) We derive effective macroscopic theories of Ginzburg-Landau type from the microscopic BCS theory of superconductivity in certain circumstances. We study the case of a multi-component order parameter for translation-invariant systems and the condensation of fermion pairs at zero temperature in a domain with a hard boundary. (3) We use techniques from quantum information-theory to derive bounds on the entropy of fermionic reduced density matrices, a measure of the entanglement inherent to a fermionic quantum state.
Quantum many body physics is an exciting research area, involving novel phases of matter with fundamentally new properties, but is also notoriously hard due to complexity of interacting quantum systems. Some popular approaches involve approximation techniques and numerical simulations, which are known to fail in several important cases. In contrast, rigorous mathematical tools, such as exact solutions and operator inequalities, have a narrower range of applicability, but provide guaranteed results and insights into the underlying physical mechanisms. This research aims to develop new techniques in this direction and use them to explore novel phases of matter. My first direction is to construct toy models where exact solutions are possible. Such models are important as they prove that certain physical phenomena are theoretically possible in nature, and often lead to the discovery of new phases. Such insights are provided by three exactly solvable models I have discovered: (1) a family of 1D quantum spin models hosting free parastatistical quasiparticles (an exotic type of identical particles beyond fermions, bosons, and anyons), proving for the first time that parastatistics is theoretically possible as an emergent phenomenon; (2) a 3D classical Ising model whose phases are characterized by topological features of certain loop observables, suggesting existence of previously unknown classical phases and phase transitions with topological order parameters; and (3) a family of models with exact p-wave superconducting ground states demonstrating the existence of Majorana quasiparticles and non-Abelian statistics in particle number-conserving systems. My second direction is to derive rigorous bounds and exact constraints on physical observables, which are applicable to large families of quantum many-body systems. I present three directions of progress: (1) a method that dramatically improves the upper bounds on the speed of information propagation in locally-interacting systems, which significantly extends the scope of these bounds and enables new applications; (2) bounds on finite-size errors in numerical simulations of lattice systems, including quench dynamics and gapped ground states; and (3) a locality bound on gapped ground states of power-law interacting systems, which leads to a generalization of the aforementioned error bounds to such systems. These error bounds have important theoretical implications such as proving the existence of the thermodynamic limit and stability of phases, and are practically useful in determining the validity of finite-size numerical simulations.
Quantum many-body systems are comprised of complex networks of microscopic interactions that work together to produce novel collective phases and phenomena. \nFor strongly-interacting systems, the connection between the underlying atomic-scale behaviour and the resulting emergent observable phenomena is exponentially (and, in practice, infinitely) complicated such that it becomes impossible to fully understand the connection between the physics at the microscopic and macroscopic levels. \nThe most promising theoretical approaches to addressing this infinite complexity utilize microscopic coarse-graining along with powerful computational simulations and strategies. \nIn this thesis, we apply numerical methods to effective lattice models and field theories with the goal of shedding light onto universal critical behaviour and exotic low-temperature phases in condensed matter physics. \n \nWe start by exploring universal features of critical non-interacting systems, for which several analytical strategies are readily available for calculating certain observables. \nWe study the behaviour of the system's entanglement for various entangling geometries, and utilize numerical techniques in order to isolate new universal features of Gaussian fixed points, which provide insight into the underlying critical theory's renormalization group flow. \nWe then proceed to examine computational strategies and, in particular, Monte Carlo simulations for studying more general interacting models. \nWe focus on the application of such strategies to the field of high-temperature superconductivity, for which we develop a coarse-grained model, simulate macroscopic observables and compare our results with those of recent experiments. \nWe conclude that lattice field theories together with innovative computational methods offer new perspectives on both universality and emergent phenomena in quantum matter.
Quantum Mechanics was established as the theory of the microscopic world, which allowed to understand processes in atoms and molecules. Its emergence led to a new scientific paradigm that quickly spread to different research fields. Two relevant examples are Quantum Thermodynamics and Quantum Many-Body Theory, where the former aims to characterize thermodynamic processes in quantum systems and the latter intends to understand the properties of quantum many-body systems. In this thesis, we tackle some of the questions in the overlap between these disciplines, focusing on the concepts of temperature and correlations. Specifically, it contains results on the following topics: locality of temperature, correlations in long-range interacting systems and thermometry at low temperature. The problem of locality of temperature is considered for a system at thermal equilibrium and consists in studying whether it is possible to assign a temperature to any of the subsystems of the global system such that both local and global temperatures are equal. We tackle this problem in two different settings, for generic one-dimensional spin chains and for a bosonic system with a phase transition at non-zero temperature. In the first case, we consider generic one-dimensional translation-invariant spin systems with short-range interactions and prove that it is always possible to assign a local temperature equal to the global one for any temperature, including at criticality. For the second case, we consider a three-dimensional discretized version of the Bose-Einstein model at the grand canonical ensemble for some temperature and particle density, and characterize its non-zero-temperature phase transition. Then, we show that temperature is locally well-defined at any temperature and at any particle density, including at the phase transition. Additionally, we observe a qualitative relation between correlations and locality of temperature in the system. Moving to correlations, we consider fermionic two-site long-range interacting systems at thermal equilibrium. We show that correlations between anti-commutative operators at non-zero temperature are upper bounded by a function that decays polynomially with the distance and with an exponent that is equal to the interaction exponent, which characterizes the interactions in the Hamiltonian. Moreover, we show that our bound is asymptotically tight and that the results extend to density-density correlations as well as other types of correlations for quadratic and fermionic Hamiltonians with long-range interactions. Regarding the results on thermometry, we consider a bosonic model and prove that strong coupling between the probe and the system can boost the thermal sensitivity for low temperature. Furthermore, we provide a feasible measurement scheme capable of producing optimal estimates at the considered regime.
This thesis investigates the rigorous derivation of non-linear effective equations describing the time evolution of Bose-Einstein condensation from the N-particle linear Schrödinger equation, focusing on the one-particle reduced density matrix. The first chapter outlines the mathematical framework of many-body quantum mechanics, including the Fock space formalism. The second chapter studies the mean-field regime, proving that the condensed state converges to the non-linear Hartree equation by analyzing fluctuation dynamics to quantify the convergence rate. The third chapter addresses the physically realistic but mathematically challenging Gross-Pitaevskii regime, characterized by rare but strong interactions. Here, Bogoliubov transformations are used to capture crucial microscopic short-scale correlations, allowing for a quantitative derivation of the cubic non-linear Schrödinger equation. While the preceding chapters focus exclusively on repulsive interactions, the fourth chapter explores the focusing case with attractive potentials, which can lead to finite-time blow-up. Operating in an intermediate scaling regime, the effective focusing cubic non-linear Schrödinger equation is rigorously derived. Since the negative energy cannot bound many-body fluctuations, convergence is proven by approximating the dynamics via a quadratic Hamiltonian, in the spirit of Bogoliubov theory, and avoiding Grönwall estimates through the analysis of a coupled system of one-body linear equations for the one-particle density matrices.
This thesis is about the derivation of effective mean field equations and their next-order corrections starting from nonrelativistic many-body quantum theory. Mean field equations provide an approximate ansatz for the description of interacting many-particle systems. In this ansatz the interaction between the particles is replaced by a self-consistent external potential leading to an effective one-body description of the many-particle system. Next-order corrections provide an approximation which goes one step further and tries to capture also subleading effects that are not resolved by the mean field ansatz. We present mathematical proofs for the validity of such effective theories for different models that are motivated, e.g., from the theory of ultracold atoms (the bosonic Hartree equation and the corresponding Bogoliubov theory) and from plasma physics (the motion of a tracer particle through a degenerate and dense electron gas). Starting from a many-body Schrödinger equation, our goal is to show that the solutions converge in a particular limit to the solutions to an effective mean field equation and its next-order corrections. After a short introduction and a summary in Chapter one, we present the main part of this work in three self-contained chapters. In Chapter two we analyze the dynamics of a large number N of nonrelativistic bosons in the weak coupling limit, i.e., for a coupling constant g_N=1/N. It is well known that in the limit of infinite particle number, the Hartree equation emerges as an effective one-particle theory of the Bose gas. This is closely related to the remarkable physical phenomenon of Bose-Einstein condensation at low temperature, namely that the majority of particles in a Bose gas occupies the same copy of a single one-particle quantum state. Our emphasis lies in the description of the few particles that fluctuate around the Bose-Einstein condensate. We show convergence of the fully interacting dynamics to an auxiliary time evolution in the norm of the N-particle space. This result allows us to prove several other assertions. Among other things, it is used to derive the Hartree equation with optimal speed of convergence 1/N for initial states that are close to ground states of interacting systems and also to prove convergence of the N-particle solution towards a time evolution obtained from the Bogoliubov Hamiltonian on Fock space. Chapter three is about the low energy properties of the weakly interacting homogeneous Bose gas. Here, we derive a novel estimate for low energy eigenfunctions stating that the probability for finding l particles out of their total number N not in the condensate is exponentially small in the number l. Using this bound, we then prove that the ground state wave function of the microscopic model satisfies certain quasifree type properties. The exponential decay is moreover used to provide an alternative proof for the validity of Bogoliubov's approximation for the low-lying energy eigenvalues. Bogoliubov theory states that the excitation energies of the Bose gas are given by excitations of free quasiparticles obeying an effective energy-momentum dispersion relation which is linear for small momentum. The linearity of the effective dispersion relation is an essential ingredient for the explanation of the superfluid character of the Bose gas. In Chapter four we study the time evolution of a single particle coupled through a pair potential to a dense and homogeneous ideal Fermi gas in two spatial dimensions. This type of model is well known in plasma physics where it is used to describe the energy loss of ions moving through a dense and degenerate electron gas. We analyze the model for a coupling parameter g=1 and prove closeness of the time evolution to an effective dynamics for large densities of the gas and for long time scales of the order of some power of the density. The effective dynamics is generated by the free Hamiltonian with a large but constant energy shift. To leading order, this energy shift is given by the spatially homogeneous mean field potential produced by the gas particles, whereas at next-to-leading order, one has to consider an additional correction to the mean field energy which is due to so-called recollision processes.
This dissertation concerns the quantum many-body problem, which is the problem of predicting the properties of systems of several quantum particles from the first principles of quantum mechanics. Included under this umbrella are various problems of fundamental importance in quantum chemistry, condensed matter physics, and materials science. Of particular interest is the electronic structure problem, the problem of determining the state of the electrons in a system with fixed atomic nuclei. Since direct numerical solution of the many-body Schrödinger equation is intractable even for systems of moderate size, a diverse array of approximate methods has been developed. The broad goals of this dissertation are to improve the mathematical understanding of certain widely-used approximations, as well as to propose new methods. Roughly speaking, we consider three (overlapping) categories of methods: Green's function methods, embedding methods, and variational methods.One can understand Green's function methods in terms of many-body perturbation theory, which computes series expansions of physical quantities about a non-interacting reference system. These expansions can be expressed graphically in terms of Feynman diagrams, which can in turn be reorganized, in some cases, into an expansion in terms of so-called bold diagrams. Green's function methods can be specified by choosing a subset of bold diagrams to approximate the sum. At the same time, such methods can be understood in terms of an object known as the Luttinger-Ward (LW) functional, which admits a representation in terms of the bold diagrams. Many aspects of these constructions are purely formal, and indeed the existence of the fermionic LW functional as a single-valued functional has recently been called into question. To contribute to the understanding of these issues, we provide rigorous proofs of the combinatorial construction and analytic interpretation of the bold diagrams in the simplified setting of a classical field theory. In this setting we also provide a rigorous non-perturbative construction of the LW functional via convex duality and prove several key properties, including continuity up to the boundary of its domain and asymptotics in the limit of large interaction.Quantum embedding methods, meanwhile, view a large system as being composed of smaller fragments that are treated with high accuracy and embedded in the larger system in a mutually consistent way. Inspired by a connection between the boundary analysis of the LW functional and embedding, we perform similar analysis for the 1-RDM theory for fermionic systems, which is also developed via convex duality, illustrating a relation to fermionic embedding methods such as the density matrix embedding theory (DMET).Another embedding method of note is the dynamical mean-field theory (DMFT), which is at the same time a Green's function method that can be understood in terms of the LW functional. DMFT relies on the solution of impurity problems, which specify the embedding of an interacting system into a non-interacting bath. Underlying DMFT is a result about the sparsity pattern of the self-energy matrix for impurity problems, which to our knowledge has not been proved in the literature. We provide a rigorous proof of this result in various classical and quantum settings. We go on to investigate the fermionic DMFT in depth, identifying the key mathematical structures that appear in the algorithmic loop for solving it and using these to prove the well-posedness of this loop, in a certain sense.Finally, we introduce a suite of new approaches to the quantum many-body problem that provide variational lower bounds to the ground-state energy. These methods, which combine the themes of convexity and embedding, are based on novel convex relaxations of the variational principles for the ground-state energies of many-body systems. To begin, we recover a second-quantized version of the formalism of strictly correlated electrons (SCE), which yields an exact expression for the exchange-correlation functional in Kohn-Sham density functional theory in the limit of infinite Coulomb repulsion in terms of the solution of a multi-marginal optimal transport problem. We introduce a semidefinite relaxation method for approximately solving this problem and obtaining a lower bound for the ground-state energy. The ideas underlying this relaxation are generalized considerably, outside the context of SCE, to yield much tighter lower bounds, which we validate numerically for both quantum spin systems and fermionic systems. We also describe how these relaxation methods can be interpreted as embedding methods via convex duality.