Pith. Sign in

REVIEW

AdS/CFT 4-point functions: How to succeed at z-integrals without really trying

High Energy Physics - Theory · Submitted 6 May 1999 · 19 references

Pith's verdict: A genuinely useful computational trick, cleanly executed for scalars and gravitons, with the vector uniqueness step and the n-point section left thinner than the rest.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 3 major objections · 8 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/9905049 (version 1)
Pith ID6UKA2E3S, Pith's permanent record of this paper and its review
CitationDaniel Z. Freedman, Eric D'Hoker, Leonardo Rastelli. "AdS/CFT 4-point functions: How to succeed at z-integrals without really trying." arXiv:hep-th/9905049 (1999). https://pith.science/paper/6UKA2E3S
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report
The paper

The paper claims

A single differential equation replaces the hard half of every AdS exchange diagram, and for the supergravity couplings the answer is a finite polynomial.

The reading

Computing a four-point function in the AdS/CFT correspondence from an exchange graph requires two integrals over the bulk Anti-de Sitter space. The paper's target is the first of these, the $z$-integral, which previously had to be done by expanding the bulk-to-bulk propagator in a hypergeometric series, integrating term by term with Feynman parameters, and then recognising and resumming the resulting series. The authors show that this integral, as a function of the remaining bulk point $w$, is fixed by an inhomogeneous second-order ordinary differential equation in the variable $t = w_0^2/w^2$, and that a particular solution with the right behaviour at $t=0$ and $t=1$ can be built by a downward recursion on the coefficients of a power series in $t$. What makes this useful rather than merely tidier is that for the trilinear couplings that actually occur in the $AdS_5$ times $S^5$ compactification of Type IIB supergravity, the recursion terminates: the $z$-integral becomes a finite polynomial, and the whole exchange graph collapses into a finite sum of ordinary quartic scalar graphs whose asymptotics were already known.

What carries the argument

The carrier of the argument is the conversion of a bulk integral into an ODE by hitting it with the propagator's own wave operator. Because the bulk-to-bulk propagator satisfies $(-2k + m^2)G = 2k(z,w)$, applying that operator to $I(w) = 2k G(u) K(z,x_1) K(z,x_3)$ replaces the propagator by a delta function and leaves the product of the two bulk-to-boundary propagators as an explicit source. Scale and Poincar'e invariance fix the ansatz $I(w) = w_0^{2k} f(t)$ with $t = w_0^2/w^2$, so the integral is captured by one scalar function of one variable. The boundary conditions that single out the physical solution are regularity at $t=1$ (the bulk point is not at the boundary) and the power-law falloff $f(t) 2k t^{(2k-2k)/2}$ as $t 2k 0$, which follows from the small-$w_0$ behaviour of the propagator. For the scalar case the authors prove uniqueness by exhibiting the two homogeneous solutions and showing that one is singular at $t=1$ while the other has the wrong small-$t$ power. For vectors the same reduction is applied to $I_2k(w) = 2k w_2k/w^2 f(t)$, with a divergence argument used first to eliminate the second allowed tensor structure; for gravitons the ansatz carries $g_{2k2k} h(t)$ and $2k_{2k0}2k_{2k0} w_0^2 2k(t)$, and compatibility of the overdetermined system of four tensor equations reduces to a single first-order equation for $2k(t)$.

Extended reading notes

Core claim

The central claim is that the $z$-integral of an exchange diagram obeys a simple inhomogeneous differential equation that can be solved recursively, without ever writing down the bulk-to-bulk propagator in closed form. Applying the bulk wave operator to the integral and using the propagator's defining equation turns the problem into an ODE: for scalar exchange, $4t^2(t-1)f'' + 4t[(1+2k)t - 2k + d/2 - 1]f' + [2k(d-2k) + m^2]f = t^{2k}$-type equations with $k = (2k)/(2)$, and analogous equations for vector and graviton exchange. The authors set $f(t) = 2k t^k$ and run the recursion downward from a top coefficient, finding that the series terminates at a positive lower power precisely when the dimensions satisfy a condition: for scalars, that $2k$ be a positive even integer, and for vectors and gravitons, that a corresponding difference of dimensions be a non-negative integer. The authors then observe that these conditions are met for every trilinear coupling appearing in the $AdS_5$ times $S^5$ supergravity, which they attribute to $SU(4)$ selection rules and the standard triangle inequality. The consequence is the headline result: exchange diagrams in that theory reduce to a finite sum of graphs with quartic scalar vertices. The method reproduces earlier scalar, massless gauge boson and graviton results, gives new results for massive vector exchange, and extends to $n$-point scalar diagrams, where the source is Feynman-parametrised and the same recursion yields a closed-form coefficient $C_2k(2k)$.

