Skip to content

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

U(α)=e−iαG/ℏ,U(\alpha) = e^{-i\alpha G/\hbar},

where α\alpha is the transformation parameter and GG is the generator.

For a continuous unitary family with U(0)=IU(0)=I,

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

Therefore

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

This formula is the practical meaning of “generator”: GG is the coefficient of the infinitesimal transformation.

If U(α)U(\alpha) is unitary for real α\alpha, the generator is self-adjoint under the usual domain assumptions. Physically, this is why generators are observables.

For small α\alpha,

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

Unitarity to first order requires G†=GG^\dagger=G.

An active transformation of the state is

∣ψ⟩⟼U(α)∣ψ⟩.\lvert\psi\rangle \longmapsto U(\alpha)\lvert\psi\rangle.

For small α\alpha,

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

This is the state-space version of an infinitesimal symmetry transformation.

With the active convention used in this volume,

A⟼U(α)AU†(α).A\longmapsto U(\alpha)AU^\dagger(\alpha).

To first order,

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

If instead one uses the passive or Heisenberg-style convention A↦U†AUA\mapsto U^\dagger A U, the sign flips:

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

Many sign disagreements in books come from switching between these two conventions without saying so.

For spatial translations along xx,

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

The generator PP is the momentum operator. In the position representation on the line,

P=−iℏddx.P=-i\hbar\frac{d}{dx}.

This is not a separate postulate here; it follows from requiring translations to shift wavefunctions.

For a rotation by angle θ\theta about unit vector n^\hat{\mathbf n},

U(n^,θ)=exp⁡(−iℏθ n^⋅J).U(\hat{\mathbf n},\theta) = \exp\left( -\frac{i}{\hbar}\theta\,\hat{\mathbf n}\cdot\mathbf J \right).

The generator is n^⋅J\hat{\mathbf n}\cdot\mathbf J. The components of J\mathbf J satisfy the angular momentum algebra

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

For time-independent closed-system evolution,

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

The generator is the Hamiltonian HH. This is why the Hamiltonian is more than an energy function: it is the operator that generates time evolution.

The parameter α\alpha may have dimensions. For translations, α=a\alpha=a has dimensions of length and G=PG=P has dimensions of momentum. For rotations, α=θ\alpha=\theta is dimensionless and G=n^⋅JG=\hat{\mathbf n}\cdot\mathbf J has dimensions of angular momentum. The combination αG/ℏ\alpha G/\hbar must be dimensionless.

  • Forgetting the factor of ℏ\hbar 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.
  • 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.
  1. Starting from U(α)=I−iαG/ℏ+O(α2)U(\alpha)=I-i\alpha G/\hbar+O(\alpha^2), show that first-order unitarity implies G†=GG^\dagger=G.
Solution

Compute

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

This equals

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

For this to equal II to first order for arbitrary α\alpha, one needs G†=GG^\dagger=G.

  1. What is the generator of a rotation by angle θ\theta about the zz axis?
Solution

With the convention

U(z^,θ)=e−iθJz/ℏ,U(\hat z,\theta) = e^{-i\theta J_z/\hbar},

the generator is JzJ_z.