Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2002.08281 · Journal of Mathematical Physics

The free energy of the two-dimensional dilute Bose gas. II. Upper bound

Simon Mayer, Robert Seiringer

Published Jun 1, 2020• 8 citations
arXivHTMLPDF

Abstract

We prove an upper bound on the free energy of a two-dimensional homogeneous Bose gas in the thermodynamic limit. We show that for a2ρ ≪ 1 and βρ ≳ 1, the free energy per unit volume differs from the one of the non-interacting system by at most 4πρ2|lna2ρ|−1(2−[1−βc/β]+2) to leading order, where a is the scattering length of the two-body interaction potential, ρ is the density, β is the inverse temperature, and βc is the inverse Berezinskii–Kosterlitz–Thouless critical temperature for superfluidity. In combination with the corresponding matching lower bound proved by Deuchert et al. [Forum Math. Sigma 8, e20 (2020)], this shows equality in the asymptotic expansion.

DOI
10.1063/5.0005950

Related papers

THE FREE ENERGY OF THE TWO-DIMENSIONAL DILUTE BOSE GAS. I. LOWER BOUND

Andreas Deuchert, SIMON MAYER, Robert Seiringer

We prove a lower bound for the free energy (per unit volume) of the two-dimensional Bose gas in the thermodynamic limit. We show that the free energy at density $\unicode[STIX]{x1D70C}$ and inverse temperature $\unicode[STIX]{x1D6FD}$ differs from the one of the noninteracting system by the correction term $4\unicode[STIX]{x1D70B}\unicode[STIX]{x1D70C}^{2}|\ln \,a^{2}\unicode[STIX]{x1D70C}|^{-1}(2-[1-\unicode[STIX]{x1D6FD}_{\text{c}}/\unicode[STIX]{x1D6FD}]_{+}^{2})$ . Here, $a$ is the scattering length of the interaction potential, $[\cdot ]_{+}=\max \{0,\cdot \}$ and $\unicode[STIX]{x1D6FD}_{\text{c}}$ is the inverse Berezinskii–Kosterlitz–Thouless critical temperature for superfluidity. The result is valid in the dilute limit $a^{2}\unicode[STIX]{x1D70C}\ll 1$ and if $\unicode[STIX]{x1D6FD}\unicode[STIX]{x1D70C}\gtrsim 1$ .

arXiv:1910.03372•Forum of Mathematics Sigma•Jan 1, 2020•8 citations

The free energy of a dilute two-dimensional Bose gas

Mayer, Simon

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.

•Jan 1, 2020•0 citations

Upper bound for the free energy of dilute Bose gases at low temperature

Florian Haberberger, Christian Hainzl, Benjamin Schlein +1 more

We consider a Bose gas at density ρ > 0 , interacting through a repulsive potential V ∈ L 2 ( R 3 ) with scattering length a > 0 . We prove an upper bound for the free energy of the system, valid at low temperature T ≲ ρ a . Combined with the recent lower bound obtained in [18] , our estimate resolves the free energy per unit volume up to and including the Lee–Huang–Yang order a ρ 2 ( ρ a 3 ) 1 / 2 .

Advances in Mathematics•Feb 3, 2026•3 citations

Free Energy of a Dilute Bose Gas: Lower Bound

Lower Bound, Robert Seiringer, Robert Seiringer

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

•Jan 1, 2006•15 citations

A second order upper bound to the free energy of the two dimensional Bose gas

Florian Haberberger, Lukas Junge

We consider a two-dimensional Bose gas in the dilute regime where $ρa^2$ is small. For temperatures below the Berezinskii-Kosterlitz-Thouless critical temperature, we derive an explicit upper bound for the free energy density using Bogoliubov theory. Our result captures the contribution of quasiparticle modes with dispersion relation $\sqrt{p^4 + 8πρ\, δ\, p^2}$ and where $δ= 2 / (|\log(ρa^2)| + \log |\log(ρa^2)|)$.

arXiv:2604.10270•Apr 11, 2026•0 citations

ISTA Thesis

Simon Mayer

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.

•Jan 1, 2020•0 citations
We prove an upper bound on the free energy of a two-dimensional homogeneous Bose gas in the thermodynamic limit. We show that for a2ρ ≪ 1 and βρ ≳ 1, the free energy per unit volume differs from the one of the non-interacting system by at most 4πρ2|lna2ρ|−1(2−[1−βc/β]+2) to leading order, where a is the scattering length of the two-body interaction potential, ρ is the density, β is the inverse temperature, and βc is the inverse Berezinskii–Kosterlitz–Thouless critical temperature for superfluidity. In combination with the corresponding matching lower bound proved by Deuchert et al. [Forum Math. Sigma 8, e20 (2020)], this shows equality in the asymptotic expansion.
We prove a lower bound for the free energy (per unit volume) of the two-dimensional Bose gas in the thermodynamic limit. We show that the free energy at density $\unicode[STIX]{x1D70C}$ and inverse temperature $\unicode[STIX]{x1D6FD}$ differs from the one of the noninteracting system by the correction term $4\unicode[STIX]{x1D70B}\unicode[STIX]{x1D70C}^{2}|\ln \,a^{2}\unicode[STIX]{x1D70C}|^{-1}(2-[1-\unicode[STIX]{x1D6FD}_{\text{c}}/\unicode[STIX]{x1D6FD}]_{+}^{2})$ . Here, aaa is the scattering length of the interaction potential, [⋅]+=max⁡{0,⋅}[\cdot ]_{+}=\max \{0,\cdot \}[⋅]+​=max{0,⋅} and $\unicode[STIX]{x1D6FD}_{\text{c}}$ is the inverse Berezinskii–Kosterlitz–Thouless critical temperature for superfluidity. The result is valid in the dilute limit $a^{2}\unicode[STIX]{x1D70C}\ll 1$ and if $\unicode[STIX]{x1D6FD}\unicode[STIX]{x1D70C}\gtrsim 1$ .
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
We consider a two-dimensional Bose gas in the dilute regime where ρa2ρa^2ρa2 is small. For temperatures below the Berezinskii-Kosterlitz-Thouless critical temperature, we derive an explicit upper bound for the free energy density using Bogoliubov theory. Our result captures the contribution of quasiparticle modes with dispersion relation p4+8πρ δ p2\sqrt{p^4 + 8πρ\, δ\, p^2}p4+8πρδp2​ and where δ=2/(∣log⁡(ρa2)∣+log⁡∣log⁡(ρa2)∣)δ= 2 / (|\log(ρa^2)| + \log |\log(ρa^2)|)δ=2/(∣log(ρa2)∣+log∣log(ρa2)∣).
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.