| Dirac notation | |
|---|---|
| Name | Dirac notation |
| Field | Quantum mechanics |
| Introduced | 1930s |
| Inventor | Paul Dirac |
| Related | Bra–ket notation, Hilbert space, Linear operators |
Dirac notation
Dirac notation, also known as bra–ket notation, is a standardized symbolic notation for vectors and linear operators in quantum mechanics. It was introduced to streamline calculations in Hilbert space and to express states, inner products, and operators compactly. The notation underpins modern formulations of Quantum mechanics and is widely used in Quantum information theory, Quantum field theory, and related disciplines.
Dirac notation was popularized by Paul Dirac in the 1930s in his work on quantum theory and the formulation presented in The Principles of Quantum Mechanics. Its adoption provided a compact language to express abstract features of the theory developed by figures such as Werner Heisenberg, Erwin Schrödinger, and John von Neumann. The notation facilitated communication between physicists working on foundational questions at institutions like University of Cambridge, Cavendish Laboratory, and later research centers such as CERN and Los Alamos National Laboratory. Dirac's formalism emphasized operator methods and spectral ideas that were essential to rigorous mathematical treatments later advanced at institutions like Institute for Advanced Study and by mathematicians such as David Hilbert and John von Neumann.
Dirac notation is founded on the structure of a complex separable Hilbert space and the algebra of bounded and unbounded linear operators acting on it. Vectors in the Hilbert space are denoted by kets |ψ⟩ and dual vectors by bras ⟨ϕ|, reflecting the Riesz representation theorem. Conventions include linearity in the ket and conjugate linearity in the bra, consistent with the inner product ⟨ϕ|ψ⟩. Important mathematical objects related to the notation include Hermitian operators, unitary operators, projection operators, and concepts from functional analysis such as domains of unbounded operators and spectral measures. The notation interfaces with operator algebras studied by researchers at institutions like Massachusetts Institute of Technology and University of Cambridge.
A ket |ψ⟩ represents a state vector; its Hermitian adjoint is the bra ⟨ψ|. The inner product ⟨ϕ|ψ⟩ is a complex scalar encoding transition amplitudes, probabilities via the Born rule, and overlaps used in expectation values. Norms and orthonormal bases { |n⟩ } satisfy ⟨m|n⟩ = δ_{mn}, where δ is the Kronecker delta for discrete spectra or the Dirac delta function for continuous spectra. The notation naturally expresses projection amplitudes, resolution of the identity, and completeness relations that appear in scattering theory developed at centers like SLAC National Accelerator Laboratory and Brookhaven National Laboratory.
Operators are written as Â, ˆH, or similar; their action on kets is Â|ψ⟩. Eigenvalue equations Â|a⟩ = a|a⟩ compactly represent measurement theory: eigenvalues correspond to possible outcomes and eigenstates to post-measurement states. The spectral theorem provides a decomposition  = ∑_a a |a⟩⟨a| or an integral over eigenvalues for continuous spectra, linking Dirac notation to the rigorous work of John von Neumann and to quantum measurement theory developed by pioneers such as Niels Bohr and Werner Heisenberg. Projection operators |a⟩⟨a| appear in expressions for expectation values ⟨ψ|Â|ψ⟩ and in the formulation of density operators ρ = ∑_i p_i |ψ_i⟩⟨ψ_i| central to statistical descriptions.
Composite systems use the tensor product of Hilbert spaces, written |ψ⟩⊗|φ⟩ or simply |ψ,φ⟩ or |ψφ⟩. Entangled states such as the Bell states |Φ^+⟩ = (|00⟩ + |11⟩)/√2 are naturally expressed in bra–ket form and are foundational to protocols in quantum information theory and quantum computing developed at institutions like IBM Research, Google Quantum AI, and University of Waterloo. Operations on subsystems use partial traces and operators of the form Â⊗𝐈. The notation succinctly encodes separability criteria, Schmidt decomposition, and measures like entanglement entropy used in quantum many-body physics and condensed matter research at labs including Los Alamos National Laboratory.
Dirac notation facilitates change of basis between representations such as position and momentum: |x⟩ and |p⟩ with ⟨x|p⟩ = (2πħ)^{-1/2} e^{ipx/ħ}. Representation theory links to mathematical physics traditions at Princeton University and Cambridge University Press publications. The projection ⟨x|ψ⟩ gives the wavefunction ψ(x) in the Schrödinger representation, while ⟨p|ψ⟩ yields the momentum-space wavefunction. Unitary transforms U effect basis changes: |ψ'⟩ = U|ψ⟩ and matrix elements transform as ⟨α|Â|β⟩. These manipulations underpin methods in perturbation theory, scattering matrices in S-matrix theory, and computational techniques implemented in software libraries used by research groups worldwide.
Dirac notation is ubiquitous in formulations of atomic, molecular, and optical physics, quantum statistical mechanics, and quantum information science. It streamlines derivations of selection rules, matrix elements for transition rates, and formalizes the postulates of quantum measurement. In quantum information, bra–ket language expresses qubits, gates (unitary operations), teleportation protocols, and error-correcting codes studied at institutes like California Institute of Technology and University of Oxford. The notation also appears in advanced topics such as quantum field theory path integrals, second quantization, and in pedagogical texts and lecture courses that sustain the scientific tradition of rigorous, shared methods foundational to national research infrastructures.
Category:Quantum mechanics Category:Mathematical notation