not to be confused with Wigner classification
quantum algorithms:
algebraic quantum field theory (perturbative, on curved spacetimes, homotopical)
quantum mechanical system, quantum probability
interacting field quantization
What is known as Wigner’s theorem (in honor of the appendix of §20 in Wigner 1931/59) is one of the basic results on the foundations of quantum mechanics (generally of quantum physics). The theorem characterizes the intrinsic notion of symmetries in quantum physics (“quantum symmetries”) assuming only observable properties of (pure) quantum states (namely their projectivity subject to the Born rule) and deriving from this that quantum symmetries are necessarily represented by unitary operators or anti-unitary operators on the Hilbert space of states.
Notice that a prominent class of examples of anti-unitary operators appearing as quantum symmetries are time-reversal symmetries (Wigner 1959, §26) such as appearing in the CPT-theorem.
A key applications of Wigner’s theorem is within the K-theory classification of topological phases of matter, where the (anti-)unitary quantum symmetries of effectively free electrons in a crystal are identified with possible twistings of the equivariant K-theory of the crystal’s Brillouin torus (Freed & Moore 2013, §1, see also SS22, §2.2).
Let be a complex separable Hilbert space and write
for its complex projective space (here denotes the group of units of the ring of complex numbers and will denote the unitary group U(1)).
In quantum physics one often says that a pure quantum state is an element (hence a vector, then often called a “wavefunction”) , but by the Born rule it is really only the corresponding complex line
which is physically observable. In fact, what is concretely observable (still according to the Born rule) are the transition probabilities, given by the following function to the closed interval of possible probability values:
where denotes the given inner product on .
Hence a “quantum symmetry” in the sense of a re-shuffling of the pure states of a quantum system which leaves the observable physics invariant must be a bijection on the projective space (1) which preserves the observable probabilities (2):
An example of a quantum symmetry (3) is provided by any complex-linear and unitary operator on the underlying Hilbert space,
in that the induced projectivization
evidently satisfies (3).
On the one hand, there are more quantum symmetries than arise from unitary operators this way. Namely, if is an anti-linear anti-unitary operator, then (4) still holds.
On the other hand, this does now already exhaust the most general situation: Wigner’s theorem (Prop. below) says that for every quantum symmetry (3) there exists a map which is either a unitary operator or an anti-unitary operator, such that (4).
(Wigner’s theorem)
Every quantum symmetry (3) is the projectivization (4) of a map which is either a unitary operator or an anti-unitary operator.
Other theorems about the foundations and interpretation of quantum mechanics include:
The original:
and its English translation:
The first full proof:
New proof using the Fubini-Study metric:
A proof in the greater generality of possibly non-pure quantum states:
See also:
Discussion for quaternionic Hilbert spaces:
In the context of the K-theory classification of topological phases of matter:
Last revised on July 13, 2022 at 18:40:16. See the history of this page for a list of all contributions to it.