Symmetries in quantum mechanics

Ask a physicist why momentum is conserved and the deepest honest answer is not a force law but a fact about empty space: nothing in the physics changes if you slide the whole experiment sideways. That single sentence — the dynamics does not care where you put the origin — turns out to be equivalent to ddt⟨p^⟩=0\frac{d}{dt}\langle\hat{p}\rangle=0, and the machine that converts one statement into the other is the theory of symmetries in quantum mechanics. In classical mechanics the bridge is Noether's theorem, phrased in the language of Lagrangians. In quantum mechanics the bridge is sharper and, in a sense, more elementary, because it is built directly from the two things a quantum theory cannot do without: the inner product that defines probabilities, and the Hamiltonian that defines time evolution. The argument is short enough to state in one breath. A symmetry is any transformation ψ→ψ′=U^ψ\psi\to\psi'=\hat{U}\psi that leaves every measurable prediction unchanged. Preserving predictions means preserving the norm, which forces U^\hat{U} to be unitary. If the Hamiltonian also respects the symmetry, then U^\hat{U} commutes with it, [H^,U^]=0[\hat{H},\hat{U}]=0. Any continuous family of such unitaries is generated by a Hermitian operator G^\hat{G} through U^=eiαG^\hat{U}=e^{i\alpha\hat{G}}, and because U^\hat{U} commutes with H^\hat{H} so does G^\hat{G} — whereupon the Heisenberg equation delivers ddt⟨G^⟩=0\frac{d}{dt}\langle\hat{G}\rangle=0. The generator is a conserved observable. Symmetry forces unitarity, unitarity supplies a Hermitian generator, the generator is a conservation law. The same reasoning, applied to internal transformations rather than motions in space, is the seed of isospin, the Eightfold Way, and the entire gauge structure of the Standard Model.

Key takeaways
  • A symmetry is a transformation ψ→U^ψ\psi\to\hat{U}\psi that leaves all predictions invariant; preserving the norm forces U^\hat{U} to be unitary, U^†U^=I\hat{U}^\dagger\hat{U}=I.
  • A symmetry of the dynamics means U^\hat{U} commutes with the Hamiltonian, [H^,U^]=0[\hat{H},\hat{U}]=0, so it maps energy eigenstates to degenerate energy eigenstates.
  • Continuous symmetries exponentiate a Hermitian generator: U^(α)=eiαG^\hat{U}(\alpha)=e^{i\alpha\hat{G}} with G^=G^†\hat{G}=\hat{G}^\dagger — an observable.
  • That generator is conserved: ddt⟨G^⟩=i⟨[H^,G^]⟩=0\frac{d}{dt}\langle\hat{G}\rangle=i\langle[\hat{H},\hat{G}]\rangle=0 — the quantum form of Noether's theorem. Translations are generated by momentum, rotations by angular momentum, internal phases by charge.
  • Symmetry operations close into a group: the central ones are U(1)U(1), SU(2)SU(2), SU(3)SU(3), whose n2−1n^2-1 generators become the force-carrying gauge bosons.
  • Key idea: every symmetry of the Hamiltonian is a unitary operator that commutes with it, and its Hermitian generator is automatically a conserved observable — one chain of logic that links symmetry, group theory, and conservation laws.
The core insight

Every symmetry of the Hamiltonian is a unitary operator that commutes with it, and its Hermitian generator is automatically a conserved observable — this single chain of logic links symmetry, group theory, and conservation laws.

Where this lives today

Symmetry in quantum mechanics is not a foundation that later theories outgrew — it is the load-bearing wall of the Standard Model. The gauge group SU(3)c×SU(2)L×U(1)YSU(3)_c\times SU(2)_L\times U(1)_Y is a direct application of equation (6): its 8+3+1=128+3+1=12 generators are the eight gluons of QCD and the four electroweak bosons (W±W^\pm, Z0Z^0, and the photon), measured to sub-percent precision at LEP and the LHC. The internal SU(2)SU(2) isospin that Heisenberg wrote down in 1932 to explain the near-equal proton and neutron masses is the template every student meets first; its SU(3)SU(3) flavour extension predicted the Ω−\Omega^- baryon before it was found, filling the last seat in a decuplet. Lattice QCD exploits these exact symmetries to compute hadron masses from first principles, and the tiny observed violations — parity violation in the weak interaction (1957), the CP violation tied to time reversal through the CPT theorem — are themselves precision probes of new physics. Wherever an experiment reports a "conserved quantum number" or a "forbidden transition", it is reading out equations (5) and (2).

The physical picture

The subject is a chain of implications, each link forced by the one before. Start from the only thing a symmetry is required to do — leave measurable predictions alone — and unitarity, commutation with H^\hat{H}, a Hermitian generator, and a conservation law fall out in order. The first figure lays that chain out at a glance.

