
The Wigner function is a quasiprobability distribution representing quantum states in phase space.The Wigner function represents a quantum state in phase space (the space of coordinates and momenta). It is a quasiprobability distribution: integrating over momenta yields the probability for coordinates, and vice versa. However, unlike true probability, it can take negative values. Negative regions indicate quantum correlations and non-classicality, serving as a resource in quantum computing. The map of the Wigner function, even with negative peaks, remains the most detailed snapshot of quantum reality.
Proposed by Hungarian-American physicist Eugene Wigner in 1932 as a bridge between quantum and classical statistical mechanics. Later, it became a key tool in quantum optics and quantum information. Experimental measurement of the Wigner function became possible with the development of homodyne tomography in the 1990s.
The Wigner function for a pure state with wave function \(\psi(x)\) is defined as \\(W(x,p) = \frac{1}{\pi \hbar} \int_{-\infty}^{\infty} \psi^*(x+y) \psi(x-y) e^{2i p y / \hbar} dy\\). For mixed states, it is analogous with the density matrix. The Heisenberg uncertainty principle manifests itself in constraints on the possible shapes of the distribution. Negativity is a direct consequence of the superposition principle and cannot be eliminated by any classical mixing.
The Wigner function aids in developing quantum computers—it reveals errors in qubits and allows for precise tomographic images of quantum states.
The negativity of the Wigner function is a precise indicator that a quantum state cannot be efficiently simulated on a classical computer (quantum supremacy).
| W | variable | Wigner function of the quantum state — Wigner function |
| X | variable | position quadrature variable — position metre |
| P | variable | momentum quadrature variable — momentum kilogram metre per second |
| ∫ dX dP | operator | integration over the full phase space — double integral |
| | | | operator | absolute value of the Wigner function — absolute value |
| r | variable | distance between two points — distance metre |
| ν | variable | smoothness parameter |
| l | variable | length scale parameter — length metre |
| σ | variable | variance amplitude — variance square metre |
| Γ | operator | Gamma function, generalizes factorial — gamma function |
| K_ν | operator | Modified Bessel function of the second kind of order ν — modified bessel function second kind |














