Skip to content

One-Parameter Unitary Groups

A one-parameter unitary group is a continuous family of unitary operators U(α)U(\alpha) labeled by one real parameter and satisfying the same composition law as the parameter addition:

U(α+β)=U(α)U(β),U(0)=I.U(\alpha+\beta) = U(\alpha)U(\beta), \qquad U(0)=I.

It is the mathematical object behind statements such as “momentum generates translations,” “angular momentum generates rotations,” and “the Hamiltonian generates time evolution.” The next page, Generators, focuses on the observable GG that appears infinitesimally. This page focuses on the unitary family itself.

The analytic owner for strong versus norm continuity, differentiable-vector domains, and group-versus-propagator boundaries is Strongly Continuous Unitary Groups.

A discrete symmetry, such as parity, can constrain spectra and matrix elements, but it usually cannot be differentiated. A continuous one-parameter symmetry can be studied near the identity. That local information is what produces a generator.

The parameter may be time, a displacement, an angle, or an internal phase. The essential feature is that two transformations compose by adding the parameters. If translating by aa and then by bb is the same as translating by a+ba+b, the corresponding unitaries should obey

T(a+b)=T(a)T(b).T(a+b) = T(a)T(b).

This is more than a convenient notation. It is the group law expressed on Hilbert space.

A one-parameter unitary group on a Hilbert space H\mathcal H is a map

α∈R⟼U(α)\alpha\in\mathbb R \longmapsto U(\alpha)

such that:

  • U(α)U(\alpha) is unitary for every real α\alpha;
  • U(0)=IU(0)=I;
  • U(α+β)=U(α)U(β)U(\alpha+\beta)=U(\alpha)U(\beta) for all real α,β\alpha,\beta;
  • U(α)U(\alpha) depends continuously on α\alpha in the appropriate operator-theoretic sense.

The first three conditions are algebraic. The last condition is analytic: it rules out pathological group representations and allows an infinitesimal generator to be defined.

For finite-dimensional Hilbert spaces, ordinary matrix continuity is enough. For infinite-dimensional Hilbert spaces, the standard hypothesis is strong continuity:

lim⁡α→α0∥U(α)ψ−U(α0)ψ∥=0\lim_{\alpha\to\alpha_0} \left\| U(\alpha)\psi-U(\alpha_0)\psi \right\| =0

for every ψ∈H\psi\in\mathcal H.

With the physics convention for Hermitian generators, a strongly continuous one-parameter unitary group is written formally as

U(α)=exp⁡(−iℏαG),U(\alpha) = \exp\left( -\frac{i}{\hbar}\alpha G \right),

where GG is self-adjoint and αG/ℏ\alpha G/\hbar is dimensionless. In finite dimensions this is the ordinary matrix exponential. In infinite dimensions it is defined by the spectral theorem for the self-adjoint operator GG.

For small α\alpha,

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

Thus the same object has two faces:

  • the finite transformation U(α)U(\alpha);
  • the infinitesimal generator GG.

The finite family is often easier to identify physically, while the generator is often easier to use in commutator calculations.

The rigorous result behind the exponential form is Stone theorem. In units with no explicit ℏ\hbar, it says that a strongly continuous one-parameter unitary group has a unique self-adjoint generator AA such that

U(t)=e−itA.U(t)=e^{-itA}.

In the common quantum-mechanical convention,

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

The distinction between symmetric and self-adjoint operators matters here. A formal differential operator that is merely symmetric may fail to generate a unitary group until a self-adjoint domain or extension has been specified.

The same pattern appears in several basic quantum transformations.

TransformationParameterUnitary familyGenerator
Time translationttU(t)=e−itH/ℏU(t)=e^{-itH/\hbar}Hamiltonian HH
Space translation in one directionaaT(a)=e−iaP/ℏT(a)=e^{-iaP/\hbar}momentum PP
Rotation about n^\hat{\mathbf n}θ\thetaR(θ)=e−iθn^⋅J/ℏR(\theta)=e^{-i\theta\hat{\mathbf n}\cdot\mathbf J/\hbar}n^⋅J\hat{\mathbf n}\cdot\mathbf J
Internal phase rotationθ\thetaU(θ)=e−iθNU(\theta)=e^{-i\theta N}number operator NN

The last example uses a dimensionless generator NN, so no explicit ℏ\hbar appears. If one uses a charge QQ with physical dimensions instead, the exponential must be normalized by the appropriate unit so that the exponent is dimensionless.

