Shockwaves from the operator product expansion

We clarify and further explore the CFT dual of shockwave geometries in Anti-de Sitter. The shockwave is dual to a CFT state produced by a heavy local operator inserted at a complex point. It can also be created by light operators, smeared over complex positions. We describe the dictionary in both cases, and compare to various calculations, old and new. In CFT, we analyze the operator product expansion in the Regge limit, and find that the leading contribution is exactly the shockwave operator, ∫ duhuu, localized on a bulk geodesic. For heavy sources this is a simple consequence of conformal invariance, but for light operators it involves a smearing procedure that projects out certain double-trace contributions to the OPE. We revisit causality constraints in large-N CFT from this perspective, and show that the chaos bound in CFT coincides with a bulk condition proposed by Engelhardt and Fischetti. In particular states, this reproduces known constraints on CFT 3-point couplings, and confirms some assumptions about double-trace operators made in previous work.


Introduction
A shockwave geometry describes the gravitational field of a point source traveling on a null geodesic [1]. In Anti-de Sitter [2][3][4], it plays a key role in the study of various phenomena in gravity and conformal field theory [5][6][7][8][9][10][11][12][13][14][15][16][17][18][19]. One incarnation of this solution has the source traveling parallel to the boundary, at fixed radial distance z = z 0 in Poincare coordinates, as shown in figure 1. The resulting gravitational shock meets the boundary along a null plane, while the source itself hits the boundary only at null infinity.
In the dual CFT, this state can be created by inserting a momentum-space operator smeared against a wavepacket profile [5][6][7]. It can also be created by inserting a heavy local operator ψ, with dimension ∆ ψ 1, at a single point [10,12,16,20]. Yet another proposal to create a shockwave with a different, complexified wavepacket was described in [19]. These three constructions differ in their microscopic details, but should produce all of the same observables for probes that avoid the delta function at the shockwave source.
In this paper we will work out various aspects of the dictionary relating (linearized) AdS shockwaves to CFT operator insertions, focusing on the latter two constructions: the heavy local operator, and the complexified wavepacket. Parts of these results have been used implicitly in previous work [10,16,20,21].
Our main new result is a relationship between shockwaves in the bulk, and the operator product expansion (OPE) in CFT. The propagation of a probe field φ on the ψ-shockwave computes a four-point function, ψφφψ , in a highly boosted kinematics dubbed the Regge limit [5][6][7][22][23][24][25]. It is well known that the crossing equation for this four-point function leads to a rich story relating double-trace anomalous dimensions in CFT to the graviton propagator in the bulk [5-7, 13-15, 26-29]. We will essentially strip off the probes φφ JHEP03(2019)201   (2.7) in Poincare coordinates. The source travels on a radial null geodesic that hits the boundary at the origin, u = v = 0. The resulting shockwave is a null cone. from this story, and directly examine the ψψ OPE in the Regge limit. The leading term is precisely the bulk shockwave operator.
Of course, the correlators and the OPE ultimately contain the same information, but the OPE point of view is useful for several reasons. First, analogous results in the lightcone limit were a crucial step toward deriving the averaged null energy condition [18] and quantum null energy condition [30] from causality. Second, it makes clear why various bulk and boundary results must match, without actually doing the calculations, and extends this match -including causality constraints -to a more general class of quantum states.

JHEP03(2019)201
Finally, it generalizes existing constraints to higher-point functions and multiple shocks, though we will not explore this in detail here.
In addition to the Regge OPE, our other main result is a technical improvement on our previous work on large-N causality constraints [19]. We use conformal Regge theory to confirm an assumption made there regarding the contributions of double-trace operators to smeared, spinning conformal correlators, in the shockwave regime. This is a natural extension of the Regge OPE formula to spinning operators.
In the rest of this introduction we give a brief summary of the main results.

Shockwaves from heavy operators
The simplest way to create a shockwave is by inserting a heavy scalar primary operator ψ, since this does not require any smearing. It does, however, require somewhat exotic kinematics, with operators inserted near i∞. For example, the shockwave depicted in figure 1, with a real metric (see (2.1)), is dual to the CFT state where (u, v) are null coordinates in Minkowski, E is the energy of the shockwave, and the duality holds for 1 ∆ ψ E. Analogous results apply to the spherical shockwave in figure 2, which is created by a local operator inserted near the origin, and is related to the planar shockwave by a null inversion. We start in section 2 by deriving this dictionary and comparing the stress tensor one-point functions to CFT.
Next, in section 3, we turn to the relationship between shockwaves and the OPE. In the lightcone limit, the leading term in the OPE is the averaged null energy operator duT uu [18]. In the Regge limit, we will show that the leading contribution is as u → ∞ with uv fixed. The "shockwave operator" on the right-hand side is the bulk metric perturbation integrated over a null geodesic through AdS d+1 , with d ≥ 3. It can also be viewed as the linearized length operator. Physically, it corresponds to the source for a planar shockwave, or to the time delay in a background produced by other operators.
Although (1.2) looks like a bulk formula, it can be interpreted as a CFT operator by translating h uu into CFT language. In the lightcone limit, h uu ∼ T uu , so this reproduces the averaged null energy operator derived in [18]. More generally, the translation to CFT follows from the HKLL formula [31] for h uu . Interpreted this way, and keeping only the leading single-trace term, (1.2) gives a formula for the stress tensor contribution in the Regge limit, in any CFT. In CFT language, this operator is the part of the OPE block [32,33] that grows in the Regge limit. In a holographic theory, (1.2) contains more information than the OPE block, since it also accounts for multitrace contributions.

Shockwaves from light operators
The above discussion applies only to operators with ∆ ψ 1. For a light operator O -and in particular, for the stress tensor T µν which will be important for the discussion of causality

JHEP03(2019)201
-the OPE is not given by (1.2). In gravity language, a light operator inserted at a point creates a wave that spreads, not a particle that travels on a geodesic. To remedy this, we insert a wavepacket. The smeared operators behave just like heavy operators, in that they create a state dual to the bulk shockwave, and have exactly the same Regge OPE (1.2), with (u, v) now interpreted as the wavepacket centers. Importantly, this OPE has no contributions from the O 2 double-trace operators that would appear in the unsmeared OPE. We will derive this statement from the bulk by smearing a Witten diagram vertex, and from CFT using conformal Regge theory [25]. It applies to both scalar and spinning operators O.
In the scalar case, the smeared operatorsÕ have exactly the same Regge OPE as the heavy operator ψ in (1.2). For spinning operators, rather than deriving an OPE formula like (1.2) explicitly, we work directly with the four-point function, and show that smearing projects out the double-trace contributions to the conformal Regge amplitude. The procedure is based closely on [14,15], and differs only by the fact that our wavepackets are rotated into a complex direction, following [19]. This choice is motivated by the chaos bound [34], which applies only in a kinematic regime where certain points are spacelike separated, and cannot be applied to ordinary wavepackets smeared over real spacetime points. (Other arguments, rather than the chaos bound, were used to derive causality constraints from real wavepackets in [14,15]; see also [35].) Exactly the same complex smearing procedure (up to a conformal transformation) was used in our previous work on large-N causality constraints [19]. There, we suggested on other grounds that the double-trace contributions should drop out, but did not show it explicitly; the present result confirms this, and therefore closes this potential loophole in the argument.

