| DeWitt notation | |
|---|---|
| Name | Bryce S. DeWitt |
| Caption | Bryce DeWitt, developer of DeWitt notation |
| Birth date | 1923-01-08 |
| Death date | 2004-03-23 |
| Nationality | American |
| Fields | Theoretical physics, Quantum field theory, General relativity |
| Known for | DeWitt notation, Wheeler–DeWitt equation |
| Workplaces | University of North Carolina at Chapel Hill, University of Texas at Austin, Institute for Advanced Study |
DeWitt notation
DeWitt notation is a compact index-free formalism introduced to streamline expressions in quantum field theory and the canonical quantization of continuum systems. It treats field arguments and discrete indices uniformly, allowing functional derivatives, commutators, and operator expressions to be written with condensed index conventions. The notation matters in quantum physics because it clarifies manipulation of infinite-dimensional spaces, aids computation in the path integral formulation, and assists with systematic treatment of gauge symmetries and constraints.
DeWitt notation provides a consistent shorthand for objects that carry continuous spacetime labels and discrete indices, such as fields φ^i(x) or gauge potentials A_μ^a(x). By absorbing integration measures and delta functions into a generalized index summation convention, it parallels the role of Einstein summation for finite-dimensional tensors while addressing functional-analytic features of fields. This compactness is widely used in treatments of the Wheeler–DeWitt equation, semiclassical gravity, renormalization in quantum electrodynamics and non-Abelian Yang–Mills theory, and in educational and research material from authors affiliated with institutions like Harvard University, University of Cambridge, and Princeton University.
In DeWitt notation a generalized index i represents both an internal label and a spacetime point, so φ^i denotes φ^a(x) with i ≡ (a,x). Summation over i implies integration over spacetime and summation over internal indices: T_i S^i ≡ ∑_a ∫ d^n x T_a(x) S^a(x). Functional derivatives are written as δ/δφ^i, and functional delta distributions are δ_i^j ≡ δ_a^b δ(x,y). Operators such as the action S[φ] have variations S,_i and second variations S,_{ij} corresponding to first and second functional derivatives. The notation emphasizes covariant treatment of indices in field space, where metric structures on configuration space (e.g., DeWitt supermetric) appear as G_{ij}. These conventions are compatible with treatments in canonical quantization and are used to express Poisson brackets, commutators, and the functional Schrodinger equation succinctly.
DeWitt notation simplifies derivations in the path integral formulation pioneered by Richard Feynman and extended to gauge theories by Faddeev–Popov and others. The compact index rules make it straightforward to write the Gaussian integrals encountered in perturbation theory, to define propagators G^{ij} as inverse operators of S,_{ij}, and to express loop expansions and effective actions Γ[φ]. In studies of renormalization and regularization within perturbative quantum field theory, the notation is used in conjunction with functional determinants, heat-kernel methods, and background-field techniques developed by researchers at places like CERN and Brookhaven National Laboratory. It also appears in treatments of the BRST formalism and in computations of anomalies where functional traces Tr(...) are taken over generalized indices.
DeWitt notation is particularly valuable for gauge theories such as Yang–Mills theory and general relativity, where gauge or diffeomorphism invariance leads to degenerate second variations of the action. The notation makes explicit the null directions in S,_{ij} and facilitates introduction of gauge-fixing conditions χ^α(φ) with Faddeev–Popov determinants Δ_FP = det(χ^α,_i R^i_β). Here R^i_α are generators of gauge transformations expressed in compact index form. In canonical approaches to constrained systems, the notation helps express first-class and second-class constraints, Dirac brackets, and the structure functions of constraint algebras. This clarity is crucial in attempts to quantize gravity consistently, as pursued in loop quantum gravity groups and Wheeler–DeWitt studies at institutions like the Perimeter Institute.
Practically, DeWitt notation reduces clutter in calculations involving many fields and continuous labels. Example tasks where it streamlines work include deriving Schwinger–Dyson equations, computing one-loop effective actions, and formulating background-field expansions. For instance, the propagator equation S,_{ik} G^{kj} = δ_i^j is compact in DeWitt index language and transparently encodes inversion of differential operators. In lattice field theory and numerical relativity, although discrete methods replace continuous integration by sums, the conceptual clarity of DeWitt conventions assists algorithm design and continuum limits; practitioners from Los Alamos National Laboratory and various university computational groups adapt the notation to hybrid analytic-numeric workflows. The notation also aids pedagogical clarity in graduate texts such as those by Bryce DeWitt, Pascual Jordan (historical context), and modern expositions on effective field theory.
Bryce S. DeWitt introduced and popularized this formal device in the course of his work on quantum gravity, canonical quantization, and the Wheeler–DeWitt equation. DeWitt's publications and lectures consolidated index conventions tailored to infinite-dimensional configuration spaces and highlighted their utility for gauge theories and the path integral. His collaborations and influence extended through affiliations with the Institute for Advanced Study, University of North Carolina at Chapel Hill, and conferences such as the Solvay Conference where quantum gravity and field quantization were debated. The notation's adoption across communities reflects DeWitt's role in promoting rigorous yet practicable tools for addressing deep problems in quantum physics, including questions of equity in scientific practice through mentorship and institutional involvement in diversifying the field's participation.
Category:Quantum field theory Category:Notation Category:Mathematical physics