Skip to main content

Welcome to a Grasp lesson

Create a free account to keep studying and create your own study path.

Lesson 26

Noether's Theorem: Symmetry and Conservation Laws

Recommended resources

Welcome back. In our previous lesson, we established a profound connection between a system's symmetry and its static properties, namely the structure of its energy spectrum. We saw that the symmetry group of a Hamiltonian dictates the "essential" degeneracies of its energy levels.

Today, we will explore the other fundamental consequence of symmetry, shifting our focus from the static spectrum to the system's dynamics. You will learn how continuous symmetries give rise to conservation laws, a principle encapsulated in one of the most elegant and powerful theorems in physics: Noether's theorem. By the end of this lesson, you will be able to derive a conservation law directly from the existence of a continuous symmetry in a quantum mechanical Hamiltonian.

1. From Symmetry to Conservation: The Quantum Statement

Emmy Noether's original 1915 theorem was formulated in the language of Lagrangian mechanics. It states that for every continuous symmetry of the action, there exists a corresponding conserved quantity. While the Lagrangian formulation is powerful, especially in field theory, the Hamiltonian formulation—which is more natural to quantum mechanics—provides a more direct path to the same conclusion.

Let's begin with our definition of a continuous symmetry from the last lesson. A one-parameter continuous symmetry is represented by a family of unitary operators , where is a continuous parameter (e.g., a translation distance or a rotation angle). The symmetry condition is that the Hamiltonian is invariant under these transformations:

for all values of .

Now, consider an infinitesimal transformation, where is a very small value, let's call it . As we've seen, any such unitary operator can be expressed in terms of a Hermitian operator , known as the generator of the transformation:

If the commutation relation holds for all , it must hold for this infinitesimal transformation as well:

Since commutes with the identity operator and is a non-zero scalar, this simplifies to:

This is a pivotal result: a continuous symmetry of the Hamiltonian implies that the Hamiltonian commutes with the generator of that symmetry.

The following reading provides a concise statement of this derivation and frames it as the quantum mechanical version of Noether's Theorem.

[PDF] Lecture 18 (Nov. 13, 2017) - 18.1 Symmetries in Quantum Mechanics

These lecture notes from MIT provide a direct and clear derivation of the relationship between a continuous symmetry and its conserved generator.

Please read the section 18.1.2 Continuous Symmetries and Conservation Laws. Focus on the derivation that starts from the symmetry condition H = U†HU and uses an infinitesimal unitary operator to arrive at [G, H] = 0. Then, follow the argument that connects this commutation relation to the conservation of G via the equation for dG/dt. The text also formally states Noether's Theorem in this context.


2. The Heisenberg Picture and the Dynamics of Observables

The notes you just read made a jump to dG/dt. To make this step completely rigorous and to understand what dG/dt truly means for an operator, we must introduce the concept of time evolution for observables. The most natural framework for this is the Heisenberg picture of quantum mechanics.

You are familiar with the Schrödinger picture, where state vectors evolve in time according to the Schrödinger equation, while operators like position and momentum are typically fixed. The Heisenberg picture offers an equivalent but alternative perspective:

  • State vectors are fixed in time: .
  • Operators evolve in time: An operator in the Schrödinger picture becomes a time-dependent operator in the Heisenberg picture.

The relationship between the two is defined such that the physical predictions (i.e., expectation values) are identical in both pictures:

Given that , where is the time-evolution operator, we can deduce the definition of the Heisenberg operator:

To see how these operators evolve, we can differentiate with respect to time. This leads to the Heisenberg equation of motion.

The following video lecture derives the Heisenberg picture from first principles and then arrives at the crucial Heisenberg equation of motion.

13. Quantum Dynamics (continued) | Heisenberg Picture

This MIT OpenCourseWare lecture by Prof. Allan Adams provides a clear and pedagogical introduction to the Heisenberg picture and the dynamics of operators.

First, watch the segment that introduces the Heisenberg picture, from 30:22 to 33:38. This section motivates and defines the Heisenberg operator. Next, jump to the derivation of the Heisenberg equation of motion, from 49:18 to 55:54. This is the central result we need. The final equation derived, ihbar d/dt(A_H) = [A_H, H_H] + ..., is the quantum analogue of Hamilton's equations in classical mechanics.

For a Schrödinger operator that does not have explicit time dependence (like the generators we are considering), the Heisenberg equation of motion is:


3. Deriving the Conservation Law

We now have all the pieces to complete our derivation.

  1. A continuous symmetry implies its generator commutes with the Hamiltonian : .
  2. The time evolution of the corresponding Heisenberg operator is governed by the Heisenberg equation of motion.

If the Hamiltonian itself is time-independent, then . The commutator in the Heisenberg picture is then:

Since commutes with and , we can write:

Since our symmetry condition gives us , we find that:

Substituting this into the Heisenberg equation of motion:

This is the formal statement of a conservation law in quantum mechanics. It says that the operator is constant in time. Consequently, its expectation value for any (time-independent Heisenberg) state is also constant:

The following short clip from the same MIT lecture summarizes this specific point beautifully.

13. Quantum Dynamics (continued) | Heisenberg Picture

This segment explicitly connects the commutation of an operator with the Hamiltonian to its conservation in the Heisenberg picture.

Please watch from 1:01:56 to 1:03:32. This directly shows that if [A_S, H_S] = 0, then the corresponding Heisenberg operator A_H is time-independent (dA_H/dt = 0), which is the definition of a conserved quantity.


4. Foundational Examples

This theorem provides the theoretical underpinning for the most fundamental conservation laws in physics.

  • Conservation of Momentum: If a system's Hamiltonian is invariant under spatial translations (), it must not depend on the position operator . The generator of spatial translations is the momentum operator, . Therefore, translational invariance implies , and momentum is conserved.
  • Conservation of Angular Momentum: If a system's Hamiltonian is invariant under rotations, it is spherically symmetric. The generators of rotations are the components of the angular momentum operator, . Therefore, rotational invariance implies , and angular momentum is conserved.
  • Conservation of Energy: If a system's Hamiltonian has no explicit time dependence, it is invariant under time translations (). The generator of time evolution is the Hamiltonian itself. The condition is trivially true, which implies that energy is conserved for any closed system.

The connection between momentum and the generator of translations is definitional, as explained in this short video.

The Symmetry at the Heart of the Canonical Commutation Relation

This clip from Physics with Elliot succinctly states the principle that momentum is defined as the generator of spatial translations.

Watch the brief segment from 1:23 to 2:04. This reinforces the idea that we can define the momentum operator as the generator of the translation symmetry, which then, through Noether's theorem, becomes a conserved quantity if the symmetry holds.

A conceptual diagram illustrating the classical origins of Noether's theorem. A symmetry implies that the action, S, is unchanged under a variation of the physical path (q vs. the grey path). This invariance requires a certain quantity, related to the partial derivative of the Lagrangian, to be the same at the start (t₀) and end (t₁) of the path. In the limit of an infinite path, this implies the quantity is conserved at all times.

5. An Algebraic Perspective on Noether's Theorem

Given your background in mathematics and interest in formal structures, it's worth taking a moment to appreciate the deep algebraic structure underlying Noether's theorem. The proof you've seen relies on the Heisenberg equation of motion, which in turn depends on the commutator.

Consider two observables, and , which are generators of continuous symmetries.

  • "A generates a symmetry of B" means that B is unchanged by the transformation generated by A. This is true if and only if .
  • "B generates a symmetry of A" means that A is unchanged by the transformation generated by B. This is true if and only if .

Because the commutator is antisymmetric, , the condition is perfectly equivalent to . Therefore, the statement "A is conserved under the symmetry generated by B" is equivalent to "B is conserved under the symmetry generated by A". This beautiful reciprocity is the essence of Noether's theorem in the Hamiltonian/quantum framework.

For a deeper exploration of this algebraic viewpoint, you may find the following paper insightful. It's an optional read, but it elegantly reframes the theorem in a more abstract light that connects classical and quantum mechanics.

[PDF] Getting to the Bottom of Noether's Theorem John C. Baez

This paper by the mathematical physicist John C. Baez explores the fundamental algebraic roots of Noether's theorem.

I recommend reading the introduction and Section 1, "Classical mechanics", which frames the theorem using Poisson brackets. Then, read the first part of Section 2, "Quantum mechanics", which translates this reasoning to the commutators and C*-algebras of quantum theory. This will connect the physics we've discussed to the more abstract algebraic structures you encounter in mathematics.


Conclusion

In this lesson, we have moved from the static consequences of symmetry to its dynamic implications. We have rigorously demonstrated how the existence of a continuous symmetry in a quantum system logically necessitates the existence of a corresponding conserved quantity.

Key Takeaways:

  • A continuous symmetry of a Hamiltonian , represented by unitary operators , implies that commutes with the symmetry's Hermitian generator : .
  • In the Heisenberg picture, operators evolve in time according to the Heisenberg equation of motion: .
  • Combining these two facts shows that if , then the Heisenberg operator is constant in time (), meaning is a conserved quantity.
  • This provides the quantum mechanical basis for fundamental laws like the conservation of momentum, angular momentum, and energy, which arise from symmetries of space and time.
  • At its core, the theorem's reciprocity in the Hamiltonian formalism stems from the antisymmetry of the commutator.

You now understand how symmetries act as powerful constraints not only on what states can exist, but also on how those states can evolve. In our next lesson, we will see another dynamical consequence of symmetry: the existence of selection rules, which dictate which transitions between quantum states are allowed or forbidden.