Bootstrap and collider physics of parity violating conformal field theories in $d=3$

We study the crossing equations in $d=3$ for the four point function of two $U(1)$ currents and two scalars including the presence of a parity violating term for the $s$-channel stress tensor exchange. We show the existence of a new tower of double trace operators in the $t$-channel whose presence is necessary for the crossing equation to be satisfied and determine the corresponding large spin parity violating OPE coefficients. Contrary to the parity even situation, we find that the parity odd $s$-channel light cone stress tensor block do not have logarithmic singularities. This implies that the parity odd term does not contribute to anomalous dimensions in the crossed channel at this order in light cone expansion. We then study the constraints imposed by reflection positivity and crossing symmetry on such a four point function. We reproduce the previously known parity odd collider bounds through this analysis. The contribution of the parity violating term in the collider bound results from a square root branch cut present in the light cone block as opposed to a logarithmic cut in the parity even case, together with the application of the Cauchy-Schwarz inequality.


Introduction
Conformal field theories (CFT) have been very well studied, particularly in d = 3, where they have been central to the understanding of several important phenomena in both condensed matter physics and holography [1][2][3][4][5][6]. The three dimensional CFTs are special in the sense that presence of a Chern-Simons term means that we can consider theories which violate parity [7,8]. Conformal invariance then completely fixes the three point functions of operators, two U(1) currents and a stress tensor, for example, in such theories upto two parity even and one parity odd independent parameters. Consider the three point function of two conserved U(1) currents and a conserved stress tensor, jjT = n j s jjT free boson + n j f jjT free fermion + p j jjT parity odd , where . . . free boson , . . . free fermion denote the correlator a real free boson and a real free fermion respectively [9], while . . . parity odd refers to the parity odd structure [10]. The

JHEP04(2019)023
numerical coefficients n j s , n j f correspond to the parity invariant sector, while p j is the parity violating coefficient. The parity violating structure is unique to d = 3 and it appears only for interacting theories.
Constraints on the parameter space of three point functions of CFTs were first studied for d = 4 in [11]. The authors consider localized perturbations of CFT in Minkowski space which spread out in time. The energy measured in a direction, denoted byn, is defined by, where r is the radius of the circle on which the detector is placed andn is a unit vector which determines the point on the circle where the detector is placed. The expectation value of the energy flux measured in such a way should be positive for any state. This led to constraints on parameters of three point functions T T T and JJT [11]. This analysis was generalized to higher dimensions in [12,13]. The central assumption to the collider physics analysis is the average null energy is positive over any state. Particularly, for d = 3, the collider bounds constrain the parameters to lie within a circle on the (α j − a 2 ) plane [14]. . (

1.2)
Chern-Simons theories coupled to fundamental matter were shown to saturate this bound, that is they lie at the boundary of the disc [14,15]. These bounds were obtained using the assumption of the positivity of the average null energy condition for interacting theories which were recently proved in [16]. This proof was based on monotonicity of relative entropy.
On the other hand, causality considerations of the Lorentz invariant Minkowski CFT can lead to non-trivial constraints on the OPE data of the CFT [17][18][19][20][21][22][23][24][25]. In [17], the authors consider a four point function of scalar operators. The crux of the argument relied on the fact that well-behaved Euclidean theories are in one to one correspondence with causal Minkowski theories. Starting from an Euclidean correlator, one gets all possible Lorentzian correlators with desired time-orderings by analytic continuations. Singularities of the Euclidean theories continue to be the singularities of the Minkowski theories but now there are branch cuts appearing in the Minkowski theory exactly at the light cone. A diagnostic of a causal Minkowski theory is the fact that commutators of operators must be vanishing at space-like separations.
It is easy to see that this commutator becomes non-zero when one operator crosses the light cone of the other and not before that. This imposes restrictions on the behaviour of the analytic continuations of the Euclidean four point function ψ(0)O(z,z)O(1, 1)ψ(∞) .

