Skip to content

Continuous Symmetries and Conservation Laws

A continuous quantum symmetry can be varied smoothly from the identity. That seemingly modest property changes the problem: the transformation can be differentiated, its local action is encoded by a self-adjoint generator, and Hamiltonian invariance becomes a commutator condition. Conservation laws, good quantum numbers, and many selection rules then follow from one structural chain.

Continuous unitary family
→ self-adjoint generator
→ infinitesimal commutator action
→ Hamiltonian invariance test
→ conserved observable
→ symmetry sectors, stable labels, and selection rules

This chapter develops that chain and records where its shortcuts can fail. It also separates the ordinary quantum-mechanical statement from the stronger classical and field-theoretic forms of Noether’s theorem.

This page owns the chapter map, the shared workflow, and the relation among the chapter’s results. The detailed arguments remain at their canonical homes.

QuestionCanonical homeRole here
what counts as a continuous unitary family?One-Parameter Unitary Groupsstates the group and continuity assumptions
how is the generator extracted?Generatorsdefines the derivative at the identity
why do commutators appear?Infinitesimal Transformationsderives the first-order action
when does symmetry imply conservation?Commutators and Conservation Lawsgives the operator derivation
what is the quantum Noether statement?Quantum Noether Principledistinguishes the QM statement from the full theorem
how is a proposed constant tested?Constants of Motiontreats explicit time dependence and strength of conservation
when is an eigenvalue a useful label?Good Quantum Numbersconnects commuting observables to state labels
why must some matrix elements vanish?Selection Rules Previewgives the symmetry-sector argument
what changes when symmetry is absent or reduced?Broken Symmetry Previewseparates explicit breaking from nonsymmetric states

The rigorous spectral and domain statement for a single continuous unitary parameter belongs to Stone Theorem. Detailed tensor-operator selection rules belong to the later Selection Rules chapter. Spontaneous breaking in extended systems is only previewed here.

Let U(α)U(\alpha) be a one-parameter unitary group. Its defining algebraic conditions are

U(0)=I,U(α+β)=U(α)U(β),U(α)−1=U(−α).\begin{aligned} U(0)&=I, \\ U(\alpha+\beta)&=U(\alpha)U(\beta), \\ U(\alpha)^{-1}&=U(-\alpha). \end{aligned}

Continuity near the identity allows the family to be represented by a self-adjoint generator GG:

U(α)=exp⁡ ⁣(−iαGℏ).U(\alpha) = \exp\!\left(-\frac{i\alpha G}{\hbar}\right).

Near α=0\alpha=0,

U(δα)=I−iℏδα G+O(δα2).U(\delta\alpha) = I-\frac{i}{\hbar}\delta\alpha\,G +O(\delta\alpha^2).

If the Hamiltonian is invariant,

U(α)HU†(α)=H,U(\alpha)HU^\dagger(\alpha)=H,

then differentiating at the identity gives

[G,H]=0.[G,H]=0.

When GG has no explicit time dependence, the Heisenberg equation consequently gives

dGHdt=0.\frac{dG_H}{dt}=0.

Every arrow in this chain has hypotheses. A family can be unitary without being a symmetry of the chosen Hamiltonian. A conserved operator can exist without having been identified as the generator of a stated symmetry. A vanishing expectation-value derivative in one state is weaker than an operator conservation law.

The parameter α\alpha may be time, displacement, rotation angle, or an internal phase. Its units depend on the transformation, but the exponent must be dimensionless:

αGℏis dimensionless.\frac{\alpha G}{\hbar} \quad\text{is dimensionless}.

The group law says that applying two transformations is equivalent to adding their parameters. It is not merely an exponential ansatz. For translations,

T(a+b)=T(a)T(b),T(a+b)=T(a)T(b),

while time-independent evolution satisfies

U(t+s)=U(t)U(s).U(t+s)=U(t)U(s).

In finite dimensions, matrix continuity is sufficient for the usual manipulations. On an infinite-dimensional Hilbert space, strong continuity is the standard assumption:

lim⁡α→α0∥U(α)∣ψ⟩−U(α0)∣ψ⟩∥=0\lim_{\alpha\to\alpha_0} \left\| U(\alpha)|\psi\rangle -U(\alpha_0)|\psi\rangle \right\| =0

for every ∣ψ⟩|\psi\rangle in the Hilbert space. The generator may be unbounded, so its domain matters even though every U(α)U(\alpha) is bounded and unitary.

There is also a global caution. A local generator does not by itself settle periodicity, topology, or whether a representation is ordinary or projective. Rotation angles, spinor signs under 2π2\pi rotations, and compact internal symmetries require the global group structure as well as the infinitesimal algebra.

The generator is the derivative of the unitary family at the identity:

G=iℏdUdα∣α=0.G = i\hbar \left. \frac{dU}{d\alpha} \right|_{\alpha=0}.

With the convention used throughout this volume,

TransformationParameterUnitary familyGenerator
time translationtte−itH/ℏe^{-itH/\hbar}Hamiltonian HH
spatial translationaae−iaP/ℏe^{-iaP/\hbar}momentum PP
rotation about n\mathbf nθ\thetae−iθn⋅J/ℏe^{-i\theta\mathbf n\cdot\mathbf J/\hbar}n⋅J\mathbf n\cdot\mathbf J
internal phase rotationα\alphae−iαQ/ℏe^{-i\alpha Q/\hbar}charge-like observable QQ

Self-adjointness is essential. It makes the exponential unitary and gives the generator a real spectral measure, allowing it to serve as an observable. In finite dimensions, first-order unitarity already yields the familiar check:

U†U=I+iαℏ(G†−G)+O(α2),U^\dagger U = I +\frac{i\alpha}{\hbar}(G^\dagger-G) +O(\alpha^2),

so G†=GG^\dagger=G at first order. For unbounded generators, this calculation is a mnemonic rather than a replacement for the self-adjoint domain analysis.

Infinitesimal Actions and Sign Conventions

Section titled “Infinitesimal Actions and Sign Conventions”

For an active transformation of a state,

∣ψ⟩⟼U(α)∣ψ⟩,|\psi\rangle \longmapsto U(\alpha)|\psi\rangle,

the first-order change is

δ∣ψ⟩=−iℏδα G∣ψ⟩.\delta|\psi\rangle = -\frac{i}{\hbar}\delta\alpha\,G|\psi\rangle.

With the active operator convention A↦UAU†A\mapsto UAU^\dagger,

δA=−iℏδα [G,A].\delta A = -\frac{i}{\hbar}\delta\alpha\,[G,A].

With the conjugation A↦U†AUA\mapsto U^\dagger A U, used when the transformed state is pulled back to the original state, the sign is reversed:

δA=iℏδα [G,A].\delta A = \frac{i}{\hbar}\delta\alpha\,[G,A].

These formulas do not conflict. They answer different transformation questions. Before trusting a sign, state what changes physically, what is held fixed, and whether the operator is conjugated by UU or U†U^\dagger.

The commutator is the infinitesimal action of the generator on operators. In Lie-algebra language, it is the local algebraic structure behind the smooth group action. For a transformation far from the identity, use the finite exponential or an appropriate Baker–Campbell–Hausdorff expansion; the first-order formula alone is not exact.

A unitary family becomes a dynamical symmetry only after it passes the Hamiltonian test. For a time-independent family,

U(α)HU†(α)=HU(\alpha)HU^\dagger(\alpha)=H

is equivalent, under the usual regularity assumptions, to

[H,G]=0.[H,G]=0.

The two directions should be kept distinct in a derivation:

  1. Finite invariance differentiated at α=0\alpha=0 gives the commutator condition.
  2. If a self-adjoint GG commutes appropriately with HH, its exponential commutes with HH and generates a finite invariance.

For unbounded operators, statements such as [H,G]=0[H,G]=0 may need domain qualification or the stronger language of commuting spectral measures. The formal commutator is reliable in the standard finite-dimensional and common textbook domains, but it should not be promoted into a domain-free theorem.

Conservation and the Quantum Noether Principle

Section titled “Conservation and the Quantum Noether Principle”

For a possibly time-dependent Schrödinger-picture observable A(t)A(t),