Causality constraints
In a CFT with a gravity-like holographic dual, the shockwave operator in (1.2) (including multitraces) dominates the 4-point function, so it is subject to the causality constraints on conformal correlators derived in [19,34]. Therefore γ duh uu has a positive expectation value in states defined perturbatively about the vacuum. This generalizes the averaged null energy condition (ANEC) duT uu ≥ 0, and reduces to the ANEC in a lightcone limit.
The ANEC has also been derived from the monotonicity of relative entropy [30]. It would be very interesting to understand the Regge analogue of that calculation, or more generally, the constraints from quantum information in the Regge limit.
If the state has a geometric dual, then the sign constraint γ duh uu ≥ 0 coincides with the bulk causality condition of Engelhardt and Fischetti [36]. Noteably, it is apparently weaker than the averaged null curvature condition duR uu ≥ 0, or bulk null energy condition, which were the starting point for Gao and Wald [37] to prove that asymptotically AdS spacetimes satisfy boundary causality. Our constraint also applies to non-geometric states, such as superpositions of different geometries.
We postpone a detailed discussion of causality constraints to section 4, but the brief version is that this inequality encompasses, and generalizes, a number of known causality constraints in CFT: the scalar causality constraints derived in [16], the Hofman-Maldacena  . Shockwave in global AdS, where the boundary is the Lorentzian cylinder. The dashed line is the source, which hits the boundary at the red dots. This source creates a shockwave on the shaded null surface. In the shaded-yellow Poincare patch, the solution is the spherical shockwave. In the shifted Poincare patch, shown as a thick blue outline, the solution is the planar shockwave. The yellow and blue patches in this figure correspond to the same color-coding as the other figures.
bounds [8,9,17,38], the averaged null energy condition [18,39,40], and the a = c type bounds derived on the gravity side in [13] and the CFT side in [14,15,19]. In holographic CFTs, the result here is more general, since we will show that the operator γ duh uu is positive in a wider class of states. It can be evaluated in particular states to reproduce each of these previous constraints.

Shockwaves from heavy operators
In this section we review the shockwave metric and the CFT construction using a heavy local operator insertion. Most of these results are known in some form, but we will start from the beginning and clarify a few points along the way. The main goal is to derive JHEP03(2019)201 the dictionary (1.1) for the planar shock. This result holds in general dimensions, AdS d+1 with d ≥ 2.
To summarize briefly, it is easiest to start with the dictionary for the spherical shockwave [2,3], depicted in figure 2. In this geometry, the source particle hits the boundary at the origin, u = v = 0, so it is roughly dual to the CFT state with an operator inserted there, ψ(0)|0 . 'Roughly' because such a state is not normalizable, so it is useful to regulate it by moving the source slightly into Euclidean time, inserting the operator at t = iδ. In the bulk, this corresponds to a geometry where the source does not quite hit the boundary, but has closest approach z = δ. In the limit δ → 0, it becomes the shockwave geometry.
The planar shockwave (figure 1) and the spherical shockwave (figure 2) are related by a null inversion. This is a conformal transformation that sends v → −1/v. The effect is easiest to understand on the Minkowski cylinder; see figure 3. The original (u , v ) coordinates cover a diamond on the cylinder. The null inversion sends v = 0 → v = −∞, so the new (u, v) coordinates cover a new diamond, shifted in the null direction by 'half of a patch'.
Since the original insertion was at v = 0, the operator insertion for a planar shockwave should be roughly at −∞. Carefully keeping track of the Euclidean-time regulator gives the precise statement of the dictionary, (1.1).
We will derive these results in the opposite order, starting with the planar shockwave, then performing the null inversion to reproduce the spherical shockwave.

Planar coordinates
The metric of the planar shockwave in AdS d+1 [2,3] is We will assume that the source is localized at u = 0, z = z 0 , x = 0 and hence ρ is given by [13] This geometry is illustrated in figure 1. The source travels on a null geodesic at fixed radial distance, z = z 0 , and the geometry solves the Einstein equation with this source, which reduces to

Holographic stress tensor
According to the usual holographic dictionary, the boundary stress tensor is proportional to the O(z d−2 ) components of the metric [41][42][43]. For the planar shockwave (2.1), this gives Other components vanish. Integrating gives the total energy, E.

Spherical coordinates
The spherical shockwave can be obtained from (2.1) by a coordinate change [2,3]: This acts as a conformal transformation on the boundary which we refer to as the null inversion. If we write u = t − y , v = t + y , and r 2 = y 2 + x 2 , then under this transformation, the metric (2.1) becomes where the shockwave part, coming from h uu in (2.1), is This solution is shown in figure 2. The source particle travels radially, on a null geodesic that hits the boundary at the origin, and the resulting shockwave is an expanding spherical shell on the boundary. The metric (2.7) can also be obtained from an infinitely boosted AdS-Schwarzschild black hole, where the mass of the black hole is scaled down to hold the total energy fixed. 1 The boundary stress tensor obtained from (2.7) is supported on the null cone, whereū = t − r. This shockwave has total energy 2E, twice that of the planar shockwave, because part of the expanding spherical shell lies at null infinity in the planar coordinates and was not included there. 1 The coordinate change for comparison to [3] is (2.10)

Global picture
The important thing to notice in the coordinate change (2.6) is that it involves the null inversion v ∼ −1/v . This maps the origin in the primed coordinates to I − in the unprimed coordinates. This makes sense, since the source particle hits the boundary at the origin of the spherical shock, but only at null infinity in the planar shock. The shockwave solution in global coordinates is illustrated in figure 3. The (u, v) and (u , v ) coordinates cover two different Poincare patches, related by a null shift.

Shockwave states in CFT
Now we will describe how to create these states in CFT. As mentioned in the introduction, there are a number of different ways to do this, which all produce the same physics away from the point-particle source. There is also the choice of whether we want to reproduce expectation values in the 'in-in' or 'in-out' sense. We will start with the simplest and most intuitive case: in-in correlators in the spherical shockwave created by a heavy local operator. This state has also been discussed in [10,12,16,17]. Much of this applies to any CFT, whether or not it is holographic, so for now the discussion is general and we will specialize to holographic CFTs later. We restrict to d > 2.

