A New Spin on Causality Constraints

Causality in a shockwave state is related to the analytic properties of a four-point correlation function. Extending recent results for scalar probes, we show that this constrains the couplings of the stress tensor to light spinning operators in conformal field theory, and interpret these constraints in terms of the interaction with null energy. For spin-1 and spin-2 conserved currents in four dimensions, the resulting inequalities are a subset of the Hofman-Maldacena conditions for positive energy deposition. It is well known that energy conditions in holographic theories are related to causality on the gravity side; our results make a connection on the CFT side, and extend it to non-holographic theories.

We recently showed that causality imposes inequalities on coupling constants in strongly interacting conformal field theory in d > 2 dimensions [1]. The constraints for scalar correlators, derived by conformal bootstrap methods, were nontrivial only in special cases, but we argued that similar logic would impose nontrivial constraints on the couplings of spinning operators. In this paper we confirm this, deriving a set of causality constraints on the couplings of spinning operators that hold in any unitary CFT in d > 2 dimensions (up to a caveat below). Like the causality constraints of [2], or the results of the computational conformal bootstrap [3,4], these are infrared constraints imposed by ultraviolet consistency.

Energy condition from causality
We study the 4- If (1.2) is violated, then the 4-point function ψOOψ has a singularity before the Minkowski lightcone, and therefore a non-vanishing commutator at spacelike separation. In other words, the shockwave induces a time advance.

Currents and stress tensors in d = 4
The complete 3-point function OOT is fixed by conformal symmetry up to numerical couplings, so (1.2) is a set of inequalities for these coupling constants. Different polarizations lead to multiple, independent constraints. We will work out these constraints in detail for the case of spin-1 and spin-2 conserved probes in four spacetime dimensions.
A convenient basis for 3-point tensor structures of conserved currents is provided by free fields of various spins. (We assume parity.) The current 3-point functions in any CFT can be expanded in this basis, and where OOT i is proportional to the correlator in a theory of free scalars, fermions, or vectors, and n s , n f ,ñ s ,ñ f ,ñ v are the coupling constants (see appendices for conventions).
The conformal Ward identity relates one combination of couplings to the two-point function, which must be positive in a unitary theory. With our normalizations, these combinations are Hofman and Maldacena [6,7] (and others in d = 4 [8][9][10]) showed that in a theory 1 In several interesting CFTs, including the Wilson-Fisher and Klebanov-Witten fixed points, there is a scalar in this range but symmetries prevent it from appearing in this OPE. See [5] for a discussion in the context of entanglement entropy (which has an enhanced divergence if such operators appear in the T T OPE).
satisfying an integrated null energy condition, the constraints are much stronger: (1.6) In large-N holographic theories, identical constraints have been derived from causality on the gravity side [7,8,11,12].
More generally, however, it is an open question whether these constraints hold in every unitary CFT, and how they are related to causality. 2 We will partially resolve this. Taking various polarizations in (1.2) leads to and In three dimensions, there is no vector structure, so only the first two inequalities apply.

Discussion
The constraints (1.7) and (1.8) are stronger than positivity of the 2-point function (1.5) but weaker than (and implied by) the Hofman-Maldacena energy conditions. They are necessary for causality, but we do not claim they are sufficient. Our derivation seems to exploit only a limited form of reflection positivity, so a better organization of positivity may lead to stronger constraints.
One approach to strengthen the causality constraints may be to combine the methods here with the lightcone bootstrap [16][17][18][19][20][21][22][23][24][25][26]. Causality fixes the sign of the anomalous 2 A partial argument based on the OPE of non-local energy expectation values appears in [7]. A rather different argument, based on finite-temperature correlators, intriguingly leads to the same constraints [13] but is also incomplete as it requires the use of the Euclidean OPE beyond its usual regime of validity. A recent discussion suggesting that the average null energy condition might be violated in acceptable theories can be found [14]. Significant progress on this question was also made very recently in [15], where it was shown that the Hofman-Maldacena constraints follow from the optical theorem in a deep inelastic scattering experiment, assuming that the amplitude obeys a strong enough growth condition at large |s|.
dimensions of certain high-spin operators, and, barring some unexpected cancellations, we expect this statement to actually be stronger than the inequalities above. The anomalous dimensions can be computed by the lightcone bootstrap, but the calculation has not yet been done (in the required regime). Further remarks on the connection to the lightcone bootstrap are in section 5. It would also be very interesting to better understand the relationship between the present work and other recent work on related constraints, such as [15,27,28].
One motivation for this work was the recent demonstration, using causality on the gravity side, that holographic CFTs have a ≈ c [10] (see also [29,30]). As discussed at length in the introduction to [1], the weaker (but universal) constraint (1.9) may be a step toward deriving this surprising feature of large-N sparse CFTs directly from the conformal bootstrap.

