Relation between the autocorrelation and Wigner functions

We show a simple mechanism to measure the Wigner function of a harmonic oscillator. For this system we also show that autocorrelation and Wigner functions are equivalent.