-expansion in the Gross-Neveu

: We use the recently developed CFT techniques of Rychkov and Tan to compute anomalous dimensions in the O( N ) Gross-Neveu model in d = 2 + (cid:15) dimensions. To do this, we extend the \cowpie contraction" algorithm of arXiv:1506.06616 to theories with fermions. Our results match perfectly with Feynman diagram computations.


JHEP10(2016)097
theory, and verify that the results agree with existing perturbative results in the literature, where they overlap.
The paper is organized as follows. In section 2 we introduce the Gross-Neveu as a Wislon-Fisher CFT along with the axioms that help us along in the computation. In section 3 we give a recursive algorithm, based on [2], to compute OPE coefficients in the free theory and in section 4 we show how these results are matched with that of interacting theory in the → 0 limit which help us determine anomalous dimensions of various composite operators.
Note added. The paper [12] also discusses the same problem, and even though the details of the algorithm are different, our results agree.

O(N ) Gross-Neveu model in + dimensions
The Gross-Neveu model action in d = 2 + dimensions is given by In 2 dimensions, this theory is renormalizable with a dimensionless coupling constant. The coupling constant is proportional to and hence this theory describes a weakly coupled fixed point for small values of . We have introduces a scale µ to make the coupling constant dimensionless.
The engineering dimension of the fields is fixed by the action [ψ] ≡ δ = 1 + 2 (2.2) The equations of motion for this theory are given by According to [1], this equation has to be seen as a conformal multiplet shortening condition, where in the free theory, the operators (ψ B ψ B )ψ A and (ψ B ψ B )ψ A is a primary, but in the interacting theory it is made secondary by above equations. Following [1], we formalize the relationship between operators in the free and interacting case by means of following axioms: • The interacting theory enjoys conformal symmetry.
• For any operator in the interacting theory, there is a corresponding operator in the free theory, which the interacting theory operator approaches to in the → 0 limit.

JHEP10(2016)097
For definiteness, we call the interacting theory operators as V 2n , V A 2n+1 a and V A 2n+1 a , 3 which in the free limit goes to are not primaries, instead they are related to the primaries by the multiplet shortening conditions This puts restrictions on the dimensions of these operators The proportionality constant α( ) can be fixed later using the axioms above. All other operators V m , m = 3, are primaries.
The two-point function of two primaries of same dimension ∆ 1 is In the free limit this becomes The anomalous dimension is defined as the difference between the actual scaling dimension of the operator and the engineering dimension, i.e, ∆ n = nδ + γ n . We also make the crucial assumption that the anomalous dimensions are analytic functions of and therefore admits a power series expansion γ n = y n,1 + y n,2 2 + . . . (2.10) Our first task is to fix α in (2.6). Differentiating (2.8) and substituting appropriate factors of γ matrices, we obtain

JHEP10(2016)097
Left hand side of (2.11) takes the form which in the free limit evaluates to Comparing both sides, we obtain where σ = ±1. The exact sign will be determined later. Following [1,2], we consider correlators of the form which in the free limit goes to where we have introduced operators φ 2n and φ A 2n+1 a as a shorthand for The reason we are interested in these correlators is because of its sensitivity to multiplet recombination. To see this, we notice that in the free theory, OPE only contains V 1 as the primary. The coefficients in both cases are independently computable and by Axiom:2, we expect them to match in the limit → 0.
In the free case, we have following OPE The coefficients f 2n and ρ 2n can be determined by counting the number of Wick contractions. In next section, we provide an algorithm, based on [2], to determine these coefficients for arbitrary n. This is matched with the interacting theory OPE

Counting contractions
We now turn our attention to computing f and ρ coefficients in (2.17). Apart from (2.17), we also need OPE's of the form which are used to fix the anomalous dimensions of odd operators. In [2] a recursive algorithm was used to count Wick contractions, which can be adapted for the fermions. The