Insertion at the origin
A pure state in CFT can be created by inserting a local operator, ψ(x)|0 . (We will always take space in the CFT to be R d−1 , so the spectrum is continuous.) If x is a point in the Lorentzian spacetime, this state is not normalizable, but an operator insertion at non-zero Euclidean time produces a normalizable state. We first consider a shockwave state created by inserting ψ at y = 0, t = iδ and x = 0, with δ small. In null coordinates v = t + y and u = t − y , with the metric ds 2 = −du dv + d x 2 , we have The subscript 0 is a reminder that ψ is inserted near the origin, since another choice is considered below. The conjugate state in (2.12) is defined with respect to the usual Hermitian conjugate in Minkowski space, which does nothing to real operators inserted at real Minkowski points, but conjugates the coordinates when they are complex, in particular reflecting Euclidean time it → −it. Now let's compute the stress tensor expectation value in the state |ψ 0 . The threepoint function of the stress tensor and two scalars, in d spacetime dimensions, is entirely fixed by conformal invariance [44], where .
We have normalized the scalar by ψ(x 1 )ψ(x 2 ) = |x 1 − x 2 | −2∆ ψ , and the stress tensor is canonically normalized (for example by the Noether procedure). This can be used to calculate the expectation value . (2.17) Using (2.14), this formula, at finite δ, agrees exactly with the boundary stress tensor produced by a boosted AdS-Schwarzschild black hole, at finite boost [3]. 2 To take the limit δ → 0, note that whereū = t − r,v = t + r, and r 2 = y 2 + x 2 . Thus the stress-energy is supported on a lightcone emanating from the origin. This stress tensor exactly matches with the boundary stress tensor (2.11) computed for the AdS spherical shockwave (2.7) once we identify This calculation did not assume holography or any particular ∆ ψ , but we will see later that in a holographic theory, this state is dual to a localized shockwave in the bulk when c T ∆ ψ 1, where c T ∼ N 2 is the coefficient in T T .

Insertion at infinity
So far we have been working in coordinates where the shockwave operator is inserted near the origin of Minkowski space. Mapping the CFT to a Lorentzian cylinder, this Minkowski space covers just one patch -the shaded yellow patch in figure 2. Let us now shift to the next patch using the null inversion [8]: where z 0 is some length scale. This is the conformal transformation induced on the boundary by the AdS coordinate change (2.6). The old and new Minkowski patches are shown on the cylinder in figure 4.
2 Explicitly, for x = 0 (and dropping the primes), The shockwave hits the boundary at the red dots; it is created at the origin of the yellow diamond, which is on I − of the blue diamond.
The origin in the old patch is a point on past null infinity in the new patch. Therefore in these coordinates, we have a shockwave state |ψ ∞ created by insertion of a local scalar operator near infinity: where now Again, the Hermitian conjugate is the standard one acting on states in Minkowski space. This is the dictionary for the planar shockwave quoted in the introduction. Note that the stress tensor is real, as it must be, since it is an expectation value in the 'in-in' sense.
To find the stress tensor, we can either apply (2.14) directly to the new kinematics, or apply the null inversion to (2.19). The result agrees with the planar shockwave (2.5) with energy E = ∆ ψ /(2δ) in the limit δ → 0.

Cylinder picture
Although it may seem strange to insert a local operator at v ∼ i∞, it is natural when viewed on the global cylinder in figure 3 or 4. To see this, set x = 0 and z 0 = 1. The map from the plane to the cylinder (in the sense of the Poincare patch embedding) is 3 where the cylinder coordinates are −dτ 2 +dθ 2 +sin 2 θdΩ 2 d−2 . The null inversion, v = −1/v, translates along the cylinder in the null direction: To create the spherical shockwave, we insert ψ at The planar shockwave (2.23) is inserted at So we see that the insertion at v = i∞ simply corresponds to a small Euclidean-time offset on the cylinder. Notice also that (2.25) is invariant under (τ, θ) → (τ +π, θ +π). In the (u, v) patch, this takes points on I − to points on I + . This will have interesting implications for positivity conditions in CFT with timelike separated points, discussed in section 5.1.1.

The Regge OPE
In the previous section, we found that the spherical and planar shockwaves in AdS have exactly the same T µν as the CFT states |ψ 0 and |ψ ∞ , respectively. This is a consequence of conformal symmetry that holds in any CFT; we have not yet used holographic duality. To claim that the states are dual requires n-point functions to match in this state as well. In a holographic CFT, finding the correct 1-point functions for single trace operators is enough, since these fully determine the bulk geometry, so higher-point functions are guaranteed to match. We will work it out explicitly to see how the shockwave naturally comes out of the OPE on the CFT side.
Consider a scalar operator ψ in the CFT, inserted symmetrically about the origin: where Ω i=1...d−2 with Ω 2 i = 1 are coordinates on a unit S d−3 . Above we set φ = π. See figure 5. This limit is usually discussed inside 4-point functions, but it also makes sense within the OPE, assuming that any other operator positions are held fixed at finite values as v → 0. We will first derive the OPE on the gravity side, then compare to CFT. We assume that ψ is a heavy probe operator, meaning c T ∆ ψ 1, where c T ∼ 1/G N is the coefficient of the stress tensor two-point function. The restriction to large ∆ ψ ensures that we do not need to worry about the ψ 1-point function, so that the states discussed in section 2 are indeed dual to localized shockwaves.
(Caveat: the roles of u and v are swapped in this section compared to section 2. Eventually we will need to discuss shockwaves going in both directions, so this is unavoidable.)

The length operator
On the gravity side, the two-point function of a heavy probe can be computed in the WKB approximation. Assuming the bulk field dual to ψ does not interact with any background fields that are turned on, it is given by the geodesic length connecting the two insertions, This holds in any state |Ψ with a geometric dual, so we can attempt to write this as an operator relation: where now L is an operator built from the bulk metric. This is not a true operator equation, but holds at least in semiclassical states. The same relation has been exploited recently in the d = 2 context [45,46], but here we restrict to d ≥ 3.

JHEP03(2019)201
By expanding (3.3) perturbatively, we can turn this into a simple OPE. Choose x 1 = −x 2 = (u, v, 0), and write the bulk metric as In pure AdS, the geodesic that connects x 1 and x 2 is given by Now expanding the length operator to linear order in h µν yields x (u )). In the Regge limit (3.1) this becomes This is the Regge OPE, written in gravity language, and is one of our main results in the simplest setting of heavy operator insertions. The integral is over a null geodesic parallel to the boundary, i.e. the source for a planar shockwave, so we refer to the O(h) correction as a shockwave operator. By exchanging ∆ ψ for E, the shockwave energy, it can also be written in the form (1.2). We will make a few remarks on the bulk interpretation of (3.7), then turn to the CFT and examine its operator content.

From Witten diagrams
The same formula (3.7) can be derived from Witten diagrams. Consider the scalar-scalargraviton vertex diagram in AdS: In the Regge limit, with ∆ ψ 1, this diagram reduces to where G αβα β is the graviton propagator in the bulk. This indicates that the full vertex is dominated by a single geodesic Witten diagram [47]; the geodesic becomes null in the JHEP03(2019)201 Regge limit, so it can be viewed as the source for a shockwave. The derivation of (3.9) is in appendix A. The vertex result (3.9) is equivalent to the OPE statement (3.7). To see this, simply insert both equations into a Witten diagram.

