| inner product | |
|---|---|
| Name | Inner product |
| Field | Linear algebra; Functional analysis |
| Introduced | 19th century |
| Notable concepts | Hilbert space, Hermitian operator, Orthogonality |
inner product
An inner product is a positive-definite, sesquilinear (or bilinear) form on a vector space that generalizes the Euclidean dot product. In the context of Quantum mechanics, inner products furnish the geometric structure of Hilbert space state vectors, determine transition amplitudes, and underpin measurement probabilities and expectation values. Their mathematical properties ensure conservation and coherence central to stable physical theories.
An inner product on a vector space V over the field of real numbers or complex numbers is a function ⟨·,·⟩: V × V → F satisfying linearity in one argument, conjugate symmetry, and positive-definiteness. Standard examples include the dot product on ℝ^n and the L^2 inner product on spaces of square-integrable functions. Key properties such as the Cauchy–Schwarz inequality, the triangle inequality, and the induced norm are essential for analysis in Functional analysis and for proving the existence of orthonormal bases. The algebraic structure relates to Hermitian matrix theory and spectral results like the Spectral theorem.
A Hilbert space is a complete inner product space; completeness with respect to the metric induced by the inner product distinguishes Hilbert spaces from pre-Hilbert spaces. Common physical Hilbert spaces include L^2(ℝ^n), spinor spaces for Pauli matrices, and Fock space for quantum field modes. The inner product enables definitions of adjoint operators, unitarity, and self-adjointness, connecting to John von Neumann's formulation of quantum theory and the representation theory used in Eugene Wigner's symmetry analysis. Foundations of scattering theory, perturbation theory, and the mathematics of Schrödinger equation solutions rely on Hilbert space inner products.
In the bra–ket formalism, quantum states are vectors in a Hilbert space and physical probabilities are given by squared norms of inner products. Transition amplitudes ⟨φ|ψ⟩ determine interference and are central to experiments such as the Stern–Gerlach experiment and double-slit experiment. Observables correspond to Hermitian operators whose matrix elements are computed via inner products; time evolution via the unitary operator generated by the Hamiltonian preserves the inner product, reflecting conservation laws tied to Noether's theorem. The Born rule and collapse postulate are expressed using inner-product-derived probabilities.
Orthogonality defined by vanishing inner products organizes state spaces into mutually exclusive alternatives. Orthonormal bases and complete sets (e.g., eigenfunctions of the Hamiltonian) allow expansion of arbitrary states via Fourier-type series and integral transforms, linking to Fourier transform methods and the Sturm–Liouville theory of differential operators. Practical bases include position and momentum eigenstates connected by the Fourier transform and discrete bases like spin eigenstates associated with Pauli matrices or Clebsch–Gordan coefficients in angular-momentum coupling. Gram–Schmidt orthonormalization constructs bases from linearly independent sets while preserving inner-product structure.
Dirac's notation expresses inner products succinctly: bras ⟨φ| are linear functionals and kets |ψ⟩ are vectors, with ⟨φ|ψ⟩ the inner product. The notation meshes with operator algebra, so that matrix elements ⟨φ|A|ψ⟩ represent observables and transition amplitudes; projection operators P=|ψ⟩⟨ψ| effect state preparation and measurement. Dirac notation is used throughout quantum optics (e.g., by Roy J. Glauber), quantum information theory (including Peter Shor's and Charles H. Bennett's work), and in treatments of entanglement and density matrices (John S. Bell's inequalities require evaluation of specific inner products).
Inner products extend to operator spaces via the Hilbert–Schmidt inner product Tr(A†B), important in the study of density operators, decoherence, and quantum channels as in the Kraus representation. Expectation values of an observable A in state |ψ⟩ are given by ⟨ψ|A|ψ⟩, a scalar evaluated using the inner product and linking to experimentally measured averages in spectroscopy and quantum tomography. Operator norms and commutator relations use inner-product-induced norms and feed into stability analyses of dynamics (e.g., in scattering theory and perturbation theory for linear operators).
Inner products are computationally central in numerical methods for quantum systems: variational techniques, the Rayleigh–Ritz method, diagonalization routines in numerical linear algebra (as implemented in libraries used at institutions like Los Alamos National Laboratory and CERN), and algorithms for quantum chemistry such as Hartree–Fock and Density functional theory rely on efficient evaluation of inner products. In quantum computing, inner-product estimation underlies algorithms like Hadamard test and fidelity measures between quantum states exploited by companies and research groups at IBM Quantum and Google Quantum AI. Signal processing in experimental setups, error-correcting codes in quantum error correction, and machine learning models that use kernel methods all hinge on the robust mathematical foundation provided by inner products.
Category:Linear algebra Category:Quantum mechanics