One-Parameter Unitary Groups
A one-parameter unitary group is a continuous family of unitary operators labeled by one real parameter and satisfying the same composition law as the parameter addition:
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 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.
Why One Parameter Matters
Section titled “Why One Parameter Matters”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 and then by is the same as translating by , the corresponding unitaries should obey
This is more than a convenient notation. It is the group law expressed on Hilbert space.
Definition
Section titled “Definition”A one-parameter unitary group on a Hilbert space is a map
such that:
- is unitary for every real ;
- ;
- for all real ;
- depends continuously on 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:
for every .
Exponential Form
Section titled “Exponential Form”With the physics convention for Hermitian generators, a strongly continuous one-parameter unitary group is written formally as
where is self-adjoint and 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 .
For small ,
Thus the same object has two faces:
- the finite transformation ;
- the infinitesimal generator .
The finite family is often easier to identify physically, while the generator is often easier to use in commutator calculations.
Stone Theorem
Section titled “Stone Theorem”The rigorous result behind the exponential form is Stone theorem. In units with no explicit , it says that a strongly continuous one-parameter unitary group has a unique self-adjoint generator such that
In the common quantum-mechanical convention,
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.
Standard Examples
Section titled “Standard Examples”The same pattern appears in several basic quantum transformations.
| Transformation | Parameter | Unitary family | Generator |
|---|---|---|---|
| Time translation | Hamiltonian | ||
| Space translation in one direction | momentum | ||
| Rotation about | |||
| Internal phase rotation | number operator |
The last example uses a dimensionless generator , so no explicit appears. If one uses a charge with physical dimensions instead, the exponential must be normalized by the appropriate unit so that the exponent is dimensionless.
Time Evolution as a Special Case
Section titled “Time Evolution as a Special Case”For a time-independent closed-system Hamiltonian,
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 , the evolution operator is usually a two-parameter propagator , not a one-parameter group:
This composition law is useful, but it is not the same as unless the dynamics is time-translation invariant in the relevant sense.
Translations and Rotations
Section titled “Translations and Rotations”Spatial translations on the line form the additive group . In the active convention used here,
The group law 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:
For a fixed axis, angle addition gives the one-parameter subgroup law
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.
Periodic Parameters
Section titled “Periodic Parameters”Not every one-parameter family is globally the real line in disguise. Angle variables are periodic. For an ordinary representation of a -periodic phase or rotation family, one expects
If
then requires eigenvalues of 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 , the double cover of . A spatial rotation may act as 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.
Symmetry of a Hamiltonian
Section titled “Symmetry of a Hamiltonian”A one-parameter unitary family is a symmetry of a Hamiltonian when
for every . This is stronger than saying that is unitary. A unitary family can represent a possible transformation without being a symmetry of a particular Hamiltonian.
If
then differentiating the invariance condition at gives
When 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.
Infinitesimal View
Section titled “Infinitesimal View”The infinitesimal transformation at the identity recovers the generator:
when this derivative is understood on the appropriate domain. Acting on a state,
For an active transformation of an operator along with the system,
and to first order,
The passive or Heisenberg-style convention uses and reverses this sign. See Active and Passive Transformations for the convention audit.
Domain and Global Cautions
Section titled “Domain and Global Cautions”In finite-dimensional examples, it is tempting to treat every Hermitian matrix and every exponential 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 ;
- 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.
Physical Interpretation
Section titled “Physical Interpretation”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.
Common Mistakes
Section titled “Common Mistakes”- Treating any curve of unitary operators as a one-parameter group. The group law is essential.
- Ignoring continuity. Without it, the infinitesimal-generator statement can fail.
- Writing without checking the dimensions of .
- 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.
Cross-Links
Section titled “Cross-Links”- Continuous Symmetries and Conservation Laws
- Unitary Symmetries
- Active and Passive Transformations
- Symmetry Groups and Representations
- Projective Representations
- Lie Groups
- Lie Algebras
- Unitary Representations
- Generators
- Infinitesimal Transformations
- Commutators and Conservation Laws
- Translations and Momentum
- Symmetries and Dynamical Automorphisms
- Hamiltonians as Generators
- Stone Theorem
- Matrix Functions and Exponentials
References
Section titled “References”- 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.
Exercises
Section titled “Exercises”- Let with self-adjoint. Show that .
Solution
Because commutes with itself,
Thus
The same argument is immediate for matrices and follows from the functional calculus for a self-adjoint operator in the infinite-dimensional case.
- Suppose and . What does this imply about eigenvalues of ?
Solution
If , then
The condition requires
for every eigenvalue in the representation. Hence must be an integer, up to the usual qualifications for domains and spectral subspaces.
- A time-dependent Hamiltonian produces a propagator . Why is this generally not a one-parameter group?
Solution
The propagator satisfies the composition rule
which depends on two endpoint times. A one-parameter group would instead have a single parameter and obey
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.
- Let be a symmetry of a time-independent Hamiltonian and let . Differentiate the invariance condition to obtain the commutator relation.
Solution
The invariance condition is
Using
one finds
The first-order term must vanish, so
Thus .