Overview
In the next section, we calculate the leading corrections to correlators across a shockwave. The result is proportional to (1.2), and specializing to O = J and O = T with various polarizations leads to the combinations in (1.7) and (1.8). Requiring these corrections to be negative gives the constraints.
In the rest of the paper (which is almost independent from section 2) we show why these corrections must be negative. First we derive positivity conditions for spinning correlators, from reflection positivity, in section 3. This essentially reduces the problem of spinning causality constraints to the scalar case. The derivation of the causality constraints is in section 4. We conclude with a discussion of the relationship to the lightcone bootstrap and anomalous dimensions in section 5.

Correlators across a shockwave
In this section, we summarize how the constraints in the introduction follow naturally from computing correlators in a 'shockwave state', (2.1) Viewed on scales much larger than δ, the energy in this state Ψ|T µν |Ψ is supported on an expanding null shell centered at the origin. 3 Consider the 4-point function In the limit where the probe operators are almost null separated (x 2 − x 3 ) 2 → 0, the leading correction comes from stress tensor exchange, This interaction is controlled by the 3-point couplings in OOT , and by the scaling dimension of ψ, which fixes the coupling ψψT via the Ward identity, (2.5) The magnitude of this correction grows with the energy of the shock E shock ∼ 1 δ . For scalar probes, it was shown in [1] that such corrections must be negative, or causality is violated. Below, we will show that the same is true for spinning probes: unitary theories must obey The basic reason is that if the correction has the wrong sign, then analyticity forces the correlator to have a singularity before the Minkowski lightcone, and this singularity produces a non-zero commutator at spacelike separation. For now, we just assume (2.6) and work out the resulting constraints. In a theory with a low-dimension scalar appearing in the OO OPE, d 2 − 1 < ∆ < d − 2, the leading term is not of the form (2.6) and is not constrained, so our analysis does not apply.

J and T in d = 4
We start with a direct, full calculation of the stress tensor contribution to the shockwave correlator for conserved current probes in d = 4. This approach is conceptually straightforward but requires a computer to do the algebra. It also hides a dramatic simplification that occurs in the lightcone limit which we return to below.
The full conformal blocks for stress tensor exchange are calculated following [34].
Details, and all of our conventions, are in the appendices. The output of this calculation is the spinning conformal block expressed as derivatives of the scalar conformal block.
The scalar block cannot be written in closed form in odd dimensions, but we will only require the leading terms in the lightcone limit, so this could be done in any d.
We work in R 1,3 , with coordinates (t, y, x 3 , x 4 ) and place all insertions in the typlane. The operators creating the shockwave are inserted at and the probes are inserted symmetrically across the shock: We will also use the lightcone coordinates D is the distance to the shockwave, and the lightcone limit is y + 23 ∼ η D → 0, as illustrated in figure 1. With these kinematics, we calculate the contribution from the identity and the stress tensor to the correlator in the limit η δ 1, and compare to (2.6). The conformal cross ratios in the (2.11) In the limit η δ 1, the cross-ratios are both near 1: An important subtlety is that the conformal blocks are multivalued, and must be evaluated on the correct sheet. The prescription for the shockwave correlator, with operators ordered as in (2.6), was worked out in [1]. The prescription to deal with branch cuts amounts to sending z → ze −2πi (withz held fixed) before evaluating the conformal blocks (see figure 2).

