Loops in AdS: From the Spectral Representation to Position Space II

We continue the study of AdS loop amplitudes in the spectral representation and in position space. We compute the finite coupling 4-point function in position space for the large-$N$ conformal Gross Neveu model on $AdS_3$. The resummation of loop bubble diagrams gives a result proportional to a tree-level contact diagram. We show that certain families of fermionic Witten diagrams can be easily computed from their companion scalar diagrams. Thus, many of the results and identities of [1] are extended to the case of external fermions. We derive a spectral representation for ladder diagrams in AdS. Finally, we compute various bulk 2-point correlators, extending the results of [1].

1 Introduction Two very important problems in physics are: understanding quantum gravity and understanding strongly coupled (non-perturbative) quantum field theories.These two problems are beautifully connected to each other via the gauge-gravity duality, in which Anti-de Sitter (AdS) space plays a unique role.Therefore computing observables for quantum field theories defined on AdS space gives important insights about the two questions mentioned above.AdS space, being a maximally symmetric space-time, often enables to perform analytic computations of observables in the QFT on AdS.For a very partial list of references see [2][3][4][5][6][7][8][9][10][11][12][13].
In this work we continue the study of loop Witten diagrams initiated in [1], and extend those results in several directions.In section 2 we consider Witten diagrams with external fermions.Using an identity between bulk-to-boundary fermion and scalar propagators, we show that certain families of fermionic diagrams can be directly computed from similar diagrams with external scalars.In section 3 we compute the finite coupling 4-point function of the conformal large-N Gross-Neveu model on AdS 3 .The result of an infinite sum of loop bubble diagrams is extremely simple: it is proportional to a tree-level contact diagram 4-point function.In section 4 we consider scalar ladder diagrams in AdS with an arbitrary number of rungs.We derive a spectral representation for ladder diagrams in AdS.In section 5 we compute bulk-tobulk 2-point correlators in several cases: scalar sunset diagrams in AdS 3 , and bubble diagrams for scalars in AdS 5 and for fermions in AdS 3 .In Appendix A we show the details of the calculation of the spectral representation of the 1-loop box diagram.In Appendix B we speculate about an eigenvalue equation for ladder diagrams in AdS.In Appendix C we compute a 4-point correlator for the O(N ) model on AdS 5 .In Appendix D we discuss 4-point bubble diagrams for a scalar φ 4 theory on AdS 5 .In Appendix E we discuss 4-point bubble diagrams for a scalar φ 4 theory on AdS 2 .

Witten diagrams with external Fermions
In [1] we considered scalar Witten diagrams, and derived identities which enabled us to compute various families of loop diagrams in AdS.In the current section we consider Witten diagrams containing external fermions.We show that a class of fermionic diagrams is proportional to their scalar companion diagrams.

ψψ ψψ
Consider a (scalar) 2-point bulk correlator F (x 1 , x 2 ), which is represented by the black blob in Fig. 1-Left.We consider the correlator of 4 external fermions ψ with scaling dimensions (∆ 1 , ∆ 2 , ∆ 3 , ∆ 4 ), attached to the 2-point blob F (x 1 , x 2 ), see Fig. 1-Right.This 4-point function is: where P i are points on the boundary of AdS and S i is a spinor polarization variable.For further details see e.g.section 6 of [55].The fermionic bulk-to-boundary propagators K F ∆ are given by: where where x is a bulk point, P a boundary point, and ∆ is the scaling dimension of the fermion.Let us define: where Π ± are chiral projectors in embedding space.The diagram of Fig. 1-Right is given by: where the integrals d d+1 x 1 d d+1 x 2 are over the AdS d+1 space.Now we use the following identity 1 : 1 See [72], and also Eq. 6.19 of [55].where K F ∆ are fermionic bulk-to-boundary fermionic propagators, and K ∆ are scalar bulk-to-boundary propagators.This identity enables to write Eq. 2.6 in terms of scalar propagators: where we defined The second line contains a product of 4 scalar bulkto-boundary propagators with dimension δ i .Thus we showed that the fermionic diagram is equal, up to a factor, to the scalar diagram with shifted scaling dimensions

