CERN-TH-2019-147

Spontaneous Conformal Symmetry Breaking in Fishnet CFT

Georgios K. Karananas,1, ∗ Vladimir Kazakov,2, 3, 4, † and Mikhail Shaposhnikov5, ‡ 1Arnold Sommerfeld Center, Ludwig-Maximilians-Universit¨atM¨unchen,Theresienstraße 37, 80333, M¨unchen,Germany 2Laboratoire de Physique de l’Ecole´ Normale Sup´erieure, 24 rue Lhomond, F-75231 Paris Cedex 05, France 3PSL Research University, CNRS, Sorbonne Universit´e 4CERN Theory Department, CH-1211 Geneva 23, Switzerland 5Institute of Physics, Laboratory of Particle Physics and Cosmology, Ecole´ Polytechnique F´ed´erale de Lausanne (EPFL), CH-1015, Lausanne, Switzerland Quantum field theories with exact but spontaneously broken conformal invariance have an in- triguing feature: their vacuum energy (cosmological constant) is equal to zero. Up to now, the only known ultraviolet complete theories where conformal symmetry can be spontaneously broken were associated with supersymmetry (SUSY), with the most prominent example being the N =4 SUSY Yang-Mills. In this Letter we show that the recently proposed conformal “fishnet” theory supports at the classical level a rich set of flat directions (moduli) along which conformal symmetry is spontaneously broken. We demonstrate that, at least perturbatively, some of these vacua survive in the full quantum theory (in the planar limit, at the leading order of 1/Nc expansion) without any fine tuning. The vacuum energy is equal to zero along these flat directions, providing the first non-SUSY example of a four-dimensional quantum field theory with “natural” breaking of conformal symmetry.

INTRODUCTION vant for the explanation of the amazing smallness of the cosmological constant. Conformal Field Theories (CFTs) represent an indis- A systematic way to construct effective field theories pensable tool to address the behavior of many systems in enjoying exact but spontaneously broken CI was de- the vicinity of the critical points associated with phase scribed in [6], following the ideas of [7, 8] (for further transitions. They also describe the limiting behavior of developments see [9–11], for a review [12] and references different quantum field theories deeply in the ultravio- therein). These theories are free from conformal anoma- let (UV) and/or infrared (IR) domains of energy. Could lies but non-renormalizable. They remain in a weak cou- it be that CFTs are even more important and that the pling regime below the scale induced by the spontaneous ultimate theory of Nature is conformal? conformal symmetry breaking. Their low energy limit At first sight, the answer to this question is negative. may contain just the Standard Model fields, graviton plus Indeed, conformal invariance (CI) forbids the presence of the dilaton, which essentially decouples and does not lead any inherent dimensionful parameters in the action of a to a long-range “fifth” force [8, 13, 14]. These theories are CFT. Because of that, CFTs have neither fundamental phenomenologically viable and satisfy all possible experi- scales nor a well defined notion of particle states. On the mental constraints. Whether they can have a well-defined other hand, Nature has both. UV limit remains an open question. The loophole in these arguments is that conformal One can try to merge the “bottom-up” approach out- symmetry can be exact, but broken spontaneously by lined above with the “top-down” strategy, starting from the ground state. This breakdown introduces an en- a UV complete theory. All such known CFTs are always ergy scale determined by the vacuum expectation value supersymmetric. The most notable and well studied ex- of some scalar dimensionful operator. The notion of a ample is N = 4 SUSY Yang-Mills (SYM). Although the particle is now well defined, and in addition to massive immediate phenomenological relevance of such theories arXiv:1908.04302v5 [hep-th] 22 Nov 2020 excitations, the theory contains a massless dilaton, the is not clear, they are widely used as “playgrounds” for Goldstone mode of the broken CI. studying the spontaneous breakdown of CI. Theories with spontaneous breaking of conformal sym- In this Letter we show that there exists a nonsuper- metry may be relevant for the solution of the most puz- symmetric CFT with these properties—the recently pro- zling fine-tuning issues of fundamental particle physics, posed strongly γ-deformed N = 4 SYM, dubbed Con- namely the hierarchy and cosmological constant prob- formal Fishnet Theory (FCFT)[15] [16]. This theory is lems. First, the Lagrangian of the Standard Model is well defined and finite at all scales and has numerous flat invariant under the full conformal group (at the classi- directions at the classical level, without fine-tuning. cal level) if the mass of the Higgs boson is put to zero. Moreover, some of them, are not lifted by quantum The observed smallness of the Fermi scale in compar- corrections, at least in the large-Nc limit [17]. We will be ison with the Planck scale might be a consequence of able to demonstrate this perturbatively in the coupling this [1, 2]. Second, if conformal symmetry is sponta- constant. Among others, the reasons for these rather neously broken, the energy of the ground state is equal surprising properties for a non-SUSY theory are: i) its to zero (see, e.g. [3–6] and below). This fact may be rele- UV-finiteness; ii) the fact that the FCFT has a large 2 moduli space, which increases the chances of finding di- none, or only a handful of diagrams, contributing at each rections along which CI may be broken even without order in the perturbative expansion. resorting to unnatural tunings; iii) the supersymmetric At the same time, the fixed chirality of the interaction stabilization mechanism of the parent theory is replaced vertex, and the absence of the vertex of opposite chirality, by the absence of certain dangerous loop diagrams that forces them to possess the “fishnet” structure [39]. This would normally lift the classical flat directions in the roughly means that the bulk structure of sufficiently large Coleman-Weinberg (CW) effective potential [18]. This planar graphs is of the regular square lattice [15]. Impor- self-protection mechanism is not powerful enough to com- tantly, the aforementioned chirality forbids the presence pletely liberate the FCFT from all multiloop corrections of certain diagrams, such as the ones that induce masses on top of arbitrary flat directions, even in the planar for the fields and the ones that renormalize the quar- limit. In spite of that, only a very limited sub-class of tic coupling ξ. Consequently, the FCFT behaves as a all higher loop graphs of φ4-type theory (in the ’t Hooft fully-fledged logarithmic CFT, which implies the stan- limit) is present in the effective action. All of them can be dard scaling properties for its local observables (i.e. cor- identified and their structure strongly hints towards the relators). presence of flat vacua which are robust under quantum In addition, the theory appears to be integrable in the effects. planar, ’t Hooft Nc → ∞ limit [15, 20, 40], due to the Before moving on, let us emphasize that there is a price integrability of the individual “fishnet” graphs discov- to pay for these nice features: this chiral theory is not uni- ered long ago [41], see also [42] [43]. Hence, many of the tary. As a consequence, it is a logarithmic CFT [19, 20]. physical quantities—such as non-trivial Operator Prod- This is why various parameters of the broken FCFT— uct Expansion (OPE) data as well as certain three- and e.g. the induced masses and certain vertices on top of four-point correlators—are in fact exactly calculable [27]. the flat vacua—are in general imaginary. Nevertheless, However, the model is not complete already at one- the FCFT can be extremely useful as it provides the so loop order: the cancellation of the divergences associated far unique possibility to test certain ideas of potential with the correlation functions of certain composite oper- phenomenological value in the non-SUSY world. ators, such as tr(X2), tr(X2), tr(XZ ), tr(XZ), requires that in the classical action (1) new double-trace terms be included [44]. These read

