Skip to content

Approximate Symmetry

An approximate symmetry is a transformation that is not an exact symmetry of the full Hamiltonian, but whose breaking is small enough to organize states, spectra, selection rules, or dynamics in a specified regime.

The minimal model is

H=Hsym+ϵVbreak,H = H_{\mathrm{sym}} + \epsilon V_{\mathrm{break}},

where

U(g)HsymU(g)−1=Hsym,U(g)H_{\mathrm{sym}}U(g)^{-1} = H_{\mathrm{sym}},

but

U(g)VbreakU(g)−1≠Vbreak.U(g)V_{\mathrm{break}}U(g)^{-1} \ne V_{\mathrm{break}}.

For ϵ≠0\epsilon\ne0, the symmetry is not exact. It is approximate only when the effects of ϵVbreak\epsilon V_{\mathrm{break}} are small compared with the energy gaps, timescales, experimental resolution, or effective-theory accuracy relevant to the question.

The exact symmetry test is binary:

U(g)HU(g)−1=HorU(g)HU(g)−1≠H.U(g)HU(g)^{-1}=H \qquad \text{or} \qquad U(g)HU(g)^{-1}\ne H.

Approximate symmetry is not a third logical option between those two statements. It is a controlled use of a nearby exactly symmetric problem. One first identifies the symmetric Hamiltonian HsymH_{\mathrm{sym}}, then asks whether the symmetry-breaking correction can be treated perturbatively or neglected within the desired accuracy.

Thus an approximate symmetry must specify:

  • the exact symmetry of the reference Hamiltonian;
  • the terms that break it;
  • the small dimensionless parameter;
  • the energy, time, or length scale where the approximation is being used;
  • which conclusions remain reliable and which become only approximate.

Without those details, “approximately symmetric” is only a qualitative description.

When HsymH_{\mathrm{sym}} commutes with a symmetry generator GG,

[Hsym,G]=0,[H_{\mathrm{sym}},G]=0,

eigenstates of HsymH_{\mathrm{sym}} can be labeled by eigenvalues of GG or by irreducible-representation labels of the symmetry group. If the full Hamiltonian is

H=Hsym+ϵVbreak,H=H_{\mathrm{sym}}+\epsilon V_{\mathrm{break}},

then

[H,G]=ϵ[Vbreak,G].[H,G] = \epsilon[V_{\mathrm{break}},G].

The old labels are no longer exact. They remain useful when the breaking-induced mixing between different symmetry sectors is small. For two unperturbed states ∣a⟩\lvert a\rangle and ∣b⟩\lvert b\rangle with different symmetry labels, a basic diagnostic is

∣ϵ⟨b∣Vbreak∣a⟩Ea(0)−Eb(0)∣≪1.\left| \frac{\epsilon\langle b|V_{\mathrm{break}}|a\rangle} {E_a^{(0)}-E_b^{(0)}} \right| \ll 1.

If this ratio is small, the state ∣a⟩\lvert a\rangle retains mostly its old symmetry character. If the energy denominator is small, even a tiny breaking term can produce strong mixing.

For a generator GG with no explicit time dependence, the Heisenberg equation gives

ddt⟨G⟩=iℏ⟨[H,G]⟩.\frac{d}{dt}\langle G\rangle = \frac{i}{\hbar} \langle[H,G]\rangle.

If GG is exact for HsymH_{\mathrm{sym}} but not for VbreakV_{\mathrm{break}}, then

ddt⟨G⟩=iϵℏ⟨[Vbreak,G]⟩.\frac{d}{dt}\langle G\rangle = \frac{i\epsilon}{\hbar} \langle[V_{\mathrm{break}},G]\rangle.

The right side is small only in the relevant states and units. A quantity can be approximately conserved over short or intermediate times but drift over long times. In closed finite systems the expectation value may also oscillate rather than relax. Approximate conservation is therefore a scale statement, not an absolute law.

Approximate symmetry is most delicate near degeneracy. Suppose HsymH_{\mathrm{sym}} has a degenerate subspace D\mathcal D protected by symmetry. Even if ϵ\epsilon is small, the first-order problem inside that subspace is

PVbreakP,P V_{\mathrm{break}} P,

where PP projects onto D\mathcal D. One must diagonalize this matrix. The splitting can be first order in ϵ\epsilon, and the good states may be completely different linear combinations inside D\mathcal D.