Example
Consider the contact tree-level diagram of 4-fermions with scaling dimensions ∆ i .Using Eq. 2.8 we see that this diagram is proportional to contact diagram of four scalar with scaling dimensions δ i = ∆ i + 1 2 .It is well known that the scalar contact diagram is computed via special functions called D functions, Thus: (2.9)

ψψφφ
Consider the 4-point correlator with 2 external scalars and 2 external fermions, connected to a general 2-point correlator, as in Fig. 2-Left.We have: where F (x 1 , x 2 ) is an arbitrary bulk-to-bulk 2-point function.Using the identity of Eq. 2.7 in Eq. 2.10, gives: which is a 4-point correlator with 4 external scalars.

More general fermionic correlators
Consider a Witten diagram with 2 external fermions attached to a single vertex, as in Fig. 2-Right.The rest of the diagram is completely arbitrary.Using the identity of Eq. 2.7 gives: where (. ..) represents the rest of the diagram, which is arbitrary.Using the identity of Eq. 2.7 gives Therefore a vertex containing 2 external fermions can be replaced with a vertex containing 2 external scalars, and the rest of the diagram stays the same.As a result, many of the identities derived in [1] for external scalars, can be applied to diagrams with external fermions.

Spectral representation
In this section we recall the spectral representation of the 4-point correlator of 4 fermions, attached to a 2-point function in the bulk as in Fig. 1-Right.We denote this correlator by g F 4 (z, z), and define the stripped fermionic correlator g 4 (z, z) as follows: where we defined the prefactor 2 : (2.15) 2 See Eqs.C.10-C.11 of [1].where c is a numerical factor which will be unimportant for us.In Eq. 2.8 the fermionic diagram was directly related to that of 4 scalars.Now one can write the spectral representation of this (see Eq. 6.20 of [55].).The integrand in Eq. 2.8 contains the bulk 2-point function F (x 1 , x 2 ), which has a spectral representation: where the AdS harmonic function Ω ν (x 1 , x 2 ) is a linear combination of a bulk-to-bulk propagator and it's shadow partner: (2.17) One can now derive the spectral representation of the 4-point function.The result is: where K δ i d 2 +iν (z, z) is the scalar conformal block with scaling dimensions δ i = ∆ i + 1  2 , and F (ν) is the spectral representation of the bulk 2-point function F (x 1 , x 2 ), Eq. 2.16.If in Eq. 2.18 one chooses to close the contour in the ν-plane and pick up the residues of the poles, one would get the conformal block expansion of the 4-point correlator.

The Gross-Neveu model on AdS 3
Consider the Gross-Neveu [73] model containing N spin-1/2 Dirac fermions ψ i , with i = 1, . . ., N , see also [74,75].In flat-space and large-N this is a solvable model, exhibiting chiral symmetry breaking and asymptotic freedom.The lagrangian is: We denote the scaling dimension of the ψ's as ∆.In [55] we considered the Gross-Neveu model on AdS d+1 , and computed the finite coupling 4-point correlator in the spectral representation (This is the same as Eq.2.18 with ∆ i = ∆.): where the spectral function F (ν) is a resummation of 1-loop bubble diagrams, as in Fig. 3.In this section we compute the ν integral in Eq. 3.2 and thus derive explicitly an expression for the 4-point correlator g 4 (z, z) in position-space.
The spectral function F (ν) was computed [55] explicitly in d = 1, 2. Let us consider the case of d = 2, i.e AdS 3 , in which the resummation of bubble diagrams gives: where the digamma function is ψ(x) = d log Γ(x)/dx, not to be confused with the notation for the fermion ψ. [55] showed evidence for a bulk conformal point when the external scaling dimension is ∆ = 3/2.Plugging ∆ = 3/2 in Eq. 3.3, the spectral function simplifies: where we defined h ≡ d 2 + iν.Now we use an identity for the conformal block (see Eq. 3.5 of [1].): where the operator The scalar conformal block in d = 2 can be written in terms of LegendreQ functions: where = 0 and b ≡ ∆ 34 2 = 0, and we defined: Combining Eqs.3.2-3.6,gives: Now we close the contour in the ν-plane and use the residue theorem.The poles come from the denominator sinh(πν), and are at iν + 1 = 3 + n, with n = 0, 1, . ... This gives: The square brackets above were computed in equation 4.18 of [1], in terms of the tree-level contact Witten diagram g contact 4 (z, z) of scalars with scaling dimensions 2 ).Thus, The finite coupling large-N 4-point correlator of the conformal Gross-Neveu model on AdS 3 , which is given by an infinite sum of fermionic bubble diagrams in Fig. 3, was computed in terms of a scalar tree-level contact diagram g contact 4 (z, z)!In [1], the 4-point correlator in the conformal O(N ) model on AdS 3 was computed in terms of the same contact diagram g contact

