| Dyson series | |
|---|---|
| Name | Dyson series |
| Caption | Time-ordered exponential expansion |
| Field | Quantum mechanics; Quantum field theory |
| Introduced | 1949 |
| Introduced by | Freeman Dyson |
| Related | Perturbation theory, S-matrix, Interaction picture |
Dyson series
The Dyson series is a perturbative expansion for the time-evolution operator in quantum dynamics, expressed as a time-ordered exponential of an interaction Hamiltonian. It provides a systematic way to compute transition amplitudes and correlation functions in Quantum mechanics and Quantum field theory by expanding in powers of a coupling constant; it underpins practical calculations such as the S-matrix and Feynman diagrammatic expansions.
The Dyson series was introduced by Freeman Dyson in the late 1940s to reconcile different formulations of perturbation theory in quantum electrodynamics (QED). Dyson demonstrated equivalence between the operator approach and the diagrammatic methods pioneered by Richard Feynman and the perturbative scattering framework developed by Julian Schwinger and Sin-Itiro Tomonaga. The series became central to renormalized Quantum field theory, the formal structure of the S-matrix, and computations performed at institutions such as Institute for Advanced Study and laboratories like CERN and SLAC National Accelerator Laboratory.
Given a total Hamiltonian H(t)=H0+V(t) with free part H0 and interaction V(t), the time-evolution operator in the interaction picture U_I(t,t0) satisfies a first-order differential equation. The Dyson series is the Picard (iterative) solution: U_I(t,t0)=T exp\left(-\frac{i}{\hbar}\int_{t0}^{t} V_I(t')\,dt'\right), expanded as an infinite sum of time-ordered integrals: U_I(t,t0)=1+\sum_{n=1}^\infty\left(-\frac{i}{\hbar}\right)^n\int_{t0}^{t}dt_1\int_{t0}^{t_1}dt_2\cdots\int_{t0}^{t_{n-1}}dt_n \; V_I(t_1)\cdots V_I(t_n). Here T denotes the time-ordering operator and V_I(t) is V in the interaction picture. The series produces terms corresponding to chronological products of operators, which map directly onto Feynman diagram contributions when V is a local interaction in a relativistic field theory.
Mathematical questions about convergence are subtle. For typical unbounded interaction Hamiltonians, the Dyson series is an asymptotic expansion rather than a uniformly convergent series in the physical coupling. Freeman Dyson argued heuristically that perturbation series in QED must be divergent (nonconvergent) because analytic continuation to negative coupling leads to instability of the vacuum. Rigorous results exist in special cases: for bounded interactions or finite-dimensional quantum systems the series converges for sufficiently small time intervals; functional-analytic approaches (e.g., Dyson–Phillips series in semigroup theory) give existence results for generators of one-parameter unitary groups. In mathematical physics, Borel summability and resurgence theory are used to interpret divergent perturbation series and connect the Dyson expansion to nonperturbative data.
The Dyson series is used to derive transition amplitudes, time-dependent perturbation theory results (including Fermi's golden rule), and the perturbative construction of the S-matrix in Quantum field theory. It underlies calculations in Quantum electrodynamics (e.g., Lamb shift, anomalous magnetic moment), in nonrelativistic scattering problems, and in many-body perturbation theory such as the Green's function and Dyson equation context (note: the Dyson equation relates full and free propagators). Practical applications include perturbative predictions tested at facilities like Large Hadron Collider and in precision atomic physics at laboratories such as National Institute of Standards and Technology (NIST).
The Dyson series expresses the interaction-picture time-evolution operator U_I in terms of the interaction Hamiltonian V_I. In contrast to the Schrödinger picture, where evolution is governed by H, the interaction picture isolates free evolution by H0 and treats V as a perturbation. The time-ordered exponential formalism ensures that operator ordering respects causality and leads to manifestly unitary perturbative approximations. The same formal structure is used to define time-ordered correlation functions and generating functionals in path-integral formulations and canonical quantization schemes.
In practice, terms of the Dyson series are organized by powers of a coupling constant and translated into Feynman diagram rules via Wick's theorem and normal ordering for fields. Renormalization procedures (regularization schemes such as dimensional regularization developed by Gerard 't Hooft and G. M. Cicuta et al.) are applied to handle ultraviolet divergences appearing at higher orders. Computational approaches include symbolic algebra for diagram generation, numerical evaluation of loop integrals, and automated tools used at institutes like CERN and collaborations developing perturbative quantum chromodynamics (QCD) predictions. In condensed matter, linked-cluster expansions and diagrammatic Monte Carlo implement Dyson-series-inspired perturbation sums.
Because Dyson expansions are often divergent asymptotic series, physicists employ resummation techniques: Borel summation, Padé approximants, and techniques from resurgence theory to extract physical results. Nonperturbative methods—such as lattice gauge theory, instanton calculus, Schwinger–Dyson equations (integral equations for correlation functions), and functional renormalization group—complement the Dyson series where perturbation theory fails. For time-dependent strong-field problems, nonperturbative approaches (e.g., adiabatic theorems, Floquet theory, and numerical solution of the time-dependent Schrödinger equation) provide alternatives to truncated Dyson expansions. The interplay between perturbative Dyson series and nonperturbative phenomena remains an active research area in theoretical and mathematical physics.
Category:Quantum mechanics Category:Quantum field theory Category:Perturbation theory