JHEP04(2019)023
In short, reflection positivity and crossing symmetry ensures that certain Minkowski correlators, often referred to correlators on the second sheet are analytic within a specific region of the complex (z,z) plane and cannot grow faster than the Euclidean correlator (correlator on the first sheet). The resulting sum rules constrains the product of OPE coefficients appearing in the light cone expansion of the aforementioned correlator. This was generalized to stress tensor exchange corresponding to spinning correlators in [26]. The light cone limit of spinning correlator for stress tensor exchange is obtained using the differential operator formalism outlined in [27]. Analyticity and reflection positivity properties of the Euclidean correlator were used to obtain constraints on the parity even parameters of the three point functions JJT and T T T in d ≥ 3. The analysis of the parity even parameters of the spinning correlators involved a non-trivial bootstrap decomposition of the correlator into sum over composite operators in the dual channel to reproduce optimal bounds. The relationship between causality analysis of the Lorentzian theory using bootstrap arguments and average null energy condition, as used by Maldacena et al. was understood in [19]. Any Lorentz invariant unitary quantum field theory obeys the average null energy condition. The collider bounds are a direct consequence of this. This also produces the optimal bounds for the spinning correlators without having to resort to any subtractions as done in [26]. The method however bypasses solving the crossing equations or the anomalous dimensions of the high-spin composite operators in the dual channel.
In this paper we study the modifications to the crossing equation due to the presence of the parity violating terms in the three point functions of JJT via light cone bootstrap [28] and extend the causality arguments of [17,26] to parity violating theories in d = 3. We consider the following four point function (1.4) Let us define the cross ratios (1.5) In [28], the authors have studied crossing the implications of crossing symmetry of this four point function in the parity even sector. The s-channel defined by the limit u v, while the t-channel is defined by the limit v u. The contribution of the identity in this channel can be accounted by the presence of the following two towers of composite operators of spin l in the t channel.
Here ∆ φ is the conformal dimension of the primary φ. The OPE coefficients of these operators corresponding to the three point function Jφ [jφ] and Jφ [jφ] where found using crossing symmetry. The contributions of the parity even stress tensor exchange in the s-channel are proportional to log(v) and these terms imply anomalous dimensions for operators in (1.6). A brief review of the implications of the parity even sector is given

JHEP04(2019)023
in beginning of section 3. In this paper we study the implication of crossing symmetry due to the parity odd sector of the stress tensor exchange in the s-channel. We find that the parity odd contributions due to the stress tensor exchange in the s channel of the four point function in (1.4) introduces additional terms in the bootstrap equations. We show that the crossing symmetry implies that the presence of a new tower of 'parity-odd' composite operators O τ,l of spin l and twist τ = ∆ φ + 1. We evaluate the corresponding OPE coefficients, these coefficients are proportional to the parity odd term p j of the stress tensor exchange in the s channel. The results for these OPE coefficients JφO are given in (3.39).
The parity odd as well as the parity even block for the stress tensor exchange in the s channel are obtained using the embedding formalism developed in [27]. The input to obtain these blocks is the scalar conformal block but with certain shifts in the conformal dimensions of the external scalars. Then the spinning conformal block is obtained by the action of certain differential operators on the scalar conformal block. One of the important observations we make is that the leading contribution from the parity odd stress tensor exchange does not involve any terms proportional to log(v) unlike the parity even sector. This is because the seed scalar conformal blocks for the parity odd and parity even sector are given respectively by (1.8) Note that in the limit u → 0, v → 0 the parity even block contains log(v) terms while the parity odd does not. Due to this absence of the log(v) terms in the parity odd conformal blocks there is no contribution to the anomalous dimensions of composite operators in the t-channel. Since our analysis of the parity odd blocks is at the leading order in the light cone limit, this observation of the absence of the contribution of the parity odd terms to the anomalous is true at the leading order in the light cone expansion. It will be interesting to study whether sub leading terms in the light cone expansion of the parity odd term contribute to the anomalous dimensions in the corresponding double trace operators. 1 We then consider the constraints imposed by reflection positivity and crossing symmetry on the four point functions of two U(1) currents and two scalars. We show that the parity odd term contributes to the conformal collider bound through the Cauchy-Schwarz inequality. The two bounds we obtain can be summarized in the figure 1 on the next page (page 5).
The bounds obtained using the naive the bootstrap analysis is not optimal, it results in the larger circle in figure 1. The optimal bound given in (1.2) which agrees with that from the average null energy condition results by appropriately isolating the contribution of the two classes of composite operators labelled by different twists as done earlier for parity even theories by [26]. Furthermore we note that the nature of the singularity of the light cone limit of the Euclidean parity odd correlator on the second sheet is different from JHEP04(2019)023 that of the parity even one. To make it more precise, let us consider the light cone blocks corresponding to the party even and odd OPE coefficients before applying the differential operators given in (1.7). Conformal invariance allows us to choose the following kinematics for our four point function Under the analytic continuation z → ze −2iπ , both the blocks develop singularities on the second sheet. While, for the parity even case, the origin of this singularity is due to the presence of the logarithm term, for the parity odd case such a term is absent but nevertheless the square roots in the denominator of (1.7) are responsible for the enhanced singularity on the second sheet. The organization is as follows. In section 2 and 3, we set up the differential operator which correctly reproduces the contribution of the stress tensor block in the light cone limit. The modifications to the crossing equation is discussed in section 3.2. In section 4, we compute the causality constraints on the four point function of two U(1) currents and two scalars.