Ladder Diagrams in AdS
In this section we derive the spectral representation for AdS ladder diagrams, with an arbitrary number of rungs.We consider only scalars in this section.The ladder diagrams are written as a gluing of tree-level exchange 4-point diagrams.This is possible due to two properties: 1.The spectral/split representation of the bulk-tobulk propagator.2. The 6J-symbol expansion of a tree-level exchange diagram in cross channel conformal blocks.See [66,76]

Warmup: Tree-level comb Witten diagrams
We consider here the comb channel tree-level diagrams in AdS,  where ) is a bulk-to-bulk propagator.The spectral representation gives: where b 123 is defined in Eq.A.18, and the 4-point conformal partial wave is: In a similar manner, the tree-level 5-point comb diagram, Fig 4-Middle, gives: where the 5-point conformal partial wave is: One can extend these results to N -point tree-level comb diagrams, Fig 4-Right.The result is: where the N -point conformal partial wave is:

4-point ladder diagrams
The exchange diagram (Fig. 5-Left) expanded in the direct channel is (Eq.4.2): The same diagram can be expanded [66,76] in the cross channel conformal partial waves Ψ 1234 µ,J : Let us define the factor appearing in the integrand above: Therefore we can write: This exchange diagram is the lowest order (zero loop) 4-point ladder diagram, Fig. 5-Left.In order to simplify the notation, we suppress writing the exchanged O 5 operator, namely we write: The N -loop ladder diagram is a gluing of N + 1 exchange diagrams.Schematically: To derive an explicit expression for the N -loop ladder diagram, it is useful to write it as a conformal partial wave decomposition: where µ,J is the OPE function at N -loops, and Ψ 1234 µ,J is the 4-point conformal partial wave.For the tree-level exchange diagram we have from Eq. 4.11: The 1-loop ladder OPE function is: We derive this in Appendix A. For a somewhat different derivation, see [66].B µ,J is a conformal bubble factor.The external operators in J are highlighted in red.
Notice that i runs over the horizontal bulk-to-bulk propagators, see Fig. 5.In a similar fashion, one can derive the OPE function of the 2-loop ladder Fig. 5-Right: See also [66].We see that there is a product of J 's, with their indices integrated over.Let us define the product: The N -loop ladder diagram OPE function is given by: Notice that all of the spectral integrals over the vertical propagators have been effectively performed, and we are left only with spectral integrals over the horizontal propagators.There is a 6j-symbol factor J µ,J for each vertical bulk-to-bulk propagator.There is an integral dν i for each horizontal bulk-to-bulk propagators.

2 and 3-point ladder diagrams
In the previous subsection we looked at 4-point ladder diagrams in AdS.In this subsection we consider ladder 3-point and 2-point functions, Fig. 6.Thus the gluings for the 3-point ladder are: and similarly for the 2-point functions: A computation similar to the 4-point case gives: ) .The factors C (N ) above depend on the scaling dimensions (and not on the space-time coordinates), and are given by: and

