Canonical Quantization and the Foundations of Quantum Mechanics
From Poisson brackets to commutators
Canonical quantization
Canonical quantization promotes phase-space variables to operators with . Classical observables become operators on a Hilbert space, and the classical Poisson algebra is deformed into a noncommutative quantum algebra. This is conceptually powerful but must be applied carefully because operator ordering can matter.
Quantization is subtle
Canonical quantization works cleanly for many systems but can be ambiguous for constrained systems, curved phase spaces, and field theories.
Hilbert space, observables, and measurement
State vectors and operators
A quantum state is represented by a normalized vector in a complex Hilbert space, while observables are Hermitian operators. The spectral theorem explains why measurement outcomes are eigenvalues and why the Born rule gives probabilities from .
Uncertainty principle
For two observables and , the Robertson inequality gives . The familiar position-momentum relation reflects the noncommutative structure of quantum observables, not experimental imperfection alone.
What is the canonical commutation relation for position and momentum?
The fundamental canonical commutator is in one dimension.
Correct answer:
State the Robertson uncertainty relation.
This relation follows from the Cauchy-Schwarz inequality applied to quantum states.
Correct answer:
Path integrals and amplitudes
Sum over histories
The path integral expresses the transition amplitude as . In the semiclassical limit, stationary-phase contributions dominate, connecting quantum behavior to classical trajectories. Path integrals are especially useful in field theory, statistical mechanics, and gauge theory quantization.
What dominates the path integral in the classical limit?
When is small compared with the action scale, contributions interfere destructively except near stationary-action paths.
Correct answer: Stationary-phase paths near
What is the formal expression for a quantum transition amplitude in the path-integral picture?
The amplitude is obtained by summing over all histories weighted by the phase factor from the action.
Correct answer: