A Conformal Collider for Holographic CFTs

We develop a formalism to study the implications of causality on OPE coefficients in conformal field theories with large central charge and a sparse spectrum of higher spin operators. The formalism has the interpretation of a new conformal collider-type experiment for these class of CFTs and hence it has the advantage of requiring knowledge only about CFT three-point functions. This is accomplished by considering the holographic null energy operator which was introduced in arXiv:1709.03597 as a generalization of the averaged null energy operator. Analyticity properties of correlators in the Regge limit imply that the holographic null energy operator is a positive operator in a subspace of the total CFT Hilbert space. Utilizing this positivity condition, we derive bounds on three-point functions $\langle TO_1O_2\rangle$ of the stress tensor with various operators for CFTs with large central charge and a sparse spectrum. After imposing these constraints, we also find that the operator product expansions of all primary operators in the Regge limit have certain universal properties. All of these results are consistent with the expectation that CFTs in this class, irrespective of their microscopic details, admit universal gravity-like holographic dual descriptions. Furthermore, this connection enables us to constrain various inflationary observables such as the amplitude of chiral gravity waves, non-gaussanity of gravity waves and tensor-to-scalar ratio.

D Polarization vectors 56

Introduction
In conformal field theory (CFT), causality of four-point functions places nontrivial constraints on CFT three-point couplings. In particular, causality in the lightcone limit leads to constraints [2][3][4] which are identical to the bounds obtained from the conformal collider experiment [5]. Of course, this is not a coincidence. In fact, the proof of the averaged null energy condition (ANEC) T uu du ≥ 0 from causality [6] made it apparent that for generic CFTs, the conformal collider set-up provides an efficient tool for deriving causality constraints.
The conformal collider set-up is a simple yet powerful thought experiment that was introduced by Hofman and Maldacena [5]. In this set-up, the CFT is prepared in an excited state by creating a localized excitation which couples to some operator O (with or without spin) of the CFT. This excitation propagates outwards and the response of the CFT is measured by a distant calorimeter. The calorimeter effectively measures the averaged null energy flux T uu du far away from the region where the excitation was created and hence the calorimeter readings should be non-negative. This gives rise to constraints on the three-point function OT O , where T is the stress tensor operator. Recently, the conformal collider set-up was extended to study interference effects, leading to new bounds on OPE coefficients [7,8]. 1 All of these causality constraints are valid for every CFT in d ≥ 3, however, additional assumptions about the CFT can lead to stronger constraints. In particular, similar logic in certain class of CFTs can shed light on how gravity emerges from CFT.

