“…Recently, a rigorous version of Bogoliubov theory [8] has been developed in [4,5,6,7] to provide more precise information on the low-energy spectrum of (1), resolving the ground state energy and the low-lying excitations up to errors that vanish in the limit N Ñ 8, and on the corresponding eigenvectors, showing Bose-Einstein condensation with optimal control on the number of orthogonal excitations. Analogous results have been established also for Bose gases trapped by external potentials in the Gross-Pitaevskii regime [23,10,25,11] and for Bose gases in scaling limits interpolating between the Gross-Pitaevskii regime and the thermodynamic limit [1,9]. Very recently, the upper bound for the ground state energy has been also extended to the case of hard-sphere interaction, as announced in [2].…”