Symmetries and Conservation in Quantum Dynamics
The previous article built the theory of conserved quantities and refused, pointedly, to answer one question: where do constants of the motion come from? Checking candidate by candidate is bookkeeping, not insight. The insight — the quantum analogue of Noether's celebrated theorem — is that every constant is a symmetry in disguise. The bridge is one theorem, three lines long. A continuous family of unitaries leaves the Hamiltonian invariant for every exactly when its hermitian generator commutes with : symmetry of the dynamics conservation of the generator. Every entry in physics' ledger of conservation laws is this theorem run on one family: translations are generated by momentum, so translation-invariant worlds conserve momentum; time translations are generated by itself, so static Hamiltonians conserve energy; rotations are generated by angular momentum — a story whose algebra fills the next chapter; even the global phase symmetry that no measurement can see pays out norm conservation. And the bridge carries traffic the classical theorem never did. When a Hamiltonian admits symmetries that fail to commute with each other, its energy levels are forced to be degenerate — symmetry doesn't just freeze quantities, it sculpts spectra. A machine-checked two-dimensional oscillator shows the mechanism: rotation symmetry stacks its levels -fold, with angular momentum labeling the stack. Then the honest closing: parity, the workhorse discrete symmetry, needs no generator; time reversal is antiunitary and gets its own article; and one line of 1956 history remembers that symmetries are hypotheses, not entitlements — the weak interaction broke parity, and measurement decided.
- Symmetry, operationally: a unitary with , i.e. — the dynamics cannot tell transformed states from originals.
- THE generator theorem: is a symmetry for all — continuous symmetry conserved generator. Quantum Noether in one commutator.
- The catalogue: translation → · time translation → · rotation → (algebra next chapter) · global phase → the identity (norm).
- Two-way street: every conserved generates a symmetry family — conservation laws and symmetries are the same list read in two directions.
- Symmetry ⇒ degeneracy: if and , then has a same-energy partner; non-commuting symmetries force systematic multiplets ( in the 2D oscillator, machine-checked).
- Discrete symmetries carry no generator: parity conserves by directly; time reversal is ANTIunitary — deferred by name.
- Key idea: conservation laws are not found, they are inherited — every continuous symmetry of hands its hermitian generator to the constants-of-the-motion ledger, and non-commuting symmetries pay an extra dividend: degeneracy.
A continuous unitary family leaves invariant for all if and only if : symmetries of the dynamics and conserved generators are one list — and symmetries that fail to commute with each other force degenerate energy levels.
Where this lives today
Symmetry-first reasoning is the default of modern physics. The Standard Model is defined by its gauge symmetry group, with conserved charges as the generators — this article's theorem, iterated locally; particle multiplets (the pion triplet, quark flavor families) are the forced degeneracies of Derivation B at accelerator scale. In condensed matter the last two decades reorganized entire phase diagrams by symmetry: topological insulators are classified by which discrete symmetries (time reversal, particle-hole) protect their edge states, and "symmetry-protected" is precisely "degeneracy forced by a non-commuting pair, robust until the symmetry breaks". The laboratory face is symmetry breaking as a precision instrument: atomic parity-violation experiments measure the weak interaction's parity breaking inside a single atom to parts in , and optical-clock comparisons watch nominally conserved quantities for drifts that would betray new symmetry-violating physics — the warning box's "measured drift indicts the Hamiltonian" run as a discovery program.
The physical picture
Slide the entire experiment three meters to the left. If the world is translation-invariant, no measurement can notice — and that unnoticeability is not a platitude but an operator equation: the sliding unitary commutes with . Now recall what the unitary chapter taught: continuous unitary families have hermitian generators, . The generator of sliding is momentum (the translation family of Canonical Commutation Relation). So "sliding is unnoticeable" and "momentum commutes with " are the same sentence — and by the previous article, that sentence means momentum's entire distribution is frozen. Symmetry has paid out a conservation law, without a single dynamical calculation.
The second dividend has no classical parallel worth the name. Suppose two symmetries hold at once but refuse to commute with each other — rotations about different axes, say. Apply one to an energy eigenstate: the result has the same energy (symmetry commutes with ). If it were always the same state up to phase, both symmetries would act as mere phases and would effectively commute. Since they don't, somewhere the transformed state is a genuinely new state at the old energy: the level is forced to hold more than one state. Non-commuting symmetries sculpt degenerate multiplets — and the size and structure of the multiplets is pure representation theory, fixed before any Schrödinger equation is solved. The machine-checked 2D oscillator below shows level holding exactly states, with ticking through them.
Symmetry, defined and cashed
Two layers of definition, one operational and one dynamical. Operationally, a symmetry transformation is a map of states preserving all measurable structure — every . Wigner's theorem (stated and owned by Unitary Operators and Transformations) says such maps come in exactly two kinds: unitary or antiunitary. This article works the unitary branch; the antiunitary branch has one physical citizen — time reversal — and is deferred by name to its own article. Dynamically, a symmetry of the system must also respect the Hamiltonian:
where: the equivalence is one rearrangement (multiply by from the left). Reading (1) forward: transformed states obey the same dynamics, since commutes with every power of and hence with — symmetry operations and time evolution can be performed in either order. Reading it as spectroscopy: maps each energy eigenspace into itself's energy — the degeneracy engine below. For a continuous symmetry the criterion compresses onto the generator. The unitary chapter's generator doctrine gives every strongly continuous family the form with hermitian; the theorem is:
where: the left side is infinitely many conditions, the right side one commutator — the theorem's practical force is exactly this compression. And the right side is the previous article's criterion verbatim: the generator is a constant of the motion, full frozen-census theory included. Equation (2) is quantum mechanics' Noether theorem — leaner than the classical one (no Lagrangians, no boundary terms), because in quantum mechanics both symmetries and observables are already operators on the same stage.
We prove equation (2) in both directions. The strategy is Taylor expansion in for the forward direction (a symmetry for all must in particular hold to first order, and first order is the commutator), and power-series resummation for the converse (one vanishing commutator silences every order at once). This is the cleanest instance of the generator doctrine: global statements about a continuous family compress into one algebraic statement about its infinitesimal seed.
Step 1. () Suppose . Then commutes with every power of itself and , so term by term in the exponential series — invariance for every , exactly.
Step 2. () Suppose invariance holds for all . Expand both exponentials to first order:
Step 3. Set the left side equal to (hypothesis) and match orders of : the first-order term must vanish identically,
Why "for all ε" is essential and one ε is not enough: a single finite transformation can accidentally return (a rotation by commuting with a crystal field, say) without its generator commuting — the continuous family is what forces the infinitesimal statement. Discrete symmetries therefore carry no generator and use criterion (1) directly.
Step 4. Cash the payout: with is precisely the constants-of-the-motion criterion — 's full outcome distribution is frozen in every state (Constants of the Motion and Conservation Laws, consumed whole). Conversely any conserved generates, by exponentiation, a symmetry family of : the street runs both ways. Verified: forward direction machine-checked on a commuting pair over an -grid (); converse via first-order extraction (numeric derivative matches to , and a non-commuting visibly fails invariance); the first-order coefficient verified symbolically on a 2×2 (article verifier).
The catalogue then writes itself, one commutator per row. Translation → momentum: (the series proof that it shifts wavefunctions is Canonical Commutation Relation's); iff — free particles and translation-invariant systems conserve momentum, and the verifier's two-particle check shows the interacting version: internal forces respect total momentum. Time translation → energy: the family is itself and the generator is — the self-referential row, conserved for free when static. Rotation → angular momentum: stated here, owned by the next chapter, where makes the symmetries mutually non-commuting — the degeneracy engine's showcase. Global phase → identity: costs nothing and conserves the norm — the symmetry reading of Conservation of Normalization's theorem.
Symmetry sculpts spectra
Go deeper · Derivation B · 1 minSymmetry forces degeneracy
We prove that a symmetry acting nontrivially on an energy eigenstate forces a degenerate partner, and that non-commuting symmetry pairs force it systematically. The strategy is two short observations about equation (1), plus one contradiction argument that pinpoints when the forcing is unavoidable. This derivation is why "accidental" degeneracy is a misnomer almost everywhere it appears — behind nearly every repeated eigenvalue stands a symmetry, discovered or not.
Step 1. Partner production. Let and . Then
— the transformed state has the same energy. If is not proportional to , the level holds at least two independent states: degeneracy.
Step 2. When can every partner be trivial? Suppose every eigenstate merely picks up a phase under both symmetries — i.e. all energy eigenstates are joint eigenstates of both. Then and act identically on a complete basis, so .
Step 3. Contrapositive — the forcing theorem: if admits two symmetries with , then some energy level must be degenerate — there is no way to diagonalize without one of the symmetries moving an eigenstate off its ray. Why this rearranges how you read spectra: degeneracy stops being coincidence and becomes a symmetry census. The free particle's ±k pair (parity and translation fail to commute — ) and the 2D oscillator's multiplets (rotations about the two axes... in 2D, with reflections) are both instances; hydrogen's famous pattern awaits its hidden SO(4) symmetry in the central-potential chapter. *Verified: the 4×4 swap-symmetry exhibit produces an orthogonal same-energy partner exactly; the 2D isotropic oscillator (two-mode Fock, 100 levels) gives , level exactly 4-fold degenerate with eigenvalues (article verifier).*
Two structural notes complete the theory. First, the symmetries of a given form a group (products and inverses of symmetries are symmetries — check (1) twice), and their conserved generators close under commutation into the algebra the previous article's Jacobi harvest built; non-abelian group non-commuting constants forced multiplets is one triangle of equivalences. The classification of which continuous groups exist at all — the shelf quantum mechanics shops from — was completed by Cartan before quantum mechanics needed it (portrait below). Second, the active–passive card: transforming the state (, apparatus fixed) and transforming the apparatus (operators , states fixed) produce identical physics when (1) holds — a symmetry is exactly a transformation for which the active and passive readings cannot be told apart. (Transforming both is the picture-change of Equivalence of the Dynamical Pictures — bookkeeping, no physics, no condition on needed.) Discrete symmetries join through criterion (1) directly, no generator attached. Parity is the workhorse: unitary, hermitian, its own inverse ( — all three machine-checked on a grid representation), conserved whenever (Parity's theorem; the frozen-census demo ran in the previous article). Time reversal is the deliberate exception to everything above: Wigner's theorem's antiunitary branch, complex-conjugating, with its own strange arithmetic ( for half-integer spin and the Kramers degeneracy it forces) — all owned by Time Reversal in Quantum Dynamics at the chapter's end. And one line of honesty, bought expensively in 1956–57: parity conservation in the weak interaction was assumed for thirty years and is false — Lee and Yang questioned it, Wu's cobalt-60 experiment answered, and "symmetries are hypotheses subject to measurement" became a permanent lesson of the field.
Limiting cases
| case | result | meaning |
|---|---|---|
| , | momentum conserved | translation symmetry; broken by any potential gradient |
| energy conserved | time-translation symmetry — the self-referential row | |
| (phase) | norm conserved | the symmetry nobody can see, paying the invariant everybody uses |
| degeneracy forced | non-commuting symmetries ⇒ multiplets (2D oscillator: ) | |
| single discrete | conservation without generator | criterion (1) direct; parity the workhorse |
| symmetry broken (weak ) | census drifts at rate set by | measured drift = probe of the breaking term |
Worked examples
Example 1 — reading a quantum dot's spectrum by symmetry alone. A 2D isotropic harmonic trap (a gate-defined quantum dot) has meV. Predict the structure of its fourth level before solving anything.
Step 1. Symmetry census: the trap is rotation-invariant in the plane, so — and reflections about in-plane axes are also symmetries, which fail to commute with rotations. Degeneracy is forced (Derivation B, Step 3).
Step 2. The multiplet size: representation theory of the 2D oscillator gives level a degeneracy . For the fourth level, : 4 — machine-checked by exact diagonalization in a two-mode Fock basis.
Step 3. The labels: ticks through the multiplet with eigenvalues , (steps of 2 — a parity constraint within the level; verified numerically). The conserved label sorts the degenerate states into an address book, the CSCO story with dynamics attached.
Step 4. The energy: 12 meV above the trap bottom. Everything in Steps 1–3 came from symmetry; the only "solving" was the one number . When a real dot's levels split this multiplet, the splitting pattern reads out which symmetry the device broke — anisotropy splits differently than a magnetic field does.
Example 2 — degeneracy you have already met: the free particle's ±k pair. An electron plane wave has de Broglie wavelength nm. Diagnose its degeneracy by symmetry.
Step 1. The energy: 1.50 eV — shared exactly by the two states , movers to the right and left.
Step 2. The symmetry diagnosis: the free Hamiltonian admits both translations and parity , and they do not commute — (flipping space reverses the direction of a shift). Non-commuting symmetry pair ⇒ forced degeneracy: parity maps into the distinct same-energy state .
Step 3. The two labeling schemes: diagonalize (travelling waves, momentum labels ) or (standing waves , , parity labels ) — the two CSCOs of Simultaneous Diagonalization's free-particle exhibit, now explained: two incompatible symmetries offer two incompatible address books for the same forced multiplet.
Step 4. The takeaway: whenever an energy level repeats, hunt the non-commuting symmetry pair. Bound states in 1D never show this (no degeneracy — Non-Degeneracy of 1D Bound States), precisely because their boundary conditions break the translation half of the pair.
Origins · 1 minÉlie Cartan and how this was discovered
The shelf of continuous symmetry groups that quantum mechanics shops from — the catalogue behind this article's every "family " — was completed by a French mathematician decades before physics knew it needed one. Cartan, a blacksmith's son lifted by scholarships to the École Normale, took up in his 1894 thesis the classification of simple continuous groups that Wilhelm Killing had drafted with gaps and errors, and finished it rigorously: four infinite families and five exceptional structures, the complete inventory of ways continuous symmetry can close on itself. (Sophus Lie's bracket algebra — the grammar the inventory is written in — has its own portrait at the commutator article.) In 1913, still with no physics in sight, Cartan discovered the spinor representations: ways a rotation group can act that return to minus themselves after a full turn. Fifteen years later electron spin walked into precisely that slot, and the quantum theory of angular momentum became applied Cartan. His method of moving frames rebuilt differential geometry; his classification underwrites everything from the Standard Model's gauge groups to the multiplet counting in this article's oscillator example. A quiet professor who lectured without notes and was fully appreciated only late, he lived to see physicists raiding his catalogue — the purest case on record of mathematics stocking shelves for a customer who had not yet been born.
Going further
References. Sakurai & Napolitano, Modern Quantum Mechanics, 3rd ed., Ch. 3–4 · Shankar, Principles of Quantum Mechanics, 2nd ed., Ch. 11 · Cohen-Tannoudji, Diu & Laloë, Quantum Mechanics, Vol. II · Weyl, The Theory of Groups and Quantum Mechanics (1928; Dover) · Gross, "The role of symmetry in fundamental physics", PNAS 93, 14256 (1996).
Provenance. All commutation relations and generator forms are standard (Sakurai 3rd ed. Ch. 3–4; Shankar Ch. 11; Cohen-Tannoudji Vol. 2). A verifier should: (1) confirm generates translation via Taylor expansion of ; (2) re-derive from the Heisenberg/Ehrenfest equation; (3) check and the dimension count; (4) verify the hydrogen bound-state representations have dimension . No nonstandard numerical values are claimed. For this edition the generator theorem was machine-executed both directions (invariance over an -grid to ; first-order extraction numeric and symbolic), plus: exact; and the two-particle symbolic; the degeneracy-forcing 4×4 exhibit; the 2D oscillator (, , eigenvalues ); parity's grid credentials and for symmetric quartic; and the worked numbers (12 meV; 1.50 eV). Items (1)–(2) are owned upstream (Canonical Commutation Relation; Ehrenfest's Theorem) and were consumed by citation; items (3)–(4) are deliberately NOT executed here — the angular-momentum algebra belongs to the ANGM chapter and the SO(4) count to the hydrogen chapter, both teased by name only. Per the chapter ownership map: Wigner's theorem statement and the unitary/generator doctrine are Unitary Operators and Transformations'; conservation theory is Constants of the Motion's (consumed); time reversal and antiunitarity → Time Reversal in Quantum Dynamics BY NAME; field-theoretic Noether → the relativistic track.
Builds on: Constants of the Motion and Conservation Laws · Unitary Operators and Transformations · Canonical Commutation Relation · The Commutator and Compatible Observables · Parity
Leads to: Angular momentum and rotations (ANGM chapter) · Central potentials and hydrogen's SO(4) · Time Reversal in Quantum Dynamics · The Quantum Propagator
Is this really Noether's theorem, or just an analogy?
It is the honest quantum counterpart, and structurally simpler than Noether's. Her 1918 theorem needs a Lagrangian, a variation, and a boundary current; quantum mechanics gets symmetry⇔conservation in three lines because both players — the symmetry (unitary) and the charge (its generator) — already live in the same operator algebra. What the classical theorem has that this one doesn't: local conservation (continuity equations for currents), which in quantum mechanics appears field by field (probability current) and fully only in QFT, where Noether's machinery returns in original form.
Why do continuous symmetries give conserved quantities but a single discrete symmetry gives "only" a conserved label?
Both give exactly the same thing — a conserved observable — but the continuous case gives an infinite ladder of them from one family (, and functions of it) with a continuum of possible values, while parity's spectrum is just . The practical difference is resolution: momentum conservation constrains dynamics by a real number per state; parity constrains it by one bit. The compensation is robustness — a one-bit label is hard to break partially, which is why parity/selection-rule arguments survive approximations that wreck quantitative conservation.
What exactly is "accidental" degeneracy, and does it exist?
The name for degeneracy not explained by the obvious symmetry group — and in almost every named case it marks a hidden symmetry rather than an accident. Hydrogen's -degeneracy (all at fixed ) looks accidental under rotations alone but is forced by the conserved Runge–Lenz vector, enlarging the symmetry to SO(4) — the central-potential chapter's set piece. The isotropic oscillator's extra degeneracy likewise betrays SU() structure beyond rotations. Truly unexplained crossings do occur at isolated parameter values (fine-tuning), but persistent degeneracy across a parameter range is, in practice, always a symmetry census waiting to be completed.
Does the symmetry group of Ĥ act irreducibly on each energy level?
Each level carries a representation of the symmetry group (Derivation B, Step 1 keeps you inside the level), but not necessarily an irreducible one. The clean statement runs the other way: generically, each energy eigenspace is one irreducible representation — that is why multiplet dimensions (, , ) predict degeneracies. When a level carries a reducible representation, either a further symmetry has been missed or a genuine accident sits at that parameter point. This dictionary — levels ↔ irreps — is the working content of "representation theory fixes spectra before any ODE is solved".
How does spontaneous symmetry breaking fit this framework — the Hamiltonian is symmetric but the world isn't?
The theorem survives untouched: still freezes distributions in every state. What changes is which states nature hands you. In large systems the symmetric ground state can be degenerate with a family of asymmetric ones (a magnet's magnetization directions), and locality plus the thermodynamic limit make superpositions of them unreachable — the system sits in one asymmetric member while the conservation law governs transitions it never makes. The generator remains conserved; its symmetry is hidden in the state, not broken in the law. The full story (Goldstone modes, order parameters) belongs to many-body and field-theory tracks.
Practically, how do I hunt the constants of a new Hamiltonian?
Symmetry-first, in this order. (i) Geometry: what leaves the potential unchanged — translations, rotations, reflections, exchange of identical particles? Each survivor donates a generator or a discrete label. (ii) Structure: does separate (each separated block conserves its own sub-Hamiltonian)? (iii) The Jacobi harvest: bracket the constants found; inside degenerate levels, hunt block operators. (iv) The hidden-symmetry sniff test: leftover degeneracy unexplained by (i)–(iii) means a non-obvious conserved quantity exists — find it (Runge–Lenz-style) or accept a mystery. Only after this ledger is built does brute-force commutator checking earn its keep.