Bulk phase shift, CFT Regge limit and Einstein gravity

The bulk phase shift, related to a CFT four-point function, describes two-to-two scattering at fixed impact parameter in the dual AdS spacetime. We describe its properties for a generic CFT and then focus on large $N$ CFTs with classical bulk duals. We compute the bulk phase shift for vector operators using Regge theory. We use causality and unitarity to put bounds on the bulk phase shift. The resulting constraints bound three-point functions of two vector operators and the stress tensor in terms of the gap of the theory. Similar bounds should hold for any spinning operator in a CFT. Holographically this implies that in a classical gravitational theory any non-minimal coupling to the graviton, as well as any other particle with spin greater than or equal to two, is suppressed by the mass of higher spin particles.


Introduction
A useful way to chart distinct physical regimes in a gravitational theory is to study scattering as a function of energy S and impact parameter L [1][2][3], see also figure 1 in [4]. In flat space the relevant quantity, namely the phase shift δ(S, L), is related to the Fourier transform of the four-point scattering amplitude A(s, t = − q 2 ) with respect to the transferred momentum q, see also [5,6]. In AdS the phase shift is given by the convolution of the four-point function of local operators with proper external wave functions [7][8][9][10][11]. In this paper we adopt the approach of [11] where the phase shift δ(S, L) was shown to be given by a certain double Fourier transform of the Lorentzian four-point function to be discussed in detail below.
One motivation to study the phase shift comes from its relation to causality. Indeed, in AdS/CFT boundary observers can exchange signals either through the bulk or along the boundary. Microscopic CFT causality guarantees that the signals sent along the boundary are the fastest. In Einstein theory an analogous statement in the bulk is guaranteed due to the theorem of Gao and Wald [12]. More generally, signals in gravitational theories are delayed with respect to the asymptotic causal structure [13]. This fact could be used to constrain effective theories of gravity [14].
Another motivation is to have a more direct connection between the physics of bulk scattering and CFT correlators. This connection could be potentially useful in both directions. One can hope to use bulk intuition to get some insight into the CFT dynamics and conversely use non-perturbative CFT methods to say something nontrivial about physics in the bulk.
In this paper we will be interested in regimes where the interaction is weak δ(S, L) ≪ 1.
The behavior of δ(S, L) at large energies S ≫ 1 describes propagation of energetic particles through AdS and as such should respect the asymptotic causal structure. For interacting CFTs in d > 2 at large distances the interaction is generically controlled by the graviton exchange [15,16]. 1 One can show that this implies the following behavior for the phase shift: δ(S, L) = cSe −(d−1)L + ... , L ≫ 1 (1.1) which is simply the large impact parameter L asymptotic of the graviton propagator in the impact parameter space H d−1 . 2 The coefficient c is fixed in terms of the three-point coupling between the propagating probe and the graviton. Asymptotic causality implies that c ≥ 0, namely that gravity is attractive. When applied to scalar particles this is automatically satisfied due to unitarity. When applied to particles with spin this condition implies the positivity of the energy flux [20]. Recently this statement was proved using very different-looking methods [21][22][23][24][25][26].
For special theories the simple behavior (1.1) of the phase shift persists for much smaller impact parameters L > L * . These are theories with a large central charge T µν T ρσ ∼ c T ≫ 1 and a large gap ∆ gap ≫ 1 in the spectrum of higher spin operators [27]. We are interested precisely in this regime, namely large S and L such that the This regime was considered in [14] where it was shown that positivity of δ(L) ≥ 0 for L ≥ L * implies stronger bounds on the coupling of matter with spin to the graviton. In the limit L * → 0 the only allowed coupling is the one of Einstein gravity. Moreover, [14] argued that classically only higher spin particles could fix the problem. The same problem was addressed using CFT methods in [28] under the assumption that double trace operators could be neglected. Here we find that they are non-negligible in the Regge limit but drop out when we consider scattering in the impact parameter space.
There are two alternative ways in which the phase shift δ(S, L) could be computed in a CFT with a holographic dual: either using the shock wave geometry, or using the four-point correlation function. In the AdS analysis of [14] only the shock wave method was used; this was a computation done entirely on the gravity side. The purpose of the present paper is to provide a CFT computation of the phase shift, which is similar to the scattering amplitude computation in the case of flat space. A purely CFT description of the phase shift will facilitate computing corrections and will advance our understanding of the implications of [14] for generic CFTs. In particular, using CFT methods we can 2 For CFTs with scalar operators of dimensions d−2 2 < ∆ < d − 2 this might not be true. To avoid this we can imagine considering a target that does not couple to such light scalars. Also note that in the language of double twist operators O(∂ 2 ) n ∂ µ 1 ...∂ µ s O (1.1) corresponds to s ≫ n ≫ 1 [17,18,19].
compute the correction to the phase shift due to the tower of higher spin particles. This is achieved using conformal Regge theory [29] and does not have a simple bulk counterpart.
The rest of this paper is organised as follows.
In section 2 we review the construction of [11] for the phase shift δ(S, L). To define it, it is convenient to describe the wave function of each operator in its own Poincare patch.
The corresponding conformal transformation is standard in the context of Regge theory and appeared in several works, for example [30,20,11].
In section 3 we consider a simple example of the Witten exchange diagram and discuss its different limits. In particular we describe in detail the structure of the correlator before and after the Fourier transform and the role played by the double trace operators. The result for the phase shift in this case is what one gets from the shock wave computation in the bulk [14].
In section 4 we use Conformal Regge Theory to compute the high energy limit of the phase shift δ(S, L), which is related to the Regge limit of the four point function in CFT [29]. We consider a four-point function which involves spin one operators J µ . We give an expression for the phase shift, assuming that the Regge limit is dominated by a Regge pole. 3 Next, we compute the contribution of the stress tensor to the phase shift; the result is effectively the same as the spinning Shapiro time delay of [14] that was previously computed using shock waves in AdS. This time, however, we can compute the correction to it due to the tower of higher spin particles and explicitly see how the gravity computation breaks down.
In section 5 we study constraints on the bulk phase shift and leading Regge trajectory arising from unitarity and causality. In the infinite gap limit we obtain the constraints of [14]. Similarly to previous work, we derive a parametric bound on J µ T ρσ J ν when the gap is finite. This is related to the fact that the minimal impact parameter for which one can run the argument to constrain the three-point coupling depends on the energy S * for which our approximation is reliable, i.e., . Considering impact parameters of order 1 ∆ gap requires S ≫ ∆ 2 gap . In this way we get 4 where β 4 is the combination of the coefficients in the three-point function J µ T ρσ J ν which corresponds to the non-minimal coupling to the graviton. We also obtain the corresponding expressions for non-conserved, spin one operators. The bound for any spinning operator should be similar.

Bulk Phase Shift
In this section we introduce the bulk phase shift. It describes 2 → 2 scattering at fixed impact parameter in AdS. In Minkowski space the phase shift δ(s, b) is given by the Fourier transform of the scattering amplitude 1 s A(s, t = − q 2 ) with respect to the transferred momentum, q. Here both the transfer momentum, q, and the impact parameter b, belong to the transverse space R d−2 . We describe the analogous AdS kinematics below.
Let us first review AdS d+1 space in the embedding coordinates: (2.1) The conformal group generators are simply the SO(2, d) while, δZ A = iM AB Z B . The embedding coordinates of (2.1) are related to the usual, AdS, global coordinates by Z 0 + iZ −1 = e iτ coshρ, Z i = n i sinhρ, n 2 = 1, i = 1, ..., d.