Figure
The single chain of logic — invariance of predictions forces Û to be unitary (Û†Û = I); a Hamiltonian sharing the symmetry makes Ĥ and Û commute; the Hermitian generator Ĝ obeys Û = exp(iαĜ); and the Heisenberg equation then makes the expectation ⟨Ĝ⟩ constant in time, so Ĝ is conserved
One requirement — predictions unchanged — forces the entire chain symmetry ψ → ψ′ = Ûψ norm preserved Û†Û = I (unitary) H invariant too [Ĥ, Û] = 0 Hermitian generator Û = e^(iαĜ), Ĝ = Ĝ† conserved observable d⟨Ĝ⟩/dt = 0

The second figure carries a real number, and it is the cleanest quantitative surprise in the subject: the group of quantum symmetries is not always the group of geometric motions you started with. Rotations in space form SO(3)SO(3), but the operators that rotate a spin-½ state form SU(2)SU(2), which wraps around SO(3)SO(3) twice. Turn a spinor through a full 2π2\pi and it does not come back — its state vector is multiplied by −1-1; only a 4π4\pi turn restores it. For a spin lying perpendicular to the rotation axis — so that ⟨n^⋅σ⃗⟩=0\langle\hat{\mathbf n}\cdot\vec\sigma\rangle=0, the standard neutron-interferometry geometry — the overlap between original and rotated state is exactly cos⁡(θ/2)\cos(\theta/2), plotted below.

Figure
A spin-½ state, its spin perpendicular to the rotation axis, rotated by angle θ: the amplitude to remain unrotated is cos(θ/2), which passes through 0 at θ = π, reaches −1 after a full 2π turn, and returns to +1 only after 4π — the two-to-one double cover of SU(2) over the rotation group SO(3)
A spinor (spin ⊥ axis) needs 4π: ⟨ψ Û(θ) ψ⟩ = cos(θ/2), −1 at 2π +1 0 −1 0 π 2π 3π 4π rotation angle θ 2π turn → −1 4π turn → +1 π turn → 0

The core equations

The theory is a handful of operator identities. Requiring a transformation to leave probabilities alone is requiring it to leave the inner product alone, ⟨U^ψ∣U^ϕ⟩=⟨ψ∣ϕ⟩\langle\hat{U}\psi|\hat{U}\phi\rangle=\langle\psi|\phi\rangle for all states. On operators, that is unitarity.

U^†U^=U^U^†=I(1)\hat{U}^\dagger\hat{U}=\hat{U}\hat{U}^\dagger=I \qquad (1)

where: U^\hat{U} — the symmetry operator; U^†\hat{U}^\dagger — its adjoint; II — the identity. Reading: U^\hat{U} preserves lengths and angles in Hilbert space, so no probability is created or destroyed — the bar every candidate symmetry must clear first. A transformation can be unitary and still not be a symmetry of the dynamics — that requires the Hamiltonian be unchanged, U^H^U^†=H^\hat{U}\hat{H}\hat{U}^\dagger=\hat{H}, which rearranges into a vanishing commutator.

[H^,U^]=H^U^−U^H^=0(2)[\hat{H},\hat{U}]=\hat{H}\hat{U}-\hat{U}\hat{H}=0 \qquad (2)

where: H^\hat{H} — the Hamiltonian; [ ⋅ ,⋅ ][\,\cdot\,,\cdot\,] — the commutator. Reading: U^\hat{U} and H^\hat{H} share eigenstates, so U^\hat{U} maps each energy level onto itself — shuffling degenerate states without moving energies, organizing the spectrum into multiplets. A continuous symmetry is a family U^(α)\hat{U}(\alpha) smoothly connected to the identity. Expanding near α=0\alpha=0, the first-order term defines the generator.

U^(ϵ)=I+iϵG^+O(ϵ2),G^=G^†(3)\hat{U}(\epsilon)=I+i\epsilon\hat{G}+O(\epsilon^2),\qquad \hat{G}=\hat{G}^\dagger \qquad (3)

where: ϵ\epsilon — an infinitesimal parameter; G^\hat{G} — the generator. Reading: imposing U^†U^=I\hat{U}^\dagger\hat{U}=I to order ϵ\epsilon gives G^=G^†\hat{G}=\hat{G}^\dagger, so the generator is Hermitian — an observable you can measure. Finite transformations are recovered by compounding infinitely many infinitesimal ones — exponentiating the generator.

U^(α)=lim⁡N→∞(I+iαNG^)N=eiαG^(4)\hat{U}(\alpha)=\lim_{N\to\infty}\left(I+\tfrac{i\alpha}{N}\hat{G}\right)^{N}=e^{i\alpha\hat{G}} \qquad (4)

