| second quantization | |
|---|---|
| Name | Second quantization |
| Field | Quantum mechanics |
| Introduced | 1920s–1950s |
| Inventor | Paul Dirac; formal development by Pascual Jordan, Wolfgang Pauli, John von Neumann |
second quantization
Second quantization is a formalism in Quantum mechanics and Quantum field theory that treats fields and many-particle systems by promoting classical field amplitudes to operators acting on a Fock space. It provides a systematic framework for describing creation and annihilation of particles, enabling a unified treatment of indistinguishable particles, collective excitations, and interactions in condensed matter and high-energy physics. The method underpins modern approaches ranging from the Bose–Einstein condensation to the Standard Model.
Second quantization emerged during the early 20th century as researchers sought to quantize fields rather than just particle trajectories. Early contributions came from Pascual Jordan, Paul Dirac, and Werner Heisenberg, with further formalization by John von Neumann and Wolfgang Pauli. The conceptual leap—treating particle number as an operator—resolved difficulties in describing processes where particle number is not conserved, such as emission and absorption in quantum electrodynamics and pair production in relativistic regimes explored by Enrico Fermi and later by Richard Feynman. Institutional centers such as CERN and Bell Labs played roles in applying these ideas to particle physics and solid-state problems respectively, while textbooks by Lev Landau & Evgeny Lifshitz and by F. Mandl and G. Shaw propagated the formalism.
Second quantization recasts a Hilbert space description into a Fock space, the direct sum of N-particle Hilbert spaces. States are vectors in Fock space and observables are operator-valued functionals of creation and annihilation operators. The formalism relies on concepts from linear algebra and functional analysis, including operator algebras and distributions. Central mathematical objects include mode expansions, orthonormal basis functions (e.g., plane waves or harmonic oscillator eigenfunctions), and commutation relations. Canonical quantization conditions mirror those in canonical quantum mechanics but act on field operators ψ(x) and ψ†(x). The formal structure is used in rigorous treatments like the Haag–Ruelle and Wightman axioms in mathematical physics.
Creation (a†) and annihilation (a) operators are the primary primitives. They add or remove quanta in specified modes and satisfy algebraic relations: canonical commutation relations (CCR) for bosons and canonical anticommutation relations (CAR) for fermions. The algebraic properties were studied by mathematicians and physicists including Norbert Wiener and John von Neumann. Number operators N = a†a count excitations, and normal ordering addresses operator-ordering ambiguities. These operators enable second-quantized expressions for Hamiltonians, such as kinetic and interaction terms, and are central in diagrammatic techniques like Feynman diagrams and in perturbation theory developed by Julian Schwinger and Freeman Dyson.
Second quantization provides an efficient language for many-body physics in condensed matter physics and nuclear physics. It expresses model Hamiltonians such as the Hubbard model, Heisenberg model, and BCS theory of superconductivity in compact operator form. Techniques like Bogoliubov transformation, Hartree–Fock approximation, and random phase approximation are naturally formulated in second quantized notation. Experimental platforms—ultracold atoms in optical lattices studied at laboratories like Max Planck Institute for Quantum Optics and MIT—use this formalism to interpret phenomena such as superfluidity and Mott insulator transitions. Solid-state applications include descriptions of quasiparticles such as phonons, magnons, and polarons.
A key strength of second quantization is its treatment of indistinguishability and exchange symmetry. Bosonic fields obey symmetric wavefunction statistics and CCR, while fermionic fields obey antisymmetric statistics and CAR in accordance with the Pauli exclusion principle and spin–statistics theorem. This distinction leads to qualitatively different collective behavior: Bose–Einstein condensation for bosons and Fermi surfaces and degenerate Fermi gases for fermions. Foundational contributors include Satyendra Nath Bose and Enrico Fermi; later formal proofs of spin–statistics relations were developed by Wolfgang Pauli and others within relativistic quantum field theory.
Second quantization is essentially field quantization: classical fields (electromagnetic, scalar, spinor) are promoted to operator-valued fields. This underlies quantum electrodynamics (QED), quantum chromodynamics (QCD), and the broader Standard Model of particle physics. Renormalization techniques introduced by Kenneth Wilson, Gerard 't Hooft, and Murray Gell-Mann address divergences that appear in perturbative expansions of second-quantized field theories. The formalism also connects to semiclassical limits, effective field theories, and symmetry principles tied to groups such as SU(2), SU(3), and Lorentz group.
Practical computation in second-quantized systems employs numerical and analytical approximations. Methods include exact diagonalization, density matrix renormalization group (DMRG), quantum Monte Carlo, and mean-field approaches like Hartree–Fock and Bogoliubov–de Gennes. Software packages and computational frameworks developed at institutions such as Lawrence Berkeley National Laboratory and groups in IBM and Google's quantum research implement many-body solvers using second-quantized representations. Perturbative expansions use diagrammatic rules (Feynman diagrams), and nonperturbative methods exploit symmetry, variational ansätze, and tensor network states for low-dimensional systems. These tools connect theoretical predictions to experiments in atomic physics, solid state physics, and particle accelerators.