Fonction de Wigner
Définition
Distribution quasi‑probabiliste réelle sur l'espace des phases définie par la transformée de Weyl de l'opérateur densité ; elle donne les marginales correctes de position et d'impulsion mais peut prendre des valeurs négatives révélatrices de corrélations non classiques.