Fact-checked by Grok 2 weeks ago

Canonical commutation relation

The canonical commutation relation (CCR) is a foundational algebraic relation in that specifies the non-commutativity between conjugate operators, such as \hat{q} and \hat{p}, given by [\hat{q}, \hat{p}] = i[\hbar](/page/H-bar), where \hbar is the reduced Planck's constant, along with [\hat{q}, \hat{q}] = [\hat{p}, \hat{p}] = 0. This relation arises from quantizing classical brackets via the correspondence principle, where the classical bracket \{q, p\}_{\rm PB} = 1 maps to the quantum divided by i\hbar. Introduced during the development of in 1925–1926 by , , and , the CCR provided a non-coordinate-based framework for , independent of wave mechanics. and further formalized it in 1926, emphasizing its role in transformation theory and ensuring consistency across different representations of quantum states. in 1928 and in 1931 later systematized and proved the uniqueness of the CCR algebra using and methods, respectively. The CCR underpins key quantum phenomena, including the Heisenberg uncertainty principle, which follows directly from the non-zero , yielding \Delta q \Delta p \geq \hbar/2 for the standard deviations of conjugate observables. In multi-degree-of-freedom systems, the relations generalize to [\hat{q}_i, \hat{p}_j] = i\hbar \delta_{ij}, ensuring compatibility with the symplectic structure of classical . In , the CCR extends to field operators \hat{\phi}(\mathbf{x}) and their conjugate momenta \hat{\Pi}(\mathbf{y}) at equal times, obeying [\hat{\phi}(\mathbf{x}), \hat{\Pi}(\mathbf{y})] = i\hbar \delta^3(\mathbf{x} - \mathbf{y}), facilitating the quantization of fields like the . This extension preserves and unitarity in relativistic theories. Violations or modifications of the CCR have been explored in contexts like or deformed algebras, but the standard form remains essential for conventional quantum descriptions.

Definition and Fundamentals

Basic Commutator Relation

The canonical commutation relation (CCR) in specifies the non-commutativity between the \hat{x} and the \hat{p}, expressed as [\hat{x}, \hat{p}] = i [\hbar](/page/H-bar), where \hbar = h / 2\pi is the reduced Planck's constant and the is defined by [A, B] = AB - BA. This relation encodes the fundamental quantum incompatibility between position and momentum measurements. The CCR was introduced in the development of by , , and in 1925, marking a pivotal shift from classical to quantum descriptions of dynamical systems. It was subsequently formalized by in 1926, who emphasized its role in the algebraic structure of . In the position representation, these operators act on wavefunctions \psi(q) in the L^2(\mathbb{R}) as multiplication and differentiation, respectively: \hat{x} \psi(q) = q \psi(q) and \hat{p} \psi(q) = -i \hbar \frac{d}{dq} \psi(q). To verify the CCR, consider its action on an arbitrary wavefunction \psi(q): [\hat{x}, \hat{p}] \psi(q) = \hat{x} (\hat{p} \psi(q)) - \hat{p} (\hat{x} \psi(q)) = q \left( -i \hbar \frac{d \psi}{d q} \right) - \left( -i \hbar \frac{d}{d q} (q \psi(q)) \right). The derivative expands as \frac{d}{dq} (q \psi(q)) = \psi(q) + q \frac{d \psi}{dq}, yielding [\hat{x}, \hat{p}] \psi(q) = -i \hbar q \frac{d \psi}{d q} + i \hbar \left( \psi(q) + q \frac{d \psi}{d q} \right) = i \hbar \psi(q). Thus, [\hat{x}, \hat{p}] = i \hbar \hat{1}, confirming the relation holds as an operator identity. This computation demonstrates the CCR directly in the position basis, where wavefunctions serve as the fundamental states.

Operator Algebra Properties

