Feynman–Dyson rules

Feynman–Dyson rules
Name	Feynman–Dyson rules
Field	Quantum field theory
Related	Feynman diagram, S-matrix, Perturbation theory (quantum mechanics)

Feynman–Dyson rules. In quantum field theory, the Feynman–Dyson rules are a systematic procedure for translating the terms of a perturbation theory expansion of the S-matrix into a set of mathematical expressions that can be evaluated to compute scattering amplitudes. These rules provide a one-to-one correspondence between the graphical elements of a Feynman diagram and specific mathematical factors, such as propagators, vertex factors, and integration over internal momenta. The formalism, which synthesizes the diagrammatic approach of Richard Feynman with the operator-based S-matrix theory of Freeman Dyson, is foundational for performing calculations in theories like quantum electrodynamics and the Standard Model.

Definition and mathematical formulation

The core of the Feynman–Dyson rules is a precise dictionary that assigns a mathematical expression to each component of a diagram representing a particle interaction. For a theory like quantum electrodynamics, an internal photon line corresponds to the photon propagator, often in Feynman gauge, while an internal electron line corresponds to the fermionic propagator derived from the Dirac equation. Each vertex, representing a fundamental interaction such as the coupling of an electron to the electromagnetic field, contributes a factor proportional to the coupling constant, like the fine-structure constant, and involves Dirac matrices. External lines for incoming and outgoing particles are associated with wave function solutions, such as spinors for fermions or polarization vectors for gauge bosons. The full amplitude for a process is then given by the product of all these factors, integrated over all undetermined loop momenta, and includes combinatorial symmetry factors to account for identical diagrams.

Historical development and context

The rules emerged from parallel work in the late 1940s aimed at taming the infinities plaguing quantum electrodynamics. Richard Feynman introduced his diagrammatic technique and associated rules in 1949, providing an intuitive, space-time pictorial method for calculating amplitudes, as presented at the Pocono Conference. Independently, Julian Schwinger and Sin-Itiro Tomonaga developed covariant operator formalisms. Freeman Dyson, in his seminal 1949 papers, demonstrated the equivalence of these approaches by showing that Feynman's diagrams could be derived systematically from the S-matrix expansion within the interaction picture framework of quantum mechanics. Dyson's work, heavily influenced by the S-matrix theory of Werner Heisenberg, rigorously connected Feynman's intuitive diagrams to the perturbation theory of operators, cementing the combined "Feynman–Dyson" nomenclature. This synthesis was crucial for the renormalization program advanced by Dyson, Schwinger, and Feynman, for which they shared the Nobel Prize in Physics.

Application in quantum field theory

The primary application of the Feynman–Dyson rules is the perturbative calculation of scattering cross sections and decay widths in relativistic quantum field theories. In quantum chromodynamics, the rules assign gluon propagators and vertex factors involving the Gell-Mann matrices of the SU(3) gauge theory. For the electroweak interaction within the Standard Model, they handle the mixing of the W and Z bosons and the Higgs mechanism. Calculations typically proceed by drawing all topologically distinct Feynman diagrams for a given process at a desired order in the coupling constant, applying the rules to write the amplitude for each diagram, and then summing the contributions. This methodology is essential for making precise theoretical predictions that can be tested against experiments at facilities like CERN and the Fermilab.

Relation to Feynman diagrams

Feynman diagrams are the graphical representations for which the Feynman–Dyson rules provide the computational algorithm. Each diagram is a map: lines represent particle propagators, vertices represent interactions, and the diagram's topology dictates the structure of the corresponding integral. The rules transform this topology into a concrete Lorentz-invariant expression. For instance, a loop in a diagram corresponds to an integral over a free four-momentum, leading to potentially divergent integrals that require renormalization. The power of the correspondence is that complex algebraic manipulations in the S-matrix expansion are reduced to the simpler task of drawing and enumerating diagrams, a technique now ubiquitous in fields from condensed matter physics to string theory.

Examples and specific cases

A canonical example is the calculation of Møller scattering, electron-electron scattering, in quantum electrodynamics. At lowest order, two diagrams contribute: one with a photon exchanged in the t-channel and another in the u-channel. Applying the rules, each internal photon line gives a propagator factor, each vertex gives a factor involving the Dirac matrices and the electric charge, and the external lines give spinor wavefunctions. Another fundamental example is Compton scattering, the scattering of a photon off an electron, which involves diagrams with an electron in the s-channel and u-channel. In the Glashow–Weinberg–Salam model, the rules are used to compute processes like the decay of the Z boson into lepton pairs, incorporating the weak mixing angle and the couplings to the Higgs field.

Generalizations and extensions

The basic Feynman–Dyson rules have been extended to more complex quantum field theories. In non-Abelian gauge theory like quantum chromodynamics, the rules incorporate Faddeev–Popov ghost fields to preserve unitarity and manage gauge fixing, a formalism developed by Ludvig Faddeev and Victor Popov. For computations at higher orders, techniques like the LSZ reduction formula provide a more formal foundation for connecting correlation functions to S-matrix elements. The rules also underpin modern computational methods; software packages like FeynCalc and FORM automate their application. Furthermore, the diagrammatic philosophy extends beyond particle physics into condensed matter theory, where analogous rules describe quasiparticle interactions in systems like superconductors, and into string theory, where worldsheet diagrams replace spacetime diagrams.

Category:Quantum field theory Category:Theoretical physics Category:Scattering theory Category:Richard Feynman