Volume independence in large Nc QCD-like gauge theories

31 downloads 0 Views 423KB Size Report
Feb 5, 2007 - arXiv:hep-th/0702021v1 5 Feb 2007. Preprint typeset in JHEP style - HYPER VERSION. NSF-KITP-07-07. SLAC-PUB-12331. Volume ...
Preprint typeset in JHEP style - HYPER VERSION

NSF-KITP-07-07 SLAC-PUB-12331

arXiv:hep-th/0702021v1 5 Feb 2007

Volume independence in large Nc QCD-like gauge theories

2† and Laurence G. Yaffe3‡ ¨ Pavel Kovtun,1∗ Mithat Unsal, 1

KITP, University of California, Santa Barbara, CA 93106–4030 SLAC and Department of Physics, Stanford University, CA 94025 3 Department of Physics, University of Washington, Seattle, WA 98195–1560 2

Abstract: Volume independence in large Nc gauge theories may be viewed as a generalized orbifold equivalence. The reduction to zero volume (or Eguchi-Kawai reduction) is a special case of this equivalence. So is temperature independence in confining phases. A natural generalization concerns volume independence in “theory space” of quiver gauge theories. In pure Yang-Mills theory, the failure of volume independence for sufficiently small volumes (at weak coupling) due to spontaneous breaking of center symmetry, together with its validity above a critical size, nicely illustrate the symmetry realization conditions which are both necessary and sufficient for large Nc orbifold equivalence. The existence of a minimal size below which volume independence fails also applies to Yang-Mills theory with antisymmetric representation fermions [QCD(AS)]. However, in Yang-Mills theory with adjoint representation fermions [QCD(Adj)], endowed with periodic boundary conditions, volume independence remains valid down to arbitrarily small size. In sufficiently large volumes, QCD(Adj) and QCD(AS) have a large Nc “orientifold” equivalence, provided charge conjugation symmetry is unbroken in the latter theory. Therefore, via a combined orbifold-orientifold mapping, a well-defined large Nc equivalence exists between QCD(AS) in large, or infinite, volume and QCD(Adj) in arbitrarily small volume. Since asymptotically free gauge theories, such as QCD(Adj), are much easier to study (analytically or numerically) in small volume, this equivalence should allow greater understanding of large Nc QCD in infinite volume. Keywords: 1/N Expansion, Lattice Gauge Field Theories.



[email protected] [email protected][email protected]

Contents 1. Introduction and Summary

1

2. Spacetime volume independence 2.1 Volume reduction as an orbifold projection 2.2 Volume expansion as an orbifold projection 2.2.1 Adjoint representation matter fields 2.2.2 Fundamental representation matter fields 2.2.3 Tensor representation matter fields 2.3 Large Nc equivalence 2.4 Temperature dependence

4 4 7 9 9 10 10 17

3. Eguchi-Kawai reduction for QCD

19

4. Theory space volume independence 4.1 Volume reducing projections 4.2 Volume enlarging projections 4.3 Large N equivalence

22 23 24 25

5. Discussion

26

A. More on volume expansion as an orbifold projection

27

1. Introduction and Summary Back in 1982, Eguchi and Kawai [1] argued that properties of U (Nc ) Yang-Mill theory, formulated on a periodic lattice, are independent of the lattice size in the Nc → ∞ limit. It was quickly understood that this large Nc equivalence (relating a pair of theories in different volumes) is valid only when certain global symmetries are not spontaneously broken [2, 3], and applies only to appropriate observables. When the theory is defined, for simplicity, in a d-dimensional periodic hypercube of size L, recent work has shown that large Nc volume independence is valid (in d > 2) only above a critical size, L > Lc (d). The critical size Lc (d) depends on the lattice spacing, in addition to dimension, but approaches a finite physical value in the continuum limit [4, 5].

–1–

Large-Nc equivalences between pairs of theories related by so-called “orbifold” projections have also received considerable attention in recent years. (See, for example, Refs. [6–13].) In this context, orbifold projection is a technique for constructing a “daughter” theory, starting from some “parent” theory, by retaining only those fields which are invariant under a discrete symmetry group of the parent theory. For orbifold projections based on cyclic groups, Refs. [6, 7] proved necessary and sufficient conditions for equivalence of parent and daughter theories in the large Nc limit, and clarified previous confusion in the literature regarding the appropriate mapping of information between theories. In complete analogy with volume independence, large Nc orbifold equivalence is applicable only when certain global symmetries are not spontaneously broken, and applies only to a restricted class of observables. In this paper, we discuss the relation between volume independence and non-perturbative orbifold equivalence in the large Nc limit. The mapping which takes a U (Nc ) gauge theory in volume Ld to the same theory in a smaller volume (L′ )d , with L/L′ any integer, may be viewed as a generalized orbifold projection which eliminates degrees of freedom that are not invariant under a discrete translation group.1 We show that inverse mappings, which blow up a smaller volume theory into a larger volume, may also be understood as orbifold projections, specifically ones which eliminate degrees of freedom that are not invariant under a discrete Abelian subgroup of the gauge (and flavor) symmetry group. Interpreting these volumechanging mappings as orbifold projections applies not only to pure Yang-Mills theories, but also to theories with fundamental, adjoint, or rank-two tensor representation matter fields.2 Viewing volume changing mappings between gauge theories as generalized orbifold projections allows a simple proof of large Nc equivalence using the methods of Refs. [6, 7], and also clarifies how the large Nc equivalence applies to connected correlators (in addition to expectation values) of operators in the appropriate “neutral” sectors of either theory. The validity of large Nc orbifold equivalence depends on certain symmetry realization conditions — the discrete symmetries used in either direction of these projections must not be spontaneously broken. These symmetry realization conditions are both necessary and sufficient [7]. As we discuss, the numerical results of Ref. [5] are completely in accord with, and nicely illustrate, these general conditions. A special case of large Nc volume independence, which we discuss, is large Nc temperature independence. For mappings which change the size of a single periodic dimension, interpreted as the Euclidean time direction, the symmetry realization condition necessary for large Nc equivalence is just the condition that the theory be in a confining phase. Large Nc temperature independence implies that the leading large Nc behavior of expectation values and connected correlators of suitable operators are temperature independent in any confining phase.3 1

In this paper, we are only concerned with theories formulated on toriodal compactifications of flat space. For earlier, somewhat related work, see Refs. [14, 15]. 3 For previous discussion of the confinement/deconfinement transition in the context of reduced models, see Ref. [16]. 2

–2–

In contrast to other examples of large Nc orbifold (or “orientifold”) equivalences, such as those discussed in Refs. [8–11], large Nc volume (or temperature) independence cannot be seen in a perturbative analysis — it is intrinsically non-perturbative. As we will discuss, this reflects the fact that unbroken center symmetry is a necessary condition for large Nc volume independence, and perturbative expansions do not respect the center symmetry. For later convenience, let QCD(Adj) denote a U (Nc ) gauge theory with one or more massless adjoint representation Majorana fermions, and let QCD(AS) [or QCD(S)] denote a U (Nc ) gauge theory with one or more massless Dirac fermions in the rank-two antisymmetric [or symmetric] tensor representation.4 Single-flavor massless QCD(Adj) is precisely N = 1 supersymmetric Yang-Mills theory. And at Nc = 3, QCD(AS) is the same as ordinary QCD with fundamental representation fermions. Hence, QCD(AS) is a generalization of ordinary QCD to arbitrary Nc in which a single flavor of fermions will continue to play a significant role even at Nc = ∞ [10, 11]. In pure U (Nc ) Yang-Mills theory, as noted above, volume independence fails for sufficiently small volumes due to a change in symmetry realization. But, as we discuss, the addition of massless adjoint representation fermions (with periodic boundary conditions) prevents this phase transition. Consequently volume independence in QCD(Adj) remains valid down to arbitrarily small volumes. This volume independence of QCD(Adj) has interesting implications for large Nc QCD, because a separate large-Nc equivalence [10, 17] relates QCD(Adj) and QCD(AS), provided the latter theory does not spontaneously break charge conjugation symmetry [18]. In sufficiently small volumes (with periodic boundary conditions for the fermions) QCD(AS) does undergo charge conjugation symmetry breaking, thus invalidating the large-Nc equivalence to QCD(Adj) [18]. However, all available evidence is consistent with QCD(AS) having unbroken charge conjugation symmetry in sufficiently large volume [19]. Provided this is true, combining the large-Nc equivalence between QCD(AS) and QCD(Adj), in sufficiently large volume, with the large-Nc volume independence of QCD(Adj), allows one to relate properties of QCD(AS) in large (or infinite) volume to corresponding quantities in QCD(Adj) in arbitrarily small volume. As we will discuss, this equivalence applies to both expectation values and connected correlation functions of suitable (charge conjugation even) bosonic operators. In the zero volume limit, this shows that a simple matrix model (or “reduced” theory) can reproduce the leading large Nc behavior of a large class of correlation functions in infinite volume QCD(AS) — which is a natural generalization of real QCD to large Nc .5 4

We will also use QCD(AS/S) to denote either QCD(AS) or QCD(S) in contexts where the same results apply to either theory. 5 This formulation of a reduced matrix model for QCD, in which fermions prevent the spontaneous breaking of center symmetry, is complementary to previous approaches yielding “quenched” [2] or “twisted” [20, 21] reduced models, where modifications to the action are introduced by hand in order to prevent unwanted symmetry breaking. See Ref. [22] for a good pedagogical discussion of quenched and twisted reduced models. In particular, these approaches lack direct applicability to connected correlators (but see, however, Ref. [23]).

–3–

