Wigner function of the thermo number states

Based on thermo field dynamics (TFD) and using the thermo Wigner operator in the thermo entangled state representation we derive the Wigner function of number states at finite temperature (named thermo number states). The figure of Wigner function shows that its shape gets smoothed as the temperature rises, implying that the quantum noise becomes larger.