The commutator operation, defined as [A, B] = AB - BA for operators A and B, exhibits key algebraic properties essential to the structure of quantum operator algebras. It is linear in both arguments: for complex scalars a, b and operators A, B, C, [aA + bB, C] = a[A, C] + b[B, C], \quad [A, bB + cC] = b[A, B] + c[A, C]. This linearity follows directly from the bilinearity of operator multiplication and the distributive property. Additionally, the commutator is anti-symmetric, satisfying [A, B] = -[B, A], which implies anti-linearity in the second argument. These properties ensure that the commutator behaves as a derivation in the operator algebra, facilitating manipulations in quantum calculations./02%3A_Introduction_to_Quantum_Mechanics/2.05%3A_Operators_Commutators_and_Uncertainty_Principle) A fundamental identity satisfied by the commutator is the , [[A, B], C] + [[B, C], A] + [[C, A], B] = 0. This can be verified by explicit expansion: [[A, B], C] = (AB - BA)C - C(AB - BA), and similarly for the other terms, leading to pairwise cancellations of all contributions upon summation. The underscores the structure of the canonical commutation relations (CCR), ensuring associativity and consistency in iterated commutators, which is vital for the algebraic closure of quantum observables. Building on the basic CCR [x, p] = i\hbar, the commutator extends to functions of operators. For an analytic function f(p) of the momentum operator p, the relation is \begin{equation} [x, f(p)] = i\hbar \frac{df}{dp}, \end{equation} where \frac{df}{dp} denotes the derivative with respect to p. This is derived by expanding f(p) = \sum_n a_n p^n in a power series and using the Leibniz rule for commutators, [x, p^n] = i\hbar n p^{n-1}, proven by induction from the base case [x, p] = i\hbar. Analogously, for a function g(x) of the position operator x, \begin{equation} [p, g(x)] = -i\hbar \frac{dg}{dx}. \end{equation} These results generalize the CCR to polynomials and analytic functions, enabling computations involving potentials or Hamiltonians expressed as functions of x and p. The CCR underpin the unitary of operators in . In the , where states are time-independent, operators evolve via conjugation with the unitary time-evolution operator U(t) = e^{-iHt/\hbar}, yielding O(t) = U^\dagger(t) O U(t) = e^{iHt/\hbar} O e^{-iHt/\hbar}. The infinitesimal generator of this evolution is given by the commutator with the : \frac{dO}{dt} = \frac{i}{\hbar} [H, O]. For a simple H = \frac{p^2}{2m} + V(x), the time evolution of the expands as \begin{equation} x(t) = x + \frac{t}{m} p + \ higher-order\ terms, \end{equation} derived from the Baker-Hausdorff lemma and successive commutators using the . This framework defines the , shifting time dependence to operators while preserving expectation values and at equal times.

Classical-Quantum Correspondence

Poisson Bracket Analogy

In classical , the serves as a fundamental on functions defined on , providing the structural precursor to the quantum canonical commutation relation. For two smooth functions f and g depending on q and conjugate momenta p, the is defined as \{f, g\} = \frac{\partial f}{\partial q} \frac{\partial g}{\partial p} - \frac{\partial f}{\partial p} \frac{\partial g}{\partial q} in one dimension, or more generally in n dimensions as \{f, g\} = \sum_{i=1}^n \left( \frac{\partial f}{\partial q_i} \frac{\partial g}{\partial p_i} - \frac{\partial f}{\partial p_i} \frac{\partial g}{\partial q_i} \right). This definition was originally introduced by Siméon-Denis in to describe the of dynamical variables. A key example is the fundamental Poisson bracket between position and momentum, \{x, p\} = 1, which underscores the bracket's role in generating canonical transformations. The Poisson bracket exhibits essential algebraic properties that mirror those of Lie brackets, including anti-symmetry, \{f, g\} = -\{g, f\}, ensuring it changes sign under interchange of arguments, and the Jacobi identity, \{f, \{g, h\}\} + \{g, \{h, f\}\} + \{h, \{f, g\}\} = 0, which guarantees the associativity required for a Lie algebra structure. These properties were formalized in the late 19th century by Sophus Lie, building on earlier work by Hamilton and Jacobi in the context of integrable systems and variational principles. The Poisson bracket analogy bridges classical and quantum mechanics through Dirac's quantization rule, which prescribes replacing the classical bracket \{A, B\} with \frac{1}{i\hbar} [\hat{A}, \hat{B}], where \hat{A} and \hat{B} are the corresponding quantum operators and [\cdot, \cdot] denotes the . This ensures that quantum commutators inherit the algebraic structure of classical , scaled by the factor i\hbar. For instance, in the classical treatment of components defined as L_x = y p_z - z p_y, L_y = z p_x - x p_z, and L_z = x p_y - y p_x, the brackets satisfy \{L_x, L_y\} = L_z (with cyclic permutations for the other components), leading upon quantization to [\hat{L}_x, \hat{L}_y] = i\hbar \hat{L}_z. This example illustrates how the classical structure directly informs quantum algebraic relations without altering the underlying symmetry.