Spinning correlator: J J T from φφT
In this section we derive the parity odd contribution to the three point correlation function involving two U(1) currents, j, of scaling dimension 2 (∆ = 2) and a stress tensor T (∆ = 3) [10] from the three point function of the stress tensor with two scalar operators φ with the same scaling dimension of the currents in d = 3 [9]. Following [27], the differential operator required to obtain the parity odd JJT correlator from φφT is given by,

JHEP04(2019)023
where we have expressed the correlators in the embedding space formalism.
where ĩ is the differential basis and is given by [27] Note that P i s and Z i s are defined in a five dimensional embedding space. To project into the real 3 dimensional space, one uses the following projection formulae In order to compare it against the known structure of parity odd three point functions in literature [7,10] we re-express the building blocks of the three point functions in the embedding space i.e. H ij , V i,jk and ij , in terms of the tensor structures used in [7] H 12 ≡ −2x 4 where P i , Q i and S i are defined in [10]. They are related toP i ,Q i andS i in the following manner, The three point function defined in [14] is given by, (2.8) Using the identities in equations (2.6) and (2.5) in equation (2.1), we compare it with (2.8).
We use the following identity in getting rid ofS 1 in eq. (2.8) We find that, (2.10)

Spinning conformal blocks and crossing symmetry
The spinning conformal blocks for two U(1) currents and two scalars can be formally written down as follows, u = P 1 .P 2 P 3 .P 4 P 1 .P 3 P 2 .P 4 , w = P 1 .P 2 P 3 .P 4 P 1 .P 4 P 2 .P 3 , is the conformal block corresponding to exchange of operator O and Q k s are tensor structure that appear due to the external spinning operators. It will be convenient to define another cross-ratio v, where v = u w . (3.2) We will be using both the sets (u, v) and (u, w) throughout the paper. The spinning conformal block is fairly complicated and in practice we will need the leading two exchanges for our purpose. This was achieved in [27], by applying the differential operator corresponding to the three point function of the two external operators and the exchanged operator onto the scalar conformal block. Assuming the lowest twist operator after the identity exchange is the stress tensor, the resulting spinning conformal blocks in the embedding space formalism are then obtained from the scalar blocks in the following manner [27,28], where the first term is the identity exchange, and D even and D odd are the parity even and parity odd operators respectively corresponding to stress tensor exchange. The pre factors have been fixed by comparing the leading term in the conformal block at the limit u → 0, v → 1 with the following The s-channel scalar block with operator O, with dimensions ∆ O and spin l O , exchanged in the embedding formalism is given by, where u = P 1 .P 2 P 3 .P 4 P 1 .P 3 P 2 .P 4 and w = P 1 .P 2 P 3 .P 4 P 1 .P 4 P 2 .P 3 and the factor (−2) 1 2 (∆ 1 +∆ 2 +∆ 3 +∆ 4 ) has been introduced to match with the scalar block in projected coordinates. The parity even operators are given by, where λ jjT and C J are the two independent parameters of the three point function of JJT . They are related to the parametrizations of [9] as follows,

