Phase-Space Formulation

The phase-space formulation represents quantum states and observables by functions on the same canonical coordinate–momentum space used in classical mechanics. It does so without replacing quantum mechanics by a hidden classical ensemble.

The central dictionary is

$$\begin{aligned} \text{density operator }\rho &\longleftrightarrow \text{Wigner function }W_\rho, \\ \text{operator }A &\longleftrightarrow \text{Weyl symbol }A_W, \\ \text{operator product }AB &\longleftrightarrow A_W\star B_W, \\ \frac{1}{i\hbar}[A,B] &\longleftrightarrow \{A_W,B_W\}_M. \end{aligned}$$

The Wigner function can be negative, the star product is noncommutative, and the Moyal bracket contains quantum corrections to the classical Poisson bracket. Those three facts are how the representation preserves interference and operator incompatibility while using phase-space variables.

Helpful background. Density operators describe mixed states, and the Liouville–von Neumann equation gives their closed-system evolution; phase space and Poisson brackets supply the classical comparison.

The Wigner–Weyl dictionary

For one canonical coordinate on the real line, the Wigner function is

$$W_\rho(x,p) = \frac{1}{2\pi\hbar} \int dy\, e^{-ipy/\hbar} \times \left\langle x+\frac{y}{2} \middle| \rho \middle| x-\frac{y}{2} \right\rangle.$$

The Weyl symbol of an operator $A$ uses the same Fourier kernel without the state-normalization factor:

$$A_W(x,p) = \int dy\, e^{-ipy/\hbar} \times \left\langle x+\frac{y}{2} \middle| A \middle| x-\frac{y}{2} \right\rangle.$$

For states and observables for which these transforms and the trace pairing exist, these conventions give

$$\operatorname{Tr}(\rho A) = \int dx\,dp\, W_\rho(x,p)A_W(x,p).$$

The formula resembles a classical phase-space average, but it must be read together with the product rule

$$(AB)_W = A_W\star B_W.$$

For one canonical pair,

$$A\star B = A \exp\left[ \frac{i\hbar}{2} \left( \overleftarrow{\partial_x} \overrightarrow{\partial_p} - \overleftarrow{\partial_p} \overrightarrow{\partial_x} \right) \right] B.$$

Closed-system density evolution becomes

$$\frac{\partial W}{\partial t} = \{H_W,W\}_M.$$

This is an exact representation of the Liouville–von Neumann equation when transforms, domains, and conventions match. Replacing the Moyal bracket by the Poisson bracket is a further approximation except for special Hamiltonians.

Reading Path

Question	Start here	What to retain
Why represent quantum mechanics on phase space?	Why Phase Space in Quantum Mechanics?	Phase space is a representation space, not the quantum state space.
How are operators turned into functions?	Weyl Transform	Symmetric ordering becomes simple, while products require the star product.
How is a state represented?	Wigner Function	$W$ is real and normalized but can be negative.
Which parts are genuine probabilities?	Marginals and Quasi-Probabilities	Marginals are Born distributions; $W$, $Q$, and $P$ make different tradeoffs.
How is operator multiplication preserved?	Star Product	Pointwise multiplication would erase noncommutativity.
What replaces the commutator?	Moyal Bracket	The Moyal bracket is exact and begins with the Poisson bracket.
How does a Wigner function evolve?	Phase-Space Dynamics	Wigner–Moyal evolution is the density-operator equation in new variables.
When is Poisson evolution controlled?	Classical Limit of the Moyal Bracket	Estimate $\hbar/(L_xL_p)$ and the derivatives of both Hamiltonian and state.
Why are Gaussian states special?	Gaussian States and Wigner Functions	First moments and covariance matrices close under quadratic dynamics.
How do coherent states look in phase space?	Coherent States in Phase Space	Displaced ground-state Gaussians follow classical oscillator centers.
What changes for fields and many modes?	Phase-Space Formulation from QM to QFT	Functions become regulated functionals; continuum, gauge, and ultraviolet issues enter.

Exact Representation Versus Approximation

The transform, star product, and Moyal evolution preserve the full quantum theory. Expanding the Moyal bracket in derivatives is a different step:

$$\{A,B\}_M=\{A,B\}_{\mathrm{PB}}+O(\hbar^2).$$

For smooth symbols, a quadratic Hamiltonian has no third or higher derivatives, so its Moyal bracket with $W$ equals its Poisson bracket exactly. This remains true for a time-dependent quadratic Hamiltonian when the evolution is well defined.

The exact quadratic statement is about transport. A negative Wigner function remains a quasiprobability, and quantum uncertainty and measurement rules remain in force.

For anharmonic dynamics, explicit powers of $\hbar$ do not by themselves control the derivative expansion. If $W$ develops fine fringes, derivatives can compensate those powers. Long-time evolution, tunneling, singular potentials, and chaotic stretching require separate checks.

Choosing This Formulation

Phase-space methods are especially effective when the question concerns both coordinate and momentum structure, Gaussian covariance, semiclassical transport, coherent states, quadrature tomography, or comparison with classical Hamiltonian flow.

They are not automatically shortest for finding a one-dimensional spectrum, proving an operator identity, or evolving a small finite matrix. The Schrödinger equation, operator algebra, propagators, and numerical diagonalization remain equal formulations. Phase-space notation is most useful when the geometry or symbol calculus simplifies the actual observable.

Exercises

Use the star-product formula to calculate $x\star p$ and $p\star x$. Compare their difference with the canonical commutator.

Solution

All terms beyond first derivatives vanish, so

$$x\star p=xp+\frac{i\hbar}{2},\qquad p\star x=xp-\frac{i\hbar}{2}.$$

Their difference is $i\hbar$, the Weyl symbol of $[\hat x,\hat p]=i\hbar I$. Ordinary multiplication would give zero and lose the quantum commutator.

A Wigner function evolves under a quadratic Hamiltonian by the Poisson equation exactly. List two reasons the state need not be classical.

Solution

First, the Wigner function can still be negative. The affine symplectic flow transports that negativity without converting it into a positive density.

Second, uncertainty, purity, noncommuting observables, and Born-rule measurement statistics remain quantum. The equality

$$\{H_W,W\}_M = \{H_W,W\}_{\mathrm{PB}}$$

is a statement about the evolution generator for quadratic $H_W$, not about replacing the quantum state by a classical ensemble.

References

• M. Hillery, R. F. O’Connell, M. O. Scully, and E. P. Wigner, “Distribution functions in physics: fundamentals,” Physics Reports 106, 121–167 (1984).
• J. E. Moyal, “Quantum mechanics as a statistical theory,” Proceedings of the Cambridge Philosophical Society 45, 99–124 (1949).
• W. P. Schleich, Quantum Optics in Phase Space, Wiley-VCH, 2001.
• H. Weyl, The Theory of Groups and Quantum Mechanics, Dover, 1950.
• E. Wigner, “On the quantum correction for thermodynamic equilibrium,” Physical Review 40, 749–759 (1932).
• C. K. Zachos, D. B. Fairlie, and T. L. Curtright, eds., Quantum Mechanics in Phase Space, World Scientific, 2005.