# Full text of "Refining the Proof of Planar Equivalence"

## See other formats

CERN-PH-TH /2004-248 SWAT-421 FTPI-MINN-04/33, UMN-TH-2320/04 December 17, 2004 Refining the Proof of Planar Equivalence A. Armoni M. Shifman G. Veneziano "''^ " Department of Physics, Theory Division, CERN CH-1211 Geneva 23, Switzerland ^ Department of Physics, University of Wales Swansea, Singleton Park, Swansea, SA2 8PP, UK William I. Fine Theoretical Physics Institute, University of Minnesota, Minneapohs, MN 55455, USA College de France, 11 place M. Berthelot, 75005 Paris, France Abstract We outline a full non-perturbative proof of planar (large- A^) equiv- alence between bosonic correlators in a theory with Majorana fermions in the adjoint representation and one with Dirac fermions in the two- index (anti)symmetric representation. In a particular case (one fla- vor), this reduces to our previous result — planar equivalence be- tween super- Yang-Mills theory and a non-super symmetric "orientifold field theory." The latter theory becomes one-flavor massless QCD at N = 3. Recently, we have argued [1] that a bosonic sector of A/" = 1 super- Yang- Mills (SYM) theory is equivalent, in the large- planar limit, to a corre- sponding sector of a non-supersymmetric Yang-Mills theory with a Dirac fermion in the two-index antisymmetric or symmetric representation. We will refer to these as the parent and daughter theories, respectively, all being endowed with the same gauge group, SU(A^) . The daughter theories represent orientifold projections of the parent one, as first discussed in Ref.[2]. As we shall see, all our results apply equally well to the antisymmetric (orienti-A), and to the symmetric (orienti-S) case. For a detailed review see Ref. [3]. For the orienti-A case the daughter theory reduces, at = 3, to one- flavor massless QCD. Thus, as an intriguing consequence of planar equiv- alence, one can copy, within an 0{1/N) error, non-perturbative quantities from SYM theory to the corresponding ones in one-flavor massless QCD [4] . In particular, in [5] we have obtained a very encouraging value for the quark condensate. Orientifold planar equivalence has further possible applications, both in phenomenology [6] and in string theory [7]. In Refs. [1, 3] we provided a perturbative proof of the planar equivalence and outlined a non-perturbative extension of it. In this paper we present a detailed analysis of non-perturbative planar equivalence (including theories with Nf flavors, Nf > 1), with emphasis on the assumptions made. In our view, this completes the non-perturbative proof, under very mild assump- tions. The basic idea behind our proof is the comparison of generating func- tionals of appropriate gauge-invariant correlators in the parent and daughter theories by, flrst, integrating out their respective fermions in a flxed gauge background — a feature which could not be implemented for the orbifold projection ^ — and, then, averaging over the gauge fleld itself. In Refs. [1, 3] the main emphasis was on the first step. Here we mainly focus on the second. Let us define, for a generic Dirac fermion in the representation r, the generating functional. where .Sym is the Yang-Mills action, Jym is a source which can couple to any ^Planar equivalence for "orbifold filed theories" was conjectured by M. Strassler in Ref. [8] . Orbifold theories always contain a product of gauge factors. DA^, D^! e-^Y^l^'-^Y^l exp (i ^+ ^'^ + J*) ^} , (1) 1 gauge-invariant operator built from gauge fields and covariant derivatives, and the quark (color-singlet) source can contain Lorentz 7 matrices. A mass term is a particular case of such quark source. We will always assume that a small fermion mass term is introduced for infrared regularization. It can be set to zero at the very end. The generating functional VVr(JYM) J^) is written in (1), for dcfinitcncss, in Euclidean space. This is not crucial: one can carry out all our derivations in Minkowski space as well. After the fermions are integrated out we arrive at where r,[^, J*] = log det {i ^+ 4" r; + j*) . (3) For what follows it is convenient to write the effective action F^fA, J*] in the world-hne formalism, see [9, 10, 11, 12], as an integral over (super-)Wilson loops, namely^ 1 dT X j VxVijj exp | - ^ dr Qi^i'' + ]^VV - ^Jl X TrPexp £ dr (^^"i;'^ - \vF;,r^ T;| , (4) where the functional integral runs over all closed paths Xh{t), Ai^{x) is a fixed gauge background, and rpa rpa rpa rpa — ^ adjoint > AS > S ^Strictly speaking Eq.(4) is only valid for space-time independent currents proportional to 1 or 75. The extension to non-constant currents can be found in [12] for those 7-matrix structures and do not affect our considerations below. As discussed below and at the end of the paper, we also expect the same to be true for other 7-matrix structures (see [13]) provided suitable identifications are made for the currents in the various theories we consider. 2 are the generators for the adjoint, two-index antisymmetric and two-index symmetric representations, respectively. Moreover, ip^ij) are superpartners to ^^/^(t); they occur due to the fact that we are deahng with spin 1/2 matter. Eq. (4) can be written symbohcally as: r,[A, J^] = C^{J^)W';{A^) , (5) a where the summation symbol also stands for the functional integrals appear- ing in (4). The expansion coefficients Cq,(J<i,) depend, in general, on the representation r through the sources J^. However, for the case at hand, the sources Jij, can be matched in the three theories in such a way that, to leading order in 1/iV, the Ca(J<i.) become representation- independent. Ex- amples of such a matching will be given at the end of this paper, also for the case of more than one flavor. With this in mind, we shall assume hereafter that representation dependence resides entirely in the (super) Wilson factors W^{Aij). Inserting the above result in (2) we arrive at e where the angle brackets stand for the remaining functional integral (average) over the gauge field in the presence of a generic gluon source Jym- As usual, taking the logarithm of both sides of (6) picks up the connected contributions from the expansion of the right-hand side. X {Wr{A,) W^^A,) . . . W,"-iA,))^ , (7) where the subscript c stands for connected. In fact a subtlety, representing the main thrust of this paper, is related to the issue of "connectedness'' which, in turn, is related to the process of averaging over the gluon field the multi- Wilson-loop operators appearing in Eq. (7). In Ref. [1, 3] we dealt with a single loop (Fig. 1), now we will carefully treat multiloop averaging (see Fig. 2 which displays, as a particular example, five loops). We will compare two cases: r =adjoint and r =two-index antisymmetric. The dimensions of the corresponding representations are and iV(iV -l)/2. 3 Figure 1: One fermion loop (i.e. log det {i ^+4" T" + J^)) in the gluon field background (shown as shaded areas). The gluon fields "inside" and "outside" the loop do not communicate with each other at iV oo. This is indicated by distinct shadings. Averaging over the gluon field inside the loop is independent of averaging outside. Topologically, of course, the distinction between inside and outside is immaterial respectively. Note, however, that the adjoint fermions are taken to be Majo- rana, while the two-index antisymmetric ones are Dirac. As a consequence, for r =adjoint, Eq. (4) has to be multiplied by i. Let us also note, in passing, that the dimension of the two-index symmetric representation is iV(A^ + l)/2. Our statement now is as follows: As —> oo each term in Eq. (7) for r —two-index antisymmetric has a corresponding term, with exactly the same value, forr =adjoint. The proof is based on well-known trace identities. Since W^{A^), for a given loop and given A^, is just the trace of one concrete SU(A^) group clement, written in the representation r, the following relations hold (see, for example, [14]): Wadjoint = TiUTrU^ -1 + {U ^U^)=2{TrUTrW -1) , (10) where U (rcsp. represents the same group element in the fundamen- tal (resp. antifundamental) representation of SU{N). An important point Ws = ^((TrC/)2 + Tr[/2) +([/ ^C/t), W^AS = l((Tr[/)2-Tr[/2) +([/ ^C/t), (8) (9) 4 Figure 2: Example of fermion multiloops in the gluon field background, at oo. The background field outside loops 1 and 4 is the same. The background field inside loop 1 and outside loop 2 and 3 is the same. The background field inside loop 4 and outside loop 5 is the same. here is the occurrence of the {U — > C/^) terms in Eqs. (8), (9). The origin of these terms, whose presence is very natural since, for Dirac fermions, a representation and its complex conjugate are equivalent, can be explained as follows. For each given oriented contour x^{t) in (4) there exists also the same contour with the opposite orientation, see Fig. (3). We can therefore group Wilson loops pairwise (In QED this contour "pairing" is responsible for the Furry theorem.) and thus obtain the additional complex conjugate terms. For the real representations, such as the adjoint, this gives simply a factor 2, as on the right-hand side of Eq. (10), which cancels however in our case against the factor | due to the Majorana condition. Consider now, as the simplest example, the term with n — 1 in (7). At large N, after integrating over the gauge field, the terms Tr (C/^) and 1 are subleading in 1/N with respect to the terms of 0{N^) (Trf/)^ or TtUTyW. Furthermore, (TrC/) = {TtW). It then follows immediately that, at — >• oo: ^(W^adjoint) ^ {Ws) ^ {Was) ^ {TrUf . (11) 5 Figure 3: Two opposite-orientation contours in the sum (4). = • O Figure 4: The 't Hooft double-hne representation for (M4djoint)- On the right we display a convenient graphic shorthand notation that we suggest to use in this problem. The black circle corresponds to (TrC/), the white circle to (TiW), while the segment connecting them indicates that both circles originate from one and the same fermion loop, see Fig. 1. Note that this common leading contribution is connected, in spite of the fact that, when written in terms of Wilson loops with r ^fundamental (the last step in Eq. (11)), it looks disconnected. It is instructive to graphically illustrate Eq. (11). To this end we redraw Fig. 1 using the 't Hooft double-hne notation, as shown in Fig. 4. It is easy to show that, also for higher-order terms in Eq. (7), we can drop the subleading contributions in Eqs. (8)-(10), namely, Ty{U^) and 1, so that, hereafter, we will deal with the l&rge-N limit, Ws = Wj,s^l{{TrUy + {TrU^f), 6 ^W^adjoint = TrC/TrC/t. (12) Equations (12) suggest a convenient graphic notation (see again Figs. 1 and 4). Associate with every Wadjoint a black and a white circle (related to Tr U and toTtU^ , respectively) connected by a short segment (just to show that it represents a single Wilson loop) and to either or Was a similar drawing with two whites or two black circles (with a factor | each). It is easy to see that, as ^ oo, the leading diagrams for a generic contribution of the form {WiW2---Wp)c in Eq. (7) are given, in the above notation, by a connected tree where p segments are joined through "i-vertices" , i.e. vertices that couple any number i {i = 1,2, . . .) of dots. By using trivial properties of tree diagrams, and the fact that an i- vertex gives a contribution 0{N^'^~^^), we arrive immediately to the conclusion that all tree diagrams are 0{N'^) while all loops are suppressed. It is amusing to notice that this large- counting resembles closely the one of closed-string amplitudes if one asso- ciates with each Tr [/ orTiU^a. closed string and with each shaded region a tree-level vertex among the closed-strings that define that region's boundary. We recall once more that the subscript c stands for connected. In order to ease understanding of this point we show, in Fig. 5, one of contributions in the parent theory (five fermion loops, see Fig. 2) in the shorthand notation introduced in Fig. 4. This figure represents a certain large-A^ connected correlator of five Wilson loops in the parent theory, namely {WiW2W^WiW^)c — > (TrC/2) (TrC/j) (TrC/s^TrC/gTrC/i) X (Tr Ul Tr U^) (Tr Ul Tr Ul) (Tr U^) . (13) A similar contribution in the daughter theory (see Fig. 6) is {W{W2W^W4W5)c — > (Tr ul) (Tr t/3) (Tr Ul Tr Tr Ui) X (Tr C/i Tr [/]) (Tr [/] Tr Ul) (Tr C/|) . (14) To complete the proof of the parent-daughter planar equivalence we now show that, to every such tree diagram in the adjoint theory, one can associate a corresponding tree shorthand diagram of the S or AS theory, having exactly the same value. To see that this is the case one can interchange white and black circles at every other vertex along the tree as shown in Fig. 6. After 7 Figure 5: A particular connected contribution to an expectation value (1^11^21^31^41^5) c in M = 1 SYM theory. Dashed circles indicate averag- ing over a connected background field, for instance, the external lines of loop 1 and loop 4 are averaged over one and the same gluon field. 3 Figure 6: The same as in Fig. 5 after interchange "black circle <-> white circle" in vertices 5, (1,4), 2 and 3. 8 doing so we arrive at a five fermion loop contribution in the daughter (A or S) theory. This operation obviously transforms a generic graph of the adjoint theory into a corresponding graph of the S or AS theory. The fact that one can perform the interchange "black circle white circle" at any vertex separately, is rather obvious. Take, for instance, the vertex (1,4) in Figs. 5 and 6. The above interchange is nothing but the use of an obvious equality (TV Ul Tr C/4) = (Tr C/i TV C/J) , (15) which is a straightforward generalization of the equality (TrU) = (Tr[/^). It is easy to show that the above procedure is biunivocal i.e. it associates to every graph of the parent theory a graph of the daughter theory, and vice versa. Other one-to-one transformations of the graphs of the parent theory into those of the daughter theories are also possible. For instance, one can use the fact that Wadjoint is real even before averaging over the gluon field, see the second line in Eq. (12). This means, in essence, that the loops of the parent theory are unoriented (the consequence of the reality of the adjoint representation). In addition, it is not necessary to isolate and "pair" together, from the very beginning, contours of the opposite orientation, as shown in Fig. 3. One can let the sum run over all contours independently. This will lead to untangling the terms (TVC/)^ and (Tr U^Y in the first line in Eq. (12). They will appear as separate contributions. And, nevertheless, each of these separate contributions will have an equal counterpart in the parent theory. To conclude, we proved a non-perturbative equivalence between the par- tition function of jV = 1 SYM theory and "orientifold field theory" . The equivalence holds also in the presence of certain external currents. While we do not provide an exact detailed dictionary of the "common sector" of the two theories, it is clear from our proof that correlation functions that involve powers of Tr as well as Tr FF match at large A^. The bifermion operators and ^75 are also in the common sector, and so is the axial current ^'7^75\E'. The vector current ^7^^^ and the tensor operator ^cr^i,^ do not belong to the common sector, however. ^From our proof it follows that the bosonic hadron spectra as well as the domain wall spectra (mass and charge) are the same in the two theories. In general, every operator in the parent theory that survives the orientifold projection belongs to the common 9 sector.^ Finally, we would like to briefly discuss a rather obvious generalization which had been called [15] flavor proliferation. Our proof of planar equiva- lence can be readily generalized to the case of many flavors: SU(N) Yang-Mills theory with Nf Major ana fermions in the adjoint rep- resentation (non-supersymmctric if Nf > 1) is equivalent, in the common sector, to SU(N) Yang-Mills theory with Nf Dirac fermions in the two- index antisymmetric representation^ . The common sector includes all oper- ators built of gluon fields and covariant derivatives, and a subset of bifermion operators. A few explanatory remarks are in order here regarding the determination of the common sector in the multiflavor case. In selecting bifermion operators that belong to the common sector (i.e. the set of sources Jq,) one should exercise caution. The pattern of flavor symmetry in these two theories are drastically different. In the parent theory with the Majorana fermions, the global flavor symmetry is SU(A^/); it is believed to be spontaneously broken down to SO(iV/), see e.g. Ref. [16], while in the daughter theory the pattern is the same as in QCD, namely S\J{Nf)L X S\J{Nf)R ^ S\J{Nf)v . (16) This is the reason why many fermion bilinears do not belong to the common sector. Operationally, it can be defined as follows. Start from the parent theory with Nf Majorana flavors in the adjoint. Write all possible bilinears which do not vanish by symmetry. Perform orientifoldization and find the projection of the above set to the daughter. Call this " common class" C. Alternatively, one can also start from the daughter theory. Write all possible bilinears. Examine which ones of them can be elevated to the parent theory. These should define the same class C. There is a large number of fermion bilinears which do not lie in C in the parent theory, and the same is true for the daughter theory. These do not belong to the common sector. ^In the gauge/string correspondence these operators couple to closed string modes which are common to type IIB and type O'B string theories. ^In general, the m ^ and 1/N limits need not (and do not) commute. We consider here planar equivalence, namely we take the limit 1/N — > first. 10 For fermion bilinears with no derivatives one can readily present a com- plete catalogue. With respect to the Lorentz symmetry they form the fol- lowing representations: (0,0), (0,1) + (1,0). The (0, 0) operators in the parent theory are of the type TrA^A"^ (17) where / and g are the flavor indices. To have a non-vanishing operator, we must symmetrize with respect to f,g. Altogether we get Nf{Nf + l)/2 operators of the type (17) plus Nf{Nf + l)/2 complex conjugate operators. Let us denote the orientifold projection of Aj '-^ as where i,j are the color indices and rjjX are chiral (left-handed) spinors of the daughter theory. Each pair x , V forms one Dirac flavor. It is clear that (17) projects onto x^Vg + X^Vf- Dirac notation the projection is onto - 1 + 75 ^ / — - — , /, gf-symmetrized , and similarly for the complex-conjugate bilinears. The (0, 1)+(1, 0) operators in the parent theory are of the type TrA'lAjl, (19) with symmetrized a, (5 and antysymetrized /, There are Nf{Nf — l)/2 operators (19) and the same amount of complex conjugate operators. They project onto ^ fa^u^if^ , /, fl'-antisymmetrized, in the daughter theory. Finally, the operators (1/2, 1/2) are currents. Their classification is dis- cussed in sufficient detail in Rcf. [16]. The total number of currents in the parent theory is Nj (including one anomalous current), while the total num- ber of currents in the daugther theory is 2N'j (namely, Nj vector and Nj 11 axial currents) . It is clear that a half of the daughter theory currents have no projection onto the parent one. What currents can be projected? To answer this question we can use, again, the basic projection (18). The Nj currents of the parent theory are Ad,,A^, f,g = 1,2,.. .,Nf. (20) They are projected as Xa,gXf3 + 'nlVl3,f- (21) The daughter theory has 2Nj currents, XccgXf}, and vlvpj- (22) Comparing Eqs. (21) and (22) wc conclude that the minus combination of the currents in (22) does not make it to the common sector. The analysis becomes even easier if we use the Majorana rather than Weyl's representation of the adjoint spinors in the parent theory. In this case the nonvanishing (1/2, 1/2) operators in the parent theory are A[^7^A^1 , A^^7/.75A^> . (23) where curly and square brackets denote symmetrization and antisymmctriza- tion, respectively. The total number of the currents (23) is Nj. Performing orientifoldization (i.e. replacing A ^ ^ and A ^ 'I') we get Nj currents of the daughter theory which belong to the common sector.^ Their charges gen- erate an unconventional SU(iVj) subgroup of SU(iVj) l x S\]{Nf)ji, containing both vector and axial transformations. If wc allow for no-derivative bifermion operators with gluon fields in- cluded, the set of allowed operators expands dramatically . We will make no attempt at a complete classification in this case. Let us give just one example. With a single insertion of the gluon field, one can build combinations TrA^F^^A^ e'"' with all possible symmetry patterns for 7 , /3 and /, g. ^For instance, in this way it is easy to check that "extra" Goldstone bosons that exist in the daughter theory but arc absent from the parent one [15] do not belong to the common sector. They can be produced only in pairs. This contribution is subleading in 12 Inclusion of derivatives leads to a further enlargement of the common sector. The issue of a complete classification in this case is left for future work. Acknowledgments We would like to thank L. Alvarez- Gaume, R. Casal- buoni, L. Del-Debbio, P. Di Vecchia, M. Liischer, R. Musto and A. Ritz for very useful discussions. The work of M.S. was supported in part by DOE grant DE-FG02-94ER408. A.A. is supported by the PPARC advanced fel- lowship. References [1] A. Armoni, M. Shifman and G. Veneziano, Nucl. Phys. B 667, 170 (2003) [hep-th/0302163]. [2] A. Sagnotti, "Some properties of open string theories," hep-th/9509080; A. Sagnotti, Nucl. Phys. Proc. Suppl. 56B, 332 (1997) [hep-th/9702093]. [3] A. Armoni, M. Shifman and G. Veneziano, From super- Yang-Mills the- ory to QCD: Planar equivalence and its implications, in From Fields to Strings: Circumnavigating Theoretical Physics, Eds. M. Shifman, J. Wheater and A. Vainshtein, (World Scientific, Singapore, 2004), Vol. 1, page 353 [hep-th/0403071]. [4] A. Armoni, M. Shifman and G. Veneziano, Phys. Rev. Lett. 91, 191601 (2003) [hep-th/0307097]. [5] A. Armoni, M. Shifman and G. Veneziano, Phys. Lett. B 579, 384 (2004) [hep-th/0309013]. [6] F. Sannino and K. Tuominen, Techniorientifold, hep-ph/0405209. [7] P. Di Vecchia, A. Liccardo, R. Marotta and F. PezzeUa, JHEP 0409, 050 (2004) [hep-th/0407038]. 13 [8] M. J. Strasslcr, On methods for extracAing exact non-perturbative results in non- super symmetric gauge theories, hcp-th/0104032. [9] R. Casalbuoni, J. Gomis and G. Longhi, Nuovo Cim. 24A , 249 (1974); R. Casalbuoni, Nuovo. Cim. 33A, 389 (1976); A. Barducci, F. Bordi and R. Casalbuoni, Nuovo Cim. 64B, 287 (1981); A. Barducci, R. Casal- buoni and L. Lusanna, Nucl. Phys. B 180, 141 (1981). [10] L. Brink, R Di Vecchia and R S. Howe, Nucl. Rhys. B 118, 76 (1977). [11] M. J. Strassler, Nucl. Rhys. B 385, 145 (1992) [liep-ph/9205205]. [12] E. D'Hoker and D. G. Gagne, Nucl. Rhys. B 467, 272 (1996) [hep- th/9508131]. [13] E. D'Hoker and D. G. Gagne, Nucl. Phys. B 467, 297 (1996) [hep- th/9512080]. [14] D. J. Gross and H. Ooguri, Phys. Rev. D 58, 106002 (1998) [hep- th/9805129]. [15] A. Armoni and M. Shifman, Nucl. Phys. B 670, 148 (2003) [hep- th/0303109]. [16] Y. I. Kogan, M. A. Shifman and M. I. Vysotsky, Sov. J. Nucl. Phys. 42, 318 (1985) [Yad. Fiz. 42, 504 (1985)]. 14