Witten Diagrams and AdS Perturbation Theory

This chapter develops Witten diagrams as perturbative contributions to boundary correlators in a fixed asymptotically AdS theory. Every calculation specifies the AdS measure, propagator normalization, boundary condition, operator ordering, interaction vertex, regulator, and counterterm convention. The output is a CFT correlator contribution; it becomes a flat-space amplitude only after the additional scaling and wavepacket limits of the next chapter.

Enter this chapter

Helpful background. Power counting of divergences supplies loop degree estimates. S-matrix unitarity supplies the flat-space comparison without identifying the two settings. The GKPW generating functional and scalar holographic counterterms supply the source prescription and renormalized action.

Proceed in this order:

1. Bulk-to-Boundary and Bulk-to-Bulk Propagators fixes Green functions, boundary falloffs, and contours.
2. Contact Witten Diagrams turns local bulk vertices into conformal integrals.
3. Exchange Witten Diagrams and Conformal Blocks separates single-trace exchange from the accompanying double-trace tower.
4. Spinning and Tensor Witten Diagrams enforces gauge constraints and projects onto boundary tensor structures.
5. Lorentzian Witten Diagrams and Real-Time Orderings assigns contours and causal prescriptions.
6. AdS Integrals and D-Functions reduces recurring scalar integrals to a convention-fixed basis.
7. AdS Unitarity Cuts and Cutting Rules relates discontinuities to intermediate AdS states.
8. Loop Witten Diagrams and Bulk EFT Renormalization treats subdivergences, local counterterms, and EFT errors.
9. Loop Integral Bases and Multi-Trace Mixing resolves spectral degeneracies before extracting anomalous dimensions.
10. Bulk Field Redefinitions and Contact Ambiguities identifies invariant correlator data.
11. Diagram Normalization and Reproducibility Benchmarks closes the calculation with independent fixtures.

Preparation and calculation record

Begin from a renormalized bulk action and declare whether the calculation is Euclidean, in-in, time ordered, Wightman, or retarded. For each field record $m^2L^2$, the quantization choice, the coefficient of its two-point function, and the normalization of the bulk delta function. At loop level add the regulator, local operator basis, subtraction scheme, and large-$N$ order. A diagram without these data is not reproducible.

Witten’s source prescription and the subsequent normalized correlation-function calculations establish the basic calculus Witten 1998, Freedman et al. 1999. The integral technology and supergravity examples are reviewed by D’Hoker and Freedman 2002. The method is an expansion about a chosen AdS saddle. Weak bulk coupling, small $\alpha'/L^2$, a controlled KK truncation, and finite-$N$ errors remain separate assumptions.

Synthesis: what a diagram establishes

A contact diagram tests a local vertex in a chosen field basis. An exchange diagram contains the exchanged single-trace family plus double-trace data required by AdS boundary conditions; it is not a lone conformal block. Lorentzian cuts test boundary unitarity and factorization in an AdS spectral basis, not the existence of an asymptotic flat-space S-matrix. Loop counterterms determine scheme-independent nonlocal data only after local contact freedom is separated.

These statements form one consistency chain: normalized propagators determine residues; residues and contact terms determine crossing data; Lorentzian continuation determines discontinuities; local counterterms remove regulator dependence; field redefinitions leave separated-point observables invariant. A failure at an early link cannot be repaired by tuning a later final number.

Review the chapter

A satisfactory answer should be able to:

1. derive the normalized scalar bulk-to-boundary kernel and state its allowed quantizations;
2. write a $\phi^4$ contact integral and factor its conformal kinematics;
3. explain why exchange produces both single- and double-trace blocks;
4. verify a spinning Ward identity with a pure-gauge polarization;
5. distinguish Feynman, retarded, and Wightman bulk propagators;
6. normalize a barred $D$-function and test an OPE logarithm;
7. state the AdS spectral measure in a cut;
8. separate a loop logarithm from local counterterm freedom; and
9. show explicitly how a field redefinition reshuffles exchange and contact terms.

The answer is incomplete if it calls a Witten diagram an S-matrix element, infers a unique bulk Lagrangian from one correlator, or reports a loop result without its subtraction and mixing conventions.