JHEP04(2019)023
The normalization factors α 1 , α 2 are fixed by matching it with the two point function in [9].
The three point function coupling λ φφT has been fixed as follows. From [28] the three point function of two scalars and a conserved stress tensor in embedding space is given as follows . (3.9) We demand that in projected coordinates, this matches with the three point function of [9].
The normalization constant α 3 is fixed in the following manner. Starting from the three point function φφT (after stripping offλ φφT ), we need to act the differential operator on the three point function to get the JJT of [9] α 3 = 1. (3.11) The parity odd differential operators are similarly given by, The explicit expressions for the differential operators are The other two differential operators D 21 and D 22 can be obtained from the above equations by 1 ↔ 2. The operator a,b acts on the scalar block (3.14)

JHEP04(2019)023
The action of the differential operators D even and D odd are explicitly given in the appendix A. Let us review the implications of crossing symmetry for the parity even part of the four point function J(P 1 , Z 1 )J(P 2 , Z 2 )φ(P 3 )φ(P 4 ) . The crossing equation can be written down, in embedding space, as follows [28] C J H 12 where W O is given by eq. (3.5) and action of the differential operators D even (eq. (3.6)) is are obtained from eq. (3.5) by 2 ↔ 4. The first term on the l.h.s. denotes the identity exchange in the schannel while the second term denotes the first correction to identity. The identity exchange produces the OPE coefficients P [j,φ] τ,l and P[ j,φ] τ,l on the r.h.s. while the stress tensor exchange is responsible for the anomalous dimensions γ i . Note that in three dimensions, we have a unique D odd W T (2, 2, ∆ φ , ∆ φ ) contribution apart from the usual parity even one which was discussed in [28]. For now we just review the parity even case, we will discuss implications of this modification to the crossing equation in detail in section 3.2. The presence of the operators D t [j,φ] τ,l and D t[ j,φ] τ,l on the r.h.s. is due to the fact that crossing symmetry implies that the t-channel receives contributions from two families of double twist operators with twists given by [28], We restrict our analysis to n = 0 (and therefore τ 0 ) cases. The operators D [j,φ] τ 0 ,l and D[ j,φ] τ 0 ,l can be fixed by demanding that they reproduce the correct three point function

JHEP04(2019)023
where the t-channel differential operators D t ij andD t i , denoted by the superscript t, are derived from equation (3.13) by the (2 ↔ 4).
The shifts i,j R and i,j L are done as follows We study and obtain the OPE coefficients P [j,φ] τ,l and P[ j,φ] τ,l and obtain the respective anomalous dimensions. We will be discarding the differential operators subleading in l in our discussion.

Parity even and odd
We solve the bootstrap equation in the limit u → 0, v → 0. By conformal symmetry, we can put our operators as follows.
In the limit u v, 2 the closed form expressions for the scalar blocks for an exchange of operator O of dimensions ∆ m and spin l m on the l.h.s. is explicitly known [29], (3.21) 2 Here v = u w .

JHEP04(2019)023
We evaluate the parity even operators on l.h.s. by explicitly acting on the scalar conformal block by the differential operators D even and D odd . The details of this can be found in appendix A. We now solve the bootstrap equation to leading order in v. This is formally solved by summing over the r.h.s. conformal blocks corresponding to the two classes of double twist operators at large spin [28,30]. The closed form expression for the large spin t-channel scalar block for exchange of operator of dimension ∆ and spin l on the r.h.s. is given by, Note that this is in the limit u v in the t-channel. We assume the structure of the OPE coefficients to be With this ansatz the sums are performed by the following integral For simplification of computation, the sums are performed first over the scalar blocks before acting on by the differential operators. Instead of directly acting on the parity odd differential operators in eq. (3.17), we adopt the methodology used in [26,31] to evaluate the action of parity odd differential operators on the scalar block. where, We obtain the following OPE coefficients and anomalous dimensions [28] The computation was done by looking at the polarizations (++) and (xx). We note that the anomalous dimensions are a function of the party even OPE coefficients of JJT . The anomalous dimensions are as a result of the matching the logarithms that one gets due to the stress tensor exchange block on the l.h.s. with the r.h.s. of the crossing equation. We