where: α\alpha — the finite parameter (an angle, a displacement). Reading: the Hermitian operator G^\hat{G} contains the whole one-parameter family, and [H^,U^(α)]=0[\hat{H},\hat{U}(\alpha)]=0 for every α\alpha gives [H^,G^]=0[\hat{H},\hat{G}]=0. The conservation law is now automatic. The Heisenberg equation for any operator without explicit time dependence, in natural units (ℏ=1\hbar=1), reads dG^dt=i[H^,G^]\frac{d\hat{G}}{dt}=i[\hat{H},\hat{G}]; its expectation value gives Noether's theorem.

ddt⟨G^⟩=i ⟨[H^,G^]⟩=0(5)\frac{d}{dt}\langle\hat{G}\rangle=i\,\langle[\hat{H},\hat{G}]\rangle=0 \qquad (5)

where: ⟨G^⟩\langle\hat{G}\rangle — the expectation value in any state. Reading: the generator's expectation is frozen in time. Translations freeze ⟨p^⟩\langle\hat{p}\rangle, rotations freeze ⟨L^⟩\langle\hat{L}\rangle, a phase freezes charge — one equation, many conservation laws. Finally, the symmetry operations close under composition into a group, and for continuous groups the generators close under commutation into a Lie algebra fixed by structure constants.

[T^a,T^b]=i fabc T^c,dim⁡SU(n)=n2−1(6)[\hat{T}_a,\hat{T}_b]=i\,f_{abc}\,\hat{T}_c,\qquad \dim SU(n)=n^2-1 \qquad (6)

where: T^a\hat{T}_a — the Hermitian generators; fabcf_{abc} — the real structure constants; n2−1n^2-1 — the number of SU(n)SU(n) generators. Reading: U(1)U(1) has one (charge), SU(2)SU(2) three (isospin), SU(3)SU(3) eight (colour) — and in a gauge theory each generator becomes a force-carrying boson.

Derivation AWhy a symmetry operator must be unitary and commute with the Hamiltonian

The goal here is to show that the two defining properties of a quantum symmetry — unitarity and commutation with the Hamiltonian — are not separate postulates but forced consequences of two innocuous demands: that a symmetry preserve the probabilities a measurement can return, and that it be a symmetry of the dynamics rather than of a single instant. We build the argument from the inner product outward, because that is where all physical content lives, and finish by reading off the degeneracy structure that commutation implies.

Step 1. Demand that the transformation ψ→U^ψ\psi\to\hat{U}\psi leave every transition probability unchanged: ∣⟨U^ϕ∣U^ψ⟩∣2=∣⟨ϕ∣ψ⟩∣2|\langle\hat{U}\phi|\hat{U}\psi\rangle|^2=|\langle\phi|\psi\rangle|^2 for all pairs of states. The cleanest way to enforce this for all states at once is ⟨U^ϕ∣U^ψ⟩=⟨ϕ∣ψ⟩\langle\hat{U}\phi|\hat{U}\psi\rangle=\langle\phi|\psi\rangle, i.e. ⟨ϕ∣U^†U^∣ψ⟩=⟨ϕ∣ψ⟩\langle\phi|\hat{U}^\dagger\hat{U}|\psi\rangle=\langle\phi|\psi\rangle identically, which forces U^†U^=I\hat{U}^\dagger\hat{U}=I. Why: probabilities are squared inner products, so "predictions unchanged" is literally "inner products unchanged", and that statement, holding for arbitrary states, is the operator equation of unitarity.

Step 2. Note the subtlety Wigner resolved: preserving only the moduli ∣⟨ϕ∣ψ⟩∣|\langle\phi|\psi\rangle| admits a second class where U^\hat{U} is antiunitary (antilinear, with complex conjugation), which is how time reversal is realized. For any symmetry continuously connected to the identity, antiunitary is impossible — the identity is unitary — so every continuous symmetry is unitary. Why: this is Wigner's theorem, and why parity and charge conjugation are unitary while time reversal alone is antiunitary.

Step 3. Now demand invariance of the dynamics, not just of states. Time evolution is e−iH^te^{-i\hat{H}t}; requiring that transforming-then-evolving equals evolving-then-transforming, U^e−iH^t=e−iH^tU^\hat{U}e^{-i\hat{H}t}=e^{-i\hat{H}t}\hat{U} for all tt, is equivalent to U^H^U^†=H^\hat{U}\hat{H}\hat{U}^\dagger=\hat{H}. Multiply on the right by U^\hat{U} to get U^H^=H^U^\hat{U}\hat{H}=\hat{H}\hat{U}, that is [H^,U^]=0[\hat{H},\hat{U}]=0. Why: a symmetry of a snapshot need not survive evolution; commuting with H^\hat{H} is exactly the condition that the symmetry is respected at every later time.