ddt⟨A⟩=iℏ⟨[H,A]⟩+⟨∂A∂t⟩.\frac{d}{dt}\langle A\rangle = \frac{i}{\hbar}\langle[H,A]\rangle + \left\langle \frac{\partial A}{\partial t} \right\rangle.

The corresponding operator criterion for a constant of motion is

∂A∂t+iℏ[H,A]=0.\frac{\partial A}{\partial t} + \frac{i}{\hbar}[H,A] =0.

Thus [H,A]=0[H,A]=0 is sufficient only when AA has no explicit time dependence. Conversely, an explicitly time-dependent A(t)A(t) can still be conserved when its explicit derivative cancels its commutator term.

For a continuous unitary symmetry generated by GG, the ordinary quantum Noether pattern is

U(α)HU†(α)=H⇓[G,H]=0⇓dGHdt=0,\begin{aligned} U(\alpha)HU^\dagger(\alpha)&=H \\ &\Downarrow \\ [G,H]&=0 \\ &\Downarrow \\ \frac{dG_H}{dt}&=0, \end{aligned}

where the last implication assumes ∂G/∂t=0\partial G/\partial t=0.

This is not the full field-theory theorem. Classical Noether theory begins with an action and treats boundary terms. Field theory produces a local current jμj^\mu and a continuity equation ∂μjμ=0\partial_\mu j^\mu=0 before a conserved charge is obtained. The ordinary quantum-mechanical chapter stays with Hilbert-space transformations, Hamiltonians, generators, and commutators. The field-theory bridge begins at From Quantum Generators to Noether Currents.

Several statements are often compressed into the word “conserved.”

StatementScopeWhat it establishes
d⟨A⟩/dt=0d\langle A\rangle/dt=0 in one statestate dependentone mean value is stationary
d⟨A⟩/dt=0d\langle A\rangle/dt=0 for all statesdynamicalall expectation values are stationary
dAH/dt=0dA_H/dt=0operator levelthe Heisenberg observable is fixed
the spectral projectors of AA are preserveddistribution levelevery measurement probability for AA is fixed

A conserved observable need not have a definite value. A wave packet can have a nonzero spread in momentum while the entire momentum distribution remains unchanged. Conservation also does not mean that AA commutes with every observable, only that it satisfies the relevant dynamical criterion.

If a time-independent self-adjoint operator QQ commutes with HH, the Hamiltonian preserves each eigenspace of QQ. Energy eigenstates can then be chosen with a QQ label:

H∣E,q,λ⟩=E∣E,q,λ⟩,Q∣E,q,λ⟩=q∣E,q,λ⟩.\begin{aligned} H|E,q,\lambda\rangle &=E|E,q,\lambda\rangle, \\ Q|E,q,\lambda\rangle &=q|E,q,\lambda\rangle. \end{aligned}

The extra label λ\lambda matters. A good quantum number need not form a complete label. Several independent states may share the same EE and qq.

For several proposed labels Q1,…,QrQ_1,\ldots,Q_r, it is not enough that each commute with HH. They must also be mutually compatible if states are to carry all labels sharply:

[Qi,Qj]=0for all i,j.[Q_i,Q_j]=0 \qquad \text{for all }i,j.

This explains why L2L^2 and one component such as LzL_z can label central-potential states, while LxL_x, LyL_y, and LzL_z cannot all be sharp. It also explains why changing the Hamiltonian can change the preferred labels. Spin–orbit coupling, external fields, or crystal anisotropy may preserve only a smaller commuting set.

Let QQ generate a continuous symmetry, and suppose

Q∣i⟩=qi∣i⟩,Q∣f⟩=qf∣f⟩.Q|i\rangle=q_i|i\rangle, \qquad Q|f\rangle=q_f|f\rangle.

If a transition operator TT has a definite commutator with QQ,

[Q,T]=qTT,[Q,T]=q_T T,

then

(qf−qi)⟨f∣T∣i⟩=⟨f∣[Q,T]∣i⟩=qT⟨f∣T∣i⟩.\begin{aligned} (q_f-q_i)\langle f|T|i\rangle &= \langle f|[Q,T]|i\rangle \\ &= q_T\langle f|T|i\rangle. \end{aligned}

