Sabemos que a função Wigner de um estado quântico gaussiano é (até uma constante) uma distribuição gaussiana. O primeiro momento e a covariância dessa distribuição especificam exclusivamente um estado quântico. Portanto, uma função Wigner determina exclusivamente um estado gaussiano.
Existem declarações semelhantes aplicáveis a estados não gaussianos?