Step 4. Read off the consequence. If H^∣ψ⟩=E∣ψ⟩\hat{H}|\psi\rangle=E|\psi\rangle, then H^(U^∣ψ⟩)=U^H^∣ψ⟩=E(U^∣ψ⟩)\hat{H}(\hat{U}|\psi\rangle)=\hat{U}\hat{H}|\psi\rangle=E(\hat{U}|\psi\rangle), so U^∣ψ⟩\hat{U}|\psi\rangle is a second eigenstate with the same energy. Unless U^∣ψ⟩∝∣ψ⟩\hat{U}|\psi\rangle\propto|\psi\rangle, the level is degenerate, and U^\hat{U} rotates within the degenerate subspace. Why: this is the mechanism by which symmetry produces the multiplets — the 2ℓ+12\ell+1 states of a given angular momentum, the near-degenerate proton and neutron of isospin — that structure every spectrum in physics.

Go deeper · Derivation B · 2 minFrom infinitesimal transformations to Hermitian generators and conserved quantities
Derivation BFrom infinitesimal transformations to Hermitian generators and conserved quantities

The aim of this derivation is to turn the abstract statement "a continuous symmetry" into a concrete, measurable object — a Hermitian generator — and then to show without any further input that this observable is conserved. The route is the standard one for Lie groups: linearize near the identity to extract the generator, impose unitarity to fix its Hermiticity, exponentiate to recover finite transformations, and feed the result into the Heisenberg equation of motion, where the conservation law appears for free.

Step 1. Write a transformation infinitesimally close to the identity as U^(ϵ)=I+iϵG^+O(ϵ2)\hat{U}(\epsilon)=I+i\epsilon\hat{G}+O(\epsilon^2), which merely defines the generator G^\hat{G} as the first derivative G^=−i dU^/dϵ\hat{G}=-i\,d\hat{U}/d\epsilon at ϵ=0\epsilon=0. The factor of ii is inserted by convention so that G^\hat{G} will come out Hermitian rather than anti-Hermitian. Why: every element of a continuous group near the identity is captured by its tangent direction, and that tangent vector is the generator — one operator that encodes an entire one-parameter family.

Step 2. Impose unitarity to first order: U^†U^=(I−iϵG^†)(I+iϵG^)=I+iϵ(G^−G^†)+O(ϵ2)\hat{U}^\dagger\hat{U}=(I-i\epsilon\hat{G}^\dagger)(I+i\epsilon\hat{G})=I+i\epsilon(\hat{G}-\hat{G}^\dagger)+O(\epsilon^2). For this to equal II we need G^=G^†\hat{G}=\hat{G}^\dagger: the generator is Hermitian, hence an observable with real eigenvalues. Why: this is the pivotal line of the whole subject — it is what turns a symmetry (a piece of geometry) into a physical quantity (something a detector can read), and it is the reason momentum and angular momentum are observables at all.

Step 3. Compound NN infinitesimal steps of size α/N\alpha/N and let N→∞N\to\infty: U^(α)=lim⁡N→∞(I+iαNG^)N=eiαG^\hat{U}(\alpha)=\lim_{N\to\infty}(I+i\tfrac{\alpha}{N}\hat{G})^N=e^{i\alpha\hat{G}}. Since G^\hat{G} is Hermitian, eiαG^e^{i\alpha\hat{G}} is manifestly unitary for real α\alpha. Why: this exponential map is how one Hermitian generator reconstructs the entire continuous symmetry — the same formula that turns the Hamiltonian into the time-evolution operator e−iH^te^{-i\hat{H}t}, so time translation is just another symmetry.

Step 4. Suppose the symmetry is one of the dynamics, so [H^,U^(α)]=0[\hat{H},\hat{U}(\alpha)]=0 for all α\alpha. Differentiate at α=0\alpha=0: [H^,G^]=0[\hat{H},\hat{G}]=0. Insert this into the Heisenberg equation ddt⟨G^⟩=i⟨[H^,G^]⟩\frac{d}{dt}\langle\hat{G}\rangle=i\langle[\hat{H},\hat{G}]\rangle (valid for a generator with no explicit time dependence) to obtain ddt⟨G^⟩=0\frac{d}{dt}\langle\hat{G}\rangle=0. Why: this is Noether's theorem in its quantum dress — the generator of any continuous symmetry of the Hamiltonian is conserved — and it required nothing beyond unitarity plus the equation of motion.

Go deeper · Derivation C · 1 minMomentum as the generator of spatial translations
Derivation CMomentum as the generator of spatial translations

This derivation makes the general machinery concrete by identifying the generator of the most familiar continuous symmetry — a rigid shift of the whole system in space — and showing it is precisely the momentum operator. The payoff is twofold: it shows the abstract generator G^\hat{G} is an object you already know, and it turns "space is homogeneous" into "p^\hat{p} is conserved" in three lines, a template for how every spacetime symmetry produces its conservation law.

