Canonical Commutation Relations
For one canonical coordinate and its conjugate momentum , the canonical commutation relation is
For Cartesian degrees of freedom, the canonical algebra is
These are operator relations, not numerical measurement outcomes. They state that each is conjugate to , while distinct Cartesian canonical pairs commute in the standard unconstrained theory.
The algebra has several inseparable meanings:
- and are incompatible sharp observables.
- generates translations of .
- generates translations of .
- position- and momentum-space wavefunctions are Fourier transforms.
- the uncertainty bound follows.
- commutators with functions of and reproduce the canonical structure of Hamiltonian dynamics.
The compact equation hides important qualifications. and are unbounded, so the raw commutator holds on a suitable common invariant domain, not as an everywhere-defined bounded-operator identity. Its exponentiated Weyl form is often the cleaner rigorous statement.
The bounded Weyl-system owner, including the fixed central phase, regularity, irreducibility boundary, and generator recovery, is Weyl Form of the Canonical Commutation Relations. This Core page retains the physical commutator and uncertainty role.
Why the Pair Is Called Canonical
Section titled “Why the Pair Is Called Canonical”In classical Hamiltonian mechanics, canonical phase-space coordinates satisfy
Canonical quantization replaces these basic brackets schematically by
Applying this rule to the basic coordinates gives the canonical commutation relations. The correspondence is structurally valuable but is not a universal quantization algorithm: nonlinear observables introduce ordering ambiguities, and no prescription preserves every classical Poisson bracket exactly.
The classical geometry belongs to Poisson Brackets, while the distinction between constructing a quantum model and taking a classical limit is developed in Quantization vs Classical Limit.
Schrödinger Representation on the Line
Section titled “Schrödinger Representation on the Line”Take
On a sufficiently regular wavefunction , position acts by multiplication and momentum by differentiation:
The two orderings act as
and
Subtracting gives
Thus
on the chosen common domain. The identity operator is often suppressed in informal notation, but it matters when comparing operator types, taking traces, or generalizing the algebra.
Momentum Representation
Section titled “Momentum Representation”Choose the Fourier convention
In momentum space,
Direct calculation again yields
The sign of the derivative representation tracks the sign chosen in the Fourier kernel. A different convention is equally valid if every transform, inverse transform, and translation phase is changed consistently. See Fourier-Transform Conventions and Position and Momentum Representations.
Several Degrees of Freedom
Section titled “Several Degrees of Freedom”On
the Cartesian Schrödinger representation is
The product rule gives
Thus
When , differentiating with respect to does not act on the factor , so the commutator vanishes.
For many distinguishable particles, add a particle label :
Canonical variables belonging to different particle labels or different Cartesian directions commute in this representation.
Symplectic Matrix Form
Section titled “Symplectic Matrix Form”Collect all canonical operators into
Then the full algebra can be written compactly as
where
The antisymmetric matrix is the standard symplectic form in canonical coordinates. Linear transformations preserve the canonical commutation relations exactly when
This matrix form becomes especially useful for coupled oscillators, Gaussian states, and phase-space methods.
Commutators with Powers and Functions
Section titled “Commutators with Powers and Functions”The basic canonical relation and the commutator product rule imply
and
For sufficiently regular functions defined by convergent functional calculus, these become the formal derivative rules
and
The formulas are exact for polynomials on a common invariant domain. For more general functions and unbounded operators, the domains and functional calculus must be controlled.
Momentum Generates Position Translations
Section titled “Momentum Generates Position Translations”Define the unitary translation operator
In the position representation,
Conjugating gives
The result follows from the nested-commutator series. The first correction is
and every higher nested commutator vanishes because .
This is the operational generator meaning of the canonical relation: momentum is the infinitesimal generator of spatial translations. The symmetry-side development is Translations and Momentum.
Position Generates Momentum Translations
Section titled “Position Generates Momentum Translations”Define the modulation or momentum-translation operator
It acts in position space as
and shifts momentum under conjugation:
Thus and generate translations along the two conjugate directions of phase space.
Weyl Form of the Canonical Relations
Section titled “Weyl Form of the Canonical Relations”The two unitary shifts do not commute. Acting on a wavefunction shows
The mismatch is a phase in the center of the operator algebra. This is the Weyl relation, the exponentiated form of the canonical commutation relation.
The bracket makes the generator of position shifts and the generator of momentum shifts. Performing the shifts in opposite orders changes the state vector by the central phase .
Unlike and , the operators and are bounded and defined on the whole Hilbert space. Strongly continuous unitary families also recover self-adjoint generators through Stone’s theorem. For these reasons the Weyl form is often preferable in rigorous representation theory.
The group structure behind the phase is developed in Heisenberg Group.
Stone–von Neumann Uniqueness
Section titled “Stone–von Neumann Uniqueness”For finitely many canonical degrees of freedom, every irreducible, strongly continuous representation of the Weyl relations with the same nonzero central parameter is unitarily equivalent to the Schrödinger representation.
This result explains why position space and momentum space are two representations of one ordinary canonical quantum theory rather than distinct theories. The Fourier transform supplies the unitary map between them.
The hypotheses are essential:
- the number of degrees of freedom is finite;
- the representation is irreducible;
- the Weyl operators depend strongly continuously on their parameters;
- the central phase is fixed.
With infinitely many degrees of freedom, as in quantum field theory or thermodynamic limits, unitarily inequivalent representations can occur. The exact hypotheses, conclusion, proof architecture, and failure modes belong to the canonical Stone–von Neumann Theorem. The formalism card is its compact lookup projection.
No Exact Finite-Dimensional Canonical Pair
Section titled “No Exact Finite-Dimensional Canonical Pair”No finite matrices and can satisfy
For matrices, cyclicity gives
whereas
This contradiction is one reason an exact canonical coordinate requires an infinite-dimensional Hilbert space. Finite truncations used in numerics can approximate low-energy matrix elements but must violate the canonical relation somewhere, often near the truncation boundary.
Position–Momentum Uncertainty
Section titled “Position–Momentum Uncertainty”The Robertson inequality gives
Using the canonical relation,
The bound concerns standard deviations in one prepared state. It is not a claim about finite instrument resolution, and it does not say that either observable lacks a sharp eigenvalue in every generalized sense. The variance derivation, Gaussian equality states, and Fourier interpretation belong to Position–Momentum Uncertainty.
Recovering Hamiltonian Equations
Section titled “Recovering Hamiltonian Equations”For
the canonical derivative identities give
and
The Heisenberg equations therefore read
and
These are operator versions of the classical canonical equations. They do not make the full quantum dynamics classical: and remain operators, states can spread and interfere, and nonlinear expectation values need not close on the expectations alone. The dynamics-side treatment is Commutator Dynamics.
Canonical and Kinetic Momentum in a Magnetic Field
Section titled “Canonical and Kinetic Momentum in a Magnetic Field”For a particle of charge in a vector potential , the canonical momentum in the Cartesian Schrödinger representation is
The kinetic, or mechanical, momentum is
Both satisfy
because functions of position commute with position. Their component commutators differ:
but
The kinetic momentum is proportional to velocity and is gauge covariant; canonical momentum is the variable conjugate to position and the generator appearing in the canonical algebra. Conflating the two hides the magnetic field in precisely the commutator where it has physical consequences.
Domains Are Part of the Relation
Section titled “Domains Are Part of the Relation”On , a natural position-operator domain is
Momentum is defined on an appropriate Sobolev domain of square-integrable functions with square-integrable weak derivative. The Schwartz space
is a convenient dense common invariant core: multiplication by and differentiation both preserve it, and the calculation
is valid there.
The raw identity does not mean that , , and are bounded operators defined on every vector in . Boundary conditions also matter. On a finite interval or compact configuration space, self-adjoint momentum operators depend on boundary data, and global canonical coordinates may require a different formulation.
The general operator-domain framework is developed in Unbounded Operators.
Situations Requiring Modification
Section titled “Situations Requiring Modification”Periodic coordinates
Section titled “Periodic coordinates”An angular coordinate is periodic, while angular momentum has a discrete spectrum. A globally defined self-adjoint angle operator cannot satisfy the naive relation
on all angular-momentum eigenstates. Unitary phase operators such as and their Weyl-type relations are safer global objects.
Energy and time
Section titled “Energy and time”Ordinary nonrelativistic quantum mechanics treats time as an external parameter, not automatically as a self-adjoint operator satisfying . Energy–time uncertainty therefore requires a different analysis from the position–momentum pair; see Energy–Time Uncertainty.
Constraints and curved coordinates
Section titled “Constraints and curved coordinates”Constrained systems may require reduced phase-space variables or Dirac brackets before quantization. In curvilinear coordinates, the inner-product measure and self-adjointness can add terms to naive differential momentum operators. The Cartesian formula should not be copied unchanged into every coordinate system.
Quantum fields
Section titled “Quantum fields”For a canonical field and its conjugate momentum, the discrete index becomes a spatial point, schematically giving an equal-time relation
This is an operator-valued-distribution statement, not an ordinary operator identity at one point. The field-theory construction and constraint caveats belong to From Phase Space to Canonical Quantization.
Physical Interpretation
Section titled “Physical Interpretation”The canonical commutation relations should be read as one coherent package:
- Algebra: conjugate operators fail to commute by a central amount set by .
- Geometry: the commutator is the quantum image of the symplectic form on phase space.
- Transformations: each canonical operator generates translations of its conjugate.
- Representations: position and momentum descriptions are related by a unitary Fourier transform.
- Probabilities: no state with finite variances can make both spreads arbitrarily small.
- Dynamics: canonical commutators turn Hamiltonians into equations of motion through Heisenberg evolution.
No single slogan such as “measurement disturbs the system” captures all of this structure.
Sign and Convention Checks
Section titled “Sign and Convention Checks”With
the canonical sign is
With
the Weyl phase is
Changing the Fourier kernel or choosing the opposite active/passive translation convention changes several signs together. A reliable check is to act on a test wavefunction and verify both the shift direction and the commutator.
A Practical Audit
Section titled “A Practical Audit”When using canonical commutation relations:
- Identify the actual canonical variables and distinguish them from kinetic or constrained variables.
- State the Hilbert space, representation, and Fourier convention.
- Preserve the identity operator when the operator type matters.
- For differential operators, specify a common invariant domain or core.
- Use the product rule to derive composite commutators instead of treating operators as ordinary numbers.
- Check dimensions: must have units of action.
- For global or rigorous statements, prefer the exponentiated Weyl relation.
- Do not assume finite truncations, compact coordinates, or field operators obey the naive Cartesian relation without modification.
Common Mistakes
Section titled “Common Mistakes”- Writing as though the right-hand side were a scalar rather than .
- Reversing the sign between and .
- Forgetting the Kronecker delta in several dimensions.
- Calling kinetic momentum and canonical momentum the same object in a magnetic field.
- Treating the commutator as a measured value rather than an operator relation.
- Assuming the raw unbounded commutator holds on every Hilbert-space vector.
- Claiming that finite matrices can realize the exact canonical relation.
- Applying the Stone–von Neumann theorem to infinitely many degrees of freedom.
- Treating time as automatically another position operator conjugate to the Hamiltonian.
- Copying into curvilinear or constrained coordinates without checking the measure and self-adjoint domain.
- Using the Poisson-bracket replacement as a universal quantization algorithm.
Canonical Boundaries
Section titled “Canonical Boundaries”This page owns the first-encounter canonical algebra, standard coordinate representations, and immediate physical consequences. Nearby pages own the exact analytic and representation-theoretic developments:
- Commutators owns general bracket algebra and generator logic.
- Position and Momentum Representations owns the representation change and Fourier-transform details.
- Translations and Momentum owns spatial translation symmetry and momentum conservation.
- Heisenberg Group owns the central group law, displacement operators, and representation structure.
- Weyl Form of the Canonical Commutation Relations owns the bounded unitary relations, strong-continuity regularity, and precise bridge back to unbounded generators.
- Position–Momentum Uncertainty owns the variance bound, Gaussian saturation, and interpretation.
- Stone–von Neumann Theorem owns the precise finite-degree uniqueness theorem; the Reference entry is lookup-only.
Summary
Section titled “Summary”- A canonical pair satisfies on a suitable common domain.
- In Cartesian dimensions, while positions commute with positions and canonical momenta with canonical momenta.
- In the Schrödinger representation, multiplies by and ; their roles reverse in momentum space.
- The symplectic matrix form is .
- Canonical commutators imply derivative identities, translation generators, the Weyl phase, uncertainty, and Hamiltonian equations of motion.
- The Weyl relation uses bounded unitary operators and is the cleaner rigorous form of the canonical algebra.
- Exact canonical pairs cannot exist in finite dimension.
- Canonical and kinetic momentum differ in a magnetic field, where kinetic momentum components fail to commute.
- Domains, boundary conditions, topology, constraints, and infinitely many degrees of freedom limit naive use of the Cartesian formula.
References
Section titled “References”- P. A. M. Dirac, The Principles of Quantum Mechanics, 4th ed., Oxford University Press, 1958.
- H. Weyl, The Theory of Groups and Quantum Mechanics, Dover, 1950.
- J. von Neumann, Mathematical Foundations of Quantum Mechanics, Princeton University Press, 1955.
- C. Cohen-Tannoudji, B. Diu, and F. Laloë, Quantum Mechanics, Wiley, 1977.
- R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.
- J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
- G. B. Folland, Harmonic Analysis in Phase Space, Princeton University Press, 1989.
- B. C. Hall, Quantum Theory for Mathematicians, Springer, 2013.
- M. Reed and B. Simon, Methods of Modern Mathematical Physics, Vol. I: Functional Analysis, rev. ed., Academic Press, 1980.
Exercises
Section titled “Exercises”Exercise 1: Position-space verification
Section titled “Exercise 1: Position-space verification”For a Schwartz function , use
to verify .
Solution
The two products are
and
Subtracting,
Because , multiplication and differentiation remain inside a common invariant domain throughout the calculation.
Exercise 2: Momentum-space verification
Section titled “Exercise 2: Momentum-space verification”In momentum space let
Verify the same canonical commutator.
Solution
Compute
whereas
Their difference is
Exercise 3: Functions of canonical operators
Section titled “Exercise 3: Functions of canonical operators”Use the product rule and to show
Then find .
Solution
The general power identity is
Since is central, every summand equals . There are terms, so
For the kinetic energy,
Exercise 4: Weyl phase from wavefunctions
Section titled “Exercise 4: Weyl phase from wavefunctions”Let
and
Show that
Solution
Applying first and then translating gives
This proves the operator relation.
Exercise 5: Hamiltonian equations
Section titled “Exercise 5: Hamiltonian equations”For
derive and , then obtain the Heisenberg equations for and .
Solution
Because ,
Also , while the canonical derivative rule gives
Using ,
Exercise 6: Kinetic momentum in a magnetic field
Section titled “Exercise 6: Kinetic momentum in a magnetic field”Let
with . Show that
Solution
Functions of position commute with one another, and
Therefore
Using
gives the result.
Exercise 7: Finite-dimensional obstruction
Section titled “Exercise 7: Finite-dimensional obstruction”Prove that no matrices with can satisfy
Solution
Cyclicity of the finite-dimensional trace gives
The proposed right-hand side has trace
which is nonzero. The two sides cannot be equal.
Exercise 8: Why angle is different
Section titled “Exercise 8: Why angle is different”Suppose a normalized angular-momentum eigenstate satisfies
and lies in the domains of both and . Show that the naive identity cannot hold on .
Solution
Take the diagonal matrix element. The left-hand side is
The proposed right-hand side gives
a contradiction. The assumptions behind a global self-adjoint angle operator and the naive canonical domain cannot all hold simultaneously. Periodicity is better encoded with unitary phase operators and Weyl-type relations.