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
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
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
- 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.
The abstract, sentence by sentence
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
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| 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 was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Figures reproduced from arXiv:hep-th/9905049 by the authors.
References
How later papers used it
86 later papers cite it
9 later papers by other authors are listed below: 2 built on it and 7 used its method or tool.
Builds on it 2 of 3 papers with this label
-
Extended this paper's method to calculate the integral for general conformal dimensions.
Aspects of higher-point functions in BCFT$_d$ (2023) · 0.93 · paraphrased: the licence does not allow quoting
-
Generalized this paper's calculation of the vector z-integral to include the case when the vector field couples to scalar fields of different mass.
Four-point functions of different-weight operators in the AdS/CFT correspondence (2007) · 1.00 · paraphrased: the licence does not allow quoting
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
Papers citing it · 64 sentences without a confident label
Contests it 1 paper
-
The standard method of [ref] is not applicable for these diagrams.[If one naively applies the method of [ref] , one finds the answer is divergent.
$\mathbf{AdS_3\times S^3}$ Tree-Level Correlators: Hidden Six-Dimensional Conformal Symmetry · The position space algorithm · contest 0.78
Builds on it 3 papers
-
In this appendix we extend the method of [ref] to higher-point Witten diagrams with more than one internal line, and evaluate the various diagrams that appear in Section [ref].
$20'$ Five-Point Function from $AdS_5\times S^5$ Supergravity · Integrating out an internal line · 1.00
-
Here we extend the computation in [ref] using the method of [ref] for the massive symmetric tensor $z$-integral when the tensor field is coupled to scalar fields of different mass.
Four-point functions of different-weight operators in the AdS/CFT correspondence · Symmetric Tensor Exchange · 0.99
-
In Section [ref] we defined the integral $A^μ(w,x_2,x_3)$ [equation] We extend the method of [ref] to calculate the integral for general conformal dimensions.
Aspects of higher-point functions in BCFT$_d$ · Integrated vertex identity for vector exchange · 0.93
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.