Relation to imaginary shockwaves
Inserting the Regge OPE (3.7) into a correlation function shows that we can replace the ψ operators by a linearized shockwave: Here the O's are primary operators, possibly with spin, obeying ∆ O c T so that we can work perturbatively. (Operator ordering is discussed below.) On the right-hand side is the (n − 2)-point function in a shockwave background, with metric where h shock vv is the shockwave metric with z 0 = √ −uv and imaginary energy: (This shockwave is oriented in the opposite direction as (2.2), so u → v in that formula, and we have set L = 1.) Note the crucial factor of i: if the ψ's are inserted at real points (u, v) in Minkowski spacetime, then the correlator (3.10) is computed in a purely imaginary shockwave. The i can also be seen by computing ψ(u, v)T µν (0)ψ(−u, −v) , which is purely imaginary for real u, v, indicating that the bulk metric perturbation is also imaginary. This is related to the discussion in section 2, where we found that the real shockwave corresponds to operators inserted at imaginary (u, v).
In terms of Witten diagrams, the same conclusions follow from doing the u integral in (3.9), which gives the shockwave metric:

Real shockwaves
The OPE, and the result (3.10), also apply to u → i∞ as in the shockwave state |ψ ∞ discussed in section 2. This is the limit that must be taken in order to reproduce correlation functions in the real shockwave geometry, i.e. the metric (2.2) with u → v and real E = ∆ ψ /(2δ). This confirms, as expected, that higher-point functions in the shockwave state |ψ ∞ indeed agree with gravity calculations on the real shockwave background.

Operator ordering
The operator ordering in (3.7) is encoded in the choice of contour for the u -integral. This is entirely analogous to the lightcone limit, discussed in detail in section 3 of [18]. Effectively, the u integral circles poles coming from operators inserted to one side of the ψψ insertion in the correlators, and avoids poles from operators on the other side. We will work out some explicit examples in section 4.2.

CFT interpretation
The Regge OPE (3.7) is written in terms of the bulk metric. Next we want to interpret it in terms of CFT operators. At this point, we need to make the distinction between holographic and non-holographic CFTs. In any CFT, the stress tensor conformal block grows in the Regge limit, and we will see below that this growth is captured exactly by the shockwave operator (3.7). But this is not necessarily useful, because in general CFTs, the OPE cannot be used to calculate correlators in the Regge limit. Higher spin operators have increasingly large contributions, and there is little to be learned from the subleading stress tensor term.
In a holographic CFT, on the other hand, with large-N factorization of correlators and a large gap in the spectrum of higher spin operators, the Regge OPE is under control in the 1/N expansion. In this case, from the derivation, it is clear that (3.7) includes anything that can be computed by a graviton exchange Witten diagram. In terms of CFT operators, this includes T µν itself, as well as double-trace operators [φ 1 φ 2 ] built from all of the light operators in theory, including products of stress tensors [T T ]. In a four-point function, it gives the dominant term in the Regge limit whenever the exchange diagram dominates. This breaks down deep into the Regge regime where the exchange of massive higher spin particles (e.g., string states) becomes important.

Single trace contribution
Let's examine the single-trace contribution, which is universal to all CFTs. The Regge OPE (3.7) is written in terms of the bulk metric. Using the HKLL prescription, we can rewrite it in terms of boundary CFT operators. Specializing to d = 4, the HKLL formula for the metric perturbation is [31]: (3.14) Plugging the single-trace term into (3.7) and doing some of the integrals gives the stress tensor contribution to the Regge OPE: 4 Although this was derived from gravity, it is completely general, for all CFTs and all values of ∆ ψ . It is a statement about the piece of the stress tensor conformal block that Now shift the contour u → u − t + iy , and rewrite the integrals over t , y in the form Finally, do the complex z-integral by assuming the correlator is analytic within the disk of integration: |z|≤R d 2 zf (z) = 2πR 2 f (0). This assumption is valid in the four-point functions where we will apply (3.16).

