Stone–von Neumann theorem

The Stone–von Neumann theorem is an important idea in mathematics and theoretical physics.

It talks about how two important things in physics, called position and momentum operators, work together. These operators help us understand very small pieces of matter and energy, which is a part of physics called quantum mechanics.

This theorem was named after two smart people, Marshall Stone and John von Neumann.

The theorem shows that, under some conditions, there is only one way these operators can act. This makes studying quantum systems more predictable and easier for scientists and mathematicians. It helps experts solve many difficult problems.

Representation issues of the commutation relations

In quantum mechanics, we describe things like a particle's position and momentum using math tools called linear operators. These operators work in special spaces named Hilbert spaces.

The Stone–von Neumann theorem says that, for a small particle moving in a straight line, there is usually only one way to describe its position and momentum. These two measurements follow special rules called the canonical commutation relations. This helps scientists ensure their math matches what we observe in experiments.

Uniqueness of representation

The Stone–von Neumann theorem helps us understand special pairs of rules in math and physics. These rules connect two important ideas: where something is (position) and how fast it’s moving (momentum). The theorem tells us that, in many important cases, these pairs of rules work in only one basic way when we study them on special spaces called Hilbert spaces.

This idea is important because it links two famous ways of describing quantum physics created by Heisenberg and Schrödinger. It shows that, despite looking different, both methods describe the same physics in a deeply connected way.

Heisenberg group

The Stone–von Neumann theorem connects to the Heisenberg group, a special set of square matrices. These matrices help describe the relationship between position and momentum in quantum mechanics.

The Heisenberg group has a center made of certain matrices, and its generators correspond to position, momentum, and a central element.

The theorem shows that for each non-zero real number ( h ), there is a special way to represent the Heisenberg group using functions. These representations are all different from each other in a precise way, and any non-trivial representation is connected to exactly one of these special forms. This uniqueness is a key part of the Stone–von Neumann theorem.

Main article: Stone–von Neumann theorem

Example: Segal–Bargmann space

The Segal–Bargmann space is a special part of mathematics. It deals with functions that change smoothly. These functions help scientists study tiny particles and waves.

In the 1920s, a mathematician named Fock noticed that some math rules for these functions matched the rules for tiny particles. Later, in 1961, another mathematician named Bargmann showed how to connect these rules better. Because of this work, we can understand important ideas in physics, thanks to the Stone–von Neumann theorem. This theorem shows that different math descriptions of particles are connected in a clean way.

Segal–Bargmann transform

Representations of finite Heisenberg groups

The Heisenberg group is a special group used in math and physics. When we look at a smaller version of this group using whole numbers divided by a prime number, we can show something important called the Stone–von Neumann theorem in a simple way. This theorem helps us understand how different math rules work together.

For this smaller group, we can study special math patterns called character functions. These patterns help prove that certain math rules are unique and different from each other. This gives us a clear picture of how these math ideas fit together.

Generalizations

The Stone–von Neumann theorem can be expanded in many ways. Early work by George Mackey looked at how ideas about group representations could be used. These ideas were first used by Frobenius for small groups, and then applied to larger, more complex structures called locally compact topological groups. This helps connect different parts of mathematics.