squeezed vacuum wigner function