JHEP10(2016)097
Wick contractions can then be viewed as various ways of connecting upper and lower rows, resulting in recursive equations. In the case of fermions, the principle is essentially the same, but the contractions have a bit more structure. We use '+' and '−' to denote ψ and ψ respectively. To capture the contractions, we introduce the quantity F p,r + ,r − p+q,s + ,s − ;m + ,m − , where p is the number of upper double cow-pies which stand for ψψ, r + is the number of upper single cow-pies of '+' type, r − is the number of upper single cow-pies of '+' type, p + q is the number of lower double cow-pies, s ± is the number of lower single cow-pies of type ±, m ± is the number of uncontracted ψs and ψs respectively. A contraction is always between an upper + and a lower − or vice-versa.
The various coefficients f s and ρs in our notation becomes There are 3 different kind of contractions that are possible. Of the first type, the two kernels of the p th double cow-pie are contracted with two kernels of same lower cow-pie. This gives a factor of N p. The second possibility is to contract the two kernels of upper cow-pie to two different kernels of lower double cow-pie resulting in a factor of −p(p − 1) and the last possibility is to contract one of the kernels of upper double cow-pie with a kernel in lower double cow-pie and the second kernel of upper cow-pie with the single kernel of lower row. This gives a factor of −p. So, the resulting contraction can now be expressed as following recursion equation This recursion equation can be solved along with the launching condition F 0;0 0,1;0,1 = 1 and we obtain JHEP10(2016)097 There are only two types of contractions possible, analogous to the first two types above. The recursion equation can therefore be written by inspection with the lauching condition F 0;1 1,0;0,1 = 1 which gives Here the first possibility involves contracting both the kernels of upper double cow-pie with lower cow-pies analogous to the computation of f 2p . This gives a factor of N p−p(p−1)−p.
Another possibility involves contracting '+' of an upper double cow-pie with the single '−' in the lower row. This gives a factor of −F p−1;0 p−1,0;1,1 .
Other possibilities involve single contractions of upper kernels, which can be done in following ways: (a) '+' of the upper double cow-pie contracted with a '−' of the lower double cow-pie, (b) '−' from the upper double cow-pie with a + from lower double cowpie. One can see by explicit computation for the lower orders (i.e. p = 2, 3, · · · ) that their contribution is given by −pF p−1,0,0 p−1,0,1;1,2 . Notice that the coefficient is different from the naive expectation because not all single contractions are independent and we must be careful to avoid over-counting and to keep track of the index structure.

Matching with the free theory
Having fixed the OPE coefficients of the free theory, we are now in a position to compute the anomalous dimensions of the interacting theory operators. This involves analyzing 3point functions with V 2n × V A 2n+1 a OPEs in (2.18) and demanding that in the → 0, they go to corresponding quantities in free theory. In particular, we analyze 3-point correlators of the form The l.h.s. of (4.2) can be evaluated, to the leading order, using V 2n × V A 2n+1 a OPE of (2.18) and the fact that V 3 is a descendent of V 1 , i.e,

JHEP10(2016)097
Since this is proportional to √ γ 1 , it vanishes in the → 0 limit. Therefore, to reproduce (2.17) and (3.1) we need q 1 to remain finite in this limit. We also need q 2 to blow up as → 0 limit such that The coefficients q i are determined by conformal symmetry whose details and explicit form can be found in appendix. As alluded before, we find that q 1 is indeed finite in the free limit. The asymptotic behavior of q 2 is given by Its evident that for q 2 to blow up y 1,1 has to vanish. This gives us following telescoping series y 2n,1 − y 2n+1,1 = 2σ (N − 1)y 1,2 ρ 2n , n = 1, 2, · · · (4.6) y 2n+1,1 − y 2n+2,1 = 2σ (N − 1)y 1,2 ρ 2n+1 n = 0, 1, · · · (4.7) Together this can be written as Summing the telescoping series gives This gives the anomalous dimensions of all the odd and even primaries in the theory once we fix the numerical value of K. To fix this we make use of (2.7) which can be written as 2δ + γ 3 = γ 1 + 1 (4.10) This gives y 3,1 = −1 which can now be used to fix K by setting n = 3 in (4.9).
This gives K = − (N −1) (N −2) which fixes σ = −1 and furthermore fixes y 1,2 also. Thus we obtain One can also compute the anomalous dimensions of V 2 which we obtain to be which are in perfect agreement with the results of [6][7][8].

