Dyson series

Dyson series. In theoretical physics, particularly within the framework of quantum mechanics and quantum field theory, it is a formal perturbative expansion for the time evolution operator in the interaction picture. It provides a systematic method for calculating the scattering matrix and transition amplitudes in systems where the Hamiltonian can be separated into a solvable free part and an interaction term. The series is named after the physicist Freeman Dyson, who developed it while working on the covariant formulation of quantum electrodynamics.

Introduction and definition

The series arises in the context of time-dependent perturbation theory, where the full Hamiltonian is expressed as \( H(t) = H_0 + V(t) \). Here, \( H_0 \) is the time-independent free Hamiltonian, whose eigenstates are known, and \( V(t) \) represents the interaction Hamiltonian, which may be time-dependent. In the interaction picture, the state evolution is governed entirely by \( V_I(t) \), the interaction Hamiltonian in this picture. The formal solution for the corresponding time evolution operator \( U_I(t, t_0) \) is given by an infinite series of iterated integrals over time-ordered products of \( V_I(t) \). This expansion is the defining expression for the series, which is foundational for calculations in scattering theory and many-body physics.

Derivation and motivation

The derivation begins with the Schrödinger equation in the interaction picture. The goal is to solve for the operator \( U_I(t, t_0) \) that evolves a state from an initial time \( t_0 \) to a final time \( t \). Integrating the equation of motion and iteratively substituting the solution back into itself generates a Neumann series. This procedure naturally enforces time ordering, a crucial concept introduced by Richard Feynman and formalized by Freeman Dyson. The motivation was to create a manifestly covariant and systematic framework for handling the infinities plaguing early quantum electrodynamics, providing a rigorous alternative to the less formal methods of Julian Schwinger and Sin-Itiro Tomonaga.

Time evolution operator and Dyson series

The time evolution operator in the interaction picture, \( U_I(t, t_0) \), is expressed explicitly as the infinite sum: \( U_I(t, t_0) = \sum_{n=0}^\infty \frac{(-i)^n}{n!} \int_{t_0}^t dt_1 \cdots \int_{t_0}^t dt_n \, T\{V_I(t_1) \cdots V_I(t_n)\} \), where \( T \) is the time ordering operator. This compact notation, using the time ordering symbol, is a hallmark of the formalism. The operator ensures that interaction Hamiltonians are ordered from latest to earliest time, a structure that becomes vital when connecting to the path integral formulation. This representation is central to calculating the S-matrix elements in scattering processes studied at facilities like CERN and SLAC National Accelerator Laboratory.

Relation to Feynman diagrams

There is a profound and direct correspondence between the terms in the expansion and Feynman diagrams. Each term in the series, involving an n-fold integral over time-ordered products, corresponds to the sum of all Feynman diagrams with \( n \) interaction vertices. The time ordering operation automatically accounts for the contributions of different processes, such as particle creation and annihilation, that are represented pictorially by diagrams. This link was instrumental in the development of quantum electrodynamics by Richard Feynman, Julian Schwinger, and Freeman Dyson, providing a calculational recipe that combined the operator formalism of Schwinger-Tomonaga theory with the intuitive graphical rules of Feynman diagrams.

Applications in quantum field theory

Its primary application is in quantum field theory, where it forms the backbone of perturbative calculations. It is used to compute scattering amplitudes and cross-sections in the Standard Model, including processes in quantum chromodynamics and the electroweak interaction. The series is essential for deriving the Feynman rules from the Lagrangian density of a theory, such as the Yang-Mills theory. Practical calculations in high-energy physics experiments, like those conducted at the Large Hadron Collider, rely on truncating this series to a finite order to make predictions for particle collisions, a technique validated by the discovery of the Higgs boson.

Mathematical properties and convergence

Mathematically, the series is a formal power series in the coupling constant, and its convergence properties are generally not guaranteed. In typical quantum field theories like quantum electrodynamics, the series is believed to be an asymptotic series, providing excellent approximations when only the first few terms are considered but diverging if summed to all orders. Studies of its convergence are part of mathematical physics and relate to fundamental issues like the Landau pole and triviality in quantum field theory. The work of mathematicians like Arthur Jaffe and James Glimm on constructive field theory has explored the conditions under which such expansions can be given rigorous meaning. Category:Quantum mechanics Category:Quantum field theory Category:Perturbation theory (quantum mechanics)