FISHNET CFT 2 2  2 2 2 2  Ld.t./(4π) = α tr(X )tr(X ) + tr(Z )tr(Z ) 1 (2) −α2 tr(XZ)tr(XZ) + tr(XZ)tr(XZ ) , The FCFT involves the interacting Nc × Nc complex 2 matrix fields X, X,Z, Z (if the theory were unitary a with α and α couplings that, in general, depend on the bar would stand for Hermitian conjugation) in the ad- 1 2 renormalization scale, thus destroying, on the quantum joint of SU(N ); the Lagrangian at the classical level c level, the conformal symmetry. However, the beta func- reads [15] (see [21] for a review) tions for the running double-trace couplings possess two   complex conjugate fixed lines, parametrized by ξ, with ˜2 2 4 6 L = Nctr ∂µX∂µX + ∂µZ∂µZ + ξ XZXZ . (1) 2 iξ ξ 3iξ 8 2 2 α1 = ± 2 − 2 ∓ 4 + O(ξ ) and α2 = ξ , for both of them [25, 45]. Here ξ˜ = 4πξ, with the real coupling constant ξ defined The FCFT is completely defined by the explicitly local 2 2 −iγ3 2 as ξ = g Nc e /(4π) ; g is the Yang-Mills coupling Lagrangian L +Ld.t., with conformal symmetry persist- constant and γ3 one of the three twists of the parent γ- ing at the quantum level for the critical values of the deformed N = 4 SYM theory [22]. The Lagrangian (1) α’s. is obtained by considering the double-scaling limit cor- responding to weak coupling and at the same time large imaginary γ3, such that ξ and γ1,2 remain finite. FLAT VACUA Let us briefly review the most general properties of FCFT in the unbroken vacuum. A plethora of aspects The spontaneous breaking of CI corresponds to a situa- of the theory on this conformal phase have been and are tion in which at least one of the fields has a non-vanishing still being investigated actively; see [15, 20, 23–38]. vacuum expectation value (vev). As our CFT is non- A direct consequence of the strong imaginary defor- unitary, we model this vacuum state by an extremum of mation is the absence of the term corresponding to the the (complex) effective action. Hermitian counterpart of the quartic interaction. This It is important to keep in mind that once we find such a makes manifest the fact that the theory is not unitary. (nontrivial) saddle point, then the vacuum energy of the On the other hand, it is exactly the absence of the com- system automatically vanishes along this flat direction. plex conjugate interaction term that has far reaching im- This follows from the fact that for CFTs the potential V plications. It restricts severely the number of possible is in general a homogeneous function of the fields φi of ∂V the theory. In other words V ∝ φi , where summation planar graphs for various physical quantities, to the point ∂φi that, depending on the physical quantity, there are often over repeated indices is assumed. Provided that at least 3

FIG. 1. (a) Some of the cubic (upper graph) and the quartic (lower graph) interaction vertices that stem from the single-trace term when the Lagrangian is expanded around the symmetry-breaking vacua. A solid (dashed) line stands for the excitations X or X (Z or Z), and “⊗” for the vacuum expectation value z orz ¯. (b) The cubic (upper graph) and quartic (lower graph) vertices of opposite chirality are absent in the FCFT. To highlight this fact, we have crossed out these nonexistent vertices. one of the fields acquires a (constant in spacetime) vev, of the FCFT. To this end, we perform the following shifts ˆ say φ1 6= 0, such that in the action

X → x+X, X → x¯+X,Z → z+Z, Z → z¯+Z, (4) ∂V = 0 , (3) ∂φ where x, x,¯ z, z¯ are the vevs of the corresponding fields, 1 ˆ φ1 and in an abuse of notation we denoted the fluctuations again by X, X,Z, Z (as usual, these have zero vev’s). then it immediately follows that V = 0, although mass The matrix equations of motion are obtained by vary- scale(s) are now present in the theory. ing the effective action w.r.t. x, x,¯ z, z¯, respectively; they Let us look for an ansatz that extremizes the potential read

2 − κhtr(X )ix − htr XZ
i z − htr XZ
i z¯ + N zhXZi + N hZx¯Zi + N hZXiz¯ + N hZXZi = c c c c (5) 2 = tr(¯x )x + tr (¯xz¯) z + tr (¯xz)z ¯ − Nc zx¯z¯ ,

2
− κhtr(X )ix¯ − htr XZ i z − htr (XZ)i z¯ + Nc hZXZ i + Nc z¯hXZi + Nc hZxZ i + Nc hZX iz = (6) 2 = tr(x )¯x + tr (xz¯) z + tr (xz)z ¯ − Nc zxz¯ ,

 2 − htr(XZ)ix − htr XZ i x¯ − κhtr Z i z + Nc x¯hZX i + Nc hXzX¯ i + Nc hXZix + Nc hXZX i = (7) 2
= tr(¯xz¯)x + tr (xz¯)x ¯ + κtr z¯ z − Nc x¯zx¯ ,

2
− htr(XZ )ix − htr (XZ)i x¯ − κhtr Z i z¯ + Nc xhZXi + Nc hXzXi + Nc hXZix¯ + Nc hXZXi = (8) 2
= tr(¯xz)x + tr (xz)x ¯ + κtr z z¯ − Nc xzx¯ .

2 2 Here κ = −2α1/ξ , h... i denotes the quantum average shifted fields (4), and we took into account the planar of the corresponding quantity w.r.t. the action with the limit. 4