Results for ψJJψ
For a spin-1 probe O = J µ in d = 4, the two-point function in the denominator is where ε ⊥ is in the 3,4-directions. It is clear from this expression that different polarizations will contribute at different orders in the lightcone limit η → 0. For any given polarization, the stress tensor corrections to the four-point function must be suppressed compared to the identity, so it will have a similar polarization dependence in Figure 2: The analytic continuation appropriate to the ordering ψOOψ is shown here in real spacetime (left) and on the z plane (right). As we move the O operator into the future lightcone of the shockwave operator insertions, we cross a branch cut in the correlator. In terms of the cross-ratios, crossing this branch cut (with the correct i prescription for this ordering) leads to z circling the origin.
the η expansion.
Adding the stress tensor conformal block to the identity contribution and evaluating this in the lightcone limit, for a generic polarization the leading term in (2.10) comes from the J + J + polarization and is Therefore n s ≥ 0. If we instead choose a polarization with ε + = 0, this eliminates the leading terms in both the numerator and denominator of (2.10), giving There is no new constraint from the sub-sub-leading terms.

Results for ψT T ψ
For the stress tensor in d = 4, choose without loss of generality a symmetric polarization tensor with ε 34 = ε µ µ = 0. For the configuration (2.7-2.8), the two-point function of the stress tensor is For any given polarization, the stress tensor correction to the correlator ψT T ψ is suppressed compared to the identity, so it has a similar polarization dependence in the η expansion. A generic choice gives coming entirely from the T ++ T ++ polarization. Soñ s ≥ 0. Choosing ε ++ = 0 once again eliminates the leading terms in numerator and denominator, giving Both coefficients must be positive, giving us the third constraint:ñ s +27ñ f +216ñ v > 0.
(The inequality 8ñ s + 27ñ f ≥ 0 is not independent, and no new constraints come from the remaining polarizations.) Said differently, the three constraints come from (for example) respectively.

General probes
Now consider a spin-probe, not necessarily conserved, in any spacetime dimension d.
In the previous examples, we computed the full conformal blocks first, then took the lightcone limit. This is not really necessary, and is not practical for general probes, so here we will use a more efficient approach in which we compute the lightcone blocks directly. (Of course we could have done this for J and T as well, but the full blocks are useful for other purposes and provide a nontrivial check.)

Spinning lightcone blocks
Define the partial waves for X exchange by the OPE in the O → O channel, The cross ratios in this configuration are simply The lightcone blocks are defined as the leading contribution in the limitz → 0 with z held fixed. The components of the polarization tensors ε i are also held fixed, so there are relations among the tensor structures in this limit.
The conformal block greatly simplifies in the lightcone limit, even for external operators with spin. The simplification comes from reorganizing the conformal families under the colinear SL(2) that preserves the light ray so that the problem becomes effectively two-dimensional, as described in [16,21]. Take X to be an arbitrary symmetric traceless tensor. The full d-dimensional conformal block is built from 3-point functions with X and its conformal descendants, where D is a differential operator built from the conformal generators and K = In the end, as anticipated in [16,21], we find a remarkably simple formula for the spinning lightcone block (or rather partial wave, since all the coefficients and prefactors are included): where h X = 1 2 (∆ X + X ) and c X is the normalization constant of the two-point function. For any given choice of external polarizations, this formula gives the leading non-zero This simplification is by no means apparent from the full block, calculated using [34], which is expressed as derivatives on scalar blocks of various weights. Nonetheless we have compared the two for O = 1, 2, 3 (and arbitrary ∆ O , ∆ X , X ), and confirmed that the two methods agree after applying a variety of hypergeometric identities.

