Skip to content

Perturbative QFT and Scattering

Perturbative scattering is a chain of claims, not a synonym for drawing diagrams. One begins with a declared action, state prescription, gauge choice, and normalization; constructs amplitudes either from perturbative rules or on-shell data; checks their unitarity and analytic structure; controls ultraviolet and infrared singular regions; and finally specifies a measurement for which cancellation, factorization, integration, and uncertainty can be defended. A failure at any link can invalidate the prediction even when the algebraic amplitude is finite.

This volume develops that chain in flat-spacetime perturbative QFT. It covers conventional and on-shell tree construction, loop-integral methods, analytic S-matrix constraints, soft and collinear structure, and precision observables. It does not assume that every QFT has stable in/out particles, and it does not turn model-specific collider phenomenology, renormalization theory, rigorous scattering existence, or active amplitude programs into consequences of notation.

Helpful background. Wick’s theorem supplies the free-field contraction identity used inside the Dyson expansion. The pole-to-particle scattering handoff identifies the spectral assumptions behind stable external states. Hilbert-space positivity and unitary evolution separates physical unitarity from gauge-fixed bookkeeping, and branches, sheets, and monodromy prepares the analytic continuation used for thresholds, cuts, and resonances. None is a prerequisite for using this page as a route map.

From interacting data to a physical prediction

Section titled “From interacting data to a physical prediction”

The shortest conventional route is

action and statesrules and LSZ,rules and LSZamplitudes Mn,Mnweighted observable,weighted observableprediction.\begin{gathered} \text{action and states} \longrightarrow \text{rules and LSZ},\\ \text{rules and LSZ} \longrightarrow \text{amplitudes }\mathcal M_n,\\ \mathcal M_n \longrightarrow \text{weighted observable},\\ \text{weighted observable} \longrightarrow \text{prediction}. \end{gathered}

For two incoming particles, the final state sum has the convention-explicit form

σ[F]=1Fn1Sn×dΦn(P;{p}n)Mn2×Fn({p}n).\begin{aligned} \sigma[F] &=\frac{1}{\mathcal F} \sum_n\frac{1}{S_n}\\ &\quad{}\times \int \mathrm d\Phi_n(P;\{p\}_n)\, \overline{|\mathcal M_n|^2}\\ &\quad{}\times F_n(\{p\}_n). \end{aligned}

where F=4(p1 ⁣p2)2m12m22\mathcal F=4\sqrt{(p_1\!\cdot p_2)^2-m_1^2m_2^2} is the invariant flux, SnS_n removes identical-state overcounting, the bar denotes the declared discrete-state sums and initial averages, and FnF_n is the measurement function. A decay rate replaces 1/F1/\mathcal F by 1/(2M)1/(2M) for a parent of mass MM. Thus Mn\mathcal M_n is a convention-dependent stripped amplitude, not yet an observable. The S-matrix and LSZ portion of this chain is developed pedagogically in Schwartz 2014, chs. 5–7, pp. 56–103; the same text’s unitarity, infrared, on-shell, and factorization chapters make clear why later links cannot be inferred from the first three alone Schwartz 2014, chs. 20, 24, 27, and 36, pp. 355–380, 452–477, 534–559, and 776–810.

The route map below separates four useful trunks. Its vertical layout is for legibility: the infrared-observability and structural-frontier routes branch from stable analytic inputs, and a reader need not pass through every chapter.

Declared interacting-QFT inputs feed a calculation and analytic-reconstruction core, which branches to either an infrared-safe observable or a bounded structural statement; both require checks and exact neighboring-domain handoffs.

Architecture of the volume. Chapters 1–3 construct normalized amplitudes and rates; Chapters 4–8 test and reconstruct analytic data; Chapters 9–10 define infrared-safe observables; and Chapter 11 records bounded structural claims. The two lower routes are alternatives, not a mandatory sequence. Every transition requires convention, state, analytic, gauge, limiting-case, and independent-representation checks. Schematic, not to scale.