Notice that the presence of the non-Hermitian single- The second class of symmetry breaking solutions to trace interaction term, as well as the fact that κ is com- eqs. (5)-(8) comprises vacua for which the fields X and plex at the conformal point, results into the equations X, and Z and Z, are not related by complex conjugation. for the fields and their would-be Hermitian counterparts As we have already pointed out, this is certainly a possi- to not be related by complex conjugation. In turn, the bility, due to the non-Hermiticity of the theory. We may solutions to the above equations for the pairs x, x¯ and therefore assume that ztree, z¯tree 6= 0 and subject to (9) z, z¯ need not necessarily be complex conjugates, so the and (10). As we will show in the next section, such con- vev’s may be viewed as four independent constants in figurations may be rather interesting when it comes to the space of matrix fields. We will see that this may quantum corrections. have important consequences for the quantum fate of the Yet another acceptable choice is to put xtree =x ¯tree = flat directions. z¯tree = 0, while ztree can be an arbitrary traceless Nc ×Nc matrix. Interestingly, even though conformal symmetry is broken spontaneously along such flat directions, the Classical flat vacua spectrum of the theory contains only massless degrees of freedom, at least in the planar limit. Turning to the existence of (nontrivial) vacua, we note The third and final category of “natural” flat directions that classically, i.e. in the tree approximation, all the we will be reporting on here involves nilpotent matrices 2 deviations X, X,Z, Z of the fields in (5)-(8) should be of index 2, i.e. ztree 6= 0, while ztree = 0. Interestingly, put to zero (and there is no quantum average). Thus, such vacua appear also in beyond the Standard Model the classical flatness conditions are reduced to the r.h.s. phenomenology, see [50]. Like in the previous case—and of these equations being zero. unlike what happens with Hermitian theories—all the ex- For simplicity, we will work with configurations for citations on top of these vacua in the leading Nc order which xtree =x ¯tree = 0 [46], such that the first two of are massless, in spite of the fact that conformal symme- the equations of motion are identically satisfied, while try is clearly broken. More details on the spectrum of the last two become (since κ 6= 0) excitations around the aforementioned classes of vacua can be found in the Appendix A. 2
2
tr z¯tree ztree = 0 , and tr ztree z¯tree = 0 , (9) Before moving on, let us stress that the existence of flat directions for arbitrary ξ—even at the classical level— with ztree andz ¯tree (constant) classical fields subject to is a rather salient point that deserves some discussion. tr (z ) = tr (¯z ) = 0 , (10) One might expect that whether or not the theory pos- tree tree sesses ground states with nonlinearly realized conformal due to the unimodularity of the global SU(Nc) symme- symmetry would crucially depend on the specific value try. Inspection of (9) reveals that, at least at the clas- of the coupling constant. This is precisely what happens sical level, the fishnet CFT has a plethora of nontrivial in other nonsupersymmetric CFTs such as the massless symmetry breaking solutions, at any value of the cou- φ4 theory and its generalizations [13], where finetunings pling ξ [47]. Interestingly, some are not present in the full are required in order for CI to be spontaneously broken N = 4 SYM nor in its γ–deformed descendant; rather, down to Poincar´e[51], see also [52]. On the contrary, the they emerge when the strong imaginary γ-deformation FCFT has many vacua (some of which are inherited from limit—leading to the fishnet CFT—is considered. A com- its parent N = 4 SYM) with vanishing energy, without plete classification of the moduli space of the FCFT, how- the need for finetuning. Equivalently, the dilaton—that ever, lies well beyond the scope of the present paper. is part of the theory’s spectrum in the Coulomb phase— Therefore, here we will focus on the simplest possible has zero mass, naturally. symmetry breaking flat vacua that we have been able to In the following we will argue that this phenomenon find and leave the search and study for more complicated persists at the quantum level and in the planar limit, at ones for the future. least for some of the vacua we found. The first option is to take ztree andz ¯tree to be nonzero, related by complex conjugation, and diagonal [48], i.e. Quantum Coleman-Weinberg effective potential ztree = v diag (z1, . . . , zN ) , c (11) z¯tree =v ¯ diag (¯z1,..., z¯Nc ) , To study the fate of conformal symmetry breaking at the quantum level, we will also confine ourselves to with v a (complex) parameter with dimension of mass “z-vacua,” for which x =x ¯ = 0. It is important to and zk are, in general, complex numbers [49]. Since by keep in mind that, with such an ansatz, the extrema of construction ztree 6= 0 (and consequentlyz ¯tree 6= 0), the the effective action do not break the discrete symmetry only option for both equations to hold is to require that X → −X, X → −X, meaning that we can drop all terms

Nc Nc containing averages with odd powers of these two fields X 2 X 2 from (5)-(8). zk = z¯k = 0 . (12) k=1 k=1 Consequently, only the last two of these equations sur- 5 vive and boil down to [53] theory behaves like in the unbroken phase, which is UV finite. The CW potential is yet another example of such D 2 E κ tr z¯2
z = XzX¯ − κ tr(Z ) z + XZX , a quantity. Nc Nc (13) We notice immediately that it is in principle possible κ tr z2
z¯ = XzX − κ tr(Z2) z¯ + XZX . Nc Nc to put to zero the tree-level and one-loop parts of the po- tential separately, provided that the vacuum (11), apart from the constraints (10) and (12), is also subject to The one-loop effective potential N N Xc Xc z2 log z = z¯2 logz ¯ = 0 . (15) Whether or not quantum corrections jeopardize the CI k k k k by uplifting the flat directions can be demonstrated al- k=1 k=1 ready at the first loop order, by investigating the CW This condition picks up a particular subclass of the effective potential [18]. classical vacua discussed in the previous section. At the 2 2 In this approximation α1 = ±iξ /2, so we can set κ = one-loop order these are not lifted by quantum effects. As ±i. In addition, the last terms in (13) are irrelevant a result, the vacuum energy of the loop corrected theory (they correspond to higher order Feynman graphs). In on top of these flat directions is zero, or in other words, the planar limit, the second and third terms are given by the masslessness of the dilaton persists at one-loop level. the diagrams presented in Fig. 2. It should be stressed that this is a unique situation for a non-SUSY four-dimensional theory. Let us give a simple example of a flat vacuum which is robust under one loop quantum corrections. Take x = x¯ = 0 and z to be a block-diagonal matrix comprising Nc/4 diagonal sub-blocks each with dimensions 4 × 4

z = v diag(z1, z2, z3, z4, z1, z2, z3, z4,...) , (16) | {z } | {z } andz ¯ is its Hermitian conjugate in this case. Plug- ging (16) into the system of transcendental eqs. (10), (12) FIG. 2. The one-loop tadpole diagrams stemming from the and (15), we numerically find a complex (as a conse- single- and double- trace terms—(a) and (b), respectively. A quence of the non-unitarity) solution solid (dashed) line stands for the excitations X or X (Z or Z), and “⊗” for the vacuum expectation value z orz ¯. We z1= −0.587849 − 0.808971 i , z2 = 0.260305 + 1.45187 i , have suppressed the color and chirality arrows. z3= 1.32754 − 0.642903 i , z4 = −1 , (17)