Mixed ladders/bubbles
One can also compute diagrams that contain both ladders and bubbles.As an example, consider the diagram in Fig. 7-Left.It's OPE function is: where is defined as the spectral representation of the 1-loop bubble: where Ω µ (x 1 , x 2 ) is the AdS harmonic function.
The bulk propagator squared G 2 ∆ (x 1 , x 2 ) can be expanded as a sum of bulk propagators [56,57]: where the coefficients are: Thus Eq. 4.30 becomes: The second line above is just a tree-level exchange diagram, see Eq. 4.1.
Combining this with Eqs.4.16 and 4.17, gives the OPE function: Let us define the sum: Now can simply write Eq, 4.35 as: One can easily extend this to higher loop φ 4 ladders, as in Fig. 7-Right.All one has to do is make the replacement J → S. Thus instead of Eq. 4.21, we have the OPE function: where the product is defined as:

2-point bulk correlators in AdS
Consider 2-point bulk bubble diagrams of scalars in AdS 3 , with x 1 and x 2 being the external points in the bulk, such as those in Fig 8 .The AdS d+1 bulk-to-bulk scalar propagator in position space is: where is the chordal distance squared between the points x 1 and x 2 .When d is even, the propagator above simplifies.In particular, for d = 2 (AdS 3 ): i.e the bulk-to-bulk propagator is a power law in ∆.We defined η ≡ 2 , which has the range η is 0 ≤ η ≤ 1.Likewise, in AdS 5 the bulk-to-bulk propagator becomes a power law in ∆: where we defined: The spectral representation of the bulk-to-bulk propagator is: where the AdS harmonic function is: where h ≡ iν + d 2 .
φ 4 bulk bubble diagrams in AdS 5 Consider a scalar field in AdS with φ 4 interaction.The bubble diagrams Fig. 8-Left give a contribution to the 2-point function: The spectral representation of a sequence of M bubbles is just the M th power of a single bubble.
where Gd 2 +iν (x 1 , x 2 ) is the bulk-to-bulk propagator, and we used Eq.5.6.We go to position space by closing the ν contour and using the residue theorem.For a pole of order M at y = y 0 , the residue is: (5.9) Thus Eq. 5.8 gives: h→(2n+2∆) (5.10)where h ≡ d 2 + iν.As an example, consider the regularized bubble with ∆ = 2 in AdS 5 , Eq. C.8: Plugging this in Eq. 5.10 gives: (5.12) For a given value of M (number of loops), one can compute the sum above in terms of hypergeometric functions3 .

Fermionic bubble diagrams
Consider fermions in the bulk of AdS 3 (d = 2).The poles of the 1-loop bubble are (see Eq .6.26 of [55]): Therefore for a chain of fermionic bubbles: (5.14) For M = 1 computing the sum gives: One can continue and compute higher loop bubble diagrams.

Sunset bubbles
Consider the 2-loop bubble between 2-points in the bulk x 1 and x 2 , otherwise known as the sunset diagram, see Fig. 9-Left.In position space this diagram is simply equal to the propagator cubed: G 3 ∆ (x 1 , x 2 ).In Eq. 55 of [57], this was written in terms of an infinite sum over bulk propagators: (5.16) where and the coefficients a ∆ 1 ,∆ 2 are defined in Eq. 4.32.Plugging Eq. 5.5 in Eq. 5.16 gives: where B sun (ν) is the spectral representation of G 3 ∆ (x 1 , x 2 ).Therefore the spectral representation of the sunset bubble is: Now we focus on AdS 3 (d = 2) where we have a simplification: thus Therefore Eq. 5.19 gives: This sum is logarithmically divergent and therefore should be regularized.Clearly the poles of the sunset bubble are: (5.23)

Consistency check
Let's compute the sum in Eq. 5.16, and see that the result is consistent: where in the first equality we used Eqs.5.2.The sum in the second line is just a geometric sum.We get the propagator cubed, and everything is consistent.

