In the ground state of the diagonal Hamiltonian, . The Bogoliubov transformation therefore gives . Summing all nonzero momenta proves the quantum depletion of a Bose condensate:
The nonzero depletion arises from correlated pairs in the interacting quasiparticle vacuum, not thermally populated quasiparticles.
The printed expression is the zero-temperature result. At a nonzero temperature the complete leading-order expression instead has
The additional term is thermal depletion and cannot be discarded merely because the gas is condensed.