(2.2)
To approach the boundary we take ρ → ∞. Then (τ, n) label points in the boundary CFT.
In the embedding space points on the boundary correspond to Z 2 = 0 together with the identification Z ∼ λZ.
We imagine a situation where two excitations start at τ = − π 2 on the antipodal points on the sphere, collide at τ = 0, 5 5 Notice that this statement does not assume bulk locality. The fact that τ = 0 is the first instance when excitations can interact follows from boundary causality [31]. where we only wrote the non-zero Z A components. For the points above, Z 2 = 0, since all of them belong to the AdS boundary.
It is useful to introduce different Poincare coordinates around the boundary points above. It helps to understand symmetries of the problem. Choosing a Poincare patch for each point, corresponds to splitting R 2,d into M 2 × M d [11,17] , where M 2 is specified by a pair of orthonormal null vectors K A andK A , such that K 2 =K 2 = 0 and −2K.K = 1, then we have  [17,32] M µν =M µν , (2.6) Here the indices µ, ν span M d .
We are now ready to describe the Poincare patches associated to points (2.3). It is convenient to describe them using (2.5) which take the form Past Poincare horizons of the patches P 3 and P 4 and future Poincare horizons of P 1 and describes the transverse impact parameter space in which we separate the colliding particles.
We are interested in the wave functions for the boundary operators such that the state in the bulk is localized in H d−1 . As explained in [20] these are just plane waves in the corresponding Poincare patches. Indeed, let us consider for example the wave function of an eigenstate of the bulk isometry associated to the four-momentum P µ The Poincare horizon corresponds to K.Z = 0 where the generator simplifies and the momentum eigenstate has the wave function where Z refers to Z i with i = 2, .., d. The eigenvalue is In terms of boundary CFT this corresponds to the four-momentum p µ = P W µ , where p 2 = −P 2 and W µ is the unit vector (2.8) W 2 = −1 that specifies the direction of the four-momentum. We will consider time-like momenta p 2 < 0.
Notice that the isometry that we call P µ depends on the choice of K A and is different We will refer to L as the impact parameter and it is the same L that appeared in the introduction.
Similarly, we can introduce energy of the collision On the scales small compared to the AdS radius this coincides with the usual Mandelstam s.
We now imagine elastic scattering of two particles at fixed impact parameter space in AdS, see [11]. In light of kinematics described above a natural object to consider is the following. We start with the four-point function where as usual and operators are ordered as written.
To introduce the phase shift we introduce corresponding Poincare patches where the subscript stands for the operator insertion y i with i = 1, .., 4. This coordinate transformation is common in considerations of the Regge limit. After doing the coordinate transform we set x 1,4 = ± x 2 , x 2,3 = ±x 2 . Notice that in this way the correlator (2.14) is time-ordered.
For reader's convenience let us present the explicit transformation formulas (2.17) In these formulas we take x µ andx µ to be future-directed time-like vectors. This implies that x + ,x + > 0 and x 2 < 0 andx 2 < 0. Moreover, the spacelike y 2 ij in the original coordinates corresponds to timelike x 2 after the transformation, e.g. y 2 14 = − 4x 2 (x + ) 2 . Below we will consider more general x andx which could be both spacelike and timelike.
The conformal mapping (2.16) yields (2.18) where in the LHS each operator is inserted in its own Poincare patch as described above.
The cross ratios in terms of new variables take the form (2.19) Next, as reviewed above, we do the transformation to the impact parameter space In doing the Fourier transform we have to specify the iǫ prescription. The prescription is dictated by the ordering of operators and in this case takes the form x 2 → x 2 − iǫx 0 and similarly forx 2 .
which translates using (2.20) into This simmetry together with Lorentz invariance implies that where S and L were defined in (2.13) and (2.12). B 0 (p,p) is the Fourier transform of the disconnected part φφ ψψ The unity in (2.23), therefore, describes a free propagation in AdS. The phase shift δ(S, L), on the other hand, describes interaction. We will be interested in the scattering of energetic probes, namely S ≫ 1. The physical picture in this case depends on the impact parameter L.
In this paper we focus on impact parameters for which the dominant contribution to the phase shift is due to the graviton exchange where Π d−1 (L) is the propagator in H d−1 and ... stands for subleading corrections. For a generic CFT we expect L * > R AdS , but for theories with large gap or local bulk dual we could have L * ≪ R AdS .
In the present paper we analyze (2.25) using CFT methods. The high energy limit S ≫ 1 of the AdS phase shift δ(S, L) is related to the Regge limit and we assume that the relevant singularity in the J plane is a pole. In this way the corrections to the simple gravity formula (2.25) are dictated by the properties of the leading Regge trajectory.

Phase Shift for Spinning Operators
Below we will be interested in correlation functions of operators with spin as well. For simplicity we focus on the case of two spin one operators and two scalars. A natural object to consider in this case is the following where the polarization tensors are defined in the corresponding Poincare patch. To relate to the original coordinates we get the following expression for the polarization tensors So that in the original coordinates we have Next we consider the Fourier transform as above As before it will be convenient to separate the contribution of the disconnected piece B mn 0 . We set where g(∆) = 2 ∆ J −d/2 ∆ J −1 and study the bulk phase shift matrix δ mn (p,p) defined by where η mn denotes the Minkowski metric.

Conformal Blocks and Particle Exchanges in AdS
In this section we consider a simple example of a particle exchange in AdS that allows us to illustrate some ideas which we develop further in the paper in more generality. We review notions of the Regge and the bulk point limits. We compare the behavior of the corresponding Witten diagram to the behavior of a single conformal block in these limits. 6 The block and the AdS diagram differ by the contribution of an infinite series of double trace operators, see e.g. [33], which is non-negligible in the regime of our interest. We then transform the result to the impact parameter space and reproduce the high energy limit of the phase shift that is obtained from the bulk considerations [14].
The result is that both the block and the Witten diagram develop the same singularity in the Regge limit. However, the bulk point limit behavior is very different. The conformal block is singular in the bulk point limit, whereas the Witten diagram is regular. The difference is important to us because as we review below the result for the Regge limit of the correlator that is produced by a Regge pole is similar to the exchange diagram and is regular in the bulk point limit. This fact will be important for the discussion of bounds on the Regge limit coming from causality and unitarity.
Next, we consider the transform to the impact parameter space in AdS. This was done in [11] and we review it below. The Regge limit is related to the high energy behavior of the phase shift. The crucial observation is that upon the transformation to the impact parameter space the contribution of double trace operators effectively cancels and the phase shift is controlled solely by the quantum numbers of the particle that is being exchanged in AdS. In this way the simple result of the bulk computation is reproduced.

Basic Kinematics
Consider the four point function of scalar operators  It is convenient to discuss the kinematics in terms of the partial amplitude A(z,z) or rather where ψ(∞) = lim y→∞ y 2∆ ψ ψ(y).
The correlator G(z,z) admits an expansion in terms of conformal blocks in three different channels [21,23] s − channel : G(z,z) = (zz) − 1 |z| > 1, (3.5) where the sum runs over an infinite set of primary operators that appear in the corresponding OPE channel. The expressions for conformal blocks can be found for example in [34].
There are several limits of this correlator that are usually discussed. These include light-cone, Regge and bulk point limits. We first review the behavior of a single conformal block in each of these limits. Let us describe the limits of interest in detail.
The simplest limit to consider is the light-cone limit, In the t-channel OPE this limit is controlled by the lowest twist operators that contribute To approach the Regge limit we continue z around 0 and then send both z,z → 1 Regge : where ze −2πi indicates that we have to analytically continue G(z,z) before taking the limit. To analyze the Regge limit, it is convenient to introduce the following coordinates following [29] 1 − z = σe ρ , 1 −z = σe −ρ . (3.8) The Regge limit corresponds to σ → 0 limit with ρ held fixed. Notice as well that our choice of points corresponds to σ < 0. In this limit both the single trace and double trace operators are important.
By the bulk point limit we loosely mean Bulk point : z →z, (3.9) or ρ → 0 in the notations of (3.8). When talking about (3.9) we have to specify on which sheet and along which path we approach z =z point. We will be interested in (3.9) after analytic continuation (3.7). The limit considered in [31] corresponds to the same contrinuation for z as above in the consideration of Regge limit supplemented by the continuation ρ → ρ ± iπ which makes z andz negative see.