JHEP04(2019)023
also note that while only the composite operators [j, φ] τ,l contributed to the (++) polarization, both[j, φ] τ,l and [j, φ] τ,l contributed to the r.h.s. sum for the (xx) polarization [28]. Schematically, This leads to a non trivial subtraction rule while evaluating the collider bounds from bootstrap [26]. By demanding that the anomalous dimensions be negative [28], we obtain the parity even collider bounds in d = 3. We have also checked that the crossing equation is satisfied for (+−), (−+) and (−−) polarizations.

Mixed operators
In this section we study the modifications to the crossing equations due to the parity odd stress tensor exchange in the s-channel. The modifications to the r.h.s. of the crossing equation due to the presence of the parity odd term on the l.h.s. is as follows (3.28) whereÕ are spin l double twist operators with twist given by The operators D ij m are modifications to the crossing equations that have not previously been studied. The differential operators are given to be Their action on the scalar block is given in appendix C. P i m,τ,l s are the OPE coefficients corresponding to the respective differential operators. As we shall see their presence is essential for the crossing equation to be satisfied in presence of the parity violating terms JHEP04(2019)023 in eq. (3.28). In order to evaluate the contribution of the parity odd operators in the schannel to the crossing equation, we look at the polarizations (+x), (x+), (−x) and (x−). For this choice of polarizations only the tensor structures corresponding to P i m,τ,l s are non-zero and on the l.h.s., D even W T (2, 2, ∆ φ , ∆ φ ) also drop out. Thus the inclusion of these extra structures on the r.h.s. is essential for the crossing equation to be satisfied. Moreover we have also checked that the l.h.s. parity odd conformal block do not contribute to the corrections to the OPE coefficients P [j,φ] τ,l and P[ j,φ] τ,l . The crossing equation then becomes where the operators D ij m s are given in eq. (3.30) , while the action of the s-channel D odd operators is given in appendix A.2. Note that the differential operators D odd are fundamentally different from their parity even counterpart. Because of the asymmetric shifts in the differential operators, the light cone block will therefore not have any logarithm term corresponding to D odd operator. To be explicit, let us look at the shifted blocks for both the parity even and parity odd differential operator for stress tensor exchange, before the action of the differential operator itself. In d = 3 the shifted block corresponding to the stress tensor exchange in the parity even sector (u v) is given by as u → 0, v → 0, this develops a logarithmic singularity. In contrast, for the parity odd blocks we have closed form polynomial expressions for the shifted blocks for u v.
This does not have a logarithmic singularity as u → 0, v → 0. Proceeding similarly as before, with the epsilon tensors evaluated with the help of appendix B and the following ansatz for the OPE coefficients,

JHEP04(2019)023
For the (x−) polarization, (3.38) A solutions for these set of equations is obtained with c τ 0 = ∆ φ + 1 and The parity odd contribution on the l.h.s. of the crossing equation is fundamentally different from its parity even counterpart. While as seen from the crossing equation eq. (3.15) and discussions henceforth, the parity even part of the stress tensor exchange block contributes at one order lower than the identity exchange. It is directly responsible for the anomalous dimensions of the operators in eq. (3.16). On the other hand the parity odd terms are responsible for a new set of OPE coefficients corresponding to the tower of operatorsÕ (τ = 1 + ∆ φ + 2n) in the t-channel exchange. The essential difference is due to the fact that there are no logarithm terms at this order in the u → 0, v → 0 expansion of the parity odd conformal blocks corresponding to the stress tensor exchange. A simple reason for the absence of logarithmic terms in the parity odd block is that it can be considered as a transition between a double trace operators of opposite parity in the t channel. This is an off diagonal term and logarithms occur only in the diagonal term on expanding v τ . 3

Positivity constraints
In this section we will study the implications of reflection positivity and crossing symmetry on the euclidean four point function. Following [17,28], we define in light cone coordinates, where, denotes the polarization tensor associated with the currents. The t-channel stress tensor exchange for this correlator, we can get from eqs. The light cone coordinates are defined as z = y + iτ andz = y − iτ . With the chosen kinematics, the cross-ratios become, In this analysis we will be interested in the limitz → 1 while z is held fixed. Note that this limit is different from the limit used in the analysis of the crossing equation in the previous section. Let us define where σ is complex with Im(σ) ≥ 0 and |σ| ≤ R, while η is real and satisfies 0 < η R 1. Excluding the origin, this is a small disc in the complex σ plane and we refer to this as the region D. The light cone limit translates to η → 0 with σ held fixed [17]. We define the following normalized four point function following [28], Following [17,28], we summarise the arguments for the bounds in the following manner. The Euclidean correlator, eq. (4.6), has convergent expansions in the various OPE channels (s, t and u-channels). The crux of the argument lies in the fact that, using reflection positivity in s-channel and u-channel expansions, it can be shown that the correlatorĜ µν η (σ) is analytic in the region defined as D as well as Using these two conditions we obtain a bound on the OPE coefficients appearing in the t-channel expansion of eq. (4.6) in the light cone limit. We proceed by evaluating the