This is why “small perturbation” and “small change in eigenvectors” are not the same statement. A tiny symmetry-breaking field can strongly choose a basis inside an exactly degenerate multiplet. The spectral version of this issue is degeneracy lifting.

Exact symmetry can force a matrix element to vanish:

⟨f∣O∣i⟩=0.\langle f|O|i\rangle=0.

If the symmetry is only approximate, the leading symmetric approximation may still give zero, while the full matrix element is small but nonzero:

⟨ffull∣O∣ifull⟩=O(ϵ).\langle f_{\mathrm{full}}|O|i_{\mathrm{full}}\rangle = O(\epsilon).

This is the clean meaning of a weakly allowed transition. The transition is not forbidden by the full Hamiltonian. It is forbidden by a useful idealized symmetry and appears because symmetry-breaking terms mix small components of the allowed symmetry character into the states or operators.

Common examples include spin-forbidden spectral lines made weakly allowed by spin–orbit mixing, parity-forbidden transitions made weakly allowed by external fields or configuration mixing, and approximate charge-like selection rules violated by small interactions.

Spin–Orbit Coupling as a Symmetry Reduction

Section titled “Spin–Orbit Coupling as a Symmetry Reduction”

Consider a central spin-independent Hamiltonian

H0=P22m+V(r).H_0 = \frac{\mathbf P^2}{2m} + V(r).

If spin is present but uncoupled, H0H_0 has independent orbital and spin rotations. Orbital and spin quantum numbers can be tracked separately.

A spin–orbit term has the form

HSO=ξ(r) L⋅S.H_{\mathrm{SO}} = \xi(r)\,\mathbf L\cdot\mathbf S.

It does not preserve independent rotations of L\mathbf L and S\mathbf S. Instead, it preserves simultaneous rotations generated by

J=L+S.\mathbf J=\mathbf L+\mathbf S.

If HSOH_{\mathrm{SO}} is small compared with the main level spacings, separate orbital and spin labels may remain useful approximate labels. But the exact conserved angular momentum of the coupled central problem is total angular momentum. The detailed angular algebra is covered in Spin–Orbit Coupling.

Isospin is a classic approximate internal symmetry in nuclear and particle physics. In an idealized strong-interaction model, the proton and neutron are treated as two states of a doublet, and the strong interaction is approximately invariant under rotations in this internal space.

The symmetry is not exact. Electromagnetism distinguishes proton from neutron, and the underlying up and down quark masses are not exactly equal. Nevertheless, isospin organizes many nuclear and hadronic patterns well enough to be useful.

For this volume, isospin is only a preview. The canonical treatments belong to nuclear, many-body, and field-theory contexts. The lesson for quantum mechanics is general: an approximate internal symmetry can classify states and matrix elements even when known small terms violate it.

Molecular spectra often use idealized symmetries: rigid-rotor rotations, inversion or reflection symmetries, separated electronic and nuclear motion, and approximate angular-momentum couplings. Real molecules have centrifugal distortion, vibration-rotation coupling, spin-rotation coupling, hyperfine interactions, tunneling effects, and environmental perturbations.

The usefulness of the labels depends on scale. A rotational quantum number may be excellent for low-lying states of a nearly rigid molecule and less accurate at high angular momentum, where distortion becomes important. This is not a contradiction; it is exactly what approximate symmetry means.

Approximate symmetry should be kept distinct from nearby concepts.

Exact symmetry means exact invariance of the stated Hamiltonian or structure. Explicit symmetry breaking means a term in the full equations violates the candidate symmetry. Approximate symmetry is usually explicit breaking that is small enough to use perturbatively.

Spontaneous symmetry breaking is different: the equations can remain symmetric while physically relevant many-body states or phases fail to display the symmetry in an appropriate limit.