Route trunkInputOutputStop condition
Calculation, Chapters 1–3Action, free-field preparation, stable-particle assumptionsNormalized tree amplitude, form factor, cross section, or decay rateStop before loop, infrared, or model-specific claims that the chosen route has not checked
Analytic and reconstruction, Chapters 4–8Amplitudes plus state, sheet, growth, and regulator dataUnitarity relation, on-shell construction, reduced loop family, cut reconstruction, or conditional dispersive constraintStop when a theorem hypothesis, boundary term, branch choice, rational term, or subtraction remains uncontrolled
Infrared observability, Chapters 9–10Singular amplitudes plus a declared measurementIRC-safe perturbative observable with cancellation, factorization, integration, matching, and uncertainty evidenceStop if inclusivity, Glauber exchange, power corrections, or numerical validation is missing
Structural frontier, Chapter 11Stable amplitude objects and a declared theory/kinematic domainA proved, constructed, observed, conjectured, limited, or open statementStop before generalizing beyond the verified theory, dimension, multiplicity, kinematics, or loop order

The volume’s canonical objects are perturbative scattering amplitudes, their stable-state reduction, their singular and analytic structure, and the observables built from them. It treats:

  • Dyson and Wick expansion, graph combinatorics, momentum-space rules, fermion signs, derivative/contact terms, and gauge-fixed amplitude checks;
  • in/out states, S- and T-matrix conventions, LSZ for stable isolated poles, invariant kinematics and phase space, rates, and local-operator form factors;
  • diagrammatic and on-shell tree construction, physical poles, factorization, crossing, polarization, color, and constructibility tests;
  • loop-integral representations and reduction, with the regulator, branch, ultraviolet/infrared origin, and numerical error exposed;
  • S-matrix and partial-wave unitarity, thresholds, sheets, resonances, Landau candidates, physical cuts, generalized cuts, and dispersion relations; and
  • soft/collinear limits, inclusive cancellation, factorization and resummation interfaces, measurement functions, subtraction, Monte Carlo integration, matching, and theory-uncertainty validation.

The boundary is equally important. Renormalization and Effective Field Theory develops counterterm construction, subtraction schemes, beta functions, EFT matching, operator mixing, and the renormalization-group machinery used by factorization. Symmetry and Gauge Structure develops gauge orbits, Faddeev–Popov and BRST/BV structure, generalized Wilson operators, and anomalies; this volume imports those structures to construct and test amplitudes. Gauge Theories and the Standard Model supplies model-specific rule catalogs, parton distributions, collider processes, confinement, and phenomenology. Mathematical QFT treats scattering existence, Haag–Ruelle construction, asymptotic completeness, and theorem-level analyticity bounds.

An ordinary external line therefore represents a stable asymptotic particle supported by the needed pole and wave-operator assumptions. A resonance pole, infraparticle, confined colored excitation, or state in a spacetime without suitable asymptotic regions is not repaired by attaching an LSZ factor. Resonance observables, dressed states, nonperturbative scattering, finite-volume extraction, and curved-spacetime in-in observables each receive their own qualified handoff.

Choose a route by the question you need to answer

Section titled “Choose a route by the question you need to answer”
Reader’s taskShortest useful routeCapability at the exit
Derive rules and a first rate from an actionChapters 1, 2, and 3, then the optical theorem in Chapter 4Produce a normalized scalar, fermion, or vector tree rate and check a physical forward-unitarity identity
Construct a tree amplitude on shellStable-state and factorization preparation in Chapters 24, then Chapter 5Fix little-group weights and residues, run a recursion, and identify missing contact or boundary data
Evaluate and continue a loop familyChapter 6 followed by Chapter 7Reduce a family, impose boundary data, continue it across a cut, and compare an independent numerical representation
Derive a dispersive or positivity statementAnalytic domains in Chapter 4, then Chapters 7 and 8State the contour, sheets, subtractions, positivity input, infrared treatment, and exact conclusion
Turn a divergent amplitude into a predictionRates and optical unitarity in Chapters 2 and 4, then Chapters 9 and 10Define an IRC-safe measurement and show cancellation, factorization, integration, matching, and classified uncertainty
Test a resonance claimLSZ limits in Chapter 2, sheets and poles in Chapter 4, and resonance-aware observables in Chapter 10Distinguish pole position and residue from a process-dependent line shape and a controlled narrow-width approximation
Enter a modern amplitude programStable on-shell, loop, cut, and dispersion inputs in Chapters 58, then one dossier in Chapter 11Classify the claim by domain and evidence without promoting a pattern to a universal theorem