JHEP04(2019)023
leading term in the t-channel stress tensor exchange ofĜ µν η (σ) in the light cone limit. The light cone limit of the blocks G(u, w) for operator O(∆ m , l m ) exchange are defined as [29], where, ∆ i s indicate the dimension of the scalar operators at position P i s after the shifts due to the differential operators. For our purposes, we consider stress tensor exchange of ∆ m = 3, l m = 2.

Parity even
In this section we present the analysis for the parity even collider bounds. We look at the parity even part of the differential operator eq. (3.6) (to be precise with 2 ↔ 4). For going round the cut we apply the following analytic continuation formula x > 1 .

(4.8)
We have checked that applying the differential operators before going round the cut is identical to applying the differential operators on the conformal blocks, after going round the cut. Technically the latter is simpler and we look at the polarizations G ++ and G xx , for which there is no contribution from the parity odd differential operators eq. (3.12). On the first sheet, G ++ and G xx have no poles as η → 0 with σ held fixed. On the second sheet, the correlatorĜ µν η (σ) iŝ where . We see that the correlators develop singularities on the second sheet after going round the branch cut. The above expressions for t-channel light cone singularity do not lead to the most optimal bounds. As illustrated using crossing symmetry in section 3, a subtraction is needed and the reason for it is the following, if we consider crossing symmetry of the four point function JJφφ , we find that in the dual channel, the large l limit is dominated by two classes of composite operators indicated by two different twists given by eq. (3.16) 4 [28].

JHEP04(2019)023
For the polarization (++), the s-channel stress tensor exchange is reproduced in the dual channel by just the symmetric composite operator of twist τ = 1 + ∆ φ but for the polarization (xx), both the classes of twists contribute. Following [26], in order to isolate the contribution of the antisymmetric part inĜ xx , we subtract in the following manner. The subtraction for the leading divergent part is −1 4 timesĜ ++ and the subleading contribution is −1 3 times that ofĜ ++ . This subtraction scheme has been discussed in detail in [26]. 5 One aspect of this subtraction is that the it was only the relative normalisation of theĜ ++ in comparison withĜ xx that [26] was careful about, since the over all normalisation was not crucial. However to get the bounds including the parity odd we should also be careful of the overall normalization of the subtraction. We will see thatĜ xx andĜ ++ can be thought of as inner products in radial quantization. Therefore the normalization on performing the subtraction is given bŷ (4.10) Essentially we have divided each of the subtraction by the sum of the coefficients linear combination considered. This is what would one would expect to do if one thinks ofĜ xx andĜ ++ as norms (see section 4.3 and in particular discussions around eq. (4.23)). We will see that this normalisation prescription as well the subtraction procedure reproduces the conformal collider bounds including the parity odd term as obtained using the average null energy condition. Performing this subtraction together with the normalisation we obtain (4.11) In terms of the collider parameter introduced in, [11] the contributions becomê Note that the normalization of the sub-leading term of (xx) polarization matches with the (++) one. The subtraction together with the normalization in (4.10) ensures this.

