Stone–von Neumann theorem

In mathematics and in theoretical physics, the Stone–von Neumann theorem is any one of a number of different formulations of the uniqueness of the canonical commutation relations between position and momentum operators. The name is for Marshall Stone and John von Neumann.

Trying to represent the commutation relations

In quantum mechanics, physical observables are represented mathematically by linear operators on Hilbert spaces.For a single particle moving on the real line R, there are two important observables: position and momentum. In the quantum-mechanical description of such a particle, the position operator "Q" and momentum operator "P" are respectively given by:$[Q\; psi]\; (x)\; =\; x\; psi(x)\; quad$:$[P\; psi]\; (x)\; =\; frac\{hbar\}\{i\}psi\text{'}(x)$on the domain "V" of infinitely differentiable functions of compact support on R. We assume $hbar$ is a fixed "non-zero" real number — in quantum theory $hbar$ is (up to a factor of 2π) Planck's constant, which is not dimensionless; it takes a small numerical value in terms of units in the macroscopic world. The operators "P", "Q" satisfy the commutation relation:$Q\; P-\; P\; Q\; =\; -frac\{hbar\}\{i\}\; mathbf\{1\}$Already in his classic volume, Hermann Weyl observed that this commutation law was impossible for linear operators "P", "Q" acting on finite dimensional spaces (as is clear by applying the trace of a matrix), unless $hbar$ vanishes.

In the theory of quantization of classical mechanics, the question naturally arises whether it is possible to classify pairs of operators which satisfy the above commutation relations. The answer in general is no, without additional assumptions. To give a simple counterexample, consider the operators "Q"₊ and "P"₊ defined as operators in the same form as "Q", "P" above, but acting on a different space, that is the space of infinitely differentiable functions of compact support on (0, ∞). The multiplication operator "Q"₊ is an essentially self-adjoint operator. It is also a non-negative operator, that is

:$langle\; Q\_+\; psi\; |\; psi\; angle\; geq\; 0\; quad\; forall\; psi\; in\; operatorname\{dom\}(Q)$

so cannot possibly be equivalent to "Q". Note that "P"₊ fails to be an essentially self adjoint operator on the given domain.

Weyl form of the canonical commutation relations

Instead of considering the operators "P", "Q", we will consider the pair of one-parameter groups of unitary operators e^{i"a P"} and e^{i"b Q"}; these operators are well-defined since "P", "Q" are essentially self-adjoint on the domain "V" and so have unique self-adjoint extensions. Clearly e^{i"b Q"} is multiplication by the function e^{i"b" "x"}, while e^{i"a" "P"} is the operator of left translation by "a", that is,:$[operatorname\{e\}^\{iaP\}\; psi]\; (x)\; =\; psi(x\; +\; hbar\; a).$

Theorem. Let "H" be a separable Hilbert space and "A", "B" self-adjoint operators on "H". If :$operatorname\{e\}^\{ibA\}\; operatorname\{e\}^\{iaB\}\; =\; operatorname\{e\}^\{i\; hbar\; a\; b\}operatorname\{e\}^\{iaB\}\; operatorname\{e\}^\{ibA\}quad$then "H" is a finite or countably infinite Hilbert direct sum of Hilbert spaces {"H"_"k"}_"k", each one invariant under both unitary groups e^{i"b A"} and e^{i"a B"}. Moreover, for each index "k" there is a unitary operator "V"_"k" : "H"_"k" → L²(R)such that:$V\_k\; operatorname\{e\}^\{ibA\}\; V\_k^*\; =\; operatorname\{e\}^\{ibQ\}$:$V\_k\; operatorname\{e\}^\{iaB\}\; V\_k^*\; =\; operatorname\{e\}^\{iaP\}$Stated another way, any representation of the canonical commutation relations is a countable direct sum of isomorphic copies of e^{i"a P"} and e^{i"b Q"}.

This statement is usually referred to as the uniqueness of the Weyl form of the canonical commutation relations.

Another formulation

We can formulate this somewhat differently, noting that the unitary groups {e^{i"s P"}} and {e^{i"t Q"}} are jointly irreducible. This means that there are no closed subspaces other than {0} and L²(R) which are invariant under all the operators e^{i"s P"} and e^{i"t Q"}.

Theorem. Let "H" be a (non-trivial) separable Hilbert space "A", "B" self-adjoint operators on "H" such that the Weyl commutation relations above hold and the operators {e^{i"t A"}} and {e^{i"s B"}} for "s" and "t" ranging over real numbers are jointly irreducible. Then in the previous theorem the direct sum reduces to a single (non-trivial) summand.

Historically this theorem was significant because it was a key step in proving that Heisenberg's matrix mechanics which presents quantum mechanical observables and dynamics in terms of infinite matrices, is unitarily equivalent to Schrödinger's wave mechanical formulation (see Schrödinger picture).

The Heisenberg group

The commutation relations for "P", "Q" look very similar to the commutation relations that define the Lie algebra of general Heisenberg group H_"n" for "n" a positive integer. This is the Lie group of ("n"+2) × ("n"+2) square matrices of the form

:

In fact, using the Heisenberg group, we can formulate a far-reaching generalization of the Stone von Neumann theorem. Note that the center of H_"n" consists of matrices M(0, 0, "c").

Theorem. For each non-zero real number "h" there is an irreducible representation "U"_"h" acting on the Hilbert space L²(R^"n") by:$[U\_h(operatorname\{M\}(a,b,c))]\; psi(x)\; =\; e^\{i\; (b\; cdot\; x\; +\; h\; c)\}\; psi(x+h\; a)$All these representations are unitarily inequivalent and any irreducible representation which is not trivial on the center of H_"n" is unitarily equivalent to exactly one of these.

Note that "U"_"h" is a unitary operator because it is the composition of two operators which are easily seen to be unitary: the translation to the "left" by "h a" and multiplication by a function of absolute value 1. To show "U"_"h" is multiplicative is a straightforward calculation. The hard part of the theorem is showing the uniqueness which is beyond the scope of the article. However, below we sketch a proof of the corresponding Stone–von Neumann theorem for certain finite Heisenberg groups.

In particular, irreducible representations π, π' of the Heisenberg group H_"n" which are non-trivial on the center of H_"n" are unitarily equivalent if and only if π("z") = π'("z") for any "z" in the center of H_"n".

One representation of the Heisenberg group that is important in the number theory and the theory of modular forms is the theta representation, so named because the Jacobi theta function is invariant under the action of the discrete subgroup of the Heisenberg group.

Relation to the Fourier transform

For any non-zero "h", the mapping :$alpha\_h:\; operatorname\{M\}(a,b,c)\; ightarrow\; operatorname\{M\}(-h^\{-1\}\; b,h\; a,\; c\; -a\; b)$is an automorphism of H_"n" which is the identity on the center of H_"n". In particular, the representations "U"_"h" and "U"_"h" α are unitarily equivalent. This means that there is a unitary operator"W" on L²(R^"n") such that for any "g" in H_"n",:$W\; U\_h(g)\; W^*\; =\; U\_h\; alpha\; (g)\; quad$Moreover, by irreducibility of the representations "U"_"h", it follows that up to a scalar, such an operator "W" is unique (cf. Schur's lemma).

Theorem. The operator "W" is, up to a scalar multiple, the Fourier transform on L²(R^"n").

This means that (ignoring the factor of (2 π)^"n"/2 in the definition of the Fourier transform):$int\_\{mathbb\{R\}^n\}\; e^\{-i\; x\; cdot\; p\}\; e^\{i\; (b\; cdot\; x\; +\; h\; c)\}psi\; (x+h\; a)\; dx\; =\; e^\{\; i\; (h\; a\; cdot\; p\; +\; h\; (c\; -\; b\; cdot\; a))\}\; int\_\{mathbb\{R\}^n\}\; e^\{-i\; y\; cdot\; (\; p\; -\; b)\}\; psi(y)\; dy$

The previous theorem can actually be used to prove the unitary nature of the Fourier transform, also known as the Plancherel theorem. Moreover, note that:$(alpha\_h)^2\; operatorname\{M\}(a,b,c)\; =operatorname\{M\}(-\; a,\; -b,\; c)$

Theorem. The operator "W"₁ such that :$W\_1\; U\_h\; W\_1^*\; =\; U\_h\; alpha^2\; (g)\; quad$is the reflection operator :$[W\_1\; psi]\; (x)\; =\; psi(-x).quad$

From this fact the Fourier inversion formula easily follows.

Representations of finite Heisenberg groups

The Heisenberg group H_"n"(K) is defined for any commutative ring K. In this section let us specialize to the field K = Z/"p" Z for "p" a prime. This field has the property that there is an imbedding ω of K as an additive group into the circle group T. Note that H_"n"(K) is finite with cardinality |K|^{2 n+1}. For finite Heisenberg group H_"n"(K) one can give a simple proof of the Stone–von Neumann theorem using simple properties of character functions of representations. These properties follow from the orthogonality relations for characters of representations of finite groups.

For any non-zero "h" in K define the representation "U"_"h" on the finite-dimensional inner product space "l"²(K^"n") by:$[U\_h\; operatorname\{M\}(a,b,c)\; psi]\; (x)\; =\; omega(b\; cdot\; x\; +\; h\; c)\; psi(x+\; h\; a)$

Theorem. For a fixed non-zero "h", the character function χ of "U"_"h" is given by::It follows that:$frac\{1\}\; sum\_\{g\; in\; operatorname\{H\}\_n(mathbf\{K\})\}\; |chi(g)|^2\; =\; frac\{1\}\{|mathbf\{K\}|^\{2\; n+1\; |mathbf\{K\}|^\{2\; n\}\; |mathbf\{K\}|\; =\; 1$By the orthogonality relations for characters of representations of finite groups this fact implies the corresponding Stone–von Neumann theorem for Heisenberg groups H_"n"(Z/"p" Z), particularly:
* Irreducibility of "U"_"h"
* Pairwise inequivalence of all the representations "U"_"h".

Generalizations

The Stone–von Neumann theorem admits numerous generalizations. Much of the early work of George Mackey was directed at obtaining a formulation of the theory of induced representations developed originally by Frobenius for finite groups to the context of unitary representations of locally compact topological groups.

ee also

* Weyl quantization
* CCR algebra
* Moyal product
* Weyl algebra

References

* G. W. Mackey, "The Theory of Unitary Group Representations", The University of Chicago Press, 1976
* H. Weyl, "The Theory of Groups and Quantum Mechanics", Dover Publications, 1950
* A. Kirillov, "Éléments de la Théorie des Représentations", Editions MIR, 1974