| Heisenberg picture | |
|---|---|
| Name | Heisenberg picture |
| Introduced | 1925 |
| Introduced by | Werner Heisenberg |
| Field | Quantum mechanics |
| Related | Schrödinger picture, Interaction picture, Matrix mechanics |
Heisenberg picture
The Heisenberg picture is a formulation of Quantum mechanics in which the state vectors are fixed and the operators evolve in time. It is mathematically equivalent to the Schrödinger picture but emphasizes the time dependence of observables, aligning naturally with matrix mechanics and providing a convenient framework for quantum field theory and scattering theory. The picture is important for connecting symmetry principles, conservation laws, and relativistic covariance in quantum systems.
In the Heisenberg picture, the physical description assigns time dependence to operators representing observables while state vectors (elements of a Hilbert space) remain constant. This contrasts with the Schrödinger picture, where states evolve under a unitary time-evolution operator generated by a Hamiltonian. The picture originates in the early development of matrix mechanics by Werner Heisenberg, Max Born, and Pascual Jordan and is central to the algebraic approach of Paul Dirac and later formalizations by the von Neumann school. It relates to the interaction picture (or Dirac picture) used in perturbation theory and to path-integral methods developed by Richard Feynman through unitary equivalence. Heisenberg's formulation foregrounds operator algebras such as C*-algebras and von Neumann algebras, used in rigorous approaches by mathematical physicists like John von Neumann and Alain Connes.
The fundamental relation in the Heisenberg picture is the Heisenberg equation of motion: A'(t) = (i/ħ)[H, A(t)] + (∂A/∂t)_explicit, where H is the Hamiltonian operator and [ , ] denotes the commutator. Operators evolve via unitary conjugation by the time-evolution operator U(t) = exp(-iHt/ħ) for time-independent H: A_H(t) = U†(t) A_S U(t), with A_S the Schrödinger-picture operator. Expectation values are computed as ⟨ψ|A_H(t)|ψ⟩ using fixed |ψ⟩ in the Hilbert space. This framework uses concepts from functional analysis, including domains of unbounded operators, self-adjointness (as in the Stone's theorem on one-parameter unitary groups) and spectral theory. Heisenberg evolution preserves algebraic relations, making symmetries manifest via conserved operators tied to Noether's theorem in quantum contexts.
Both Heisenberg and Schrödinger pictures are unitarily equivalent and predict identical measurable outcomes. The Schrödinger picture focuses on evolving state vectors |ψ(t)⟩ obeying the Schrödinger equation iħ∂_t|ψ⟩ = H|ψ⟩, while observables are static unless explicitly time-dependent. The interaction picture splits H into H0 + V and assigns time dependence to operators via H0 and to states via the interaction V; this is the standard setup for perturbation theory in quantum electrodynamics and scattering calculations formalized by the S-matrix approach of Julian Schwinger and others. In many-body physics and condensed matter, the Heisenberg picture aligns with Heisenberg equations for correlation functions computed using techniques like Green's functions and the Kubo formula for response theory.
For the quantum harmonic oscillator, Heisenberg evolution yields time-dependent ladder operators a(t)=a e^{-iωt} and a†(t)=a† e^{iωt}, reproducing classical oscillatory expectation values and facilitating coherent-state analysis introduced by Roy J. Glauber. In spin systems (finite-dimensional Hilbert spaces associated with Pauli matrices and SU(2 representations), Heisenberg evolution implements precession under a magnetic-field Hamiltonian via time-dependent spin operators S_i(t). The picture is widely used in quantum optics, cavity quantum electrodynamics experiments performed at institutions like Bell Labs and California Institute of Technology, and in descriptions of open quantum systems via Heisenberg–Langevin equations and quantum stochastic methods developed by researchers such as Roy J. Glauber and Gérard Milburn.
Heisenberg picture underlies the canonical quantization of classical fields, where field operators φ(x,t) evolve in time and satisfy equal-time commutation or anticommutation relations. This formulation is natural for constructing Lorentz-covariant operator-valued distributions used in quantum electrodynamics and quantum chromodynamics and for proving general results such as the CPT theorem and spin–statistics connection. The Heisenberg picture facilitates the formulation of interacting fields, time-ordered products, and the Dyson series in perturbative renormalization developed by Gerard 't Hooft, Kenneth Wilson, and others. Algebraic quantum field theory (AQFT), championed by Rudolf Haag and Harald Weyl-influenced approaches, treats nets of operator algebras in the Heisenberg setting to address locality, causality, and superselection sectors.
Conceptually, the Heisenberg picture shifts emphasis from evolving states to evolving observables, resonating with operational and algebraic interpretations of quantum mechanics and discussions in the philosophy of science by scholars like Niels Bohr and later commentators. It clarifies connections between symmetries and conserved quantities (via commutators with H) and is useful in relativistic contexts where a preferred global time is problematic; local operator algebras help express causality constraints. The picture also informs semiclassical approximations and the study of classical limits (e.g., via Ehrenfest's theorem) and complements formulations such as the path integral formulation and decoherence theory developed by Wojciech Zurek for understanding emergence of classicality from quantum dynamics.