Constraint on coupling to null energy
With the formula for the lightcone block (2.24) in hand we now return to the causality constraints. By a conformal transformation, the sign constraint (2.6) can be rephrased in terms of the stress tensor partial wave as in the limit |z| |z| 1. (We have transformed z → 1 − z,z → 1 −z compared to (2.12) for notational convenience.) The hypergeometric function in (2.24) has a branch cut along z ∈ (1, ∞), and we must go around the cut to calculate the shockwave correlator in the correct operator ordering. This sends Expanding now for z ∼ 0 and using h T = d/2 + 1, (2.24) gives Comparing to the positivity condition (2.25) gives the result stated in the introduction, (1.8).

Example: Non-conserved spin 1
It is also straightforward now to derive constraints on other operators. Consider, for example, a non-conserved spin-1 operator V . The 3-point function V V T can be expanded in the basis (B.1) used for JJT , but now with fewer conditions on the α i .

Reflection Positivity for Spinning Correlators
The goal in the rest of the paper is to derive the statement that the corrections in (2.6) must be negative. The strategy is very similar to our analysis of scalar probes [1]. The basic idea is to show that a small positive correction in the shockwave kinematics would imply that the four-point function is actually singular before the expected Minkowski lightcone, thereby violating causality.
An essential step in the argument is to bound the analytically continued correlator on the 2nd sheet (after taking z → ze −2πi ) by its value on the 1st sheet. This relies on finding a function F ε (z,z), constructed from the spinning correlator, that has an expansion near z,z ∼ 0 with positive coefficients. It should be a function of the cross ratios that may depend on a choice of polarization, but cannot depend explicitly on the x i (unlike the correlator itself, which has explicit x i -dependence in the tensor structures). For external scalars [1], this function with a positive expansion was the correlator itself, F scalar (z,z) = ψ(0)φ(z,z)φ(1)ψ(∞) . However, the spinning correlator ψ(0) ε·O(z,z) ε * ·O(1)ψ(∞) does not have an expansion with any fixed sign, so we must work harder to construct such a function, starting from reflection positivity of the spinning correlator. This is the goal of this section.
Although we will give a prescription to construct a positive F , we do not claim that this construction is optimal, or that the resulting positivity conditions will exploit the full consequences of reflection positivity. This construction will be enough to prove the sign constraints in the shockwave discussed in section 2, but it seems likely that a more clever use of reflection positivity would produce stronger constraints (see more comments on this in section 5 below).
Note that in the rest of this section, we work in Euclidean signature, whereas section 2 was in Lorentzian notation.

Review of reflection positivity
In Hilbert space language, this ensures that the state on the plane at τ = 0 created by doing the path integral over the lower half plane with the insertions at x 1,··· ,n has positive norm. It follows automatically from the path integral, assuming a real Lagrangian.
For example setting n = 2, the path integral for (3.1) is manifestly positive: Reflection positivity also holds for sums or integrals of local operators, for the same reasons. For example,  In Lorentzian signature, reflection simply complex-conjugates the components of ε with no need for the factors of −1.
for any smearing function Ω. Let us change integration variables to map the upper half plane to the unit disk, The cross ratios for the configuration (3.8), with points labeled as Now we plug in the general form of a spinning correlator (A.18), and absorb terms that factorize as g(r 1 , θ 1 ) × g(r 2 , θ 2 ) into the definition of Ω. The positive quantity (3.9) where the sum is over tensor structures Q A .
Before we proceed, note that these Q A 's cannot be written as functions of z,z.
However, we can project them onto functions of z andz, with an operation we will denote as Q A (z,z; ε) = Q A (r 1 , r 2 , θ 1 , θ 2 ; ε) proj . (3.14) The projection is defined by expanding Q A in powers of r 1 , r 2 , e iθ 1 , e iθ 2 , and keeping only the terms with the same power of r 1 and r 2 , and opposite powers of e iθ 1 , e iθ 2 : Some examples are worked out below. Now return to (3.13). As explained in [1], we can choose Ω(r 1 , θ 1 ) to project onto particular powers of r 1 and e iθ 1 . Then Ω * (r 2 , θ 2 ) will project onto the same power of has an expansion in z,z with positive coefficients:

