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.
Canonical Boundaries
Section titled “Canonical Boundaries”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.
| Question | Canonical home | Role here |
|---|---|---|
| what counts as a continuous unitary family? | One-Parameter Unitary Groups | states the group and continuity assumptions |
| how is the generator extracted? | Generators | defines the derivative at the identity |
| why do commutators appear? | Infinitesimal Transformations | derives the first-order action |
| when does symmetry imply conservation? | Commutators and Conservation Laws | gives the operator derivation |
| what is the quantum Noether statement? | Quantum Noether Principle | distinguishes the QM statement from the full theorem |
| how is a proposed constant tested? | Constants of Motion | treats explicit time dependence and strength of conservation |
| when is an eigenvalue a useful label? | Good Quantum Numbers | connects commuting observables to state labels |
| why must some matrix elements vanish? | Selection Rules Preview | gives the symmetry-sector argument |
| what changes when symmetry is absent or reduced? | Broken Symmetry Preview | separates 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.
The Structural Chain
Section titled “The Structural Chain”Let be a one-parameter unitary group. Its defining algebraic conditions are
Continuity near the identity allows the family to be represented by a self-adjoint generator :
Near ,
If the Hamiltonian is invariant,
then differentiating at the identity gives
When has no explicit time dependence, the Heisenberg equation consequently gives
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.
Continuity and One-Parameter Groups
Section titled “Continuity and One-Parameter Groups”The parameter may be time, displacement, rotation angle, or an internal phase. Its units depend on the transformation, but the exponent must be dimensionless:
The group law says that applying two transformations is equivalent to adding their parameters. It is not merely an exponential ansatz. For translations,
while time-independent evolution satisfies
In finite dimensions, matrix continuity is sufficient for the usual manipulations. On an infinite-dimensional Hilbert space, strong continuity is the standard assumption:
for every in the Hilbert space. The generator may be unbounded, so its domain matters even though every 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 rotations, and compact internal symmetries require the global group structure as well as the infinitesimal algebra.
Generators as Tangent Observables
Section titled “Generators as Tangent Observables”The generator is the derivative of the unitary family at the identity:
With the convention used throughout this volume,
| Transformation | Parameter | Unitary family | Generator |
|---|---|---|---|
| time translation | Hamiltonian | ||
| spatial translation | momentum | ||
| rotation about | |||
| internal phase rotation | charge-like observable |
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:
so 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,
the first-order change is
With the active operator convention ,
With the conjugation , used when the transformed state is pulled back to the original state, the sign is reversed:
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 or .
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.
Hamiltonian Invariance
Section titled “Hamiltonian Invariance”A unitary family becomes a dynamical symmetry only after it passes the Hamiltonian test. For a time-independent family,
is equivalent, under the usual regularity assumptions, to
The two directions should be kept distinct in a derivation:
- Finite invariance differentiated at gives the commutator condition.
- If a self-adjoint commutes appropriately with , its exponential commutes with and generates a finite invariance.
For unbounded operators, statements such as 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 ,
The corresponding operator criterion for a constant of motion is
Thus is sufficient only when has no explicit time dependence. Conversely, an explicitly time-dependent can still be conserved when its explicit derivative cancels its commutator term.
For a continuous unitary symmetry generated by , the ordinary quantum Noether pattern is
where the last implication assumes .
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 and a continuity equation 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.
What Conservation Means
Section titled “What Conservation Means”Several statements are often compressed into the word “conserved.”
| Statement | Scope | What it establishes |
|---|---|---|
| in one state | state dependent | one mean value is stationary |
| for all states | dynamical | all expectation values are stationary |
| operator level | the Heisenberg observable is fixed | |
| the spectral projectors of are preserved | distribution level | every measurement probability for 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 commutes with every observable, only that it satisfies the relevant dynamical criterion.
Good Quantum Numbers
Section titled “Good Quantum Numbers”If a time-independent self-adjoint operator commutes with , the Hamiltonian preserves each eigenspace of . Energy eigenstates can then be chosen with a label:
The extra label matters. A good quantum number need not form a complete label. Several independent states may share the same and .
For several proposed labels , it is not enough that each commute with . They must also be mutually compatible if states are to carry all labels sharply:
This explains why and one component such as can label central-potential states, while , , and 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.
Selection Rules from Symmetry Labels
Section titled “Selection Rules from Symmetry Labels”Let generate a continuous symmetry, and suppose
If a transition operator has a definite commutator with ,
then
A nonzero matrix element therefore requires
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 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.
Exact, Reduced, and Broken Symmetry
Section titled “Exact, Reduced, and Broken Symmetry”Suppose
If , then
so the full Hamiltonian does not have the original symmetry for nonzero . 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.
Three Standard Examples
Section titled “Three Standard Examples”Translation invariance
Section titled “Translation invariance”For a particle on the line,
If for every , then and momentum is conserved. For
this requires to be translation invariant. A generic position-dependent potential breaks the symmetry. The detailed wavefunction and operator derivations belong to Translations and Momentum.
Rotational invariance
Section titled “Rotational invariance”For rotations about the unit vector ,
If the Hamiltonian is invariant under every spatial rotation, then
The three generators do not commute with one another, so they cannot all label a state sharply. The compatible pair is used instead. This distinction between symmetry generators and a commuting labeling set is central to angular momentum.
Time translations
Section titled “Time translations”For a time-independent Hamiltonian,
The Hamiltonian generates time evolution and is trivially conserved because . If 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.
A Reliable Problem-Solving Workflow
Section titled “A Reliable Problem-Solving Workflow”- Identify the transformation. State what happens to states, observables, coordinates, or external fields.
- Write the group law. Check whether the parameter is additive, periodic, multidimensional, or discrete.
- Fix the convention. Record whether operators transform as or .
- Find the generator. Differentiate at the identity and check the dimensions of .
- Test the Hamiltonian. Evaluate finite invariance or compute with the necessary domain assumptions.
- Include explicit time dependence. Use the full constants-of-motion equation, not only the commutator shortcut.
- Choose compatible labels. Distinguish conserved generators from a mutually commuting set of observables.
- Extract consequences. Determine protected sectors, degeneracies, selection rules, or residual symmetries.
- 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.
Chapter Map
Section titled “Chapter Map”| Page | Central question | Best use |
|---|---|---|
| One-Parameter Unitary Groups | what analytic structure connects finite transformations to a generator? | start here for the chapter’s mathematical object |
| Generators | how is the observable extracted and interpreted? | translation, rotation, and time-evolution examples |
| Infinitesimal Transformations | how does act on states and operators? | sign conventions and commutator derivations |
| Commutators and Conservation Laws | why does invariance imply conservation? | the core operator argument |
| Quantum Noether Principle | what is the precise QM analogue of Noether’s theorem? | conceptual framing and QFT bridge |
| Constants of Motion | how is conservation tested in practice? | explicit time dependence and strength of statements |
| Good Quantum Numbers | when do conserved observables label states? | simultaneous eigenstates and incomplete labels |
| Selection Rules Preview | how do symmetry labels force matrix elements to vanish? | preparation for tensor operators |
| Broken Symmetry Preview | what survives when the Hamiltonian or state lacks the full symmetry? | exact, approximate, residual, and spontaneous cases |
Reading Paths
Section titled “Reading Paths”First pass through the logic
- One-Parameter Unitary Groups
- Generators
- Infinitesimal Transformations
- Commutators and Conservation Laws
- Good Quantum Numbers
For practical spectral calculations
For mathematical control
For the field-theory bridge
- Quantum Noether Principle
- From Quantum Generators to Noether Currents
- Selection Rules to Ward Identities
Distinctions Worth Keeping
Section titled “Distinctions Worth Keeping”| Do not identify | With | Reason |
|---|---|---|
| continuous unitary family | symmetry of | invariance must still be tested |
| Hermitian-looking differential expression | self-adjoint generator | domains and boundary conditions matter |
| conserved expectation in one state | operator constant of motion | the former is state dependent |
| conserved observable | sharp observable | a conserved distribution can have nonzero variance |
| good quantum number | complete quantum-number set | degeneracy may remain |
| symmetry-allowed matrix element | nonzero matrix element | symmetry gives necessary constraints, not full dynamics |
| nonsymmetric state | spontaneously broken phase | the latter needs stability and an appropriate large-system limit |
| infinitesimal algebra | global group | topology and projective phases are global data |
Common Mistakes
Section titled “Common Mistakes”- Omitting the continuity assumption before introducing a generator.
- Calling any unitary change of basis a physical continuous symmetry.
- Forgetting the factor of or giving nonzero dimensions.
- Switching between and without changing the sign of the infinitesimal commutator.
- Using when 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.
Cross-Links
Section titled “Cross-Links”- Symmetry Principles
- Active and Passive Transformations
- Symmetry Constraints on Hamiltonians
- Spatial Symmetries
- Translations and Momentum
- Angular Momentum Operators
- XXZ Spin Chain
- Compatible Observables
- Conservation Laws
- Heisenberg Equations of Motion
- Noether Theorem in Quantum Mechanics
References
Section titled “References”- 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.
Exercises
Section titled “Exercises”- Let , and suppose for every . Derive the generator commutator condition.
Solution
Differentiate the invariance condition:
At the identity,
Therefore
which is , equivalently .
- A particle has . Is spatial translation generated by a symmetry? Evaluate the relevant commutator.
Solution
Using ,
Hence
For this is nonzero, so translations are not a symmetry and momentum is not conserved. The oscillator center selects a preferred position.
- Show that the explicitly time-dependent operator is a constant of motion for a free particle with .
Solution
The explicit derivative is
Because ,
The two terms cancel:
Thus is constant even though the Schrödinger-picture expression has explicit time dependence. This is why the commutator-only shortcut would be insufficient.
- Suppose , , and . Does the selection rule force to vanish?
Solution
The necessary condition for a nonzero matrix element is
Here
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.
- A Hamiltonian is rotationally invariant, so for . Explain why are not three simultaneous good quantum numbers, and name a standard compatible set.
Solution
The angular-momentum components obey
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
a standard compatible labeling set is , supplemented by any additional commuting observables needed to resolve degeneracy.