Limits of the t-channel Conformal Block
Imagine that in (3.2) there is an operator with dimension ∆ and spin J being exchanged in the t-channel φφ ∼ O ∆,J ∼ ψψ. We would like to evaluate the contribution of one t-channel block in the Regge limit. Notice that the t-channel OPE does not converge in the Regge limit and at the end we will have to use Regge theory to analyze the t-channel physics.
Let us first consider this exercise in d = 2, 4. The conformal blocks in the t-channel expansion (3.2) are given by 7 (3.10) Notice the behavior of the blocks before analytic continuation. In the light-cone limit z → 0,z fixed, the block behaves as g ∆,J (z,z) ∼ z ∆−J 2 and is controlled by the twist τ = ∆ − J of the operator. In the limit z,z → 0 the block behaves as g ∆,J (z,z) ∼ z ∆+J 2z ∆−J 2 + c.c and is controlled by the dimension of the operator ∆. In the bulk point limit z →z on the principal sheet the blocks are regular.
To approach the Regge limit it is useful to recall the analytic continuation of the hypergeometric function 8 Using this identity we can find the leading order behavior of the conformal block in d = 2 and d = 4. The result is where we suppressed the constant of proportionality which is irrelevant for us. Let us pause for a moment and contemplate the result (3.12).
First, these examples show the generic feature of the behavior of the conformal block in the Regge limit This is what makes it hard to approach the Regge limit using the standard OPE technique.
The contribution of a given primary is controlled by its spin J and operators with higher spin dominate.
Second, the behavior in the bulk point limit ρ → 0 depends on the number of dimensions d. With some hindsight the behavior of the block is where in d = 3 the singularity becomes logarithmic.
The expression in general d could be found using the Casimir equation [34]. 9 The .

(3.16)
We see that each conformal block is singular at ρ = 0. This singularity is purely kinematical. It could be thought as coming from an infinite volume of H d−1 in AdS which describes the center of the collision and not from the small impact parameter. The full correlator is regular in this limit [31].
The Regge limit of the stress tensor conformal block with external spinning operators was analyzed in detail in [28]. This conformal block alone, however, does not control the Regge limit of the correlator as we will see shortly.

Exchange Witten diagram
We would like to contrast the behavior we found above for one conformal block with the behavior of the corresponding Witten diagram fig. 2. We imagine an exchange of a particle 10 The propagator satisfies the following equations where dots stand for the ∂ ρ derivatives.
with quantum numbers the same as above, namely dimension ∆ and even spin J. As discussed in detail in [33] an exchange in the bulk when decomposed in terms of conformal blocks (3.2) contains two types of contributions: single-trace operator conformal block g ∆,J ; corrections to the anomalous dimensions of double trace operators that, schematically, could be written as φ∂ 2n ∂ µ 1 ...∂ µ s φ and ψ∂ 2n ∂ µ 1 ...∂ µ s ψ with s ≤ J.
The precise result for the Witten diagram depends on the details of the three-point coupling in the bulk. However, in the Regge limit the answer is universal (see for example, the appendix A.3 of [29]). The relevant expressions in [29] are given in terms of the Mellin amplitude associated to a given Witten diagram, but they can easily be rewritten as follows where A AdS (σ, ρ) denotes the contribution of the Witten diagram depicted in Fig.2 to the reduced amplitude A(σ, ρ) and 11 where the harmonic function Ω iν (ρ) in the hyperbolic space H d−1 is defined in appendix A and K ∆,J could be found, for example, in eq (41) of [29].
It is important to note that Ω iν (ρ) is regular at ρ = 0. To see this one can simply where further corrections are again polynomial in ν 2 and ρ 2 . We can now estimate the behavior of the integrand (3.18) at large ν, we have Due to the exponential suppression produced by the γ(ν)γ(−ν) the integral converges at large ν and the result is an expansion of the type ∞ n=0 c n ρ 2n . In contrast to (3.14) we have in this case To connect with the previous section notice that One can, in principle, substitute this into (3.18) and compute the integral. The contribution due to the pole at gives precisely the conformal block of the exchanged operator (3.12). Note that it is singular in the ρ → 0 limit. At the same time, contributions due to the double trace poles contribute corresponding conformal blocks as well (with some non-vanishing coefficients). The total result is regular in the ρ → 0 limit as shown above. Hence, the double trace operators precisely cancel the singular ρ → 0 behavior of the stress-tensor conformal block. More generally this cancelation follows from the s-channel OPE, see section 6.3 in [31].
In contrast to a single conformal block the exchange Witten diagram generates a consistent solution to the large N crossing [27]. We can think of the effective Lagrangian which contains two scalar fields dual to φ and ψ and the cubic coupling of this field to the dual of the exchanged operator O ∆,J . It also serves as a correct model for the Regge pole in a CFT as we will review in the next section.
Another little comment is to notice that if we consider the bulk point singularity region by analytically continue (3.17) ρ → ρ ± iπ it does become singular for small ρ in accord with general arguments presented in [31]. To see it explicitly let us consider d = 4. In this case Ω iν (ρ) ∼ ν sin νρ sinhρ . This develops a singularity at ρ = 0 upon continuation ρ → ρ ± iπ.

Impact Parameter Space
As explained in the previous section, to make a more direct connection with the bulk it is useful to transform the correlator to the impact parameter space [11]. The starting point is the correlation function (2.18) obtained from (2.14) via (2.17). To determine the reduced amplitude holographically, we simply need to add the contribution of the disconnected piece to the Witten diagram result (3.17) of the previous section. Before performing the Fourier transform we must relate (σ, ρ) or (z,z) with (x,x) in the Regge limit which corresponds to small (x,x). With the help of (2.19) one finds that where (x,x) label points in Minkowski space and ... in the formula above stands for terms that are higher order in (x,x). 12 As a result, the reduced amplitude in the Regge limit, including the contribution of the disconnected piece, is (3.24) In the formula above both x andx are future-oriented time-like vectors. Next we perform the Fourier transform (2.20) with A(x,x) obtained from (2.18) after substitutution of the partial amplitude A(x,x), from the formula above. To perform the integral, it is useful to recall the following identity, for the derivation see appendix A, where a = 2∆ φ + J − 1, b = 2∆ ψ + J − 1 and M + stands for the future Milne wedge, defined as follows Using the representation (3.25) it is trivial to do the Fourier transform. Notice that the factors (−1) J−1 cancel out. We get Neatly all the double trace operator poles coming from the γ(ν)γ(−ν) are gone. As we explained above without the γ(ν)γ(−ν) pre-factor we cannot expand the integrand for small L. Indeed, in this limit the integral diverges at large ν. This signals that the phase shift is singular for small L. Similarly, we cannot close the contour at infinity because Ω iν (L) grows exponentially both in the upper and lower half-plane. A better way to do 12 We use mostly plus convention.
the integral is to use (3.22). The advantage of this representation is that Π iν+ d 2 −1 (ρ) decays in the lower half-plane. We can use the symmetry of the integrand ν → −ν to see that both terms contribute equally and then we can close the contour in the complex plane by picking the contribution from the pole in the which is exactly what one gets in the bulk [14].

Double Trace Operators and The Bulk Phase Shift
It is natural to pose a question how the asymptotic of the correlator from the previous section is reproduced using the OPE in the φψ s-channel. This problem was solved in [8]. Let us quickly review their construction. On general grounds we know that the result should be reproduced from an infinite sum over double trace operators that we can schematically denote as φ∂ 2n ∂ µ 1 ...∂ µ s ψ which have spin s and dimension ∆ n,s = ∆ φ + ∆ ψ + 2n + s + γ(n, s).

Let us introduce new variables for the quantum numbers of double trace operators
The result of [8] is that the operators that reproduce the result of the previous section have the following property In other words the Regge limit is reproduced by the large spin and large twist operators with their ratio related to the impact parameter in the bulk. Conformal blocks simplify in this limit and the leading contribution to the correlation function takes the form 13 where I h,h (z,z) is the expression for the conformal block to together with the tree-level three-point couplings in the limit (3.29) see appendix A. One can show that the correct identification that relates this expression to the previous section is In these variables the s-channel conformal block weighted by the three-point function of generalized free field theory takes the following form, see appendix C, In this form it is trivial to take integrals over h andh As as result we get the following expression for the correlator where S and L are related to the original quantum numbers through (3.32). To relate to the phase shift we can rotate p → −ip andp → −ip, so that S → e −iπ S. In this way we For the simple case of Witten diagram (3.36) simply becomes γ(S, L) = − δ(S,L) π . A detailed microscopic analysis of AdS exchanges can be found in a recent paper [36].
This example gives a nice interpretation for the phase shift in case of a simple exchange in the bulk in terms of anomalous dimensions of double trace operators. Notice that in this particular example the phase shift is purely real which corresponds to the fact that the scattering is elastic. In this case in the s-channel it is reproduced via double trace operators only. More generally, the phase shift will be complex and in the s-channel new single trace operators will be important as well [37]. It corresponds to inelastic effects in the bulk. It would be very interesting to understand the mapping between the phase shift and the s-channel data beyond the simple elastic regime considered in this section.

