arxiv: v2 [hep-th] 4 May 2018

Transcription

1 Bi-scalar integrable CFT at any dimension Vladimir Kazakov a,b and Enrico Olivucci c a Laboratoire de Physique Théorique de l École Normale Supérieure, 4 rue Lhomond, F-7531 Paris Cedex 05, France b PSL University, CNRS, Sorbonne Universités, UPMC Université Paris 6 c II. Institut für Theoretische Physik, Universität Hamburg, Luruper Chaussee 149, 761 Hamburg, Germany LPTENS 18/01, ZMP HH 18/04 arxiv: v [hep-th] 4 May 018 We propose a D-dimensional generalization of 4D bi-scalar conformal quantum field theory recently introduced by Gürdogan and one of the authors as a strong-twist double scaling limit of γ-deformed N = 4 SYM theory. Similarly to the 4D case, this D-dimensional CFT is also dominated by fishnet Feynman graphs and is integrable in the planar limit. The dynamics of these graphs is described by the integrable conformal SO(D + 1,1 spin chain. In D it is the analogue of L. Lipatov s SL(,C spin chain for the Regge limit of QCD, but with the spins s = 1/4 instead of s = 0. Generalizing recent 4D results of Grabner, Gromov, Korchemsky and one of the authors to any D we compute exactly, at any coupling, a four point correlation function, dominated by the simplest fishnet graphs of cylindric topology, and extract from it exact dimensions of R-charge operators with any spin and some of their OPE structure constants. INTRODUCTION Conformal field theories (CFT are ubiquitous in two dimensions [1], and quite a few supersymmetric CFTs in D = 3,4,6 dimensions are known. But well defined non-supersymmetric CFTs in D >, such as 3D Ising or Potts models, or Banks-Zaks model [], are rare species. The CFTs at D > which in addition are integrable, such as 4D N = 4 SYM and ABJM theories in t Hooft limit, are true exceptions [3] [4]. That s why a new family of integrable CFTs obtained in [5] as a special double scaling limit of γ-deformed N = 4 SYM seems to be an important and instructive example. This theory can be studied via quantum spectral curve (QSC formalism[6 8] or using the integrability of its dominant Feynman graphs via the conformal, SU(, noncompact spin chain. A nice particular case of this family is the 4D bi-scalar theory, dominated by fishnet type Feynman graphs [5, 9]. We propose here the following D-dimensional generalization of the 4D bi-scalar theory introduced in [5] L φ = N c tr[φ 1 ( µ µ ω φ 1 +φ ( µ µ D ω φ +(4π D ξ φ 1 φ φ 1φ ]. (1 where the non-local (for general D operators in kinetic terms should be understood as an integral kernel ( µ µ β f(x ( 4β Γ( D +β π D Γ( β the paper is dedicated to the memory of L.N. Lipatov d D yf(y x y D+β. ( The propagator of scalar fields is its functional inverse: ( µ µ β D(x = δ (D (x, (3 D(x y = Γ( D β 4 β π D Γ(β x y D β. The typical structure in the bulk of sufficiently big planar Feynman graphs in this theory is that of the regular square lattice ( fishnet graphs, proposed in [10] as an integrable lattice spin model, by the same reasons as in 4D case [5, 9], namely, due to the presence of the single chiral interaction vertex in the Lagrangian, and the absence of its hermitian conjugate. For example, the graphs renormalizing local vacuum operator tr(φ j L are those of the wheel type and they can be studied via the integrable conformal SO(1,D +1 spin chain [11], as was suggested for 4D case in [1]. The dimensions of operators of the type tr[φ 3 1 (φ φ n ] have been also studied in 4D [1] by QSC methods. It is not clear whether this method can be generalized to our D dimensional model. But the spin chain methods certainly can. In general, the propagators of the fishnet graphs of the model (1 are different in two different directions: x y D+ω for φ 1 fields and x y ω for φ fields. Let us concentrate here on the isotropic case ω = D/4. In order to maintain the renormalizability we should add to (1 the following double-trace counterterms [13, 14] L dt /(4π D = α 1 tr(φ i φ i tr(φ i φ i i=1 α tr(φ 1φ tr(φ φ 1 α tr(φ 1φ tr(φ φ 1, (4 Notice that the first term disappears in the nonisotropic case ω D 4 since the couplings of two terms

2 FIG. 1. Loop expansion of tr(φ 1(xtr(φ 1 (0 graphs up to -loops in the first line of (4 would become dimensionful. As it was suggested in [15] and explicitly shown in [16] for the 4D case, the isotropic bi-scalar theory with Lagrangian L φ + L dt has two fixed points. We generalize here this result to any dimension, up to two loops, computing the corresponding Feynman graphs (Fig.1 contributing to the β α1 -function. Its two zeroes are α 1(ξ = iξ J(D ξ 4 +O(ξ 6 (5 where the real coefficient J (D depends on the ǫ 1 coefficient of the down-left graph of Fig.1 in dimensional regularization. For example: J (4 = 1/, J ( = ln, J (1 = π+4ln [17]. At this critical coupling α π 1 (ξ the bi-scalar theory becomes a genuine non-unitary CFT at any coupling ξ. The operatorstr(φ 1 φ, and tr(φ 1 φ are protected in the planar limit [16]. In this paper, generalizing the 4D results of [16] to any D, we will compute exactly a particular four-point function and read off from it the exact scaling dimensions and certain OPE structure constants of operators of the type tr(φ 1 + S φ 1(φ φ n + permutations. Their dimensions will be given by a remarkably simple exact relation h,s Γ( 3D 4 S Γ ( D 4 S Γ( D 4 + +S Γ ( D 4 + +S = ξ 4, (6 describes the operators of the type tr(φ 1 S + φ 1. For D = m, m N the L.H.S. of (6 factorizes into a polynomial of degree m and m roots of eq.(6 describe the scaling dimension of the exchanged operators in the OPE channel x 3 x 4 of (11 together with their shadows = D. At ξ = 0 we get for the bare dimensions of physical operators (i.e., excluding shadow operators 0 S = {m,m+,,3m }, At D = there is a single solution with the dimension = 1 + S 4ξ 4 of the local twist- operators tr(φ 1 + S φ 1 while at 4D the additional 0 S = 4 describes twist-4 operators [16]. As an example, at D = 6 and S = 0 the possible non-shadow solutions for (6 are 0 = 3,5,7. They can be realized as tr(φ 1 for 0 = 3, linear combinations of tr(φ 1 φ 1, tr( µ φ 1 µ φ 1 for 0 = 5 and of tr(φ 1 φ 1, tr( φ 1 φ 1, tr( µ φ 1 µ φ 1, tr( µ ν φ 1 µ ν φ 1 for 0 = 7. Diagonalizing the mixing matrix of these operators at ξ 0 we would obtain operators with non-trivial, ξ-dependent anomalous dimensions, as well as the so called log-multiplets [1, 18], omnipresent in this non-unitary theory [19, 0], containing the operators with zero anomalous dimension. Eq.(6 predicts that all the exchange operators from this set acquire non-trivial anomalous dimensions, whereas the operators belonging to log-multiplets never appear among them. This appears to be true at any even dimension D. As a general rule, according to the eq.(6 the operators of the type {tr(φ 1 S +(φ φ n +permutations} appear in the multiplets only at D/4 N, n = 1. We will find below from the exact 4-point function the conformal structure constants of these operators with two scalar fields. which reduces of course at 4D to the result of [16]. For even D it gives D different solutions (ξ = 0 +γ(ξ. At odd (or non-integer D there are infinitely many, in general complex, solutions. At weak coupling the two complex conjugate solutions at S = 0 ξ γ = ±i Γ ( ± i D 6 ξ 6 Γ ( D ( ( D 3 π 6ψ (1 +O(ξ 10 describe anomalous dimensions of the operator tr(φ 1 φ 1 at the two fixed points. In a similar way, for any S Z the real weak coupling solution γ = Γ ( D ( ( D ψ (0 ξ 4 Γ(S ( Γ D +S + ξ 8 Γ(S Γ ( D Γ ( D +S ( D ψ +ψ (0 +S (0 (S+γ E +O(ξ 10. INTEGRABILITY OF D-DIMENSIONAL BI-SCALAR CFT As it was noticed in [5] and further developed in [9, 1, 16], the 4D case of the theory (1, with ω = 1, is integrable in the planar limit. On the one hand, this integrability is the direct consequence of integrability of γ-twisted planar N = 4 SYM theory, from which it was obtained in the double scaling limit combining strong imaginary twist and weak coupling. On the other hand, this integrability was explicitly related in [5, 1] to the fact that the bi-scalar theory was dominated by the integrable fishnet Feynman graphs [10],[1]. Apartfrom4D case,atarbitraryd ourbi-scalarmodel (1 does not have any integrable SYM origin. But the arguments of equivalence to the integrable conformal SO(1, D+1 spin chain do work. Namely, let us introduce

3 D/ - ω D/ - ω D/ - ω D/ - ω D/ - ω 3 x 1 - u - D/ 4 x x 3 x L u - + 3D/ 4... x' 1 x' x' 3 x' L x' 1 y 1 y y 3 y L - u +D/ 4 u + +D/ 4 FIG.. Graphical representation of the transfer matrix as a convolution of R-kernels according to formulas (8and (9. Black dots are integration points and the weights of propagators are written in the second and third R-kernel. the D-dimensional analogue of the 4D graph-building operator [5]: H L Φ(x 1,...,x L = 1 π DL d D x 1...d D x L Φ(x 1,...,x L x 11 D ω... x LL D ω x 1 ω... x L 1 ω (7 schematically presented on Fig.3. It is easy to see that a power of this operator HL M generates a fishnet Feynman graph with topology of a cylinder of length M with the circumference L. Now, in analogy with the 4D observation of [1], we notice that this operator can be related to the transfer-matrix of integrable SO(1, D + 1 conformal Heisenberg spin chain [] presented on Fig.: T(u = Tr 0 (R 01 (ur 0 (u...r 0L (u (8 where we introduced the R-matrix acting as an integral operator [R 1 Φ](x 1,x (u = c(u,d,ω d D x 1 d D x Φ(x 1,x, (x 1 u D 4 (x 1 D 4 +u+ω (x 1 3D 4 +u ω (x D 1 u+ 4 (9 with the normalization constant ( c(u,d,ω = 4u Γ u+ D 4 +ω Γ ( u+ 3D 4 ω π D Γ ( u D 4 +ω Γ ( u+ D 4 ω. Indeed, inanalogywith4d case[1], ataparticularvalue of spectral parameter this transfer matrix becomes the graph-building operator (7 at any D H L = π DL presented on Fig. 3. [ ( ] L (4π D D Γ lim ǫ 0 ǫl T ( D4 +ǫ. (10 EXACT 4-POINTS CORRELATION FUNCTION In analogy with 4D results of [16], employing the D- dimensional conformal symmetry of the theory (1,(4 we x 1 x x 3 x 4 x L x 1 ω... ω ω ω x' 1 x' x' 3 x' 4 x' L x' 1 FIG. 3. Graphical representation of the kernel of the graphbuilding operator for generic D and ω. It is otained by setting u = D in the transfer matrix (8 presentedon Fig., so that 4 x jj +1 typetypepropagators disappearwhile x j +1 y j -type propagators are replaced by δ (D (x j +1 y j factors. After that, integration over the points y j is equivalent to setting y j = x j +1. will compute exactly the four-point correlation function G = O(x 1,x Ō(x G(u, v 3,x 4 =, (11 (π D (x 1 x 34 D 4 where the notation is introduced for the operators O(x,y = tr[φ 1 (xφ 1 (y] and Ō(x,y = tr[φ 1 (xφ 1 (y]. Here G(u,v is a finite function of cross-ratios u = x 1 x 34 /(x 13 x 4 and v = x 14 x 3 /(x 13 x 4, invariant under the exchange of points x 1 x and x 3 x 4. The OPE expansion leads to the formula G(u,v = S/ Z + C,Su ( S/ g,s (u,v, (1 where the sums run over operators with scaling dimensions and even Lorentz spin S. Here C,S is the corresponding OPE coefficient (structure constant and g,s (u,v is the known D dimensional conformal block (see(.9andsections4,5in[3]. Ifwecompute(11, we will identify the conformal data for the operators emerging in the OPE of O(x 1,x. In the planar limit G is given by the set of fishnet Feynman diagrams presented in Fig. 4. Summing up the corresponding perturbation series we encounter a geometric progression involving the combination of operators α V + ξ 4 H, where α = α ± is the double-trace coupling at the fixed point, V is the operator inserting the double-trace vertex V Φ(x 1,x = π D d D x 1 d D x δ (D (x 1 Φ(x 1,x x 11 D/ x D/, whichis the Ddimensionalversionof(11in [16], and the operator H defined by (7 adds a scalar loop inside the diagram. Hence we obtain the following representation G = 1 d 4 x 3 d 4 x 4 (π D (x 33 x 44 D 4 where x ij x i x j. [4] 1 x 1,x 1 α V ξ 4 x H 3,x 4 + +(x 1 x. (13

4 4 x 1 x. x 3 x4 x1 x x 3 x 4 over the basis of states (14. This yields the expansion of G over conformal partial waves defined by the operators O,S (x 0 in the OPE channel O(x 1,x x1 x FIG.4. Generalfishnetgraphsuptoα 1 orderintheexpansion of four point function (13. Remarkably, the operators V and H commute with the generators of the conformal group, as in the particular 4D case [16]. This fixes the form of their eigenstates ( 1 x Φ,S,n (x 10,x 0 = 1 (x 1 D 4 x 10 x 0 ( S/ ( S 0 ln x 0 x, 10 (14 where = D + iν and 0 (n x0, with n being an auxiliary light-cone vector. The state Φ,S,n belongs to the principal series of the conformal group and can be represented in the form of a conformal three-point correlation function C,S Φ,S,n (x 10,x 0 = tr[φ 1 (x 1 φ 1 (x ]O,S,n (x 0, where the operator O,S,n (x 0 carries the scaling dimension and Lorentz spin S, and C,S is the 3-points structure constant. The states (14, satisfy the orthogonality condition [5, 6] d D x 1 d D x Φ,S,n (x 10,x 0 Φ,S,n(x 10,x 0 (x 1 D = c 1 (ν,sδ(ν ν δ S,S δ (D (x 00 (nn S +c (ν,sδ(ν +ν δ S,S Y S (x 00 /(x 00 D S iν, (15 where = D + iν, Y(x 00 = (n x0 (n x0 lnx 00, and c 1 (ν,s = S+1 S! Γ(iν ( 4ν +( D +S 1 1 π (3D/+1 Γ ( D 1+iν Γ( D +S, c (ν,s = ( 1S Γ ( D 4 + S iν Γ(iν π (D+1 Γ ( D 4 + S +iν Γ( D +iν 1 Γ(D +S +iν 1S! Γ( D +S iνγ(d +S x3 x4 (16 Calculating the corresponding eigenvalues of the operators V and H we find VΦ,S,n (x 1,x = δ(νδ S,0 Φ,S,n (x 1,x, HΦ,S,n (x 1,x = h 1,S Φ,S,n(x 1,x, (17 where the function h(, S is given by (6. Applying (15 (17, we can expand the correlation function (13 G(u,v = S/ Z + dνµ,s u ( S/ g,s (u,v h,s ξ 4, (18 where = D +iν, and µ,s = π D /c (ν,s is related to the norm of the state (15. The fact that the dependence on α disappears from (18, can be understood as follows. Viewed as a function of S, ξ 4 /h,s develops poles at ν = ±is which pinch the integration contour in (18, for S 0. The contribution of the operator V is needed to make a perturbative expansion of (18 welldefined. For finite ξ 4, these poles provide a vanishing contribution to (18, but generate a branch-cut ξ 4 singularity of G(u,v, as in 4D case [16]. At small u, we close the integration contour in (18 to the lower half-plane and pick up residues at the poles located at solutions of (6 and satisfying the unitarity bound Re > S. The resulting expression for G(u,v takes the expected form (1, with the OPE coefficients given by C,S = Γ(D +S S! ( Γ( 1 Γ( D Res d h,s ξ 4 Γ(S +DΓ( 1 (S + Γ ( 1 (S +D Γ(S + 1. (19 where the residue is computed w.r.t. the appropriate solution of (6 for each relevant operator. For instance, we can consider tr(φ 1, which is exchanged for any even D; then the perturbative expansion of (19 is C trφ 4iξ = + Γ ( D ( ( ( D D ψ (0 ψ +γ (0 E +O(ξ 4 (0 The relations (6 and (19 define exact conformal data of operators propagating in the OPE channel x 1 x. Finally, we discuss an interesting D limit of the theory. We should then rescale the coupling ξ = ξ Γ(D/, where ξ is fixed. Anomalous dimension γ of tr(φ 1 has finite limit since for S = 0 in eq.(6 it is given by γ sin ( πγ = πξ 4 while γ vanishes for tr(φ 1 S +φ 1 operators. As concerns the expansion (1, the number of exchanged operators becomes a countable infinity, diverging linearly in D. Finally, the OPEstructure constant(0 for tr(φ 1 trivially reduces to its bare value in this limit.

5 5 CONCLUSIONS D, according to the original proposal of G. t Hooft [36]. We showed that the strongly γ deformed N = 4 SYM theory proposed in [5] is just the 4-dimensional representative of a wider, D-dimensional family of theories of two complex scalar fields obtained by modifying the propagators of fields in a D-dependent way. Similarly to the 4D case [16], they turn out to be conformal, if we add to the action certain double-trace terms with specific couplings, and integrable at any D in the planar limit. There are two such complex conjugate values of these couplings and we compute them perturbatively up to twoloops. The integrabilityisexplicit due to the domination of sufficiently large orders of perturbation theory by the fishnet Feynman diagrams. The cylindric fishnet graphs, related to the renormalization of vacuum tr(φ L 1 operators, can be created by multiple application of a graph-building operator which appears to be an integral of motion of the integrable conformal SO(D+1,1 spin chain. We also generalize the bi-scalar model to a CFT with different propagators for the fields φ 1 and φ, leading to non-isotropic fishnet Feynman graphs. The underlying graph building operator has representations with different conformal spins in two directions on the fishnet graph. In the D case the fishnet graphs are described by the same SL(,C chain as used for the dynamics of generalized Lipatov s reggeized gluons [7] but with different value of spin, s = 1/4 in isotropic case, instead of the BFKL reggeized gluon spin s = 0. This spin chain, extensively studied in the literature [8 33], is restored in the singular limit ω 0 of our bi-scalar model (1. In the spirit of [16], we computed here the exact four point correlator at any D as an expansion into conformal blocks with explicit OPE coefficients and dimensions of exchange operators in one of the channels. In 1D case, our results are similar to those of the scalar version of csyk fermionic theory [34] at q = 4. For even D we found a finite, D-dependent number of local exchange operators at a given spin and dimension. The explicit form of this operators can be obtained by the analysis of the mixing matrix for their quantum multiplets [1, 18]. This becomes more complicated as the dimension grows due to growing rank of the multiplets and the number of transitions, together with log-cft effects which arise starting from 4D, due to the chirality. Although the lagrangian(1 of our theory is nonlocal at generald (apartfromthesequenced 4Nin isotropic case, it does not prevent the existence of normal OPE datain this theory, whichis moreimportantforthe physical interpretation of this CFT. Moreover it would be interesting to generalize to any D the results for fishnet graphs of the type considered in [35] and to the correlation functions for operators involving more than two scalars. Finally, an important question remains, as in 4D, whether these theories have any string duals at any ACKNOWLEDGMENTS We thank B. Basso, J. Caetano, S. Derkachov, N. Gromov, G. Korchemsky, F. Levkovich-Maslyuk for numerous useful discussions. The work of V.K. was supported by the European Research Council (Programme Ideas ERC-01-AdG AdS-CFT-solvable. The work of E.O. is supported by the German Science Foundation (DFG under the Collaborative Research Center (SFB 676 Particles, Strings and the Early Universe and the Research Training Group [1] P. Di Francesco, P. Mathieu and D. Senechal, Conformal Field Theory, Graduate Texts in Contemporary Physics, (Springer-Verlag, New York1997. [] T. Banks and A. Zaks, Nucl. Phys. B196, 189 (198. [3] N. Beisert et al., Lett. Math. Phys. 99, 3 (01, arxiv: [hep-th]. [4] The integrability of such theories emerges due to their duality to string sigma models on specific cosets, having an infinite number of quantum conservation lows for their world-sheet dynamics, or due to the analogy between the planar Feynman diagram technique and integrable (1 + 1D quantum spin chains [3]. [5] O. Gürdoğan and V. Kazakov, Phys. Rev. Lett. 117, 0160 (016, arxiv: [hep-th]. [6] N. Gromov, V. Kazakov, S. Leurent and D. Volin, Phys. Rev. Lett. 11, (014, arxiv: [hep-th]. [7] N. Gromov, V. Kazakov and P. Vieira, Phys. Rev. Lett. 103, (009, arxiv: [hep-th]. [8] V. Kazakov, S. Leurent and D. Volin, JHEP 1, 044 (016, arxiv: [hep-th]. [9] J. Caetano, O. Gurdogan and V. Kazakov, Phys. Rev. Lett. 117 (016, arxiv: [hep-th]. [10] A. B. Zamolodchikov, Phys. Lett. 97B, 63 (1980. [11] In the rest of the paper we will use its Euclidean version SO(1,D +1 instead of the Minkowskian SO(,D. [1] N. Gromov, V. Kazakov, G. Korchemsky, S. Negro and G. Sizov, JHEP 018, 95 (018, arxiv: [hepth]. [13] J. Fokken, C.SiegandM. Wilhelm, J. Phys.A47, (014, arxiv: [hep-th]. [14] J. Fokken, C. Sieg and M. Wilhelm, JHEP 09, 78 (014, arxiv: [hep-th]. [15] C. Sieg and M. Wilhelm, Phys. Lett. B756, 118 (016, arxiv: [hep-th]. [16] D. Grabner, N. Gromov, V. Kazakov and G. Korchemsky (017, arxiv: [hep-th]. [17] This term can be computed at any D by means of Integration by Parts and Mellin-Barnes transformation, according to [37]. [18] J. Caetano, Unpublished. [19] V. Gurarie, Nuclear Physics B 410, 535 (1993, arxiv: [hep-th]. [0] M. Hogervorst, M. Paulos and A. Vichi, JHEP 10, 01 (017, arxiv: [hep-th].

6 6 [1] This terminology for the graphs of regular square lattice shape was introduced by B.Sakita and M.Virasoro in [] D. Chicherin, S. Derkachov and A. P. Isaev, JHEP 04, 00 (013, arxiv: [math-ph]. [3] F. A. Dolan and H. Osborn, Phys. Lett 718, 169 (011, arxiv: [hep-th]. [4] The operators V and H are not well-defined separately, e.g. for an arbitrary Φ(x i the expressions for α 4 V Φ(x i and ξ 4 HΦ(x i are given by divergent integrals. However, at the fixed point, their sum is finite by virtue of conformal symmetry. [5] V. K. Dobrev et al., Lect.Notes Phys. 63 1, 059 (1977. [6] E. S. Fradkin and M. Ya. Palchik, Phys. Rept. 44, 49 (1978. [7] L. N. Lipatov, JETP Lett. 59 ( ; 1, 059 (1994, arxiv: v1 [hep-th]. [8] G. P. Korchemsky, Nucl. Phys. B550, 397 (1999, arxiv: [hep-ph]. [9] S. E. Derkachov, G. P. Korchemsky and A. N. Manashov, Nucl. Phys. B617, 375 (001, arxiv: [hep-th]. [30] H. J. de Vega and L. N. Lipatov, Phys.Rev. D64, (001, arxiv:01075 [hep-ph]. [31] I. Balitsky, V. Kazakov and E. Sobko (013, [3] I. Balitsky, V. Kazakov and E. Sobko (015, [33] I. Balitsky, V. Kazakov and E. Sobko, Phys. Rev. D93, (016, [34] D. J. Gross and V. Rosenhaus, JHEP 1, 148 (017, arxiv: [hep-th]. [35] B. Basso and L. J. Dixon, Phys. Rev. Lett. 119, (017, arxiv: [hep-th]. [36] G. t Hooft, Nucl. Phys. B7, 461 (1974. [37] A. G. Grozin, Int. J. Mod. Phys. A7, (01, arxiv: [hep-ph].