As we did in the classical considerations, let us require where the overall rescaling zj → const × zj was absorbed that z andz ¯ be diagonal matrices. The evaluation of into the complex modulus v labeling the one-parameter the one-loop tadpole diagrams is straightforward in this family of flat vacua [54]. case, see Appendix B. The matrix equations (13) take There is no difficulty in finding more examples for the explicit form larger block matrices of the form (16), and thus with more of the parameters labeling the flat vacua. For in-  z  z¯  stance if we solve the system of eqs. (10), (12) and (15) ± itr z¯2
= ξ2 tr(¯z2) log √ + tr z¯2 log √ , Q Q for z made of Nc/5 sub-blocks of dimensions 5×5, we will (14) have an extra parameter, in addition to v, parametrizing  z¯  z  ± itr z2
= ξ2 tr(z2) log √ + tr z2 log √ , the flat directions. We can also mix sub-blocks of differ- Q Q ent sizes. Although this is certainly an interesting option, as we with Q = ptr(z2) tr(¯z2); note that due to the non- will now demonstrate, it is not the only one. Actually, Hermiticity of the FCFT the sign in the l.h.s. of both it is possible to arrange a situation in which the tree- equations must be the same—either plus or minus. The level and one-loop contributions are of the same order absence of sources breaking explicitly the CI of the the- of magnitude and can in principle balance each other ory translates into the effective potential (and its deriva- out. Remarkably, this enables the perturbative analysis tives) to exhibit no dependence on the ’t Hooft-Veltman of the flat vacua and is in close analogy to what happens renormalization scale µ. In turn, the derivatives of the in the CW effective potential in gauge theories [18]. In potential w.r.t. the fields are related to the beta function the present context, we can achieve this by keeping the of ξ, which vanishes by construction. Let us stress that order of magnitude of the vacuum fields zk, z¯k ∼ 1, while 2 2 2 at large Nc, none of the physical quantities—such as cor- tr(z ) ∼ tr(¯z ) ∼ Nc O(ξ ). To this end, let us stick relators of local fields—can actually depend on µ for the to vacua comprising diagonal matrices, assume that z = chosen background fields z, z¯, since in the UV regime the z¯ = v diag(z1, . . . , zNc ), but relax the requirement (12). 6