Conformal Regge Theory in the Impact Parameter Space
In this section we start by briefly reviewing conformal Regge theory. We take the usual steps reviewed in detail in [38,39,29]. We consider a large N CFT and focus on a planar correlator. We assume that the leading singularity in the J plane is a pole. The outcome of this analysis is an expression for the contribution of the Regge pole to the correlation function. We then consider spin one operators and generalize the usual conformal Regge analysis to this case. For a previous discussion see [11].

Conformal Regge Theory in the t-channel: Scalars
On the principal sheet the t-channel blocks have the usual asymptotic, but the continuation z → e −2πi z has a dramatic effect on the t-channel blocks which develop 1 (1−z) J singularity in the z → 1 limit. The t-channel OPE becomes divergent and is not reliable away from the light-cone limit z → 1 withz held fixed. The way to deal with this is the subject of Regge theory and we briefly review it here, using our notations.
Our starting point is the scalar correlator where again As explained above, it will be useful to use different Poincare patches (2.16) for each operator insertion. The conformal mapping (2.16) yields and the cross ratios take the form (4.4) It will be useful to keep in mind that with the specific kinematics, when x 2 andx 2 are future timelike, σ < 0. The leading term in this equation gives (3.23), but we will need subleading terms as well which could be easily computed using (4.4).
We now quickly review the standard argument of [38,39,29]. A convenient starting point is the partial wave expansion of the correlation function where the partial waves are given by a sum of the corresponding conformal block and its shadow with a particular relative coefficient: (4.6) Here K ∆,J is a known function and its explicit form could be found, for example, in eq (41) of [29]. In the Regge limit the partial waves take the following form where we wrote only the leading contribution in the small σ limit. Notice that (4.5) together with (4.7) are identical to the Regge limit of the Witten diagram At the same time the partial wave expansion is closely related to the OPE and integral over ν is what substitutes the usual sum over dimensions. Indeed, substituting (4.6) into where we used the symmetry of the integrand under ν → −ν which explains the origin of the factor of 2 in (4.8). Next we notice that g decays exponentially in the lower ν-plane, which means that we can close there the contour of integration.
We recover the usual OPE, provided that partial amplitudes, b J (ν 2 ), have the following with residues given by: There are also poles in κ ν,J at the following positions 14 where n ≥ 0 is an integer. In finite N CFTs these should be canceled by zeros in b J (ν 2 ).
On the other hand, in large N CFTs poles (4.11) correspond to the contribution of double trace operators and are physical. In this way, for planar correlators in the large N limit, Fig. 3: Contour Deformation. We switch from the sum over spins J to a contour integral. We then deform the contour and pick the contribution from a singularity with the maximal Re[J ], which we assume to be a pole.
b J (ν 2 ) is finite for ν satisfying (4.11) and has poles only at the position of single trace operators. Indeed, this is what we observed in the Witten diagram example. 15 The starting point of Regge theory is an idea that similarly to the sum over dimensions we can turn the sum over spins into an integral J → C dJ 2πi 1 sin πJ , where the contour of integration goes around the real axis. 16 This requires analytic continuation of the partial amplitudes away from integer spins. In the context of scattering amplitudes this is achieved via the so-called Froissart-Gribov representation [38]. In the context of CFTs, this analytic 15 The partial waves defined here differ from those in [39] by an overall factor of 2κ ν,J and by those defined in [34] by a factor equal to 4 J −1 πγ(ν, J )γ(−ν, J ). In both cases, the overal factor includes the product γ(ν, J )γ(−ν, J ) with poles at the positions of double-trace operators. This choice for the partial waves, which is natural from the point of view of the Mellin representation [29], is more convenient when dealing with large-N theories. 16 There is a usual subtlety that odd and even spins should be treated separately. Here we have only even spins due to our choice of the correlator.
continuation was recently achieved in [39]. Here we simply assume that such continuation is possible. 17 The crucial step is then to deform the J contour from C to C ′ (see fig. 3) and notice that in the Regge limit the singularity with the maximal Re[J] will dominate. In this paper we assume that this singularity is a pole. It would be nice to understand how robust is this assumption, at least in the context of large N theories. The common belief states that it is always the case in large N CFTs.
The leading singularity is related to the so-called leading Regge trajectory, namely the set of operators ∆[J], with maximal spin for a given dimension. The stress energy tensor operator corresponds to J = 2. The corresponding singularity in the J-plane appears at where the residue of this pole is again related to the analytically continued three-point coupling due to (4.9). In the context of large N theories these could be either single trace or double trace operators. As we will see singularities due to double trace operators disappear upon taking the Fourier transform. Henceforth, we focus on the leading contribution coming from single trace operators.
In our case, only even spin operators are being exchanged in the t-channel. At the same time, t-channel blocks satisfy the identity [34]: With the help of this identity, we can express the sum over even integer spins as an integral (4.14) A similar expression could be found, e.g., in [30]. Close to the pole, the partial wave 17 Some subtleties related to this procedure are discussed below in section 5 when we discuss fixed singularities and finite subtractions.
where r[∆(j(ν)), j(ν)] represents the analytic continuation of the residue. We deform the contour from C to C ′ , see fig. 3, and pick the contribution of the leading Regge trajectory pole using (4.15). The correlation function in the Regge limit takes the following form [29] where by construction j(ν) = j(−ν). 18 This looks very similar to the bulk exchange diagram. The main difference is that instead of a fixed spin J we have j(ν), namely the spin is a nontrivial function of the scaling dimension which is dictated by the solution of (4.12) over which we have to integrate.
Using the Fourier transform to the impact parameter space we find that the phase shift is equal to: Note that the pre-factors γ(∆(j(ν)), j(ν)), which contain the contribution from the double trace operators in the Regge limit, do not enter the result for the phase shift.

Conformal Regge Theory in the t-channel: Vectors
We are now ready to compute the Regge limit of the correlator which involves two vector operators (3.31): (4.18) 18 Our expression for α(ν) differs from eq.(57) of [29] by an overall factor of −2 j(ν)+2 .
As explained in [40,41] this correlator can be decomposed into conformal blocks which are related to the scalar conformal blocks by the action of certain differential operators: where the functions G k,O (u, v) are proportional to the scalar conformal blocks (their explicit definitions, together with those of the differential operatorsD mn k , can be found in Appendix D).
The action of the operatorsD mn k can be written in a convenient basis are the conformally covariant structures defined in [40,41] and the f i 's are known functions involving derivatives acting on the relevant scalar conformal blocks. Both the Q (k)mn and the f i 's can be found in appendix D. At this point the problem becomes identical to that of the scalar correlator, the only difference being the presence of the differential operators.
Repeating the steps of the previous section, this time for the case of vector operators, we arrive at the following result (for technical details regarding this computation please refer to appendix E) are differential operators defined as follows: (4.24) Fourier transforming (4.23) to the impact parameter space we obtain an expression for the phase shift where the differential operatorsD mn k arê D mn 26) and the β k (ν) are linear combinations of the residues r k [ν, j(ν)] whose explicit form can be found in appendix F.
Formulas (4.23) and (4.25) are the main results of this subsection. We will use them to understand what constraints can be obtained in the Regge limit from Rindler positivity and causality.

