Bogoliubov theory in the Gross–Pitaevskii limit
C. Boccato, C. Brennecke, S. Cenatiempo, B. Schlein, Acta Mathematica 222 (2019) 219–335.