We present an inequality that gives a lower bound on the expectation value of certain two-body interaction potentials in a general state on Fock space in terms of the corresponding expectation value for thermal equilibrium states of non-interacting systems and the difference in the free energy. This bound can be viewed as a rigorous version of first order perturbation theory for many-body systems at positive temperature. As an application, we give a proof of the first two terms in a high density (and high temperature) expansion of the free energy of jellium with Coulomb interactions, both in the fermionic and bosonic case. For bosons, our method works above the transition temperature (for the non-interacting gas) for Bose-Einstein condensation. 1
We present an inequality that gives a lower bound on the expectation value of certain two-body interaction potentials in a general state on Fock space in terms of the corresponding expectation value for thermal equilibrium states of non-interacting systems and the difference in the free energy. This bound can be viewed as a rigorous version of first order perturbation theory for many-body systems at positive temperature. As an application, we give a proof of the first two terms in a high density (and high temperature) expansion of the free energy of jellium with Coulomb interactions, both in the fermionic and bosonic case. For bosons, our method works above the transition temperature (for the non-interacting gas) for Bose-Einstein condensation. 1
We present an inequality that gives a lower bound on the expectation value of certain two-body interaction potentials in a general state on Fock space in terms of the corresponding expectation value for thermal equilibrium states of non-interacting systems and the difference in the free energy. This bound can be viewed as a rigorous version of first-order perturbation theory for many-body systems at positive temperature. As an application, we give a proof of the first two terms in a high density (and high temperature) expansion of the free energy of jellium with Coulomb interactions, both in the fermionic and bosonic case. For bosons, our method works above the transition temperature (for the non-interacting gas) for Bose–Einstein condensation.
We study the interacting homogeneous Bose gas in two spatial dimensions in the thermodynamic limit at fixed density. We shall be concerned with some mathematical aspects of this complicated problem in many-body quantum mechanics. More specifically, we consider the dilute limit where the scattering length of the interaction potential, which is a measure for the effective range of the potential, is small compared to the average distance between the particles. We are interested in a setting with positive (i.e., non-zero) temperature. After giving a survey of the relevant literature in the field, we provide some facts and examples to set expectations for the two-dimensional system. The crucial difference to the three-dimensional system is that there is no Bose–Einstein condensate at positive temperature due to the Hohenberg–Mermin–Wagner theorem. However, it turns out that an asymptotic formula for the free energy holds similarly to the three-dimensional case. We motivate this formula by considering a toy model with δ interaction potential. By restricting this model Hamiltonian to certain trial states with a quasi-condensate we obtain an upper bound for the free energy that still has the quasi-condensate fraction as a free parameter. When minimizing over the quasi-condensate fraction, we obtain the Berezinskii–Kosterlitz–Thouless critical temperature for superfluidity, which plays an important role in our rigorous contribution. The mathematically rigorous result that we prove concerns the specific free energy in the dilute limit. We give upper and lower bounds on the free energy in terms of the free energy of the non-interacting system and a correction term coming from the interaction. Both bounds match and thus we obtain the leading term of an asymptotic approximation in the dilute limit, provided the thermal wavelength of the particles is of the same order (or larger) than the average distance between the particles. The remarkable feature of this result is its generality: the correction term depends on the interaction potential only through its scattering length and it holds for all nonnegative interaction potentials with finite scattering length that are measurable. In particular, this allows to model an interaction of hard disks.
A lower bound is derived on the free energy (per unit volume) of a homogeneous Bose gas at density and temperature T. In the dilute regime, i.e., when a 3 ≪ 1, where a denotes the scattering length of the pair-interaction potential, our bound differs to leading order from the expression for non-interacting particles by the term 4πa(2 2 −[−c] 2 +). Here, c(T) denotes the critical density for Bose-Einstein condensation (for the non-interacting gas), and [ ·]+ = max { · , 0} denotes the positive part. Our bound is uniform in the temperature up to temperatures of the order of the critical temperature, i.e., T ∼ 2/3 or smaller. One of the key ingredients in the proof is the use of coherent states to extend the method introduced in [17] for estimating correlations to temperatures below the critical one. 1 Introduction and Main Result The advance of experimental techniques for studying ultra-cold atomic gases
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.
We study the interacting homogeneous Bose gas in two spatial dimensions in the thermodynamic limit at fixed density. We shall be concerned with some mathematical aspects of this complicated problem in many-body quantum mechanics. More specifically, we consider the dilute limit where the scattering length of the interaction potential, which is a measure for the effective range of the potential, is small compared to the average distance between the particles. We are interested in a setting with positive (i.e., non-zero) temperature. After giving a survey of the relevant literature in the field, we provide some facts and examples to set expectations for the two-dimensional system. The crucial difference to the three-dimensional system is that there is no Bose–Einstein condensate at positive temperature due to the Hohenberg–Mermin–Wagner theorem. However, it turns out that an asymptotic formula for the free energy holds similarly to the three-dimensional case. We motivate this formula by considering a toy model with δ interaction potential. By restricting this model Hamiltonian to certain trial states with a quasi-condensate we obtain an upper bound for the free energy that still has the quasi-condensate fraction as a free parameter. When minimizing over the quasi-condensate fraction, we obtain the Berezinskii–Kosterlitz–Thouless critical temperature for superfluidity, which plays an important role in our rigorous contribution. The mathematically rigorous result that we prove concerns the specific free energy in the dilute limit. We give upper and lower bounds on the free energy in terms of the free energy of the non-interacting system and a correction term coming from the interaction. Both bounds match and thus we obtain the leading term of an asymptotic approximation in the dilute limit, provided the thermal wavelength of the particles is of the same order (or larger) than the average distance between the particles. The remarkable feature of this result is its generality: the correction term depends on the interaction potential only through its scattering length and it holds for all nonnegative interaction potentials with finite scattering length that are measurable. In particular, this allows to model an interaction of hard disks.
We consider a homogeneous Bose gas in the Gross-Pitaevskii limit at temperatures that are comparable to the critical temperature for Bose-Einstein condensation. Recently, an upper bound for the grand canonical free energy was proved in Boccato et al. (SIAM J Math Anal 56(2):2611-2660, 2024) capturing two novel contributions. First, the free energy of the interacting condensate is given in terms of an effective theory describing the probability distribution of the number of condensed particles. Second, the free energy of the thermally excited particles equals that of a temperature-dependent Bogoliubov Hamiltonian. We extend this result to a more general class of interaction potentials, including interactions with a hard core. Our proof follows a different approach than the one in Boccato et al. (SIAM J Math Anal 56(2):2611-2660, 2024): We model microscopic correlations between the particles by a Jastrow factor and exploit a cancellation in the computation of the energy that emerges due to the different length scales in the system.