Hamiltonian Derivation

In classical , the for a coordinate q and its conjugate p are given by \frac{dq}{dt} = \left\{ q, H \right\} = \frac{\partial H}{\partial p}, \quad \frac{dp}{dt} = \left\{ p, H \right\} = -\frac{\partial H}{\partial q}, where H(q, p) is the function and \{ \cdot, \cdot \} denotes the , with the fundamental relation \{ q, p \} = 1./15%3A_Advanced_Hamiltonian_Mechanics/15.02%3A_Poisson_bracket_Representation_of_Hamiltonian_Mechanics) To quantize this system, the classical variables are promoted to operators: q \to \hat{q} (often denoted \hat{x}), p \to \hat{p}, and H \to \hat{H}. The Poisson bracket is replaced by the commutator via the correspondence principle \{ A, B \} \to \frac{1}{i \hbar} [\hat{A}, \hat{B}], and the time evolution of any operator \hat{O} is governed by the Heisenberg equation i \hbar \frac{d \hat{O}}{dt} = \left[ \hat{O}, \hat{H} \right]. This procedure ensures that quantum dynamics mirrors classical Hamiltonian evolution in the appropriate limit. For a specific example, consider a with classical H = \frac{p^2}{2m}. The corresponding quantum is \hat{H} = \frac{\hat{p}^2}{2m}. The velocity operator follows from \frac{d \hat{x}}{dt} = \frac{1}{i \hbar} \left[ \hat{x}, \hat{H} \right] = \frac{1}{i \hbar} \left[ \hat{x}, \frac{\hat{p}^2}{2m} \right]. Assuming the canonical commutation relation [\hat{x}, \hat{p}] = i \hbar, the commutator evaluates to [\hat{x}, \hat{p}^2] = \hat{p} [\hat{x}, \hat{p}] + [\hat{x}, \hat{p}] \hat{p} = 2 i \hbar \hat{p}, yielding \left[ \hat{x}, \hat{H} \right] = \frac{i \hbar}{m} \hat{p}, \quad \frac{d \hat{x}}{dt} = \frac{\hat{p}}{m}. Similarly, \frac{d \hat{p}}{dt} = \frac{1}{i \hbar} \left[ \hat{p}, \hat{H} \right] = 0, since \hat{p} commutes with \hat{p}^2, reproducing the classical free-particle motion. In the general case with potential V(q), so H = \frac{p^2}{2m} + V(q), consistency with the requires the canonical commutation relation [\hat{x}, \hat{p}] = i \hbar. This follows from Ehrenfest's theorem, which states that the expectation values evolve as \frac{d \langle \hat{x} \rangle}{dt} = \frac{\langle \hat{p} \rangle}{m}, \quad \frac{d \langle \hat{p} \rangle}{dt} = -\left\langle \frac{d V}{d x} \right\rangle. Deriving these from the Heisenberg equations involves computing [\hat{x}, \hat{H}] = \frac{i \hbar}{m} \hat{p} and [\hat{p}, \hat{H}] = -i \hbar \frac{d V}{d \hat{x}}, both of which rely on [\hat{x}, \hat{p}] = i \hbar to match the classical Hamilton's equations in the expectation-value sense. The quantization process introduces ambiguities, particularly in operator ordering for terms like q p in the Hamiltonian, where choices such as \hat{q} \hat{p}, \hat{p} \hat{q}, or the symmetric \frac{1}{2} (\hat{q} \hat{p} + \hat{p} \hat{q}) may differ. These ambiguities are resolved by imposing the requirement that the canonical commutation relation [\hat{x}, \hat{p}] = i \hbar is preserved and that the satisfies , ensuring correspondence with .