For instance, we may consider the following perturbative otherwise preserving its double-line structure and chiral- vacuum ity. Their presence leads to planar graphs similar to the ones built exclusively with a chiral quartic vertex, but (0) (1) (2) zk = zk + ε(ξ)zk + η(ξ)zk + ..., (18) with some propagators, or parts of the closed loops of X (or Z) propagators removed (we call them loops with (i) P (i) with zk ’s complex and subject to k zk = 0 ∀ i, in or- amputated propagators). It is important to keep in mind der for the unimodularity constraint (10) to be satisfied. that the non-Hermiticity of the FCFT translates into a ε 2 ε 4 η 2 In the above, ε(ξ) ∼ c1ξ +c2ξ +. . . , η(ξ) ∼ c1ξ +... ad- fixed chirality of the vertices. In other words, the absence mit perturbative expansions in terms of the coupling and of the complex conjugate counterpart of tr(XZXZ ) is in can be determined iteratively at each order by plugging one-to-one with the absence of the “anti-chiral” vertices zk into (14) and requiring that the equations be satisfied. presented in Fig. 1(b) and marked with red. As a proof of concept, let us pick the following specific, It is now straightforward to see that without the but by no means unique, one-loop vacuum anti-chiral vertices, the “zoo” of possible Feynman di- agrams is rather restricted. For example, the diagram 2πi(k−1)/Nc ε 2 −2πi(k−1)/Nc zk =z ¯k = e + c1ξ e , (19) Fig. 3(a) with two quartic vertices is absent from FCFT, even on top of vacua breaking conformal symmetry, due P 2 ε 2 P 2 such that k zk = 2c1ξ Nc 6= 0 and k zk log zk ≈ to the opposite chirality of the single-trace vertices there. 2 Nc/2. At order ξ , only the terms proportional Note that many more kinds of graphs exist, like the one 2 2 to tr(z log z) and tr(¯z logz ¯) contribute from the right- given in Fig. 3(b), with one quartic vertex but with higher hand side of the equations (14). It is straightforward to than spherical topology. They will certainly modify the ε see that c1 = ±i/4, meaning that, up to a factor of 1/2, CW potential in the 1/N 2 order of the ’t Hooft expan- 2 c ε(ξ) coincides with α1 at one loop order, i.e. an accept- sion, which we don’t consider here. Of course this simpli- able one-loop flat direction is fies considerably the situation. Nevertheless, the effective potential at higher orders may receive contributions— α2 2πi(k−1)/Nc 1 −2πi(k−1)/Nc zk = e + e . (20) among others—from fishnet diagrams (with possibly am- 2 putated propagators, as explained above). Two graphs of Before we move to the discussion of multiloop con- this type are presented in Fig. 4. Their types, and hence tributions to the CW potential, let us note en passant, their number, are very limited w.r.t. the generic graphs of that for massless excitations, the one-loop contributions scalar QFT at each order in perturbation theory; unfor- to the effective potential vanish identically. This means tunately, they are still too complicated for explicit com- that vacua for which the fields are either not related by putations [55]. For our purposes, however, it suffices to complex conjugation and only one of z,z ¯ is nonvanishing, understand what happens qualitatively. In the z-vacua or are nilpotent matrices, do not receive any corrections under consideration, such graphs can be only made of at the one-loop level. Actually, this holds true at all or- nested concentric circles of X-propagators connected by ders of perturbation theory as we will see in a while. This ”radial” Z-propagators (possibly crossing the circles via is due to the chirality of the theory that allows for spe- quartic vertices) that end up on cubic vertices. Note that cific types of vertices only, as well as the masslessness of the X propagator (and the off-diagonal parts of the Z the particles running in the loops. Of course, such flat propagator) can connect cubic vertices of the same type directions are in a sense quite peculiar, as the CI is spon- only, in contrast to the diagonal components of the Z taneously broken but the spectrum of the theory does propagator that necessarily connect different vertices. As for the diagrams following from the double-trace not accommodate any massive particles, in the large-Nc limit. terms, they can only contribute to the large-Nc limit if they occur in the graphs in such a way that they con- nect two, otherwise disconnected, parts of the graph (cor- Higher-loop corrections to the effective potential

Let us now proceed to the possible multiloop correc- tions to the effective potential and study under which conditions and/or modifications our considerations per- sist. Let us focus first on the contributions from the sin- gle trace term of the potential, tr(XZXZ ). When the Lagrangian is expanded around the symmetry-breaking vacua, see Appendix A, the cubic and quartic terms give FIG. 3. (a) The chirality of the theory forbids some of the rise to the “chiral” vertices presented in Fig. 1(a). In diagrams that would contribute to the effective potential at essence, we may view the trivalent vertices of the theory higher orders, such as the one above appearing in O(ξ4). (b) as the quartic chiral vertex with one of the legs removed Example of a possible non-planar vacuum diagram in the lead- 2 and replaced by the corresponding expectation value, but ing ξ order, to be neglected in the ’t Hooft limit. 7

grams in the effective potential, such as of the type pre- sented on Fig. 4, do not vanish. To see this more clearly, let us focus on the three loop graph on the left of this figure. On top of the diagonal vacuum (11), it is equal to

4 Z 4 4 4 3 2 ˜2 X 2 3 d p1 d p2 d p3/(4π) vv¯ ξ z¯kzl 4 2 2 × p (p +z ¯kzj)((p1 + p2) + zkzm) k,l,m 1 2 1 × 2 2 2 , (p3 +z ¯mzl)((p1 + p3) +z ¯jzl)

FIG. 4. Exemplary multiloop tadpole diagrams of the fishnet where pi’s are dimensionless. This integral has logarith- type stemming from the single trace term. The specific three mic UV divergences but once we add to it all diagrams of loop diagram (left) contains only cubic vertices, while the the same loop order (containing double-trace vertices as six loop one (right) contains both cubic as well as quartic well) it is guaranteed by conformal symmetry that, as in vertices. The chirality of the theory forces the higher order the one-loop case, the overall result will be nonzero, finite planar diagrams stemming from the single-trace term to be and scheme independent. Actually, it would be interest- of this form. ing to explicitly compute it, a difficult but not impossible problem, which however lies beyond our purposes here. On general dimensional grounds, we expect loop cor- responding to each of two traces from the double-trace rections to the effective potential to be of the following vertex) [27, 56]. An example of such graph is drawn in form Fig. 5. Like in the one-loop considerations, the contribu- tions coming from the double-trace terms must exactly  n+1 V = c ξ˜2 tr(z2) tr(¯z2)f (n)[z, z¯] , (21) cancel the µ-dependence from the single-trace terms, as n−loop n required by the conformality of the FCFT. (n) where cn are numerical factors, and f [z, z¯] homoge- neous functions of degree zero w.r.t. z andz ¯, sym- metric w.r.t. the permutations of pairs of eigenvalues (zj, z¯j) → (zk, z¯k). For instance, at the one loop level     2 √z 2 √z¯ tr z log Q tr z¯ log Q f (1) = + , (22) tr(z2) tr(¯z2) while at two loops, schematically      2 2 √z 2 2 √z¯ tr z log Q tr z¯ log Q f (2) ∝ f (1) + c + .  tr(z2) tr(¯z2)  FIG. 5. Typical planar graph that feeds into the (derivatives of the) effective potential at four loops. Like we did in the one-loop approximation, we have a number of options. The first is to require that the higher- Several important comments are in order here. First loop contributions vanish independently from the ones of all, for the “exotic” vacua in whichz ¯ = 0 and z 6= 0 coming from the lowest orders. This would mean that or vice-versa, the tree-level potential is exact. In other in addition to (12) and (15), we have to further restrict words, it receives no loop corrections, at any order in the flat directions, since we will encounter new patterns perturbation theory. This is either because the diagrams of traces in higher loops. For example, for the 2-loop cannot be constructed to start with, or they vanish iden- correction we will have to impose tr z2 log2 z
= 0 as tically (in dimensional regularization) since the particles well. To fulfill simultaneously all the flatness constraints, running in the loops are massless. will certainly take larger than the 4×4 sub-matrices we The same is also true for the nilpotent vacua. Al- worked with previously. This is a procedure that has to though both types of vertices may be present (assuming be effectuated repeatedly, and it is conceivable that more that the fields are related by complex conjugation), the than one conditions may be required at each loop order. corresponding diagrams vanish automatically, either be- Alternatively, we may insist that the tree level and cause they are proportional to traces of zp = 0, for p ≥ 2 one-loop contributions vanish independently from each (one always finds such traces for the innermost circle of other by virtue of (12) and (15), while the higher loop Fig. 4), or because, again, the excitations are massless. corrections are taken care of by “perturbing” this solution One cannot conclude the same for the more interest- in the sense of (18). This way, all quantum corrections ing symmetry breaking solutions of the previous section, starting from a specific loop order will be comparable by when both z, z¯ are diagonal. Then the higher order dia- design so they may compensate for each other. 8

Finally, we can stick with the perturbative vacua (18) The fact that the vev of these operators vanish for and appropriately generalize them by keeping higher our vacua, immediately implies the validity of (23). The powers of ξ and even use different harmonics so that all OPE data for these operators in the unbroken vacuum the terms in the effective potential will be of the same have been computed in [27]. A more detailed study of order. By doing so, we need only to impose one condi- various consistency conditions is left for future work. tion per loop order: that is, the derivative(s) of the full In particular, the scalar one-point functions of the op- effective potential w.r.t. the fields be zero. This option erators entering the r.h.s. of these operators might be is attractive since, in principle, we have the possibility to computable, using the methods developed in [25, 27]. study it perturbatively, order by order. Let us also point out that some of the (classical) vacua we discussed in this work are present in the full γ- deformed N = 4 SYM and propagate all the way to CONCLUSIONS AND OPEN PROBLEMS the fishnet CFT. One can, for instance, assume that xtree = c ztree, with c a constant. Requiring that the In this work we initiated the study of spontaneous con- above satisfy the equations of motion of the γ-deformed formal symmetry breaking in the recently proposed fish- theory even before the fishnet double scaling limit is net CFT. We showed that the theory admits a plethora taken, translates into the coefficient α2 of the double- of classical flat directions along which conformal sym- trace terms involving both Z and X in (2) being com- 2 2 γ3
metry is nonlinearly realized without fine-tuning. We pletely fixed α2 = −4g sin 2 . As a sanity check, 2 also studied the quantum corrections and found that the note that lim α2 ∼ ξ , while lim α2 ∼ 0 as it g→0 γ3→0 classical conformal invariance is not violated, at least in γ3→i∞ some subclasses of the classical solutions. This fact is the should. To put it differently, the mere requirement that (nontrivial) aftermath of a delicate interplay between the the full γ-deformed N = 4 SYM theory possesses flat di- finiteness of the theory, its non-Hermiticity, the large-Nc rections is smoothly connected to the ones of its fishnet limit and the constraints on the flat directions. “descendants,” completely determines one of the coeffi- The FCFT is integrable in ’t Hooft limit. Although cients appearing in the action of the full original CFT. the integrability is demonstrated only for the unbroken Finally, it would be interesting to study to what extent vacuum, some features of it may survive for the broken the discussed properties of the FCFT survive in the next vacua, at least in perturbation theory. This could offer 1/Nc orders, or even for finite Nc. a unique opportunity to elucidate various aspects of the dynamics behind spontaneous symmetry breaking in this particular theory. At the same time, it can serve as an in- spiring example for CFTs with such behavior in general. ACKNOWLEDGMENTS A first step towards this direction could be to check the validity of the constraints that were derived in [57]. For We thank B. Basso, G. Korchemsky, A. Zhiboedov instance, the deep infrared limit of the two-point func- and D. Zhong, for useful discussions and comments. tions of scalar primary operators OI were shown to obey We are indebted to the anonymous referee for insightful the identity and constructive comments that significantly improved the manuscript. G.K.K. would like to thank CERN and X cIJK EPFL for the warm hospitality during the first and last hOI ihOJ i ∼ lim hOK i , (23) x→∞ |x|∆I +∆J −∆K K stages of this project. The work of G.K.K. was partially funded by the Deutsche Forschungsgemeinschaft (DFG, with cIJK the OPE coefficients and ∆’s the correspond- German Research Foundation) under Germany’s Excel- ing scaling dimensions. As a test of this relation in the lence Strategy EXC–2111–390814868. V.K. is grateful context of the FCFT, we can consider the dimension-two to CERN Theory Division for the kind hospitality and operators tr(XZ), tr(XZ), tr(XZ ), tr(XZ), whose two- support during his CERN association term. The work of point correlators in the planar limit are protected against M.S. was supported by the ERC-AdG-2015 grant 694896 quantum corrections and decay as ∼ |x|−4 [27]. and the Swiss National Science Foundation.

∗ [email protected] Physics Ontake Mountain, Japan, August 27-September † [email protected] 2, 1995. 1995. http://lss.fnal.gov/cgi-bin/find_ ‡ mikhail.shaposhnikov@epfl.ch paper.pl?conf-95-391. [1] C. Wetterich, “Fine Tuning Problem and the [3] D. J. Amit and E. Rabinovici, “Breaking of Scale Renormalization Group,” Phys. Lett. 140B (1984) Invariance in φ6 Theory: Tricriticality and Critical End 215–222. Points,” Nucl. Phys. B257 (1985) 371–382. [2] W. A. Bardeen, “On naturalness in the standard [4] M. B. Einhorn, G. Goldberg, and E. Rabinovici, model,” in Ontake Summer Institute on Particle “Quasirenormalizable Models,” Nucl. Phys. B256 9

