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.

What This Chapter Owns

This chapter is the canonical home for the Wigner–Weyl formulation of ordinary quantum mechanics:

• why a quantum phase-space representation is useful and why it cannot be an ordinary sharp joint probability for $x$ and $p$;
• the Weyl transform from operators to phase-space symbols;
• the Wigner transform of density operators;
• exact marginals, negativity, and comparisons with $Q$ and $P$ quasiprobabilities;
• the star product representing operator multiplication;
• the Moyal bracket representing commutators;
• exact Wigner evolution and its free, quadratic, and anharmonic structure;
• dimensionless conditions for the Poisson-bracket approximation;
• Gaussian and coherent states as tractable continuous-variable examples;
• the bridge from finite-dimensional phase space to regulated field phase space.

The Phase Space page owns the classical state space and symplectic background. Density Operators owns quantum-state operators. This chapter owns the transform relating those operator objects to phase-space functions.

Detailed quantum-optical experiments, open-system Fokker–Planck equations, many-body truncated-Wigner calculations, and continuum field renormalization belong in their respective later volumes. The bridge page identifies those directions without presenting a finite-mode formula as a complete field theory.

Core Dictionary

For one degree of freedom, the Wigner function is

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

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

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

With these conventions,

$$\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.

Suggested Routes

First systematic pass

Read Why Phase Space in Quantum Mechanics?, Weyl Transform, and Wigner Function. Then study the Star Product and Moyal Bracket before using phase-space functions as a dynamical calculus.

Continuous-variable route

Begin with the Wigner function and Marginals and Quasi-Probabilities. Continue to Gaussian States and Wigner Functions and Coherent States in Phase Space. This route prepares covariance methods, quadrature tomography, squeezing, quantum optics, and bosonic mode language.

Classical-limit route

Read Phase-Space Dynamics for the exact Wigner equation, then Classical Limit of the Moyal Bracket for scale estimates and breakdown. Pair these with Semiclassical Limit and the path-integral Stationary Phase and the Classical Limit to compare two distinct semiclassical mechanisms.

Many-mode and field route

After coherent states and phase-space dynamics, read Phase-Space Formulation from QM to QFT. It translates canonical pairs into regulated field data and distinguishes Hamiltonian, coherent-state, and Wigner-functional methods.

Exact Representation Versus Approximation

Several statements that sound similar have different status:

Statement	Status
$\rho\leftrightarrow W_\rho$ under an invertible Wigner transform	exact representation
$(AB)_W=A_W\star B_W$	exact product rule
$([A,B]/i\hbar)_W=\{A_W,B_W\}_M$	exact commutator rule
$\partial_tW=\{H_W,W\}_M$	exact closed-system evolution
$\{A,B\}_M=\{A,B\}_{\mathrm{PB}}+O(\hbar^2)$	derivative expansion
$\partial_tW\approx\{H_W,W\}_{\mathrm{PB}}$	classical-transport approximation
Moyal evolution equals Poisson evolution for quadratic $H_W$	exact special case

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.

Common Mistakes

• Treating phase space as Hilbert space or a Wigner function as the underlying quantum state object.
• Calling $W(x,p)$ a sharp joint probability for simultaneous $x$ and $p$.
• Ignoring Fourier and $2\pi\hbar$ conventions when comparing formulas.
• Multiplying Weyl symbols pointwise when the operators are multiplied.
• Replacing the Moyal bracket by the Poisson bracket without a scale estimate.
• Assuming a positive Wigner function is classical under every criterion.
• Confusing an exact classical-looking quadratic flow with decoherence.
• Treating Husimi $Q$, Wigner $W$, and Glauber–Sudarshan $P$ as interchangeable plots of one probability.
• Extending finite-mode Wigner formulas to continuum fields without a regulator and renormalization.

Cross-Links

• Quantum Dynamics
• Map of Quantum Dynamics
• Which Formulation Should I Use?
• Phase Space
• Poisson Brackets
• Density Operators
• Liouville–von Neumann Equation
• Semiclassical Limit
• Phase-Space Conventions
• Path Integral Formulation

References

• 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).
• J. E. Moyal, “Quantum mechanics as a statistical theory,” Proceedings of the Cambridge Philosophical Society 45, 99–124 (1949).
• M. Hillery, R. F. O’Connell, M. O. Scully, and E. P. Wigner, “Distribution functions in physics: fundamentals,” Physics Reports 106, 121–167 (1984).
• C. K. Zachos, D. B. Fairlie, and T. L. Curtright, eds., Quantum Mechanics in Phase Space, World Scientific, 2005.
• W. P. Schleich, Quantum Optics in Phase Space, Wiley-VCH, 2001.

Exercises

1. Which part of the phase-space dictionary prevents operator noncommutativity from being lost?

Solution

The Weyl transform sends operators to ordinary functions, but operator multiplication becomes the star product:

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

The star product is noncommutative:

$$A_W\star B_W \neq B_W\star A_W$$

in general. Its antisymmetric part gives the Moyal bracket,

$$\{A_W,B_W\}_M = \frac{1}{i\hbar} \left( A_W\star B_W - B_W\star A_W \right),$$

which is the Weyl symbol of the operator commutator divided by $i\hbar$.

2. 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.

3. Choose a reading route for each goal: understanding Wigner negativity, estimating a classical approximation, and preparing for bosonic field methods.

Solution

For Wigner negativity, begin with Wigner Function and continue to Marginals and Quasi-Probabilities.

For a classical approximation, read Phase-Space Dynamics for the exact equation and Classical Limit of the Moyal Bracket for dimensionless validity estimates.

For bosonic field methods, study Gaussian States and Wigner Functions and Coherent States in Phase Space, then use Phase-Space Formulation from QM to QFT.