JHEP10(2016)097
Acknowledgments I thank Chethan Krishnan for suggesting the problem, collaboration at various stages and several useful discussions, without which this paper would not have seen the daylight.

A OPE coefficients from 3-point function
As mentioned in section 2, the OPE coefficients, q i , are completely determined by the conformal symmetry [9]. Here we outline a procedure for obtaining these coefficients from an expansion of 3-point functions. For the case in hand, the coefficients are computed from a scalar-fermion-antifermion 3-pt correlator which takes following form [10,11] where l 1 , l 2 and l 3 and their primed counterparts are determined in terms of the scaling dimensions of the operators and l 1 = l 1 − 1/2, l 2 = l 2 + 1/2 and l 3 = l 3 + 1/2. The functional form of the 3-pt function (A.1) is essentially fixed by imposing conformal symmetry, i.e.
where G I collectively stand for the generators of the conformal group and V 2n ( are all assumed to transform as primary under the action of G I s. The case of n = 1 has to be treated separately since V 3 is not primary. For the time being, we consider the simpler case of all three operators being primary and return to n = 1 case in the end. Now we imagine a scenario where the first two operators, V 2n (x 1 ) and V A 2n+1 a (x 2 ), are coming together such that |x 12 | |x 31 | and |x 12 | |x 23 |. This allows us to expand the 3-pt function (A.1) by eliminating x 31 using the relation

JHEP10(2016)097
Substituting this in (A.1) and keeping leading terms in x 12 we obtain following series Since the operators V 2n and V A 2n+1 a (x 2 ) are close, we may use OPE (2.18). Substituting this into the l.h.s. of (A.1), we obtain This evaluates to Comparing this with the 3-pt expansion (A.1), we see that the terms proportional to C 123 does not match with the terms in (A.7). Therefore we have C 123 = 0 and The fermion-scalar-anti-fermion 3-point function is given by

JHEP10(2016)097
and m 1 = m 1 + 1/2, m 2 = m 2 − 1/2 and m 3 = m 3 − 1/2. Here we may set C 123 = 0 which follows directly from the arguments of the previous case. Proceeding in a similar manner, the 3-point function expansion takes the form On the other hand, OPE of the first two operators is given by Substituting this in the l.h.s. of (A.9) and comparing with (A.11), we get We now return to the case of n = 1 in (A.1). Here we have Expanding the above expression for |x 12 | |x 31 | and |x 12 | |x 23 | as previously, and comparing against the OPE gives the required coefficient where we have used the fact that γ 1 = γ 1,2 2 and γ 2 = γ 2,1 . Similarly, from the B Computing f 2p ρ 2p and f 2p+1 ρ 2p+1 from cow-pies In this appendix we give an alternate way to obtain f 2p ρ 2p and f 2p+1 ρ 2p+1 coefficients using cow-pie contractions. This works as a double check of our results, because there are not many results other than (4.12) and (4.13) that we can check in the literature.

JHEP10(2016)097
For the ease of counting, we invert the cow-pie and start the contractions from the single kernel. There are two cases to consider, Case I: The '−' kernel remains uncontracted. It is easy to see that its contribution is zero because rest of the contractions cannot give the desired operator.
Case II: The '−' kernel is contracted with '+' from the double cow-pie.
F p,0,0 p+1,0,0;1,1 can in turn be evaluated using cow-pies. This is similar to the case of f 2p and f 2p+1 and its recursion equation is given by