(1985) 499–508. D.-l. Zhong, “Yangian Symmetry for Bi-Scalar Loop [5] E. Rabinovici, B. Saering, and W. A. Bardeen, “Critical Amplitudes,” JHEP 05 (2018) 003, arXiv:1704.01967 Surfaces and Flat Directions in a Finite Theory,” Phys. [hep-th]. Rev. D36 (1987) 562. [25] D. Grabner, N. Gromov, V. Kazakov, and [6] M. Shaposhnikov and D. Zenhausern, “Quantum scale G. Korchemsky, “Strongly γ-Deformed N = 4 invariance, cosmological constant and hierarchy Supersymmetric Yang-Mills Theory as an Integrable problem,” Phys. Lett. B671 (2009) 162–166, Conformal Field Theory,” Phys. Rev. Lett. 120 no. 11, arXiv:0809.3406 [hep-th]. (2018) 111601, arXiv:1711.04786 [hep-th]. [7] F. Englert, C. Truffin, and R. Gastmans, “Conformal [26] V. Kazakov and E. Olivucci, “Biscalar Integrable Invariance in Quantum Gravity,” Nucl. Phys. B117 Conformal Field Theories in Any Dimension,” Phys. (1976) 407–432. Rev. Lett. 121 no. 13, (2018) 131601, [8] C. Wetterich, “Cosmology and the Fate of Dilatation arXiv:1801.09844 [hep-th]. Symmetry,” Nucl. Phys. B302 (1988) 668–696, [27] N. Gromov, V. Kazakov, and G. Korchemsky, “Exact arXiv:1711.03844 [hep-th]. Correlation Functions in Conformal Fishnet Theory,” [9] F. Gretsch and A. Monin, “Perturbative conformal arXiv:1808.02688 [hep-th]. symmetry and dilaton,” Phys. Rev. D92 no. 4, (2015) [28] B. Basso and L. J. Dixon, “Gluing Ladder Feynman 045036, arXiv:1308.3863 [hep-th]. Diagrams into Fishnets,” Phys. Rev. Lett. 119 no. 7, [10] D. M. Ghilencea, “Manifestly scale-invariant (2017) 071601, arXiv:1705.03545 [hep-th]. regularization and quantum effective operators,” Phys. [29] B. Basso and D.-l. Zhong, “Continuum limit of fishnet Rev. D93 no. 10, (2016) 105006, arXiv:1508.00595 graphs and AdS sigma model,” JHEP 01 (2019) 002, [hep-ph]. arXiv:1806.04105 [hep-th]. [11] S. Mooij, M. Shaposhnikov, and T. Voumard, “Hidden [30] S. Derkachov, V. Kazakov, and E. Olivucci, and explicit quantum scale invariance,” Phys. Rev. D99 “Basso-Dixon Correlators in Two-Dimensional Fishnet no. 8, (2019) 085013, arXiv:1812.07946 [hep-th]. CFT,” JHEP 04 (2019) 032, arXiv:1811.10623 [12] C. Wetterich, “Quantum scale symmetry,” [hep-th]. arXiv:1901.04741 [hep-th]. [31] G. P. Korchemsky, “Exact scattering amplitudes in [13] M. Shaposhnikov and D. Zenhausern, “Scale invariance, conformal fishnet theory,” arXiv:1812.06997 unimodular gravity and dark energy,” Phys. Lett. B671 [hep-th]. (2009) 187–192, arXiv:0809.3395 [hep-th]. [32] A. C. Ipsen, M. Staudacher, and L. Zippelius, “The [14] P. G. Ferreira, C. T. Hill, and G. G. Ross, “No fifth one-loop spectral problem of strongly twisted N = 4 force in a scale invariant universe,” Phys. Rev. D95 Super Yang-Mills theory,” JHEP 04 (2019) 044, no. 6, (2017) 064038, arXiv:1612.03157 [gr-qc]. arXiv:1812.08794 [hep-th]. [15] O. Gurdogan and V. Kazakov, “New Integrable 4D [33] B. Basso, J. Caetano, and T. Fleury, “Hexagons and Quantum Field Theories from Strongly Deformed Correlators in the Fishnet Theory,” arXiv:1812.09794 Planar N = 4 Supersymmetric Yang-Mills Theory,” [hep-th]. Phys. Rev. Lett. 117 no. 20, (2016) 201602, [34] V. Kazakov, E. Olivucci, and M. Preti, “Generalized arXiv:1512.06704 [hep-th]. [Addendum: Phys. Rev. Fishnets and Exact Four-Point Correlators in Chiral Lett.117,no.25,259903(2016)]. CFT4,” JHEP 06 (2019) 078, arXiv:1901.00011 [16] The name of the theory stems from the characteristic [hep-th]. regular square lattice form of its planar Feynman [35] R. de Mello Koch, W. LiMing, H. J. R. Van Zyl, and graphs. J. P. Rodrigues, “Chaos in the Fishnet,” Phys. Lett. [17] To our best knowledge, this is a unique behavior for a B793 (2019) 169–174, arXiv:1902.06409 [hep-th]. four-dimensional theory, though a three-dimensional [36] N. Gromov and A. Sever, “The Holographic Fishchain,” CFT with flat directions that persist at the quantum arXiv:1903.10508 [hep-th]. level was presented in [5]. [37] N. Gromov and A. Sever, “Quantum Fishchain in [18] S. R. Coleman and E. J. Weinberg, “Radiative AdS5,” arXiv:1907.01001 [hep-th]. Corrections as the Origin of Spontaneous Symmetry [38] S. D. Chowdhury, P. Haldar, and K. Sen, “On the Breaking,” Phys. Rev. D7 (1973) 1888–1910. Regge limit of Fishnet correlators,” arXiv:1908.01123 [19] J. Caetano Unpublished (2017) . [hep-th]. [20] N. Gromov, V. Kazakov, G. Korchemsky, S. Negro, and [39] “Fishnet” graphs represent a regular square lattice of G. Sizov, “Integrability of Conformal Fishnet Theory,” massless propagators with vertices representing φ4-type JHEP 01 (2018) 095, arXiv:1706.04167 [hep-th]. interactions. [21] V. Kazakov, “Quantum Spectral Curve of γ-twisted [40] J. Caetano, O. Gurdogan, and V. Kazakov, “Chiral N = 4 SYM theory and fishnet CFT,” limit of N = 4 SYM and ABJM and integrable arXiv:1802.02160 [hep-th]. [Rev. Math. Phys. 30, no. Feynman graphs,” JHEP 03 (2018) 077, 07, 1840010 (2018)]. arXiv:1612.05895 [hep-th]. [22] In this theory, the SO(6) R-symmetry is broken down [41] A. B. Zamolodchikov, ““Fishing-net” diagrams as a 3 to U(1) , with γ1, γ2, γ3 being the parameters (twists) completely integrable system,” Phys. Lett. 97B (1980) of the deformation. 63–66. [23] D. Chicherin, V. Kazakov, F. Loebbert, D. M¨uller,and [42] D. Chicherin, S. Derkachov, and A. P. Isaev, D.-l. Zhong, “Yangian Symmetry for Fishnet Feynman “Conformal group: R-matrix and star-triangle relation,” Graphs,” Phys. Rev. D96 no. 12, (2017) 121901, JHEP 04 (2013) 020, arXiv:1206.4150 [math-ph]. arXiv:1708.00007 [hep-th]. [43] It is not clear whether much of this integrability stays [24] D. Chicherin, V. Kazakov, F. Loebbert, D. M¨uller,and intact in the spontaneously broken phase considered 10

throughout this paper; nevertheless, it can be certainly and L. Vitale, “A naturally light dilaton,” JHEP 11 useful in some particular calculations. (2013) 057, arXiv:1306.4601 [hep-th]. [44] J. Fokken, C. Sieg, and M. Wilhelm, “Non-conformality [53] Note that z, z¯ are still arbitrary matrices, so that the of γi-deformed N = 4 SYM theory,” J. Phys. A47 order should be respected. (2014) 455401, arXiv:1308.4420 [hep-th]. [54] The masses generated on top of this vacuum can be [45] C. Sieg and M. Wilhelm, “On a CFT limit of planar calculated from the quadratic variation of the full γi-deformed N = 4 SYM theory,” Phys. Lett. B756 effective potential Veff w.r.t. matrix fields Z, Z,X,¯ X¯. (2016) 118–120, arXiv:1602.05817 [hep-th]. The spectrum of the theory in the leading order at this 2 [46] We can also relax the requirement that xtree = 0 and limit comprises: i) Nc − 1 complex massive excitations require that both fields have nonzero vev. This of the matrix scalar X whose masses are proportional to ˜2 2 0 2 considerably enlarges the set of possible flat vacua. For ξ |v| z¯izj with z s from (16), (17); ii) Nc − 1 gapless instance, field configurations such that xtree ∝ ztree, modes—including the dilaton which is proportional to may provide yet another set of acceptable vacua along tr zZ¯ + zZ
. Note that beyond the planar which CI is nonlinearly realized. approximation, the excitations of Z will acquire masses, [47] Additional flat directions open up at isolated values of ξ. as follows from the variation of the CW action. [48] The measure of the functional integral (and the original [55] We thank the referee of the earlier version of this paper unbroken action) is invariant w.r.t. arbitrary complex for pointing us on some of these graphs. matrix rotations (X, X,Z, Z) → U −1(X, X,Z, Z)U. [56] J. Fokken, C. Sieg, and M. Wilhelm, “A piece of cake: Using it we can reduce, in general, only one of the four the ground-state energies in γi -deformed N = 4 SYM vev matrices (z, z,¯ x, x¯) to diagonal form. theory at leading wrapping order,” JHEP 09 (2014) [49] For the diagonal ansatz, condition (10) translates into 078, arXiv:1405.6712 [hep-th]. Nc Nc Σk=1zk = Σk=1z¯k = 0. [57] G. K. Karananas and M. Shaposhnikov, “CFT data and [50] A. Maiezza, G. Senjanovi´c,and J. C. Vasquez, “Higgs spontaneously broken conformal invariance,” Phys. Rev. sector of the minimal left-right symmetric theory,” D97 no. 4, (2018) 045009, arXiv:1708.02220 Phys. Rev. D 95 no. 9, (2017) 095004, [hep-th]. arXiv:1612.09146 [hep-ph]. [58] This means that we are actually computing the [51] S. Fubini, “A New Approach to Conformal Invariant derivative of the one-loop correction w.r.t. z. Field Theories,” Nuovo Cim. A34 (1976) 521. [52] F. Coradeschi, P. Lodone, D. Pappadopulo, R. Rattazzi,