Following this extended discussion of volume independence in spacetime, we show that a completely analogous approach demonstrates “theory space volume independence” in quiver gauge theories. These are theories with product gauge groups and bifundamental matter fields. “Theory space” is a convenient graphical representation of the gauge group and matter field content of such theories [24,25]. We show that one may reduce a quiver gauge theory with multiple equivalent gauge group factors to another quiver theory with a smaller product gauge group by performing a projection based on a subgroup of the symmetry group permuting equivalent gauge group factors. Alternatively, a quiver gauge theory can be “blown up” to produce bigger quiver theories with enlarged product gauge groups by performing orbifold projections based on a subgroup involving the global flavor symmetry. Projections which increase the volume (in either spacetime or theory space) act as inverses of the projections which reduce volume.6 In all cases, the condition that the relevant discrete symmetries used in the projections not be spontaneously broken is both necessary and sufficient for large-Nc equivalence between pairs of quiver gauge theories related by these orbifold projections. It should be noted that generic orbifold projections do not produce examples of large Nc equivalence (even when one requires that neither the parent nor daughter theories break any symmetries spontaneously).7 Precise conditions which delineate which generalized orbifold projections do, or do not, lead to examples of large Nc equivalence are not currently known. However, our results support a simple and natural conjecture: Two theories, A and B, each with smooth large Nc limits, will have coinciding large Nc limits, within appropriate neutral sectors, if a generalized orbifold projection exists which maps theory A with Nc = kN to theory B with Nc = N , for some k, and an “inverse” orbifold projection exists which maps theory B with Nc = mN back to theory A with Nc = N , for some m. In addition to the examples discussed in this paper, and their obvious generalizations, this conjecture is also supported by a wide variety of examples involving mappings between unitary, orthogonal, and symplectic gauge groups. This is discussed in a forthcoming paper [26].

2. Spacetime volume independence 2.1 Volume reduction as an orbifold projection Consider a d-dimensional U (Nc ) gauge theory, with or without matter fields, formulated in 6

This, of course, is somewhat sloppy terminology since both projections reduce the number of degrees of freedom in a theory. The net effect of a projection times its “inverse” is a reduction of Nc by a fixed multiplicative factor, while leaving the form of the theory otherwise unchanged. 7 For example, a Z2 orbifold projection can take a U ((k+l)N ) theory with adjoint matter to a U (kN )×U (lN ) theory with bifundamental matter. But, unless k = l, there is no simple mapping which relates expectation values or correlators of observables of these theories in the N → ∞ limit.

–4–

a finite spacetime volume Λ taken, for simplicity, to be a periodic hypercube of volume Ld .8 Because of the periodic boundary conditions, the translation invariance of the theory is a compact U (1)d global symmetry. Choose any integer K > 1, and consider the discrete (ZK )d subgroup of the translation symmetry generated by translations through multiples of the distance L′ ≡ L/K along any coordinate direction. Let TK denote this discrete translation group, and let Λ′ denote a periodic hypercube of volume (L′ )d . The reduction of the theory from the volume Λ to the smaller volume Λ′ may naturally be viewed as an orbifold projection in which one eliminates from the theory all degrees of freedom which are not invariant under the translation subgroup TK . For the criterion of ‘non-invariance’ to be meaningful, one must first choose variables which transform irreducibly under the symmetry subgroup defining the projection. In this case, that just means Fourier transforming fields from spacetime to momentum space. In the original volume Λ, momenta are quantized in multiples of 2π/L, so for some generic field Φ, X Φ(x) = Φn e2πin·x/L , (2.1) n∈Zd

where n is an integer-valued d-component vector.9 Eliminating degrees of freedom which are not invariant under the translation subgroup TK simply means setting to zero all Fourier coefficients Φn for which the components of n are not integer multiples of K. This is the same as averaging Φ(x) over all translations along coordinate axes by multiples of L′ . Consequently, the projection takes X e m e2πim·x/L′ , e (2.2) Φ Φ(x) −→ Φ(x) ≡ m∈Zd

e m = ΦmK . This is the Fourier series for a field in the smaller periodic volume Λ′ . The where Φ net effect of this projection is to replace every field, which was initially periodic with period L, by a projected field which is periodic with period L′ . In other words, the projection is the same as imposing, on every field of the theory, a constraint of shorter periodicity, Φ(x + L′ eˆν ) = Φ(x) ,

(2.3)

where {ˆ eν } denote coordinate basis vectors. We have belabored the discussion of this simple projection in order to emphasize that “projecting out” degrees of freedom which are not 8

Generalizing this discussion to the case of anisotropic volumes, or mappings which shrink different dimensions by different amounts, is completely straightforward. For ease of notation, we will stick to simple cubic volumes in our discussion. 9 For gauge fields, we assume a choice of gauge which preserves periodic boundary conditions. Or one may consider a lattice gauge theory without gauge fixing, in which case L (divided by the lattice spacing, assumed to be set to one) must be multiple of K, and (2.1) will have a cutoff of L on the components of n, for both link and site variables. If any fields (such as fermions) are defined with antiperiodic boundary conditions, then their allowed momenta in volume Λ will have components of the form (2n+1)π/L. In this case, K must be odd so that the allowed momenta in the smaller volume Λ′ are commensurate with allowed momenta in the larger volume. Although Eqs. (2.1)–(2.3) show the case of periodic fields, their extension to antiperiodic fields is obvious.

–5–

invariant under some symmetry subgroup is exactly equivalent to imposing a set of constraints, such as Eq. (2.3), expressing invariance of fields under the chosen symmetry transformations. This is equally true for all other orbifold projections. The projection (2.2), applied to all fields of the theory, may be regarded as defining a mapping between observables of the “parent” theory, defined in the volume Λ, and the “daughter” theory, defined in Λ′ . Under this mapping, all observables which carry momenta that are not quantized in units of 2π/L′ map to zero. In theories without fundamental representation matter fields (but possibly with adjoint or rank-two tensor representation fields) the natural gauge invariant observables are “singletrace” operators which are Wilson loops, or Wilson loops decorated with arbitrary insertions of matter fields along the loop. Such single-trace observables may be classified by their net winding numbers around each cycle of the periodic volume in which the theory is defined.10 The mapping (2.2) defines a one-to-one correspondence between gauge invariant single-trace observables in the parent theory which are invariant under TK (i.e., observables averaged over all translations by multiples of L′ ) and single-trace observables in the daughter theory whose winding numbers are integer multiples of K. If fundamental representation fields are present, then the mapping gives a one-to-one correspondence between mesonic observables in the parent which are invariant under TK and arbitrary mesonic observables in the daughter theory. These classes of gauge-invariant observables, in both parent and daughter, will be termed “neutral”. Since the action of the parent theory contains a spacetime integral over the volume Λ, which is K d times the volume of Λ′ , the projection (2.2) does not map the action of the parent theory to the action of the daughter theory. Rather, Sparent −→ K d Sdaughter .

(2.4)

The prefactor is the ratio of the number of degrees of freedom in parent and daughter theories. This form of the relation between parent and daughter actions, involving a rescaling by an overall multiplicative factor, is common to all orbifold projections but has, on occasion, been misunderstood (as noted in Ref. [12]). For a lattice gauge theory (on a simple cubic lattice, with the lattice spacing set to one), if one chooses K = L then this volume-reducing projection maps the parent theory defined on an Ld site lattice to a daughter theory defined on a lattice with just one site. For the specific case of pure Yang-Mills theory with the usual Wilson action,  Nc X X tr Uµ [x] Uν [x+ˆ eµ ] Uµ† [x+ˆ eν ] Uν† [x] + h.c. , (2.5) SW ≡ λ d µ 1. Therefore, it is completely natural to view these volume-enlarging orbifold projections as the “inverses” of the volume-reducing projections discussed in the previous subsection. 13

The appropriate association of surviving blocks in Uµ with links in the lattice Λ is spelled out in detail (and in more generality) in the Appendix. But the basic idea is simple: Arbitrarily pick a surviving block of U1 and some site x of the lattice Λ, and map the chosen block of U1 to the link extending from site x in the x-direction. The term tr(U1 U2 U1† U2† ) in the EK model action (2.6) couples the chosen block of U1 to precisely one surviving block of U2 (and one block of U1† and one block of U2† ). Map these blocks to the links forming the plaquette in the x-y plane which starts at site x. Continuing in the same fashion, considering plaquettes containing one or more already-assigned links, leads to a one-to-one mapping from surviving blocks of the matrices {Uµ } to links of the lattice Λ.

–8–

2.2.1 Adjoint representation matter fields Generalizing these volume-enlarging projections to theories with adjoint representation matter fields (which may be either fermions or scalars) is straightforward. Consider, for example, adding an additional Hermitian matrix Φ to the one-site EK model, with action h X i Sparent = SEK + Nc tr κ Φ Uµ Φ Uµ† + V (Φ) . (2.12) µ

The hopping parameter κ and the scalar potential V (Φ) (which is some univariate function, bounded from below) are to be held fixed as Nc → ∞. Note that the U (1)d transformations (2.8) remain a symmetry in the presence of adjoint representation matter fields. The specific (ZK )d symmetry transformations which define the projection of interest act on Φ by conjugation, so the constraints (2.9) on {Uµ } are simply augmented by the conditions Φ = γν Φ γν† ,

ν = 1, · · ·, d ,

(2.13)

for the matrix Φ. The net effect of the constraint (2.13) is to reduce Φ to block diagonal form, with K d blocks, each of which is N × N . Each one of these blocks may be associated with a site of the lattice Λ in such a way that the result is a conventional U (N ) lattice gauge theory with an adjoint representation Hermitian scalar field. More precisely, the action (2.12) of the parent theory is mapped to K d times the daughter theory action [cf. (2.11)], with o X n X Sdaughter = SW + N tr κ Φ[x] Uµ [x] Φ[x+ˆ µ] Uµ† [x] + V (Φ[x]) . (2.14) x∈Λ

µ

As in the pure gauge case, there is a one-to-one mapping between single trace observables in the parent matrix model whose winding numbers are zero modulo K, and single trace observables in the daughter lattice theory which are averaged over lattice translations.14 2.2.2 Fundamental representation matter fields Defining an analogous volume-enlarging projection for theories with fundamental representation matter fields is, at first sight, problematic since fundamental representation fields break the U (1)d center symmetry which was an essential ingredient in the projection (2.9). However, this is not an insurmountable obstacle for theories with a U (Nf ) flavor symmetry. One may choose to regard a theory with a global flavor symmetry as the zero-coupling limit of a theory in which the U (Nf ) flavor symmetry is weakly gauged. In other words, a theory with a 14

If the action of the starting theory contains multi-trace operators, then the direct application of a volumeenlarging projection leads to a non-local daughter theory whose action contains terms involving multiple integrals (or lattice sums) over spacetime. However, such non-local terms may be eliminated by adding to the P action terms of the form x,y [O(x) − O(y)]2 involving the zero momentum variance (or higher cumulants) of gauge invariant operators. Adding such terms does not affect the leading large Nc dynamics, within the neutral sector, provided translation invariance is not spontaneously broken.

