Wigner Function of a Canonical Ensemble of Harmonic Oscillators at a Given Temperature

This Demonstration plots the Wigner function corresponding to a canonical ensemble of harmonic oscillators at temperature . Even though excited states of the harmonic oscillator are oscillatory, their mutual interference at finite temperatures leads to a smooth positive Wigner function.