Load-bearing premise

The load-bearing premise is that the terminating power series produced by the downward recursion is the unique solution with the required behaviour at $t=0$ and $t=1$; the authors prove this explicitly for scalar exchange by exhibiting the two homogeneous solutions, but for vector exchange they assert it by analogy with the scalar case rather than demonstrating it.

Editorial extensions

If this is right

  • Every previously published scalar, massless gauge boson and graviton exchange four-point amplitude in the AdS/CFT correspondence is recovered by a uniform short computation, with the bulk-to-bulk propagator never needed explicitly.
  • New massive vector exchange amplitudes follow, with the allowed Kaluza-Klein masses $m^2 = (\ell-1)(\ell+1)$ of the $AdS_5 \times S^5$ spectrum, and the terminating condition forces $\ell$ odd, matching the $SU(4)$ quadrality selection rule.
  • The exchange graph in the supergravity theory is exactly a finite sum of quartic scalar contact graphs, so its conformal-block asymptotics can be read off from already-derived quartic-graph expansions rather than computed afresh.
  • The same recursion handles $n$-point scalar diagrams with $n > 4$, giving a closed-form coefficient $C_\ell(\mu)$ in a finite sum of powers of $w_0/(w^2+\mu^2)$, which is what higher-order $1/N$ corrections require.
  • The method is stated to be general in $d$ and in the scaling dimensions, so it should apply beyond the specific $d=4$, $\mathcal{N}=4$ case that motivates the paper.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the terminating condition is really a consequence of $SU(4)$ selection rules rather than a coincidence of the cases checked, then the same collapse should occur in other supergravity compactifications with enough R-symmetry, which would give a cheap diagnostic for which holographic theories have polynomial exchange amplitudes.
  • The fact that generic couplings give an infinite series while supergravity couplings give a finite sum suggests the termination is a representation-theoretic statement about which conformal partial waves can appear in a three-point coupling, not merely an algebraic accident of the recursion.
  • Because the reduced answer is a finite sum of quartic graphs, numerical evaluation of exchange contributions to four-point functions in $\mathcal{N}=4$ super Yang-Mills at strong coupling becomes a sum of already-tabulated integrals, which lowers the cost of comparing strong-coupling predictions with weak-coupling perturbation theory.
  • The paper explicitly leaves the $d=2$ massless vector and graviton cases aside, where the recursion coefficient diverges and a logarithm appears; those cases are where a two-dimensional dual CFT would test the method most sharply.
Original abstract

A new method is discussed which vastly simplifies one of the two integrals over AdS(d+1) required to compute exchange graphs for 4-point functions of scalars in the AdS/CFT correspondence. The explicit form of the bulk-to-bulk propagator is not required. Previous results for scalar, gauge boson and graviton exchange are reproduced, and new results are given for massive vectors. It is found that precisely for the cases that occur in the AdS(5) X S(5) compactification of Type IIB supergravity, the exchange diagrams reduce to a finite sum of graphs with quartic scalar vertices. The analogous integrals in n-point scalar diagrams for n>4 are also evaluated.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 4,271 input tokens, $0.0002 reported.

What the abstract itself states, as probabilities: claims first 0.07 · states limitation 0.16 · human participants 0.01 · controlled comparison 0.02 · randomized assignment 0.01 · states quantitative result 0.09 · compares with prior results 0.93 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

