Exchange Witten Diagrams and Conformal Blocks

A bulk exchange diagram inserts a bulk-to-bulk propagator between two AdS vertices. Its boundary OPE contains the conformal family of the exchanged single-trace operator and towers of double-trace operators generated by the external pairs. It is therefore not one conformal block, and local contact terms remain an independent ambiguity.

Required background. AdS propagators supplies the internal Green function. Blocks and Casimir equations supplies the boundary decomposition.

Helpful background. Conformal OPE data supplies the spectral interpretation.

Scalar exchange in one channel

For cubic couplings $g_{12\chi}\phi_1\phi_2\chi$ and $g_{34\chi}\phi_3\phi_4\chi$, the $s$-channel diagram is

$$\mathcal W_s=g_{12\chi}g_{34\chi} \int dX\sqrt g\,dY\sqrt g\, K_1(X)K_2(X)G_{\Delta_\chi}(X,Y)K_3(Y)K_4(Y).$$

Acting with the boundary-channel conformal Casimir is equivalent to acting with the AdS Laplacian on the internal line. The Green equation collapses one integration and gives an inhomogeneous contact diagram. The homogeneous solution carries the single-trace block of dimension $\Delta_\chi$ and spin zero; the particular solution supplies the double-trace towers. This equation-of-motion method makes the distinction structural Liu 1999.

Boundary conditions select the physical solution. Adding a local quartic interaction changes only contact data, so a pole residue can fix a cubic coupling while polynomial pieces remain undetermined. Crossing of the full four-point function generally requires exchange in several channels plus contact terms.

First application: single trace plus double trace

In the $12\to34$ OPE, write schematically

$$\mathcal W_s=a_\chi G_{\Delta_\chi,0}(u,v) +\sum_{n,\ell}a_{n,\ell}G_{\Delta_1+\Delta_2+2n+\ell,\ell}(u,v).$$

The first coefficient factorizes as $a_\chi\propto C_{12\chi}C_{34\chi}$. The second line is not optional: the AdS integral has boundary short-distance regions that generate two-particle states. At perturbative order their dimensions and coefficients receive shifts, producing OPE logarithms. Explicit exchange calculations verify both the factorized single-trace residue and the required tower D’Hoker et al. 1999.

Adversarial control: replace the diagram by one block

Keep only $G_{\Delta_\chi,0}$. It has the desired single-trace singularity in one channel but generically violates the crossing and double-discontinuity structure of the full correlator. Its crossed-channel expansion lacks precisely the double-trace data generated by the AdS integration. Adding an arbitrary block by hand also leaves the bulk boundary condition and contact ambiguity unspecified.

The evidence ceiling is a tree-level correlator contribution at a fixed bulk order. Its poles and residues identify candidate exchanged states, but finite correlator data do not determine a unique off-shell action. Spinning diagrams extend the construction to gauge fields and tensor structures.

The chapter overview contains the structure diagram and validity and failure diagram. They are embedded there once so that their shared chapter-level context is not repeated on every article.

For the chapter-wide comparison of assumptions, counterevidence, falsifiers, and claim ceilings, see the claim-domain table.

References

• D’Hoker, E., Freedman, D. Z., Mathur, S. D., Matusis, A., and Rastelli, L. (1999), “Graviton Exchange and Complete Four-Point Functions in the AdS/CFT Correspondence,” Nuclear Physics B 562, 353–394. arXiv:hep-th/9903196.
• Liu, H. (1999), “Scattering in Anti-de Sitter Space and Operator Product Expansion,” Physical Review D 60, 106005. arXiv:hep-th/9811152.
• Witten, E. (1998), “Anti-de Sitter Space and Holography,” Advances in Theoretical and Mathematical Physics 2, 253–291. arXiv:hep-th/9802150.