–9–

U (Nc ) gauge group and fundamental representation matter with U (Nf ) flavor symmetry may equally well be regarded as a U (Nc ) × U (Nf ) gauge theory with bifundamental matter, in the limit of vanishing coupling for the U (Nf ) gauge group. The resulting U (Nc ) × U (Nf ) theory is precisely a quiver gauge theory of the class discussed in section 4. This reinterpretation is helpful because the U (Nc ) × U (Nf ) theory, with bifundamental matter, now contains a U (1)d center symmetry (which transforms the U (Nc ) and U (Nf ) gauge fields just like the pure Yang-Mills case, and leaves the matter fields invariant). If Nf is divisible by K d , so that Nf = K d nf , then a volume-enlarging projection may be defined by suitably embedding the (ZK )d symmetry determining the projection into the product of the gauge and center symmetry groups of the U (Nc ) × U (Nf ) quiver theory. The resulting constraints have the effect of reducing the matter fields, viewed as an Nc × Nf matrix, to a block-diagonal form with K d blocks each of which is N × nf . If Nf /Nc is held fixed as Nc → ∞, then this volume-enlarging projection may again naturally be viewed as the “inverse” of the volume reducing projection. 2.2.3 Tensor representation matter fields Adding rank-two symmetric or antisymmetric tensor representation fields to a U (Nc ) YangMills theory reduces the center symmetry from U (1)d to (Z2 )d (corresponding to negating all link variables pointing in a given direction.) Starting from a single-site model, one may use this symmetry (plus gauge invariance) to define a volume enlarging projection which maps the theory to one on a periodic cubic lattice of size 2d . More generally, if one starts with the theory on a periodic lattice of size Ld , one may define volume enlarging projections which double the length of one or more lattice directions — provided L is odd. But, for reasons discussed in the Appendix, the same approach does not work if L is even.15 However, just as with fundamental representation fields, if one considers a theory with Nf degenerate flavors of matter fields, then a U (Nc ) gauge theory with a global U (Nf ) flavor symmetry may be viewed as the zero (flavor) coupling limit of a U (Nc ) × U (Nf ) gauge theory — which does have a U (1)d center symmetry. And with this enlarged gauge group one may define projections which increase the volume by K d , with K any integer, provided both Nc and Nf are divisible by K d .16 2.3 Large Nc equivalence In Refs. [6, 7], we proved an equivalence between the large N limits of a wide class of U (N ) field theories with adjoint matter and their orbifold projections yielding quiver gauge theories. More precisely, we demonstrated that the large-N dynamics of the parent and daughter 15 In brief, if L is even then the result of the projection is not a theory on a larger lattice, but rather multiple decoupled copies of the theory on the original lattice. See the Appendix for details. 16 However, with tensor representation matter fields it should be noted that one cannot define a natural large Nc limit by sending Nc → ∞ with Nf /Nc held fixed. Consequently, this way of defining a volume enlarging projection will not be useful to us.

– 10 –

theories, within their respective neutral sectors, coincide.17 If the symmetries defining the neutral sectors are not spontaneously broken, then the ground states of parent and daughter theories will lie within their respective neutral sectors. In this case, the expectation values of corresponding single-trace neutral operators in parent and daughter theories will have coinciding large N limits. Moreover, the leading large-N behavior of connected correlators (as well as ground state or thermal free energies) are also directly related.18 It is important to bear in mind that this large-N equivalence applies only to observables within the respective neutral sectors of the parent and daughter theories. Ref. [6] demonstrated this large-N equivalence by comparing generalized loop equations (or Schwinger-Dyson equations for correlators of gauge invariant operators) of parent and daughter theories. Ref. [7] used a more abstract, but more powerful, approach involving the comparison of large N classical dynamics constructed from suitable large N coherent states.19 The methods, and results, of Refs. [6, 7] extend immediately to the volume-reducing and volume-enlarging projections discussed above in gauge theories containing only adjoint representation matter fields. (The only difference is the precise form of the projection, and every step of the analysis of Refs. [6, 7] goes through with only minor cosmetic changes. Therefore, we refer readers to these references for details.) Consequently, the volume-reducing and volume-enlarging projections produce theories with coinciding large-N limits within their neutral sectors, just as discussed above.20 The corresponding situation for theories with 17

In the parent theory, neutral states (or operators) are those which are invariant under the symmetries used to define the projection. In the daughter theory, neutral states (or operators) are those which are invariant under global symmetries in the daughter which are remnants of gauge symmetries in the parent theory. Nonneutral operators are also called “twisted”. 18 ei If the projection maps the neutral single trace operators Oi in the parent to corresponding operators O in the daughter, then lim

|Gp |→∞

|Gp |M −1 hO1 · · · OM iconn =

lim

|Gd |→∞

e1 · · · O eM iconn , |Gd |M −1 hO

(2.15)

where |Gp | and |Gd | denote the dimension of the gauge group in the parent and daughter theory, respectively. Ground state energies (or free energies) satisfy the relation, lim

|Gp |→∞

parent |Gp |−1 Eg.s. =

lim

|Gd |→∞

19

daughter |Gd |−1 Eg.s. .

(2.16)

The comparison of loop equations directly reveals the necessity of the symmetry realization conditions for large-N equivalence of the lattice regularized field theories, or their continuum limits. If the symmetries defining the neutral sectors are spontaneously broken, then the loop equations of the two theories do not coincide, invalidating equivalence. Conversely, unbroken symmetries defining the neutral sectors imply coinciding loop equations. However, because loop equations generally can (and do) have multiple solutions, a demonstration of coinciding loop equations does not constitute a proof of equivalence, except in the large coupling, large mass phase of the lattice regulated theory where one can prove that the loop equations have a unique physical solution. The coherent state approach of Ref. [7] plugs this loophole and demonstrates equivalence in any phase of the theories (including their continuum limits) which satisfy the necessary and sufficient symmetry realization conditions. For early literature discussing loop equations in presence of adjoint matter, see also Ref. [30]. d 20 For a U (Nc ) gauge theory on a lattice of size Ld , note that the actual gauge symmetry group is U (Nc )L

– 11 –

fundamental or tensor representation fields is discussed separately below. If {Oi } are arbitrary gauge invariant single trace operators, with definite momenta which are commensurate with an Ld volume (i.e., whose momentum components are integer multiples of 2π/L), then the large-N equivalence applied to the the projection from a volume Λ = (KL)d to a smaller volume Λ′ = (L)d implies that connected correlators of these operators satisfy 2 M −1 lim (K d N 2 )M −1 hO1 · · · OM iN,KL hO1 · · · OM iN,L conn = lim (N ) conn ,

N →∞

(2.17)

N →∞

where h· · · iN,L denotes an expectation value in a periodic cube of size L with the specified value of N , provided the theory in volume Λ′ does not spontaneously break the (ZK )d subgroup of the U (1)d center symmetry and the theory in volume Λ does not spontaneously break translation invariance (by multiplies of L). Similarly, the large-N equivalence applied to the volume-enlarging projection from Λ′ back to Λ implies that d

d 2 M −1 N,L lim (N 2 )M −1 hO1 · · · OM iN,KL hO1 · · · OM iK conn , conn = lim (K N )

(2.18)

N →∞

N →∞

again provided that (ZK )d center symmetry is not spontaneously broken in volume Λ′ , and translation invariance is unbroken in volume Λ. Volume-changing orbifold projections directly connect theories in volumes of commensurate size (i.e., with spatial periods which are integer multiples of each other). Volume independence is more general, but this too follows from the large N orbifold equivalence, because the equivalence of large N dynamics (within respective neutral sectors) is a transitive relation among theories. For example, consider a U (Nc ) gauge theory formulated in volume Λ = (KL)d and in volume Λ′ = (K ′ L)d . Let Q be the greatest common divisor of K and K ′ , Q = gcd(K, K ′ ). If K is not divisible by K ′ (or vice-versa), then no volume-changing projection directly relates these two volumes. However, a volume-enlarging projection relates both of these theories to volume Λ′′ = (K ′′ L)d , with K ′′ = KK ′ /Q. Therefore, correlators of corresponding neutral observables in the theories in volume Λ and Λ′ satisfy the appropriate generalization of Eq. (2.18), namely, ′

d N,KL

(K /Q) lim (K ′d N 2 )M −1 hO1 · · · OM iconn

N →∞

d N,K ′ L

(K/Q) = lim (K d N 2 )M −1 hO1 · · · OM iconn N →∞

,

(2.19) (since there is an independent U (Nc ) group on each site) with a total dimension of Ld Nc2 . For a volumereducing projection mapping a parent U (Nc ) theory on a lattice Λ of size (KL)d to a daughter U (Nc ) theory on a lattice Λ′ of size Ld , the factor in the relation (2.4) between the actions of these theories equals the ratio of the dimensions of their gauge groups, |Gp |/|Gd | = K d . And for the volume-enlarging projection taking a U (K d N ) theory on a size Ld lattice to a U (N ) theory on a size (KL)d lattice, the factor in the relation (2.11) between the actions in this case is also the ratio of the dimensions of their gauge groups, |Gp |/|Gd | = [Ld (K d N )2 ]/[(KL)d N 2 ] = K d . Therefore, these mappings between actions could have been written in either case as |Gp |−1 Sparent → |Gd |−1 Sdaughter , which is precisely the relation (2.16) between actions (or ground state energies) noted in footnote 18.

– 12 –

