Skip to content

Stone–von Neumann Theorem

The Stone–von Neumann theorem is a uniqueness theorem for finite canonical systems, not for every written commutator. In the convention of this volume:

Let W(z)W(z) be a strongly continuous irreducible Weyl system for z∈R2nz\in\mathbb R^{2n}, where n<∞n<\infty, with

W(z)W(z′)=eiσ(z,z′)/(2ℏ)W(z+z′)W(z)W(z') = e^{i\sigma(z,z')/(2\hbar)}W(z+z')

for one fixed nonzero ℏ\hbar. Then there is a unitary map V:H→L2(Rn)V:\mathcal H\to L^2(\mathbb R^n) such that

VW(z)V−1=WS(z),VW(z)V^{-1}=W_{\mathrm S}(z),

where WSW_{\mathrm S} is the Schrödinger Weyl system.

Thus every representation satisfying finite degrees of freedom, regularity, irreducibility, and fixed nonzero central character is unitarily equivalent to the Schrödinger representation. Removing any emphasized hypothesis changes or destroys the conclusion.

Required background. The Weyl Form of the CCR fixes conventions and hypotheses; the Schrödinger Representation provides the representative; Stone’s Theorem connects regular subgroups to self-adjoint generators.

The statement is easiest to use when every hypothesis is audited separately.

HypothesisExact role
finite nnphase space is R2n\mathbb R^{2n}, not a field or infinite lattice limit
Weyl relationa global bounded-operator relation, not only a formal commutator
regularityz↦W(z)z\mapsto W(z) is strongly continuous, so generators exist
irreducibilityno nontrivial closed subspace is invariant under all W(z)W(z)
fixed ℏ≠0\hbar\ne0the nontrivial central character is the same in both representations
complex Hilbert spacethe standard quantum representation setting

The conclusion is unitary equivalence. It does not assert literal equality of formulas or identify a preferred basis. If VV intertwines two Weyl systems, all transition probabilities and operator relations are transported by VV.

The theorem is often phrased as uniqueness of an irreducible unitary representation of the finite-dimensional Heisenberg group with prescribed nontrivial action of its center. The Weyl-system and Heisenberg-group forms are equivalent once the phase convention is fixed.

Write z=(q,p)z=(q,p) and consider the one-parameter subgroups

T(q)=W(q,0),M(p)=W(0,p).T(q)=W(q,0), \qquad M(p)=W(0,p).

Regularity means strong continuity of these families. Stone’s theorem then gives self-adjoint generators PjP_j and QjQ_j:

T(q)=exp⁡ ⁣(−iℏq⋅P),M(p)=exp⁡ ⁣(iℏp⋅Q).T(q) = \exp\!\left(-\frac{i}{\hbar}q\cdot P\right), \qquad M(p) = \exp\!\left(\frac{i}{\hbar}p\cdot Q\right).

Regularity does not say that QjQ_j and PjP_j are bounded, share every domain, or satisfy the raw commutator on all vectors. It says the global Weyl representation has well-defined self-adjoint infinitesimal generators.

Nonregular Weyl representations exist. If a parameter subgroup is discontinuous, Stone’s generator need not exist, and the representation is outside the theorem even if an algebraic Weyl-like relation is retained.

A representation is irreducible when its only common invariant closed subspaces are {0}\{0\} and H\mathcal H. Equivalently,

{B∈B(H):BW(z)=W(z)B for every z}=CI.\{B\in\mathcal B(\mathcal H):BW(z)=W(z)B \text{ for every }z\} = \mathbb C I.

Irreducibility removes multiplicity. For example,

W(z)=WS(z)⊕WS(z)W(z)=W_{\mathrm S}(z)\oplus W_{\mathrm S}(z)

is regular and has the correct central phase, but each summand is invariant. It is not equivalent to one irreducible Schrödinger copy.

The standard reducible multiplicity form says that a regular representation with the same finite-dimensional Weyl relations decomposes as

W(z)≃WS(z)⊗IKW(z) \simeq W_{\mathrm S}(z)\otimes I_{\mathcal K}

on

L2(Rn)⊗K,L^2(\mathbb R^n)\otimes\mathcal K,

under the usual separability and representation-theoretic hypotheses. The multiplicity space K\mathcal K records how many Schrödinger copies occur. The irreducible theorem is the case dim⁡K=1\dim\mathcal K=1.

On L2(Rn)L^2(\mathbb R^n),

(T(q)ψ)(x)=ψ(x−q),(M(p)ψ)(x)=eip⋅x/ℏψ(x).(T(q)\psi)(x)=\psi(x-q), \qquad (M(p)\psi)(x)=e^{ip\cdot x/\hbar}\psi(x).

The system is regular by strong continuity of translations and modulations. It is irreducible because a bounded operator commuting with every modulation is a multiplication operator, and commuting additionally with every translation forces that multiplier to be constant almost everywhere.

The theorem says that these familiar formulas are a representative of one unitary-equivalence class, not an extra coordinate postulate. Momentum space, obtained by Fourier transform, is another realization of the same class.

A rigorous proof can be organized through a system of imprimitivity.

  1. Spectral measure of the commuting subgroup. Regularity and Stone’s theorem give the commuting position generators QjQ_j and their joint PVM EQE_Q on Rn\mathbb R^n.

  2. Covariance. The Weyl relation implies

    T(q)EQ(Δ)T(q)∗=EQ(Δ+q).T(q)E_Q(\Delta)T(q)^* = E_Q(\Delta+q).

    Thus (T,EQ)(T,E_Q) is a transitive system of imprimitivity for translations acting on configuration space.

  3. Imprimitivity classification. The finite-dimensional translation system is unitarily equivalent to translations and multiplication on L2(Rn)L^2(\mathbb R^n) with a multiplicity fiber K\mathcal K.

  4. Central phase. The fixed Weyl multiplier determines the modulation action and the value of ℏ\hbar.

  5. Irreducibility. A nontrivial multiplicity space would give a nontrivial commutant. Irreducibility forces dim⁡K=1\dim\mathcal K=1.

Alternative proofs use the Heisenberg group’s convolution algebra, Fourier analysis, or explicit cyclic vectors. Each imports a nontrivial decomposition or imprimitivity theorem. The outline identifies the logical bridge; it does not replace that theorem with a few formal commutator manipulations.

The equation

[Qj,Pk]=iℏδjkI[Q_j,P_k]=i\hbar\delta_{jk}I

on a dense domain is weaker than the Weyl relations. It does not by itself ensure:

  • self-adjointness of every generator;
  • strong continuity of exponentials;
  • invariance or analyticity of the commutator domain;
  • integration to a representation of the Heisenberg group;
  • irreducibility.

Consequently, the phrase “all irreducible representations of the CCR are equivalent” is unsafe unless CCR explicitly means the regular Weyl form with finite nn and fixed central character.

Finite-dimensional Hilbert spaces provide a quick obstruction. If unitaries T(a),M(b)T(a),M(b) of dimension dd obeyed

T(a)M(b)=e−iab/ℏM(b)T(a)T(a)M(b)=e^{-iab/\hbar}M(b)T(a)

for every real a,ba,b, taking determinants would give

1=e−iabd/ℏ1=e^{-iabd/\hbar}

for every a,ba,b, which is impossible for nonzero ℏ\hbar and finite dd. Exact canonical Weyl relations require an infinite-dimensional Hilbert space.

For a field or an infinite thermodynamic system, there can be unitarily inequivalent regular irreducible representations. Different vacua, temperatures, or phases can lead to different representation classes. This is not a contradiction: the theorem assumes finite nn.

If a Weyl subgroup is not strongly continuous, its corresponding self-adjoint generator need not exist. Such representations can be useful in alternative quantizations but are excluded from the theorem.

Direct sums and multiplicity spaces satisfy the same relation. The correct conclusion is a multiple of the Schrödinger representation, not one irreducible copy.

Unitary conjugation preserves the scalar commutator phase. Systems with different fixed values of the central character are not equivalent as representations with the same labeled phase-space parameters. A coordinate rescaling can rewrite conventions, but it changes the identification of those parameters and must be stated.

At ℏ=0\hbar=0 the Weyl multiplier becomes trivial and translations commute with modulations. The representation problem is then different from the nonzero quantum CCR.

A particle on a circle, a compact group, or a manifold has different global configuration topology. Angle and angular momentum do not form the stated Euclidean Weyl system without modification.

The theorem does mean that, for a finite regular irreducible canonical system, position-space and momentum-space representations are unitarily equivalent. It explains why ordinary finite-particle canonical quantization does not produce several inequivalent Hilbert-space realizations once the hypotheses are fixed.

It does not mean:

  • every Hamiltonian is unitarily equivalent to every other Hamiltonian;
  • every choice of boundary condition is equivalent;
  • every quantization of a classical system is unique;
  • every formal commutator representation is Schrödinger-like;
  • field representations are unique;
  • the Schrödinger picture is preferred over the Heisenberg picture.

The representation of the kinematic Weyl algebra is unique under the stated hypotheses. Dynamical operators and global configuration data are additional structure.

Omitting regularity. Strong continuity is what connects the Weyl unitaries to self-adjoint canonical generators.

Omitting irreducibility. A regular direct sum satisfies the relation but contains multiplicity. It is not one Schrödinger copy.

Applying the theorem to infinitely many modes. The finite-nn hypothesis is the boundary separating ordinary canonical mechanics from the richer representation theory of fields and thermodynamic limits.

Changing ℏ\hbar silently. The central character is an invariant of the labeled representation. Unit or coordinate changes must be tracked.

Stating the theorem for [Q,P]=iℏI[Q,P]=i\hbar I alone. Domain identities do not automatically integrate to regular Weyl systems.

1. Verify the hypotheses in the Schrödinger representation

Section titled “1. Verify the hypotheses in the Schrödinger representation”

List where the Weyl relation, regularity, irreducibility, finite nn, and fixed central character were established for L2(Rn)L^2(\mathbb R^n).

Solution

Translations and modulations obey the Weyl relation by direct substitution. Their strong continuity proves regularity. The bounded-commutant argument proves irreducibility. The construction uses a declared finite integer nn, and the multiplier e−iq⋅p/ℏe^{-iq\cdot p/\hbar} fixes one nonzero value of ℏ\hbar.

Show that WS⊕WSW_{\mathrm S}\oplus W_{\mathrm S} has the right Weyl phase and is regular but fails irreducibility. Identify a non-scalar operator in its commutant.

Solution

The relations and limits hold componentwise. The projection

P(ψ1,ψ2)=(ψ1,0)P(\psi_1,\psi_2)=(\psi_1,0)

commutes with every block-diagonal WS(z)⊕WS(z)W_{\mathrm S}(z)\oplus W_{\mathrm S}(z) but is not scalar. Hence the representation is reducible.

3. Finite-dimensional determinant obstruction

Section titled “3. Finite-dimensional determinant obstruction”

Complete the determinant argument showing that exact Weyl relations for all real a,ba,b have no finite-dimensional representation when ℏ≠0\hbar\ne0.

Solution

Taking determinants of T(a)M(b)=e−iab/ℏM(b)T(a)T(a)M(b)=e^{-iab/\hbar}M(b)T(a) gives

det⁡T(a)det⁡M(b)=e−iabd/ℏdet⁡M(b)det⁡T(a).\det T(a)\det M(b) = e^{-iabd/\hbar} \det M(b)\det T(a).

The nonzero determinants cancel, requiring e−iabd/ℏ=1e^{-iabd/\hbar}=1 for every real a,ba,b. Choosing abab not in 2πℏZ/d2\pi\hbar\mathbb Z/d gives a contradiction.

Suppose VV intertwines two Weyl systems with phases determined by ℏ1\hbar_1 and ℏ2\hbar_2 while keeping the same q,pq,p labels. Show that their central phases must agree.

Solution

Conjugating the group commutator gives

V[T1(q)M1(p)T1(q)∗M1(p)∗]V−1=T2(q)M2(p)T2(q)∗M2(p)∗.V[T_1(q)M_1(p)T_1(q)^*M_1(p)^*]V^{-1} = T_2(q)M_2(p)T_2(q)^*M_2(p)^*.

The two sides are respectively e−iq⋅p/ℏ1Ie^{-iq\cdot p/\hbar_1}I and e−iq⋅p/ℏ2Ie^{-iq\cdot p/\hbar_2}I. Equality for every q,pq,p forces the same central character and hence ℏ1=ℏ2\hbar_1=\hbar_2 in the fixed parametrization.

A free scalar quantum field has one canonical pair for each momentum mode. Which Stone–von Neumann hypothesis fails before any detailed representation is chosen?

Solution

The number of canonical pairs is infinite. The finite-dimensional phase-space hypothesis already fails, so the theorem cannot establish uniqueness. One must use the representation theory of the field’s infinite-dimensional CCR algebra.

  • J. Dereziński and C. Gérard, Mathematics of Quantization and Quantum Fields, Cambridge University Press, 2013.
  • G. B. Folland, Harmonic Analysis in Phase Space, Princeton University Press, 1989.
  • B. C. Hall, Quantum Theory for Mathematicians, Springer, 2013.
  • J. von Neumann, “Die Eindeutigkeit der Schrödingerschen Operatoren,” Mathematische Annalen 104, 570–578, 1931, doi:10.1007/BF01457956.