| Stone–von Neumann theorem | |
|---|---|
| Name | Stone–von Neumann theorem |
| Field | Mathematical physics |
| Statement | Uniqueness of the (irreducible) unitary representation of the canonical commutation relations up to unitary equivalence under regularity hypotheses |
| Proved | 1928–1930 |
| People | Marshall Stone, John von Neumann |
Stone–von Neumann theorem
The Stone–von Neumann theorem is a foundational result in Mathematical physics and Quantum Physics that guarantees the uniqueness, up to unitary equivalence, of the irreducible representation of the canonical commutation relations (CCR) for a finite number of degrees of freedom under mild continuity conditions. It underpins the standard Schrödinger representation and justifies the usual operator formalism used in quantum mechanics and in many constructions in functional analysis and operator algebras.
The theorem states that any irreducible, strongly continuous unitary representation of the Weyl form of the canonical commutation relations for a finite-dimensional symplectic vector space is unitarily equivalent to the Schrödinger representation on L^2(R^n). Concretely, for position and momentum operators satisfying [q_j,p_k]=iħ δ_{jk} on a separable Hilbert space, the associated Weyl operators W(ξ) satisfy W(ξ)W(η)=e^{-iσ(ξ,η)/2}W(ξ+η), and any two irreducible, regular representations of these Weyl relations with the same value of Planck's constant ħ are related by a unitary map. The theorem therefore identifies a unique physical realization of the CCR up to equivalence in finite dimensions.
The result emerged from work in the late 1920s and early 1930s connecting operator theory and quantum mechanics. Marshall Stone developed spectral and one-parameter unitary group techniques, while John von Neumann applied these tools to quantum observables and formalized uniqueness statements for the CCR. Later contributors who clarified and extended the result include Irving Segal, H. Halvorson in modern conceptual expositions, and researchers in C*-algebra and von Neumann algebra theory who placed the theorem in the context of noncommutative harmonic analysis. The theorem influenced rigorous formulations of quantum mechanics by contemporaries such as Paul Dirac and fed into mathematical structures used at institutions like Princeton University and University of Chicago where foundational work in operator algebras and quantum theory was advanced.
The theorem can be phrased either for the canonical operators (q_j, p_k) with Heisenberg commutation relations or for the exponentiated Weyl operators W(ξ) obeying the Weyl relations on a real symplectic vector space (V,σ). Key assumptions include: - Irreducibility of the representation on a separable Hilbert space H; - Strong (or weak) continuity of the one-parameter unitary groups generated by the canonical observables (regularity); - Finite-dimensionality of the underlying phase space (typically R^{2n}). Under these hypotheses, any two such representations with the same central multiplier (value of ħ) are unitarily equivalent. The proof exploits results from Stone's theorem on one-parameter unitary groups and the spectral theorem for self-adjoint operators, linking generators of continuous unitary groups with self-adjoint operators representing observables.
The proof proceeds by passing from unbounded generators to their exponentiated, bounded Weyl operators, thereby avoiding domain subtleties of unbounded operators. One uses Stone's theorem to relate strongly continuous one-parameter groups to self-adjoint generators, constructs canonical coordinates via spectral decompositions, and shows that the representation decomposes into a direct integral which, by irreducibility, reduces to a single copy of the Schrödinger model. Central steps: - Exponentiation: replace q_j, p_j by U(a)=e^{i a q_j} and V(b)=e^{i b p_j}; - Weyl relations: show U(a)V(b)=e^{i ab}V(b)U(a) and lift to the full phase space using the symplectic form σ; - Uniqueness: use irreducibility and the cyclic vector method to build an isometry to L^2(R^n) that intertwines the Weyl operators. Spectral analysis and representation theory for Heisenberg group and symplectic group actions also play a role; the theorem is often recast as a statement about unique irreducible unitary representations of the Heisenberg group with a fixed central character.
The Stone–von Neumann theorem provides the rigorous justification for using the Schrödinger representation in nonrelativistic quantum mechanics and for identifying position and momentum operators with the standard differential operators on L^2(R^n). It underlies quantization procedures, such as canonical quantization used by Paul Dirac and in early quantum field theory, and informs constructions in quantum harmonic oscillator models and coherent states. In addition, it clarifies why different textbook formulations (e.g., position vs. momentum representations) are physically equivalent for finite systems, and it is invoked in studies of quantum measurement theory and in the mathematical foundations of quantum information for continuous-variable systems.
The theorem fails in infinite degrees of freedom: in quantum field theory and for systems with infinitely many degrees of freedom, there exist unitarily inequivalent representations of the CCR, a phenomenon analyzed via representations of the Heisenberg algebra and by work of Haag and others in algebraic quantum field theory. Generalizations include the uniqueness of regular representations for more general symplectic spaces under additional hypotheses, and refinements using C*-algebraic language via the Weyl C*-algebra. Extensions also consider projective representations of the symplectic group (the metaplectic representation) and the role of central extensions; limitations emphasize the crucial role of regularity, separability, and finite-dimensionality of phase space for the uniqueness conclusion to hold.
Category:Mathematical physics Category:Quantum mechanics Category:Operator theory