Accidental symmetry, hidden symmetry, dynamical symmetry, and emergent symmetry answer different questions: why an unexpected degeneracy exists, which conserved quantities are not geometrically obvious, how spectra are organized, or why an effective low-energy theory has more symmetry than the microscopic model. Those pages are separate canonical homes.

  • Calling a symmetry approximate without identifying the breaking term.
  • Treating approximate quantum numbers as exact labels in matrix elements.
  • Using nondegenerate perturbation theory when the symmetry-breaking term acts inside a degenerate subspace.
  • Saying a selection rule is “slightly violated” without naming the mixing mechanism.
  • Confusing small coefficient with small physical effect; small denominators can amplify weak breaking.
  • Forgetting the timescale in approximate conservation.
  • Treating an effective low-energy symmetry as automatically valid at high energies.
  • J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
  • R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.
  • C. Cohen-Tannoudji, B. Diu, and F. Laloe, Quantum Mechanics, Wiley, 1977.
  • L. D. Landau and E. M. Lifshitz, Quantum Mechanics: Non-Relativistic Theory, 3rd ed., Butterworth-Heinemann, 1977.
  • H. F. Jones, Groups, Representations and Physics, 2nd ed., CRC Press, 1998.
  • P. R. Bunker and P. Jensen, Molecular Symmetry and Spectroscopy, 2nd ed., NRC Research Press, 1998.
  1. Approximate conservation.

Let

H=H0+ϵV,[H0,G]=0.H=H_0+\epsilon V, \qquad [H_0,G]=0.

Assume GG has no explicit time dependence. Derive the leading expression for d⟨G⟩/dtd\langle G\rangle/dt.

Solution

The Heisenberg equation gives

ddt⟨G⟩=iℏ⟨[H,G]⟩.\frac{d}{dt}\langle G\rangle = \frac{i}{\hbar} \langle[H,G]\rangle.

Since

[H,G]=[H0,G]+ϵ[V,G]=ϵ[V,G],[H,G] = [H_0,G]+\epsilon[V,G] = \epsilon[V,G],

we obtain

ddt⟨G⟩=iϵℏ⟨[V,G]⟩.\frac{d}{dt}\langle G\rangle = \frac{i\epsilon}{\hbar} \langle[V,G]\rangle.

Thus GG is conserved only to the extent that the expectation value of [V,G][V,G] is negligible on the timescale being studied.

  1. Small breaking near a two-level gap.

Consider

H=(E1ϵvϵvE2),E2−E1=Δ>0,H = \begin{pmatrix} E_1&\epsilon v\\ \epsilon v& E_2 \end{pmatrix}, \qquad E_2-E_1=\Delta>0,

with real vv. What is the basic condition for the old level labels to remain good approximate labels?

Solution

The mixing angle is small when the off-diagonal coupling is small compared with the level spacing. The diagnostic ratio is

∣ϵvΔ∣≪1.\left| \frac{\epsilon v}{\Delta} \right| \ll1.

If Δ\Delta becomes comparable to ϵv\epsilon v, the eigenstates are strong mixtures of the old labels even though ϵ\epsilon may be numerically small.

  1. Spin–orbit coupling and separate rotations.

Why does a term ξ(r)L⋅S\xi(r)\mathbf L\cdot\mathbf S preserve total rotations but not independent orbital and spin rotations?

Solution

The scalar product is invariant when L\mathbf L and S\mathbf S are rotated together. That simultaneous rotation is generated by

J=L+S.\mathbf J=\mathbf L+\mathbf S.

But an independent rotation of only the orbital variables changes L\mathbf L while leaving S\mathbf S fixed, so the scalar product generally changes. Similarly, rotating only spin changes S\mathbf S while leaving L\mathbf L fixed. Thus separate orbital and spin rotations are reduced to the diagonal total-rotation symmetry.

  1. Weakly allowed transition.

Suppose an exact symmetry of H0H_0 would make ⟨f∣O∣i⟩=0\langle f|O|i\rangle=0. If a small perturbation mixes

∣ifull⟩=∣i⟩+ϵ∣i1⟩+O(ϵ2),|i_{\mathrm{full}}\rangle = |i\rangle+\epsilon|i_1\rangle+O(\epsilon^2),

what order of matrix element can appear?

Solution

Insert the perturbed state:

⟨f∣O∣ifull⟩=⟨f∣O∣i⟩+ϵ⟨f∣O∣i1⟩+O(ϵ2).\langle f|O|i_{\mathrm{full}}\rangle = \langle f|O|i\rangle + \epsilon\langle f|O|i_1\rangle + O(\epsilon^2).

The leading symmetric matrix element vanishes, so the first possible contribution is

ϵ⟨f∣O∣i1⟩.\epsilon\langle f|O|i_1\rangle.

The transition is therefore weakly allowed at order ϵ\epsilon if the mixed component has the required symmetry character.