Examples
We will see below that to derive constraints, we never need to actually perform the projection. It is enough that it exists. But to clarify the procedure we will work out some applications to JJψψ , which may be of interest on their own. This subsection is unnecessary for the rest of the paper.
Conformal invariance fixes the form where the tensor structures V i and H ij are standard notation defined in appendix A, and the coefficient functions f A = f A (z,z) are arbitrary functions of the cross ratios.
Let us choose a transverse polarization, where x 3 is one of the directions other than (τ, y). In the configuration (3.8), the only non-zero tensor structure is .
Expanding out the denominator, only the first term survives the projection, Therefore, has a positive expansion in z,z.
Applying the same logic to the polarization we find, for example, (3.24) leading to As a check, we computed these conformal blocks following [34] with X = 1, 2, 3, 4, and confirmed to high order that the expansion coefficients of both (3.22) and (3.25) are indeed positive.
Although we have only discussed constant ε, the procedure also applies to spacetime dependent polarizations. We have not explored this possibility in much detail, but some simple choices did not yield any new constraints.

Derivation of causality constraints
Now that we have constructed a function F ε (z,z) with a positive expansion, we can immediately borrow the results of [1] to derive causality constraints. We simply treat F ε (z,z) as if it were a scalar correlator, and follow the same steps. 6 In this section we will review these steps to make the presentation self-contained, and show that this leads to the shockwave positivity condition (2.6).

The sum rule
The method hinges on the following observation [1] (which is related to earlier methods in [10,39]). Suppose the function F η (z), where η is a positive real parameter, has the following properties near z ∼ 1: where a > 0. Then The proof is simple. Consider the semicircle contour where the origin is at z = 1, and the radius satisfies η R

Analyticity implies
Re dzF η (z) = 0, which leads to the sum rule By assumption 2, this is positive.

Positivity of shockwave corrections
Starting with the function F (z,z) constructed in section 3, we can construct a function F η (z) obeying the assumptions of the previous subsection as Analyticity in the domain required by assumption 1 above follows from causality, as discussed in detail in [1]. The fact that F (z,z) has an expansion around z,z ∼ 0 with positive coefficient (3.17) ensures Re F η (x) < 1 on the real line, as required by assumption 2. (Actually this works only for 0 < x < 1 where this expansion converges, but the same statement for x > 1 follows from crossing.) The last step is to compute the leading terms from the lightcone OPE, and compare to the form in assumption 3. That is, we compute the leading terms in the correlator in the limit The denominator of (4.5) has no corrections that grow as (1−z) −1 , so it can be replaced by the product of two-point functions. Therefore, writing the numerator in the format Evaluating this expression on the second sheet in the shockwave limit (4.6) gives a leading term proportional to n s + 24n f , in agreement with the first constraint in (1.7).
The other polarizations work similarly.