Algebraic and Exponential Forms

Weyl Quantization Relations

The Weyl relations provide an exponential formulation of the canonical commutation relations (), expressing them in terms of unitary operators generated by linear combinations of and operators. In one dimension, these relations take the form e^{i \alpha \hat{x}} e^{i \beta \hat{p}} = e^{-i (\alpha \beta \hbar / 2)} e^{i \beta \hat{p}} e^{i \alpha \hat{x}}, where \hat{x} and \hat{p} are the and operators satisfying the basic CCR [\hat{x}, \hat{p}] = i \hbar. More generally, for arbitrary linear combinations, the Weyl relations are given by e^{i(\alpha \hat{x} + \beta \hat{p})} e^{i(\gamma \hat{x} + \delta \hat{p})} = e^{-i \hbar (\alpha \delta - \beta \gamma)/2} e^{i((\alpha + \gamma) \hat{x} + (\beta + \delta) \hat{p})}. This form arises naturally in the context of the Heisenberg-Weyl group and ensures that the operators form a projective unitary of the phase space translations. These relations can be derived from the basic CCR [\hat{x}, \hat{p}] = i \hbar through direct of the exponentials using the Baker-Campbell-Hausdorff formula, exploiting the fact that the is a c-number (central ). Alternatively, the Trotter product formula, which e^{A + B} \approx (e^{A/n} e^{B/n})^n in the limit n \to \infty, yields the exact when applied to the generators, confirming the Weyl form without errors due to the simple structure. This derivation highlights the Weyl relations as the integrated or global version of the CCR, providing a rigorous algebraic foundation for operator products. The Weyl relations define a *-algebra structure on the space of operators, where the involution corresponds to Hermitian conjugation, ensuring self-adjointness for real symbols and unitarity for the exponentials. They are central to Weyl quantization, a procedure that maps classical symbols a(q, p) on phase space to operators via the Fourier transform: the operator \hat{A} is obtained by integrating the symbol against the Weyl operators, specifically \hat{A} = \int e^{i(\alpha \hat{x} + \beta \hat{p})} \tilde{a}(\alpha, \beta) \, d\alpha \, d\beta / (2\pi \hbar), where \tilde{a} is the Fourier transform of a. This mapping preserves the CCR and provides a symmetric quantization scheme, avoiding ordering ambiguities in polynomial symbols. The Weyl operators generate the Heisenberg-Weyl group, a nilpotent Lie group whose multiplication law incorporates the phase factor e^{-i \hbar (\alpha \delta - \beta \gamma)/2}, which encodes the symplectic form \omega((\alpha, \beta), (\gamma, \delta)) = \alpha \delta - \beta \gamma on the phase space \mathbb{R}^2. This connection underscores the role of the CCR in realizing symplectic geometry at the quantum level, with the group structure facilitating representations in quantum optics and harmonic analysis. By the Stone-von Neumann theorem, any irreducible unitary representation of the Weyl relations on a is unique up to unitary equivalence, specifically the Schrödinger representation on L^2(\mathbb{R}), ensuring a quantization framework without pathological ambiguities.