The Scattering calculations for phenomenology pathway provides curriculum ordering and remediation. The volume itself remains a reference map: chapter order records a coherent dependency spine, not a requirement that every reader traverse all 84 topics.

Use each row independently to identify the background most relevant to your chosen path and follow only the suggested review route when needed.

Try this without looking up a formulaA satisfactory checkRoutes unlockedRepair
Normalize a one-particle state and write its Lorentz-invariant completeness measureKeeps the 2Ep2E_{\mathbf p} and (2π)3(2\pi)^3 factors consistent with the delta functionLSZ, phase space, ratesFock space, vacuum, and particle number
Expand a four-field Gaussian correlator and explain the fermion exchange signLists every scalar pairing and derives graded signs from field permutation, not diagram appearanceDyson/Wick rules and diagrammaticsWick’s theorem and free Gaussian factorization
Explain why a propagator pole can represent a stable particle and why a resonance peak need notNames an isolated real mass-shell pole, positive residue, stability, and asymptotic-state assumptionsLSZ and resonance routesFrom one-particle poles to the scattering handoff
Continue a logarithm around its branch point and identify the changed boundary valueDeclares the branch, cut, starting sheet, path, and resulting discontinuityLoops, cuts, resonances, dispersionBranches, sheets, analytic continuation, and monodromy
Replace a massless-vector polarization by its momentum in a complete tree amplitudePredicts zero for a physical Ward check while recognizing that individual gauge-fixed graphs need not vanishGauge and on-shell routesMassive and massless spin-one polarizations and the Faddeev–Popov construction
State what a Monte Carlo standard error does and does not establishSeparates estimator variance from bias, truncation, model, and perturbative uncertaintyPrecision integration and validationProbabilistic convergence and limit theorems
  1. Perturbative Expansion and Feynman Rules. Converts a declared action and state prescription into Dyson/Wick expansions, graph weights, momentum rules, signs, contact terms, and gauge-fixed checks. Enter with free fields and Wick factorization; leave able to reproduce the complete rule set rather than guess vertices from memory.
  2. Asymptotic States, LSZ, and Scattering Observables. Makes state normalization, isolated poles, residues, wave packets, external spin/polarization data, invariant phase space, and rates explicit. Its stopping boundary is ordinary stable-particle scattering: resonances, infraparticles, confinement, and unsuitable asymptotics remain failures, not special external-line conventions.
  3. Tree Amplitudes and Gauge Consistency. Builds scalar, Yukawa, and vector amplitudes from connected amputated graphs and checks their channels, poles, residues, crossing, and Ward identities. The useful exit is a complete tree amplitude with independently verified normalization and factorization.
  4. S-Matrix Unitarity, Analyticity, and Resonances. Derives SS=1S^\dagger S=1, the optical theorem, and partial-wave constraints before introducing sheets, resonance poles, growth assumptions, and Regge regimes. It states physical assumptions and hands theorem-level existence and analytic domains to rigorous treatments. A modern physics-first development of these connections appears in Mizera 2024, §§ 1–6.
  5. On-Shell Construction. Uses little-group covariance, spinor-helicity variables, complex factorization, three-point seeds, recursion, color decomposition, and soft limits to construct amplitudes. Every result carries the selected shift, large-complex-momentum behavior, dimension, mass, and boundary terms; Elvang and Huang 2015, chs. 2–5 and 8, open prepublication version supplies a broad bridge from standard QFT to these tools.
  6. Loop Integrals and Reduction. Defines measures, routings, numerators, prescriptions, regulators, singular regions, and branches before parameterization, tensor/IBP reduction, master differential equations, or numerical evaluation. Regularization is not renormalization, and agreement between two representations requires stated precision and branch checks. Weinzierl 2022, chs. 2–7 develops the integral representations and reduction methods used here.
  7. Singularities, Cuts, and Integrand Reconstruction. Separates Landau pinch candidates, physical Cutkosky discontinuities, generalized on-shell cuts, integrand reduction, and leading singularities. The chapter’s central diagnostic is to state exactly which object and which information a cut constrains—and which rational, dimension-dependent, contour, or integrand ambiguity remains.
  8. Dispersion, Positivity, and UV Constraints. Derives subtracted dispersion relations and conditional positivity statements from explicit analytic, growth, crossing, unitarity, gap, pole-subtraction, and infrared hypotheses. A positivity violation can reject that complete assumption set; it does not by itself identify which hypothesis or construct a UV completion.
  9. Infrared Structure and Factorization. Locates soft and collinear regions, derives universal limits, and distinguishes inclusive cancellation, eikonalization, factorization, resummation, rapidity/Glauber obstructions, and dressed-state organizations. Finding regions is not a proof of factorization, and no cancellation theorem makes an arbitrary exclusive quantity finite.
  10. Infrared-Safe and Precision Observables. Begins with a measurement function, tests soft/collinear limits, and then treats subtraction, phase-space integration, perturbative organization, matching, jets, resonance approximations, and uncertainty. Its end product is a reproducible prediction record, not a central value with scale variation relabeled as a confidence interval.
  11. Structures and Frontiers in Amplitudes. Gives bounded entries to color–kinematics duality, double copy, positive geometry, celestial transforms, amplitude bootstrap, and function-space patterns. Each dossier distinguishes theorem, construction, verified example, observed pattern, conjecture, obstruction, and open extension; a broad review of the first two subjects is Bern et al. 2024, §§ 2–7.