A nonzero matrix element therefore requires

qf−qi=qT.q_f-q_i=q_T.

This is a symmetry constraint, not a dynamical prediction of the transition rate. Satisfying the condition is generally necessary, not sufficient: radial integrals, additional symmetries, kinematics, and accidental cancellations can still make the matrix element vanish.

If the Hamiltonian is perturbed so that QQ is no longer conserved, the old rule may become approximate. The size of a formerly forbidden amplitude then depends on how the perturbation mixes the old symmetry sectors.

Suppose

H=H0+λV,[H0,G]=0.H=H_0+\lambda V, \qquad [H_0,G]=0.

If [V,G]≠0[V,G]\ne0, then

[H,G]=λ[V,G],[H,G]=\lambda[V,G],

so the full Hamiltonian does not have the original symmetry for nonzero λ\lambda. The old generator is not exactly conserved, old multiplets may split, and old selection rules may be violated.

That is explicit breaking. It must not be confused with choosing a state that is not invariant even though the Hamiltonian is. Nor should every nonsymmetric state in a finite system be called a spontaneously broken phase. Spontaneous symmetry breaking requires additional structure, typically a many-body or infinite-volume limit and a family of stable states or phases. The Broken Symmetry Preview establishes these distinctions without relocating their many-body canonical treatment.

Residual symmetry is often more useful than saying simply that a symmetry is gone. A magnetic field may reduce full rotation symmetry to rotations about one axis, leaving one angular-momentum component conserved even though the others are not.

For a particle on the line,

T(a)=e−iaP/ℏ.T(a)=e^{-iaP/\hbar}.

If T(a)HT†(a)=HT(a)HT^\dagger(a)=H for every aa, then [H,P]=0[H,P]=0 and momentum is conserved. For

H=P22m+V(X),H=\frac{P^2}{2m}+V(X),

this requires VV to be translation invariant. A generic position-dependent potential breaks the symmetry. The detailed wavefunction and operator derivations belong to Translations and Momentum.

For rotations about the unit vector n\mathbf n,

Rn(θ)=exp⁡ ⁣(−iθℏn⋅J).R_{\mathbf n}(\theta) = \exp\!\left( -\frac{i\theta}{\hbar}\mathbf n\cdot\mathbf J \right).

If the Hamiltonian is invariant under every spatial rotation, then

[H,Ji]=0,i=x,y,z.[H,J_i]=0, \qquad i=x,y,z.

The three generators do not commute with one another, so they cannot all label a state sharply. The compatible pair J2,JzJ^2,J_z is used instead. This distinction between symmetry generators and a commuting labeling set is central to angular momentum.

For a time-independent Hamiltonian,

U(t)=e−itH/ℏ.U(t)=e^{-itH/\hbar}.

The Hamiltonian generates time evolution and is trivially conserved because [H,H]=0[H,H]=0. If H(t)H(t) depends explicitly on time, the evolution operator is generally not a one-parameter group depending only on elapsed time, and energy need not be conserved. Time ordering and two-time propagators then replace the simple group law.

  1. Identify the transformation. State what happens to states, observables, coordinates, or external fields.
  2. Write the group law. Check whether the parameter is additive, periodic, multidimensional, or discrete.
  3. Fix the convention. Record whether operators transform as UAU†UAU^\dagger or U†AUU^\dagger A U.
  4. Find the generator. Differentiate at the identity and check the dimensions of αG/ℏ\alpha G/\hbar.
  5. Test the Hamiltonian. Evaluate finite invariance or compute [H,G][H,G] with the necessary domain assumptions.
  6. Include explicit time dependence. Use the full constants-of-motion equation, not only the commutator shortcut.
  7. Choose compatible labels. Distinguish conserved generators from a mutually commuting set of observables.
  8. Extract consequences. Determine protected sectors, degeneracies, selection rules, or residual symmetries.
  9. State the approximation. If a perturbation breaks the symmetry, say which conclusions are exact and which are approximate.