Baker-Campbell-Hausdorff Formula Applications

The Baker-Campbell-Hausdorff (BCH) formula provides a systematic way to express the logarithm of the product of two exponentials of non-commuting operators as a series involving nested s. In the context of (CCR), where operators \hat{x} and \hat{p} satisfy [\hat{x}, \hat{p}] = i\hbar, the formula simplifies significantly because the [\hat{x}, \hat{p}] commutes with both \hat{x} and \hat{p}, leading to vanishing higher-order s such as [[\hat{x}, \hat{p}], \hat{x}] = 0 and [[\hat{x}, \hat{p}], \hat{p}] = 0. Thus, for operators A and B with [A, B] = c (a c-number constant), the BCH series truncates to the exact finite form \log(e^A e^B) = A + B + \frac{1}{2}[A, B], or equivalently, e^{A + B} = e^A e^B e^{-[A, B]/2}. A key application arises in manipulating exponentials of linear combinations of canonical operators, such as the Weyl form e^{i(a \hat{x} + b \hat{p})/\hbar}. Setting A = i a \hat{x}/\hbar and B = i b \hat{p}/\hbar, the commutator [A, B] = -i a b /\hbar is a c-number, so the BCH formula yields the disentangled expression e^{i(a \hat{x} + b \hat{p})/\hbar} = e^{i a \hat{x}/\hbar} e^{i b \hat{p}/\hbar} e^{i a b / 2}. This derives the characteristic phase factor in the Weyl relations, facilitating computations in quantum optics and phase-space representations. In the quantum harmonic oscillator, where the annihilation \hat{a} and creation \hat{a}^\dagger operators obey the CCR [\hat{a}, \hat{a}^\dagger] = 1, the BCH formula is instrumental in defining the displacement operator D(\alpha) = e^{\alpha \hat{a}^\dagger - \alpha^* \hat{a}} for complex \alpha. Here, letting A = \alpha \hat{a}^\dagger and B = -\alpha^* \hat{a}, the commutator [A, B] = -|\alpha|^2 is a c-number, so the series truncates, yielding normal-ordered forms like D(\alpha) = e^{-|\alpha|^2/2} e^{\alpha \hat{a}^\dagger} e^{-\alpha^* \hat{a}}. This operator shifts the oscillator's expectation values, \langle \hat{a} \rangle = \alpha, mimicking classical motion. Coherent states |\alpha\rangle, introduced by Glauber, are generated as |\alpha\rangle = D(\alpha) |0\rangle, where |0\rangle is the vacuum state satisfying \hat{a} |0\rangle = 0. The BCH formula enables derivation of their overlap \langle \alpha | \beta \rangle = e^{-(|\alpha|^2 + |\beta|^2)/2 + \alpha^* \beta}, essential for quantum optics calculations involving interference and statistics. These states saturate the Heisenberg uncertainty principle while preserving Gaussian wavefunctions displaced in phase space. The BCH formula's applicability in CCR contexts relies on the termination of the ad-series (nested adjoint actions \mathrm{ad}_A^n B = [A, [A, \dots [A, B] \dots ]]), which occurs in nilpotent Lie algebras like the Heisenberg algebra underlying the , ensuring absolute convergence without radius restrictions. In contrast, for non-nilpotent cases, the infinite series may only converge locally for small operator norms.

Applications to Quantum Principles

Heisenberg Uncertainty Principle

