Statistics of dressed modes in a thermal state

By a Wigner-function calculation, we evaluate the trace of a certain Gaussian operator arising in the theory of a boson system subject to both finite temperature and (weak) interaction. Thereby we rederive (and generalize) a recent result by Kocharovsky, Kocharovsky, and Scully [Phys. Rev. A, vol. 61, art. 053606 (2000)] in a way that is technically much simpler. One step uses a special case of the response of Wigner functions to linear transformations, and we demonstrate the general case by simple means. As an application we extract the counting statistics for each mode of the Bose gas.