Realistic effective interparticle interactions of quantum many-body systems are widely seen as being short-range. However, the rigorous mathematical analysis of this type of model turns out to be extremely difficult, in general, with many important fundamental questions remaining open still nowadays. By contrast, mean-field models come from different approximations or Ansätze, and are thus less realistic, in a sense, but are technically advantageous, by allowing explicit computations while capturing surprisingly well many real physical phenomena. Here, we establish a precise mathematical relation between mean-field and short-range models, by using the long-range limit that is known in the literature as the Kac limit. If both attractive and repulsive long-range forces are present then it turns out that the limit mean-field model is not necessarily what one traditionally guesses. One important innovation of our study, in contrast with previous works on the subject, is the fact that we are able to show the convergence of equilibrium states, i.e., of all correlation functions. This paves the way for studying phase transitions, or at least important fingerprints of them like strong correlations at long distances, for models having interactions whose ranges are finite, but very large. It also sheds a new light on mean-field models. Even on the level of pressures, our results go considerably further than previous ones, by allowing, for instance, a continuum of long-range interaction components, as well as very general short-range Hamiltonians for the "free" part of the model.
Realistic effective interparticle interactions of quantum many-body systems are widely seen as being short-range. However, the rigorous mathematical analysis of this type of model turns out to be extremely difficult, in general, with many important fundamental questions remaining open still nowadays. By contrast, mean-field models come from different approximations or Ansätze, and are thus less realistic, in a sense, but are technically advantageous, by allowing explicit computations while capturing surprisingly well many real physical phenomena. Here, we establish a precise mathematical relation between mean-field and short-range models, by using the long-range limit that is known in the literature as the Kac limit. If both attractive and repulsive long-range forces are present then it turns out that the limit mean-field model is not necessarily what one traditionally guesses. One important innovation of our study, in contrast with previous works on the subject, is the fact that we are able to show the convergence of equilibrium states, i.e., of all correlation functions. This paves the way for studying phase transitions, or at least important fingerprints of them like strong correlations at long distances, for models having interactions whose ranges are finite, but very large. It also sheds a new light on mean-field models. Even on the level of pressures, our results go considerably further than previous ones, by allowing, for instance, a continuum of long-range interaction components, as well as very general short-range Hamiltonians for the "free" part of the model.
Given an arbitrary finite dimensional Hamiltonian H 0 , we consider the model H = H 0 +Δ H , where Δ H is a generic fully connected interaction. By using the strong law of large numbers, we easily prove that, for all such models, a generalized Curie-Weiss mean-field equation holds. Unlike traditional mean-field models, the term H 0 gives rise to short-range correlations and, furthermore, when H 0 has negative couplings, first-order phase transitions and inverse transition phenomena may take place even when only two-body interactions are present. The dependence from a non-uniform external field and finite-size effects are also explicitly calculated. Partially, these results were derived long ago by using min-max principles but remained almost unknown.
The object of this thesis is to study the definition and the mathematically rigorous derivation of effective models in many body quantum mechanics. In this field, it is often impossible to compte exactly physically relevant quantities - such as the ground state energy of a system - because of the large number of degrees of freedom. Hence, introducing effective models (depending only on the local density of particles for instance) allows us to compute these quantities. Then, it remains to check that the effective model is indeed an approximation of the exact model in a macroscopic limit. Besides, in some models, some physical quantities (energy, scattering amplitude...), when computed naively, appear to be infinite. One has then to renormalize the theory in order to make these divergences (that are not observed experimentally) disappear. After putting the results of this thesis into context in the introduction, we will focus on the renormalization of a bosonic quadratic Hamiltonian on the Fock space in Chapter 2. This (formal) Hamiltonian is the sum of the second quantization of a one-particle operator and the square of a field operator, and it exhibits an ultraviolet divergence (i.e. coming from local singularities). More accurately, we will try to define a self-adjoint operator, and to show that it is the limit (in the resolvent sense) of the Hamiltonian with ultraviolet cutoff when the cutoff tends to infinity. To do so, we will first diagonalize the Hamiltonian in the regular case, using Bogoliubov transformations. Then, we will prove that the diagonalized Hamiltonian (up to a renormalization of the energy and the charge) still defines a self-adjoint, and we will show the convergence of the Hamiltonian with cut-off. In a second time, we will study the semi-classical limit of a Fermi gas, in two different scalings. In Chapter 3, we will focus on the dilute limite (i.e. with an interaction range very small compared to the typical distance between particles) of an inhomogeneous (trapped with a potential V) Fermi gas, with repulsive interactions and in three dimensions. Due to the Pauli exclusion principle, two fermions of same spin can only rarely be close enough to interact. Thus, we will consider a Fermi gas with two spin components. We will then show that the ground state energy of such a system can be approximated by a Thomas-Fermi energy (in which interactions play the role of a perturbation of the interactionless energy) in the large number of particles limit. Eventually, in Chapter 4, we will study the mean-field limit (with frequent but weak interactions) of an inhomogeneous Fermi gas, with attractive interactions and in one or two dimensions this time. Once more, we will show the convergence of the ground state energy toward a Thomas-Fermi energy. Moreover, we will also prove the convergence of the ground states. More accurately, we will show that the Husimi functions of these ground states converge to a convex combination of minimizers of the Vlasov energy.
Understanding quantum many-body systems with long-range or infinite-range interactions is of relevance across a broad set of physical disciplines, including quantum optics, nuclear magnetic resonance and nuclear physics. From a theoretical viewpoint, these systems are appealing since they can be efficiently studied with numerics, and in the thermodynamic limit are expected to be governed by mean-field equations of motion. Over the past years the capabilities to experimentally create long-range interacting systems have dramatically improved permitting their control in space and time. This allows to induce and explore a plethora of nonequilibrium dynamical phases, including time-crystals and even chaotic regimes. However, establishing the emergence of these phases from numerical simulations turns out to be surprisingly challenging. This difficulty led to the assertion that mean-field theory may not be applicable to time-dependent infinite-range interacting systems. Here, we rigorously prove that mean-field theory in fact exactly captures their dynamics, in the thermodynamic limit. We further provide bounds for finite-size effects and their dependence on the evolution time.
Understanding quantum many-body systems with long-range or infinite-range interactions is of relevance across a broad set of physical disciplines, including quantum optics, nuclear magnetic resonance, and nuclear physics. From a theoretical viewpoint, these systems are appealing since they can be efficiently studied with numerics, and in the thermodynamic limit are expected to be governed by mean-field equations of motion. Over the past years the capabilities to experimentally create long-range interacting systems have dramatically improved permitting their control in space and time. This allows us to induce and explore a plethora of nonequilibrium dynamical phases, including time crystals and even chaotic regimes. However, establishing the emergence of these phases from numerical simulations turns out to be surprisingly challenging. This difficulty led to the assertion that mean-field theory may not be applicable to time-dependent infinite-range interacting systems. Here, we rigorously prove that mean-field theory in fact exactly captures their dynamics, in the thermodynamic limit. We further provide bounds for finite-size effects and their dependence on the evolution time.
Mean-field Hartree theory is a central tool for mapping interacting many-body dynamics into an effective nonlinear one-particle evolution. This approximation has been also employed when the Hamiltonian that governs the many-body dynamics is not Hermitian. Indeed, non-Hermitian Hamiltonians model particle gain/loss or the evolution of open quantum systems between consecutive quantum jumps. Furthermore, the validity of the Hartree approximation for generic non-Hermitian Hamiltonians lies at the basis of a quantum algorithm for nonlinear differential equations, where the nonlinear equation is mapped into a many-body Schr\"odinger equation, which may be non-Hermitian. In this application, the mean-field approximation can be seen as a linearization method, and at the end of the algorithm, the obtained linear system is solved using the Harrow-Hassidim-Lloyd (HHL) algorithm. The non-Hermitian mean-field Hartree approximation is far from being completely understood, and no rigorous results justify its applications. Instead, it is usually presented as a heuristic extension of the Hermitian case. In the first part of this thesis, we show that this approximation can fail. We consider the most general bosonic mean-field Hamiltonian with two-body interactions and we prove that, if the Hamiltonian is not Hermitian, the Hartree equation does not capture the correct second time derivative of the one-particle marginal state at t=0 in the limit of infinitely many particles. We construct a series of examples that we can solve analytically or numerically, which support the failure of the Hartree approximation and give further insight into the new phenomena that arise in non-Hermitian physics. Furthermore, we consider the mean-field evolution of open quantum systems and we show how to use the mean-field approximation of open quantum systems as a linearization method of nonlinear differential equations. In the second part of this thesis, we study the mean-field dynamics of a Hermitian system of N interacting bosons starting from an initially condensed state. For a broad class of mean-field Hamiltonians, including models with arbitrary bounded interactions and models with unbounded interaction potentials, we prove that the probability of having n particles outside the condensate decays exponentially in n for any finite evolution time. Our results strengthen previously known bounds that provide only polynomial control on the probability of having n excitations. Finally, we consider the HHL algorithm. Several circuit-level variants have been proposed to simplify its implementation, including constructions in which the clock register is factorized via Hadamard gates to reduce circuit depth and entanglement. We provide a rigorous analysis of the convergence of the output towards the ideal solution, and we show that this commonly deployed variant can fundamentally alter the asymptotic convergence of the algorithm. This phenomenon is not a finite-size artifact and compromises the correctness guarantees of the factorized-clock implementation. We provide an analytic characterization of the underlying mechanism and propose a minimal and experimentally feasible modification that suffices to restore convergence while preserving the practical advantages of the simplified circuit. Our results clarify an overlooked correctness issue in a widely used HHL implementation pattern and delineate the conditions under which simplified realizations faithfully reproduce the intended algorithmic behavior.
Abstract This chapter is devoted to a brief review of general properties of phase transitions in macroscopic physics and, in particular in lattice models. Some of these lattice models actually appear as lattice regularizations of Euclidean (imaginary time) quantum physics theory (QFT). Most of the transitions considered in this work have the following character: spins on the lattice, or macroscopic particles in the continuum, interact through short-range forces, assumed, for simplicity, to decay exponentially. For simple systems, it is possible to find a local observable, called order parameter, whose expectation values depend on the phase in the several phase region, for example, the spin in ferromagnetic systems. In the disordered phase, the connected two-point function decreases exponentially at large distance, at a rate characterized by the correlation length (the inverse of the smallest physical mass in particle physics). In continuous transitions, the correlation length diverges at the critical temperature. Within the mean-field approximation (consistent with Landau's theory of critical phenomena), it can be shown that the singular behaviour of thermodynamic quantities at the critical temperature is universal. These properties can also be reproduced by calculating correlation functions with a perturbed Gaussian measure. It is then shown that the leading corrections to the mean-field approximation, in Ising-like systems, diverge at the critical temperature for dimensions smaller than or equal to 4.