The Heisenberg uncertainty principle emerges as a direct consequence of the canonical commutation relation [ \hat{x}, \hat{p} ] = i \hbar, limiting the precision with which conjugate observables can be simultaneously known in . In its general form, known as the Robertson-Schrödinger inequality, the product of the standard deviations of two Hermitian operators \hat{A} and \hat{B} satisfies \Delta A \Delta B \geq \frac{1}{2} \left| \langle [\hat{A}, \hat{B}] \rangle \right|, where \Delta A = \sqrt{\langle (\hat{A} - \langle \hat{A} \rangle)^2 \rangle} denotes the standard deviation. For the position and momentum operators, this specializes to \Delta x \Delta p \geq \frac{\hbar}{2}, reflecting the non-commutativity [\hat{x}, \hat{p}] = i \hbar. This inequality can be derived using the Cauchy-Schwarz inequality applied to the variance operators \Delta \hat{x} = \hat{x} - \langle \hat{x} \rangle and \Delta \hat{p} = \hat{p} - \langle \hat{p} \rangle. Consider the expectation value of the commutator: \langle [\Delta \hat{x}, \Delta \hat{p}] \rangle = i \hbar. The proof proceeds by noting that for any state vectors |\psi\rangle and |\phi\rangle, |\langle \psi | \phi \rangle|^2 \leq \langle \psi | \psi \rangle \langle \phi | \phi \rangle, applied to states involving \Delta \hat{x} |\psi\rangle and i \Delta \hat{p} |\psi\rangle, yielding \langle (\Delta \hat{x})^2 \rangle \langle (\Delta \hat{p})^2 \rangle \geq \left| \frac{\langle [\Delta \hat{x}, \Delta \hat{p}] \rangle}{2i} \right|^2 = \left( \frac{\hbar}{2} \right)^2. The standard deviation \Delta x = \sqrt{\langle x^2 \rangle - \langle x \rangle^2} quantifies the spread in position measurements, with equality in the uncertainty relation achieved for Gaussian wave packets, which minimize the product \Delta x \Delta p. Physically, this principle imposes a fundamental limit on the simultaneous measurement of position and momentum, preventing arbitrary precision in both for a single quantum system and underscoring the wave-particle duality inherent in quantum mechanics. For instance, localizing a particle more precisely in position broadens its momentum distribution, manifesting as increased velocity uncertainty. An analogous extension to energy and time arises from the relation [ \hat{H}, \hat{A} ] = i \hbar \frac{d \hat{A}}{dt} for a time-independent observable \hat{A}, leading to \Delta E \Delta t \geq \frac{\hbar}{2}, where \Delta t represents the time scale over which \hat{A} changes appreciably. This form highlights the trade-off between energy resolution and the duration of quantum processes, such as in unstable particle lifetimes.

Angular Momentum Commutation Relations

In , the angular momentum operators for a single particle are defined as the components of the between and operators: L_x = y p_z - z p_y, L_y = z p_x - x p_z, and L_z = x p_y - y p_x. These operators generate infinitesimal rotations and satisfy specific commutation relations derived from the commutation relations (CCR) [x_i, p_j] = i \hbar \delta_{ij}, with all other commutators vanishing. To derive the commutation relations, consider [L_x, L_y]. Expanding using the product rule for commutators, [L_x, L_y] = [y p_z - z p_y, z p_x - x p_z], and substituting the basic CCR yields terms that simplify via Levi-Civita symbol identities. The result is [L_x, L_y] = i \hbar L_z, with cyclic permutations for the other components: [L_y, L_z] = i \hbar L_x and [L_z, L_x] = i \hbar L_y. In vector notation, this is compactly written as [L_i, L_j] = i \hbar \epsilon_{ijk} L_k, where \epsilon_{ijk} is the Levi-Civita symbol. This algebraic structure mirrors the Lie algebra of the special unitary group SU(2), where the generators obey identical relations (up to a normalization factor). The SU(2) implies the existence of a operator L^2 = L_x^2 + L_y^2 + L_z^2, which commutes with each L_i ([L^2, L_i] = 0) and thus is rotationally invariant. In finite-dimensional irreducible representations of SU(2), labeled by a non-negative or l, the eigenvalues of L^2 are l(l+1) \hbar^2, with the possible eigenvalues of any component (e.g., L_z) ranging from -l \hbar to l \hbar in integer steps. The representation dimension is $2l + 1. A key physical realization is the orbital in the , where the separates in spherical coordinates, and the angular part is solved using Y_{l m}(\theta, \phi) as eigenfunctions of L^2 and L_z. Here, l = 0, 1, 2, \dots (integer values for orbital ), confirming the CCR and leading to quantized energy levels degenerate in l and m. Another example is intrinsic spin angular momentum for particles like the , where spin operators \mathbf{S} obey the same commutation relations [S_x, S_y] = i \hbar S_z (and cyclic), with s = 1/2 yielding the fundamental representation and as generators. The non-commutativity of angular momentum components leads to an uncertainty relation, derived from the general commutator inequality: \Delta L_x \Delta L_y \geq \frac{\hbar}{2} |\langle L_z \rangle|, with cyclic permutations. This quantifies the impossibility of simultaneously measuring two components with arbitrary precision when the third has a non-zero expectation value.

