The energy of dilute Bose gases (Q2215806)

The authors study a non-relativistic, interacting Bose gas in three dimensions. The bosons are assumed to interact via a non-negative, two-body potential that is spherically symmetric and of class \(\mathrm{L}^1(\mathbb R^3)\) with compact support. This includes a large family of relevant interaction potentials but not the hard core case. The authors prove a two-term lower bound for the thermodynamic limit of the ground-state energy density in the dilute limit. This crucial step completes, together with an upper bound that was previously proved under slightly different assumptions for the interaction potential, a rigorous proof of the Lee-Huang-Yang formula, which was a long standing conjecture in mathematical physics.