The order prevents a common reversal: guessing a conserved quantity from familiar notation and only afterward asking whether the stated Hamiltonian actually has the required symmetry.

PageCentral questionBest use
One-Parameter Unitary Groupswhat analytic structure connects finite transformations to a generator?start here for the chapter’s mathematical object
Generatorshow is the observable GG extracted and interpreted?translation, rotation, and time-evolution examples
Infinitesimal Transformationshow does GG act on states and operators?sign conventions and commutator derivations
Commutators and Conservation Lawswhy does invariance imply conservation?the core operator argument
Quantum Noether Principlewhat is the precise QM analogue of Noether’s theorem?conceptual framing and QFT bridge
Constants of Motionhow is conservation tested in practice?explicit time dependence and strength of statements
Good Quantum Numberswhen do conserved observables label states?simultaneous eigenstates and incomplete labels
Selection Rules Previewhow do symmetry labels force matrix elements to vanish?preparation for tensor operators
Broken Symmetry Previewwhat survives when the Hamiltonian or state lacks the full symmetry?exact, approximate, residual, and spontaneous cases

First pass through the logic

  1. One-Parameter Unitary Groups
  2. Generators
  3. Infinitesimal Transformations
  4. Commutators and Conservation Laws
  5. Good Quantum Numbers

For practical spectral calculations

  1. Constants of Motion
  2. Good Quantum Numbers
  3. Selection Rules Preview
  4. Angular Momentum Operators

For mathematical control

  1. Lie Groups
  2. Lie Algebras
  3. One-Parameter Unitary Groups
  4. Stone Theorem

For the field-theory bridge

  1. Quantum Noether Principle
  2. From Quantum Generators to Noether Currents
  3. Selection Rules to Ward Identities
Do not identifyWithReason
continuous unitary familysymmetry of HHinvariance must still be tested
Hermitian-looking differential expressionself-adjoint generatordomains and boundary conditions matter
conserved expectation in one stateoperator constant of motionthe former is state dependent
conserved observablesharp observablea conserved distribution can have nonzero variance
good quantum numbercomplete quantum-number setdegeneracy may remain
symmetry-allowed matrix elementnonzero matrix elementsymmetry gives necessary constraints, not full dynamics
nonsymmetric statespontaneously broken phasethe latter needs stability and an appropriate large-system limit
infinitesimal algebraglobal grouptopology and projective phases are global data
  • Omitting the continuity assumption before introducing a generator.
  • Calling any unitary change of basis a physical continuous symmetry.
  • Forgetting the factor of ℏ\hbar or giving αG/ℏ\alpha G/\hbar nonzero dimensions.
  • Switching between UAU†UAU^\dagger and U†AUU^\dagger A U without changing the sign of the infinitesimal commutator.
  • Using [H,A]=0[H,A]=0 when AA has explicit time dependence.
  • Assuming all generators of a non-Abelian symmetry can be simultaneously diagonalized.
  • Treating a good label as unique or complete without checking degeneracy.
  • Reading a selection rule as a prediction of transition strength.
  • Calling small explicit breaking spontaneous symmetry breaking.
  • Ignoring domains when an unbounded generator or Hamiltonian is involved.
  • M. H. Stone, “On One-Parameter Unitary Groups in Hilbert Space,” Annals of Mathematics 33, 643–648, 1932.
  • P. A. M. Dirac, The Principles of Quantum Mechanics, 4th ed., Oxford University Press, 1958.
  • E. P. Wigner, Group Theory and Its Application to the Quantum Mechanics of Atomic Spectra, Academic Press, 1959.
  • M. Reed and B. Simon, Methods of Modern Mathematical Physics I: Functional Analysis, revised and enlarged ed., Academic Press, 1980.
  • R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.
  • J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
  • B. C. Hall, Quantum Theory for Mathematicians, Springer, 2013.
  • E. Noether, “Invariante Variationsprobleme,” Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, 235–257, 1918.
  1. Let U(α)=e−iαG/ℏU(\alpha)=e^{-i\alpha G/\hbar}, and suppose U(α)HU†(α)=HU(\alpha)HU^\dagger(\alpha)=H for every α\alpha. Derive the generator commutator condition.