Parity odd
In this section we study the contribution of the parity odd terms to collider bounds. We derive the singular contribution of the parity odd conformal blocks in the light cone limit. We note that the light cone limit of the shifted stress tensor exchange conformal block appearing in eq. (3.6), are completely different from the ones in eq. (3.12). The difference arises due to the asymmetric shift operators in the two different cases. Let us illustrate with an example. Let us consider the t-channel light cone block for stress tensor exchange for a four point function of scalars in d = 3 The analysis is carried out by taking the limit z → 1 first. (4.14) As z → ze −2iπ , this develops a singularity in the second sheet due to the logarithmic branch cut in the hypergeometric function. In contrast, for the parity odd blocks we have closed form polynomial expressions for the shifted blocks in the light cone limit.
For the j x φφj + correlator, acting on by the differential operators we have (by applying 2 ↔ 4 to the structures in appendix A.2 and appendix D), before going round the branch cut, (4.16) Note that the singularity structure for the parity odd case is different from the parity even one due to the absence of log z terms in the expression. Here it is due the presence of the square root branch cut. To see the origin of the singularity of going round the branch cut with the prescription z → ze −2iπ , let us examine the asymmetrically shifted scalar blocks in (z,z).
Under the transformation z → ze −2iπ , the above expression picks up a pole on the second sheet, due to the square root in the denominator. We systematically apply this procedure to the parity odd blocks given in (4.16). Parametrizing the coordinates z,z as given in equation (4.5), we obtain the light cone limit of the parity odd sector This pole structure is independent of the way the differential operators are acted on the scalar block. We can perform the analytic continuation and then act on by the differential operators or vice-versa. We obtain the same result for both the cases.

Collider bounds
Now we have all the ingredients to formulate our bounds using the sum rule. Following [17,31] we use the arguments of reflection positivity to bound the four point functions that we have obtained in the previous section. Let us begin by reviewing the sum rule that one
One can construct the following state in radial quantization by smearing the φ insertion over an unit disc [17].
Reflection positivity states that f |f ≥ 0. Reflection positivity of the correlator, eq. (4.19), in the s and u channels allows us to write the following sum rule for the t-channel when the exchanged object is a conserved stress tensor, where the contour D is the closed region spanned by a semicircle S in the complex σ plane of radius R centering the origin. We can decompose the sum rule as follows where we have used the reflection positivity constraint in the second line. Note that the contour is to be traversed in S is counter clockwise. The integral over S can be now used to isolate the singularities in theĜ s η (σ). This works out in the following way. While leading terms of G s η (σ) andĜ s η (σ) cancel each other, the subleading terms of G s η (σ) are analytic in σ but the first subleading term ofĜ s η (σ) has a pole in σ. The integral precisely picks out residue of this pole and this leads to certain positivity constraints on the residue. Similar arguments holds for the spinning external correlators. For reflection positivity, we consider the following states The corresponding ket state involves the inversion operator I µν (x) = η µν − 2 x µ x ν x 2 and this leads to some additional signs which one has to be careful about [28]. Let us denote the state created by the + = 1 as |+ state and that created by x = 1 as the |x state. Reflection positivity implies that This leads to the sum rules corresponding to eq. (4.13) [28]. We note that the reflection positivity stated above cannot capture the parity odd coefficient. This is due to the fact JHEP04(2019)023 that the parity odd blocks do not contribute in the light cone limit for such a choice of polarizations. We now consider the positivity and analyticity of the following state |v = (|+ + α|x ). Reflection positivity implies, v|v ∼ +|+ + α +|x + α * x|+ + αα * x|x ≥ 0, (4.25) Reflection positivity also implies analyticity of G ++ and G xx correlator in the region D, Separating this integral over the semicircle and the real line, and considering the real part we obtain, where the inequality in the final line is a consequence of reflection positivity for the G vv state. Minimising with respect to α, we obtain Cauchy-Schwartz inequality where R ij s are described below.
No subtraction. Let us proceed at first naively and assume no subtractions and not use the inner product constructed in (4.10). From equation (4.9) and (4.18) we obtain