Extensions and Generalizations

Multi-Dimensional and Multi-Particle Systems

In systems with multiple degrees of freedom, such as a particle moving in n-dimensional space, the canonical commutation relations (CCR) extend naturally from the one-dimensional case. The position operators \hat{x}_i and momentum operators \hat{p}_j for i, j = 1, \dots, n satisfy [\hat{x}_i, \hat{p}_j] = i \hbar \delta_{ij}, while the commutators among positions and among momenta vanish: [\hat{x}_i, \hat{x}_j] = [\hat{p}_i, \hat{p}_j] = 0. This structure ensures that each pair (\hat{x}_i, \hat{p}_i) behaves independently, mirroring the single-degree-of-freedom CCR but with orthogonality enforced by the Kronecker delta. These relations form the foundation for quantizing classical systems with separable coordinates, preserving the algebraic structure across dimensions. For multi-particle systems, the CCR generalize to account for multiple particles, each with their own degrees of freedom. Consider N particles in three-dimensional space, where \hat{x}_{k\alpha} and \hat{p}_{l\beta} denote the position and momentum operators for the \alpha-th component (\alpha = x, y, z) of the k-th particle (k = 1, \dots, N). The commutation relations become [\hat{x}_{k\alpha}, \hat{p}_{l\beta}] = i \hbar \delta_{kl} \delta_{\alpha\beta}, with all other commutators zero. This formulation treats the particles as distinguishable at the operator level, allowing the total Hilbert space to be a tensor product of single-particle spaces. To analyze collective behavior, one often introduces center-of-mass coordinates \hat{X}_\alpha = \frac{1}{N} \sum_k \hat{x}_{k\alpha} and relative coordinates, which inherit simplified CCR from the full set, facilitating separation of overall translation from internal dynamics. Canonical transformations in multi-dimensional or multi-particle are changes of variables that preserve the , ensuring the form of the relations remains invariant under the transformation. These transformations correspond to matrices acting on the phase-space vectors (\hat{q}_i, \hat{p}_i), maintaining the structure in the classical limit. A simple example is a point transformation \hat{q}' = f(\hat{q}), where the momenta transform as \hat{p}' = \left( \frac{\partial f}{\partial \hat{q}} \right)^{-1} \hat{p}, preserving the commutators without altering the physical content of the theory. Such transformations are crucial for simplifying Hamiltonians in complex systems, like reducing to normal modes. An illustrative application is the d-dimensional , where the \hat{H} = \sum_{i=1}^d \frac{\hat{p}_i^2}{2m} + \frac{1}{2} m \omega^2 \sum_{i=1}^d \hat{x}_i^2 is separable along each . Introducing component-wise via \hat{a}_i = \sqrt{\frac{m \omega}{2 \hbar}} \hat{x}_i + i \sqrt{\frac{1}{2 m \omega \hbar}} \hat{p}_i and \hat{a}_i^\dagger = \sqrt{\frac{m \omega}{2 \hbar}} \hat{x}_i - i \sqrt{\frac{1}{2 m \omega \hbar}} \hat{p}_i, the CCR simplify to [\hat{a}_i, \hat{a}_j^\dagger] = \delta_{ij}, with [\hat{a}_i, \hat{a}_j] = [\hat{a}_i^\dagger, \hat{a}_j^\dagger] = 0. The then expresses as \hat{H} = \hbar \omega \sum_{i=1}^d (\hat{a}_i^\dagger \hat{a}_i + 1/2), revealing independent oscillators per and enabling exact solutions via Fock states. For systems of identical particles, the CCR are extended through , where field operators \hat{\psi}(\mathbf{r}) and \hat{\psi}^\dagger(\mathbf{r}) create or annihilate particles at position \mathbf{r}, satisfying canonical commutation relations for bosons ([\hat{\psi}(\mathbf{r}), \hat{\psi}^\dagger(\mathbf{r}')] = \delta(\mathbf{r} - \mathbf{r}')) or anticommutation for fermions. This builds on the multi-particle CCR to handle indistinguishability and variable particle number in .

Relativistic and Field Theory Contexts

In , the canonical commutation relations (CCRs) are generalized to field operators to ensure consistency with Lorentz invariance and causality. For the Klein-Gordon field, which describes a relativistic scalar particle, the equal-time commutation between the field \phi(t, \mathbf{x}) and its conjugate momentum density \pi(t, \mathbf{x}) = \frac{\partial \mathcal{L}}{\partial (\partial_t \phi)}, derived from the \mathcal{L} = \frac{1}{2} (\partial_\mu \phi)^2 - \frac{m^2}{2} \phi^2, is given by [\phi(t, \mathbf{x}), \pi(t, \mathbf{y})] = i \hbar \delta^3(\mathbf{x} - \mathbf{y}), while all other equal-time commutators vanish. This promotes the classical to a quantum , preserving the structure of non-relativistic CCRs in the low-energy limit. In quantum field theory (QFT), the CCRs extend to spacetime, with equal-time commutators forming the foundation for canonical quantization of bosonic fields: [\phi(x), \pi(y)]|_{x^0 = y^0} = i \hbar \delta^3(\mathbf{x} - \mathbf{y}), where \pi = \dot{\phi}, and [\phi(x), \phi(y)] = [\pi(x), \pi(y)] = 0 at equal times. These ensure microcausality, as the full spacetime commutator [\phi(x), \phi(y)] vanishes outside the light cone, determined via Wightman functions that axiomatize the theory. For fermionic fields, such as the Dirac field describing spin-1/2 particles, the CCRs are replaced by anti-commutation relations to account for Pauli exclusion: \{\psi_\alpha(x), \psi_\beta^\dagger(y)\}_{x^0 = y^0} = \delta_{\alpha\beta} \delta^3(\mathbf{x} - \mathbf{y}), with all other equal-time anti-commutators zero, enforcing fermionic statistics. In gauge theories like (QED), the CCRs must respect gauge invariance, which constrains the fields to physical (transverse) degrees of freedom. The equal-time commutator for the transverse components of the A_i and E_j = -\dot{A}_j - \partial_j A_0 (in gauge) is [A_i(\mathbf{x}), E_j(\mathbf{y})] = -i \hbar \delta_{ij}^\perp \delta^3(\mathbf{x} - \mathbf{y}), where \delta_{ij}^\perp projects onto transverse modes, preserving the algebra under gauge transformations. However, QFT with CCRs faces challenges, including infrared divergences from massless fields (e.g., photons in QED), which lead to non-normalizable states and ambiguities in scattering amplitudes due to long-range interactions. Additionally, Haag's theorem demonstrates that, in interacting theories, the representation of the free-field CCR algebra is not unitarily equivalent to the interacting one, undermining the interaction picture and requiring alternative formulations like the Wightman axiomatic approach.