“…Recently, a rigorous version of Bogoliubov theory [8] has been developed in [4, 5, 6, 7] to provide more precise information about the low-energy spectrum of in equation (1), resolving the ground state energy and low-lying excitations up to errors that vanish in the limit ; and about the corresponding eigenvectors, showing Bose-Einstein condensation with optimal control over the number of orthogonal excitations. Analogous results have also been established for Bose gases trapped by external potentials in the Gross-Pitaevskii regime [10, 11, 23, 25] 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 also been extended to the case of hard-sphere interaction, as announced in [2].…”