Step 1. Define the translation operator by how it acts on wavefunctions: [U^(a)ψ](x)=ψ(x+a)[\hat{U}(a)\psi](x)=\psi(x+a) shifts the argument by aa. Taylor-expand the right side, ψ(x+a)=∑n=0∞ann!dnψdxn=ea d/dxψ(x)\psi(x+a)=\sum_{n=0}^{\infty}\frac{a^n}{n!}\frac{d^n\psi}{dx^n}=e^{a\,d/dx}\psi(x). Why: a finite translation is nothing but the Taylor series that reconstructs a function from its derivatives at a point, and Taylor's theorem has quietly become an operator exponential.

Step 2. Rewrite the derivative using the momentum operator p^=−i d/dx\hat{p}=-i\,d/dx (natural units, ℏ=1\hbar=1), so d/dx=ip^d/dx=i\hat{p} and therefore U^(a)=ea d/dx=eiap^\hat{U}(a)=e^{a\,d/dx}=e^{ia\hat{p}}. Comparing with the canonical form U^(α)=eiαG^\hat{U}(\alpha)=e^{i\alpha\hat{G}} identifies the generator as G^=p^\hat{G}=\hat{p}. Why: this is the identification that gives momentum its deepest meaning — not "mass times velocity" but "the generator of translations", the definition that survives into quantum field theory and general relativity.

Step 3. Check the conservation law directly. For H^=p^2/2m+V(x^)\hat{H}=\hat{p}^2/2m+V(\hat{x}), the commutator [H^,p^]=[V,p^]=i V′(x^)[\hat{H},\hat{p}]=[V,\hat{p}]=i\,V'(\hat{x}), using [x^,p^]=i[\hat{x},\hat{p}]=i. Hence ddt⟨p^⟩=i⟨[H^,p^]⟩=−⟨V′(x^)⟩=⟨F⟩\frac{d}{dt}\langle\hat{p}\rangle=i\langle[\hat{H},\hat{p}]\rangle=-\langle V'(\hat{x})\rangle=\langle F\rangle — Ehrenfest's theorem — which vanishes exactly when VV is constant, i.e. when space is homogeneous. Why: it closes the circle explicitly — translational invariance (V′=0V'=0) is identical to momentum conservation, and the same commutator reproduces Newton's second law for expectation values.

Limiting cases

CaseResultMeaning
Continuous symmetry of H^\hat{H}Hermitian generator G^\hat{G}, ddt⟨G^⟩=0\frac{d}{dt}\langle\hat{G}\rangle=0translation → p^\hat{p}, rotation → L^\hat{L}, phase → charge
Discrete symmetry (parity P^\hat{P})no generator; P^2=I\hat{P}^2=I so eigenvalues ±1\pm1a multiplicative quantum number, conserved iff [H^,P^]=0[\hat{H},\hat{P}]=0
Symmetry not shared by H^\hat{H}U^\hat{U} unitary but [H^,U^]≠0[\hat{H},\hat{U}]\neq0not a symmetry of the dynamics; ⟨G^⟩\langle\hat{G}\rangle drifts (Ehrenfest source term)
Antiunitary symmetry (time reversal T^\hat{T})Wigner: T^\hat{T} antiunitary, not eiαG^e^{i\alpha\hat{G}}involves complex conjugation; no Hermitian generator, no additive conserved charge
Abelian vs non-Abelian groupfabc=0f_{abc}=0 vs fabc≠0f_{abc}\neq0U(1)U(1) phases commute; SU(2)SU(2), SU(3)SU(3) generators do not, forcing self-interacting gauge fields

Worked examples

1 · A spin-½ state under rotation, and the 4π return (fully worked)

Rotations of a spin-½ particle are generated by J^=12σ⃗\hat{\mathbf{J}}=\tfrac12\vec{\sigma}, with σ⃗\vec\sigma the Pauli matrices, so the rotation operator about a unit axis n^\hat{\mathbf n} through angle θ\theta is U^(θ)=eiθ(n^⋅σ⃗)/2\hat{U}(\theta)=e^{i\theta(\hat{\mathbf n}\cdot\vec\sigma)/2}. Find the explicit matrix, then evaluate a full 2π2\pi turn and a 4π4\pi turn.

Step 1. Use the identity (n^⋅σ⃗)2=I(\hat{\mathbf n}\cdot\vec\sigma)^2=I, which holds because σiσj=δijI+iϵijkσk\sigma_i\sigma_j=\delta_{ij}I+i\epsilon_{ijk}\sigma_k. Then the exponential's even powers collapse to cos⁡\cos and odd powers to sin⁡\sin:

U^(θ)=cos⁡ ⁣θ2 I+isin⁡ ⁣θ2 (n^⋅σ⃗).\hat{U}(\theta)=\cos\!\tfrac{\theta}{2}\,I+i\sin\!\tfrac{\theta}{2}\,(\hat{\mathbf n}\cdot\vec\sigma).

This is the general SU(2)SU(2) element — any 2×22\times2 unitary of determinant 11 has this form.

Step 2. Evaluate a full rotation, θ=2π\theta=2\pi: cos⁡π=−1\cos\pi=-1, sin⁡π=0\sin\pi=0, so U^(2π)=−I\hat{U}(2\pi)=-I. A full 360∘360^\circ turn multiplies every spin-½ state by −1\mathbf{-1} — the state vector is not returned to itself, even though the physical direction of space has come back.

Step 3. Evaluate a double rotation, θ=4π\theta=4\pi: cos⁡2π=+1\cos2\pi=+1, sin⁡2π=0\sin2\pi=0, so U^(4π)=+I\hat{U}(4\pi)=+I. Only after 720∘\mathbf{720^\circ} does the spinor return. For a spin perpendicular to the rotation axis (⟨n^⋅σ⃗⟩=0\langle\hat{\mathbf n}\cdot\vec\sigma\rangle=0), the overlap after any angle is ⟨ψ∣U^(θ)∣ψ⟩=cos⁡(θ/2)\langle\psi|\hat{U}(\theta)|\psi\rangle=\cos(\theta/2), the curve in the second figure: +1+1 at 00, 0\mathbf{0} at π\pi, −1\mathbf{-1} at 2π2\pi, +1+1 at 4π4\pi.

Step 4. Interpret. The overall sign is unobservable for a single spinor (states are rays), but it is measurable by interference: split a neutron beam, rotate one arm by 2π2\pi, recombine, and the relative −1-1 flips constructive interference to destructive — seen experimentally in 1975. The physics: SU(2)SU(2) double-covers SO(3)SO(3) — two elements (±I\pm I) map to the one "do nothing" rotation, which is why half-integer spin exists.

2 · Translational invariance and the conservation of momentum

A particle moves in a potential V(x)V(x). Use the generator formalism to decide when momentum is conserved, and connect the result to a familiar classical law.

Step 1. The generator of translations is p^=−i d/dx\hat{p}=-i\,d/dx. Momentum is conserved iff it commutes with the Hamiltonian H^=p^2/2m+V(x^)\hat{H}=\hat{p}^2/2m+V(\hat{x}). Since p^\hat{p} commutes with any function of p^\hat{p}, only the potential term can contribute: [H^,p^]=[V(x^),p^][\hat{H},\hat{p}]=[V(\hat{x}),\hat{p}].