provided the (ZK ′ /Q )d center symmetry is not spontaneously broken in volume Λ, and the (ZK/Q )d center symmetry is not broken in Λ′ . This relation is applicable to single-trace observables whose winding numbers vanish mod K ′ /Q in Λ (or mod K/Q in Λ′ ), and whose momenta are quantized in units of 2π/(QL). Of course, the recognition of the volume independence of large N gauge theories is far from new and, in the case of pure gauge theories, goes back to the original paper of Eguchi and Kawai [1]. (The coherent state proof of equivalence, for pure gauge theories, is contained in a small comment in Ref. [3].) But the natural connection to orbifold projections, the appropriate extension to theories with matter, and the validity of the above relations for connected correlators21 have not been widely appreciated. Translation invariance is not expected to break spontaneously in any normal local field theory. But, as noted in the Introduction, it has long been known that for sufficiently weak coupling the single-site EK model (in more than two dimensions) spontaneously breaks the U (1)d center symmetry and therefore its correlators cease being equivalent (in the large N limit) to those of large volume Yang-Mills theory. For large-N pure gauge theory on larger periodic cubic lattices, the situation has been clarified in recent years thanks to the numerical work of Kiskis, Narayanan and Neuberger [4, 5]. (See also earlier work [16].) The d = 4 phase diagram they find, as a function the bare inverse ’t Hooft coupling 1/λ0 and lattice volume V , is shown schematically in Fig. 1. The continuum limit corresponds to 1/λ0 → ∞. The U (1)4 center symmetry is broken spontaneously to U (1)3 , U (1)2 , U (1), and nothing in the phases labeled 1c, 2c, 3c, and 4c, respectively. All symmetries are unbroken in the phases labeled 0h and 0c. These two phases are distinguished by the single plaquette eigenvalue distribution; in phase 0h it has support on the entire unit circle, while it develops a gap in phase 0c. The transition between these two phases is an analog of the Gross-Witten transition in two dimensions [31], and is not associated with spontaneous breaking of any symmetry. The symmetry breaking phase transition lines, appearing as red curved lines in the figure, approach scaling lines which reach finite physical volume (and infinite lattice volume) in the continuum limit [5]. Consequently, large-N volume independence of Yang-Mills theory (in d > 2) is valid only in the 0c and 0h phases, i.e., above the first symmetry-breaking phase transition line, which defines the minimal size Lc (λ0 ) of a periodic lattice for which large N volume independence holds. This is illustrated on the right in Fig. 1. The addition of adjoint representation matter fields can affect the existence of a minimal size for which large N volume independence holds. In particular, one or more flavors of light adjoint representation fermions, defined with periodic boundary conditions, can entirely suppress the center-symmetry breaking phase transitions. 21

The large-N equivalence of the Eguchi-Kawai matrix model (2.6) to lattice gauge theory only applies to neutral operators Oi in the finite-volume theory with zero momentum. Therefore, information (such as glueball masses) encoded in long-distance behavior of correlations is not captured by the matrix model. Retaining such information in a reduced volume theory requires keeping at least one uncompactified dimension. See Ref. [23] for previous discussion of this issue in reduced models.

– 13 –

V =∞

V =∞ Equivalence lines 0h

0c

Lc (λ0 ) 1c

2c

3c

4c

V =0

V =0 0

1/λ0



0

1/λ0



Figure 1: Left: the phase diagram of U (Nc ) lattice Yang-Mills theory on a four-dimensional periodic cube, in the limit of large Nc , as a function the lattice volume V and inverse (bare) ’t Hooft coupling λ0 . The V = 0 axis corresponds to the single-site Eguchi-Kawai model. Solid red lines separate phases with different realizations of the U (1)4 center symmetry, as described in the text. These lines approach finite physical volumes (and infinite lattice volume) in the λ0 → 0 continuum limit. The dashed line is a lattice artifact and represents a Gross-Witten type phase transition in which the one plaquette eigenvalue distribution develops a gap. The figure is adapted from a description in Ref. [5]. Right: volume independence of large N lattice Yang-Mills theory, as a function of the inverse (bare) ’t Hooft coupling. The vertical green lines are lines of large N equivalence. Both volume reduction (downward arrows) and volume expansion (upward arrows) may be interpreted as orbifold projections. The red line corresponds to the first center-symmetry breaking phase transition (separating the 1c phase from the 0c or 0h phases). Volume independence fails below this line. As discussed in the text, the addition of light adjoint representation matter fields can eliminate the existence of the phases with spontaneously broken center symmetry.

This is discussed below in the section 3. In such theories, large-N volume independence holds for periodic cubic volumes of any size . Once again, it must be emphasized that large-N orbifold equivalence applies only to suitable “neutral” observables. In the case of volume independence, this means single-trace observables whose momenta and winding numbers are commensurate with both volumes one is comparing. For the validity of large-N orbifold equivalence, what is significant is not the existence of non-neutral sectors, but rather the realization of the symmetries which define the relevant neutral sectors. This inevitably depends on the detailed dynamics of the theory, as well as the volume under consideration. The example of large-N volume independence, depicted in Fig. 1, is a particularly clear illustration of this point. Fundamental representation matter As noted earlier, for theories with fundamental representation matter fields and U (Nf ) flavor symmetry, one can define a volume-enlarging projection (for suitably large values of Nc and

– 14 –

Nf ) by regarding the flavor symmetry as weakly gauged and exploiting the U (1)d center symmetry which is part of the enlarged gauge group. If Nf /Nc is held fixed as Nc → ∞, then the methods of Refs. [6,7] also apply to the comparison of these theories in different volumes, and imply that large N dynamics coincides within their respective neutral sectors. There is, however, one crucial difference affecting the utility of this result. In a U (Nc ) × U (Nf ) gauge theory, the center symmetry which defines the neutral sector of the smaller volume theory is always spontaneously broken in the limit of arbitrarily weak coupling for the flavor group. This merely reflects the fact that arbitrary constant, commuting values of the flavor gauge field are equally valid vacuum configurations in the limit of vanishing gauge coupling for the flavor group. Therefore large N volume independence does not hold for vacuum (or thermal) expectation values in theories with fundamental representation matter when Nf /Nc is held fixed. This failure of large Nc volume independence may be understood more physically by considering the Casimir energy of these theories. In a confining theory, if one or more dimensions are compactified then the theory will have a non-zero Casimir energy whose value depends on the size of the compactification. In a pure gauge theory, the spectral density of glueballs remains O(1) in the large Nc limit, and hence their contribution to the Casimir energy is also O(1). Large Nc volume independence only applies to O(Nc2 ) contributions to the ground state energy, and this is unaffected by the volume dependent Casimir energy contributions. The same result holds for theories containing adjoint representation matter fields (whose number does not grow with Nc ). But if the theory contains Nf degenerate fundamental representation matter fields, then the hadron spectrum will include bound mesons, and their spectral density will be proportional to Nf2 (since one can independently specify the flavor of the valence quark and antiquark). Consequently, the Casimir energy will scale as Nf2 , implying that large Nc volume independence (of ground state properties) must fail if Nf /Nc is held fixed. If instead one chooses to hold Nf fixed as Nc → ∞, then the fundamental representation fields have no effect whatsoever on the leading O(Nc2 ) contribution to the ground state energy (or free energy), or on the leading large Nc behavior of connected correlators of single-trace (gluonic) observables. However, one may consider subleading O(Nc ) contributions to the vacuum energy (or free energy), as well as the behavior of connected correlators involving mesonic operators. Large Nc volume independence does hold for O(Nc ) thermodynamic contributions, and for mesonic correlators, when Nf is held fixed. One may show this by examining the coherent state algebra for the mesonic sector [32,33] or, perhaps more directly, by integrating out the fundamental representation fermions and considering the resulting non-local gluonic observables. Under this procedure, the expectation value of a fermion ¯ bilinear ψ(x)M ψ(x) becomes tr [M G(x, x)] where G(x, y) is the Green’s function for the Dirac operator D / in an arbitrary background gauge field and M is some matrix acting on Dirac indices. This matrix element of the Dirac propagator may be expanded as a linear combination of Wilson loops passing through the point x. These will include both topologically trivial loops

– 15 –

which lie in the neutral sector of a volume-enlarging projection, and topologically non-trivial loops with non-zero net winding around the periodic volume. However, as long as the center symmetry of the gluonic theory (in the absence of fundamental representation matter) is unbroken, then the expectation value of all topologically non-trivial loops, which lie in the twisted sector, will vanish. So the expectation value of any gauge invariant fermion bilinear is equivalent to the expectation value of a neutral single-trace gluonic operator, provided the symmetry realization necessary for large Nc volume independence is satisfied. The same argument can be applied to connected correlators of mesonic operators. Integrating out the fermions in this case will generate both expectation values of single trace contributions of the form tr[M1 G(x1 , x2 ) M2 G(x2 , x3 ) M3 · · · G(xM , x1 )] ,

(2.20)

and connected correlators of multi-trace contributions, such as tr[M1 G(x1 , x1 )] tr[M2 G(x2 , x3 ) M3 · · · G(xM , x2 )] .

(2.21)

The single-trace contributions are linear combinations of Wilson loops. Once again, only the topologically trivial (neutral) loops, to which large Nc volume independence applies, have nonvanishing expectation values as long as the center symmetry of the gluonic theory is unbroken. But the multi-trace contributions lead to connected correlators of both topologically trivial and non-trivial Wilson loops. Connected correlators of topologically non-trivial Wilson loops are non-zero even when center symmetry is unbroken. Despite the existence of these non-neutral (and volume dependent) contributions to connected correlators of mesonic operators, volume independence is valid for the leading large Nc behavior of connected correlators of arbitrary mesonic operators,22 when the center symmetry of the gluonic theory is unbroken and Nf is held fixed as Nc → ∞. The key point is that the multi-trace contributions to connected correlators are suppressed by a power of Nf /Nc relative to the single trace contributions. If {Oi } are mesonic operators scaled to have finite large Nc expectation values, then standard large Nc counting [34] shows that the single-trace con−(M −1) tributions to hO1 · · · OM iconn are O(Nc ). But because connected correlators of gluonic 2 operators scale with powers 1/Nc , not 1/Nc , multi-trace contributions to connected correlators of mesonic operators are subdominant relative to the leading single-trace contributions, provided Nf /Nc ≪ 1. Tensor representation matter An analysis of either loop equations, or large N coherent state dynamics, may be used to examine volume independence in large Nc theories with rank-two tensor representation matter 22

Or products of mesonic and neutral single-trace operators.

– 16 –

