| commutator (algebra) | |
|---|---|
| Name | Commutator |
| Field | Mathematics; Quantum mechanics |
| Notation | [A,B] or AB - BA |
commutator (algebra)
A commutator in algebra is an expression measuring the failure of two elements to commute, typically written [A,B] = AB − BA. In the context of Quantum mechanics and operator algebra, commutators quantify nonclassical behavior of observables, underpin Heisenberg uncertainty principle and the algebraic structure of Lie algebras used in particle physics and condensed matter theory.
For elements A and B of an associative algebra over a field (for instance operators on a Hilbert space), the commutator is defined by [A,B] = AB − BA. It is bilinear over the base field and satisfies antisymmetry [A,B] = −[B,A]. The commutator also obeys the Jacobi identity: [A,[B,C + [B,[C,A + [C,[A,B = 0, which makes the algebra of elements with the commutator into a Lie algebra. If [A,B] = 0 the elements are said to commute; commuting observables can be simultaneously diagonalized in finite-dimensional settings, a fact used in spectral decomposition and measurement theory as developed by John von Neumann.
In Lie algebra theory the commutator is the fundamental Lie bracket for matrix algebras such as gl(n) and su(2). For operator algebras, including C*-algebras and von Neumann algebras acting on a Hilbert space, commutators characterize derivations and central elements. The study of commutator subalgebras, derived series, and simple Lie algebra structure constants is central to classification results by mathematicians such as Élie Cartan and Nathan Jacobson. In functional analysis, commutator estimates appear in the work of Israel Gelfand and John von Neumann on spectral theory and in the classification of factors by Murray and von Neumann.
In quantum theory observables are represented by self-adjoint operators; their commutator reflects physical incompatibility. The canonical form [x,p] = iħ emerges from the quantization of classical Poisson brackets via canonical quantization as formalized by Paul Dirac. Nonzero commutators produce uncertainty relations such as the Heisenberg uncertainty principle and generalized Robertson–Schrödinger inequalities derived by Howard Percy Robertson and Erwin Schrödinger. Commutator algebra underlies measurement disturbance, decoherence studies at institutions like CERN and MIT quantum groups research, and experimental tests using systems developed by groups at LIGO and trapped-ion laboratories.
Commutation relations encode symmetry algebras: generators of continuous symmetries satisfy Lie commutation relations, e.g., the Lie algebra of the rotation group so(3) represented by angular momentum operators J_i with [J_i,J_j] = iε_{ijk} J_k. Noether's theorem links conserved quantities to symmetry generators in classical mechanics and its quantum analogue. In particle physics, commutators among generators of gauge groups such as SU(3), SU(2), and U(1) determine the structure of quantum chromodynamics and the Standard Model gauge algebra; notable contributors include Murray Gell-Mann and Sheldon Glashow.
Beyond the binary commutator, algebraic identities such as the Baker–Campbell–Hausdorff formula express products of exponentials in terms of nested commutators and are essential in Lie group theory and time-evolution operator factorization. Higher commutators appear in the definition of derivations, central series, and Engel's theorem contexts. The Magnus expansion and Zassenhaus formula provide series in nested commutators used in quantum control and numerical integrators. In algebraic quantum field theory, commutator locality conditions distinguish causal structure; important contributors include Rudolf Haag.
Canonical commutation relations (CCR) for position and momentum operators x and p on L^2(ℝ^n) are [x_j,p_k] = iħ δ_{jk} I, foundational in nonrelativistic quantum mechanics and coherent state analysis by Roy J. Glauber. Spin operators form representations of su(2): for spin-1/2, Pauli matrices σ_i satisfy [σ_i,σ_j] = 2i ε_{ijk} σ_k; the Pauli matrices were introduced by Wolfgang Pauli. Ladder operators for the quantum harmonic oscillator satisfy [a,a†] = I; this algebra underlies second quantization and Fock space constructions used in Pascual Jordan and Paul Dirac's treatments. In solid-state physics, commutators of creation and annihilation operators distinguish fermion and boson statistics via anticommutators for fermions.
Commutators govern time evolution in the Heisenberg picture: dA/dt = (i/ħ)[H,A] + (∂A/∂t), where H is the Hamiltonian operator. This relation connects to generator properties studied in Eugene Wigner's work on symmetries. In perturbation theory and response functions, commutators define retarded Green's functions and linear response tensors employed in condensed matter treatments by Philip W. Anderson and Lev Landau. Time-dependent perturbation expansions, Kubo formula, and techniques in quantum control exploit nested commutators via Magnus and Dyson series; these methods are implemented experimentally in quantum computing platforms developed by IBM Quantum and Google Quantum AI.
Category:Algebra Category:Quantum mechanics