Connection to the lightcone bootstrap
We conclude with some comments on the relationship to the lightcone bootstrap program [16][17][18][19][20][21][22][23][24][25][26], and speculate on how it might be used to strengthen the causality constraints. For concreteness, consider a spin-1 probe, ψ(0)J(z,z)J(1)ψ(∞) . (5.1) Crossing symmetry is the statement that this correlator can be decomposed in two different OPE channels: The lightcone bootstrap is a method to solve this equation in the lightcone limit, In this limit, the dominant contribution on the right-hand side of the crossing equation is the identity, and the first correction is the stress tensor. On the left, these two terms are reproduced by summing over high-spin composite operators, schematically [Jψ] (S) n, ∼ J (ν ∂ µ 1 ) · · · ∂ µ −1 n ψ and [Jψ] with n ≥ 0. The identity term is produced by assigning these operators their canonical scaling dimensions and solving for the OPE coefficients, and the stress tensor correction comes from their anomalous dimensions γ To illustrate the various regimes, let us write the stress tensor lightcone block schematically (suppressing all tensor dependence) as where f 1,2 are meromorphic. The n = 0 anomalous dimensions are determined by the leading behavior as z → 0, Anomalous dimensions for higher n come from subleading terms in an expansion of f 1 (z) around z ∼ 0. The asymptotics, n 1, are determined by the behavior of f 1 (z) near z ∼ 1 [23,24]: The shockwave calculation relied on the stress tensor block in precisely this latter regime: we sent z → ze −2πi and then evaluated the block for |1 −z| |1 − z| 1.
The leading terms came from the non-analytic term, f 1 in the conformal block. The conclusion is that causality, in the form (2.6), also fixes γ (A,S) n, < 0 for n 1 .
This constraint seems likely to be stronger than the inequalities stated in the introduction. The reason is that the lightcone bootstrap effectively decomposes our positive function F ε (z,z) into two positive functions, coming from the two families of operators in (5.4). The entire causality analysis can then be repeated for these two functions individually. Unless the decomposition (5.9) is degenerate for some reason (i.e., only one of the two functions contributes to (5.9) for any given polarization), the resulting constraints will be stronger.
Of course to make this concrete the spinning lightcone bootstrap must be performed in the regime n 1. So far, for external spinning operators it has only been done for n = 0 in d = 3 [26]. The result in that case is that the anomalous dimensions are proportional to the same combinations of couplings constrained by a Hofman-Maldacena type analysis, This alone, though suggestive, does not imply any constraints, since there is no argument for these anomalous dimensions to have any particular sign. However, if this proportionality were found to hold also at large n, then causality would imply the full Hofman-Maldacena constraints n s,f ≥ 0. Significant progress has been made recently on this limit of the lightcone bootstrap for scalars [23,24].
In fact, the actual calculation of anomalous dimensions may not even be necessary.
It would be sufficient to argue that, in the shockwave limit |1 −z| |1 − z| 1, the scalar and fermion pieces of the stress tensor block (or some combinations thereof) decompose into orthogonal families of operators in the dual channel. The lightcone bootstrap is one way to perform this decomposition explicitly, but perhaps there is a less explicit way to make this argument.
Similar comments apply to T T ψψ . In that case there are three families of composite operators: symmetric · · · , mixed type ... , and mixed type ... .

A Review of spinning correlators
In this section we review the structure of 2-, 3-, and 4-point functions of spinning operators in CFT, using the techniques of [34,40] which we follow closely. Throughout the paper, ψ and φ are scalars, T is the stress tensor, and J is a spin-1 conserved current. O is any symmetric traceless tensor operator.
A.1 Embedding space notation In index-free notation, a symmetric tensor operator at a point x µ i ∈ R d is represented as where P i , Z i ∈ R d,2 . P encodes the position and Z encodes the polarization tensor. To translate to physical space, one simply sets with inner product −dX + dX − + δ µν dX µ dX ν . We choose null polarizations, 2 = 0, unless specified otherwise; then O(P i , Z i ) represents For traceless symmetric tensors, the null contractions (A.3) completely determine the full operator O µν··· , so it is possible to translate between null polarizations µ ν · · · and arbitrary polarizations ε µν··· . The components of the full tensor are In practice, for spin 1 one simply replaces µ → ε µ , i.e., the null result applies also to non-null polarization vectors, while for spin 2, we replace µ ν → ε µν with ε µ µ = 0.

A.2 Building blocks
The building blocks of conformal correlators are the combinations To shorten the notation we also use Define and the standard cross-ratios are u = P 12 P 34 P 13 P 24 , v = P 14 P 23 P 13 P 24 , (A.9) which will often be traded for z,z defined by The building blocks are not all independent. In any spacetime dimension, they obey and there are further relations in low dimensions.