Contribution of the Stress Tensor Pole
In this section, we evaluate the contribution to the phase shift δ(S, L) from the stress-tensor exchange. First, we consider the simple case of the scalar correlator, where the phase shift is given by (4.17). The starting point is an expansion close to the pole following from consistent with j(−i d 2 ) = 2. In this case, we expect that r[∆(j(ν)), j(ν)] ≃ r[∆ = d, j(ν) = 2] + · · · ≃ λ φφT λ ψψT K d,2 . (4.28) Using (4.27) we find: This leads us to following expression for the phase shift that corresponds to the graviton pole: Let us now consider the correlation function of section 4.2 with vector operators. We can work out this case in precise analogy to the scalar case, the only difference being the presence of four different structures. It is easy to see that instead of (4.30) we now find We can evaluate the β k (ν) at the graviton pole, with the help of (4.27) and (4.32) together with (F.11-F.15) and (E.14). It will be convenient to express the result in terms of the coefficients (n s , n f , n 3 ) which parametrize the three-point function JJT in the "free field" basis. The first two parameters, correspond to the number of scalars and fermions of a free theory, whereas n 3 is related to the other two via the Ward Identity of the stresstensor: . Clearly, n 3 vanishes for conserved currents J. This change of parametrization is easily achieved using (D. 19). The result is 19 (4.33) 19 Recall that λ ψψT < 0.
For conserved currents with ∆ J = d − 1, eq. (4.33) reads: where we ignored constant factors which translate between the terms in the action and the three-point functions. As shown in [14] causality requires β 4 = 0 unless there are new states, which is equivalent to the absence of higher derivative terms in the effective action (a = c in the supersymmetric case).

Constraints on the Bulk Phase Shift and Leading Regge Trajectory
In this section we derive bounds on the bulk phase shift and the leading Regge trajectory from causality and unitarity. We use Rindler positivity to constrain the correlator in the Regge limit. This includes finite subtractions and fixed singularities. We use causality in the impact parameter space and Wightman functions positivity to place constraints on the phase shift δ(S, L). As an application we get parametric bounds on the three-point couplings of spinning operators.

Finite Subtractions and Particles That Do Not Lie on Regge Trajectories
In our treatment of the partial wave sum we were not very precise about the analytic continuation away from integer J's. Potentially, this continuation could be subtle.
To understand the problem it is instructive to quickly discuss the four-point scattering amplitudes in flat space.
The simplest example would be scattering in the φ 4 theory. The scattering amplitude, being a constant, has only J = 0 partial wave. Clearly, this is not part of the Regge trajectory and in the Froissart-Gribov presentation such polynomial terms enter as "finite subtractions" terms at infinity.
Similarly, we can consider φ 3 theory. In this case all partial waves are present and the Regge analysis of this scattering amplitude is analogous to section 2 of the present paper. Namely in the j plane it corresponds to the so-called "fixed singularity", namely j(ν) = const.
In exactly the same way we can have finite subtractions and fixed singularities in the conformal correlator. Polynomial terms correspond to corrections to the OPE data of purely double trace operators [27], whereas fixed singularities correspond to single trace operators that do not lie on the Regge trajectories (as in section 2).
In a recent paper [39] it was shown that in a generic CFT the OPE data that enters the expansion of the scalar correlator that we consider in this paper is analytic in spin of This justifies our use of the Regge theory for the stress tensor which is a part of the leading Regge trajectory.