A new method is discussed which vastly simplifies one of the two integrals over AdS(d+1) required to compute exchange graphs for 4-point functions of scalars in the AdS/CFT correspondence. The explicit form of the bulk-to-bulk propagator is not required. Previous results for scalar, gauge boson and graviton exchange are reproduced, and new results are given for massive vectors. It is found that precisely for the cases that occur in the AdS(5) X S(5) compactification of Type IIB supergravity, the exchange diagrams reduce to a finite sum of graphs with quartic scalar vertices. The analogous integrals in n-point scalar diagrams for n>4 are also evaluated.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 A new method is discussed which vastly simplifies one of the two integrals over AdS(d+1) required to compute exchange graphs for 4-point functions of scalars in the AdS/CFT correspondence. contribution 0.92 0.85 0.47 asserted 1.00
s1 The explicit form of the bulk-to-bulk propagator is not required. method 0.64 0.67 0.08 asserted 1.00
s2 Previous results for scalar, gauge boson and graviton exchange are reproduced, and new results are given for massive vectors. result 0.74 0.88 0.12 asserted 1.00
s3 It is found that precisely for the cases that occur in the AdS(5) X S(5) compactification of Type IIB supergravity, the exchange diagrams reduce to a finite sum of graphs with quartic scalar vertices. result 0.99 0.92 0.37 asserted 1.00
s4 The analogous integrals in n-point scalar diagrams for n>4 are also evaluated. contribution 0.66 0.91 0.07 asserted 0.99

What kind of paper the classifier reports this is: method or tool 0.99 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. A general t–channel exchange diagram. 2 Scalar exchange As in most past work, we calculate on the Euclidean continuation of AdSd+1, which is modelled as the upper half space zµ ∈ Rd+1, with z0 > 0, and metric gµν of constant negative curvature R = −d(d + 1), given by ds2 = X d µ,ν=0 gµνdzµdzν = 1 z 2 0 (dz2 0 + X d i=1 dz2 i ). (2.1) The Christoffel symbols are Γ κ µν = 1 z0 (δ κ 0 δµν − δµ0δ κ ν − δν0δ κ µ ). (2.2) It is well-known that AdS–invariant functions, such as scalar propagators, are simply expressed [13] as functions of the chordal distance u,

Figures reproduced from arXiv:hep-th/9905049 by the authors.

References
How later papers used it

86 later papers cite it

Evidence: substantial. 84 of the citing papers share no author with it, and 28 of those carry a confident label from Pith's citation classifier.

Pith read 29 of the 143 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Builds on it 2 of 3 papers with this label
Uses its method or tool 7 of 26 papers with this label
  • Used this paper's result to find that the cubic integral involving a graviton field reduces to a sum of contact vertices.

    $20'$ Five-Point Function from $AdS_5\times S^5$ Supergravity (2019) · 0.80 · paraphrased: the licence does not allow quoting

  • Following this paper, wrote down the expression for the diagram in d=4.

    Shockwaves from the Operator Product Expansion (2017) · 0.81 · paraphrased: the licence does not allow quoting

  • Following this paper, performed a translation followed by a conformal inversion in the three-point integral.

    Recursion Relations in Witten Diagrams and Conformal Partial Waves (2018) · 0.99 · paraphrased: the licence does not allow quoting

  • From those without derivatives we have [equation] The quartic vertex with derivatives gives [equation] which, using the identity [ref] in the appendix [ref], becomes [equation] The exchange diagrams are [equation] These exchange diagrams can be related to simpler contact integrals through a differential operator [ref] (see [ref] for recent reviews) : [equation] where $C_(2)^ij$ is the quadratic Casimir acting on the two boundary points $i$ and $j$.

    Bootstrapping line defects in AdS$_3$/CFT$_2$ (2024) · Correlators from fluctuations $ϕ_tr$ · 0.98

  • Using the results is [ref] for a scalar exchange we write (X, P_1, P_2) =⟨Φ(P_1) ϵ(X) Φ^*(P_2) ⟩∝1/(-2P_1·P_2)^Δf_ϵ( -P_1·P_2/2 X ·P_1 X ·P_2) , [] with f_ϵ(t) =Γ(Δ_ϵ-3/2+Δ)Γ(Δ-Δ_ϵ/2)/4Γ(Δ)^2[t^Δ_ϵ/2Γ(Δ_ϵ/2)^2_2F̃_1(Δ_ϵ/2,Δ_ϵ/2,Δ_ϵ-1/2,t) -t^ΔΓ(Δ)^2_3F̃_2 ( [ 1, Δ, Δ; Δ-Δ_ϵ/2+1, Δ+Δ_ϵ-1/2 ] ; t )] , [] where we have defined the regularized Hypergeometric function _pF̃_q ( [ a_1, ⋯, a_p; b_1, ⋯, b_q; ] ; t ) ≡1/Γ(b_1)⋯Γ(b_q)_pF_q ( [ a_1, ⋯, a_p; b_1, ⋯, b_q; ] ; t ) .

    Holography and Regge Phases with $U(1)$ Charge (2024) · Quantitative Analysis at $Q=2, 3,4$ · 0.95

  • Used the formulae in this paper to get its result.

    How to Succeed at Witten Diagram Recursions without Really Trying (2020) · 0.87 · paraphrased: the licence does not allow quoting

  • Expressed exchange and contact Witten diagrams in terms of D-functions using this paper's method.

    One-loop Gluon Amplitudes in AdS (2021) · 1.00 · paraphrased: the licence does not allow quoting