fields. Appropriately adapting the methods of Refs. [6,7], one finds that large Nc volume independence is valid, just as in theories with adjoint representation matter fields. In particular, Eqs. (2.17)–(2.19) expressing the equivalence between connected correlators (or expectation values) of neutral single trace observables in volumes Λ = (KL)d and Λ′ = (L)d hold provided that translation invariance is not spontaneously broken in the larger volume theory, and the (Z2 )d center symmetry is not spontaneously broken in the smaller volume theory.23 Just as with adjoint representation matter, this equivalence applies to single trace observables whose winding numbers, and total momentum, are compatible with the spatial periodicity in both volumes. 2.4 Temperature dependence In our discussion of volume changing projections we have, purely for ease of presentation, focused on the case of mappings which uniformly affect all dimensions. However, all discussion of large N spacetime volume independence applies equally well to mappings which expand or contract different dimensions independently. The particular case of large N equivalence under mappings which change the size of just one periodic dimension is relevant for understanding temperature dependence in large N gauge theories (since a non-zero temperature theory is merely one in which a chosen Euclidean time direction has been compactified with a period equal to the inverse temperature β ≡ 1/T ). Consider some large N gauge theory at two different (inverse) temperatures β and β ′ . As always, large N equivalence applies only to observables in appropriate neutral sectors, and only if the symmetries defining these neutral sectors are not spontaneously broken. If β = Kβ ′ , for some integer K, then the neutral sector in the lower temperature theory consists of all single trace observables whose Matsubara frequencies are integer multiples of 2π/β ′ (not 23

There are some interesting subtleties with tensor representation matter, related to the fact that the center symmetry is only (Z2 )d , not U (1)d . In the loop equations for expectation values of winding number zero observables, the splitting terms arising from self-intersections can generate (after using large N factorization) the product of expectations of two smaller loops, each of which may have a non-zero winding number. Since the possible set of such non-zero winding number loops is volume dependent, if such (non-neutral) loops have non-zero expectation values, this violates large Nc volume independence. In U (Nc ) gauge theories with only adjoint representation matter, the U (1)d center symmetry, if unbroken, guarantees (for any value of Nc ) that all loops with non-zero winding numbers have vanishing expectation values. But in theories with only a (Z2 )d center symmetry [such as U (Nc ) theories with tensor representation matter fields, or O(Nc ) pure gauge theories], the center symmetry only forces loops with odd winding numbers to have vanishing expectation values. Loops with even winding numbers can, and will, have non-zero expectations for finite values of Nc . But these expectation values are 1/Nc suppressed in the large Nc limit, provided the (Z2 )d center symmetry is unbroken. This may be understood from the loop equations for observables with non-zero but even winding numbers. It is the splitting terms which act like source terms that generate non-zero expectation values for larger loops. In, for example, the equation for a winding number two observable, the source terms can involve products of winding number one loops, but cannot have products of only winding number zero loops. As long as the (Z2 )d center symmetry is unbroken, the disconnected part of the expectation of a product of two winding number one loops will vanish, while the connected part is 1/Nc suppressed. At Nc = ∞ there is, in essence, a topological conservation law which prevents non-zero winding number sectors from directly coupling to the zero winding number sector, even when the center symmetry, alone, would allow such coupling.

– 17 –

just integer multiples of 2π/β). This, of course, is equivalent to the requirement that the observables be invariant under Euclidean time translation by multiples of β ′ . In the higher temperature theory, the neutral sector consists of all single trace observables whose winding numbers around the thermal circle are multiples of K. The large N limits of expectation values of corresponding neutral observables coincide, and their connected correlators satisfy the relation (2.17) (with d = 1), provided the ZK symmetry defining the neutral sector in the higher temperature theory is not spontaneously broken. In the context of thermal gauge theories with only adjoint or tensor representation matter, the realization of the center symmetry associated with the thermal circle provides a sharp distinction between a confining phase, in which the center symmetry is unbroken, and a deconfined plasma phase, in which the center symmetry is spontaneously broken. Hence, the condition of unbroken center symmetry, required for large N volume independence, is precisely the same as the requirement that the theory be in a confining phase. Therefore, within a confining phase, large Nc volume independence implies that the O(Nc2 ) part of the free energy is temperature independent. This is true, but trivial, in pure gauge theories, and theories with only adjoint or tensor representation matter fields, since temperature dependent contributions to the free energy in the confining low temperature phase of such theories only arises from glueball-like bound states whose spectral density is O(Nc0 ).24 The implications of large N temperature independence are non-trivial for expectation values and connected correlators of neutral operators. If β and β ′ are not rationally related, then the neutral sector consists of single-trace observables for which both the Matsubara frequency and winding numbers around the thermal circle vanish.25 Large N temperature independence implies, for example, that the value of the chiral condensate in QCD (with Nf fixed), or in N = 1 super-Yang-Mills, is temperature independent at Nc = ∞ in the 2 i and the area law coefficient of confining phase. The non-perturbative gluon condensate hFµν spacelike Wilson loops must likewise be temperature independent. But large N temperature independence does not apply to the physical string tension, since this is determined by the correlator of Wilson lines which wrap just once around the thermal circle, and these operators do not lie within the relevant neutral sector. 24

Temperature independence of the free energy also applies to the O(Nc ) part of the free energy if there are fundamental representation matter fields with Nf held fixed as Nc → ∞, but this temperature independence is again trivial since the thermal contribution of mesons is O(Nf2 ) which, by assumption is O(Nc0 ). However, if Nf scales with Nc , so that their ratio is held fixed, then the free energy does have non-vanishing O(Nc2 ) temperature dependence and large N temperature independence fails to hold. 25 If β and β ′ are rationally related, so that β/M = β ′ /M ′ for coprime integers M and M ′ , then the neutral sector is larger and consists of observables whose Matsubara frequencies are multiples of 2π/(β/M ), and whose winding number in the temperature β theory vanish modulo M ′ (or equivalently whose winding number in the β ′ theory vanish modulo M ).

– 18 –

3. Eguchi-Kawai reduction for QCD As reviewed above (and illustrated in Fig. 1), large Nc volume independence for pure YangMills theory (in d > 2 dimensions) is valid only above a critical size, L > Lc (d). Below this limit, spontaneous breaking of the U (1)d center symmetry invalidates volume independence. Adding fundamental representation matter fields either has no effect on this breakdown of large Nc volume independence (if Nf is held fixed), or completely destroys volume independence (if Nf /Nc is held fixed) for large volumes. The effect of adjoint or tensor representation matter fields on volume independence is more interesting, since a single flavor of such matter fields can have a significant impact on the dynamics of the theory, even at Nc = ∞. If one considers QCD(AS) [or QCD(S)] with one or more compactified dimensions, then a simple perturbative analysis of the one-loop effective potential for Wilson lines [13, 18], which is reliable when the compactification radius is small d 26 (This compared to Λ−1 QCD , shows that the (Z2 ) center symmetry is spontaneously broken. is true regardless of whether one uses periodic or antiperiodic boundary conditions for the fermions.) But a confining phase with unbroken center symmetry (and spontaneously broken chiral symmetry) will surely exist in sufficiently large volume. Therefore, large Nc volume independence in QCD(AS/S) fails below some critical size, which must be of order Λ−1 QCD , just as in pure Yang-Mills theory. The situation with adjoint representation fields is different. Consider U (Nc ) QCD(Adj) with one or more flavors of massless adjoint Majorana fermions. (Asymptotic freedom requires that Nf ≤ 5.) Let one dimension be compactified with a radius L which is much smaller than all other dimensions, as well as Λ−1 QCD , and choose periodic boundary conditions for the adjoint 3 fermions. So the theory is on R × S 1 , where the S 1 may be regarded as a spatial circle. The one-loop effective potential for the Wilson line around this compactified direction is27 ∞

QCD(Adj)

Veff

2 X 1 |tr Ωn |2 π 2 L4 n4 n=1   4 Nc X Nf −1 8π 2 2 2 [v − v ] ([v − v ] − 2π) N − . = i j i j 24π 2 L4 15 c

(Ω) = (Nf −1)

(3.1)

i,j=1

Here {eivj } denote the eigenvalues of the (untraced) Wilson line Ω, and [x] ≡ x mod 2π indicates quantities defined to lie within the interval [0, 2π). Note that this effective potential is positive for Nf > 1, negative for Nf = 0, and vanishes for Nf = 1. If Nf = 0, then the potential generates an attractive interaction between eigenvalues leading to spontaneous breaking of the center symmetry and a non-zero expectation value for the Wilson line. This is 26

The small volume phase also has unbroken chiral symmetry. See Ref. [18] for further details. This analysis requires that 1 ≤ Nf ≤ 5. Adding more than five flavors destroys asymptotic freedom. 27 A completely analogous, but more complicated, formula results if one compactifies two or more dimensions with radius L. The following discussion is unaffected. See Ref. [13] for details.

– 19 –

just the pure Yang-Mills case discussed above, in which center symmetry breaking invalidates volume independence in small volumes. If Nf > 1, then the potential generates a repulsive interaction between eigenvalues. Consequently, the Wilson line eigenvalues distribute uniformly around the unit circle, the Wilson line expectation value htr Ωi vanishes, and the center symmetry is unbroken.28 If Nf = 1, then the massless QCD(Adj) theory is just N = 1 supersymmetric YangMills theory. For this case, the one-loop potential identically vanishes. Supersymmetry guarantees that this remains true at all loop orders. However, there is an instanton induced non-perturbative superpotential [35]. The role of the non-perturbative potential in the Nf = 1 case is essentially identical to the role of the one-loop effective potential when Nf is greater than one. It also provides eigenvalue repulsion which leads to unbroken center symmetry and vanishing Wilson line expectations, htr Ωi = 0. The instanton analysis is justified in sufficiently small volume, but the simple dependence on the holomorphic coupling required by supersymmetry guarantees that the result remains valid in arbitrary volume. Consequently, QCD with 1 ≤ Nf ≤ 5 massless adjoint representation fermions (and periodic boundary conditions) does not undergo a spatial center symmetry breaking phase transition in small volume.29 If non-zero fermion masses are introduced, this symmetry realization will be stable provided the fermion masses are small compared to ΛQCD .30 Therefore, with at least one (and at most five) light fermions, QCD(Adj) is an asymptotically free, confining gauge theory which satisfies large Nc volume independence all the way down to zero size. To recap, large Nc volume independence fails for sufficiently small volumes in QCD(AS/S) but remains valid in QCD(Adj) (with periodic boundary conditions for fermions). Despite this difference, the validity of volume independence down to zero size in QCD(Adj) has interesting implications for QCD(AS/S). The key ingredient for this connection is the existence of a large Nc equivalence [10, 11, 18] between QCD(AS/S) and QCD(Adj) (for coinciding values of Nf , ‘t Hooft coupling, fermion masses, and boundary conditions) provided that charge conjugation symmetry (C) is not spontaneously broken in QCD(AS/S).31 The appropriate neutral sector in QCD(AS/S) for this large Nc equivalence consists of charge conjugation 28

