nLab Wigner theorem

Redirected from "Wigner's theorem".
Note: Wigner theorem and Wigner theorem both redirect for "Wigner's theorem".
Contents

not to be confused with Wigner classification

Context

Quantum systems

quantum logic


quantum physics


quantum probability theoryobservables and states


quantum information


quantum computation

qbit

quantum algorithms:


quantum sensing


quantum communication

AQFT

algebraic quantum field theory (perturbative, on curved spacetimes, homotopical)

Introduction

Concepts

field theory:

Lagrangian field theory

quantization

quantum mechanical system, quantum probability

free field quantization

gauge theories

interacting field quantization

renormalization

Theorems

States and observables

Operator algebra

Local QFT

Perturbative QFT

Contents

Idea

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).

Preliminaries

Let \mathcal{H} be a complex separable Hilbert space and write

(1)P({0})/ × P\mathcal{H} \;\coloneqq\; \big( \mathcal{H} \setminus \{0\} \big)/ \mathbb{C}^\times

for its complex projective space (here ×={0}\mathbb{C}^\times = \mathbb{C} \setminus \{0\} denotes the group of units of the ring of complex numbers and U(1) ×\mathrm{U}(1) \subset \mathbb{C}^\times 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”) ψ\psi \,\in\, \mathcal{H}, but by the Born rule it is really only the corresponding complex line

[ψ]{cψ|cU(1)}P [\psi] \;\coloneqq\; \big\{ c \cdot \psi \,\big\vert\, c \in \mathrm{U}(1) \big\} \;\;\; \in \; P\mathcal{H}

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:

(2)P×P p [0,1] ([ψ 1],[ψ 2]) ψ 1|ψ 2ψ 2|ψ 1ψ 1|ψ 1ψ 2|ψ 2, \array{ P\mathcal{H} \times P\mathcal{H} &\xrightarrow{\;\;\;p\;\;\;}& [0,1] \\ \big( [\psi_1] ,\, [\psi_2] \big) & \overset{\;\;\;\;}{\mapsto} & \frac{ \langle \psi_1 \vert \psi_2 \rangle \langle \psi_2 \vert \psi_1 \rangle }{ \langle \psi_1 \vert \psi_1 \rangle \langle \psi_2 \vert \psi_2 \rangle } \mathrlap{\,,} }

where |\langle - \vert - \rangle denotes the given inner product on \mathcal{H}.

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 PP\mathcal{H} (1) which preserves the observable probabilities (2):

(3)S:PP,p(S(),S())=p(,). S \;\colon\; P\mathcal{H} \xrightarrow{\;\sim\;} P\mathcal{H} \,, \;\;\;\;\;\; p \big( S(-) ,\, S(-) \big) \;=\; p(-,\,-) \,.

An example of a quantum symmetry (3) is provided by any complex-linear and unitary operator on the underlying Hilbert space,

U:𝒰,U()|U()=|, U \,\colon\, \mathcal{H} \xrightarrow{\;\;} \mathcal{U} \,, \;\;\;\;\;\;\;\; \big\langle U(-) \big\vert U(-) \big\rangle \;=\; \big\langle - \big\vert - \big\rangle \,,

in that the induced projectivization

(4)P [U] P [ψ] [U(ψ)] \array{ P\mathcal{H} &\xrightarrow{\;\;[U]\;\;}& P\mathcal{H} \\ [\psi] &\mapsto& \big[ U(\psi) \big] }

evidently satisfies (3).

On the one hand, there are more quantum symmetries than arise from unitary operators this way. Namely, if UU 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 S:PPS \,\colon\, P\mathcal{H} \xrightarrow{\;} P\mathcal{H} (3) there exists a map U:U \,\colon\, \mathcal{H} \xrightarrow{\;} \mathcal{H} which is either a unitary operator or an anti-unitary operator, such that S=[U]S \,=\, [U] (4).

Statement

Proposition

(Wigner’s theorem)
Every quantum symmetry S:PPS \,\colon\, P\mathcal{H} \xrightarrow{\;} P\mathcal{H} (3) is the projectivization (4) of a map U:U \,\colon\, \mathcal{H} \xrightarrow{\;} \mathcal{H} which is either a unitary operator or an anti-unitary operator.

The first full proof of this statement seems to be that due to Bargmann 1964, §1.3, following indications in the appendix of §20 in Wigner 1931/59. A geometric proof via the Fubini-Study metric is given in Freed 2012, Thm. 8. Statement and proof in the greater generality of possibly non-pure quantum states is given in Moretti 2017, Thm. 12.11.

Other theorems about the foundations and interpretation of quantum mechanics include:

References

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:

  • C. S. Sharma and D. F. Almeida, Additive isometries on a quaternionic Hilbert space, Journal of Mathematical Physics 31, 1035 (1990) (doi:10.1063/1.528779)

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.