Wigner function of Fock states: W_0 = e^(−2(x²+p²))/π; W_1 = (4(x²+p²)−1)·e^(−2(x²+p²))/π

Wigner function of n-photon Fock states. From framework F8, W_n(x,p) = (−1)^n/π · exp(−2(x²+p²)) · L_n(4(x²+p²)), where L_n is the n-th Laguerre polynomial. Vacuum |0⟩ gives a Gaussian: W₀ = exp(−2(x²+p²))/π, everywhere positive. For n ≥ 1…