Six calculations to carry through the volume

Section titled “Six calculations to carry through the volume”

The most efficient way to preserve conventions is to keep one physical object fixed while adding new layers. Each thread below ends when its scientific job is complete rather than forcing the example through unrelated chapters.

ThreadOrdered layersInvariant checks that must survive
Scalar interaction to a rateDyson/Wick expansion → symmetry factor → momentum rule → scalar LSZ → two-body phase space → contact/exchange tree → cross section → optical theoremDimensions, ii factors, pole residue, identical-particle factor, threshold, forward discontinuity
Gauge amplitude to an IRC-safe measurementGauge fixing and ghosts → external polarizations → complete Ward check → color decomposition → soft/collinear limits → KLN sum → measurement → subtraction and uncertaintyReference-vector independence, physical-state sum, color normalization, unresolved-emission limit, regulator cancellation
One loop family across representationsLoop definition → parameters and d=42ϵd=4-2\epsilon → scalar family → reduction → differential equation → branch continuation → Landau/cut analysis → numerical benchmarkMass dimension, UV/IR label, boundary value, discontinuity sign, precision and residual
Resonance without an external-particle fictionPartial wave → threshold sheets → pole and residue → line shape → narrow-width check → process handoffSheet connectivity, pole stability under parametrization, threshold behavior, gauge consistency, approximation error
Conditional positivity statementAnalytic domain and growth → subtractions → optical discontinuity → forward moment → positivity → massless/loop caveats → EFT interpretationContour orientation, pole subtraction, convergence, sign of the physical state sum, infrared regulator dependence
On-shell construction to a structural dossierLittle-group weights → three-point seeds → complex factorization → recursion → generalized cuts → selected frontier structureHelicity weight, physical residues, large-shift boundary, cut completeness, exact theory/kinematic/evidence domain

The site-wide baseline is the mostly-minus metric, eiSe^{iS}, and Fourier transform f~(p)=ddxe+ipxf(x)\widetilde f(p)=\int \mathrm d^d x\,e^{+ip\cdot x}f(x). Scattering pages add local information only when it affects a result. In particular:

  • all external momenta are stated as physically incoming/outgoing or algebraically all-incoming before Mandelstam variables or crossing are used;
  • one-particle normalization and completeness, S=1+iTS=1+iT, the momentum-conserving delta function, and the definition of the stripped M\mathcal M appear before rates or unitarity sums;
  • the spinor-product, little-group, polarization-reference, generator-trace, and color-ordering conventions appear before an on-shell or gauge amplitude;
  • every loop states its integration measure, μ\mu insertion, d=42ϵd=4-2\epsilon convention, +i0+i0, master basis, and whether an ϵ\epsilon pole is ultraviolet or infrared;
  • every analytic continuation names the initial boundary value, sheet, branch cut, contour orientation, and discontinuity convention; and
  • every factorized or numerical prediction names its momentum scaling, regulator, overlap subtraction, factorization scale, convolution, seed policy, precision, stopping rule, and benchmark.