Chain of sunsets
Consider the 2-point bulk correlator composed of a chain of M sunset bubbles such as that in Fig. 9-Right: For simplicity let's consider AdS 3 and M = 1 (Fig. 9-Middle): where the last line above comes from the double pole ∼ 1 (h−δ) 2 .The last line can be computed by plugging Bsun (ν) from Eq. 5.22.Note that one should first regularize the sum in Eq. 5.22.
The sum in the second line of Eq. 5.26 can be computed as: (5.27 Where Φ is the Lerch transcendent function defined as: where Q i are boundary points.This procedure is schematically illustrated in Fig. 10.Therefore Eq.A.1 becomes: The bottom 2 lines are tree-level exchange diagrams, thus: The exchange diagrams have a conformal partial wave expansion in the crossed channel (Eq.4.11): µ 7 ,J Thus, The conformal partial waves have a shadow representation: Plugging this in Eq.A.9, we can perform the Q 8 , Q 8 integrals as follows4 : = B µ 5 ,J 5 δ P 0 ,P 0 δ µ 5 ,µ 7 δ J 5 ,J 7 . (A.11) Figure 10.Schematic explanation of the computation of the one-loop box diagram.First, we rewrite the two horizontal bulk-to-bulk propagators using the split representation.The result is given by a convolution of two tree-level exchange diagrams.Second, we write exchange diagrams in the cross-channel conformal block expansion by using the 6j symbol. Thus: µ 5 ,J 5 Ψ 8 634 µ 7 ,J 7 = B µ 5 ,J 5 Ψ 1234 µ 5 ,J 5 δ µ 5 ,µ 7 δ J 5 ,J 7 (A.12) and we get: The external operators in J are highlighted in red.The factor in the square brackets above gives the OPE function: Thus we derived Eq. 4.18.

Conformal factors:
Throughout this discussion of ladder diagrams we mainly use the notation of [66], see appendix A therein.The conformal 2-point function is: with the definitions The AdS tree-level 3-point correlator: where we defined: B An eigenvalue equation for ladder diagrams?
Let us consider the 4-point ladder with all scaling dimensions equal to ∆. Let's define ν 0 ≡ ∆ − d 2 , and rewrite Eq. 4.21: 1 Recalling Eq. 4.20 we can view5 the equation above as a "matrix product" of J µ,J 's 1 where is viewed as a vector and as a matrix, with indices given by couples of ν variables.The matrix multiplication is given by the integrals (B.5) Suppose we can diagonalize the matrix J , i.e. we find a "basis" (in some appropriate sense) of eigenvectors φ i satisfying where λ i 's are the eigenvalues, and let us also assume that we can normalize the eigenvectors as We can then expand the vector Φ in this basis In terms of these λ i 's and α i 's, it is then immediate to write the OPE function 6 of Eq.B.2: In contrast to the AdS 3 case ( [1,55]), in AdS 5 we will need to regularize the 1loop bubble.The 4-point correlator at large-N is given by a resummation of bubble diagrams 7 ([1, 55]): where B(ν) is the 1-loop bubble in the spectral representation.We will focus on the case of very strong coupling, in which λ → ∞.B(ν) has single poles at (see e.g.Eq. 4.24 of [55]): (C.4) 6 The matrix product is: The resummation of bubble diagrams is as in Fig 3 .In the spectral representation, the resummation gives a geometric sum: This explains the factor in Eq.C.3.
Focusing on AdS 5 , we plug d = 4 above and get: To obtain B(ν), one should sum over all the poles in Eq.C.5.Since this sum is divergent, we regularize it by first subtracting the summand with ν = 0, and then sum over the poles: Breg. (ν) ≡ The regularized bubble Breg.(ν) is finite.Performing the sum above gives: Where ψ(x) is the digamma function.For simplicity, let us focus on the case ∆ = 2, in which the regularized bubble simplifies further: In d = 4, the conformal block in Eq.C.3 can be written in terms of LegendreQ functions: Plugging this in Eq.C.3, one gets: We rewrite the square brackets above, using the recurrence relation The spectral representation of a 4-point function (see e.g Eq. 2.18) simplifies when plugging ∆ 2 = ∆ 1 and ∆ 3 = ∆ 4 + 1: Putting d = 4, and using Eq.D.1 gives: Rewriting this using a gamma function identity, Γ x Γ 1−x = π sin(πx) , gives: These are contributions from the double-trace poles.As we will see, there can also be poles coming from Fν .

Double-discontinuity
We can also take the double-discontinuity of the 4-point correlator in Eq.D.5, which cancels the sine factors in the denominators 8 : The double-discontinuity cancels the double-trace poles, and we are left just with the poles of the internal diagram (i.e poles of Fν ).From the double-discontinuity, one can extract the full 4-point correlator by using the conformal dispersion relation [77].Alternatively, one can extract the conformal data by plugging dDisc in the Lorenzian inversion formula [78]. 8Where we use dDisc s K ∆i The conformal block in d = 1 is: 2) The poles of the 1-loop bubble in d = 1 are: 2 B(ν)  The result of this sum gives: which precisely matches Eq 7.29 of [79].
One can also compute the 1-loop bubble, i.e M = 1 and ∆ = 1.From Eq. E.4 we have: Using Eq.C.13, we can also write this as follows: where the differential operator is defined as w z ≡ − d dẑ (1 − ẑ2 ) d dẑ .The RHS of Eq.E.8 has a canonical form, and it would be interesting to see if it can be computed e.g from Eq. 5.9 of [1].It would be interesting to compare the result with that of Eq. 7.34 of [79].

