| Stone's theorem | |
|---|---|
| Name | Stone's theorem |
| Field | Functional analysis, Mathematical physics |
| Statement | One-parameter strongly continuous unitary groups are generated by self-adjoint (or skew-adjoint) operators |
| First proved | 1932 |
| Author | Marshall H. Stone |
Stone's theorem
Stone's theorem is a foundational result in functional analysis and mathematical physics that establishes a correspondence between one-parameter strongly continuous unitary groups and self-adjoint generators on a Hilbert space. In the context of Quantum mechanics, it provides the rigorous link between continuous time evolution given by unitary operators and the self-adjoint Hamiltonian operator that generates that evolution, underpinning the Schrödinger equation and the role of observables. The theorem is central to discussions of dynamics, symmetry, and the mathematical formulation of conservation laws in quantum theory.
Stone's theorem states that for every strongly continuous one-parameter unitary group {U(t)}_{t ∈ ℝ} on a separable Hilbert space H there exists a unique self-adjoint operator A such that U(t) = exp(i t A) for all real t, where the exponential is defined via the spectral calculus. Conversely, each self-adjoint operator A defines a strongly continuous one-parameter unitary group via this exponential. Equivalently, the theorem can be formulated for skew-adjoint generators so that the generator G satisfies U(t)=e^{tG} with G^* = -G. This equivalence is the rigorous expression of time evolution in quantum systems and appears in treatments by authors such as John von Neumann and in textbooks like those by Reed and Simon.
Stone's theorem relies on the theory of linear operators on a Hilbert space and the spectral theorem for self-adjoint operators. Key definitions include: - Strong continuity: the map t ↦ U(t)ψ is continuous for every ψ ∈ H. - One-parameter unitary group: a family U(t) of unitary operators with U(0)=I and U(t+s)=U(t)U(s). - Self-adjoint operator: a densely defined operator A with A = A^*. - Spectral measure and functional calculus: tools to define exp(i t A). The theorem uses results from operator theory, measure theory (via projection-valued measures), and the theory of unbounded operators as developed in the early 20th century by figures such as Marshall H. Stone and John von Neumann. Contextual mathematical resources include the monographs by Reed and Simon and standard courses in Hilbert space operators.
In Quantum mechanics, physical states are rays in a Hilbert space and time evolution is represented by a one-parameter family of unitary operators preserving probabilities via the Born rule. Stone's theorem ensures that any strongly continuous time evolution arises from a self-adjoint Hamiltonian H with U(t)=e^{-i t H/ħ}. This underlies the Schrödinger picture and connects to the Heisenberg picture via unitary conjugation. The result is central to the rigorous formulation of quantum dynamics in models studied at institutions like CERN, Los Alamos National Laboratory, and academic research in mathematical physics departments. Its presence is explicit in treatments of quantum systems from simple two-level (spin systems) through quantum field theory models handled at Princeton University and Harvard University research groups, and in numerical implementations used by projects such as Quantum computing platforms where unitary gates approximate continuous evolution.
A standard proof constructs the generator A via a strong limit: for vectors ψ in a dense domain D, define Aψ = lim_{t→0} (U(t)ψ - ψ)/(i t) when the limit exists. One shows: - The set D of such ψ is dense and invariant under U(t). - A is symmetric; closure arguments and functional calculus produce a self-adjoint extension. - Using the spectral theorem one constructs exp(i t A) and demonstrates equality with U(t) on D, then by continuity on all H. Key lemmas used include results on strongly continuous semigroups (cf. the Hille–Yosida theorem for contraction semigroups), Stone's version of the spectral theorem, and domain invariance. Historical proofs by Marshall H. Stone and later expositions by Reed and Simon streamline the operator-domain technicalities. The proof emphasizes domain considerations for unbounded generators and the interplay between algebraic group properties and analytic continuity.
Stone's theorem has multiple extensions and closely related theorems: - The Stone–von Neumann theorem, concerning uniqueness of the canonical commutation relations' irreducible representations. - Stone's work connects to the Spectral theorem and to the theory of strongly continuous semigroups (the Hille–Yosida theorem), and to the Lumer–Phillips theorem for contraction semigroups. - In quantum field theory and algebraic quantum mechanics the result is adapted within the framework of C*-algebras and W*-algebras; related formalism appears in the work of Rudolf Haag and the Haag–Ruelle scattering theory. - Nelson's analytic vector theorem and Chernoff's theorem give alternative conditions for generator domains and essential self-adjointness; Kato–Rellich perturbation theory addresses stability under interactions. These generalizations link Stone's theorem to ongoing research in mathematical structures used by labs and programs such as Institute for Advanced Study research groups and quantum information theory projects at IBM Quantum and Google Quantum AI.
Stone's theorem provides the mathematical underpinning for Noether-type correspondences in quantum theory: continuous one-parameter symmetry groups (time translations, spatial translations, rotations) correspond to self-adjoint generators (Hamiltonian, momentum, angular momentum) whose expectation values yield conserved quantities. The theorem thus formalizes how global symmetries implemented by unitary representations of Lie groups on Hilbert space yield conserved observables via their self-adjoint generators, an idea central to particle physics research at facilities such as Fermilab and to theoretical developments by Noether and later contributors. Emphasizing justice and equity in scientific practice, rigorous statements like Stone's theorem ensure transparent foundations for technologies—quantum computing, metrology, and communication—so that the benefits of these advances can be distributed ethically across institutions and societies.