Invariant tests carry formulas between sources: a physical pole and residue, a Ward identity, an optical discontinuity, a threshold limit, a positive state sum, or an infrared-safe measured rate must agree after translation. Matching symbols without one of these checks is not a convention conversion.

InterfaceWhat arrives hereWhat leaves this volume
Mathematical MethodsDistributions, residues, analytic continuation, spinor algebra, asymptotics, probability, and numerical errorTheir first substantial amplitude, cut, phase-space, or estimator applications
FoundationsFree fields, propagators, Fock states, one-particle poles, Wick’s theorem, local operators, and physical unitarityComplete interacting expansion, stable-particle LSZ, amplitudes, and rates
Symmetry and Gauge StructureGauge fixing, ghosts, BRST/Slavnov structure, Wilson operators, and asymptotic-symmetry grammarGauge-amplitude rules, Ward checks, eikonal factors, and soft limits
Renormalization and Effective Field TheoryCounterterms, schemes, running, matching, operator mixing, EFT power counting, and factorization RGRegulated amplitudes, UV/IR classification, regions, and measured factorized observables
Gauge Theories and the Standard ModelModel field content and phenomenological questionsGeneric amplitude, infrared, and precision tools with declared conventions
Nonperturbative Dynamics and Lattice and Hamiltonian QFTNonperturbative states, finite-volume spectra, and strong-coupling methodsInfinite-volume amplitude and analytic conventions, with no claim of nonperturbative completeness
Conformal Field Theory and BootstrapCorrelator crossing and OPE data as distinct objectsS-matrix crossing and amplitude bootstrap; the two meanings of “crossing” are not synonyms
Supersymmetry and DualityOn-shell supermultiplets, Ward constraints, shortening, and protected dataAmplitude construction and dynamics using those representation inputs
Thermal and Nonequilibrium QFT and QFT in Curved SpacetimeMedium, contour, and background-dependent state questionsVacuum scattering conventions plus an explicit diagnosis of when in/out assumptions fail
Mathematical QFTExact hypotheses and rigorous constructionsPhysical perturbative statements and clearly named theorem obligations

After the conventional core, you should be able to derive rule factors and signs from an action, reduce stable-state correlators to amplitudes, normalize phase space and rates, and check a scalar, fermion, or vector tree calculation by poles, crossing, and a physical Ward or unitarity identity. After the loop and analytic routes, you should be able to distinguish singularity candidates from physical discontinuities, reduce a representative loop family, maintain sheet information, and derive a dispersive statement whose hypotheses are inspectable. After the infrared and precision routes, you should be able to specify the measurement first, demonstrate unresolved-limit safety and real–virtual cancellation, validate numerical integration and matching, and separate perturbative, parametric, numerical, and model uncertainties.

The most consequential warning is simple: a finite, gauge-checked amplitude is still not necessarily an observable. Stable asymptotic states, a physical state sum, an inclusive or infrared-safe measurement, and a validated numerical or analytic evaluation remain independent obligations.

  • Bern, Zvi, John Joseph Carrasco, Marco Chiodaroli, Henrik Johansson, and Radu Roiban. “The Duality Between Color and Kinematics and Its Applications.” Journal of Physics A: Mathematical and Theoretical 57, no. 33 (2024): 333002. DOI. Open preprint.
  • Elvang, Henriette, and Yu-tin Huang. Scattering Amplitudes in Gauge Theory and Gravity. Cambridge: Cambridge University Press, 2015. DOI. Open prepublication version.
  • Mizera, Sebastian. “Physics of the Analytic S-Matrix.” Physics Reports 1047 (2024): 1–92. DOI. Open PDF.
  • Schwartz, Matthew D. Quantum Field Theory and the Standard Model. Cambridge: Cambridge University Press, 2014. DOI.
  • Weinzierl, Stefan. Feynman Integrals: A Comprehensive Treatment for Students and Researchers. Cham: Springer, 2022. DOI. Open prepublication version.