C. Boccato, C. Brennecke, S. Cenatiempo, and B. Schlein, “Bogoliubov theory in the Gross–Pitaevskii limit,” Acta Mathematica, vol. 222, no. 2. International Press of Boston, pp. 219–335, 2019.