Holographic CFTs
The low energy behavior of gravitons, in any sensible theory of quantum gravity, is described by the Einstein-Hilbert action plus higher derivative correction terms. However, these higher derivative terms can lead to causality-violating propagation in nontrivial backgrounds [10][11][12]. Requiring the theory to be causal in shockwave states, as shown by Camanho, Edelstein, Maldacena, and Zhiboedov [13] (CEMZ), does impose strong constraints on gravitational three-point interactions. For example, causality dictates that the graviton three-point coupling should be universal in quantum gravity [13] a claim consistent with constraints obtained from unitarity and analyticity [14]. Furthermore, the AdS/CFT correspondence [15][16][17] immediately suggests that in any CFT with a holographic dual description, certain three-point functions (for example T T T ) must also have specific structures.
Over the past several years, it has become clear that a large class of CFTs, with or without supersymmetry, exhibits gravity-like behavior . More recently, the CEMZ causality constraints have been derived from the CFT side for dimension d ≥ 3 [1,8,[44][45][46], under the assumptions: • The central charge c T is large 2 : c T 1 • A sparse spectrum: the lightest single trace operator with spin > 2 has dimension ∆ gap 1 .
All of these observations indicate that CFTs in this class, irrespective of their microscopic details, admit a universal gravity-like holographic dual description at low energies. Furthermore, this connection provides us with a powerful tool to constrain gravitational interactions by studying CFTs with a large central charge and a sparse spectrum. In this paper, we intend to adopt this point of view. First, for CFTs in this universality class (henceforth denoted holographic CFTs), we will derive general constraints on CFT three-point functions from causality. In light of the AdS/CFT correspondence, these CFT causality constraints translate into constraints on the low energy gravitational effective action from UV consistency.
The CEMZ causality constraints for CFTs with large central charge and a sparse spectrum were first derived in [44] from causality of the four-point function ψψT αβ T γδ in the Regge limit, where ψ is a heavy scalar operator. The derivation heavily relied on the fact that the stress tensor operators in the correlator were smeared in a specific way that projected out [T T ] double trace contributions to the Regge correlator. The same constraints were also derived in [45,46] by imposing unitarity on a differently smeared correlator ψψT αβ T γδ in the Regge limit. Moreover, this approach was recently extended to study a mixed system of four-point functions in the Regge limit yielding new bounds on the OPE coefficients of low spin operators in holographic CFTs [8]. From the dual gravity perspective, all of these set-ups are probing local high energy scattering deep in the bulk. However, the actual CFT analysis involves computations of CFT four-point functions of spinning operators using the conformal Regge theory [47], which is technically challenging even in the large central charge limit. One might hope that in the Regge limit causality of CFT four-point functions can be translated to some holographic energy condition which is a generalization of the averaged null energy condition for holographic CFTs. Such an energy condition was recently derived in [1]. In this paper, we will exploit this energy condition to design a new experiment, similar to the conformal collider experiment of [5], for holographic CFTs which will allow us to bypass the conformal Regge theory.

Holographic null energy condition
In the Regge limit, causality dictates that the shockwave operator h uu du must be non-negative for CFTs with large central charge and a sparse spectrum [1]. This immediately allows us to imagine an "AdS collider" where the boundary CFT is again prepared in the Hofman-Maldacena state |HM . But now the measuring device is in the bulk and measures HM | h uu du|HM ≥ 0 (see figure 4). It is obvious that this set-up will reproduce all of the causality constraints, however, both technically and conceptually this is not very satisfying for several reasons. First, this correlator should be computed using Witten diagrams which is difficult when the state |HM is prepared using spinning operators. Second, in the CFT language, this set-up is not illuminating because the operator h uu du has a complicated decomposition into CFT operators which consists of the stress tensor and an infinite tower of double trace operators.
In this paper, we consider the stress tensor component of the shockwave operator [1] which we will refer to as the holographic null energy operator. 3 Causality of CFT four-point function in the Regge limit [1] implies that the expectation value of the holographic null energy operator is positive in a large subspace of the total Hilbert space of holographic CFTs. Note that this operator is the averaged null energy operator 3 u and v are the null coordinates.
smeared over a finite sphere along the imaginary transverse directions. Of course, the positivity of the holographic null energy operator is not implied by the ANEC because of the imaginary transverse directions. In fact, this operator, in general, is not positive.
A key ingredient of the positivity argument is that there exists a class of states |Ψ which projects out certain double trace contributions to h uu du. This is an extension of the observations made in [1]. These states, as we will show, are equivalent to the Hofman-Maldacena state |HM which will allow us to introduce a new formalism to study causality constraints. Our formalism can be interpreted as a new collider-type experiment for holographic CFTs (see figure 1). Consider a CFT with large central charge and a sparse spectrum in d-dimensions. The CFT is prepared in the excited state |HM by inserting a spinning operator O near the origin and an instrument measures the holographic null energy far away from the excitation: The holographic null energy condition implies that E(ρ) is a positive function for 0 < ρ < 1. The parameter ρ is a measure of the angular size of our measuring device at the origin and the parameter ρ can be tuned by changing the size of the device. In the gravity language, ρ plays the role of the bulk direction. In particular, ρ → 0 represents the lightcone limit (AdS boundary) and hence in this limit, this set-up is equivalent to the original conformal collider experiment. On the other hand, we are interested in probing high energy scattering deep in the bulk of the dual geometry which corresponds to the limit ρ → 1.
Our conformal collider set-up has several advantages over previous methods [1,8,[44][45][46]. First, we do not need to compute conformal Regge amplitudes. In our setup, all of the constraints are directly obtained from CFT three-point functions which are fixed by conformal symmetry up to a few constant coefficients -a simplification which enables us to derive constraints in a more systematic way. Finally, our approach connects causality constraints in the Regge limit with the holographic null energy condition. This is reminiscent of the ANEC which relates causality in the lightcone limit with entanglement. So, the appearance of the holographic null energy condition perhaps is an indication of some deeper connection between boundary entanglement and bulk locality. Moreover, the recent generalization of the ANEC to continuous spin [48] suggests that there might also be a generalization of the holographic null energy condition to continuous spin.

Summary of results
The formalism that we developed in this paper efficiently computes the expectation value of E r in states |Ψ , constructed by inserting spinning operators. 4 Let us now summarize the resulting constraints for all single trace low spin ( ≤ 2) operators in a holographic CFT (in d ≥ 3).
• All three-point functions of the form T OO are completely fixed by the two-point function OO . These constraints encompasses, and generalizes, all known causality constraints as obtained in [1,8,[44][45][46] by studying various four-point functions in holographic CFTs.
Moreover, after imposing these causality constraints, we find that the expectation value of the holographic null energy operator is universal and it is completely determined by 4 This formalism can easily be adapted to computing the contribution of any conformal multiplet to the Regge limit of four-point correlation functions. 5 There is a caveat. Our argument does not necessarily hold if scaling dimensions of O 1 and O 2 coincide with the scaling dimension of double-trace operators (at leading order in c T ). For more discussion see [7,8].
the lightcone limit result. This observation suggests the following conclusion about the operator product expansions in holographic CFTs: • The operator product expansion of any two smeared primary single trace operators (with or without spin) in the Regge limit is given by a universal shockwave operator: where, E O 1 O 2 is the matrix element of the total energy operator. The operators O 1 and O 2 are smeared in such a way that they can create states which belong to the class |Ψ (see section 3). On the right hand side, the spherical shockwave operator is written as an integral of the metric perturbation over a null geodesic: In the gravity language, the above CFT constraints translate into the statement that all higher derivative interactions in the low energy effective action must be suppressed by the new physics scale. Furthermore, in agreement with the proposal made by Meltzer and Perlmutter in [8], we find that in d ≥ 4 CFT dual of a bulk derivative is 1/∆ gap .
However, we also notice that in d = 3 there is a logarithmic violation of this simple relationship between the bulk derivative and ∆ gap .
As a simple example of the above bounds, we derive "a ≈ c" type relations between conformal trace anomalies in d = 6. In d = 6, there are four Weyl anomaly coefficients a 6 , c 1 , c 2 , c 3 , however, three of them (c 1 , c 2 , c 3 ) are determined by the stress tensor threepoint function T T T . Our bounds immediately imply that the anomaly coefficients must satisfy c 1 = 4c 2 = −12c 3 . These relations between c 1 , c 2 , c 3 are exactly what is expected for (2, 0) supersymmetric theories, both holographic and non-holographic [49]. This is reminiscent of the Ooguri-Vafa conjecture [50] which states that holographic duality with low energy description in term of the Einstein gravity coupled to a finite number of matter fields exists only for supersymmetric theories.
Finally, as a new application of the holographic null energy condition, we constrain various inflationary observables such as the amplitude of chiral gravity waves, nongaussanity of gravity waves and tensor-to-scalar ratio. Our argument parallels the argument made by Cordova, Maldacena, and Turiaci in [7]. The bounds on higher curvature in-teractions in AdS 4 strongly suggests that these higher curvature terms should also be suppressed by the scale of new physics in the effective action in de Sitter space. Hence, any effect that arises from these higher curvature terms must be vanishingly small. For example, in (3 + 1)−dimensional gravity all parity odd interactions appear in higher derivative order. Therefore, all inflationary observables that violate parity including chiral gravity waves and parity odd graviton nongaussanity, must be suppressed by the scale of new physics. Furthermore, any detection of these effects in future experiments will imply the presence of an infinite tower of new particles with spins > 2 and masses comparable to the Hubble scale.

Outline
The rest of the paper is organized as follows. In section 2, we discuss the conformal collider set-up for holographic CFTs and review the holographic null energy condition.
Then in section 3, we summarize our causality constraints as a statement about Regge OPE of smeared operators. In this section, we also propose a relation that connects the Regge limit with the lightcone limit for holographic CFTs. In section 4, we present a systematic approach of calculating the expectation value of the holographic null energy operators in states created by smeared operators. This section mainly contains technical details, so it can be safely skipped by casual readers. In sections 5 and 6, we derive explicit constraints on CFT three-point functions for d ≥ 4. The d = 3 case is more subtle and hence we treat it separately in section 7. In section 8, we discuss the cosmological implications of our CFT bounds. Finally, we end with concluding remarks in section 9.

Causality and conformal collider physics
In the lightcone limit, causality dictates that the averaged null energy operator T uu du should be non-negative [6]. 6 The ANEC immediately leads to positivity of all CFT three-point functions which have the form: O| T uu du|O ≥ 0. On the other hand, for CFTs with large central charge and a sparse spectrum, causality of four-point functions in the Regge limit leads to stronger constraints. However, all of these causality conditions involve computations of CFT four-point functions of spinning operators using the 6 The averaged null energy condition for interacting quantum field theories in Minkowski spacetime was first derived in [51] from monotonicity of relative entropy. conformal Regge theory [47]. The causality of CFT four-point functions even in the Regge limit can be translated to positivity of certain (holographic) energy operator [1].
In this section, with the help of that positivity condition, we develop a new conformal collider set-up enabling us to derive causality bounds directly from three-point functions.

A collider for holographic CFTs
We will use the following convention for points x ∈ R 1,d−1 : Let us now define the holographic null energy operator: The holographic null energy operator is a generalization of the averaged null energy operator which was first introduced in [1]. 7 In particular, in the limit r → 0, this operator is equivalent to the averaged null energy operator. The kernel in (2.2) is positive and hence one might expect that the operator E r (v) should also be positive.
However, this is not true because the stress tensor is also integrated over imaginary transverse coordinates and in general du T uu (u , v, i x) can have either sign.
Let us now carry out a collider physics thought experiment similar to [5] but with a holographic CFT in d-dimensions where d ≥ 3 (see figure 1). We prepare the CFT in an excited state by inserting a spinning operator O near the origin 8 : where, is the polarization of the operator O and δ > 0. Similarly, The state |Ψ is equivalent to the Hofman-Maldacena state of the original conformal collider experiment [5]. Now we imagine an instrument that measures the holographic null energy E r (v) far away from the excitation: where, 0 < ρ < 1. The parameter ρ is a measure of the size of the measuring device which we can tune. The measuring device is placed at a distance B away from the excitation and the angular size of the device is roughly ρ d−2 2 . A priori it is not obvious that the measured value E(ρ) has to be positive. However, later in this section, by using the positivity conditions of [1], we will show that for CFTs with large central charge and a sparse spectrum in d ≥ 3: for a class of states that has the form (2.3). This inequality will play an important role in this paper and we will refer to this as holographic null energy condition. In the limit ρ → 0, the holographic null energy operator becomes du T uu (u ) and E(ρ) ≥ 0 is true for any CFT. In this limit, the positivity of E(ρ) reproduces the conformal collider bounds of [5][6][7][8][9]. Note that the wavepacket of [5] is implemented here by the order of limits. We first perform the u -integral in (2.5) and then take the limit B → ∞. The same trick was used in [6] to derive conformal collider bounds directly from a Rindler reflection symmetric set-up.
This conformal collider set-up is equivalent to the set-up used in [1,44], however, now we do not need to compute a four-point function. For example, in d = 4, if we take O to be the stress tensor and choose the polarization µ = (−i, −i, iλ, λ), as we demonstrate in appendix D, each power of λ should individually satisfy (2.6). In particular, in the limit ρ → 1, we recover a = c from (2.6).
Before we proceed, let us rewrite (2.5) in a more familiar form. The Hofman-Maldacena state of the original conformal collider experiment [5] is given by Then (2.6) immediately implies that

Holographic null energy condition
It was shown in our previous paper [1] that causality of CFT four-point functions in the Regge limit implies positivity of certain smeared CFT three-point functions. First, we review and further explore that positivity condition. Then, we derive (2.6) as a simple consequence.

Regge limit and OPE of heavy scalars
We start with a discussion on the Regge OPE of heavy operators in the holographic limit. Let us consider a real scalar primary ψ in a d−dimensional CFT with ∆ ψ 1.
In general, one can replace any two nearby operators by their OPE. For example,  where, the sum is over all primaries. In a generic CFT, the lightcone and the Regge limits of a correlator are controlled by different sets of operators. In the standard lightcone limit v → 0 (with u fixed), the above OPE can be organized as an expansion in twist τ p = ∆ p − p (∆ is scaling dimension and is spin) which leads to a simple lightcone OPE [6]. On the other hand, the Regge limit is obtained by taking (see figure   2) (2.10) Unlike the lightcone limit, the Regge limit gets significant contributions from high spin exchanges. Even when the central charge c T (defined in (A.7)) is large, complication arises because an infinite tower of double trace operators become relevant in the Regge limit. However, under the additional assumption that the spectrum of single trace operators with > 2 is sparse, simplification emerges and the Regge OPE can be written as [1] ψ where, c T ∆ ψ 1 and dots are O(u 0 , ∆ 0 ψ , 1/c 2 T ) terms. h uu in the above equation is the bulk metric perturbation in AdS d+1 (where z is the bulk coordinate) which is integrated over a null geodesic. In the gravity language, contributions of an infinite tower of primary operators translate into a single term because the dominant contribution to the four-point function comes from the Witten diagram with a single graviton exchange. Hence, the right hand side of (2.11) should be thought of as a CFT operator written in terms of the bulk metric. In particular, duh uu contains the stress tensor be computed using the HKLL prescription for h uu [54].
Causality of the Regge correlator dictates that the operator duh uu has to be positive [1] and hence any three-point function which has the form O| h uu du|O must be positive as well. From the CFT perspective, this positivity condition both technically and conceptually is not very useful. However, we will show that for specific states, only the stress tensor contribution of duh uu is important which will lead us to the holographic null energy condition. Before we proceed, let us note that the contribution of the single trace stress tensor and its derivatives to the Regge OPE (2.11) can be written in terms of the holographic null energy operator [1] where, E r (v) is defined in (2.2).

Positivity
Consider a Rindler reflection symmetric four-point function in the regime (2.10), as shown in figure 3. ε.O(B) is an arbitrary operator with or without spin (not necessarily a primary operator) smeared over some region: where, δ > 0 and ε is the polarization (when O is a spinning operator). Operator ε.O is the Rindler reflection of the operator O (see [6] for a detailed discussion): where, the Hermitian conjugate on the right-hand side does not act on the coordinates.
ε is the Rindler reflection of the polarization ε: where P is the number of t-indices plus y 1 -indices.
Following [44], let us define with B > 0, σ > 0 and 0 < ρ < 1. The Regge limit is obtained by taking σ → 0 with ρ, B fixed. Now using the OPE (2.11), we obatin The null line integral in the above expression is computed by choosing appropriate contour. We can now repeat the arguments of [6,44] which tells us that the boundary CFT will be causal if and only if which is precisely the chaos bound of [55]. Since, δG as obtained from (2.18) is purely imaginary, therefore the last inequality is equivalent to for any operator O. After we perform a rotation by π/2 in the Euclidean τ − x 1 plane, this is precisely the statement that the shockwave operator duh uu is positive [1]. This is a CFT version of the a bulk causality condition proposed by Engelhardt and Fischetti in [56]. They showed that asymptotically AdS spacetimes satisfy boundary causality if and only if metric perturbations satisfy duh uu ≥ 0. This requirement is weaker than the bulk null energy condition which was the starting point of the Gao-Wald theorem [57].
This is a statement about CFT three-point function which allows us to circumvent the computation of four-point functions. 10 Later in the paper, we will justify our conjecture about double trace operators by demonstrating that the inequality (2.21) reproduces all known causality constraints for holographic CFTs. This is a non-trivial check of the conjecture, however, it will be nice to have a direct proof.
Let us make few comments regarding the regime of validity for the inequality (2.21).
• The inequality is true for any 0 < ρ < 1 for CFTs in d ≥ 3 with large central charge and a sparse spectrum. In particular, in the limit ρ → 1, (2.21) probes scattering at a point deep in the interior of AdS, similar to [1,13].
• The limit ρ → 0 corresponds to the lightcone limit and in this limit, the inequality is true for any interacting CFT in d ≥ 3. Furthermore, in this limit, the inequality (2.21) is equivalent to the conformal collider set-up of [5] and hence it yields optimal bounds.
We will use (2.21) to derive constraints for holographic CFTs. So, let us rewrite (2.21) in a more explicit form that we will use in later sections: We want to stress that in the above expression, order of limits is important. We perform the u integral first and then take the large B limit. Also note that we are only smearing one of the operators because the other smearing integral will only give an overall volume factor. This is a consequence of the large B limit and this volume factor is the same factor that appears in the smeared two-point function.
The inequality (2.22) is not yet an expectation value of the holographic null energy operator in a state which has the form (2.3). However we can rewrite the inequality (2.22) as an expectation value. First, we perform a rotation R in (2.22) that rotates by π/2 in the Euclidean τ − x 1 plane where τ = it (see appendix A of [6]). Then we perform a translation along x 1 -direction by B. This procedure converts (2.22) into an expectation value 11 : where, |Ψ is a class of states which has the form (2.3). This concludes the proof of the holographic null energy condition.

Corrections from higher spin operators
The holographic null energy condition is exact strictly in the ∆ gap → ∞ limit. Therefore, all of the constraints obtained from the holographic null energy condition in the limit ρ → 1 will receive corrections from higher spin operators above the gap. A finite number of such operators will violate causality/chaos bound and hence this scenario is ruled out. However, it is expected that an infinite tower of new higher spin operators with ∆ > ∆ gap starts contributing as we approach the limit ρ → 1. Let us now estimate the correction to the causality constraints if we include these higher spin operators with We consider a single higher spin operator with spin and dimension ∆ = ∆ gap and generalize the argument of our previous paper [44]. Contribution of this operator to 11 We should also transform the polarization tensor accordingly (see [6]). In particular, polarizations µν... (as used in equation (2.3)) and ε µν... (which has been used throughout the paper whenever we have a Rindler reflection symmetric set-up) are related in the following way: (2.13) in the limit ρ → 1 is given by [44] δG where, a is a positive number and we have assumed that ∆ gap . Therefore, these higher spin operators becomes relevant in the strict limit of s → 0. On the other hand, we can safely ignore these operators when s 1/∆ gap . 12 So, we can trust the causality condition (2.21) as well as the collider bound (2.6) only in the regime 1/∆ gap s < 1 and the strongest constraints can be obtained by setting s ∼ 1/∆ gap .
Let us now schematically write where, the sum is over terms which change sign for different polarizations and hence in the absence of the higher spin operators causality condition leads to t n = 0. On the other hand, we will show in the rest of the paper that after imposing the causality constraints the leading non-vanishing term in the limit ρ → 1 goes as where c 0 is positive. 13 Now, setting ρ ∼ 1 − 1/∆ gap , from the causality/chaos bound (2.21), (2.29)

Universality of the smeared Regge OPE
In the rest of the paper, we will derive constraints using the conformal collider for the holographic null energy operator. In this section, we summarize the results as a statement about the Regge OPE of smeared single trace operators with low spin.
Causality of the Regge correlators suggests that the operator product expansion of any two smeared primary operators (with or without spin) of CFTs with large central 12 We should note that δG has large numerical factors. Here, similar to [44], we are making an additional assumption that OPE coefficients which appear in δG are small enough to cancel these large numerical factors. 13 In d = 3, the leading nonzero term goes as −c 0 ln(1 − ρ) and hence the ∆ gap -correction is given by (2. 28) charge and a sparse spectrum should approach a universal form in the Regge limit.
Let us consider two arbitrary primary single trace low spin operators O 1 and O 2 ( ≤ 2). We now smear the operators following (2.3): where, 1 and 2 are polarizations of operators O 1 and O 2 , respectively (when they have spins). We then perform the rescaling δ = σδ, y 1 = σy 1 , and y = σ y and take the limit σ → 0. In this limit, we claim that chaos/causality bounds guarantee that the OPE of ] (up to order 1/c T ) is given by a universal operator H: where, dots represent terms which are suppressed by either the large gap limit or the large c T limit or the Regge limit. And E lc is the lightcone limit of the operator (2.2): for arbitrary c 1 and c 2 . For scalar operators, the Regge correlator is trivially causal. .
written as a product of the lightcone answer and a correlator of the holographic null energy operator with heavy scalars. In particular, if we define then it can be easily shown that equations (3.3) and (3.6) imply where, dots represent terms suppressed by ∆ gap . We can further simplify by computing the scalar part of the above equation, yielding Broadly speaking, this equation relates UV (Regge limit) with IR (lightcone limit). It is rather remarkable that for holographic CFTs the Regge limit is completely determined by the lightcone limit. In the following sections, we will check the OPE (3.3) by demonstrating that the above relation holds for various operators with or without spin.

Gravity interpretation
The Regge OPE (3.3) has a nice gravity interpretation. The operator H is a complicated CFT operator, however, when written in terms of the bulk metric it has a simple expression. In particular, in the gravity language the Regge OPE (3.3) can be rewritten as 14 . On the right hand side the operator H is now written as the bulk metric perturbation integrated over a null geodesic z = t, y 1 = 0, y = 0 in AdS d+1 . Therefore, H is a shockwave operator that creates a spherical shockwave in AdS.
The OPE (3.10) has been derived by starting from the planar shockwave operator of [1]. In the gravity language, the OPE of heavy scalars O H (iδ)O H (−iδ) can be obtained from the Regge OPE of [1] by performing the following change of coordinates: where, z 0 is the position of the planar shockwave operator in [1]. On the boundary this change of coordinates acts as a conformal transformation. On the other hand, in the bulk this change of coordinate converts the planar shockwave operator into the spherical shockwave operator. Now the universality of the Regge OPE immediately implies that the same spherical shockwave operator will also appear in (3.10).
The form of the OPE (3.10) is fixed by the conformal symmetry and causality of the boundary CFT and in the dual gravity language, it has an interesting consequence. black hole [58]. Furthermore, the form of the OPE (3.10) also dictates that this process of creating bulk shockwaves obeys a simple superposition principle. Consider an operator O which is a linear combination of several low spin operators The smeared operator Ψ[O] again creates a spherical shockwave in the bulk but now with an energy ∼ E OO . Therefore, causality of four-point functions of the boundary CFT translates into a shockwave superposition principle in the bulk.

Nitty-gritty of doing the integrals
The aim of the rest of the paper is to derive constraints by evaluating (2.21)  Let us now introduce the notation: there is a key difference: Let us now evaluate E O 1 O 2 (ρ): where, we have rescaled x 3 to B x 3 so that the bounds of integration becomes x 2 3 ≤ ρ. 15 Note that we are only smearing one of the operators because the other smearing integral will only give an overall volume factor. So, the computation of E O 1 O 2 (ρ) is reduced to performing certain integrals over a CFT 3-point function whose form is fixed by conformal invariance up to constant OPE coefficients.

Order of limits:
The expression (4.3) is evaluated by first performing theũ-integral using an appropriate contour. Then we take the B → ∞ limit, yielding a relatively simple expression. To perform the smearing integrals, it is convenient to package τ and y together in a

Scalar operators
As a demonstration of the formalism in action we will now compute (4.3) for scalar operators. The three point function of interest in this case is entirely fixed by conformal invariance [61] O( where, The OPE coefficient C OOT is fixed by the Ward identity .
We therefore wish to compute x d−2

13
(4.7) in the large B limit, where points x 1 , x 2 and x 3 are given by (4.3).
Performing theũ-integral: In our coordinates, we find that the factors in the denominator have the form where c i 's areũ-independent complex constants and the numerator will in general be a finite degree polynomial P (ũ) inũ. If we perform theũ-integral with the usual iprescription, then theũ-contour does not enclose any poles (or branch cuts) and the integral vanishes. Instead, we need to follow a prescription similar to the prescription of [1] to obtain the operator ordering of (4.3). Whenever the holographic null energy operator appears inside a correlator, we define theũ-integral with theũ-contour such that theũ-integral in (4. In general thisũ-integral has branch cut singularities at u = iB ± δ. And the above contour is equivalent to the prescription of analytic continuation of [1]. Another way to understand this choice of contour is to perform a π/2 rotation in the Euclidean τ − x 1 plane and start with (2.5) instead of (4.3). Now if we consider the centers of the smeared operators, the choice of contour forũ-integral is obvious.
To summarize, effectively theũ-integral in (4.3) is given by the contour: Let us now use this contour to perform integrals of the form: where P (u) is a polynomial in u. These integrals can be easily evaluated by using the where, p 1 and p 2 are positive numbers with p 1 + p 2 > 1. So, now performing the ũ-integral and taking the large-B limit we find, 16 where we have made a change of variables from (τ, y) to p and defined the following (d − 1)-dimensional vectors running over time and d − 2 transverse coordinates (τ, y) k = (τ, y) , (4.14) Before we proceed, let us note that if one starts with (2.5) instead of (4.3), theũintegral should be performed in a similar way. After taking the large-B limit, one ends up with exactly (4.13) and hence the rest of the calculation is identical.
Performing the p-integral: It turns out that even in the most general correlation function, the smearing integrals reduce to the form where v i are constant vectors. These integrals have closed form expressions in the most general case and the relevant results are summarized in appendix C. In this example, performing the smearing integrals yields 17 Performing the x 3 integral: The most general integrals of the kind that appeared in our last expression, after going to the radial coordinate, can be done using where, b, c > −1 and 0 < ρ < 1. Using this identity we finally obtain For scalars, the causality condition E OO (ρ) ≥ 0 is already satisfied because of the Ward identity. Note that E OO (ρ) satisfies the relation (3.9) which is the first check of the UV/IR connection. 18 As described in the previous section the lightcone limit is obtained by taking ρ → 0: The "bulk-point" limit 19 is obtained by taking the limit ρ → 1 and in d ≥ 4, we obtain: (4.20) In d = 3, there is a logarithmic divergence in the limit ρ → 1

Spinning operators
It was shown in [60,61] that the most general 3-point functions of symmetric traceless spinning operators in a CFT can be written as a sum over certain elementary spinning structures: where C Φ 1 Φ 2 Φ 3 n 12 ,n 13 ,n 23 are constant coefficients and h i ≡ ∆ i + i . The structures are given by where, x µ ij = (x i − x j ) µ and ε i is a null polarization vector contracted with spinning indices of Φ i in the following way: For a traceless symmetric tensor, one can easily convert the null polarization ε µ ε ν · · · into an arbitrary polarization tensor ε µν··· by using projection operators [60].
The sum in (4.22) is over all triplets of non-negative integers {n 12 , n 13 , n 23 } satis- For a general correlation function, the coefficients C Φ 1 Φ 2 Φ 3 n 12 ,n 13 ,n 23 are all independent parameters, however imposing conservation equations or Ward identities will impose relations amongst these coefficients.

Angular integrals:
In the case where the external operators are non-scalars, similar to (4.14) we also need to introduce (d − 1)-dimensional vectors made out of the polarization vectors ε µ 1 , ε µ 2 : 1,⊥ = (0, ε 1,⊥ ), 2,⊥ = (0, ε 2,⊥ ). (4.28) Now after p-integrals, we will have to perform angular integrals for x 3 which is of the where dΩ is the standard measure on S d−3 and we have used the fact that ε 2,⊥ 2 = ε 1,⊥ 2 = 0. Rest of the computation is identical to the scalar case and can be efficiently automated in Mathematica.

Bounds on T T T , JJT , and O =1,2 O =1,2 T
In this section, we will use the methods described above to derive constraints in d ≥ 4.
These constraints encompasses, and generalizes, the constraints obtained in [1,8,[44][45][46] by studying various four-point functions in holographic CFTs. Note that the d = 3 case is more subtle which we will discuss in a separate section. 20 We will treat the d = 3 case separately.

JJT
We start with E JJ where J is a spin-1 conserved current. The JJT three-point function is given in Appendix A.1. Following our formalism, the leading term in the limit ρ → 1 is given by up to some positive overall coefficient. Our choice of polarizations is given in equation  After imposing the constraint (5.2), we can compute f JJ (ρ): which is consistent with the equation (3.9).
In dual gravity language, the three-point function JJT arises from the following action of a massless gauge field where, W is the Weyl tensor 21 . The coefficient α AAh can be written in terms of n s and n f : Hence, α AAh should be suppressed by the scale of new physics. The power dependence of the suppression α AAh ∼ 1 ∆ 2 gap agrees with the result obtained from causality of the effective field theory in the bulk [13]. 22

Let us now consider E T T (ρ) where T T T three-point function is given in Appendix
A.2. Following our formalism, the leading term in the limit ρ → 1 is given by up to some overall positive coefficient. Polarizations are given by equation (4.27) with ε µ 2 = ε µ 1 and λ is defined in equation (5.2). Positivity of E T T for all powers of λ demands that we must haveñ After imposing this condition, the next leading term becomes (5.9) 21 The Weyl tensor is given by 22 Here we are assuming R AdS = 1.
Positivity then impliesñ where, we have also used the Ward identity (A.12) to derive the last equation. After imposing these constraints, the positivity ofñ s guarantees that the rest of the terms are always positive and hence no new constraints are obtained from subleading terms. Note that the three-point function T T T is completely determined by the T T two-point function. Furthermore, we can now compute our f ε 1 ·T ε 2 ·T (ρ) function which is in agreement with the relation (3.9) indicating that the Regge OPE of smeared operators is indeed universal.
On the gravity side, this constrains higher derivative correction terms in the pure gravity action that contribute to three point interactions of gravitons. These higher derivative correction terms can be parametrized as  [13].

Conformal trace anomaly in 6d
In d = 4, the causality constraints (5.10) can be rewritten as a statement about central charges: |a−c| c 1/∆ 2 gap . There is a similar relation between trace anomaly coefficients in d = 6. In particular, the conformal trace anomaly in d = 6 can be written as [70][71][72][73] T µ µ = 2a 6 E 6 + c 1 I 1 + c 2 I 2 + c 3 I 3 (5.13) up to total derivative terms which can be removed by adding finite and covariant counter-terms in the effective action. In equation (5.13), a 6 , c 1 , c 2 , c 3 are 6d central charges and The a 6 coefficient can be determined only from the stress tensor four-point function and hence (5.10) does not constrain a 6 . However, c 1 , c 2 , c 3 are related to the stress tensor three-point function and hence constraints (5.10) can be translated into constraints on central charges. In particular, using the result of [74] for Einstein gravity, we can easily show that Note that the relations between c 1 , c 2 , c 3 are exactly what is expected for (2, 0) supersymmetric theories. For these theories, invariants I 1 , I 2 , I 3 can be combined into a single super-invariant [75][76][77] which leads to the relation: c 1 = 4c 2 = −12c 3 [49]. This relation between c 1 , c 2 , c 3 was first derived in [72] for the free (2, 0) tensor multiplet.
On the other hand, the same relation also holds for strongly coupled theories with a supergravity dual [78].
Imposing positivity on the coefficients of powers of ε ⊥ ·¯ ε ⊥ we find After imposing this condition the next leading term is As described previously, the above expression must be positive for ξ = ±1 resulting in After imposing the condition, the resulting expression has only one independent coefficient C 0,0,1 and is positive if and only if C 0,0,1 < 0.
Finally, imposing causality constraints and conservation equation result in the fol-lowing relations and hence there is only one independent coefficient which is related to the two-point by the Ward identity. Similarly, we can show that after imposing the causality constraints which is consistent with the equation (3.9).
In the gravity side, the causality constraints imply that the action for a massive spin-1 field in the bulk must have the form T is non-vanishing and to begin with it has 11 coupling constants. Permutation symmetry and conservation equation ensure that only 6 of these coefficients are independent. Furthermore, causality demands that only one of these coefficient can be independent. In particular, the leading contribution in the limit ρ → 1 is given by Following the same procedure as for spin 1 and including conservation conditions we find Imposing these conditions we find that the subleading term is determined up to one independent coefficient C 0,0,0 < 0. This coefficient is related to the coefficient that appears in the two-point function O =2 O =2 by the Ward identity.
Furthermore, after imposing all of the constraints we find that which is consistent with the universality of the Regge OPE of smeared operators.
In the gravity dual description, there are also 6 possible types of vertices appearing in the on-shell three-point function of 2 massive spin-2 particles with a single graviton.
The CFT result shows that the final answer is fixed up to a constant which is in agreement with the gravity result. Furthermore, requiring causality in the bulk [13,64] dictates that the three-point function is determined up to a constant corresponding to the minimal coupling between massive spin 2 fields and a graviton. The vertex has the following form where the momenta are denoted by p 1 , p 2 , p 3 , satisfying conservation and on-shell conditions: p µ 1 + p µ 2 + p µ 3 = 0, p 2 1 = −m 2 , p 2 2 = −m 2 , p 2 3 = 0 and i denote polarization tensors. For a more complete analysis of vertices and bulk dual, see [63,64].

Bounds from interference effect
In this section, we will leverage the holographic null energy condition to derive bounds on the off-diagonal matrix elements of the operator E r . To this end we will consider superposition states created by smeared local operators: where O 1 and O 2 are arbitrary operators with or without spin ( 1 , 2 ≤ 2). This inequality can be expressed as semi-definiteness of the following matrix where, we are using the notation (4.1). The above condition can also be restated in the following form This is very similar to the interference effects in conformal collider experiment as studied in [7]. In particular, in the limit ρ → 0, the above relation is equivalent to the interference effects of [7]. However, we are interested in the limit ρ → 1 in which the above inequality imposes stronger constraints on three-point functions O 1 O 2 T . These interference bounds are exactly the same as the bounds obtained in [8] by studying mixed system of four-point functions in the Regge limit in holographic CFTs.
As shown in the previous section, in d ≥ 4 after imposing positivity of Similarly, can not grow faster than O(1 − ρ) 3−d in the limit ρ → 1, or else causality will be violated. However, just from dimensional argument one can show that, in general and hence Whereas, c 1 + 2 is constrained by (6.3).
The causality conditions (6.7) are too constraining. In fact, from simple counting, one can argue that constraints (6.7) require all three-point functions of the form

Bound on T T ψ
As an example, we will obtain bounds on the OPE coefficient where ψ is a light scalar operator. The polarization of T is still given by (1, ξ, ε ⊥ ). Now, from (6.2) we have Positivity of the eigenvalues of this matrix implies and hence for all values of ∆ ψ for which the coefficient in front of C T T ψ does not vanish. Note that the coefficient in front of C T T ψ vanishes when ∆ ψ = 2d + 2n which is consistent with the fact that there are double trace stress tensor operators [T T ] =0,n which have spin 0. This agrees with the result obtained in [8].
In the dual gravity picture, T T ψ vanishes for a minimally coupled scalar field in AdS. However, in the bulk we can write higher derivative interactions between a scalar and two gravitons which give rise to T T ψ three-point function. In particular, let us consider the bulk action (6.12) In d ≥ 4, the scalar-graviton-graviton vertex of the above action represents the most general bulk interaction which gives rise to the OPE coefficient C T T ψ [7]: where, the function f (∆) is given in [7]. Hence, α Ψhh should be suppressed by the scale of new physics. In particular, the causality constraint (6.11) translates into α Ψhh 1 ∆ 2 gap . 23 Of course, this is stronger than the constraint obtained in [7]. In [7], constraints were obtained by considering interference effects in general CFTs. However, as shown in (6.7), interference effects from the holographic null energy condition lead to stronger constraints.

Bound on T T O =2
Let us now obtain bounds on the three-point function T T O =2 . This case is more subtle because a nonzero T T O =2 implies that the operator O =2 will contribute to a four-point function in the Regge limit as an exchange operator. So, if T T O =2 = 0, the holographic null energy condition is no longer true. However, simplification emerges if we assume that there is at least one heavy scalar in the theory ψ H for which ψ H ψ H O =2 = 0. In this case, we can start with the operator ψ H in (2.13) and derive the holographic null energy condition even in the presence of O =2 . So, with this additional assumption, we can calculate E T O =2 (ρ) which is a straight forward generalization of the scalar case. Furthermore, the interference condition (6.7) again leads to (6.14) Let us note that the above bound is not applicable when the dimension of O =2 satisfies:  Before we proceed, let us also note that we expect that the same conclusion is true even without the presence of ψ H . We believe causality of the four-point function T T T T , requires that T T O =2 must be suppressed by the gap for all single trace O =2 . However, a detailed analysis requires the computation of T T T T using the conformal Regge theory which we will not attempt in this paper.

Constraints on CFTs in d = 3
In this section, we will use the holographic null energy condition in (2+1)-dimensions to constrain various three-point functions of (2+1)-dimensional CFTs. Three-dimensional CFTs are special because of the presence of various parity odd structures. However, we again show that CFTs in d = 3 with large central charge and a large gap exhibit universal, gravity-like behavior. Furthermore, holography enables us to translate the CFT bounds in to constraints on (3 + 1)-dimensional gravitational interactions. This, as we will discuss in the next section, has important consequences in cosmology.
There is another aspect of d = 3 which is different from the higher dimensional case. For d ≥ 4, we have seen that holographic dual of a bulk derivative is 1/∆ gap . This observation is consistent with the proposal of [8]. However, we will show that in d = 3, this simple relationship between bulk derivative and ∆ gap has a logarithmic violation.

T T T
In (2 + 1) dimensions, T T T has three tensor structures: two parity even structures with coefficientsñ s andñ f , and one parity odd structure with coefficientñ odd (see appendix B). We start with the holographic null energy condition (2.21) with O being the stress-tensor T . In the limit ρ → 1, the leading contribution to E T T (ρ) goes as 1 (1−ρ) 4 , the coefficient of which should always be positive. In particular, where we have defined ε = (e 0 , e 1 , e 2 ) ,ε = (ē 0 ,ē 1 ,ē 2 ). (7. 2) The total expression can be conveniently written as To find constraints on the coefficients, we first choose implying thatñ s = 4ñ f . Imposing this condition we find constraints on the parity odd structure by considering implying that we must haveñ odd = 0 to satisfy positivity. Furthermore, after imposing these constraints, one can check that f ε 0 ·T ε 1 ·T (ρ) is still given by the equation (5.11) with d = 3.
Let us now estimate the size of the corrections to the above constrains if we include higher spin operators with large scaling dimensions, but not large enough to compete with the c T expansion. We can repeat the argument of section 2.3 for d = 3, yielding On the gravity side, similar to the higher dimensional case, this constrains higher derivative correction terms in the pure gravity action that contribute to three point interactions of gravitons. However, in (3 + 1)−dimensional gravity there are certain crucial differences. First, the four-derivative terms do not contribute to T T T . Second, in (3 + 1)−dimensional gravity, there is a parity odd higher derivative term which gives rise toñ odd . In particular, the higher derivative correction terms can be parametrized where,W µναβ = 1 2 µνρσ W ρσ αβ . Coupling constants α 4 andα 4 are related to the coefficientsñ s − 4ñ f andñ odd respectively. 24 Hence, causality constraints translate into

JJT
Similarly, in (2+1) dimensions JJT has parity even and odd structures (see appendix B) with the leading terms in the limit ρ → 1 given by Positivity of E JJ (ρ) implies the following conditions on the coefficients After imposing these constraints, one can easily check that our conjectured relation (3.9) is satisfied.
The three-point function JJT , in dual gravity language, arises from the following 4d-action where, coefficients α AAh andα AAh can be written in terms of n s , n f and n odd : Appearance of ln ∆ gap again indicates that the simple relationship between bulk derivative and ∆ gap has a logarithmic violation in 3d CFT.

T T ψ
Let us now discuss the three-point function T T ψ in d = 3. The analysis is identical to the derivation of causality constraints for T T ψ in higher dimension using interference effects. So, we will not show the full calculation, instead we only point out the key differences. In d = 3, conformal invariance also allows for a parity odd structure and the full correlator consists of two structures T T ψ = T T ψ Even + T T ψ Odd (7.13) with OPE coefficients C Even T T ψ and C Odd T T ψ respectively [7]. First, we derive causality constraints on the three-point function T T T which leads to (7.7). After imposing these constraints, in the limit ρ → 1, E T T (ρ) ∼ ln(1 − ρ). On the other hand, in the limit ρ → 1, for both even and odd structures E T ψ (ρ) ∼ 1 (1−ρ) 2 . Hence, the interference bound (6.3) dictates that both C Even T T ψ and C Odd T T ψ should be suppressed by ∆ gap : (7.14) Similarly, in the bulk there are two possible vertices between a scalar and two gravitons, one parity even and one parity odd. These interactions can be parametrized as These interactions were first constrained by Cordova, Maldacena, and Turiaci in [7].
Using the averaged null energy condition they showed that in generic CFTs in d = 3, interference effects impose constraints on the OPE coefficients C Even T T ψ and C Odd T T ψ . These general bounds can be translated into bounds on gravitational interactions [7]  In the following section, we will use these constraints to impose bounds on inflationary observables. The simplest model of inflation consists of a real scalar field minimally coupled to Einstein gravity. In general, there can be higher derivative interactions which can contribute to various inflationary observables. Therefore, constraints obtained in the previous section can impose bounds on such observables (for example chiral gravity waves, tensor-to-scalar ratio etc.). However, there is a caveat. All of the constraints on gravitational interactions obtained in this paper, strictly speaking, are valid in AdS.

Constraining inflationary observables
Following the philosophy of [7,13], we simply assume that the same constraints are also valid in de Sitter after we make the substitution R AdS → 1/H, where H is the Hubble scale associated with inflation. This is a reasonable assumption but it would be important to have a robust derivation of these de Sitter constraints.

Chiral gravity waves
Chiral gravity waves [80,81] can be produced during inflation from a parity odd higher derivative interaction in the action where φ is the inflaton field. In the presence of this term in the action, two-point functions of tensor modes with left handed and right handed circular polarizations are not the same. The asymmetry A measures the difference between left and right handed polarizations and it is determined by the above parity odd interaction [7] A where, is one of the slow-roll parameters of inflation. In the above expression, we have used the factα Ψhh = ∂fo(Ψ) ∂Ψ . So, constraint (7.17) strongly suggests that the asymmetry parameter A must be suppressed by the scale of new physics M : 25 First of all, note that this is stronger than the bound obtained in [7]. Secondly, if the asymmetry parameter A is measured (or in other words it is found to be at least a

Tensor-to-scalar ratio
Similarly, one can obtain a bound on the ratio r of the amplitudes of tensor fluctuations and scalar fluctuations. In a single-field inflation without any higher derivative couplings, the tensor-to-scalar ratio r obeys a consistency condition [82]: r = −8n t , where n t is the tensor spectral index. In the presence of the higher derivative interaction the consistency condition is violated [83]. In particular, one can show that [7] − n t r In the above expression we have assumed that the inflaton field has only a canonical kinetic term with two-derivatives. 26 So far, this is exactly the same as the discussion of [7]. But we now derive a stronger bound by using constraint (7.17)

Graviton non-gaussanity
Let us now consider non-gaussanity of primordial gravitational waves produced during inflation. In Einstein gravity, the three-point function of tensor perturbation goes as (8.7) 26 In other words, the speed of sound for the inflaton field is 1.
The graviton three-point function (parity preserving part) can also get contributions from W 3 term in the gravity action (7.8). As shown in [13], the contribution from this interaction must be suppressed by the scale of new physics: Hence, any significant deviation from the Einstein gravity result requires the presence of an infinite tower of new particles with spins > 2 and masses ∼ H [13].
The advantage of studying any parity violating effects during inflation is that these contributions are exactly zero for Einstein gravity. Hence, any detection of parity violation will be a signature of new physics at the Hubble scale. The gravity action in general can have a parity odd termW W 2 which is also controlled by the same scale M .
In particular, Therefore, causality requires that This parity violating graviton non-gaussanity will have signatures in the CMB. For example, CMB three-points correlators T EB , EEB , T T B become nonzero in the presence of the parity violating graviton non-gaussanity. However, one disadvantage of studying the parity violating graviton non-gaussanity is that this contribution is exactly zero in pure de Sitter [84,85]. Hence, for slow-roll inflation this effect is suppressed by the slow-roll parameter .
We should also note that terms like f e (φ)

Discussion
In this paper, we analyzed the implications of causality of correlation functions on CFT data in theories with large c T and sparse higher spin spectrum. This was accomplished by developing a new formalism that can be interpreted as a collider type experiment in the CFT, set up in such a way to probe scattering processes deep in the bulk interior of the corresponding holographic dual theory. In doing so we consider the holographic null energy operator, E r which is a positive operator in a certain subspace of the total CFT Hilbert space. This subspace is spanned by states constructed by acting local operators, smeared with Gaussian wave-packets, on the CFT vacuum. Positivity of this operator was then used to impose bounds on the CFT data.

Other representations
It is worth mentioning that the formalism presented here can easily be adopted to compute the contribution of the holographic null-energy operator to the four-point function of external operators in arbitrary representation including spinors or nonsymmetric traceless representations. The only modification required is to compute three-point functions of these operators with the stress-tensor whose form is fixed by conformal symmetry.
Furthermore with slight modification one may compute the contribution of singletrace exchanged operators other than the stress-tensor. More specifically in [1] it was shown that in the Regge limit (v → 0 with uv held fixed) the contribution of a spinning operator X (with spin and dimension ∆ X ) to the OPE can be written as This OPE is valid as long as it is evaluated in a correlation function where all other operator insertions are held fixed as we take the Regge limit. However, the chaos bound suggests that this contribution does not necessarily dominate in the Regge limit in holographic CFTs.
Non-conserved spin-2 exchange As previously mentioned, one caveat to our computation is the possibility of competition between the contributions of non-conserved spin-2 operators with the stress-tensor in the Regge limit. However, using the OPE described above it is possible to explicitly compute the contribution of such an operator to the Regge OPE. Including the contribution of a single non-conserved spin-2 exchange, we find bounds on the OPE coefficients of the stress-tensor as well as the non-conserved spin-2 operator. We expect that some version of the experiment described above, should reproduce the constraints found in [63] which resulted from performing a scattering experiment in the bulk. We leave explicit confirmation of this claim to future explorations.

Regge OPE of single trace operators
The operator product expansion of smeared primary operators in the Regge limit, as discussed in section 3, is universal. where, dots represent terms which are suppressed by either the large gap limit or the large c T limit or the Regge limit.

Higher spin ANEC
Although not pursued in detail here, by taking the lightcone limit of (9.1), the same formalism developed here can be used to compute the contribution of the ANEC operator to correlation functions. Furthermore, this formalism can be easily extended to study the higher spin ANEC [6] which says where, X is the lowest dimension operator with even spin ( ≥ 2). Positivity of these operators holds in the more general class of theories including non-holographic CFTs.
A systematic exploration of bounds derived from the positivity of these operators is left to future work.

OPE of spinning operators
It would be interesting to derive the stress tensor contribution to the OPE of spinning operators both in the Regge and the lightcone limits. Using this OPE, an argument similar to the ones used in this paper would lead to new positive spinning null energy conditions. These positivity conditions both conceptually as well as technically, will have important implications. For instance, this will allow us to derive new constraints in a more systematic way. Moreover, based on the analogous constraints obtained in the bulk [13], we expect these positive operators to play an important role in closing the gap in ruling out non-conserved spin-2 exchanges.

A Three-point functions of conserved currents
In this appendix we summarize conventions used through out the paper in describing the OPE coefficients appearing in the correlation functions of conserved currents.

A.1 JJT
Two point function of spin-1 currents is given by where, H 12 is defined in (4.23). The three-point function JJT is given by In the free field basis, this can also be written as where the coefficients are related by [3] .
The Ward identity relates one combination of n s and n f to the two-point function: Ward identity relatesñ s ,ñ f , andñ v to the central charge in the following way B Three-point functions in d = 3

B.1 JJT
The parity odd part of the correlation functions is given by [69] J( where, where (a, b, c) ≡ µνα a µ b ν c α , with µνα denoting the Levi-Civita symbol. The parity even part is given by (A.2) with d = 3.

C d-dimensional smearing integrals
We are interested in evaluating integrals of the form Let us first define 27 I p 1 ,p 2 ( L) ≡ d d−1 p 1 ( p 2 + p · L) p 1 ( p · L) p 2 . (C.2) Using Feynman parametrization we can rewrite this as The idea is to use derivatives with respect to L to obtain an expression with powers of p in the numerator. To this end, let us first define (C.4) 27 note that p 1 , p 2 > 0 in all expression appearing in this paper.

D Polarization vectors
Throughout this paper, we used a particular null vector 4.27, to construct the polarization tensors corresponding to the external smeared states. The same null vector was used in [44] for obtaining a = c bounds in d = 4. In this appendix we will describe how this choice simplifies the task of extracting positivity conditions from spinning correlators with conserved operator insertions. For the case of non-conserved operators, this is not the most general choice of polarizations and does not necessarily lead to the most optimum bounds. However the bounds obtained using this vector are sufficiently stringent for our purposes.

Conserved operators
Defining holographic operator E r (v) requires choosing a null direction u, similar to the conformal collider setup in [5]. Let us call this d-dimensional vectorû = (−1,n) = (−1, 1, 0) and denote n µ = (0, 1, 0). For most of the following discussion d ≥ 4 and d = 3 is considered separately in the paper.
As a first example let us choose external state created by wave-packets of the stress tensor. The expectation value of holographic null energy operator has the following decomposition under SO(d − 1) corresponding to spatial rotations : E r (v) = 0| ij T ij (ω)E r (v) lk T lk (ω)|0 =t 0 ij ij +t 2 ij ilnjnl +t 4 | ijninj | 2 . (D.3) Using the positivity of this expectation value for any ij , we look for the optimal bounds on coefficients. Following [5], we further decompose this expression in terms of irreducible representations, i.e. spin 0, 1, 2 under SO(d − 2), corresponding to rotations that leave the spatial part of the null directionn i invariant. More explicitly, let us parametrize a purely spatial polarization tensor as 28 where e ij and b i satisfy b ini = 0, e ijn j = 0, e ii = 0 and α is an arbitrary complex number.
Substituting this expression in (D.3) we find +t 0 e ij e ij , (D. 5) where each term in this expression corresponds to an irreducible representation. Since these terms do not mix under SO(d − 2) rotations, positivity of the holographic null energy operator implies the positivity of each term separately.
We will now show that the powers of λ 2 in (5.1) and (5.7) are in one to one correspondence with these irreducible representations. To demonstrate this let us consider the following polarization vector, µ =v µ + µ ⊥ , ⊥ = (0, 0, iλ, λ, 0, · · · , 0 where λ is an arbitrary real number. Contracting this null vector with external operator, T µν µ ν we find E r = g 0 + g 2 λ 2 + g 4 λ 4 . (D.7) Note that µ ν is not a purely spatial polarization tensor. Since only the spatial components contribute, we will use the symmetric traceless projector 29 Q αβ µν to convert µ ν into a purely spatial traceless polarization tensor E µν : ⊥ are multiplied with λ and λ 2 respectively. This implies that each powers of λ 2 are in one-to-one correspondence with irreducible representations under SO(d − 2) rotations and g 0 , g 2 , g 4 should be positive independently.
This construction is easily generalized to the case of conserved higher spin operators.
In summary, for conserved operators, polarization vectors defined in 4.27 result in the most general possible bounds in the holographic collider setup described here.

Non-conserved operators
For non-conserved operators, the use of longitudinal polarizations will result in more general constraints. The bounds in this paper were obtained using µ = (1, −1, 0) as the longitudinal polarization tensor. It would interesting to find polarization tensors that result in the most optimal bounds. A more systematic approach would be useful in obtaining bounds in the light-cone limit to ensure the most stringent possible constraints.