JHEP03(2019)201
grows in the Regge limit, so it can also be derived directly from CFT. This is most efficiently done using the OPE block formalism [32,33]. The OPE block for a primary operator O is the complete contribution of O and its descendants to the ψψ OPE. Assuming temporarily that x 1 and x 2 are timelike separated, the OPE block for the stress tensor can be computed by integrating T µν over a codimension-1 spacelike surface [32,33] ψ( Here B(x 1 , x 2 ) denotes a Cauchy surface within the causal diamond f uture(x 1 ) ∩ past(x 2 ), which we take to be the ball equidistant from x 1 and x 2 . The conformal Killing vector is the generator of time translations within the diamond.
For spacelike separated x 1 , x 2 , the OPE block is obtained from (3.17) by analytic continuation. (Note that this immediately gives the Euclidean OPE block without 'shadow' contributions.) In our kinematics, with v < 0 < u, the full OPE block is In the Regge limit (3.1), the ball integral becomes an integral over a slab on the null sheet v = 0, and reproduces exactly the gravity result (3.16).
In terms of 4-point conformal blocks, (3.16) captures precisely the growing part of the block in the Regge limit. For example, in d = 4, the stress tensor conformal block has a growing part ∼ iz z(z−z) , where z,z are the conformal cross ratios. Inserting the operator (3.16) into the four-point function reproduces exactly this term, and no more. This requires some care with the contour of integration and is worked out explicitly in appendix B.
In the lightcone limit, which is v → 0 with u held fixed, the domain of integration for transverse part of the OPE block is small, and the ball integral becomes a line integral. Thus, we can set x = 0 in the argument of the stress tensor and (3.18) reduces to the lightcone OPE derived in [18], Again this agrees with the length operator (3.6) upon using HKLL to replace h uu → T uu . The analysis is similar in general dimensions, leading to the Regge OPE

JHEP03(2019)201
As noted above, this is just the single-trace contribution to the Regge OPE (1.2) from the operator T µν and its derivatives. We will see below that this term has a direct interpretation in terms of a time delay in the shockwave geometry. Note that even for holographic CFTs, the above expression is not equivalent to the full Regge OPE (1.2). The term in (3.20) is just the stress tensor contribution to the Regge OPE, which can also receive significant contributions from all double-trace operators [φ 1 φ 2 ] built from any light operators in theory, including products of stress tensors [T T ]. However, as we will show later, in certain four-point functions of smeared operators, the OPE (3.20) gives the dominant contribution in the Regge limit.

Regge OPE for other operators
Although we will not use it anywhere in this paper, the same analysis can be applied to other operators. For the production of an operator X with spin and dimension ∆, the full OPE block can be written as an integral over the causal diamond between x 1 and x 2 [32,33], and analytically continued to spacelike separation. In appendix C we take the Regge limit and find This reproduces the growing part of the 4-point conformal block.

The Engelhardt-Fischetti criterion
Causality is subtle in a theory with gravity, because local light cones can always be 'opened' by a diffeomorphism. At the least, causality should be respected at infinity, in the sense that a probe sent from infinity that passes through some geometry should return to infinity no faster than it would in vacuum [37,48,49]. That is, all time delays should be nonnegative. In a geometry that is asymptotically AdS, the statement is that lightcones on the conformal boundary must be respected by the bulk. In AdS/CFT, the same criterion is imposed by causality of the dual CFT [50]. However, it remains an open question exactly what feature of the bulk theory ensures boundary causality. Gao and Wald showed that in Einstein gravity, the averaged null energy condition for bulk matter implies boundary causality [37]. More generally, it is respected in any theory of gravity obeying the averaged null curvature condition, duR uu ≥ 0. But is this condition also necessary? Perhaps not -there are geometries which violate the curvature condition, but preserve boundary causality [36]. It is not known whether such solutions can be supported by physical matter. Geometrically, the necessary and sufficient condition for boundary causality, at the perturbative level, was derived by Engelhardt and

JHEP03(2019)201
Fischetti [36]. It is simply the condition where the integral is over a complete null geodesic γ in AdS. The integral computes a time delay, so the same condition has been imposed in specific states in prior work (for example [8,9,13,[51][52][53]). Any such null geodesic can be viewed as a constant-z path in some Poincare patch. The quantity in (4.1) is precisely the operator that appears in the Regge OPE (3.7). And, the chaos bound [34] implies that this contribution to the correlator, including the overall minus sign, must be negative. Therefore the chaos bound, together with the Regge OPE, constitutes a derivation of (4.1), now viewed as an expectation value of this operator in the quantum theory. (See [19] for more discussion on the connection between chaos and the Regge limit of the 4-point function.) This is the Regge analogue of the averaged null energy condition (ANEC) as derived from causality in [18].
Unlike the ANEC, the conclusion here comes with the caveat that we have only shown (4.1) is positive in a certain class of states. Exactly which states depends on the assumptions, and how we interpret the formula: (i). If h uu is interpreted as the full metric perturbation operator, with contributions from multitrace operators as well as the stress tensor, then the conclusion is that the chaos bound implies (4.1) in any holographic CFT dual gravity, in any state perturbatively close to the vacuum. By 'gravity', we mean that the bulk theory has a large gap without any single trace higher spin states, but may have large higher curvature corrections. The state does not need to be geometric; for example, it could be a superposition of classical geometries, with h uu evaluated as an expectation value. In general, the multitrace contributions are important, so in CFT language, this inequality would be quite complicated, and cannot be written in terms of just the operator T µν .
(ii). In certain states, single-trace exchange dominates, and we can replace h uu → h uu | T , the single-trace, stress-tensor contribution to HKLL. These are states |φ in which φ|ψψ|φ is dominated by the stress tensor conformal block. In a large-N CFT with a large gap in the higher spin spectrum, this includes states created by a heavy (but not backreacting) operator insertion φ(x), with c T ∆ φ 1, as well as superpositions of such states, and states with multiple heavy operator insertions. We will show below that it also includes certain states produced by smeared light operators.
In gravity language, we have shown that the geodesic time delay is positive in any state near the vacuum.
So far, this argument is not enough to reproduce the "a = c" constraints derived from graviton causality in [13]. We will derive these below, by projecting out double trace contributions to correlators of light operators. In the rest of this section, we focus on the case of 4 heavy scalars, and describe how the Regge OPE is directly related to a bulk time delay.

Time delays for probe particles
To make this more concrete, we will now compare two different calculations of a 4-point correlator: the CFT calculation using the Regge OPE, and the bulk calculation using geodesic lengths in the shockwave background. The point is that ∆v, the time delay as a scalar particle crosses a shock, is computed precisely by the Regge OPE for the stress tensor alone, (3.16). This is almost clear from the gravity formula (3.7) but there are some subtleties in the prescription for how to apply this OPE, especially as the probe geodesic moves past the shockwave source into the bulk.

Setup
We consider the scalar four-point function There are two cases where the stress tensor term (3.16) is the dominant contribution, without any contamination from double trace or other operators. One is the lightcone limit, in any CFT, where it dominates because T µν is the operator of lowest twist. The other is the Regge limit in a large-N , holographic CFT, dual to gravity (possibly with higher curvature corrections but without higher spin fields), with all four operators heavy: c T ∆ ψ , ∆ φ 1. We'll start with the Regge limit. In this case the OPE is controlled by 1/N , and double trace contributions from [ψψ] and [φφ] are suppressed by their large dimensions. In order to utilize the shockwave dictionary (1.1), with a real shockwave geometry, we choose the imaginary kinematics The points x 1 , x 2 are conjugate, so G is an expectation value: 5 The shockwave lies on the Rindler horizon, at u = 0. We also insert φ symmetrically across the Rindler wedge: The limit δ → 0 is taken with u φ , v φ , x φ , z 0 fixed and O(1). This setup is illustrated in figure 6.

Geodesics in the shockwave
On the gravity side, |ψ ∞ is the planar shockwave with metric (2.1) and E = ∆ ψ /(2δ), so G is the two-point function φφ shock in this background. Since φ is heavy, it is computed by a geodesic length: The metric is empty AdS away from the shock. When the geodesic crosses the shockwave at u = 0, heading in the positive-u direction, it jumps by v → v + ∆v, with ∆v(z c , x c ) = z 2 h z=zc, x= xc (4.7) where (z c , x c ) are coordinates at the crossing point, and h is given by h Shock uu in (2.1) with the delta function stripped off, i.e. h = 0 + 0 − duh uu . In principle, finding the full geodesic is just a matter of patching together empty-AdS geodesics with the correct endpoints. This is somewhat complicated because crossing the shockwave also imparts transverse xmomentum to the probe, but we only need the first perturbative O(E) term, which is straightforward. The calculation is exactly the same as that of section (3.1), yielding with the crossing point at

JHEP03(2019)201
For example, in d = 4 with x φ = 0, the time delay (4.7) in the metric (2.1) is (4.10) Using E = ∆ ψ /(2δ), c T = 5 π 3 G N , and (4.3), this becomes Here we can see the symmetry between the roles of the shockwave source ψ and probe field φ, as evident from (4.2). It does not matter which pair is taken into the shockwave limit, since the two options are conformally equivalent. The non-analyticity at u ψ v ψ = u φ v φ in (4.11) is where the probe geodesic hits the shockwave source, and is smoothed out by any nonzero transverse separation x φ − x ψ . The general answer, at non-zero x φ , can be written using the conformal cross ratios z,z. In the Regge limit, 6 The variable ρ that appears in h shock uu , evaluated at the crossing point, is Therefore, in d = 4, Note that this single expression (which we will see is equal to a Regge conformal block) accounts for both of the piecewise answers in (4.11). The jump comes from the fact that in the limit x φ → 0, the cross ratios (defined to be smooth at finite x φ ) become non-analytic in the coordinates: z/z = max(z 2 0 /z 2 c , z 2 c /z 2 0 ). We can also make a direct connection between the correlator and the bulk equations of motion. Since the correction to the correlator was just the bulk metric h shock Although we have assumed Einstein gravity at intermediate steps, the final answer (4.15) written in terms of c T is also valid in the presence of higher derivative corrections (both E and G N get rescaled, but EG N is unchanged).

CFT calculation using the Regge OPE
Let's reproduce this from CFT. One way to proceed is to use the Dolan-Osborn expression for the stress tensor conformal block; upon analytic continuation to the Regge regime, this gives directly (4.15), as shown in appendix B. Instead we will use the Regge OPE (3.7) to illustrate how to apply it. Since ψ is the operator that is inserted in the shockwave limit, the direct approach would be to use (3.7) in the form and then to calculate φ dvh vv φ . The notation | T indicates that only the single-trace stress tensor part of h µν is included (via HKLL as discussed in section 3.2.1). This will be useful below, but first, for comparison to the gravity result (4.8) it is more informative to contract the probes φφ rather than the sources ψψ. That is, we use Despite that fact that we have not taken v φ , 1/u φ → 0, this OPE can be used because in the conformal cross-ratio it does not matter which operator is the source, and which is the probe. (In other words, we could boost so that φφ are Regge-separated with ψψ near the origin, apply the Regge OPE to φφ, then boost back.) Formally, plugging (4.18) into the state |ψ ∞ gives a correlator manifestly equal to the gravity result (4.8), since ∆v = duz 2 h uu . But to confirm this by direct evaluation in the CFT, we need to account for some subtleties involving the choice of u-contour. Converting (4.18) to a CFT expression using (3.16), then evaluating in the shockwave state (with x φ = 0, d = 4) we find: where on the second line we plugged in the conformal three-point function (2.14), and z 0 = |v ψ u ψ | 1/2 , z c = |v φ u φ | 1/2 . For z c < z 0 , the integrals are straightforward, with the u 7 The differential operator on the left is the conformal Casimir operator in the Regge limit, z 2 ∂ 2 +z 2 ∂ 2 + 2zz z−z (∂ −∂). Interestingly, acting on the block it produces a delta function source in Lorentzian signature. It may be fruitful to understand the role of these delta functions in the conformal bootstrap.

JHEP03(2019)201
integral done first. The correct prescription for the u integral can be derived by boosting the φ's, integrating ∞ −∞ du, then boosting back; the upshot is that the integral just picks up a residue. After doing the r-integral, the final result is equal to the first line of (4.11). Therefore, we have exactly reproduced the case where the probe geodesic crosses the shockwave closer to the boundary than the source particle.
In the other case, where the geodesic probe crosses the shockwave past the source, i.e. z c > z 0 , the integral in (4.19) diverges. The easiest way around this obstacle is to swap the role of source and probe, i.e. to use (4.17) instead. Clearly this reproduces the gravity result on the second line of (4.11), since it differs from the first line just by swapping the two operators.
Therefore, we have reproduced the full gravity answer using the Regge OPE.

Lightcone limit
Everything in sections 4.2.1-4.2.2 can also be applied in the lightcone limit, where u → 0 with v held fixed. In this case, there is perfect agreement in all CFTs, regardless of whether they have a holographic dual, since the entire calculation happens near the boundary of AdS. On the CFT side, the perturbative analysis is valid because instead of 1/N , the corrections to the correlator are suppressed by positive powers of u. On the bulk side, the perturbative geodesic calculation is valid because now z c z 0 , and in that limit, the discontinuity in the geodesic where it hits the shockwave is also suppressed by u. We omit the details but the result in the end is just the lightcone limit of (4.11), in both boundary and CFT. This result demonstrates how log terms in the lightcone conformal block are related to time delays [16], and provides a precise equivalence between two different derivations of the averaged null energy condition: the holographic derivation [39] using geodesic lengths, and the causality derivation use the lightcone OPE [18].

Shockwaves from light operators
So far, all of our discussion of shockwaves has required the insertion of two heavy operators ψ, with ∆ ψ 1. From a bulk point of view, heavy operators are massive probe particles that travel on geodesics. Now we turn to another way to make shockwaves, using wavepackets of light operators, designed to travel on geodesics in the bulk. We mostly restrict to d = 4 for simplicity, but the results should generalized straightforwardly to any d > 2.

Smeared operators
The smearing procedure that we will use to produce shockwaves is identical, up to a conformal transformation, to that used in [19]. There, it was motivated by a sequence of complexified rotations, shifts, and limits from the kinematics of Hofman and Maldacena [8]. Here we work in a different conformal frame where the smearing is simpler to understand using a null inversion.
The starting point is an operator inserted at some fixed, real Lorentzian time t = t 0 > 0, smeared over complex positions with a Gaussian profile: (5.1)

JHEP03(2019)201
We implicitly cutoff the Gaussian outside some window, so the smearing has finite support; details off the cutoff won't matter, and the dominant contributions to the integrals will always come from a region where the Gaussian factor can be ignored. One can also think of this operator as a momentum space insertion, Wick rotated in all directions: This is not quite the same operator, but is equal inside the correlation functions we consider if evaluated at the saddlepoint t = t 0 ∼ ωD 2 . Now perform the null inversion (2.21). The smeared operator (with the arguments of φ written in null coordinates u, v) becomes where under the integral, the coordinates are parameterized as The center of the smeared operator, y = w = 0, is Therefore the Regge limit is t 0 → 0. The limit is taken with D/t 0 fixed but large, so that all of the coordinates (t 0 , y, w) effectively scale together towards zero. We will insert a second wavepacket which is obtained from W by sending t 0 → −t 0 . Importantly, after the null inversion, this is equivalent to reflecting across the Rindler horizon, up to a fixed phase. Rindler reflection sends Thus we define where u, v, x are given by (5.4).The phase comes from the conformal factor in the null inversion. Rindler reflection is important for positivity/causality constraints, because Rindlersymmetric correlators have properties akin to reflection positivity in Euclidean signature; see [18,34,54] for a detailed discussion.

Positivity at timelike separation
As an aside, note that under the null inversion, the fact that Rindler-symmetric correlators are positive leads to a positivity condition for timelike separated insertions. The simplest JHEP03(2019)201 Rindler positivity, after a null inversion, implies that a similar relation holds for n-point functions, with a specific phase dictated by the conformal weights. This is somewhat surprising -it is a positivity condition in unitary CFTs that applies to timelike separate insertions. In what follows, we will work in the coordinates where operators are inserted symmetrically across the Rindler horizon, so chaos/causality bounds are a consequence of Rindler reflection positivity. Alternatively, one can work directly in the (t, y, w) patch, with the shockwave inserted near the origin; in this approach the chaos/causality bounds follow from a timelike positivity condition like (5.8).

Cross ratios
Consider these wavepackets inserted in a 4-point function, This is a double integral of φ( Let's choose the other operators to also be symmetric across the Rindler horizon, The conformal cross-ratios for this situation, in the Regge limit where t i , y i , w i all scale toward zero, are (5.14) -25 -

JHEP03(2019)201
On the z andz complex planes, the range of the smearing integrals lies within the shaded region of figure 7. The cross ratios always stay in the right half-plane, Re z,z > 0. This is an important feature of this smearing procedure, required in order to apply the chaos bound to derive causality constraints. It differs from the more natural-looking, realmomentum wavepackets used in [14,15], which involve smearing into the bulk-point regime with Re z,z < 0.

Shockwaves in the smeared OPE
We assume φ is a light operator, with dimension O(1). We will show that the smeared operators W behave similarly to heavy operators, in the following sense: first, the stress tensor in the state W (t 0 )|0 is exactly that of the shockwave (2.5), localized on a null plane, with energy The shockwave is real for imaginary t 0 ). Second, the leading contribution to the Regge OPE is On the right-hand side is the shockwave operator, just as in the heavy-scalar Regge OPE, (3.7). This means that the smearing effectively projects out double-trace [φφ] operators, which would contribute at the same order if we just inserted local operators without smearing. That is, the correlator W W φ φ , in the Regge limit, has contributions from T and [φ φ ], but no contributions from [φφ] at leading order. We will derive (5.16) in d = 4, from both gravity and CFT. The formula for energy in general d (5.15) was obtained by computing W duT uu W and comparing to the prediction of (5.16), and matches the energy in the OPE that we will find for d = 4.

Gravity derivation
On the gravity side, (5.16) is derived by smearing the vertex Witten diagram in (3.8). The smearing integrals depend only on the relative separations up to an overall factor, so we only need to smear one of the operators. The Gaussian factors also drop out since the integral is dominated near the origin of the (t 0 , y, w) coordinates. Let with the coordinates given by (5.4). Performing the integrals, we find where h shock uu is the shockwave metric (2.1), with E given by (5.15). Stripping off the gravity propagator as we did in sections 3.1.1-3.1.2, this is equivalent to the OPE formula (5.16).

CFT derivation from conformal Regge theory
Now we will derive the same OPE formula (5.16) in a large-N , holographic CFT, using conformal Regge theory [25]. 8 As usual, we assume a large gap in the spectrum of single trace higher spin primaries, so that the only contribution to the Regge amplitude comes from the graviton. Conformal Regge theory provides a way to compute 4-point functions that automatically includes double-trace as well as single-trace exchanges. In terms of 4-point correlators, the statement of (5.16) is that the smeared 4-point function can be computed as follows: (i) replace the wavepackets by local operators at the centers, and (ii) drop double-trace [φφ] contributions. We will demonstrate this by smearing the conformal Regge amplitude.
The derivation follows [25] and is very similar to [14,15] so we will be brief. The starting point in conformal Regge theory is the 4-point correlator written as a conformal partial-wave expansion where conformal partial waves F ν,J are related to the conformal blocks by with h ≡ d 2 and where K h+iν,J is given explicitly in [25]. We can evaluate the second line of (5.19) by closing the contour in ν below the real axis since the partial waves vanish exponentially as ν → −i∞. In order for the contour integral to evaluate to the conformal block expansion b J (ν 2 ) must have poles Note that since we are interested in the Regge limit of the correlator we will be concerned with the analytic continuation of the partial waves to the second sheet, taking z around 1 withz held fixed. The next step is to use the Sommerfeld-Watson transform to analytically continue this expansion away from integer spins by replacing the sum over spins into a contour integral

JHEP03(2019)201
where C is the contour enclosing the poles of the denominator corresponding to the integer spins. 9 At large N , deforming this contour to enclose the Regge pole (5.22) and separating out the identity contribution one obtains [25] G = 1 + dν a(ν)(zz) Assuming that the higher spin single-trace primary operators have scaling dimensions larger than ∆ gap and that the stress tensor is the lowest dimension spin-2 operator gives us an ansatz for the leading Regge trajectory Using this ansatz we find We can evaluate this expression by evaluating the contour integral for each term in Ω separately by closing the contour in the upper or the lower half plane accordingly. The two contributions are identical since Ω is symmetric under ν → −ν. Therefore we will consider only one of the terms. Note that in the upper half plane the integrand has a pole at ν = 2i corresponding to the stress-tensor contrubtion as well as poles at ν = 2i(n + ∆ φ ) and ν = 2i(n + ∆ ψ ) for all positive integers n, corresponding to the exchange of the double trace operators.

JHEP03(2019)201
We are now ready to apply the smearing procedure described in section 5.1 to the correlator. To this end, we start by smearing the partial-wave 10 Using (5.4) and performing the radial and y integrations we find This has two salient features. First, the smearing has the effect of replacing the partial wave Ω iν by the partial wave evaluated at the wavepacket centers. Second, the gamma functions produced by smearing cancel the gamma functions in (5.27). Exactly the same thing occurred for real wavepackets in [14,15]. The Gamma-function poles correspond to double trace operators [φφ] in the OPE, so by smearing we have projected out these operators. Translated into a statement about the Regge OPE, this is equivalent to (5.16).
The smearing can also be performed on the Regge amplitude G Regge (z,z), i.e. after doing the ν-integral. This illustrates more directly which regime of cross-ratios is important to project out double-traces. An example is worked out in appendix D.

Smearing operators with spin
Finally, we turn to the Regge OPE of spinning operators. These also obey an equation like (5.16), with coefficients that depend on the polarizations. However, we won't actually derive the analogue of (5.16). Instead, we work with the four-point function, and just show by smearing the conformal Regge amplitude that double-trace operators are projected out. In other words, the smeared correlator is equal to the smeared stress tensor block in the Regge limit.
In [19], we showed that smearing the stress tensor block reproduces from CFT the graviton causality constraints of [13], such as the suppression of the Gauss-Bonnet term in 5d gravity, or in CFT language, the suppression of a−c c in large-N CFTs with a large

JHEP03(2019)201
gap. In that paper, we assumed that smearing would project out double-trace operators and gave some physical motivation for this, but did not derive it. Our goal here is to close that gap by repeating the analysis of the previous section, but now for the spinning OPEs T T → T and JJ → T , where T is the stress tensor and J is a conserved spin-1 current. This is rather technical but the basic idea is identical to the scalar case -smearing puts the fields in the Witten diagram onto geodesics, and so the smeared correlator can be computed by just smearing the stress tensor conformal block. The results, and the method, are also nearly identical to [14,15], except we use the complex rather than real wavepackets. (It is not entirely clear why this gives the same final answer, since the smearing is over a different range of cross ratios. Presumably the two different smearings can be related by a contour deformation but we will not explore this.)

Setup
We restrict to d = 4. Our conventions for the 3-point functions JJT and T T T follow the appendices of [17]. JJT has two structures, with constant coefficients n s and n f ; T T T has three structures, with independent coefficients n s , n f , and n v . The conformal collider bounds are n i ≥ 0. It was shown in [55,56] that correlation functions with spinning external operators can be expanded in terms of spinning conformal blocks which are related to derivatives of certain scalar conformal blocks ∆,J (z,z), (6.1) whereD (k),µ 1 ...µ l ,ν 1 ...ν l are differential operators acting on scalar conformal blocks g (k) ∆,J (z,z) with shifted scaling dimensions. Applying the methods of conformal Regge theory we will obtain the following expression for the Regge limit of the spinning correlator where G µ 1 ...µ l ,ν 1 ...ν l 0 contains the identity contribution to the correlation function. In what follows we will use these methods to compute correlation functions involving spin 1 conserved currents, spin 2 stress tensors and scalars as external operators.

J Jψψ
Denote the normalized correlator by Assuming the leading trajectory is given by (5.26), the Regge amplitude (subtracting the identity) takes the form

JHEP03(2019)201
where the differential operatorsD (k)µ,ν and coefficients a (k) (ν), as well as other details of this calculation, are given in appendix E. At this point we will assume that ∆ ψ is large so that we may neglect contribution from the [ψψ] double-trace operators and perform the ν integral above by summing over the residues. Finally, we perform the smearing procedure described in section (5.1). We choose coordinates for the operator insertions which are related to (5.4) by a null inversion (2.21), In other words, we work directly in the shifted patch, where the wavepackets are simple complex momentum insertions. We will also choose the following for the polarization vectors We then perform the rescaling t 0 = σt 0 , y i = σy i , w i = σ w i and take σ → 0 limit. The resulting expression will depend only on relative coordinates w 12 ≡ w and y 12 ≡ y (see footnote 10). We must now evaluate Normalizing by the smeared 2-point function to regulate divergences we find This is identical to the expression obtaining by ignoring, from the start, all of the doubletrace poles in the conformal Regge amplitude. This is the main point: the smeared correlator is equal to the smeared stress tensor conformal block. The chaos bound [34] implies that each power of λ as z 0 → 1 must be i×(positive) [19]. Different polarizations give different signs, so this is impossible, unless 4n f − n s = 0. (6.9) In bulk language, this implies that the non-minimal coupling between the graviton and photon must be suppressed by the string scale.
In terms of the Regge OPE, this implies a smeared OPE of JJ similar to (5.16), but with the coefficient on the r.h.s. built from polarizations, derivatives, and the n i . It would be nice to work this out explicitly, for example by comparison to the bulk or to the 4-point Regge amplitude, but we have not done so. The combination 4n f − n s appears as the dominant coefficient in this OPE as z 0 → 1.

T T ψψ
Now we turn to the case of external gravitons. Let Assuming the leading trajectory is given by (5.26), subtracting the identity contribution and contracting with polarization vectors in the Regge limit we have µ ν˜ α˜ β δG µν,αβ = dν 10 k=1 a (k) (ν) µ ν˜ α˜ βD (k)µν,αβ Ω iν (z/z) √ zz , (6.11) where the differential operatorsD (k)µν,αβ and the coefficients a (k) (ν) are too long to write down, but are available in Mathematica format from the authors. As above, we drop the heavy [ψψ] operators, perform the ν integral by summing over residues, then do the smearing integrals. The result is Once again this agrees with the stress tensor term alone. In the leading term as z 0 → 1 the coefficients of powers of λ come with opposite signs and hence cannot all be positive implying the following constraints on the coefficients These are precisely the combinations corresponding to higher curvature couplings, ruled out from a gravity analysis in [13]. Thus we have confirmed the argument sketched in [19] that double trace operators can be ignored in this calculation.

A Witten diagram calculations
In this appendix, we derive some of the equations in section 3 by evaluating Witten diagrams in the Regge limit.

A.1 Feynman rules
Scalar bulk-to-boundary propagator. The scalar bulk-to-boundary propagator between a bulk point (z, x) and a boundary point x in Euclidean AdS d+1 is given by is the scaling dimension of the boundary operator which is dual to a bulk scalar field of mass m.
Graviton bulk-to-bulk propagator. Let us now write down the graviton bulk-to-bulk propagator between point (z 1 , y 1 ) and (z 2 , y 2 ) in Euclidean AdS d+1 . We first introduce the quantity Let us also introduce The bulk-to-bulk propagator is given by [57] where, Graviton-scalar-scalar vertex. The graviton-scalar-scalar vertex is given by the bulk stress tensor of the scalar field in terms of the scalar bulk-to-boundary propagators .
Note that all the derivatives in equation (A.7) are taken with respect to the bulk point (z, x).

JHEP03(2019)201
be computed from the bulk side using Witten diagrams, involving the vertex function computed above. The exchange diagram gives where T α β O is the bulk stress tensor of the field dual to the operator O. Using (A.15), this implies where O(x 3 )O(x 4 ) shock is the two-point function computed in the imaginary shockwave (3.11).

B Check of the stress-tensor block
In this appendix, we use the Regge OPE (3.15) to reproduce the scalar conformal block for stress tensor exchange in the Regge limit in d = 4. Let us consider the correlator In the Regge limit (3.1), the contribution from the stress tensor according to (3.15) is where in the Regge limit z = 4/u,z = −4v. The u-integral is done first and then the remaining integral. The u-integral is subtle, as discussed in section 3.1.4: it is defined in such a way that the u-contour circles one pole. First, let us write where, the Regge limit is obtained by taking σ → 0. Note that the conformal cross-ratios in the Regge limit arez We now perform the u-integral. If we do the u-integral along the real line, then the ucontour does not enclose any poles and hence the integral vanishes. Instead, to obtain the JHEP03(2019)201

C Derivation of the general Lightcone and Regge block
In this appendix, we find a general formula for the OPE block of (scalar)×(scalar) → (anything) in the Regge limit, assuming x 1 and x 2 are timelike separated. The result is analytically continued to spacelike separation in (3.21). Using the shadow operator formalism, the OPE block is written as an integral over a causal diamond, in the future of x 1 and past of x 2 . In lightcone or Regge limit, the diamond will shrink to a line or a slab respectively, and the OPE formula simplifies. Following [32,33], we write the OPE as 12 · · ·t µ l 12 X µ 1 µ 2 ···µ (C.1) where N X is a normalization constant to be determined below, and The kinematics are the same as the main text, However, here we assume both u and v are positive so the diamond D(x 1 , x 2 ) is real. The diamond is the region in spacetime defined by In both the Regge and lightcone limits, v → 0, soṽ → 0 as well. Hence, we can setṽ = 0 in the argument of X and integrate the expression over v. For the same reason, we keep only µ = u in t µ 12 . In either limit, integration overṽ yields: X uu···u (u, 0, x) . (C.5) In the lightcone limit, uv → 0, one can also integrate over the transverse part in C.5 and we recover the OPE as a line integral appearing in [18]: Taking the Regge limit of (C.5), v → 0, uv = fixed, we find: (C.7)

JHEP03(2019)201
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.