As noted above, we are viewing the S 1 as a spatial circle, and accordingly the relevant center symmetry is a spatial center symmetry. Its realization should not be interpreted as a confinement criterion, since it is temporal Wilson lines, not spatial Wilson lines, which are order parameters for confinement/deconfinement transitions. But if antiperiodic boundary conditions are chosen, then one may instead regard the S 1 as a temporal circle, in which case a small radius compactification is equivalent to the high temperature limit. For this choice, regardless of the number of fermions, the one-loop potential generates an attractive interaction between the Wilson line eigenvalues which causes spontaneous breaking of the (temporal) center symmetry, thereby signaling deconfinement and invalidating large Nc temperature independence. 29 This is true for SO(2Nc ) and Sp(2Nc ) gauge groups as well as for U (Nc ). 30 But as one raises the fermion mass, in sufficiently small volumes, there will be a phase transition to a center-symmetry broken phase at some critical mass of order ΛQCD , since the behavior of the theory must approach that of pure Yang-Mills theory when all fermion masses are large compared to the strong scale. 31 This so-called “orientifold equivalence” is an example of a daughter-daughter orbifold equivalence; one can

– 20 –



QCD(AS/S)

QCD(Adj) orientifold equivalence



orbifold equivalence

L

LC combined orbifold−orientifold equivalence

0

0

Figure 2: Large Nc equivalences relating QCD(AS/S) and QCD(Adj), as a function of the size L of the periodic volume in which the theories are defined. Provided periodic boundary conditions are used for fermions, volume independence holds in QCD(Adj) for all L. But in QCD(AS/S), volume independence fails below a critical size, L < LC , (shaded region) due to spontaneous breaking of center symmetry. This prevents reduction all the way down to a single-site matrix model for QCD(AS/S). Large Nc orientifold equivalence holds between QCD(Adj) and QCD(AS/S) as long as charge conjugation symmetry is unbroken in QCD(AS/S). This should be true in sufficiently large volumes, but fails when L < LC . The combination of volume changing orbifold projections in QCD(Adj) along with the orientifold equivalence in large volume provides a useful equivalence between small volume QCD(Adj) and large volume QCD(AS/S). In particular, a single-site matrix model of QCD(Adj) will reproduce properties of infinite volume QCD(AS/S).

even single-trace bosonic operators. Consequently, as long as charge conjugation symmetry is not spontaneously broken in QCD(AS/S), expectation values and connected correlators of corresponding C-even single-trace operators in QCD(AS/S) and QCD(Adj) will coincide at Nc = ∞. In sufficiently small volume, charge conjugation symmetry is spontaneously broken in QCD(AS/S) if one uses periodic boundary conditions for fermions. In this case, the spontaneous breaking of the (Z2 )d center symmetry mentioned above is associated with the development of an imaginary expectation for the Wilson line, which indicates spontaneous breaking of charge conjugation (as well as parity and time reversal) symmetry, in addition to the broken spatial center symmetry [18]. This symmetry breaking is sensitive to the choice of boundary obtain either U (Nc ) QCD(AS/S) or U (Nc ) QCD(Adj) by applying different orbifold projections to a common parent theory [namely, QCD(Adj) with either SO(2Nc ) or Sp(2Nc ) gauge group]. See Ref. [18] for further discussion.

– 21 –

conditions for the fermions and is evidently a finite size effect. There is no known reason to expect spontaneous breaking of charge conjugation symmetry in sufficiently large volumes. For the case of Nc = 3 and Nf = 4, recent lattice simulations [19] have clearly seen the presence of a small volume phase in QCD(AS) with spontaneously broken charge conjugation symmetry, together with clear evidence for a phase transition consistent with restoration of charge conjugation symmetry at a critical size very near the inverse strong scale. [The chiral symmetry realization also changes at this transition, indicating the presence of a chirally symmetric phase of QCD, at zero (or low) temperature, in sufficiently small volume.] Therefore, it seems reasonable to believe that QCD(AS/S) does have unbroken charge conjugation symmetry in large volume.32 Consequently, the large Nc equivalence between QCD(AS/S) and QCD(Adj) should be valid above a critical size, while large Nc volume independence in QCD(Adj) is valid for all sizes. Hence, even though volume independence fails in QCD(AS/S) in sufficiently small volume, QCD(AS/S) in large volume has a large Nc equivalence relating it to QCD(Adj) in arbitrarily small volumes. This is depicted schematically in Fig. 2. This equivalence applies to observables in the intersection of the neutral sectors for the orientifold equivalence and volume changing orbifold projections. Explicitly, these are C-even single-trace observables whose total momenta are compatible with the small volume. In particular, a single-site version of QCD(Adj), which is just the EK matrix model (2.6) augmented with adjoint representation Grassmann variables, will reproduce the leading large Nc behavior of all expectation values, and zero-momentum connected correlators, of arbitrary C-even single-trace observables in infinite volume QCD(AS) — which is a natural generalization of real QCD to large Nc . This is a version of Eguchi-Kawai reduction of large Nc QCD which works all the way down to zero size.

4. Theory space volume independence The spacetime volume independence discussed in the previous section has a natural counterpart involving large N equivalences among quiver gauge theories. It is convenient to represent the gauge group and matter content of such theories by a “theory space graph” (or “quiver diagram”), as illustrated in Fig. 3. Each node represents a simple gauge group factor, while each bond represents a matter field. A directed bond which connects two nodes represents a matter field transforming under the fundamental representation of the gauge group factor where it starts, and the anti-fundamental representation of the gauge group factor where it 32

However, there is no rigorous proof of this. The Vafa-Witten theorem on R4 [27] demonstrates unbroken parity, but does not determine the charge conjugation symmetry realization. In fact, the theorem only rules out cases of spontaneous breaking of parity with a local order parameter. In a compactified theory, breaking of parity and center symmetry can be entangled so that order parameters must involve topologically non-trivial Wilson lines. Spontaneous symmetry breaking in this case is not ruled out by the Vafa-Witten theorem [and occurs in just this manner in QCD(AS/S)].

– 22 –

(b)

(a)

Figure 3: Examples of theory space graphs. Graph (a) shows the case of a U (N )6 gauge theory with 12 bifundamental representation matter fields; one set, represented by solid bonds, transforms under “nearest neighbor” group factors while the other set, represented by dashed bonds, transforms under next-nearest neighbor group factors. This graph (and the underlying theory) has an obvious Z6 symmetry corresponding to cyclic permutations of the different group factors. Graph (b) shows the case of a U (N )2 theory which may be obtained from theory (a) by applying a projection based on the Z3 subgroup of the theory space symmetry group.

ends. A bond which begins and ends at the same node represents a matter field transforming under the adjoint representation of the corresponding gauge group factor. Note that in any quiver theory containing only adjoint or bifundamental matter fields, gauge invariant single-trace operators must correspond to closed loops in theory space. (For more detailed discussion see, for example, Refs. [24, 25].) 4.1 Volume reducing projections If the theory has a global symmetry which interchanges or permutes equivalent gauge group factors, then this symmetry will be a geometric invariance of the theory space graph. A simple d example is a parent theory with a U (N )L gauge group and Nf Ld bifundamental matter fields coupling the different gauge group factors in such a way that the resulting theory has a (ZL )d symmetry which cyclically permutes gauge group factors. Fig. 3(a) illustrates a case of L = 6, d = 1, and Nf = 2. Let T be some chosen subgroup of the global symmetries involving theory space permutations. One may define a projection which eliminates degrees of freedom that are not invariant under the subgroup T . This is equivalent to identifying nodes (and bonds) of the theory space graph which are related by transformations in T . The result will be a daughter theory with a theory space which is smaller than that of the parent, as illustrated in Fig. 3. In the example of a parent theory with (ZL )d theory space symmetry, consider the case of T = (ZK )d , where L is divisible by K. The projection will yield a daughter theory with a smaller (ZL′ )d theory space, with L′ ≡ L/K. The discussion in section 2.1, concerning projections based on a subgroup of the spacetime translation symmetry group, may be reapplied almost verbatim to this class of projections which reduce the size of theory space.

– 23 –

The neutral sector of the parent theory consists of gauge invariant single-trace operators which are invariant under the projection subgroup T . The neutral sector of the daughter theory consists of gauge invariant single-trace operators whose winding numbers around the periodic cycles in theory space all vanish modulo K. The projection defines a one-to-one mapping between these two neutral sectors. Once again, the action (or free energy) of the parent and daughter theories are related by an overall factor of the size of the projection subgroup, Sparent −→ K d Sdaughter .

(4.1)

4.2 Volume enlarging projections One may also define projections which increase the size of theory space, in a manner completely analogous to the previous discussion of spacetime volume enlarging projections. The only difference between the two cases is that for quiver theories, it is the bifundamental matter fields which transform non-trivially under two different gauge group factors, while for a lattice gauge theory it is the link variables which transform non-trivially under gauge group factors located at two different sites. The most commonly discussed examples of orbifold projections map a U (Nc ) theory with a simple gauge group into a quiver theory. (See, for example, Refs. [6, 24, 25].) These cases correspond precisely to the volume enlarging projections of the single-site Eguchi-Kawai model discussed above. A (ZK )d projection, for example, corresponds to constraints of the form Aµ = γν Aµ γν† , ν = 1, · · · , d , (4.2) for the gauge fields (viewed as Nc × Nc matrices), together with Φa = γν Φa γν† e2πirν [Φa ]/K ,

ν = 1, · · · , d ,

(4.3)

for matter fields. Here Nc must be divisible by K d and {γν } are the same mutually commuting matrices which appeared in Eq. (2.9) and are defined explicitly in Eq. (A.2). Each matter field Φa is assigned a d-dimensional integer-valued charge vector with components rν [Φa ]. Different choices for the charge vector assigned to each field correspond to different embeddings of (ZK )d into the product of the gauge and flavor symmetry groups, and produce daughter theories with differing connectivities in their theory space graphs. If the charge vector assigned to a particular field vanishes, then field becomes an adjoint representation field in the daughter theory. If the charge is non-zero, then the field becomes a bifundamental, with the value of the charge vector determining the connectivity of the corresponding bonds in the theory space graph. The neutral sector in the parent U (Nc ) theory consists of gauge invariant single-trace operators for which the sum of the charge vectors of all matter field insertions vanish. The

