Generators
A generator is the observable that appears in the infinitesimal form of a continuous unitary transformation, usually a one-parameter unitary group. The smooth symmetry groups behind such transformations are Lie groups, and their infinitesimal commutator structure is a Lie algebra. Translations are generated by momentum, rotations by angular momentum, and time translations by the Hamiltonian.
The classical counterpart is an infinitesimal canonical transformation generated by a phase-space function through the Poisson bracket.
The standard form is
where is the transformation parameter and is the generator.
Generator as a Derivative
Section titled “Generator as a Derivative”For a continuous unitary family with ,
Therefore
This formula is the practical meaning of “generator”: is the coefficient of the infinitesimal transformation.
Self-Adjointness and Observables
Section titled “Self-Adjointness and Observables”If is unitary for real , the generator is self-adjoint under the usual domain assumptions. Physically, this is why generators are observables.
For small ,
Unitarity to first order requires .
Infinitesimal State Transformation
Section titled “Infinitesimal State Transformation”An active transformation of the state is
For small ,
This is the state-space version of an infinitesimal symmetry transformation.
Infinitesimal Operator Transformation
Section titled “Infinitesimal Operator Transformation”With the active convention used in this volume,
To first order,
If instead one uses the passive or Heisenberg-style convention , the sign flips:
Many sign disagreements in books come from switching between these two conventions without saying so.
Translation Generator
Section titled “Translation Generator”For spatial translations along ,
The generator is the momentum operator. In the position representation on the line,
This is not a separate postulate here; it follows from requiring translations to shift wavefunctions.
Rotation Generator
Section titled “Rotation Generator”For a rotation by angle about unit vector ,
The generator is . The components of satisfy the angular momentum algebra
Time-Translation Generator
Section titled “Time-Translation Generator”For time-independent closed-system evolution,
The generator is the Hamiltonian . This is why the Hamiltonian is more than an energy function: it is the operator that generates time evolution.
Sign and Parameter Conventions
Section titled “Sign and Parameter Conventions”The parameter may have dimensions. For translations, has dimensions of length and has dimensions of momentum. For rotations, is dimensionless and has dimensions of angular momentum. The combination must be dimensionless.
Common Mistakes
Section titled “Common Mistakes”- Forgetting the factor of in the exponential.
- Mixing active and passive transformation signs.
- Assuming all Hermitian-looking formal differential operators are self-adjoint on the intended domain.
- Treating the Hamiltonian only as energy rather than as a generator.
- Writing a finite transformation without checking the domain or boundary conditions of its generator.
Cross-Links
Section titled “Cross-Links”- Unitary Symmetries
- One-Parameter Unitary Groups
- Active and Passive Transformations
- Canonical Transformations
- Lie Groups
- Lie Algebras
- Infinitesimal Transformations
- Commutators and Conservation Laws
- Quantum Noether Principle
- From Quantum Generators to Noether Currents
- Translations and Momentum
- Momentum Operator as Generator
- Hamiltonians as Generators
- Angular Momentum Operators
- Angular Momentum Algebra
- Momentum Operator
References
Section titled “References”- 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.
- B. C. Hall, Quantum Theory for Mathematicians, Springer, 2013.
- M. Reed and B. Simon, Methods of Modern Mathematical Physics I: Functional Analysis, revised and enlarged ed., Academic Press, 1980.
Exercises
Section titled “Exercises”- Starting from , show that first-order unitarity implies .
Solution
Compute
This equals
For this to equal to first order for arbitrary , one needs .
- What is the generator of a rotation by angle about the axis?
Solution
With the convention
the generator is .