Constraints From Rindler Positivity
For completeness let us quickly review the form of constraints coming from Rindler positivity (see [42,26] for more details). We work in the usual Minkowski space coordinates (y 0 , y 1 , y). The Rindler reflection is defined as follows (t, z, y) = (−t * , −z * , y) , where n t and n z is the number of t or z vector indices correspondingly. Let us define y ± = t ± z and complexified Rindler wedges as follows Positivity takes the form where the reader should take particular attention to the ordering of operators. The indices of spinning operators in the formula above are kept implicit.
Moreover, in deriving the bounds it is useful to consider correlators of the type AB to which Cauchy-Schwarz inequality applies As one can easily check the correlator of the type we considered in the previous sections, namely and ψ(y 3 ) = ψ(y 2 ). As a result, applying (5.4), we get where corrections to the disconnected part in the RHS come with positive powers of x,x and are irrelevant for everything we say below. Next we consider (5.6) in the Regge limit.
Let us emphasize again that the argument of this section applies only to x,x in the future Milne wedge. 20 If we analytically continue x → e iα x then y + y − stays intact (and similarlyx). We would like the points to stay in the complexified Rindler wedge. This constrains possible values of α. From (5.2) together with (2.17) it follows that α,ᾱ ∈ (− π 2 , π 2 ) . Moreover, for a given ordering as explained in [26] we would like the complexified point y 2 to be in the past light-cone of point y 3 (and similarly for points y 1,4 ). For small x andx this implies that α,ᾱ < 0.
First, let us understand the constraints we get from (5.6) on finite subtractions and fixed singularities in the context of large N CFTs. Without loss of generality we focus on the case of scalar correlators. In the Regge limit, we keep ρ fixed and send σ → 0. Both fixed J singularity or contact interaction in AdS (finite subtraction in the CFT language) produce 21 where an extra minus sign is due to the fact that the correlator ( In practice this means that all higher spin particles belong to Regge trajectories and that any finite subtraction terms (e.g. purely double trace solutions to the bootstrap equation in the context of large N theories [27]) must satisfy the same positivity constraint f (ρ) ≥ 0.
Next let us discuss constraints on the leading Regge trajectory j(ν). Recall the result for the correlator in the σ → 0 limit For small σ the integral is dominated by the minimal value of j(ν), which according to (5.8) satisfies j(ν) ≤ 2. The usual assumption is that the integral is dominated by ν = 0.
In this case the asymptotic is controlled by j(0) which is related to the Lyapunov exponent for out-of-time ordered correlators in Rindler space as λ L = j(0) − 1 [43].
Notice that taking the limit ρ → 0 does not lead to any new constraints because the relevant function Ω iν (ρ) is regular in this limit as explained in section 2. This regularity is the consequence of double trace operators that are not negligible in this limit, see also discussion in appendix D of [28]. The same is true for the polynomial corrections which are regular in ρ. To make connection with the work of [14] we consider causality in the impact parameter space.
For vector operators, the picture is similar. When ρ → 0 there are no new constraints because there is no singular behavior in this limit. At large ρ, fixingx = (1, 0, 0, 0) Rindler positivity leads to "half" of the Hofman-Maldacena constraints, just as in [22]. 21 As shown in [43] for Arg[σ] = π 2 the correlator is real.

Causality in the Impact Parameter Space
The Rindler positivity argument is completely rigorous but it does not allow us to probe the scattering at fixed impact parameter. Indeed, to compute the bulk phase shift δ(S, L) we are making the Fourier transform which involves probing spacelike x andx corresponding to configurations of points that live outside of the original Rindler wedges.
This is in accord with the work of [31] where scattering in the bulk was probed by studying the correlator in the regime x 2 ,x 2 > 0.
Microscopic CFT causality states that [ψ(y 1 ), ψ(y 2 )] = 0, y 2 12 > 0 (5.11) for spacelike separations y µ 12 . The condition (5.11) is an operator equation and, thus, should be true inside any correlation function. In particular, if we consider the correlation Using the impact parameter representation for the correlator we get f p (x) = M + dp e −ipx B 0 (p,p)(1 + iδ(S, L)). The conditions when it is possible were discussed in [14]. In the present context this corresponds to considering a multiple insertions of φ with properly arranged wave functions Of course, given an abstract CFT a separate argument is needed that the exponentiation could be actually achieved. 22 In [14] this projection was achieved by considering coherent states.

The exponentiation in a large N, large gap CFT is natural from the point of view
of the s-channel due to the relation of the phase shift to the anomalous dimension of the double trace operators γ(n, s) which do exponentiate as e −iπγ(n,s) . But in this case to keep δ small but finite we would have to scale S with N 2 since δ ∼ S N 2 . This is the so-called eikonal regime and was studied, for example, in [7,8,9,44].
In the regime of our interest, namely when the phase shift is purely real and is given by δ(S, L) = Sδ(L) + ... (5.15) we get after the exponentiation As usual we writep = tw with w 2 = −1 and integrate over t. As a result we get We would like to require that f p (x) does not have a discontinuity for time-likex (recall that time-likex correspond to spacelike y in the original coordinates). Without loss of generality we can set x = 0. Then the discontinuity is given by namely if for some w we haveδ(L) < 0 we get a problem. In this way we get the condition of [14]δ In the same manner we can diagonalize the bulk phase shift for vector operators and run the same argument.
Let us emphasize again that in this section we assumed that the phase shift takes the form (5.15), namely that it is dominated by the graviton exchange.

Scattering Bound from Unitarity
It is instructive to see how unitarity constrains the bulk phase shift δ(S, L). Let us consider a CFT quantized on the Lorentzian cylinder. We imagine φ and ψ to be real scalar primary operators. We would like to consider a state by acting on the vacuum with the pair of operators Then positive definiteness condition of Wightman functions state that [45,46,42,47] where operators are ordered as written and the integration is over the Lorentzian cylinder. We where U implements inversion on the sphere n → − n and we evolve the state by global time π. 23 By considering Ψ ′ |Ψ we get the situation considered in the paper, see fig. 1. where we imagine x inserted in Poincare patch P 1 andx in Poincare patch P 2 . The Cauchy-Schwartz inequality (5.24) takes the form

This correlator can be bounded using the Cauchy-Schwarz inequality
where sub-indices P i refer to the insertion in the corresponding Poincare patch as in fig. 1.
In the large p andp limit the correlator in the LHS of (5.26) takes the form 24 whereas in the RHS we have the correlator which is dominated by the disconnected piece plus corrections suppressed by p −1 ,p −1 .
The bound then takes the form where by ... we denotes terms that are suppressed in the large momentum limit. With the wave functions being wave packets centered around p,p the bound becomes |1 + iδ(S, L)| ≤ 1 + ... , (5.29) where ... denotes the terms suppressed in the large S ≫ 1 limit. We got the bound for real S and it is only useful for terms in δ(S, L) which are growing with S because this terms are absent in the RHS of (5.29). 25 In contrast to (5.19) the bound (5.29) should be true for any L and does not require δ(S, L) to be real or linear in S. 24 As explained in section 2 of [11] in the Regge limit this follows from symmetries. Namely the fact that translations in the patches P 1 and P 4 act as special conformal transformations in the patches P 2 and P 3 and vice versa. 25 The bound (5.29) agrees with the discussion of [14] where the terms that do not grow with S failed to exponentiate. Here terms that do not grow with S are not constrained due to the analogous terms in the RHS.
In [14] using a semi-classical model of signal propagation it was observed that (5.29) should hold in the upper S plane. We could not derive this from the Cauchy-Schwarz inequalities above but it looks plausible that (5.29) is true in any CFT in the upper S plane. Before doing the Fourier transform this was achieved by means of Rindler positivity in the complexified Rindler wedge or using OPE, see the recent discussion in [26]. It is not immediately clear to us how to run these arguments after doing the Fourier transform.
We leave this problem for the future.

Bound on the Three-point Coupling
Let us now discuss the corrections to (5.15). First, we notice that when going to the Instead we are considering a different limit. We take S = S * ≫ 1 to be large and fixed and study the integral as a function of L. Linear dependence on S is a transient phenomenon which does not happen when S is either too large or too small. 26 To do the integral we use the symmetry under ν → −ν to rewrite it as follows We can deform the contour in the lower half-plane using the fact that Π iν+ d 2 −1 (L) ∼ e −iνL . To understand which ν's dominate we can use the saddle point equation When we deform the contour so that it passes through the saddle we may encounter some poles on the way when j(ν) crosses integer. These are particle exchanges in the bulk (see similar discussion in appendix E of [14]). Taking the limit L ≫ 1 pushes the contour further and as expected the Regge limit is simply dominated by the graviton exchange at large impact parameters.
We are interested in impact parameters L > L * for which the contribution from the saddle is sub-leading compared to the contribution from the graviton, namely where ǫ denotes the error to (5.15). Given S * we can consider (5.33) as an equation for ν * . Then plugged in (5.32) it gives L * as a function of S * . By construction ν * < −i d 2 so that the saddle lies above the graviton pole.
Next we evaluate the phase shift at the graviton pole, find its eigenvalues and impose that they are positive for L > L * which corresponds to the causality condition (5.19). For external vector operators the phase shift is a matrix δ mn (p,p) hence causality constrains its eigenvalues to be positive definite. To diagonalize the matrix, it is convenient to set p 0 = 1, p = 0 and then use the definition of the impact parameter coshL = − p·p √ p 2p2 and rotational invariance to express (p 0 , p) as: Next we study theories with the large gap in the spectrum of higher spin operators.
As we see below this leads to stronger bounds. For theories with a large gap ∆ gap ≫ 1 we expect the simple model to be a good approximation. This is a minimal ansatz that follows from j(ν) = j(−ν), j(±i d 2 ) = 2 and j(±i∆ gap ) ≃ 4. The general discussion regarding this form of the Regge trajectory could be found section 3.4 in [48]. Notice that this ansatz connects two different notions of bulk locality, namely maximality of chaos j(0) ≃ 2 and large gap ∆ gap ≫ 1.
where stands for parametric dependance on the gap ∆ gap ≫ 1.
To get a precise bound on the three-point coupling we, thus, need to understand better the energies S > S * for which we can run the present argument. Compared to the leading Regge trajectory the further corrections are suppressed by powers of S * . Moreover, to discuss the scattering at impact parameters L we should localize the scatterers at distances smaller than L. This requires S * L 2 ≫ 1. 27 This translates into the polynomial dependence of S * on ∆ gap . In this way we get 28 (5.40)

Bound on the Three-point Coupling from Inelastic Effects
Another way is to derive the same bound is to consider (5.29) for real S. In the context of large N theories when the phase shift is suppressed by 1 N this bound becomes We consider the case when the gap is large. A minimal ansatz is again where we omitted dependence on L that does not involve ∆ gap and will be subleading for the purpose of imposing (5.41). This result looks identical to the usual transverse spreading of the string . In our case it came out form the minimal ansatz (5.42).
We can now repeat the same exercise for external vector operators. Notice that taking the derivative with respect to the impact parameter ∂ L brings down a large factor ∆ 2 gap log S . Thus, again by choosing the proper polarizations we get from (5.41) as in the previous section. 27 See also the discussion in [14] where the same conclusion was reached. 28 Recall that in the discussion of the eikonal approximation log S * ∼ log c T . So if we are to use eikonal reasoning the bound would be slightly weaker.

Other Regge Trajectories
In the section above we neglected the contribution from the saddle as compared to the contribution from the graviton pole or, equivalently, the stress tensor. We should, however, discuss the contribution from poles other than the leading Regge trajectory. These other Regge trajectories correspond to non-conserved spin two single trace operators,T mn and its higher spin cousins. We can imagine that these new massive spin two particles will fix the problem.
As in [14] to address this possibility, we consider the four-point function of vector operators J m J a J b J n . The phase shift in this case takes the form To distinguish the contributions of two different, single trace, spin-2 operators -the stresstensor and a non-conserved one -to the phase shift in the infinite gap limit, we denote: where the dots represent terms suppressed by the ∆ 2 gap . The first line corresponds to the stress-tensor operator and the second to that of the non-conserved one. Focussing on the small impact parameter limit and considering various polarizations while imposing positivity of the phase shift leads to: which implies that β 4 =β 4 = 0. In other words, the contribution of non-conserved, spintwo, single trace operators can only make the problem worse and, thus, all the non-minimal couplings to massive spin two particles are bounded by the gap as well. Obviously, the same is true for non-minimal couplings to massive higher spin particles as well.

Conclusions
In this paper we studied a four-point correlation function of local operators in a CFT.
The external wave functions for operators were chosen to describe fixed impact parameter scattering in AdS. This corresponds to a particular Fourier transform of the correlator (2.20), which defines the phase shift δ(S, L) through (2.23). Here S is the energy of the scattering and L is the impact parameter. In principle, by changing S and L we can explore different physical regimes where stringy or gravitational effects become strong.
We focused on the simplest regime of large but fixed energies S ≫ 1 and large impact parameters L > L * for which the phase shift is dominated by the graviton exchange. In the bulk it is a familiar statement that at large distances massless particles with maximal spin dominate the interactions. From the CFT point of view it is due to the fact that stress tensor is generically a minimal twist operator of maximal spin that appear in the OPE.
By evaluating the contribution of the stress tensor to the phase shift we recover the bulk expressions of [14]. The fact that these expressions followed from considering the stress tensor exchange in a generic CFT is in accord with the bulk picture, where the shock wave computation is only sensitive to the three-point couplings of the probe to gravity. Our computation in this paper is the CFT analog of the scattering amplitude computation in [14].
Equipped with a CFT way to compute the phase shift we analyzed corrections to the gravity computation using Regge theory [29]. Assuming that the leading singularity in the J plane is a pole, the phase shift is given by ( Regge trajectory re-sums the higher spin states that were discussed in [14]. In particular, the phase shift δ(S, L) develops an imaginary part which corresponds to the production of stringy states which are dual to heavy single trace operators in a CFT.
We then analyzed constraints on the phase shift due to causality and unitarity. First, we focussed on the regime where the phase shift takes the simple form (5.15). Eq. (5.15) is expected to be true in a generic CFT for large enough impact parameters L and is dual to a single graviton exchange in the bulk. Assuming that we can exponentiate the phase shift, we derived the bound (5.19). This bound is identical to the one discussed in [14].
Next, we considered the bound on the phase shift due to unitarity. The result is (5.29) obtained for real S. This bound should be valid in any CFT d>2 and for arbitrary impact parameters. This agrees with the semi-classical unitarity analysis of [14]. In [14] it was, moreover, concluded that (5.29) should hold in the upper S half-plane. It would be very interesting to see if the argument that led us to (5.29) could be extended in this way.
We used these bounds on the phase shift to constrain three-point functions of spinning operators which led to the parametric bound (5.40). The conclusion is that any nonminimal coupling to the graviton, as well as any other particle of spin two or higher, should be suppressed by the gap in the spectrum of higher spin particles. 29 Having a non-perturbative, purely CFT definition of the bulk phase shift may lead to new insights into the gravitational physics at energies S and impact parameters L that are not easily accessible using bulk effective theory. Conversely, having a simple bulk intuition for δ(S, L) may shed new light into microscopic properties of CFTs. For example, one would like to study the bulk phase shift at smaller impact parameters (see e.g. the discussion in [3], [11]). At smaller impact parameters inelastic effects become important. The imaginary part of the phase shift that we found above corresponds to tidal excitations of the string.
At even smaller impact parameters, gravitational or 1 N corrections become important and a black hole is potentially produced in the bulk [49]. 30 It would be interesting to see if bootstrap methods, see e.g. [51,52] and references therein, could be used to chart various physical regimes of the bulk phase shift δ(S, L) in an abstract CFT.

Acknowledgments
We  29 These could be either classical stable resonances as in tree-level string theory, or two-particle states that appear in the loops as in QED. 30 In theories with j(0) < 3 2 this regime is believed to be absent [48,50].
which we derived for x 2 future-directed and timelike. We can rescale and rotate momenta in the RHS p → −ip,p → −ip to get γ(ν)γ(−ν)Ω iν (e.ē) Let us briefly comment in the iǫ prescription in the formula above. We derived the formula above first for timelike x 2 ,x 2 when analytically continuing to spacelike distances we have to specify the prescription how to go around the branch points. As reviewed in the bulk of the paper we shift x 0 → x 0 + iǫ,x 0 →x 0 + iǫ. In the RHS the effect of this shift is e −ǫp 0 (and similarly forp 0 ) which makes the integral convergent when we integrate over p's in the future Milne wedge M + for any x andx.

Appendix B. Choice of Coordinates
It is convenient to think of a CFT as defined on a universal cover of the projective Let us describe different coordinate systems. The global coordinate system corresponds to where n is the unit vector n 2 = 1 on the S d .
Let us review different coordinate systems that we used in the bulk of the paper [11].
The original y coordinates can be described as follows In other words, we can think of this patch as gauge fixing Z 0 + Z d = 1. Different "gauges" describe CFTs on spaces that differ by Weyl rescaling. We also introduce y ± = y 0 ± y 1 = The four Poincare patches discussed in the main text correspond to the following coordinates. For the transverse coordinates we get Whereas the light-cone coordinates take the following form Let us also recall how the AdS coordinate is introduced in each patch. In the embedding coordinates the AdS is given by In the original Poincare patch the radial coordinate is given by and in each Poincare patch we have Here we derive necessary formulas to understand the Regge limit for a small correction to generalized free fields. We have for double trace operators of spin s ∆ n,s = ∆ φ + ∆ ψ + 2n + s, Let us now consider conformal blocks in two dimensions. These are explicitly known and could be found for example in [33]. We take ∆ and J of the exchanged operator to be (C.1). In the limit ze −2πi ,z → 1 such that (1 − z)h 2 , h h and 1−z 1−z are fixed conformal blocks take the form We next apply it to the limit of the generalized free fields. In this case e −2πih = e −iπ(∆ O +∆ φ ) (−1) s and the three-point coupling coefficients take the form, see formula (43) in [53], The s-channel OPE takes the form We can now go from the sum to the integral to get We also got that the contribution from the δ(h −h) which is the spin zero operators is subleading in the z,z → 1 limit as expected.
It is instructive to rewrite the two-dimensional result (C.5) as an integral over the future Milne wedge M + . It is easy to check that Indeed, let us write M + dp = ∞ 0 dp + dp − and −p 2 = p + p − , we have then A beautiful result of [8] is that the formula (C.7) could be trivially generalized to d dimensions where the integral is now over the d-dimensional future Milne wedge.
Indeed, noting that

Appendix D. Vectors From Scalars
We start by considering the following correlator of vector operator J µ of dimension ∆ J and a scalar operator of dimension ∆ ψ .
J(ǫ 1 , y 1 )J(ǫ 2 , y 2 )ψ(y 3 )ψ(y 4 ) = A µν (y 1 , y 2 , y 3 , y 4 )ǫ 1µ ǫ 2ν (D.1) This correllator can be expressed as a sum over conformal blocks in the s-channel as follows: where the sum runs over operators O of specific conformal dimension and spin, and W O denotes the partial wave of the exchanged operator, including all the prefactors and the conformal blocks, normalized according to (D.1). The partial wave 31 is generally given by a sum of five terms 32 with the D ij as defined in [40][41], and Every term in the sum of (D.3) can be expanded as followŝ where the Q i denote the conformally covariant tensor structures Here we only consider the contribution of symmetric and traceless operators in the OPE. 32 Recall that D ij 1 (y 2 12 ) ∆ J +1 (y 2 34 ) ∆ ψ = 0 for any i, j = 1, 2.
defined as follows: Generally, only four out of five coefficients λ JJO,k are independent. In particular, λ JJO,4 = λ JJO,5 as a result of considering identical vector operators. To simplify the notation in what follows we will denote by λ k the OPE coefficients λ JJO,k . We hope that : (D.11) The parameters (λ 1 , λ 2 , λ 3 , λ 4 ) introduced here are linearly related to the (α, β, γ, η) which define the three-point function JJO in the basis of the conformally covariant tensor structures defined in (D.9): 12) The precise mapping between the parameters is given below: In particular, for the exchange of an operator O of conformal dimension ∆ and spin j ≥ 2, the conformal partial wave takes the following form with coefficient functions f i and λ 4 = λ 5 . For the specific case of interest, where the exchanged operator is the stresstensor operator, (D.14) can be also written as: 16) with coefficient functions f i (D. 17) In (D.16) we found it convenient to use as independent parameters, the constants n s and n f which determine the three point function JJO in the "free field" basis [54]. λ 3 is an additional parameter, related via the Ward Identity of the stress-tensor in JJT to the other two parameters n s , n f as follows [24]: 18) which clearly vanishes when the vector operators are conserved. To be specific, (n s , n f ) here are defined as in Appendix B.1 of [22], where the partial wave for the stress-tensor operator in d = 4 was also quoted. The OPE coefficients λ i are linearly related to the (n s , n f , λ 3 ): Starting from (D.1) we introduce the Poincare patches where the subscript stands for the operator insertion y i with i = 1, .., 4. After doing the coordinate transform we set x 1,2 = ∓ x 2 , x 3,4 = ∓x 2 . Note that this is a time-ordered correlator. The explicit transformation formulas are We take x µ andx µ to be future-directed time-like vectors, i.e., x + ,x + > 0 and x 2 < 0 and x 2 < 0. The conformal mapping leads to The cross ratios in terms of new variables take the form Notice that here σ > 0 as opposed to the main text.
Using (D.2) we can express (E.3) as: where the f i O are defined in (D. 15) and (u, v) are the conformal cross-ratios expressed in terms of (x,x) in eq (E.4). Herẽ To proceed we should rewrite the sum over the conformal dimensions of the exchanged operators as an integral over ν. To this end, one needs to define the corresponding partial waves F ν,J for vector operators. This is a straightfoward exercise; one simply replaces the scalar conformal blocks in (D.15) with the respective partial waves F ν,J (u, v). The corresponding partial amplitudes b j (ν 2 ) have the same exact form as in (4.9). For notational simplicity, we will henceforth denote byf i O the f i O resulting from replacing the conformal blocks by r k [∆, J]σ 1−J Ω iν (ρ). Repeating the procedure outlined in section 4.1 we arrive at: where α(ν) is defined in (4.16) and the index Regge denotes the Regge limit of the corresponding expression. We also seperated the contribution of the disconnected part which cannot be studied using Regge theory. Note the overall factor of e −iπ(1−j(ν)) compared to the main text, which can be traced to the opposite sign of σ. The factor can be completely fixed from the iǫ-prescription in σ and the identity (4.13) evaluated for the analytically continued blocks.
To obtain the explicit form ofQ (k)mnf i O (σ, ρ) in the Regge limit, we first replace the scalar partial waves with their leading Regge behavior, eq. (4.6), obtained after the appropriate analytic continuation 33 . The correct analytic continuation here involves transporting z around 1 counter-clockwise. The behavior of the scalar blocks and the partial waves will therefore be opposite to eq. (3.11). This is another way to understand the plus sign in front of the second term of (E.7). Next we evaluateQ (k)mn in the Regge limit, or We must keep subleading terms inQ (k)mn up to O(σ 2 ) because generally,f i O ∼ σ −1−j in the Regge limit.

