Generating Function for Quantum Depletion of Bose-Einstein Condensates

We consider a Bose gas on the unit torus at zero temperature in the Gross-Pitaevskii regime, known to perform Bose-Einstein condensation: a macroscopic fraction of the bosons occupy the same quantum state, called condensate. We study the Bose gas' quantum depletion, that is the number of bosons outside the condensate, and derive an explicit asymptotic formula of its generating function. Moreover, we prove an upper bound for the tails of the quantum depletion.