For a time-independent closed-system Hamiltonian,

U(t+s)=U(t)U(s),U(t)=e−itH/ℏ.U(t+s) = U(t)U(s), \qquad U(t)=e^{-itH/\hbar}.

This is a one-parameter unitary group. The Hamiltonian is the generator of time translations, as discussed in Hamiltonians as Generators.

For a time-dependent Hamiltonian H(t)H(t), the evolution operator is usually a two-parameter propagator U(t,t0)U(t,t_0), not a one-parameter group:

U(t2,t0)=U(t2,t1)U(t1,t0).U(t_2,t_0) = U(t_2,t_1)U(t_1,t_0).

This composition law is useful, but it is not the same as U(t+s)=U(t)U(s)U(t+s)=U(t)U(s) unless the dynamics is time-translation invariant in the relevant sense.

Spatial translations on the line form the additive group (R,+)(\mathbb R,+). In the active convention used here,

(T(a)ψ)(x)=ψ(x−a),T(a)=e−iaP/ℏ.(T(a)\psi)(x)=\psi(x-a), \qquad T(a)=e^{-iaP/\hbar}.

The group law T(a+b)=T(a)T(b)T(a+b)=T(a)T(b) reflects ordinary addition of displacements. Its generator is the momentum operator, treated in Translations and Momentum.

Rotations about a fixed axis also give a one-parameter family:

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

For a fixed axis, angle addition gives the one-parameter subgroup law

Rn^(θ+ϕ)=Rn^(θ)Rn^(ϕ).R_{\hat{\mathbf n}}(\theta+\phi) = R_{\hat{\mathbf n}}(\theta)R_{\hat{\mathbf n}}(\phi).

Rotations about different axes do not generally commute. The full rotation group is not one-dimensional, but every fixed-axis rotation is a one-parameter subgroup of it.

Not every one-parameter family is globally the real line in disguise. Angle variables are periodic. For an ordinary representation of a 2π2\pi-periodic phase or rotation family, one expects

U(θ+2π)=U(θ).U(\theta+2\pi) = U(\theta).

If

U(θ)=e−iθN,U(\theta) = e^{-i\theta N},

then U(2π)=IU(2\pi)=I requires eigenvalues of NN to be integers in an ordinary single-valued representation. This is the elementary spectral content behind many quantization conditions for compact one-parameter groups.

Spin introduces an important caveat. Spinor states are naturally represented by SU(2)SU(2), the double cover of SO(3)SO(3). A 2π2\pi spatial rotation may act as −I-I on a spinor representative even though physical rays are unchanged. For that reason, global questions about periodicity often require the language of projective representations and covering groups.

A one-parameter unitary family is a symmetry of a Hamiltonian HH when

U(α)HU†(α)=HU(\alpha)HU^\dagger(\alpha) = H

for every α\alpha. This is stronger than saying that U(α)U(\alpha) is unitary. A unitary family can represent a possible transformation without being a symmetry of a particular Hamiltonian.

If

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

then differentiating the invariance condition at α=0\alpha=0 gives

[G,H]=0.[G,H]=0.

When GG has no explicit time dependence, this commutator condition is the route from continuous symmetry to conservation law. The systematic conservation-law discussion lives in Commutators and Conservation Laws.

The infinitesimal transformation at the identity recovers the generator:

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

when this derivative is understood on the appropriate domain. Acting on a state,

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

For an active transformation of an operator along with the system,

A↦U(α)AU†(α),A\mapsto U(\alpha)AU^\dagger(\alpha),

and to first order,

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

The passive or Heisenberg-style convention uses A↦U†AUA\mapsto U^\dagger A U and reverses this sign. See Active and Passive Transformations for the convention audit.

In finite-dimensional examples, it is tempting to treat every Hermitian matrix GG and every exponential e−iαG/ℏe^{-i\alpha G/\hbar} as harmless. That intuition is useful, but infinite-dimensional quantum mechanics adds several layers:

  • momentum, position, angular momentum, and Hamiltonians are often unbounded;
  • unbounded operators are not defined on all of H\mathcal H;
  • a symmetric differential expression can have several self-adjoint extensions or none;
  • boundary conditions can change the generated unitary group;
  • the exponential may be globally periodic, multi-valued in a projected description, or not globally one-to-one.

These cautions are not technical decorations. They decide, for example, which momentum operators are allowed on a line segment, whether a Hamiltonian generates a unique unitary evolution, and how spinor rotations are represented.