Solution

Differentiate the invariance condition:

ddα(UHU†)∣α=0=0.\left. \frac{d}{d\alpha} \left(UHU^\dagger\right) \right|_{\alpha=0} =0.

At the identity,

dUdα∣0=−iGℏ,dU†dα∣0=iGℏ.\left.\frac{dU}{d\alpha}\right|_0 =-\frac{iG}{\hbar}, \qquad \left.\frac{dU^\dagger}{d\alpha}\right|_0 =\frac{iG}{\hbar}.

Therefore

−iℏGH+iℏHG=0,-\frac{i}{\hbar}GH +\frac{i}{\hbar}HG =0,

which is [G,H]=0[G,H]=0, equivalently [H,G]=0[H,G]=0.

  1. A particle has H=P2/(2m)+12mω2X2H=P^2/(2m)+\tfrac12m\omega^2X^2. Is spatial translation generated by PP a symmetry? Evaluate the relevant commutator.
Solution

Using [X,P]=iℏ[X,P]=i\hbar,

[P,X2]=[P,X]X+X[P,X]=−2iℏX.\begin{aligned} [P,X^2] &= [P,X]X \\ &\quad+X[P,X] \\ &=-2i\hbar X. \end{aligned}

Hence

[P,H]=12mω2[P,X2]=−iℏmω2X.\begin{aligned} [P,H] &= \frac12m\omega^2[P,X^2] \\ &= -i\hbar m\omega^2X. \end{aligned}

For ω≠0\omega\ne0 this is nonzero, so translations are not a symmetry and momentum is not conserved. The oscillator center selects a preferred position.

  1. Show that the explicitly time-dependent operator A(t)=X−tP/mA(t)=X-tP/m is a constant of motion for a free particle with H=P2/(2m)H=P^2/(2m).
Solution

The explicit derivative is

∂A∂t=−Pm.\frac{\partial A}{\partial t} =-\frac{P}{m}.

Because [P2,X]=−2iℏP[P^2,X]=-2i\hbar P,

iℏ[H,A]=iℏ[P22m,X]=Pm.\frac{i}{\hbar}[H,A] = \frac{i}{\hbar} \left[\frac{P^2}{2m},X\right] = \frac{P}{m}.

The two terms cancel:

∂A∂t+iℏ[H,A]=0.\frac{\partial A}{\partial t} + \frac{i}{\hbar}[H,A] =0.

Thus AHA_H is constant even though the Schrödinger-picture expression has explicit time dependence. This is why the commutator-only shortcut would be insufficient.

  1. Suppose Q∣i⟩=2ℏ∣i⟩Q|i\rangle=2\hbar|i\rangle, Q∣f⟩=5ℏ∣f⟩Q|f\rangle=5\hbar|f\rangle, and [Q,T]=3ℏT[Q,T]=3\hbar T. Does the QQ selection rule force ⟨f∣T∣i⟩\langle f|T|i\rangle to vanish?
Solution

The necessary condition for a nonzero matrix element is

qf−qi=qT.q_f-q_i=q_T.

Here

qf−qi=5ℏ−2ℏ=3ℏ=qT.q_f-q_i = 5\hbar-2\hbar =3\hbar =q_T.

The matrix element is symmetry allowed. The selection rule does not prove that it is nonzero; dynamics or another symmetry may still make it vanish.

  1. A Hamiltonian is rotationally invariant, so [H,Ji]=0[H,J_i]=0 for i=x,y,zi=x,y,z. Explain why Jx,Jy,JzJ_x,J_y,J_z are not three simultaneous good quantum numbers, and name a standard compatible set.
Solution

The angular-momentum components obey

[Ji,Jj]=iℏϵijkJk.[J_i,J_j] = i\hbar\epsilon_{ijk}J_k.

They are individually conserved by a rotationally invariant Hamiltonian, but they do not commute with one another. They therefore cannot all have sharp values in a common basis. Since

[J2,Jz]=0,[J^2,J_z]=0,

a standard compatible labeling set is H,J2,JzH,J^2,J_z, supplemented by any additional commuting observables needed to resolve degeneracy.