Appendix A

Once we shift the fields as in (4), the relevant parts of the Lagrangian for the excitations read

0 L = L + Ld.t. + L(2) + L(3) , (A1) where L and Ld.t. have the same form as in (1) and (2), while

2 2 h i L(2)/(4π) = Nc ξ tr x¯zXZ¯ +x ¯ZxZ +x ¯ZXz + XzxZ¯ + XzXz¯ + XZxz

2h 2 2 2 2 2 2 2 2 i + α1 tr(x )tr(X ) + tr(X )tr(¯x ) + 4tr(xX)tr(Xx¯) + tr(z )tr(Z ) + tr(Z )tr(¯z ) + 4tr(zZ)tr(Zz¯) (A2) 2h i − α2 tr(xz)tr(XZ) + tr(XZ)tr(¯xz¯) + tr(xZ)tr(¯xZ) + tr(Xz)tr(Xz¯) + tr(xZ)tr(Xz¯) + tr(Xz)tr(¯xZ) i + tr(xz¯)tr(XZ ) + tr(XZ)tr(¯xz) + tr(xZ)tr(¯xZ) + tr(Xz¯)tr(Xz) + tr(xZ)tr(Xz) + tr(Xz¯)tr(¯xZ) , and

2 2 h i L(3)/(4π) = Nc ξ tr x¯ZXZ + XzXZ¯ + XZxZ + XZXz

2h 2 2 2 2 i + 2α1 tr(Xx)tr(X ) + tr(X )tr(Xx¯) + tr(Zz)tr(Z ) + tr(Z )tr(Zz¯) (A3) 2h − α2 tr(xZ)tr(XZ) + tr(Xz)tr(XZ) + tr(XZ)tr(¯xZ) + tr(XZ)tr(Xz¯) i + tr(xZ)tr(XZ ) + tr(Xz¯)tr(XZ ) + tr(XZ)tr(¯xZ) + tr(XZ)tr(Xz) .

Using (A2), we can read the quadratic forms for the excitations X and Z of the fields at the large-Nc limit. Moving to momentum space, on top of the z flat directions x =x ¯ = 0, we find

 2 ˜2   2 2 2  −1 k + ξ z¯ × z 0 −1 Nc k 2(4πα1) tr(z ) DX = Nc 2 2 , DZ = 2 2 2 , (A4) 0 k + ξ˜ z × z¯ 2(4πα1) tr(¯z ) Nc k 11 where × denotes the matrix product. The masses of the excitations can be easily found from the above by setting k2 = 0. For the X and X, these correspond to the eigenvalues of the matrices ξ˜2z¯× z and ξ˜2z × z¯, while for Z and Z, 2√ the masses are ±2(4πα1) Q. In turn, their exact values depend on the choice of the flat directions. For instance, 2 ˜2 if we move along (11)-(12), the X’s masses are proportional to |v| ξ z¯izj, while the Z’s are massless. On the other hand, for the nilpotent matrices or the configurations withz ¯ = 0 while z 6= 0, the spectrum of the theory comprises

−1 −1 only massless excitations, since the eigenvalues of both DX and DZ are zero. k2→0 k2→0 Inverting (A4), we find the corresponding propagator matrices

1 !  2 2 2  1 2 ˜2 0 −1 −N k 2(4πα ) tr(z ) D = k +ξ z¯×z , D = c 1 , (A5) X 0 1 Z 2 4 4 2 2 2(4πα )2tr(¯z2) −N k2 Nc k2+ξ˜2 z×z¯ Nc k − 4(4πα1) tr(z )tr(¯z ) 1 c with which we can immediately compute loops. From (A1) and (A3), we can deduce the Feynman rules for the theory; some of the vertices associated with the single-trace terms are presented in Fig. 1.

Appendix B

To be maximally pedagogic, let us study in some details the one-loop diagrams appearing in Fig. 2, for general diagonal flat directions. Let us focus on the graph 2(a) coming from the single-trace term with an insertion of the vev z¯ [58]. Reading the corresponding vertex from (A2) and using DX from (A5), we find that the diagram evaluates to

Z 4 " ˜2 ! # ˜2 X d k 1 2 2
2 X 2 1 ξ vv¯ =v ¯ξ z¯i =v ¯ v 4πξ zj z¯ − + log + log (¯zizj) , (B1) (2π)4 2 ˜2 i ε¯ µ2 i k + ξ vv¯ z¯izj i

where we introduced 1/ε¯ = 1/ε + 1 − iπ − γE + log(4π), γE ≈ 0.5772 is the Euler-Mascheroni constant and µ is the renormalization scale. For the “compensating” double-trace diagram 2(b), we should look at eq. (A3) and work with the 21-component of the DZ propagator; we obtain

Z 4 2 4 X 2 d k 1 = −v¯ v 4(4πα1) zj z¯ i (2π)4 4 4 2 X 2 2 i k − 4(4πα1) (¯vv) z¯l zm l,m (B2)   4  2  (4πα1) X 1 −2i(4πα1) vv¯ 1 X =v ¯2v z z¯2 − + log + log z¯2z2 . 4π2 j i  ε¯ µ2 2 l m i l,m

2 2 Putting the two contributions together and using the one-loop value α1 = ±iξ /2, it is straightforward to see that the 1/ε¯ piece as well as the logarithms containing µ cancel automatically, as it should be in the CFT. Switching back to matrix notation, the derivative of the one-loop contribution w.r.t. z reads ∂ ξ˜4  z  z¯  V = z tr(¯z2) log √ + tr z¯2 log √ , (B3) ∂z 1−loop (4π)2 Q Q where Q = ptr(z2) tr(¯z2) was also defined under eq. (14). Integrating the above over z, we readily obtain

ξ˜4   z¯   z  V = tr(z2)tr z¯2 log √ + tr(¯z2)tr z2 log √ . (B4) 1−loop 32π2 Q Q Following exactly the same steps for the conjugated diagrams, we obtain the derivative of the one-loop contribution w.r.t.z ¯ ∂ ξ˜4  z¯  z  V = z¯ tr(z2) log √ + tr z2 log √ . (B5) ∂z¯ 1−loop (4π)2 Q Q