The one-parameter unitary group packages three physical ideas into one structure:

  • reversible transformations are represented by unitary operators;
  • continuous transformations can be composed by adding a parameter;
  • differentiability near the identity produces an observable generator.

This is why continuous symmetry is so productive in quantum mechanics. Once a transformation is recognized as a strongly continuous unitary group, its generator becomes available for eigenvalue problems, commutator tests, selection rules, and conserved quantum numbers.

  • Treating any curve of unitary operators as a one-parameter group. The group law U(α+β)=U(α)U(β)U(\alpha+\beta)=U(\alpha)U(\beta) is essential.
  • Ignoring continuity. Without it, the infinitesimal-generator statement can fail.
  • Writing e−iαG/ℏe^{-i\alpha G/\hbar} without checking the dimensions of αG\alpha G.
  • Assuming a unitary family is a symmetry before checking the Hamiltonian invariance condition.
  • Applying the one-parameter group formula directly to generic time-dependent Hamiltonians.
  • Forgetting that periodic parameters impose global constraints that are not visible infinitesimally.
  • Treating self-adjointness as the same thing as a formal Hermitian-looking differential expression.
  • M. H. Stone, “On one-parameter unitary groups in Hilbert space,” Annals of Mathematics 33, 643-648, 1932.
  • J. von Neumann, Mathematical Foundations of Quantum Mechanics, Princeton University Press, 1955.
  • M. Reed and B. Simon, Methods of Modern Mathematical Physics I: Functional Analysis, revised and enlarged ed., Academic Press, 1980.
  • B. C. Hall, Quantum Theory for Mathematicians, Springer, 2013.
  • 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.
  1. Let U(α)=e−iαG/ℏU(\alpha)=e^{-i\alpha G/\hbar} with GG self-adjoint. Show that U(α+β)=U(α)U(β)U(\alpha+\beta)=U(\alpha)U(\beta).
Solution

Because GG commutes with itself,

e−i(α+β)G/ℏ=e−iαG/ℏe−iβG/ℏ.e^{-i(\alpha+\beta)G/\hbar} = e^{-i\alpha G/\hbar} e^{-i\beta G/\hbar}.

Thus

U(α+β)=U(α)U(β).U(\alpha+\beta) = U(\alpha)U(\beta).

The same argument is immediate for matrices and follows from the functional calculus for a self-adjoint operator in the infinite-dimensional case.

  1. Suppose U(θ)=e−iθNU(\theta)=e^{-i\theta N} and U(2π)=IU(2\pi)=I. What does this imply about eigenvalues of NN?
Solution

If N∣n⟩=n∣n⟩N\lvert n\rangle=n\lvert n\rangle, then

U(2π)∣n⟩=e−i2πn∣n⟩.U(2\pi)\lvert n\rangle = e^{-i2\pi n}\lvert n\rangle.

The condition U(2π)=IU(2\pi)=I requires

e−i2πn=1e^{-i2\pi n}=1

for every eigenvalue in the representation. Hence nn must be an integer, up to the usual qualifications for domains and spectral subspaces.

  1. A time-dependent Hamiltonian produces a propagator U(t,t0)U(t,t_0). Why is this generally not a one-parameter group?
Solution

The propagator satisfies the composition rule

U(t2,t0)=U(t2,t1)U(t1,t0),U(t_2,t_0) = U(t_2,t_1)U(t_1,t_0),

which depends on two endpoint times. A one-parameter group would instead have a single parameter and obey

U(t+s)=U(t)U(s).U(t+s) = U(t)U(s).

Generic time-dependent dynamics depends on the absolute times at which the Hamiltonian is sampled, not only on the elapsed time. Therefore it does not usually define a one-parameter group.

  1. Let U(α)U(\alpha) be a symmetry of a time-independent Hamiltonian HH and let U(α)=e−iαG/ℏU(\alpha)=e^{-i\alpha G/\hbar}. Differentiate the invariance condition to obtain the commutator relation.
Solution

The invariance condition is

U(α)HU†(α)=H.U(\alpha)HU^\dagger(\alpha)=H.

Using

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

one finds

U(α)HU†(α)=H−iαℏGH+iαℏHG+O(α2).U(\alpha)HU^\dagger(\alpha) = H-\frac{i\alpha}{\hbar}GH +\frac{i\alpha}{\hbar}HG +O(\alpha^2).

The first-order term must vanish, so

GH−HG=0.GH-HG=0.

Thus [G,H]=0[G,H]=0.