Figure 1 .
Figure 1.Left: The black blob represents a general bulk two-point corelator F (x 1 , x 2 ), with points x 1 and x 2 .Right: Attaching fermionic bulk-to-boundary propagators (red lines) to the 2-point blob gives a CFT 4-point function.This class of diagrams has 2 bulk-to-boundary propagators attached to x 1 and x 2 , and 2 attached to x 2 .

Figure 2 .
Figure 2. Left: Like Fig. 1-right, only here the x 2 vertex has scalar propagators attached to it.Right: A completely general diagram in AdS, which has a vertex x 1 to which are attached two fermionic bulk-to-boundary propagators.

Figure 3 .
Figure 3.The Gross-Neveu model on AdS.The 4-point correlator at large-N is given by an infinite sum of bubble diagrams.The red lines are fermionic propagators.The boundary of AdS is not shown in the figure.

Figure 4 .
Figure 4. Left: 4-point tree-level exchange diagram.Middle: 5-point tree-level exchange diagram.Right: N -point tree-level exchange diagram diagram in the comb channel.

Figure 5 .
Figure 5. 4-point ladder diagrams.Left: The tree-level exchange diagram is the 0-loop ladder.Middle: The box diagram is the 1-loop ladder diagram.Right: The 2-loop ladder diagram.

) The 1 -
loop ladder is the box diagram, Fig 5-Middle.The box diagram can be computed as a gluing of two exchange diagrams:

Figure 6 .
Figure 6.Left: An example of a 3-point ladder diagram.Right: An example of a 2-point ladder diagram.

Figure 7 .
Figure 7. Left: An example of a mixed ladder-bubble diagram in φ 3 theory on AdS.Middle: The 4-point 1-loop bubble diagram in φ 4 theory.Right: An example of a φ 4 ladder diagram.

4.5 φ 4 ladders
Let us consider ladder diagrams in φ 4 theory on AdS.First consider the 4-point bubble diagram, Fig 7-Middle:

Figure 8 .
Figure 8.The type of bubble diagrams which we consider in section 5. Left: φ 4 theory: The 2-point bulk-to-bulk correlator consisting of a sequence of M -bubbles.Right: φ 3 theory: The 2-point bulk-to-bulk correlator consisting of a sequence of M -bubbles.

10 )C
The O(N ) model on AdS 5In this section we consider the large-N O(N ) model on AdS 5 .The lagrangian of the O(N ) model is:

3 )
The spectral representation for the M bubble diagram is F (ν) = B(ν)M , so we have in d = 1,: