The ground state energy of dilute Bose gases

The rigorous calculation of the ground state energy of dilute Bose gases has been a challenging problem since the 1950s. In particular, it is of interest to understand the extent to which the Bogoliubov pairing theory correctly describes the ground state of this physical system. In this talk I will report on a recent proof of the second term in the energy expansion for dilute gases, the so-called Lee-Huang-Yang term, and its relation to Bogoliubov theory.