Wigner's theorem (quantum mechanics)

Wigner's theorem (quantum mechanics) is a fundamental result establishing that symmetry transformations of pure quantum states are implemented by either unitary or antiunitary operators on a Hilbert space. It provides the mathematical bridge between physical symmetry operations as understood in experimental contexts and their representation as linear or conjugate-linear maps, and underlies the role of projective representations in the formulation of quantum theory.

Statement of the theorem

The theorem, proved by Eugene Wigner in the mid-20th century, states that any bijective map on the set of one-dimensional subspaces (rays) of a complex Hilbert space that preserves transition probabilities is induced by either a unitary operator or an antiunitary operator on that Hilbert space. Wigner formulated this result while working at institutions associated with Princeton University and in the milieu of researchers like John von Neumann, Paul Dirac, Werner Heisenberg, and James Franck, motivated by questions arising from the S-matrix program and the development of quantum theory during and after World War II. The theorem applies to finite- and infinite-dimensional Hilbert spaces that appear in contexts such as atomic physics modeled by Niels Bohr's correspondence ideas, scattering theory developed by Lev Landau and Ludwig Boltzmann-influenced statistical discussions, and modern treatments by authors in the tradition of Richard Feynman and Murray Gell-Mann.

Mathematical formulation and proof outline

Formally, let H be a complex separable Hilbert space associated with quantum systems in the tradition of Max Planck's quantum hypothesis and Erwin Schrödinger's wave mechanics; consider the projective space P(H) of rays used by Wolfgang Pauli in spin theory and Enrico Fermi in quantum statistics. A map T: P(H) → P(H) preserving the transition probability |⟨ψ,φ⟩|^2 for all rays [ψ], [φ] is called a symmetry in the sense used by Hermann Weyl and Emmy Noether's symmetry considerations. Wigner's theorem asserts there exists either a unitary U or an antiunitary A on H such that T([ψ]) = [Uψ] or T([ψ]) = [Aψ] for all ψ.

The standard proof constructs a lifting from projective space to the Hilbert space by choosing representatives of rays and fixing phases using overlap values, following strategies evolved in works by John von Neumann and rigorousized in treatments associated with Marshall Stone and Israel Gelfand. One shows first that transition-probability preservation implies preservation of orthogonality relations used in Paul Dirac's bra–ket formalism, then uses additivity on orthonormal bases to extend a map linearly or conjugate-linearly. The antiunitary case emerges when a complex conjugation relative to a chosen basis is required, a phenomenon also encountered in analyses by Julian Schwinger and in the study of time-reversal symmetry invoked by Hendrik Lorentz-related transformations. Rigorous modern proofs reference functional-analytic tools developed by John von Neumann, Stefan Banach, and Marshall Stone.

Physical implications and significance

Wigner's theorem grounds the representation-theoretic approach to quantum symmetries used by Eugene Wigner himself, Hermann Weyl in group-theoretic quantum mechanics, and later by Harish-Chandra and Emmy Noether's symmetry considerations. It implies that continuous symmetry groups such as Lie groups encountered in particle physics—SU(2), SU(3), SO(3), Poincaré group—admit projective representations implemented by unitary operators, a cornerstone for classifying particles via Ettore Majorana-inspired spin representations and for the spin–statistics connection discussed by Wolfgang Pauli and Julian Schwinger. The appearance of antiunitary operators explains the fundamental role of time-reversal symmetry considered by Lev Landau and C. N. Yang & T. D. Lee in parity and CP studies. In quantum information contexts influenced by Claude Shannon's information theory and Charles Bennett's quantum teleportation, the theorem constrains allowable state transformations and underpins error-correction schemes and notions of quantum channels explored by Peter Shor and John Preskill.

Examples and applications

Concrete examples include rotation symmetries of spin systems represented by unitary operators of SU(2) used in Wolfgang Pauli's spin matrices and by projective representations that give half-integer spin, as emphasized by Paul Dirac in relativistic quantum theory leading to the Dirac equation. Time-reversal in systems with half-integer spin is represented by antiunitary operators discussed in the work of Freeman Dyson and in studies of Kramers degeneracy by Hendrik Kramers. In atomic and molecular spectroscopy, selection rules derived via symmetry operations studied by Linus Pauling and Gerhard Herzberg rely on Wigner's identification of unitary implementations. In quantum field theory, the classification of particle states under the Poincaré group by Eugene Wigner himself uses the theorem to connect physical symmetry actions with unitary representations central to the formulations of Richard Feynman and Murray Gell-Mann.

Extensions and generalizations

Extensions include Wigner-type results for indefinite inner product spaces studied in the line of research connected to Mark Krein and Israel Gelfand, and generalizations to symmetries of density operators in operator-algebraic formulations pursued by researchers in the tradition of Alain Connes and Rudolf Haag. Projective representation theory developed by G. W. Mackey and cohomological classifications by Élie Cartan and Henri Cartan place Wigner's theorem in the broader context of central extensions and group cohomology used in modern studies of anomalies in the work of Gerard 't Hooft and Edward Witten. Generalizations addressing superselection sectors and algebraic quantum field theory follow approaches by Doplicher Haag Roberts and Rudolf Haag, while finite-dimensional analogs and robustness results are used in quantum information theory by investigators such as Matthew Hastings and John Preskill.

Category:Quantum mechanics