Exits

Continue to AdS Scattering, Mellin Methods, and Bulk Locality for Mellin poles, Regge limits, flat-space extraction, and locality diagnostics. Return to Holographic Renormalization when a boundary divergence or finite contact term has not yet been fixed.

Chapter-scale structure and validity checks

The chapter-scale structure map locates this page’s result inside the full reasoning chain. Follow the solid arrows through the declared inputs and checks; the dashed final arrow marks the point where an additional inference would be required.

A Witten diagram is an AdS perturbative contribution whose normalization, boundary conditions, contact terms, and loop counterterms remain explicit. The diagram is an original schematic, is not to scale, and uses the dashed final arrow to mark the claim boundary.

Accessible figure data (JSON)

The companion validity map turns three common overclaims into explicit failure tests. Read each row from its declared object to the diagnostic, then compare the licensed conclusion with the dashed “not” endpoint.

A Witten diagram is an AdS perturbative contribution whose normalization, boundary conditions, contact terms, and loop counterterms remain explicit. Each row pairs a diagnostic with the strongest supported conclusion and an explicitly unsupported promotion. The diagram is an original schematic and is not to scale.

Accessible figure data (JSON)

Claim-domain comparison

The table below gives a screen-reader-friendly comparison of three representative claims. It keeps the required declaration, approximation status, evidence timing, counterevidence, falsifier, failure condition, and licensed conclusion in one reading order.

Representative claim domains and validity boundaries for Witten Diagrams and AdS Perturbation Theory

Claim object	State, ensemble, and conventions	Approximation, status, and evidence timing	Uncertainty and counterevidence	Falsifier	Failure condition	Licensed conclusion
contact diagram	Declare vertex, measure, and source normalization; use the volume conventions unless the page states a local replacement.	Model-specific calculation or conditional result. Control chain: boundary sources and bulk action → propagators and vertices → AdS diagram integral → OPE and analytic checks → perturbative boundary correlator. Sources are cited on the destination page; literature checked through 10 August 2026.	Track omitted corrections, alternate branches, and competing definitions. A failed “crossing and short-distance check” check is counterevidence to the promoted claim.	crossing and short-distance check	a unique bulk Lagrangian	a contact contribution to a correlator
exchange diagram	Declare field spectrum and propagator branch; use the volume conventions unless the page states a local replacement.	Model-specific calculation or conditional result. Control chain: boundary sources and bulk action → propagators and vertices → AdS diagram integral → OPE and analytic checks → perturbative boundary correlator. Sources are cited on the destination page; literature checked through 10 August 2026.	Track omitted corrections, alternate branches, and competing definitions. A failed “pole and conformal-block decomposition” check is counterevidence to the promoted claim.	pole and conformal-block decomposition	a flat-space amplitude	the stated exchange contribution
loop diagram	Declare regulator, counterterms, and contour; use the volume conventions unless the page states a local replacement.	Model-specific calculation or conditional result. Control chain: boundary sources and bulk action → propagators and vertices → AdS diagram integral → OPE and analytic checks → perturbative boundary correlator. Sources are cited on the destination page; literature checked through 10 August 2026.	Track omitted corrections, alternate branches, and competing definitions. A failed “unitarity cut and renormalization check” check is counterevidence to the promoted claim.	unitarity cut and renormalization check	an exact finite-N correlator	a fixed-order AdS correction

Download the structured table data (JSON).

References

• D’Hoker, E., and Freedman, D. Z. (2002), “Supersymmetric Gauge Theories and the AdS/CFT Correspondence,” in Strings, Branes and Extra Dimensions: TASI 2001. arXiv:hep-th/0201253.
• Freedman, D. Z., Mathur, S. D., Matusis, A., and Rastelli, L. (1999), “Correlation Functions in the CFT$_d$/AdS$_{d+1}$ Correspondence,” Nuclear Physics B 546, 96–118. arXiv:hep-th/9804058.
• Witten, E. (1998), “Anti-de Sitter Space and Holography,” Advances in Theoretical and Mathematical Physics 2, 253–291. arXiv:hep-th/9802150.