Step 2. Evaluate the commutator on a test function: [V,p^]ψ=V(−iψ′)−(−i)(Vψ)′=−iVψ′+i(V′ψ+Vψ′)=iV′(x)ψ[V,\hat{p}]\psi=V(-i\psi')-(-i)(V\psi)'=-iV\psi'+i(V'\psi+V\psi')=iV'(x)\psi. Hence [H^,p^]=i V′(x^)[\hat{H},\hat{p}]=i\,V'(\hat{x}).

Step 3. Feed it into the Heisenberg equation: ddt⟨p^⟩=i⟨[H^,p^]⟩=i⋅i⟨V′⟩=−⟨V′(x^)⟩=⟨F⟩\dfrac{d}{dt}\langle\hat{p}\rangle=i\langle[\hat{H},\hat{p}]\rangle=i\cdot i\langle V'\rangle=-\langle V'(\hat{x})\rangle=\langle F\rangle. This is Ehrenfest's theorem — the quantum analogue of p˙=F\dot p=F.

Step 4. Read off the symmetry statement. Momentum is conserved, ddt⟨p^⟩=0\frac{d}{dt}\langle\hat{p}\rangle=0, exactly when V′(x)=0V'(x)=0 — a homogeneous space with no preferred origin. A free particle conserves momentum; a particle on a slope (V=mgxV=mgx) does not, and the drift ⟨F⟩=−mg\langle F\rangle=-mg is precisely the classical force. Translational symmetry ⇔\Leftrightarrow momentum conservation, made quantitative.

3 · Counting the generators of the Standard Model gauge group

The Standard Model is built on the internal symmetry group SU(3)c×SU(2)L×U(1)YSU(3)_c\times SU(2)_L\times U(1)_Y. How many independent generators does it have, and what are they physically?

Step 1. Use dim⁡SU(n)=n2−1\dim SU(n)=n^2-1 and dim⁡U(1)=1\dim U(1)=1. Colour SU(3)cSU(3)_c contributes 32−1=83^2-1=\mathbf{8} generators; weak isospin SU(2)LSU(2)_L contributes 22−1=32^2-1=\mathbf{3}; hypercharge U(1)YU(1)_Y contributes 1\mathbf{1}. The total is 8+3+1=128+3+1=\mathbf{12}.

Step 2. In a gauge theory each generator becomes a spin-1 boson. The eight SU(3)SU(3) generators are the eight gluons; the four electroweak generators mix into the W+W^+, W−W^-, Z0Z^0 and the photon. Twelve generators, twelve gauge bosons — the counting is exact.

Step 3. Because fabc≠0f_{abc}\neq0 for SU(3)SU(3) and SU(2)SU(2), those gauge fields carry their own charge and self-interact (gluons couple to gluons), whereas the Abelian U(1)U(1) photon does not. The arithmetic n2−1n^2-1 is not bookkeeping — it fixes the particle content of the strong and electroweak forces.

Physics of the portrait

If any single person turned "symmetry" into the organizing principle of quantum mechanics, it was Eugene Wigner. Where Noether tied symmetry to conservation in the classical Lagrangian, Wigner asked the sharper quantum question — how may a symmetry act on a wavefunction? — and answered it with a theorem that still fixes the rules.

Origins · 1 minEugene Wigner and how this was discovered
EW
Eugene Wigner
1902–1995 · group theory and symmetry in quantum mechanics

Eugene Paul Wigner, born in Budapest in 1902 and trained as a chemical engineer, became the physicist who taught quantum mechanics to speak the language of group theory. Definitively in his 1931 book Gruppentheorie und ihre Anwendung auf die Quantenmechanik der Atomspektren, he showed that the degeneracies and selection rules of atomic spectra were consequences of the rotation group's representations — the 2ℓ+12\ell+1-fold structure of an energy level is the dimension of an irreducible representation of SO(3)SO(3). His deepest single result, now called Wigner's theorem, settles the question this whole article rests on: any symmetry transformation of a quantum system must be represented by an operator that is either unitary or antiunitary. That dichotomy is why continuous symmetries and parity are unitary (Hermitian generators, additive conserved charges) while time reversal alone is antiunitary. Wigner also classified elementary particles as irreducible representations of the Poincaré group, labelled by mass and spin — the modern definition of a particle. He shared the 1963 Nobel Prize in Physics for exactly this: the discovery and application of fundamental symmetry principles.

History
1918
— Emmy Noether proves that continuous symmetries imply conservation laws
1926
— Heisenberg, Born, Jordan, and Schrödinger complete quantum mechanics
1927
— Wigner and Weyl bring group representation theory into atomic spectroscopy
1931
— Wigner's theorem fixes symmetries as unitary or antiunitary operators
1932
— Heisenberg proposes isospin, the first internal SU(2) symmetry
1961
— Gell-Mann and Ne'eman classify hadrons by SU(3), the Eightfold Way

Going further

Texts. Thomson, Modern Particle Physics, §9.1 (Symmetries in quantum mechanics) and §9.1.1 (Finite transformations) — the reference this article tracks most closely · Griffiths, Introduction to Elementary Particles, 2nd ed., §4.1–4.2 (Symmetries, groups, angular momentum) · Halzen & Martin, Quarks and Leptons, Ch. 2 (symmetries and quarks) · Peskin & Schroeder, An Introduction to Quantum Field Theory, §2.2 and Ch. 15 (Noether's theorem, non-Abelian gauge symmetry) · Schwartz, Quantum Field Theory and the Standard Model, Ch. 8–10 · Sakurai & Napolitano, Modern Quantum Mechanics, Ch. 3–4 (rotations, symmetry) for the single-particle foundations. The key results to keep in mind across this article are: (1) G^=G^†\hat{G}=\hat{G}^\dagger follows from U^†U^=I\hat{U}^\dagger\hat{U}=I to first order in ϵ\epsilon; (2) U^(a)=eiap^\hat{U}(a)=e^{ia\hat{p}} follows from Taylor's theorem with p^=−i∂x\hat{p}=-i\partial_x; (3) [H^,p^]=iV′(x^)[\hat{H},\hat{p}]=iV'(\hat{x}) and hence ddt⟨p^⟩=⟨F⟩\frac{d}{dt}\langle\hat{p}\rangle=\langle F\rangle; (4) U^(θ)=cos⁡θ2I+isin⁡θ2(n^⋅σ⃗)\hat{U}(\theta)=\cos\tfrac{\theta}{2}I+i\sin\tfrac{\theta}{2}(\hat{\mathbf n}\cdot\vec\sigma) with U^(2π)=−I\hat{U}(2\pi)=-I and U^(4π)=+I\hat{U}(4\pi)=+I; (5) the generator counts give dim⁡SU(3)=8\dim SU(3)=8, dim⁡SU(2)=3\dim SU(2)=3, for a total of 1212.

Prerequisites. Non-relativistic quantum mechanics review · Natural units. Leads to. Isospin · SU(3)SU(3) flavour symmetry · The local gauge principle.

Ask the tutor: Want to see how this same unitary-generator logic, applied to an internal phase instead of a motion in space, forces the existence of the photon — the local gauge principle? Ask me to walk you from U(1)U(1) symmetry to electromagnetism.

Is quantum Noether's theorem the same as the classical one?

They express the same truth — continuous symmetry implies conservation law — but by different machinery. The classical theorem works in the Lagrangian: an invariance of the action gives a conserved current via the Euler–Lagrange equations. The quantum version is more direct: it needs only the inner product (to force unitarity and hence a Hermitian generator) and the Heisenberg equation (to make the generator's expectation constant). No action or variational calculus is required at the single-particle level. In quantum field theory the two fuse — the Noether current becomes an operator whose integrated charge is the very generator that exponentiates the symmetry.

Why does unitarity force the generator to be Hermitian?

Write the transformation near the identity as U^=I+iϵG^\hat{U}=I+i\epsilon\hat{G}, with adjoint U^†=I−iϵG^†\hat{U}^\dagger=I-i\epsilon\hat{G}^\dagger. Multiplying gives U^†U^=I+iϵ(G^−G^†)+O(ϵ2)\hat{U}^\dagger\hat{U}=I+i\epsilon(\hat{G}-\hat{G}^\dagger)+O(\epsilon^2). Unitarity demands this equal the identity, so the first-order term must vanish: G^=G^†\hat{G}=\hat{G}^\dagger, Hermitian. The factor of ii in the definition is exactly what makes this work. This one line is why the generators of symmetries are always observables with real eigenvalues: momentum, angular momentum, and charge are Hermitian because translations, rotations, and phase changes are unitary.

What is the difference between a symmetry of a state and a symmetry of the Hamiltonian?

A symmetry of a state means a particular wavefunction is left unchanged by U^\hat{U} — an s-orbital is invariant under rotations. A symmetry of the Hamiltonian means [H^,U^]=0[\hat{H},\hat{U}]=0, so the dynamics itself is unchanged. Only the second guarantees a conservation law, because only [H^,U^]=0[\hat{H},\hat{U}]=0 feeds the Heisenberg equation. The distinction is not academic: in spontaneous symmetry breaking the Hamiltonian keeps a symmetry that its ground state does not share, and the conservation law still holds even though no low-energy state looks symmetric — the source of much muddle about the Higgs mechanism.

Why do spins use SU(2) rather than the rotation group SO(3)?

Because half-integer angular momentum exists, and SO(3)SO(3) cannot accommodate it. The rotation group SO(3)SO(3) has only integer-spin representations; a rotation by 2π2\pi is the identity in SO(3)SO(3). But experiment shows a spin-½ state picks up a sign under 2π2\pi and needs 4π4\pi to return. The group that captures this is SU(2)SU(2), which "double-covers" SO(3)SO(3): two elements, +I+I and −I-I, both project to the identity rotation. Half-integer spins are representations of SU(2)SU(2) that are not representations of SO(3)SO(3), which is why the electron, proton, and quarks are described by two-component spinors.

Do discrete symmetries like parity have generators?

No — and that is the defining difference. A generator exists only for a continuous symmetry, where you can take an infinitesimal step and read off G^=−i dU^/dϵ\hat{G}=-i\,d\hat{U}/d\epsilon. Parity, charge conjugation, and reflections are discrete: there is no "infinitesimal parity", so no Hermitian generator and no additive charge. What they conserve instead is a multiplicative quantum number. Since P^2=I\hat{P}^2=I, parity has eigenvalues ±1\pm1, and if [H^,P^]=0[\hat{H},\hat{P}]=0 the total parity is conserved as a product of ±1\pm1 factors. Selection rules like "electric-dipole transitions must change parity" are the practical face of this.

What is Wigner's theorem and why does time reversal break the pattern?

Wigner's theorem states that any symmetry of a quantum system — anything preserving all transition probabilities ∣⟨ϕ∣ψ⟩∣2|\langle\phi|\psi\rangle|^2 — must be represented by an operator that is either unitary or antiunitary (antilinear plus complex conjugation). Every symmetry continuously connected to the identity is unitary, since the identity is unitary and you cannot deform continuously into the antiunitary class; so translations, rotations, parity, and charge conjugation are unitary with Hermitian generators. Time reversal is the exception: flipping the direction of time reverses momenta and spins while leaving positions alone, and the only consistent operator that does this is antiunitary. That is why time reversal has no Hermitian generator and no additive conserved charge.

Before this

Where this leads