How the literature uses it

80 arXiv papers cite this in 135 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 64 sentences without a confident label

Contests it 1 paper
Builds on it 3 papers
Uses its method or tool 25 papers
  • Let $Δ_1=Δ_2=Δ_ext$, the cubic integral is [equation] Using the result of [ref] , we find that this integral reduces to the following sum of contact vertices [equation] where [equation]

    $20'$ Five-Point Function from $AdS_5\times S^5$ Supergravity · Graviton exchange · 0.80

  • Following the technique of Refs. [ref] , we isolate the part of BasicDiag which depends on $P_1,P_2$ and $P_3$: Fdef F_Δ_L,Δ_C,Δ_R (P_1,P_2,P_3,Z^') ≡∫_Z∈γ_12 K̂_Δ_1(P_1,Z) K̂_Δ_2(P_2,Z) K̂_Δ_L(P_3,Z) (ξ(Z,Z^') 2)^Δ_C K̂_Δ_R(P_3,Z^') , and use its invariance under simultaneous $SO(n+1,1)$ rotations of $P_1,P_2,P_3$ and $Z^'$ to conclude Finvariance ( L^(1)_AB + L^(2)_AB+ L^(3)_AB ) F_Δ_L,Δ_C,Δ_R(P_1,P_2,P_3,Z^') = -L^(Z^')_AB F_Δ_L,Δ_C,Δ_R(P_1,P_2,P_3,Z^') , which immediately leads to FCasimir ( L^(1) + L^(2) + L^(3) )^2 F_Δ_L,Δ_C,Δ_R(P_1,P_2,P_3,Z^') = ( L^(Z^') )^2 F_Δ_L,Δ_C,Δ_R(P_1,P_2,P_3,Z^') .

    Holographic dual of the five-point conformal block · Proof by conformal Casimir equation · 0.95

  • This is in contrast to the connected tree-diagram given in Fig. [ref]b, which can be reduced to a finite sum of contact diagrams following the method of [ref] .

    Holographic correlators with multi-particle states · Correlators with multi-trace operators: the setup · 0.94

Compares with it 3 papers
  • The extra factor of $i$ arises due to Wick rotation and the extra factor of $(-1)$ is due to the different convention for the Green function (compare [ref] and (2.7) of [ref] ) ] [equation] In the limit $χ_12 →∞$, corresponding to the flat limit (see below [ref]), the bulk-to-bulk propagator behaves as [equation] We identified the chordal distance [ref] in the last equality.

    Carrollian Amplitudes from Holographic Correlators · Bulk-to-bulk propagator · 0.86

  • This result is in perfect agreement with what was found by D'Hoker, Freedman and Rastelli in [ref] and also independently by Dolan and Osborn in [ref] .

    Quantum Scalar Theories in the AdS/CFT Correspondence · 4-Point Function · 1.00

  • It would also be interesting to contrast this with the analysis of four-point in [ref] .

    Revisiting Extremal Couplings in AdS/CFT · Summary and Discussion · 0.80

Cites it as background 24 papers
  • The $1/N$ expansion of the CFT correlators maps onto the perturbative expansion of the AdS QFT amplitudes [ref] ,

    Dressing in AdS and a Conformal Bethe-Salpeter Equation · Introduction · 0.95

  • For example, the propagator for $ϕ$ is [equation] The solution $G_Δ$ is called bulk-to-bulk propagator, and it can be obtained in closed form [ref] [equation] Similarly, the propagator for $ϕ$ is called brane-to-brane propagator.

    The Witten Diagram Bootstrap for Holographic Defects · Effective action and Witten diagrams · 0.81

  • Heavy scalar exchange contributions to CFT four-point functions have been studied using a variety of techniques (see e.g. [ref] ), but extracting information about anomalous dimensions has proven to be relatively difficult using the standard methods.

    Effective Conformal Theory and the Flat-Space Limit of AdS · Dimensional Analysis with $n$ · 0.96

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.