A straightforward computation then yields
(E.9) 33 Note that the leading behavior of the scalar conformal blocks and their shadows is independent of the external operators' dimensions. In other words, the Regge behavior of g a,b O is the same for any a, b.
The differential operators L mn k are defined as: (E. 10) and ther k [ν, j(ν)] denote the analytic continuation of the residuesr k [∆, J] which are explicitly given by: Observe that the differential operators only depend on x since x 2 , − x 2 denote the positions of the vector operators.
Moving to the impact parameter representation, requires taking the Fourier transform of (E.9). This is most conveniently done after a change of basis such that: where the new differential operators x 2 D mn k commute with x 2 and are equal to: 13) and the r k [ν, j(ν)] are the analytic continuations of the r k [∆, J] given by: (E.14) Technically, the above change of basis is possible due to the following identities: x m ∂ m Ω iν (ρ) = 0 15) and the differential equation Ω iν satisfies (see also appendix A): where the dots denote differentiation with respect to ρ. The equations above allow us to find a simple relation relation between the differential operators L mn and D mn : We are now ready to discuss the Fourier transform to the impact parameter space. Before doing so, it would be useful to revert to notations of the main text. The correlator in the main text is time-ordered as here, the only difference being the definition of σ. To obtain the correct expression for the position space correlator in the Regge limit, we thus need to replace σ here by e iπ(1−j(ν)) σ there . For the correlator in the main text we thus have: Appendix F. The Regge Limit of J µ ψψJ ν in the Impact Parameter Space Here we discuss how to obtain the Fourier transform of the correlator A mn (x,x) in the impact parameter space: Our starting point is eq.(4.23) from section 4. Substituting (4.23) into (F.1), one first replaces all the powers of x with derivatives in p and then integrates by parts to effectively replace all the derivatives in x with so that the commutting operators p · ∂ and p 2 ∂ 2 can be replaced by: The impact parameter representation then takes the form × d 3 − 2d 2 (2j + 4∆ J + 5) + 4d j 2 + j(4∆ J + 6) + ν 2 + 4(∆ J + 1)(∆ J + 2) − −8 4j + ν 2 + 8∆ J − 16(j + 2∆ J ) 2 (F.12) where M 0 is some arbitrary coefficient. We will see that polynomial terms in the Mellin amplitude yield δ-function-terms in the phase shift as expected. For simplicity, we will focus on the scalar correlator φφψψ and closely follow the Appendix C of [29]. The case of spinning operators is a straightforward generalization which will not alter the main result.
Starting from the expression for the reduced amplitude A(u, v) in the Mellin representation A(u, v) = dt ds (4πi) 2 M (s, t)u and use the following approximation for s = ix, with x → +∞, to express (G.2) as: (G.5) Further approximating v ≃ 1 − 2σcoshρ and recalling that u = σ 2 , we proceed to evaluate the integral To simplify the presentation, we henceforth set n = 0. We will discuss the n = 0 case separately at the end.
We are primarily interested in the impact parameter representation of these terms, we will thus procceed by using the identity: to rewrite (G.7) as: (G.10) Changing variables in (G.9) according to t → 1 2 (2∆ φ − t) allows us to make use of the identity above by setting: The result is where we used the fact that 2 F 1 [a, b, c, 0] = 1.
To obtain the impact parameter representation of (G.12) we use the following identity We see that the addition of an s m polynomial term in the Mellin amplitude, produces a phase shift which is proportional to a δ-function as expected on general grounds [27].
Using the identification between anomalous dimensions of double trace operators in the s-channel and the phase shift we see that the δ-function in the impact parameter space corresponds to h =h, or equivalently to the s-channel exchange of spin zero double trace operators.
the contribution of the stress-tensor operator for ν = −i d 2 . The result for the phase shift is then proportional to the matrix The phase shift is completely determined in terms of the hyperbolic space coordinate L, and its eigenvalues are: We proceed by analyzing the bahaviour of the eigenvalues for small and large impact parameters. To do that, it is useful to recall that Π d−1 behaves as: When the impact parameter is small L << 1, then the leading behaviour of the eigenvalues turns out to be: where c 0 = 2 −d π 1−d/2 dΓ(d−1) Γ(d/2+1) is equal to the proportionality coefficient of the leading term in the small L expansion and is positive definite. Causality then requires that β 4 = 0 for both conserved and non-conserved vector operators J. Setting β 4 = 0 is enough to guarantee positivity of the phase shift at small impact parameters for unitary theories satisfying ∆ J ≥ d − 1, when n s ≥ 0.
It is interesting to check whether the positivity of the phase shift reduces to the Hofman-Maldacena bounds for large values of the impact parameter. The leading behaviour of the eigenvalues (H.7) for large impact parameters L, or equivalently, 0 < u << 1 is: , λ i = c 2 u d−5 (β 1 + dβ 4 ) + · · · , (H. 10) where (c 1 , c 2 ) are two positive constants and we have used the fact that β 3 = 0 when evaluated at the stress-tensor Regge pole ν = −i d 2 . Positivity of the phase shift leads to a single condition, namely that, (H.11) For conserved currents, (H.11) simply reduces to n f ≥ 0 for n s ∈ R. For non-conserved vector operators, the result is the inequality obtained in deep inelastic scattering (eq. (4.29) of [24]) but for any real n s . 34 In search of the energy-flux constraints we repeat the analysis above, this time fixing p m = (1, 0) and solving forp m through coshL = − p·p √ p 2p2 . The diagonalization problem is exactly the same as before, with the replacement: A 2 → A 4 and A 4 → A 2 . For large impact parameters the eigenvalues read: (H. 13) with positive proportionality constants. Substituting (expressions for betas) into (H.13) we obtain the energy flux constraints for both conserved and non-conserved vector operators.
In this way the usual Hofman-Maldacena constraints are reproduced. 34 (n s , n f ) are related to the (a 2 , a 3 ) of [24] as follows: , a 3 = 4n d d − 1 . (H.12)