– 24 –

d

neutral sector in the daughter [U (N )]K theory consists of gauge invariant single-trace operators which are invariant under (ZK )d cyclic permutations of the gauge group factors (corresponding to translations in the periodic theory space graph). Once again, the projection defines a one-to-one mapping between these two neutral sectors, with the appropriate relation between the actions of the two theories involving a rescaling by the size of the projection, Sparent −→ K d Sdaughter .

(4.4)

Instead of starting from a parent theory with a simple gauge group, one may define analogous theory-space enlarging projections starting from any quiver theory. This is done analogously to the volume expansion procedure of the lattice gauge theory, as discussed in the Appendix. 4.3 Large N equivalence The entire discussion of large N equivalence in section 2.3 applies equally well to the above examples of theories related by (ZK )d theory-space enlarging or reducing projections. The N = ∞ dynamics within corresponding neutral sectors coincides. If the ground (or equilibrium) states of both theories lie within their respective neutral sectors, then the large N equivalence implies coinciding expectation values of corresponding neutral single-trace operators, and connected correlators of such operators related by Eqs. (2.17) and (2.18) (with d h· · · iN,L now denoting an expectation in a [U (N )]L quiver theory with a (ZL )d invariant theory space). The condition that the ground (or equilibrium) state of a theory lie within its neutral sector is precisely the requirement that the symmetries defining the neutral sector not be spontaneously broken. The symmetry realization will, inevitably, depend on the specific dynamics of a theory. This includes not just the field content of the theory plus masses and couplings of matter fields, but also, for example, the temperature and the spatial volume in which the theory is defined (as well as the associated boundary conditions). The most well-studied example of large N equivalence, the Z2 projection of N = 1 supersymmetric U (2N ) Yang-Mills theory, yielding a non-supersymmetric U (N ) × U (N ) theory with a bifundamental fermion, turns out to be remarkably similar to the case of spacetime volume independence in pure Yang-Mills theories discussed above. For this Z2 projection of super-Yang-Mills, a useful large N equivalence requires that the Z2 symmetry exchanging gauge group factors in the non-supersymmetric quiver theory be unbroken. However, this symmetry is known to be spontaneously broken when the theory is compactified (with periodic boundary conditions) on R3 ×S 1 , with the radius of the S 1 small compared to the inverse confinement scale, R ≪ Λ−1 [9]. In large volume, there is no evidence that this Z2 symmetry is broken, nor is there any proof (or solid evidence) that it is unbroken [12]. At sufficiently high temperature, T ≫ Λ, it is clear that this Z2 symmetry is unbroken [18]. Hence, large N equivalence to N = 1 super-Yang-Mills is valid at sufficiently high temperatures, and may be valid at low temperatures in sufficiently large volume.

– 25 –

5. Discussion This paper has attempted to highlight the direct connection between volume (and temperature) independence in large N gauge theories and large N equivalences involving orbifold projections and quiver gauge theories. It is curious that nearly all discussion in the literature concerning large N orbifold equivalence has focused on projections which increase the size of theory space, while nearly all previous discussion regarding large N spacetime volume dependence has focused on volume reducing mappings. As we have emphasized, one can easily define projections which either increase or decrease spacetime volume, or “theory space” volume. This unified view makes clear the common origin of the symmetry realization conditions which are necessary (and sufficient) for useful large N equivalence in all these examples. Combining the large Nc volume independence of QCD with light adjoint fermions, valid down to arbitrarily small size (when periodic boundary conditions are used for fermions), with the large Nc “orientifold equivalence” relating QCD with adjoint and antisymmetric tensor representation fermion, which is valid in sufficiently large volumes, produces a large Nc equivalence between a single site model with adjoint fermions, and a natural large Nc generalization of real QCD. Although this equivalence only applies to charge conjugation even observables, it should nevertheless have practical utility for investigations of large Nc QCD. In particular, this form of a large Nc reduced model is applicable to both expectation values and suitable connected correlation functions (in contrast to quenched and twisted reduced models). Although simulations with dynamical fermions are always more challenging than pure gauge simulations, simulating a single site model with adjoint representation fermions should be relatively straightforward. Many generalizations of the specific examples discussed above are possible. One natural generalization involves consideration of O(Nc ) or U Sp(Nc ) gauge theories instead of U (Nc ). We discuss the interconnections between such theories in a companion paper [26]. In quiver gauge theories, one may also consider theory-space enlarging projections based on non-Abelian, or non-freely acting, symmetry groups [36]. As noted in the Introduction, for general projections based on arbitrary discrete symmetry groups, it is not clearly established when such projections lead to large N equivalence, and when they do not. But every case of large N equivalence that we are aware of is consistent with the conjecture that pairs of theories connected by “invertible” projections imply a large Nc equivalence between the two theories. (This conjecture is stated more formally in the Introduction.) Future work will hopefully shed more light on this issue of a global understanding of equivalences between different large N gauge theories.

Acknowledgments We thank H. Neuberger for useful comments on the subject of reduced models. This work was supported, in part, by the U.S. Department of Energy under Grant Nos. DE-AC02-76SF00515,

– 26 –

DE-FG02-91ER40676, and DE-FG02-96ER40956, and the National Science Foundation under Grant No. PHY05-51164.

A. More on volume expansion as an orbifold projection The main text discussed volume-expanding orbifold projections starting from single-site models. In this appendix we discuss the more general case of projections which will map a parent theory defined on a periodic lattice of any size to a daughter theory defined on a lattice which is larger by some (integer) factor K > 1. The lattice in question can be either the real space lattice on which the theory is defined, or the theory space of a quiver gauge theory. For simplicity of presentation, we will focus on pure gauge theories defined on a real space lattice, but what follows equally applies to volume expansion in theory space of quiver gauge theories. Start with a parent lattice gauge theory on lattice Λ′ = (ZL′ )d with gauge group U (Nc ), where Nc =M d N for some integer M > 1. The global symmetry group of the theory is U (M d N )×U (1)d , where the first factor is the global part of the gauge symmetry group and the U (1)d is the center symmetry which phase rotates all link variables in a given direction, Uµ [n′ ] → exp(iθµ )Uµ [n′ ]. Choose a cyclic subgroup (ZM )d ⊂ U (M d N ) × U (1)d of the global symmetry group and set all (ZM )d -noninvariant fields of the theory to zero. The appropriate embedding is the one for which the net effect of the projection is the imposition of the constraints µ, ν = 1, · · · , d . (A.1) Uµ [n′ ] = ω δµν γν Uµ [n′ ] γν−1 , Here, the matrices γν ∈ U (M d N ) generate a M d N -dimensional representation of (ZM )d and are chosen as (A.2) γν = 1M × . . . × Ω × 1M × . . . × 1N | {z } | {z } ν−1

d−ν

where 1N and 1M are N ×N and M ×M unit matrices, respectively, and Ω ≡ diag(1, ω, ω 2 , . . . , ω M −1 )

(A.3)

with ω = e2πi/M . The phase factor ω δµν in Eq. (A.1) reflects a transformation under the U (1)d part of the symmetry group. This particular choice of the charge for the link fields guarantees that the daughter theory will retain nearest neighbor interactions on an enlarged lattice. [Adjoint representation matter fields in the theory would be neutral under the U (1)d symmetry, and hence would have no additional phase factor in their orbifold constraints.] In order to find the form of link matrices Uµ [n′ ] which satisfy the orbifold constraint (A.1), it is helpful to introduce M d N ×M d N “translation matrices” Tµ defined as Tµ = 1M × . . . ×S × 1M × . . . ×1N , | {z } | {z } µ−1

d−µ

– 27 –

(A.4)

where S is a M ×M “shift matrix” whose entries (defined modulo M ) are Sab = δa,b−1 . Different translation matrices commute with each other, [Tµ , Tν ] = 0. Using the definition of the matrices γν , one finds that the Tµ satisfy the same orbifold constraint (A.1), namely Tµ = ω δµν γν Tµ γν−1 .

(A.5)

eµ [n′ ] Tµ , then the redefined matrices U eµ [n′ ] satisfy a simpler Thus if one defines Uµ [n′ ] = U “neutral” constraint eµ [n′ ] = γν U eµ [n′ ] γ −1 , U (A.6) ν

eµ [n′ ] must without any additional phase factor. In other words, all redefined link matrices U commute with the projection matrices {γν }. To find the most general solution of these constraints, it is helpful to note that every M ×M matrix which commutes with Ω must be diagonal, and hence may be expressed as an order M polynomial in Ω. Consequently, any eµ [n′ ] that commutes with all γν ’s must have the form link variable U X eµ [n′ ] = U Ωp1 × · · · × Ωpd × Veµ [n′ , p] (A.7) p

where p = (p1 , . . . , pd ) is a vector whose components are integers running from 0 and M −1 (defined modulo M ). This is a mixed representation in which n is a real space label but p is a momentum space vector lying in a Brillouin zone. It is far more convenient to express eµ [n′ ] in a “position basis” via the discrete Fourier transform, U 1 X Vµ [n′ , m] ω ¯ p·m Veµ [n′ , p] = d M m

(A.8)

where ω ¯ = e−2πi/M is complex conjugate of ω, and m is a d-dimensional vector whose comeµ [n′ ] that solves ponents are integers ranging from 0 to M −1 (modulo M ). Then a matrix U the neutral constraint (A.6) has the form X eµ [n′ ] = U ∆m × Vµ [n′ , m] , (A.9) m

where the “basis matrices” ∆m are given by 1 X p1 Ω × · · · × Ωpd ω ¯ p·m , ∆m ≡ d M p

(A.10)

and each Vµ [n′ , m] is an arbitrary N × N unitary matrix. The basis matrices are mutually orthogonal projectors and satisfy X (A.11) ∆m = 1M d . tr ∆m = 1 , ∆m ∆m′ = δmm′ ∆m , m

eµ [n′ ] is viewed as a collection of M d ×M d blocks (each of which is N ×N ) then If the matrix U only M d of those blocks (labeled by m) survive the constraint.

