Stone-von Neumann theorem Guide, Meaning , Facts, Information and Description
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.
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 P and momentum operator Q are respectively given by
Trying to represent the commutation relations
on the domain V of infinitely differentiable functions of compact support on R. We assume is a fixed non-zero real number — in quantum theory 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
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 P+ and Q+ defined as operators in the same form as P, Q above, but acting on a different space, that is the space of infinitely differentiable functions of compact support on (0, ∞). The multiplication operator P+ is an essentially self-adjoint operator. It is also a non-negative operator, that is
Instead of considering the operators P, Q, we will consider the pair of one-parameter groups of unitary operators eit P and eis 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 eit P is multiplication by the function eit x, while eis Q is the operator of left translation by s, that is,
Weyl form of the canonical commutation relations
Theorem. Let H be a separable Hilbert space and A, B self-adjoint operators on H. If
then H is a finite or countably infinite Hilbert direct sum of Hilbert spaces {Hk}k, each one invariant under both unitary groups eit A and eis B. Moreover, for each index k there is a unitary operator Vk : Hk → L2(R)
such that
This statement is usually referred to as the uniqueness of the Weyl form of the canonical commutation relations.
We can formulate this somewhat differently, noting that the unitary groups {eit P} and {eis Q} are jointly irreducible. This means that there are no closed subspaces other than {0} and L2(R) which are invariant under all the operators eit P and eis 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 {eit A} and {eis B} are jointly irreducible. Then in the previous theorem the direct sum reduces to a single 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 commutation relations for P, Q look very similar to the commutation relations that define the Lie algebra of general Heisenberg group Hn for n a positive integer. This is the Lie group of (n+2) × (n+2) square matrices of the form
Theorem. For each non-zero real number h there is an irreducible representation Uh acting on
on the Hilbert space L2(Rn) by
Note that Uh 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 Uh 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 Hn which are non-trivial on the center of Hn are unitarily equivalent if and only if π(z) = π'(z) for any z in the center of Hn.
For any non-zero h, the mapping
Theorem. The operator W is, up to a scalar multiple, the Fourier transform on L2(Rn).
This means that (ignoring the factor of (2 π)n/2 in the definition of the Fourier transform)
The Heisenberg group Hn(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 Hn(K) is finite with cardinality |K|2 n+1. For finite Heisenberg group Hn(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 Uh on the finite-dimensional inner product space l2(Kn) by
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.Another formulation
The Heisenberg group
In fact, using the Heisenberg group, we can formulate a far-reaching generalization of the Stone von Neumann theorem. Note that the center of Hn consists of matrices M(0, 0, c).
All these representations are unitarily inequivalent and any irreducible representation which is not trivial on the center of Hn is unitarily equivalent to exactly one of these.Relation to the Fourier transform
is an automorphism of Hn which is the identity on the center of Hn. In particular, the representations Uh and Uh α are unitarily equivalent. This means that there is a unitary operator
W on L2(Rn) such that for any g in Hn,
Moreover, by irreducibility of the representations Uh, it follows that up to a scalar, such an operator W is unique (cf. Schur's lemma).
The previous theorem can actually be used to prove the unitary nature of the Fourier transform, also known as the Plancherel theorem. Moroever, note that
Theorem. The operator W1 such that
is the reflection operator
From this fact the Fourier inversion formula easily follows.Representations of finite Heisenberg groups
Theorem. For a fixed non-zero h, the character function χ of Uh is given by:
It follows that
By the orthogonality relations for characters of representations of finite groups this fact implies the corresponding Stone-von Neumann theorem for Heisenberg groups Hn(Z/p Z), particularly:
Generalizations