JHEP04(2019)023
(4.29) Note that λ φφT is negative and we have also scaled out the term a 4 . Putting these back into eq. (4.28), we obtain where we have used This bound is drawn in figure 2. The bounds that we get proceeding naively are not optimal and do not coincide with that obtained using the average null energy condition. We do not consider the subtractions as outlined in section 3.
Optimal bound. The optimal bound is obtained by taking the subtracted parity eveñ G xx given in eq. (4.13). Our inequality therefore becomes where the individual components are described as, (4.33) Note that λ φφT is negative and as one would expect for a theory with no parity violating terms,R xx is positive. Putting these back into eq. (4.28), we obtain This can be pictorially represented in figure 3. These observations can be summarized in the figure 1. Note that we have obtained the causality sum rules eq. (4.27) for different subtraction schemes in this section. We find that the optimal bounds coincide with the collider JHEP04(2019)023 constraints evaluated in [14]. Obtaining this involved the subtraction symmetric traceless tensor exchange in the (xx) component of the parity even contributions as well as a normalisation as given in (4.10). Reflection positivity holds even after subtraction since all we have done by the subtraction is to isolated the anti-symmetric tensor exchange. We would like to have a more first principle method of arriving at the normalisation used in (4.10). Performing the same analysis for the T T φφ to obtain similar bounds on the OPE coefficients of the stress tensor will give us a clue.
Finally we note the fundamental difference between the nature of the singularity of the light cone block on the second sheet for the parity even case and the parity odd case. While for the parity even conformal block, it results from the logarithm of the hypergeometric function, for the parity odd case this results from a square root branch cut. The absence of logarithms at this order in the light cone expansion in the parity odd conformal block can be technically understood as due to the asymmetric shifts in the scalar blocks due to the D odd operators of equation (3.12). This is also manifests itself in modifications to the crossing equation, the parity odd corrections to the stress tensor exchange in the s-channel give rise to new OPE coefficients (3.39) corresponding to a new class of double twist operators rather than anomalous dimensions.

Conclusions
In this paper we have studied the modifications to the crossing equation for a four point function of two U(1) currents and two scalars due to the presence of a parity violating term in the stress tensor exchange in the s-channel. We find that for the crossing equations to be satisfied, there exists a tower of new double trace operators in the t-channel. We find the requisite differential operators which can give rise to such operator exchanges. An infinite sum over such double trace operators reproduces the parity odd contribution in the s-channel. We find that due to the structure of the parity odd blocks, such an exchange contributes to the OPE coefficients rather than the anomalous dimensions of operators in the t-channel. We also study constraints imposed by causality considerations on such a four point function. We find that using reflection positivity and crossing symmetry we can formulate a Cauchy Schwartz inequality which leads to the exact parity odd conformal collider bounds that was studied previously [14]. For this purpose it was necessary to look at the parity odd blocks in the light cone limit after certain analytic continuations. The nature of singularity on the second sheet for the parity odd blocks is fundamentally different from that of the parity even blocks [17,26] even though the singularity structure is the same. This again boils down to the differences in the structure of the party odd and parity even conformal blocks which was responsible for absence of anomalous dimensions in the crossed channel. Our results provide insight on how the constraints imposed on parity odd three point function parameters by conformal collider physics emerge from reflection positivity, analyticity and crossing symmetry. The fact that the bounds seen in collider physics can be obtained this way resonates with the fact that any causal theory including parity odd ones must satisfy average null energy condition [19] and hence the collider bounds.

JHEP04(2019)023
There are several future directions. A naive generalization of this analysis to a correlator of two stress tensors and two scalars should lead to conformal collider constraints on the parity violating three point function of the stress tensors. Moreover similar to the four point function considered in this paper, the crossing equation of the four point function of stress tensors and scalars will be modified due to the presence of the parity violating term in the stress tensor exchange in the s-channel. Differential operators for stress tensor exchange in four point functions of four U(1) currents also have this parity odd term which has not been considered before [28]. It will be interesting to see the modifications to the crossing equation of this correlator because of the presence of the parity odd term.

A Differential operators on r.h.s. for stress tensor exchange
The spinning conformal blocks have been expressed in terms of differential operators acting on the scalar blocks eq. (3.5). There are two contributions to the final result. Explicit action of the differential blocks on the scalar blocks can be grouped into parity even and parity odd contributions.

A.1 Parity even
where the terms I even i s are given by JHEP04(2019)023 .

(A.5)
Where the terms I odd i are given by,

B Epsilon tensors
For polarisations corresponding to j x j + φφ , the epsilon tensors are, For polarisations corresponding to j + j x φφ For polarisations corresponding to j − j x φφ abcf e Z a 1 P b 1 P c 3 P f 2 P e 4 = 0, abcf e Z a 2 P b 1 P c 3 P f 2 P e 4 = − (a − 1)a(z −z) 2i ,