– 28 –

a j h f d b

i

g

e

c

1 0 00 0 11 1 00 11

1 0 00 0 11 1 00 11

1 0 0 1

1 0 0 1

1 0 0 1 0 1 0 1 0 1

11 00 00 11 00 11 00 11 00 11

1 0 0 1 0 1 0 1 0 1

11 00 00 11 00 11 00 11 00 11

1 0 0 1 0 1 0 1 0 1

1 0 0 1 0 1 0 1 0 1

1 0 0 1 0 1 0 1 0 1

11 00 00 11 00 11 00 11 00 11

1 0 0 1 0 1 0 1 0 1

11 00 00 11 00 11 00 11 00 11

1 0 0 1 0 1 0 1 0 1

1 0 0 1 0 1 0 1 0 1

a

i

g

e

a

b

f

b

1 0 0 1

1 0 00 0 11 1 00 11

1 0 00 0 11 1 00 11

e

11 00 00 11 00 11

1 0 0 1 0 1 0 1 0 1

1 0 0 1 0 1 0 1 0 1

1 0 0 1 0 1 0 1 0 1

c

11 00 00 11

1 0 0 1

1 0 00 0 11 1 00 11

e 11 00

j h

d

11 00 00 11 00 11 00 11

m n′

d

c

a

d

11 00 00 11 00 11 00 11 00 11

11 00 00 11 00 11 00 11 00 11

1 0 00 0 11 1 00 11

b

c

Figure 4: Examples of one-dimensional daughter theory lattices generated by Z5 (left figure) or Z4 (right figure) projections acting on a parent theory defined on a six site lattice (with Z6 translation symmetry). Each site in the daughter lattice has been labeled by two integers n′ and m (even though these are one-dimensional lattices). Nearest-neighbor relations are defined by incrementing both n′ and m by one. The Z5 projection yields a 30 site lattice with Z30 translation symmetry. The path formed by the nearest-neighbor steps depicted as red arrows forms a single cycle around the daughter lattice. (Labels at the edge of the lattice show periodic identifications.) In contrast, a Z4 projection acting on the same parent theory yields two decoupled copies of a twelve site lattice with Z12 translation symmetry. In this case, no sequence of nearest-neighbor steps can connect the two copies of the resulting daughter lattice.

eµ [n′ ] of the form (A.9), it is not difficult to show that the Wilson action With matrices U of the U (Nc ) lattice gauge theory on Λ′ becomes the Wilson action of a U (N ) lattice gauge theory on a larger lattice. This is not immediately obvious because each site of the new lattice has been labeled by two indices, n′ and m. The size of the new lattice depends on whether M and L′ have any common divisors. If M and L′ are coprime [so that gcd(M, L′ ) = 1], then the new lattice Λ = ZdL with L = M L′ . This reflects the isomorphism ZM ×ZL′ ∼ ZM L′ , as illustrated in figure 4a. Under the isomorphism, the link variable Vµ [n′ , m] connects [n′ , m] to [n′ +eµ , m+eµ ], which (by definition) is a nearest neighbor on the new lattice. When M and L′ are not coprime, ZM × ZL′ is isomorphic to ZL′ M/Q × ZQ , where Q is the greatest common divisor of M and L′ . In this case, applying the orbifold projection to the action of the parent theory on lattice Λ′ yields Qd decoupled copies of a daughter theory defined on the lattice Λ = ZdL with L ≡ M L′ /Q. Figure 4b shows an example where d = 1, L′ = 6, and M = 4. For this case, the outcome of the orbifold projection is two decoupled copies of the larger volume theory on a 12 site lattice. It is not difficult to show that neutral operators in the parent theory (on lattice Λ′ = ZdL′ ) map to neutral operators in the daughter theory (on lattice Λ = ZdM L′ /Q ). A (ZM )d projection does not produce volume enlargement by a factor of M d unless gcd(M, L′ ) = 1. However, by suitably choosing the projection one can expand the volume by

– 29 –

any desired integer factor. To expand the volume (L′ )d by a factor of K d , one starts with a gauge theory whose number of colors is Nc = M d N , and projects by (ZM )d , where M is chosen to satisfy L′ M/ gcd(L′ , M ) = L′ K . (A.12) This equation for M always has at least one solution, M = L′ K. The projection yields a daughter theory on a lattice of the desired size (L′ K)d [or rather gcd(L′ , M )d copies thereof].

References [1] T. Eguchi and H. Kawai, Reduction of dynamical degrees of freedom in the large N gauge theory, Phys. Rev. Lett. 48 (1982) 1063. [2] G. Bhanot, U. M. Heller and H. Neuberger, The quenched Eguchi-Kawai model, Phys. Lett. B 113 (1982) 47. [3] L. G. Yaffe, Large N limits as classical mechanics, Rev. Mod. Phys. 54 (1982) 407. [4] R. Narayanan and H. Neuberger, Large N reduction in continuum, Phys. Rev. Lett. 91 (2003) 081601, hep-lat/0303023. [5] J. Kiskis, R. Narayanan and H. Neuberger, Does the crossover from perturbative to nonperturbative physics in QCD become a phase transition at infinite N ?, Phys. Lett. B 574 (2003) 65, hep-lat/0308033. ¨ [6] P. Kovtun, M. Unsal and L. G. Yaffe, Non-perturbative equivalences among large Nc gauge theories with adjoint and bifundamental matter fields, J. High Energy Phys. 0312 (2003) 034, hep-th/0311098. ¨ [7] P. Kovtun, M. Unsal and L. G. Yaffe, Necessary and sufficient conditions for non-perturbative equivalences of large Nc orbifold gauge theories, J. High Energy Phys. 0507 (2005) 008, hep-th/0411177. [8] M. Bershadsky and A. Johansen, Large N limit of orbifold field theories, Nucl. Phys. B 536 (1998) 141, hep-th/9803249. [9] D. Tong, Comments on condensates in non-supersymmetric orbifold field theories, J. High Energy Phys. 0303 (2003) 022, hep-th/0212235. [10] A. Armoni, M. Shifman and G. Veneziano, SUSY relics in one-flavor QCD from a new 1/N expansion, Phys. Rev. Lett. 91 (2003) 191601, hep-th/0307097. [11] A. Armoni, M. Shifman and G. Veneziano, From super-Yang-Mills theory to QCD: planar equivalence and its implications, hep-th/0403071. ¨ [12] P. Kovtun, M. Unsal and L. G. Yaffe, Can large Nc equivalence between supersymmetric Yang-Mills theory and its orbifold projections be valid?, Phys. Rev. D 72 (2005) 105006, hep-th/0505075. [13] J. L. F. Barbon and C. Hoyos, Small volume expansion of almost supersymmetric large N theories, J. High Energy Phys. 0601 (2006) 114, hep-th/0507267. [14] P. Orland, Volume reduction of lattice gauge systems at finite N, Phys. Lett. B 134 (1984) 95.

– 30 –

[15] H. Neuberger, Topological effects in matrix models representing lattice gauge theories at large N , Annales Henri Poincare 4, S147–S158 (2003), hep-th/0212097. [16] H. Neuberger, The finite temperature phase transition at infinite N , Nucl. Phys. B 220 (1983) 237. [17] A. Armoni, M. Shifman and G. Veneziano, Refining the proof of planar equivalence, Phys. Rev. D 71 (2005) 045015, hep-th/0412203. [18] M. Unsal and L. G. Yaffe, (In)validity of large N orientifold equivalence, Phys. Rev. D 74 (2006) 105019, hep-th/0608180. [19] T. DeGrand and R. Hoffmann, QCD with one compact spatial dimension, hep-lat/0612012. [20] A. Gonzalez-Arroyo and M. Okawa, The twisted Eguchi-Kawai model: A reduced model for large N lattice gauge theory, Phys. Rev. D 27 (1983) 2397. [21] A. Gonzalez-Arroyo and M. Okawa, A twisted model for large N lattice gauge theory, Phys. Lett. B 120 (1983) 174. [22] Y. Makeenko, Methods of contemporary gauge theory, Cambridge, 2002. [23] H. Levine and H. Neuberger, Glueball States In Reduced Large N Hamiltonians, Phys. Rev. Lett. 49 (1982) 1603. [24] I. Rothstein and W. Skiba, Mother moose: Generating extra dimensions from simple groups at large N, Phys. Rev. D 65 (2002) 065002, hep-th/0109175. [25] N. Arkani-Hamed, A. G. Cohen and H. Georgi, Twisted supersymmetry and the topology of theory space, J. High Energy Phys. 0207 (2002) 020, hep-th/0109082. ¨ [26] P. Kovtun, M. Unsal and L. G. Yaffe, to appear. [27] C. Vafa and E. Witten, Parity conservation in QCD, Phys. Rev. Lett. 53 (1984) 535. [28] N. Weiss, The effective potential for the order parameter of gauge theories at finite temperature, Phys. Rev. D 24 (1981) 475. [29] N. Weiss, The Wilson line in finite temperature gauge theories, Phys. Rev. D 25 (1982) 2667. [30] U. M. Heller and H. Neuberger, The role of gauge theories in constructing reduced models at infinite N , Nucl. Phys. B 207 (1982) 399. [31] D. Gross and E. Witten, Possible third order phase transition in the large N lattice gauge theory, Phys. Rev. D 21 (1980) 446. [32] F. R. Brown and L. G. Yaffe, The Coherent State Variational Algorithm: A numerical method for solving large N gauge theories, Nucl. Phys. B 271 (1986) 267. [33] T. A. Dickens, U. J. Lindqwister, W. R. Somsky and L. G. Yaffe, The Coherent State Variational Algorithm. 2. Implementation and testing, Nucl. Phys. B 309 (1988) 1. [34] S. Coleman, Aspects of Symmetry, ch. 8, Cambridge, 1985. [35] N. M. Davies, T. J. Hollowood, V. V. Khoze and M. P. Mattis, Gluino condensate and magnetic monopoles in supersymmetric gluodynamics, Nucl. Phys. B 559 (1999) 123, hep-th/9905015. [36] B. Feng, A. Hanany, Y. H. He and N. Prezas, Discrete torsion, non-Abelian orbifolds and the Schur multiplier, J. High Energy Phys. 01 (2001) 033, hep-th/0010023.

– 31 –