A.3 2-point functions
The two-point function of a primary of dimension ∆ and spin , is fixed by conformal invariance up to an overall normalization. The only building block available for two P 's is H 12 in (A. 6), and the answer must contain copies each of ε 1 and ε 2 . Inserting a factor of P 12 to get the correct scaling weight, this determines Here c O is a positive normalization constant. The sign is fixed by requiring where ε · x = 0. This is a special case of reflection positivity.
Throughout the paper, we set c O = 1 for scalar operators, but use the canonical normalization of currents and stress tensors.

A.4 3-point functions
where the n ij are nonnegative integers satisfying and we have defined

A.5 4-point functions
A 4-point function of operators with spin can be written where recall h i ≡ ∆ i + i . Each structure Q (A) is a polynomial in the building blocks (A.6) in which each Z i appears i times. The coefficients are functions of the cross-ratios z andz (or equivalently u and v), not fixed by conformal symmetry.

A.6 Conservation
The divergence operator in embedding space is Up to contact terms, a correlator with a conserved operator at the point (P, Z) must vanish upon applying this operator.

B 3-point functions of conserved currents
In this appendix we collect our notation and conventions for the couplings in JJT and T T T .

B.1 JJT
Applying the technology above to JJT gives .
This can also be written in the free field basis where the coupling constants are .

(B.3)
This defines our normalization for the structures in (B.2). In a theory with (integer) N s free real scalars and N f free Dirac fermions, all of charge 1, (B.5)

Conformal invariance and permutations fix
T (P 1 , Z 1 )T (P 2 , Z 2 )T (P 3 , The translation to the free-field basis T T T =ñ s T T T scalar +ñ f T T T f ermion +ñ v T T T vector (B.8) is In a theory of (integer) N s free real scalars, N f free Dirac fermions, or N v free vectors, The coefficient of the 2-point function, related by the Ward identity, is (B.11) In d = 4, the ratio of anomaly coefficients is a c =ñ s + 11ñ f + 62ñ v 3ñ s + 18ñ f + 36ñ v . (B.12)

C Conformal blocks for stress tensor exchange
Conformal blocks are computed following [34]. This method produces spinning conformal blocks as differential operators acting on the conformal blocks with external scalars, g ∆ 12 ,∆ 34 ∆, (u, v). Many details of the intermediate steps for JJ → T → ψψ and T T → T → ψψ appear in [26]. We will quote the results only for JJψψ, as the expressions for T T ψψ are too long to be written usefully.
The coefficient functions are where g is the scalar block, g ≡ g 0,0 ∆ O , O (u, v). This expression passes a number of checks: It is conserved, has the appropriate permutation symmetries, and in the Euclidean limit u, v → 0, it has the correct leading behavior W O ≈ J(x 1 )J(x 2 )|T µν T σρ |ψ(x 3 )ψ(x 4 ) K µν,σρ (C. 4) where K = T T −1 . This last check is a completely independent calculation of the leading term, using only the formulas in [41], so serves as a nontrivial check that [34] has been implemented correctly.
To find the lightcone block for stress tensor exchange, we trade (u, v) for (z,z) using (A.10) and plug in the scalar lightcone block for stress tensor exchange in d = 4, g ≈z 4 z 3 2 F 1 (3, 3, 6, z) . (C.5) In the shockwave calculation, as explained in [1], this hypergeometric function must (Note that here we are using s-channel notation but section 2.1.1 is in t-channel notation, so it is also necessary to swap u ↔ v and relabel the tensor structures.) The calculation for T T → O → ψψ is similar. The only slight conceptual difference is that for spin > 1, the embedding space approach directly gives the answer only for null polarizations, ε µν = v µ v ν with v 2 = 0. The causality constraints require general polarizations. The results quoted in section 2 were obtained from the embedding-space result by applying the procedure described around (A.4) to constructed the full tensor.