Loop corrections for Kaluza-Klein AdS amplitudes

Recently we conjectured the four-point amplitude of graviton multiplets in AdS5 × S5 at one loop by exploiting the operator product expansion of N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 4 super Yang-Mills theory. Here we give the first extension of those results to include Kaluza-Klein modes, obtaining the amplitude for two graviton multiplets and two states of the first KK mode. Our method again relies on resolving the large N degeneracy among a family of long double-trace operators, for which we obtain explicit formulas for the leading anomalous dimensions. Having constructed the one-loop amplitude we are able to obtain a formula for the one-loop corrections to the anomalous dimensions of all twist five double-trace operators.


Introduction and summary of results
The AdS/CFT correspondence [1][2][3] relates correlation functions of the boundary CFT to on-shell AdS amplitudes of bulk fields. While there has been much study of treelevel bulk processes [4][5][6][7][8][9][10][11][12], until recently there had not been much work on loop corrections (see [13,14] for some recent work in this direction). Essentially this is because such loop computations are extremely challenging from the bulk approach. Recently however, another approach based on the OPE structure of the boundary CFT has been initiated [15][16][17]. In [17] we used the OPE structure of N = 4 super Yang-Mills theory to JHEP05(2018)056 bootstrap the one-loop correction to the AdS 5 scattering of four-graviton multiplets, or equivalently the 1/N 4 correction to the four-point correlator of four energy-momentum multiplets in the large N limit.
A crucial ingredient in the analysis is the resolution of a large degeneracy among the spectrum of double-trace operators which occurs in the strict large N limit. The relevant explicit formulas for the anomalous dimensions and three-point functions of doubletrace operators were obtained by considering multiple correlators which exhibit the same exchanged operators in their OPE decompositions [18]. Such data is available due to a remarkably compact formula [12] for all four-point tree-level scattering processes of graviton multiplets or their associated Kaluza-Klein modes which are present in the five-dimensional bulk due to the reduction from ten dimensions on S 5 .
In the present work we would like to generalise our analysis to include scattering of multiplets of Kaluza Klein states. The simplest case of such an amplitude is the one for the scattering of two graviton multiplets and two Kaluza Klein states of the next level. This corresponds to the CFT correlator O 2 O 2 O 3 O 3 . This generalisation introduces a number of new challenges. Firstly we must deal with a correlator which has less crossing symmetry. This necessitates an OPE analysis in more than one crossing channel, or equivalently we must consider the crossed correlator O 2 O 3 O 2 O 3 . Secondly, in pursuing such an OPE analysis, we must obtain information about operators with non-trivial SU (4) representation labels, unlike the case of O 2 O 2 O 2 O 2 where all exchanged long operators are singlets. We are then led to consider a new mixing problem involving correlators of the form O p O p+1 O q O q+1 . Finally such correlators have both even and odd spin sectors in their OPE decomposition and we need to deal with both in order to construct the leading discontinuities for the one-loop amplitude.
Once these technical obstacles are overcome we are able to proceed very similarly to the case of the O 2 O 2 O 2 O 2 correlator and resolve the associated mixing problem. In particular we obtain an explicit result for the anomalous dimensions of the double trace operators K t,l,i in the [0, 1, 0] representation given by (for i = 1 to (t − 1)) {K t,l,1 , K t,l,2 , . . .   With the solution to the mixing problem to hand we are able to explicitly construct the leading discontinuities in both channels. We may then construct a function which reproduces the leading discontinuities in all channels. From this we can then extract new information about the dimensions of the twist-five operators in the [0, 1, 0] representation JHEP05(2018)056 analogously to (1.7) The layout of the paper is as follows. In section 2 we review the general structure of four-point correlators of half-BPS multiplets, focussing on the cases relevant here, Then in section 3 we review the OPE and superblock expansion of these correlators, relevant for our purposes, highlighting the need to solve a mixing problem. In section 4 we go on to solve the mixing problem by analysing the corre- at leading and next to leading order in large N . In section 5 we collect together this unmixed data to first derive the double discontinuity of correlator in all channels, before uplifting the double discontinuity to the full result. In section 6 we use this uplifted function to derive new O(1/N 4 ) anomalous dimensions for operators in the [0, 1, 0] representation of SU(4). In section 7 we point out a symmetry displayed by all the results derived here and previously at strong coupling. In two appendices we give details of the superblocks and the tree-level correlators used in the main body of the paper.
Note added. During the preparation of this paper, [19] appeared which also introduces the Casimir operator (5.20) for the singlet channel in resumming the double discontinuity

Four-point correlators of half-BPS operators
The basic objects we wish to consider are the single-trace half-BPS operators given by where y i is a complex null vector parametrizing the coset space SU(4)/S(U(2) × U(2)). For p = 2 the above operator is the superconformal primary of the energy-momentum multiplet which is dual to the graviton multiplet in the AdS 5 supergravity theory. For higher p the operator is dual to Kaluza-Klein modes associated to the S 5 factor of the ten-dimensional background.
To discuss four-point functions is it helpful to introduce the propagator and conformal cross ratios for both the x and y variables Due to the property of partial non-renormalisation [20] the interacting parts have the following structure where I is given by The dependence of the correlators on the gauge coupling is entirely through the functions F (u, v) and G(u, v). Crossing transformations relate the two correlators and hence the two functions F (u, v), Since we have pairs of identical operators in the correlator we have the symmetry The perturbative expansion in string theory or supergravity corresponds to an expansion of the correlators for large N . As in [17], we choose for convenience the expansion parameter With the above choice, the free theory correlation function then has exactly two terms which we express as follows, free , (2.12) where the N -dependent factor

JHEP05(2018)056
has been extracted so that the remaining factor is finite in the large N limit. Explicitly we have 12 g 3 34 + 6a g 12 g 2 34 g 13 g 24 + g 12 g 2 34 g 14 g 23 + 2g 34 g 13 g 24 g 14 g 23 (2.14) with O 2 O 3 O 2 O 3 free obtained by crossing. The interacting parts, or equivalently the functions F (u, v) and G(u, v), have expansions of the form In terms of the string loop expansion the order a 0 terms constitute the disconnected contributions to the amplitudes, the order a terms correspond to tree-level connected contributions while order a 2 terms correspond to one-loop corrections and so on. In terms of the decomposition (2.5) the order a terms are special, in that they receive contributions from both free theory and from the interacting part of the correlator. Finally at each perturbative order in a we may expand F (n) and G (n) in powers of log u multiplied by coefficients analytic at u = 0, This then makes the branch cut structure around u = 0 manifest. In particular from OPE considerations we expect that the leading discontinuity at order a n is of the form log n u.

Overview of the OPE and double-trace spectrum
Let us consider the contribution of a conformal primary operator K ∆,l of dimension ∆ and spin l to the OPE of two half BPS operators O p 1 and O p 2 . It is given as where the dots denote contributions from descendant operators. In the above we have suppressed the representations of the SU(4) global symmetry but we have made explicit the fact that the dimension ∆ and OPE coefficients C p 1 p 2 ;K ∆,l depend on our expansion parameter, in this case a. The quantities ∆ and C therefore admit perturbative expansions, The OPE (3.1) is a fully non-perturbative relation, but when expanded perturbatively in a it implies that at O(a) the operator contributes to the discontinuity in x 2 12 as follows,

JHEP05(2018)056
while at O(a 2 ) it contributes to the double discontinuity as, In the context of four point correlation functions we see that at order a 2 the double discontinuity in x 2 12 (and hence in the conformal cross-ratio u) comes entirely from zeroth order OPE coefficients and first order anomalous dimensions η (1) of K ∆,l . These same quantities are already present in the single discontinuity at order a.
In the supergravity regime of N = 4 SYM, we wish to bootstrap the correlator O 2 O 2 O 3 O 3 at one-loop level, from known lower order results. To achieve this we use the fact described above that the double discontinuity in u at order a 2 depends entirely on the zeroth order OPE coefficients and first order anomalous dimensions. We take into account the contributions of all superconformal descendants by making use of the superconformal partial wave (SCPW) expansion of the correlation function. Doing so we find the double discontinuity of the correlator at order a 2 is given by Here L [0,0,0] (t, l) are long superconformal blocks (for the precise definition see eq. (A.7)) corresponding to the exchange of long double trace multiplets with SU(4)-singlet superconformal primary operators K t,l,i , These operators are degenerate in the large N limit with dimension ∆ (0) = 2t + l but acquire non trivial anomalous dimensions η (1) t,l,i at subleading order in a. In principle more operators could contribute to the OPE, but in the supergravity limit the space of operators is significantly simplified. 1 The double discontinuity in x 2 12 then comes entirely from zeroth order three-point functions and the anomalous dimensions. In order to determine this data, we have to take into account an important subtlety: we can not determine C (0) 22;K t,l,i , C (0) 33;K t,l,i , and η (1) t,l,i individually from a superconformal partial wave However, this problem can be overcome and in fact it has been explicitly solved in [18] by considering the more general family of correlators O p O p O q O q . For more details, we

JHEP05(2018)056
refer the reader to that paper. We will recall the formulas obtained from that analysis in section 4.3 as we will need them to explicitly construct the double discontinuity of , the double discontinuity in the channel x 2 12 → 0 is not enough to attempt to determine the full correlator. For illustration, let us consider the one loop result for the correlator O 2 O 2 O 2 O 2 , which has been obtained in [17]. In that case, we found that the part of the correlator of transcendental weight four is determined by the sum of the double box function in three different orientations. One of these orientations contains no double discontinuity in the limit x 12 → 0. When the external operators have equal charges, like O 2 O 2 O 2 O 2 , crossing symmetry relates the three orientations, but for we would never detect its coefficient. Therefore, we need to consider double discontinuities in all possible channels, in particular we need to consider an inequivalent OPE limit x 2 13 → 0. This is the same as considering the correlator The study of the OPE in this channel will be slightly more involved compared to The long double trace operators which we need to consider are given by where the basis of operators on the l.h.s. is characterized by having odd twist and both even and odd spins. Expanding their dimensions and three point function coefficients we readily obtain the result for double discontinuity at order 1/N 4 , i.e.
where the long superblocks now correspond to the operators in (3.9). These operators are again degenerate in the large N limit, thus in order to bootstrap the double discontinuity in (3.12), we have to solve a new mixing problem.

Unmixing in [0, 1, 0]
The problem of operator mixing in the [0, 1, 0] representation is similar but not completely analogous to that of the [0, 0, 0] representation. The correlators we have to consider are of The relevant terms in the SCPW expansion, restricted to the exchange of long multiplets, are

JHEP05(2018)056
where Σ = p + q + 1 and the dots refer to terms analytic at u = 0 as well as terms of higher order in 1/N 2 . The coefficients A {p,q} R (t|l) and M {p,q} R (t|l) are obtained from disconnected free theory and tree level supergravity, respectively. The corresponding long superblocks L {p,q} will be given explicitly in the next section. From the OPE and the knowledge of the spectrum of double trace operators K t,l,i described in (3.9), we deduce the two equations, In the following we will drop the superscript (0) and (1) since there is no ambiguity at this order. We now prove that the set of OPE coefficients C p p+1;K t,l,i and anomalous dimensions η i is uniquely specified by the solution of these two equations. In fact, for given twist and spin, C p p+1;K t,l,i is non-zero only when 2 ≤ p ≤ t, and by taking into account the p ↔ q symmetry, we conclude that the l.h.s. of (4.2)-(4.3) determines t(t − 1) independent pieces of data. The number of unknowns, on the other hand, is given by t − 1 anomalous dimensions η i together with (t − 1) 2 OPE coefficients C p p+1;K t,l,i (because i runs from 1 to t − 1 and p from 2 to t). Thus there are a total of t(t − 1) unknowns, exactly the same as the number of independent CPW coefficients. As we mentioned, the SCPW expansion (4.1) contains both even and odd spins, and furthermore the sum over twist runs over odd integers. Compared to the study of O p O p O q O q we then expect some differences, and we will show that the unmixing is modified in an interesting way.

Disconnected free theory
In the first instance we are interested in the leading large N contribution in the corre- The leading large N contribution comes from the disconnected diagrams, i.e. the contribution to the four-point function which factorises into a product of two-point functions. Since the operators are protected, the two-point functions are independent of the 't Hooft coupling and take their large N free-field forms.
We can therefore consider the various free-field propagator structures in and isolate the disconnected one. Such terms are only present for p = q while the case p = q is subleading at large N , The general expression for the superconformal partial wave expansion at leading order for large N is then given by where P OPE = g p 12 g p 34 g 24 and S αβγ;λ are superconformal blocks [8,[21][22][23][24]. We follow the notation introduced in [24], where the superblocks are specified by three integers α, β, γ JHEP05(2018)056 and a Young tableau λ. For the specific case under consideration, α = γ+1 2 , β = γ−1 2 , and the superconfomal block is given by the following determinantal formula Precise definition of the determinantal formula can be found in appendix A. Here we are interested in the coeffiecients A 2p+1,λ corresponding to long multiplets with twist 2t + 1, spin l and SU(4) representation [0, 1, 0]. This translates to a Young tableau with row lengths λ = [t−p+l+2, t−p+2, 2 p−2 ], as can be read off using the table in the appendix, eq. (A.4). Inputting the correlator (4.4) and the superblocks (4.6), with the relevant value γ = 2p + 1, the equation (4.5) reduces to Here, the left hand side is a constant, where as the right hand side is a function of x,x, y,ȳ.
There is a unique solution, yielding the values of the coefficients A 2p+1,λ . In fact, there is a conceptually simpler way to solve this equation. As outlined in [18] the entire superblock formalism can be bosonised. Since the Young tableau has height p we can use bosonised GL(p, p) blocks described in [18,24] for which 2 The advantage here, is that on does not have to deal with the different cases needed for short superblocks, but can use one formula to deal with all the blocks. With either method (superblocks or bosonised blocks) the resulting block coefficients are consistent with the formula For given twist 2t + 1 and spin , we can finally assemble the data into the diagonal matrix  [12]. Their formula extends in a consistent way the very few explicit computations of Witten diagrams known in the literature [10,11,25,26], and gives access to correlators with arbitrary configuration of charges. These are precisely the correlators we need in order to obtain M {p,p+1,q,q+1} and solve the mixing problem. As an example, in appendix B.2 we compute the Mellin amplitude corresponding to q = 2, 3, 4, 5 with p ≥ q generic, and we rewrite it in a standard basis of In general, H p,p+1,q,q+1 is a polynomial of degree p − 2 in the SU(4) variables.
correlator contains two contributions: supergravity and connected free theory. The knowledge of the Mellin amplitude does not fix the supergravity correlator completely, and we will have to determine the relative normalisation N p,p+1,q,q+1 by an independent argument. For correlators of the form O p O p O q O q we obtained the corresponding normalisation by considering the absence of twist 2 long operators in the spectrum of supergravity [18]. For equal charges, these results can be used to predict the normalisation of O p O p+1 O p O p+1 and show that twist 3 long conformal partial waves cancel between free theory and supergravity. Then, we can obtain the normalisation N p,p+1,q,q+1 by imposing the absence of twist 3 long operators at order 1/N 2 .
The absence of twist 3 long operators is not immediately transparent, since the twist 3 short (half-BPS) operator remains, and so its conformal block is present. A very simple way to avoid this technicality is to project onto the large spin limit of the twist 3 operators. The twist 3 operators correspond to the u → 0 limit of the correlator. Further taking v → 0 then projects onto the large spin limit. The advantage of this is that then one doesn't have to deal with the twist 3 short operator but can simply insist on the vanishing of the two contributions in the limit u, v → 0. Note that this limit corresponds to taking the light-like polygonal limit relevant for the duality with Wilson loops and amplitudes in N = 4 SYM.
The free theory propagator structure at subleading order in N contains where Σ = p + q + 1, and we omitted propagators structures contributing to higher twist 3 We recall the identity

JHEP05(2018)056
CPW, i.e not leading in the u → 0 expansion. 4 The limit v → 0 with u/v fixed gives (4.14) Notice that we factorized P OPE in the denominator on the l.h.s. Given the generic form of the supergravity correlator with p ≥ q, we would like to take the limit u, v → 0 as we did in the corresponding free theory. The dynamical function H int p,p+1,q,q+1 has in general non trivial dependence on the SU(4) variables, however we find that lim u,v→0 s(x,x, y,ȳ)/(yȳ) 2 = τ , therefore in order to match the r.h.s. of eq. (4.14), it is sufficient to consider the leading term in u/v of H p,p+1,q,q+1 restricted to σ = τ = 0. It can be inferred from the expression of its Mellin amplitude, and explicitly checked in the examples (B.8)-(B.10) and (B.11), that The representation of D p 1 ,p 2 ,p 3 ,p 4 contains three different analytic contributions, Since σ = (δ 1 + δ 2 − δ 3 − δ 4 )/2, the limit of u −σ D sing p+3,p,3+k,2+k is more interesting. In our specific case, σ = p − k − 1, and when k = 0 we obtain the following non trivial result, 5 By requiring twist 3 long cancellation at large spin, we obtain from (4.14) and (4.15), the relation 2p(p + 1)q(q + 1) 4 Note that one might expect a term proportional to g p 12 g q 34 g24 which would contribute to lower twist, but its coefficient vanishes due to properties of SU(N ) vertices. 5 We repeat for quick reference the expression given in appendix B.1 (B.2)

JHEP05(2018)056
which fixes the value of the normalisation to We can now proceed, and compute the superconformal partial wave expansion of the long The factorized form of the supergravity correlator implies that only long multiplets contribute. Thus, the corresponding Young tableau have two or more rows and two or more columns. For an expansion in purely long operators there is no great advantage in using bosonised blocks and we will use directly the determinantal formula for the superblocks given in appendix A. As mentioned before, if p ≥ q the function H q,q+1,p,p+1 is a polynomial of degree p − 2 in the SU(4) variables. Therefore, when p > 2 we will project onto the [0, 1, 0] representation. Results for [n, 1, n] will be presented elsewhere. For given twist 2t + 1 and spin we construct the matrix M(t|l) where we have just given the independent entries in the upper triangular part explicitly. The coefficients, M {p,p+1,q,q+1} have different behaviour for even and odd spins. For example, the t and l dependence in the first three cases is, and Therefore we will study M(t|l) for even and odd spins separately.

Anomalous dimensions and OPE coefficients
Once the matrices A(t|l) and M(t|l) have been found, we can solve for the OPE coefficients and the anomalous dimensions. As in [18], it is convenient to introduce the matrix of normalized three-point coefficients, Then, anomalous dimensions are eigenvalues and the corresponding eigenvectors columns of c(t|l). We look at the first few cases explicitly.

Twist 5
This case is straightforward as there is only one long operator for each spin, and only one correlator to be considered, namely 2323 . The result for the anomalous dimensions is  and η even 2 ↔ η odd 1 . As a consequence, the square root structure in the columns of c(l even) is related to that of the columns of c(l odd) in the same way. (The signs ±1 are fixed by orthogonality independently of the symmetry). Compared to the singlet channel [18], where a similar transformation acted separately within each spin sector, even and odd, the exchange property here is novel, and the generalization of c(t| ) is actually less trivial than what we could have naively guessed. We discuss this symmetry in more detail in section 7.

Twists 9 and 11
Before presenting general results for the anomalous dimensions η i and c(t|l), we give two more examples, twist 9 and 11. In the first case, the space of long operators is three dimensional. For even spins we have  . (4.34) For higher twists the solution of c(t|l) becomes quite lengthy and it is helpful to introduce a more compact notation. We define (n) = √ l + n , [n] = √ 2l + n .
The solution in the odd sector is given in the obvious way by the exchange symmetry l → −l − 14.

General results
The anomalous dimensions follow a simple pattern as we vary t, which has been explicitly confirmed up to t = 12. Formulas (4.36) and (4.36) can be immediately compared with the anomalous dimensions of K t,l,i in the [0, 0, 0] channel, which we rewrite in the form, Experimentally, we see that going from [0, 0, 0] to the [0, 1, 0] representation can be accounted by introducing a gap in the Pochhammer structure. Looking instead at the structure of c(t|l) we obtain the following generalizations. For even spins, For odd spins, The sign functions σ 1 and σ 2 in both case are given by, Imposing orthonormality remarkably fix the unknown constants a even (p − 1, i, k) and a odd (p − 1, i, k) uniquely. Let us remark that the difference in the two cases only comes from the form of the denominators. For p = 2, which is relevant to C 23;i , we have been able to find the following general formula, (4.42) We thus have all the data we need in order to bootstrap the double discontinuity of

JHEP05(2018)056 5 One loop
We would now like to use the data we have obtained from the solution to the mixing problem considered in the previous section to bootstrap the order a 2 contributions to the We must first perform the summations which describe the double discontinuities and then try to construct the full function F (2) (u, v) (or equivalently G (2) (u, v)) which has those discontinuities.

(5.5)
By using the explicit form of the long superblocks (A.5) we can rewrite (3.5) as and F t (x) = 2 F 1 (t, t, 2t; x) for the case at hand. 6 In parametrizing C (0) 33;K t,l,i we used slightly different conventions for R 33 t,l,i and a 33 t,i compared to [18].

JHEP05(2018)056
Similarly we may consider the double discontinuity of From the OPE analysis in (3.12), we recall where now the anomalous dimensions η (1) t,l,j , given in (4.36)-(4.37), refer to the operators in the [0, 1, 0] channel, K t,l,j , with both even and odd spins, (i.e not to be confused with K t,l,i in the singlet channel.) The explicit expression for the three-point functions is where for even spins whereas for odd spins the values of R 23 t,l,i and a 23 t,l,i can be obtained upon using the symmetry, i → t−i and l → −l−2t−4. The conformal block B t|l is again given by (5.7) but now F t (x) has non trivial dependence on the external charges, i.e. F t (x) = 2 F 1 t + 1 2 , t − 1 2 , 2t; x . In order to perform the sums in (5.6) and (5.8) it is very useful to consider the action of certain Casimir operators, related to those considered in [27] which simplify the sums considerably. First we introduce the second order operators, where a = − 1 2 ∆ 12 and b = 1 2 ∆ 34 . From these operators we construct the Casimirs, (5.14) On the conformal blocks B t+2|l these operators have the following eigenvalues,  If we now consider the product we find that it factorises into holomorphic and antiholomorphic parts, where in the two channels under consideration here we have Moreover we find that ∆ (8) has the following eigenvalue in each channel [0, 0, 0] : λ 8 = 16(t − 1) 2 (t + 1) 2 (l + t) 2 (l + t + 2) 2 (5.23) [0, 1, 0] : Up to a factor of (−8) these reproduce exactly the numerators of the anomalous dimensions given in (4.38) for the [0, 0, 0] channel and (4.36), (4.37) for the [0, 1, 0] channel. This suggests that the sum may simplify if one pulls out factors made from the operator ∆ (8) . Indeed we find this is the case. More precisely, for the leading discontinuities F (2) 2 and G (2) 2 , one should pull out the operator where q = 4 for the [0, 0, 0] channel and q = 9 2 for the [0, 1, 0] channel. This leads us to simple explicit results for the leading discontinuities.
For the first correlator of relevance here,

JHEP05(2018)056
The coefficients above are given by the following expressions,

(5.27)
We remark that the double discontinuity of the correlator [17] can similarly be simplified by using the same singlet channel ∆ (8) operator. For the other correlator, , the double discontinuity is given by The coefficients above are given by Given the explicit forms of the ∆ (8) operators in each case we may simply compute the full result for F 2 . They take the form,

JHEP05(2018)056
The coefficient functions P, Q, R, S and similarly the hatted quantities are rational functions of x andx with denominators of the form (x −x) 16 , and are symmetric under x ↔x. Note that the symmetry of the full correlation function, G (2) (u, v) = G (2) (v, u), is visible in the double discontinuity G (2) 2 for the term proportional to log 2 u log 2 v. Indeed we can verify that P (v, u) = P (u, v). On the other hand, we are able to express the coefficient function of Li 2 in terms ofP (u, v) and P (1/v, u/v). This non trivial fact will be important when we will uplift the double discontinuity to a full correlation function.

Uplifting to the full function
The structure of the double discontinuities (5.30) and (5.31) is very similar to the double discontinuity found in [17] We recall that they take the form [30], where the pure transcendental part is given by We recall also the crossing symmetry of the ladder functions, The one-loop function also obeys We proceed very much as in the case of the correlator [17]. We make an ansatz for F (2) (u, v) (or equivalently G (2) (u, v)) in terms of single-valued harmonic polylogarithms with coefficients wich are rational functions of x andx with denominators of the form (x −x) 17 , to match the double discontinuities (5.30) and (5.31). We demand that our ansatz reproduces correctly both double discontinuities and furthermore that the resulting function does not have any poles at x =x. This set of constraints produces a particular solution with four free parameters. To express the dependence we first quote the particular solutions, G (2) p and F (2) p , and then describe the four remaining degrees of freedom. For convenience we quote first the form of G

JHEP05(2018)056
where we have used the notation x = x x−1 . The explicit expressions for the coefficient functions A 1 , . . . , A 9 are rather cumbersome but we provide them in a Mathematica notebook attached to the arXiv submission of this article. These functions obey, The properties above are necessary for G (2) p (u, v) to be symmetric under x ↔x and for the crossing property G (2) p (v, u) = G (2) p (u, v) to hold. Part of the weight four function in the first line of (5.36) can be immediately related to G 2 . In particular, we recognize whereas the remaining coefficient functions q(u, v) r(u, v) and s(u, v) enter non trivially into the set of A i (x,x). The particular solution F (2) p (u, v) is given by applying the crossing transformation (2.9), F (u, v) = 1/u 4 G (1/u, v/u), to the function (5.36), where the functionsÂ 1 , . . . ,Â 9 are related to A 1 , . . . , A 9 viaÂ i (x,x) = A i (1/x, 1/x). Now let us describe the four ambiguities. We find that they can be described in terms of the following fourD-functions, where η K 2,l = −48/(l + 1)(l + 6) has been computed in [18]  Thus the twist 4 sector of the log u part of the one-loop correlator is fully determined by the knowledge of (5.44) and the anomalous dimension, η K 2,l . It is interesting to notice in (5.44) that the contributions from free theory and supergravity have the same l dependence but differ in the overall coefficient, 24N 3 and 216N 3 , respectively. Very nicely we find that this OPE constraint is consistent with our one-loop result and fixes two of the four remaining constants, namely We thus have a solution with 2 remaining free parameters.

Twist 5 anomalous dimensions at one-loop
We now extract twist 5 anomalous dimensions from our one loop correlator We focus on K 2,l because this is the only case in which there is a single operator for each spin, and we thus have enough information to determine its anomalous dimension. For higher twist there is a higher order mixing problem to undo, and we expect further mixing

JHEP05(2018)056
with triple-trace operators to spoil predictability. The expansion of the correlator up to order a 2 takes the form (1) free = + 36 g 13 g 2 24 g 12 g 34 + g 13 g 2 24 g 14 g 23 + 2g 24 g 12 g 34 g 14 g 23 (6.3) In order to extract twist 5 anomalous dimensions it is enough to restrict ourselves to the superconformal partial wave expansion in the long sector. The OPE at twist 5 implies the identity, where η and we defined, Therefore, we also have A 2,l = A {2323} (2|l), and A 2,l η 2,l = M {2323} (2|l), which are known from (4.9) and (4.23), respectively. We repeat them for convenience: We will now equate the expansion (6.6) with a superconformal block expansion of the correlator in the long sector, and determine the one loop correction to the anomalous dimension, η (2) l , from the last line.

JHEP05(2018)056
We proceed by first computing the coefficients B 2,l . It is convenient to separate the contribution to B 2,l in free theory and tree level supergravity. The conformal partial wave analysis of the free theory gives in superblocks, and keep only the coefficients at twist 5. We then obtain values for the correction to the normalisation due to supergravity, B int,l , which together with the free theory yields the result Rearranging, we obtain η (2) directly As in the twist-four case studied in [17] we note that it is possible to make the anomalous dimensions analytic functions of spin, including for l = 0, 1, by imposing although we do not have an independent argument for the values of these parameters.

JHEP05(2018)056 7 A symmetry of the CFT data
In recent months a wealth of new strong coupling data for double trace operators in N = 4 SYM has been computed (see [16][17][18] as well as above) both at tree level and one loop in supergravity. We here make the observation that all this new data possesses a nontrivial Z 2 symmetry. Define T (l; a) ≡ ∆(l; a) − l as the full anomalous twist for an operator, as function of l. The double trace operators in question form natural families. A single family consists of all such operators which at leading order in a have fixed twist, T (l; 0), fixed SU(4) quantum numbers, and fixed label i distinguishing operators with identical twist T (l; 0) and SU(4) quantum numbers. The spin l is allowed to vary within the family, although it is also useful to separate even and odd spin cases into different families. The anomalous dimensions and appropriately normalised OPE coefficients for a family of operators, are then given as an analytic function of the spin l. The statement of the Z 2 symmetry is then that under the map Under the symmetry the family of operators with labels t, n, i maps to the family with labels t, n, i = t − i − n: the symmetry reverses the list of operators with the same value of T (l; 0). For the anomalous dimensions of [0, 1, 0] operators given in (1.10) there are two analytic formulae, one for odd spin operators and one for even spin. The Z 2 symmetry (7.1) swaps the formula for even spin into that of odd spin and vice versa as well as reversing the label i (note that in this case T (l; 0) = 2t + 1 so the symmetry is l → −l − 2t − 4) η (1),even spin t,l,i → η The symmetry also acts on three point functions (after a universal factor is taken out). For example, consider the 3-point functions of the long singlet operators in (1.5) These transform under the symmetry as:

JHEP05(2018)056
Thus far the examples involved data (anomalous dimensions or OPE coefficients) which were all leading in the coupling a, and thus the symmetry (7.1) only involved T (l; 0). But the symmetry should really be thought of in terms of an expansion in a. Remarkably, we find the symmetry remains intact even at one loop where the dimension or twist becomes anomalous. For example consider the one-loop twist 4 singlet anomalous dimensions (1.7) computed in [16,17]. The full anomalous twist of these operators is given by T (l; a) = 4 + 2aη 1344(l − 7)(l + 14) (l − 1)(l + 1) 2 (l + 6) 2 (l + 8) − 2304(2l + 7) (l + 1) 3 (l + 6) 3 (7.6) and the symmetry (7.1), to the relevant order in a, becomes l → −l −7−2aη (1) l . Under this transformation, the twist itself should be invariant. One can check that this is indeed true.
The latter equality arises from the identities Indeed the first term in the expression for η (2) l (7.6c) is symmetric under the lowest order symmetry l → −l − 7. The second term in (7.6c) is antisymmetric under the lowest order symmetry. However it is completely determined from the 1 loop anomalous dimension by the full symmetry, given by 2 ∂ ∂l (η (1) l ) 2 . The full symmetry allows us to predict this antisymmetric part.
As our final example we consider the one loop anomalous dimensions, computed in this paper, for operators in the [010] rep with twist T (l, 0) = 5. At tree-level the formulae split into two pieces for even and odd spin, respectively (1.10) and (1.12). Nevertheless one can check that the symmetry in the form (7.3) extends to the one loop case, swapping the even and odd family. Namely we have T even (l; a) → T even (−l − T odd (l; a); a) = T odd (l; a) T odd (l; a) → T odd (−l − T even (l; a); a) = T even (l; a) (7.9) These arise from the following order by order relations which can be readily checked

JHEP05(2018)056
As we have seen in the above examples the symmetry often transforms quantities for one family of operators to other families. In the special cases where the symmetry leaves the family invariant, this has already been seen in the context of large spin CFT analysis in which it has been observed that anomalous dimensions can be expressed in terms of a certain Casimir J 2 [31,32]. To see the equivalence with the above symmetry, first note that if we re-express quantities in terms of a shifted spin, J instead of l, where J = l + T + 3 2 , (7.11) then the symmetry (7.1) becomes simply symmetry: J → −J . (7.12) Thus any quantity which is invariant under this symmetry will clearly be a function of J 2 . This is essentially the statement made in previous studies [31,32] except that the closely related quantity J 2 rather than J 2 was used, where Finally, we stress once again, that the symmetry transforms many objects non-trivially.