🔢 mathematics

Lee-Huang-Yang Energy for Dilute Bose Gases: an Upper Bound for General Potentials

This paper establishes an upper bound for the ground state energy density of a dilute Bose gas interacting via a general short-range, repulsive potential by extending a recent approach originally developed for hard spheres.

Original authors: Giulia Basti, Morris Brooks, Serena Cenatiempo, Alessandro Olgiati, Benjamin Schlein

Published 2026-09-23

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Giulia Basti, Morris Brooks, Serena Cenatiempo, Alessandro Olgiati, Benjamin Schlein

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the quiet, crowded world of a quantum gas, billions of atoms move together, not as isolated individuals but as a single, synchronized entity. When these atoms are bosons—a specific type of particle that loves to share the same state—they can form a Bose-Einstein condensate, a strange state of matter where the particles lose their individual identities and act as one giant wave. For decades, physicists have tried to predict exactly how much energy it takes to hold such a gas together, especially when the atoms are spread out very thinly. The challenge lies in the subtle interactions between the particles. Even when they are far apart, they still "feel" each other, and these faint, long-range whispers of interaction add up to a significant amount of energy. Understanding this energy is crucial because it dictates the behavior of the gas, from how it flows without friction to how it responds to heat. The goal has long been to pin down a precise mathematical description of this energy, a description that matches the predictions made by physicists in the mid-20th century but had remained unproven for the most general types of atomic interactions.

A team of mathematicians has now closed a significant gap in this understanding by establishing a rigorous upper limit for the energy of such a dilute gas. Their work focuses on a system where the atoms interact through a repulsive force, meaning they push each other away, and where this force acts only over a very short distance. While previous studies had managed to prove the correct energy formula for specific, simple cases—like hard spheres that bounce off each other perfectly—the new research extends this proof to a much broader class of interactions. This includes potentials that might be infinitely strong at the center, effectively creating a hard core that atoms cannot penetrate, as well as more complex, softer repulsive forces. The researchers successfully demonstrated that the energy density of this gas follows a specific, celebrated formula known as the Lee-Huang-Yang prediction, confirming that the formula holds true even when the interactions are not perfectly smooth or simple.

To reach this conclusion, the team constructed a sophisticated model of the gas, essentially building a "trial state" that mimics the behavior of the real system. In the world of quantum mechanics, finding the exact energy of a system is often impossible, so scientists use trial states to estimate the answer. If the trial state is close enough to the real thing, it provides a reliable upper bound for the energy. The researchers' approach involved layering different types of corrections onto a basic model of the gas. First, they accounted for the fact that atoms avoid each other when they get too close, a behavior captured by a factor that forces the probability of finding two atoms in the same spot to drop to zero. This is essential for handling the "hard core" interactions where atoms simply cannot occupy the same space.

Next, they added a second layer of complexity to describe how the atoms influence each other over slightly longer distances. This involved a transformation that rearranges the way the particles are counted and correlated, allowing the model to capture the subtle, collective movements of the gas. By carefully balancing these two layers of correction—one for the immediate, short-range avoidance and another for the longer-range correlations—the team was able to calculate the energy of their trial state with extreme precision. They showed that the energy per unit volume matches the leading terms predicted by the Lee-Huang-Yang formula, including a specific correction term that depends on the density of the gas and the size of the atoms.

The result is a robust confirmation that the Lee-Huang-Yang formula is not just a lucky guess for simple cases but a fundamental truth for a wide variety of repulsive interactions. The researchers proved that for any gas of bosons with a short-range, repulsive force, the energy density will not exceed the value given by this formula, provided the gas is dilute enough. This upper bound, combined with earlier work that established a matching lower bound for similar systems, effectively solves the problem of determining the ground state energy for these gases. The work does not rely on simulations or approximations that might fail under scrutiny; it is a mathematical proof that holds for any potential that is measurable, symmetric, and confined to a small region of space.

This achievement matters because it validates the theoretical framework used to describe many real-world quantum systems, from superfluids to the behavior of atoms in ultra-cold traps. By extending the proof to general potentials, the researchers have removed the artificial restrictions that previously limited our understanding. They showed that the complex dance of atoms in a dilute gas, governed by the push and pull of short-range forces, adheres to a predictable and elegant energy law. The paper does not claim to have discovered a new physical force or to have changed the laws of quantum mechanics; rather, it has provided the missing mathematical bridge that connects the abstract predictions of the past with the rigorous reality of general interactions. The finding stands as a testament to the power of mathematical analysis to illuminate the hidden order within the quantum world, confirming that even in the most chaotic-looking clouds of atoms, there is a precise and calculable structure waiting to be understood.

Technical Summary: Lee-Huang-Yang Energy for Dilute Bose Gases: an Upper Bound for General Potentials

Problem Statement
The paper addresses the mathematical derivation of the ground state energy density, $e(\rho)$ , for a dilute Bose gas in the thermodynamic limit. Specifically, it seeks to establish a rigorous upper bound that captures the second-order correction in the low-density expansion, known as the Lee-Huang-Yang (LHY) term. The system consists of $N$ bosons in a box $\Lambda$ with periodic boundary conditions, interacting via a general repulsive, short-range potential $V: \mathbb{R}^3 \to [0, \infty]$ . The authors aim to prove that for sufficiently small density $\rho$ and scattering length $a$ , the energy density satisfies:
$e(\rho) \leq 4\pi a \rho^2 \left( 1 + \frac{128}{15\sqrt{\pi}}(\rho a^3)^{1/2} + O((\rho a^3)^{1/2+\delta}) \right)$
Crucially, the paper extends previous results to potentials that may include a hard core (where $V(x) = \infty$ for $|x| \leq r$ ) and are not necessarily integrable, relaxing assumptions required in earlier works.

Methodology
To prove the upper bound, the authors construct a specific trial state $\Psi$ on the bosonic Fock space $\mathcal{F}$ . The construction follows and generalizes the approach introduced in [1] for hard spheres, adapting it to general short-range potentials. The trial state is defined as:
$\Psi = \frac{1}{Z} J W(\rho_0) T \Omega$
where:

Coherent State ( $W(\rho_0)$ ): A Weyl operator generating a Bose-Einstein condensate with density $\rho_0 \approx \rho$ in the zero-momentum state.
Jastrow Factor ( $J$ ): A correlation operator acting on short length scales ( $|x| \leq \ell$ ) to handle the hard-core repulsion and short-range correlations. It is constructed using a truncated minimizer $f_\ell$ of the scattering problem energy functional. This factor ensures the trial state vanishes where the potential is infinite.
Bogoliubov Transformation ( $T$ ): A unitary transformation acting on larger length scales ( $\ell \leq |x| \leq \ell_0$ ) to capture long-range correlations necessary for the LHY term. The coefficients of this transformation are derived from the effective potential $V_{\text{eff}} = 2\Delta f$ , where $f$ is the minimizer of the scattering energy functional.

The proof proceeds by estimating the expectation value of the Hamiltonian $H = K + V$ (kinetic and potential energy) with respect to $\Psi$ . The authors utilize a decomposition of the potential energy operator acting on the trial state into five distinct terms ( $\phi_1$ to $\phi_5$ ) based on the action of creation and annihilation operators. They then rigorously bound the contributions of these terms using:

Properties of the scattering length minimizer $f$ and its truncation $f_\ell$ .
Pointwise and $L^p$ estimates of the Bogoliubov kernels ( $\sigma, \gamma, \nu$ ).
A priori bounds on the local number of particles and excitations in the trial state, derived from the structure of $J$ and $T$ .

Key Contributions and Results
The primary result is Theorem 1.1, which establishes the upper bound (1.6) for the ground state energy density for any measurable, even, compactly supported, repulsive potential $V$ , including those with hard cores.

Key technical achievements include:

Generalization to Hard Cores: Unlike previous upper bounds that required $V \in L^3(\mathbb{R}^3)$ or excluded hard cores, this work handles potentials with $V(x) = \infty$ for $|x| \leq r$ . This is achieved by carefully constructing the Jastrow factor using the minimizer of the scattering problem, which naturally vanishes in the hard-core region.
Relaxation of Integrability: The paper removes the requirement that the potential be integrable, a condition present in earlier rigorous derivations of the LHY term.
Extension of [1]: The authors extend the analysis of [1] (which was limited to hard spheres) to general short-range interactions. This required new estimates for the effective potential $V_{\text{eff}}$ and its Fourier transform, as the explicit form available for hard spheres is not available for general $V$ . Specifically, Lemma 2.1 and Lemma 2.3 provide necessary bounds on the decay and regularity of the kernels involved in the Bogoliubov transformation for general potentials.
Energy Decomposition: The proof of the potential energy bound (Proposition 4.2) involves a detailed decomposition of the interaction term into five components. The authors show that cross-terms and higher-order corrections are negligible (of order $\rho^{5/2+\epsilon}$ ), allowing the extraction of the precise LHY coefficient.

Significance
The paper claims that combining its upper bound (Theorem 1.1) with the existing lower bound established in [15] (which applies to measurable, spherically symmetric, repulsive potentials decaying sufficiently fast) yields a rigorous proof of the Lee-Huang-Yang formula for the ground state energy density.

Specifically, for all spherically symmetric, repulsive interactions with compact support, the ground state energy density is confirmed to be:
$e(\rho) = 4\pi a \rho^2 \left( 1 + \frac{128}{15\sqrt{\pi}}(\rho a^3)^{1/2} + o((\rho a^3)^{1/2}) \right)$
This result closes a significant gap in the mathematical understanding of dilute Bose gases by validating the LHY prediction for a broad class of physically relevant potentials, including those with hard cores, without requiring integrability conditions. The work relies on the equivalence of ensembles argument to transition from the canonical to the grand canonical setting, following the strategy of [1].

More like this