Abstract
The large \(N\) limit of \({\mathrm {SU}}(N)\) gauge theories is well understood in perturbation theory. Also non-perturbative lattice studies have yielded important positive evidence that ’t Hooft’s predictions are valid. We go far beyond the statistical and systematic precision of previous studies by making use of the Yang–Mills gradient flow and detailed Monte Carlo simulations of \({\mathrm {SU}}(N)\) pure gauge theories in 4 dimensions. With results for \(N=3,4,5,6,8\) we study the limit and the approach to it. We pay particular attention to observables which test the expected factorization in the large \(N\) limit. The investigations are carried out both in the continuum limit and at finite lattice spacing. Large \(N\) scaling is verified non-perturbatively and with high precision; in particular, factorization is confirmed. For quantities which only probe distances below the typical confinement length scale, the coefficients of the \(1/N\) expansion are of \(\mathrm{O}(1)\), but we found that large (smoothed) Wilson loops have rather large \(\mathrm{O}(1/N^2)\) corrections. The exact size of such corrections does, of course, also depend on what is kept fixed when the limit is taken.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
An interesting approach to study quantum chromodynamics (QCD) is to consider the order of the gauge group \(N\) as a free parameter. As shown by ’t Hooft [1], by taking the large \(N\) limit of the perturbative weak coupling expansion, the theory simplifies in many ways, and in fact one can treat theories at finite \(N\) as corrections in the “small” parameter \(1/N\). Moreover, the large \(N\) expansion predicts that quark loop effects are suppressed by a power of \(1/N\), so that the weak coupling expansion of large \(N\) QCD is dominated by planar diagrams with purely gluonic internal loops. All of these rather remarkable properties of large \(N\) QCD, make it an interesting theory to study not only from the theoretical perspective, but also from a practical point of view, as results for real world QCD could be obtained by considering corrections to the \(N= \infty \) theory which are parametrized by powers of \(1/N\).
Although this \(1/N\) scaling is obtained perturbatively, lattice computations provide evidence that it also holds at the non-perturbative level, both in \(D=4\) space-time dimensions [2,3,4,5,6,7,8,9] and in \(D=3\) [9,10,11,12,13,14]. The evidence is usually based on complicated observables, where typically one needs to project onto ground states by large Euclidean times. It is then difficult to obtain high precision at various \(N\) in order to verify ’t Hooft scaling with good confidence. Let us stress the fact that the validity of the \(1/N\) scaling, beyond the weak coupling expansion, is not a trivial statement. Hence, it is desirable to test it by means of lattice simulations and with statistically and systematically very precise observables.
Perturbatively, if one carries on with the ’t Hooft \(1/N\) topological expansion, another simplification arises, which has to do with the property of factorization
where the \({\mathcal {O}}_i\) are local gauge invariant or Wilson loop operators, and the leading correction scales as \(1/N^2\) in the pure gauge theory, which we focus on for the rest of this work. Eq. (1.1) has several consequences, as it tells us that in the large \(N\) limit, the dominant part of a correlator is the disconnected one. In particular, when \({\mathcal {O}}_1 = {\mathcal {O}}_2\), this means that fluctuations are suppressed; and as discussed in Ref. [15], this fact can be put in analogy with the classical limit of a quantum theory, where \(1/N\) plays the role of \(\hbar \). Related to this is also the concept of the “master field”, i.e., the idea that the path integral is dominated by a single gauge configuration (or rather a gauge orbit) [16, 17]. Although these ideas triggered hope to find the solution of large \(N\) QCD, such an analytical solution is still lacking today. The situation in the Yang–Mills theories is similar in this respect to two-dimensional \({\mathrm {SU}}(N)\)\(\times \) \({\mathrm {SU}}(N)\) spin models [18], while for O(N) models and CP(N) models the large N limit is solvable and one can therefore really carry out the expansion [19,20,21].
One more aspect where Eq. (1.1) plays a crucial role has to do with the idea of volume independence, which starting from the work of the authors in Ref. [22], has been used in the lattice formulation to study the large \(N\) limit of the Yang–Mills theory by performing simulations in small spacetime volumes [23, 24], and even in single site lattices, provided a clever choice of boundary conditions [25,26,27] is made.
The above indicates that factorization is not only relevant in the theoretical context, but also on the practical level, as it is a requirement for the single site lattice simulations to be valid. To be more precise, the equivalence is expected to hold between the single site and the infinite volume theory in the \(N\rightarrow \infty \) limit. The equivalence is argued for on the basis of the Makeenko–Migdal loop equations [28] on the lattice. As originally shown in Ref. [22], the loop equations in both theories are equivalent, provided that the product of the expectation value of the Wilson loops factorize as stated in Eq. (1.1). Let us mention that shortly after volume reduction was put forward, it was clear the situation is more complicated, and phase transitions spoil the reduction in its simplest form [23,24,25, 29,30,31]. Workarounds this issue have been presented in the literature [23, 25,26,27] and show that either full or partial volume reduction are a possible way to make simulations of \({\mathrm {SU}}(N)\) Yang–Mills theory at large \(N\) more accessible, as there is a significant compensation of the extra cost for increasing \(N\) by the much smaller number of lattice sites.
Additionally, we would like to point out that important physics is contained in the corrections to factorization. The most obvious one is that glueball masses are obtained from the connected correlation functions of Wilson loops.
The previous discussion motivates the search for a non-perturbative proof, beyond the realm of weak coupling perturbation theory. Several authors have investigated factorization beyond perturbation theory [32,33,34,35]; and as mentioned earlier, lattice simulations also suggest this result to be valid. In particular, the results presented in Ref. [5], Sect. 6, provide strong evidence for factorization. Here we go beyond this. We consider several high precision normalized observables by using the gradient flow to study the large \(N\) scaling, and address the important issue of the size of the correction to \(N= \infty \) in a non-perturbative lattice computation.
This paper is organized as follows, in Sect. 2 we present the observables that are used both to check the large \(N\) scaling, as well as factorization. In Sect. 3 we discuss different ways of defining the large \(N\) limit and in particular the two choices we made for our investigation. In Sect. 4 we describe the ensembles and lattice parameters used for the simulations and in Sect. 5 we present our results, both at finite lattice spacing, and in the continuum limit. We finish with a short summary of the results.
2 Observables
The basic observables we consider are the Yang–Mills action density E(t) at positive flow time [36] (defined below) and rectangular Wilson loop operators
where C is a closed rectangular path in space-time, and P denotes the path ordering operator. The normalization factor \(1/N\) is included in the definition of \(W_C\) in order to have a finite large \(N\) limit – already at tree-level. Wilson loops have singularities which have to be removed before the continuum limit can be taken. In particular, for our square Wilson loops, one must remove not just the “perimeter” divergences but also “corner” divergences [37,38,39]. One way to proceed is to consider Creutz ratios [40], which however, for loops of large size in lattice units, suffer from small signal to noise ratios. As this would compromise our desire for a precision test, we work instead with smooth Wilson loops. The smoothing is provided by the Yang–Mills gradient flow [41, 42]. It evolves the gauge fields \(A_{\mu }(x)\) according to the flow equation
where the dimension two parameter t is known as the flow time. The loops at positive flow time are then simply
Choosing 8t to be of a typical QCD size, say of the order of the inverse string tension, they benefit from small statistical errors even for large loops [43]. In particular, their variance remains finite in the continuum limit. That property is a particular manifestation of the most important feature of observables which are built from the smoothed gauge fields \(B_{\mu }(t,x)\): they are renormalized operators at positive flow time t [36, 44]. In other words, there is no renormalization scheme or scale dependence beyond t and the continuum limit is unambiguous and well defined. Even the action density
is finite. It will be one of our observables.
2.1 The gradient flow coupling at large \(N\)
The gradient flow can also be used to define a renormalized coupling [42]. Using the perturbative expansion of the Yang–Mills energy density at positive flow time , one has that
where \(\bar{\lambda }_{\overline{{\mathrm {MS}}}}(\mu ) = N{\bar{g}}^2_{\overline{{\mathrm {MS}}}}(\mu )\) is the ’t Hooft coupling at the scale \(\mu = 1/\sqrt{8t}\) and \(c_1 = \frac{1}{16 \pi ^2} \left( \frac{11}{3}\gamma _E + \frac{52}{9} - 3 \ln 3 \right) \) is \(N\) independent. With this definition, we can then define a scale by setting the renormalized coupling \(\bar{\lambda }_{{\mathrm {GF}}}\) to a given value. A convenient choice for \({\mathrm {SU}}(3)\) is the reference scale \(t_0\) [42], which corresponds to a value of the coupling such that . This particular choice can be generalized to \({\mathrm {SU}}(N)\) if the right hand side is modified so that it has the correct scaling with \(N\). Clearly, we also want the definition to remain what it is for \(N=3\). Thus, Eq. (2.5), suggests to define \(t_0\) implicitly by the equation [2]
for all \(N\).
2.2 Smooth Wilson loops
The favourable properties of smooth Wilson loops have already been exploited in the literature, as for example to estimate the string tension at small values of t in Refs. [6, 44], or to study the large \(N\) phase transition in the eigenvalue spectrum of the Wilson loop matrices [45]. For our purpose, the limit of small t is not required, as the smooth loops are used to test factorization and the large \(N\) limit for well defined renormalized observables, regardless of their relation to the operators at \(t=0\).
In the end, we study the large \(N\) limit of square Wilson loops, i.e. for loops where the path C in Eq. (2.1) is given by a square of size \(R\times R\). In order to take the large \(N\) limit, the loops are matched at different \(N\) relating their size to the scale \(t_0\) introduced in the previous section. More precisely, the large \(N\) and continuum limits are taken for loops of size \(R_c = \sqrt{8 c t_0}\) (see Fig. 1), where the smoothing parameter \(t = c t_0\), and c is a constant parameter.
To be more precise, let us denote a square loop with one of its corners at the spacetime point \((x_0,\vec {x})\) and extending only in space as \(W(t,x_0,\vec {x},R)\). Its expectation value
is independent of the position \(\vec {x}\) due to translation invariance and only depends on the parameter c. In our notation we separate time and space-coordinates, as we will later use lattices with different boundary conditions in time (open b.c.) and space (periodic b.c.). While the independence on \(\vec {x}\) is exact, \(x_0\) has to be sufficiently far away from the boundary for Eq. (2.7) to hold.
Similarly, we define
which corresponds to the expectation value of the product of a Wilson loop with itself.
2.3 Observables to test factorization
In order to investigate the property of factorization from Eq. (1.1), we define several observables based on the Yang–Mills action density and the smooth Wilson loops at positive flow time. They are constructed such that factorization implies that they vanish as \(N\rightarrow \infty \). First we consider the simplest case of the observable \(G_W\) defined in terms of the smooth Wilson loops as
Then, we consider observables built from the space integral of the smooth Wilson loops and the Yang–Mills action density. We defineFootnote 1
with the factor \(1/t_0^{3/2}\) rendering \(H_{{\mathcal {O}}}(c)\) dimensionless, and where \({\mathcal {O}}\) is either a smooth Wilson loop, or the Yang–Mills action density. Notice that H is a type of susceptibility, as we are integrating over the contributions from the correlation function of \({\mathcal {O}}\) at different distances. The integration does not extend over \(x_0\) due to our choice of boundary conditions and \(x_0\) is again supposed to be far away from the time-boundaries. In comparison to the simple observable \(G_W\), this probes longer distances, but introduces also more noise and affects the statistical errors in the measurements. Nonetheless, as will be shown in Sect. 5, the statistical precision that can be achieved for \(H_{{\mathcal {O}}}\) remains good. In particular, we will consider \(H_E(c)\), defined by inserting
into Eq. (2.10) and \(H_W\) by
We remind the reader of our choice \(R_c = \sqrt{8 c t_0}\).
Equation (1.1) means
2.4 Finite volume
For a numerical test, we need to choose a finite volume. We chose our parameters such that \(L/\sqrt{8t_0}\approx 3.3\). Table 1 shows the actual values used in our simulations. Since L is thus approximately constant, it is omitted as an argument of the observables. We note that the large \(N\) limit and factorization can be tested in infinite or in finite volume. To be on the safe side, we chose the latter, even though we are not far from the infinite volume limit for most observables.
3 Defining the approach to the large N limit
The complete definition of a quantum field theory involves a regularization (here Wilson’s lattice theory) as well as a non-trivial renormalisation before the regulator can be removed. Although this is usually not discussed, quantitative statements about the approach to the large \(N\) limit, such as the ones we are seeking here, do depend on the renormalisation scheme if the renormalisation scheme defines which quantity is held fixed as we take \(N\rightarrow \infty \).
While the \(\mathrm{O}(1/N^2)\) corrections depend on these details, the true limit is expected to be unique in the following sense. It is independent of the scheme, as long as the ’t Hooft coupling \(\bar{\lambda }_{s}(\mu ) = N{\bar{g}}^2_{s}(\mu )\) in any scheme is kept fixed as one takes the limit. This statement becomes most transparent when we replace couplings by the associated \(\Lambda \)-parameters,
Now any renormalization group invariant quantity \({\mathcal {O}}\) of mass dimension n, has a large \(N\) limit
where
and
Examples for \(n=1\) are glueball masses and \(t_0\) defined above is a RGI scale with \(n=-2\). When the observable \({\mathcal {O}}\) depends on external momenta or coordinates, they have to be fixed in units of \(\Lambda \) in a specified scheme, e.g. \(\Lambda _{\overline{{\mathrm {MS}}}}\), when taking \(N\rightarrow \infty \).
Due to the existence of the limit Eq. (3.2), we may also scale distances with respect to any one particular reference scale (choice of \({\mathcal {O}}\)). In our numerical work we have chosen \(t_0\), Eq. (2.6), because of its high precision.
The preceding discussion is about the continuum theory. It thus saliently assumes that first we take the continuum limit at finite \(N\) and then we perform \(N\rightarrow \infty \). However, we may also proceed in the opposite order: first take the large \(N\) limit at fixed lattice spacing and then send the lattice spacing to zero.Footnote 2 Let us briefly discuss that this order of limits is indeed the same as above; the limits are interchangeable.
3.1 Large \(N\) limit at fixed lattice spacing
The existence of the large \(N\) limit at fixed finite lattice spacing is expected due to the following consideration. We start from the Lambda-parameter, \(\Lambda _{\mathrm {lat}}\) in the lattice minimal subtraction scheme, which satisfies Eq. (3.1) with \(\mu =1/a\) and \(\lambda _{\mathrm {lat}}(\mu )=\lambda _0\) in terms of the lattice spacing, a, and the bare coupling, \(\lambda _0=Ng_0^2\). In fact, having a specific scheme, the lat-scheme, we can give the more detailed formula,
where \(c_1 = 0.1048 + \mathrm{O}(1/N^2)\) [46]. Equation (3.6) shows that the large \(N\) limit can be taken at fixed bare coupling which is equivalent to fixed lattice spacing a. Apart from \(\mathrm{O}(1/N^2)\) terms in \(c_1\) and higher order terms, fixed lattice spacing is the same as fixed \(\Lambda _{\mathrm {lat}}\) and therefore also fixed \(\Lambda _s\) in other schemes. See also an early discussion of \(\Lambda _{\overline{{\mathrm {MS}}}}/\Lambda _{\mathrm {lat}}\) including its \(N\) dependence [47].
In general, taking the large \(N\) limit at fixed lattice spacing has to be followed by the \(a\rightarrow 0\) limit at \(N=\infty \). However, when we investigate factorization, the second step is not expected to be necessary. This is because the perturbative proof of factorization holds in the lattice regularization [48] at finite a. If factorization holds non-perturbatively we thus also expect Eq. (2.13) at any fixed a. In any case, verifying Eq. (2.13) at arbitrary finite lattice spacing implies that it holds in the continuum limit.
Note also that even the large \(N\) limit of divergent quantities, such as Wilson loops at \(t=0\), is expected to exist. A high precision numerical test has recently been performed [8].
4 Lattice details
In this section we give the details of our lattice simulations. We simulate the pure gauge theory with \(N=3,\, 4,\, 5,\, 6,\, 8\) at several lattice spacings. The lattice action is the Wilson gauge action and we use open boundary conditions in the time direction [49]. The simulations are performed using a combination of heatbath and overrelaxation local updates using the Cabibbo–Marinari strategy [50] to refresh the \({\mathrm {SU}}(N)\) matrices. The ratio of overrelaxation to heatbath updates is fixed to L / (2a).
For convenience, we present the values of the lattice spacing, as well as lattice sizes in physical units by assigning a value to \(t_0\) such that \(\sqrt{t_0}=0.166 \, {\mathrm {fm}}\). This choice is motivated by the result in \({\mathrm {SU}}(3)\) for \(\sqrt{8t_0}/r_0 = 0.941(7)\) [51] and the value of the reference scale \(r_0 \approx 0.5 \, {\mathrm {fm}}\) [52]. Notice that this choice is somewhat arbitrary, as apart from the missing quark loops, for \(N\ne 3\) the theory cannot be directly identified with Nature.
The parameters of the simulations are displayed in Table 1. The configurations used for the measurements are a subset of those reported in Ref. [2] for all ensembles except for those at \(N=3, 8\), and for the finest lattice spacings in the case of \(N=4, 5\). As announced above, all the lattices considered in Table 1 are of approximately the same spatial size \(L \approx 1.55 \, {\mathrm {fm}}\). In addition, we have used two additional ensembles with \(L \approx 2.35 \, {\mathrm {fm}}\) at the coarsest lattice spacing (\(a \approx 0.1 \, {\mathrm {fm}}\)) for \(N= 4, 5\) in order to check for effects due to small variations in the volume. Notice that for the ensembles which have been reported in Ref. [2], we have a very large number of measurements for the Yang–Mills action density.
The flow equations are integrated using a third order Runge–Kutta integrator [42] and the observables are measured at intervals \(\Delta t\) of t of \(\Delta t/a^2 \approx 2-3 \times 10^{-2}\). Afterwards, they are interpolated using a second order polynomial in order to obtain their values at arbitrary t. The action density is defined exactly as in [42], using the clover discretization and it is measured from \(t=0\) up to \(t \approx 1.2 \, t_0\). The loops, W(c), are measured only in the vicinity of \(t=ct_0\), with \(c={1/2,1,9/4}\), and then interpolated to the exact value of t. For the loops, one has to do an additional interpolation to \(R_c\), and since their statistical precision is very high, one has to be careful with small potential systematic effects. The details of this interpolation were already presented in Ref. [54].
We end this section with the precise definition of the observables introduced in Eqs. (2.7)–(2.10) on the lattice. First, for the Wilson loops we use translation invariance in the form
where corresponds to the estimator of the true expectation value computed on the lattice.
In order to compute \(H_W\), we define
so that
and we proceed in a similar way to define \(H_E\) after replacing \(W(ct_0,x_0,\vec {x},R_c)\) by \(t^2 E(ct_0,x_0,\vec {x})|_{t=ct_0}\). The parameter d is introduced to deal with the systematic effects from the open boundary conditions. It is chosen in a similar way as described in Ref. [55], so that the effects coming from the boundaries are negligible with respect to the statistical error in the bulk.
5 Results
5.1 Large \(N\) scaling
In order to test and provide a precise verification of \(1/N^2\) scaling, we analyse our results for W(c) and for the gradient flow coupling \(\bar{\lambda }_{{\mathrm {GF}}}\). Let us first discuss our results for the latter.
5.1.1 The gradient flow coupling
In Fig. 2 we plot \(\bar{\lambda }_{{\mathrm {GF}}}\) as a function of t for several gauge groups and different lattice spacings. Within the scale of the plot, the results are hard to distinguish for all gauge groups, which already shows the small size of the \(N\) dependent corrections. While at \(t=t_0\) independence of \(N\) is enforced by Eq. 2.5 or equivalently
the different \(N\) curves remain remarkably close when t is a factor of 5 away from \(t_0\). At a closer look, corrections to \(N= \infty \) are present and the data agrees very well with a polynomial in \(1/N^2\) as expected. We verified this by interpolating the data to several values of t in a regular interval from \(t=0.1 \, t_0\) to \(t = 1.1 \, t_0\), and then taking the large \(N\) limit once at a fixed lattice spacing and once in the continuum.
As can be observed in Fig. 2, cut-off effects are large at small t. At \(t= 0.1 \, t_0\) the relative difference between the results at the finest lattice spacing (\(a \approx 0.05 \, {\mathrm {fm}}\)) and at the coarsest (\(a \approx 0.1 \, {\mathrm {fm}}\)) one, is around \(20\%\); while the errors in the measurements themselves is at the per-mill level. The situation is better at larger values of t, so let us first focus on values of \(t/t_0 \ge 0.3\), where the relative size of cut-off effects is reduced tenfold, when compared to the case at \(t/t_0=0.1\). In Fig. 3 we show a plot of the continuum extrapolation of \(\bar{\lambda }_{{\mathrm {GF}}}\) at \(t/t_0 = 0.8\) and the large \(N\) extrapolation both at finite lattice spacing and in the continuum. In order to be able to use the dataset at \(N=8\), in addition to the continuum limit extrapolations, we consider \(a^2/t_0=0.2091\), the value on ensemble A(8)\(_2\). We then interpolated the results for all the other gauge groups to that lattice resolution.
On the left panel of Fig. 3 we show the continuum limit extrapolations. The strategy chosen for the extrapolation is the following: all continuum extrapolations are performed by linear fits in \(a^2/t_0\) to those data which satisfy \(a^2/t_0 \le 1/4\) (default fit). Such a restriction has been well motivated in Ref. [56] for \(N=3\) and we find smaller discretization effects for larger \(N\). As an estimate of the systematic uncertainty associated with this choice, we perform a second fit linear in \(a^2\) with a data point at larger \(a^2\); if the latter fit does not have a good \(\chi ^2\) we add an \(a^4/t^2\) term to the fit-function (control fit). If necessary, the error of the default fit is enlarged until it covers the full \(1-\sigma \) band of the control fit. The uncertainties of the continuum limit points are usually dominated by the systematics which arises from different fits and which is not necessarily independent for different \(N\).
All values of \(\chi ^2/{{\mathrm {dof}}}\) are excellent except for \({\mathrm {SU}}(4)\), where we obtain a value of 2.2 and 2.7 for the linear and quadratic fits respectively. After performing the fits in \(a^2/t_0\), on the right panel of Fig. 3 we plot the large \(N\) extrapolations both in the continuum and at finite lattice spacing. As discussed, \(N=8\) is available only at finite lattice spacing, where in addition, errors are much smaller due to the fact that we performed an interpolation instead of the continuum limit extrapolation. The large \(N\) extrapolation uses the form
As seen in Fig. 3, the fit to the function Y is excellent, with a \(\chi ^2/{{\mathrm {dof}}}= 1.02\) at finite lattice spacing; for the continuum points we do not consider \(\chi ^2\) since the errors are strongly correlated due to the dominating systematic uncertainty of the continuum extrapolations. Notice also that the results suggest that cut-off effects decrease with increasing \(N\).
As an example of results at smaller t, we show our analysis at \(t/t_0=0.4\) in Fig. 4. In this case, the magnitude of the cut-off effects is larger, but the same analysis as before can be carried out.
As mentioned earlier, dealing with \(\bar{\lambda }_{{\mathrm {GF}}}\) at values of \(t/t_0 \le 0.3\) presents a bigger challenge, so one cannot reach the same level of accuracy as the results presented in this section. However, we have proceeded to do a similar analysis for such small values of t, including corrections of higher order in \(a^2/t_0\). Details are found in Appendix B.
From the above analysis, we find that the large \(N\) dependence of \(\bar{\lambda }_{{\mathrm {GF}}}\) is in excellent agreement with the \(1/N^2\) scaling predicted by the ’t Hooft perturbative expansion. Moreover, defining
we can determine the “distance” between \({\mathrm {SU}}(3)\) and \({\mathrm {SU}}(\infty )\). In the continuum, at \(t/t_0 = 0.8\) and \(t/t_0=0.4\) we find \(\eta (1/9) = 1.1\%\) and \(2.8\%\) respectively. Note also that the large \(N\) limit is taken at fixed \(t_0\) and therefore \(\eta \equiv 0\) at \(t=t_0\) by definition. To account for this effect, we also fit Y to \(\bar{\lambda }_{{\mathrm {GF}}}(1/\sqrt{8t}) - \bar{\lambda }_{{\mathrm {GF}}}(1/\sqrt{8t_0})\) instead of \(\bar{\lambda }_{{\mathrm {GF}}}(1/\sqrt{8t})\), and define \(\delta \) in a similar way to \(\eta \). The results, together with those obtained for \(\eta \) are displayed in Table 2. Let us remark that the individual errors in our measurements are below the per-mill level, so we can confidently quantify these percent level deviations between \({\mathrm {SU}}(3)\) and \({\mathrm {SU}}(\infty )\).
The magnitude of the \(1/N^2\) corrections can be read off from the coefficients \(a_1\) and \(a_2\) collected in Table 2, together with those of the smooth Wilson loops which we discuss next.
5.1.2 Smooth Wilson loops
We have determined the smooth Wilson loops at three different values of c, i.e. \(c=1/2,1,9/4\). As in the case of \(\bar{\lambda }_{{\mathrm {GF}}}\), we are interested in the large \(N\) scaling at finite lattice spacing and in the continuum. The strategy for the continuum limit fits is the same as for \(\bar{\lambda }_{{\mathrm {GF}}}\). The fits for the loops at different c are qualitatively similar, so in Fig. 5 we show the results at \(c=1\) only.
Once again, to quantify the magnitude of the finite \(N\) corrections, we collect in Table 2 the values of \(a_1\) and \(a_2\) from the fit to Y. We observe that the relative magnitude of them grow at larger values of c (or t equivalently). Similarly, the deviation between \({\mathrm {SU}}(3)\) and \({\mathrm {SU}}(\infty )\) also grows up to a value of \(\eta (1/9)=0.1\) when \(c=9/4\). In all cases we find an excellent fit to Y (the values of \(\chi ^2/{{\mathrm {dof}}}\) are reported in Table 2).
5.2 Factorization
In order to verify the property of factorization from Eq. (1.1), we take the large \(N\) limit of the observables defined in Sect. 2.3. The large \(N\) limits are taken in a similar way as described earlier, but we modify the parametrization of the large \(N\) fitting function for convenience, so that
For the continuum limit extrapolations we use the same strategy as for W and for \(\bar{\lambda }_{{\mathrm {GF}}}\), and in all cases, the data can be fitted very well with a linear or quadratic polynomial in \(a^2/t_0\). We also check for effects caused by variations of \(L/\sqrt{8t}\) in all observables. As discussed in Appendix A, we find that \(H_W\) at \(c=1/2\) and \(c=1\), are potentially affected by large effects. We tried to include them as a systematic error on the measurements, but this yields errors which are too large to be of interest as a test of factorization. Hence, we present only results for \(H_W\) at \(c=9/4\) .
Let us first discuss our results for \(H_E(1)\). On the right panel of Fig. 6 we show the large \(N\) fits both in the continuum and at a finite lattice spacing. The fits are excellent, which provides yet again confirmation of the scaling in powers of \(1/N^2\). It is worth mentioning that at finite lattice spacing, where results are very precise, we find that a quadratic fit in \(1/N^2\), excluding the \({\mathrm {SU}}(3)\) point, extrapolates to \({\mathrm {SU}}(3)\) within one standard deviation. In this sense, \({\mathrm {SU}}(3)\) can be used as validation of our fitting strategy. The values of the parameters of the fitting function Y are displayed in Table 3. At finite lattice spacing we include also the parameters from the fit excluding \({\mathrm {SU}}(3)\).
Concerning the \(N\rightarrow \infty \) limit itself, the extrapolated value is within two standard deviations from zero in the worst case. Notice that at finite lattice spacing, the errors in the extrapolation are two orders of magnitude smaller than the value of \(H_E(1)\) at \(N=3\). To further validate factorization, an additional fit is performed for which \(b_0 =0\) is fixed, and only \(b_1\) and \(b_2\) are fitted to the data. This enforces factorization, so the value of \(\chi ^2/{{\mathrm {dof}}}\) from the fit can be used to asses the validity of the assumption (\(L^*,C^*\) in Table 3). To summarize, for \(H_E(1)\) we find excellent agreement with factorization in the continuum, and a deviation compatible with two standard deviations in the worst case at finite lattice spacing, still statistically consistent with factorization.
We now turn to the smooth Wilson loops. In Fig. 7 we display the results of the continuum and large \(N\) fits for \(G_W(1)\). The parameters of the extrapolations at the three values of c are displayed in Table 3. Also in this case, we find that \({\mathrm {SU}}(3)\) can be used as a validation point, and if it is excluded from the fit, it agrees with the extrapolating function within two standard deviations at \(c=1\), and within one standard deviation at the remaining values of c.
For the fits with factorization enforced by fixing \(b_0 = 0\), the values of \(\chi ^2/{{\mathrm {dof}}}\) are also excellent. These values, together with those of \(b_0\) reported in Table 3, give us confidence on the validity of factorization. Notice that the errors at large \(N\) are at least one order of magnitude smaller than the value at \({\mathrm {SU}}(3)\) itself. Concerning the finite \(N\) corrections, comparing the loops at different values of c, we observe that those at large c are characterized by large coefficients in front of the \(1/N^2\) and \(1/N^4\) correction terms.
Yet another interesting question is whether loops at fixed t but different R have different finite \(N\) corrections. We explore this issue at the end of the section. Let us first look at \(H_W\) in Fig. 8. The \(N\rightarrow \infty \) limits are less than two standard deviations away from zero. Inspecting the continuum limit fits, we observe that had we taken the three-point extrapolation for \(N=6\) as our central result, the central value would have been close to the upper end of the error bar in Fig. 8 and the \(1/N^2\) extrapolation in full agreement with factorization. In other words, one should not look too much at the central value but at the full range of the error, as always.
5.2.1 Loop size dependence
Finally, let us explore how the finite \(N\) corrections to factorization change when the size of the loop is increased at a fixed value of the smoothing parameter t. For a given value of t, we consider square loops of size \(R(\xi ) = \xi \sqrt{8t}\). Given the finite size of the lattices, we use the loops measured at \(c=1/2\) (\(t=t_0/2\)), so that we can consider larger values of \(\xi \). Thus, at a fixed value of \(t=t_0/2\), we define \({\hat{W}}\) and \({\hat{G}}_W\) in a similar way as W and \(G_W\), but in this case, as a function of \(\xi \) instead of c. In addition to the already presented results at \(\xi =1\), we also measured \({\hat{W}}\) and \({\hat{G}}_W\) at \(\xi =1.25,\, 1.5, \, 1.75\) and 2. The coefficients obtained for the large \(N\) fits at finite lattice spacing are displayed in Table 4 as a function of \(\xi \).
We observe that in the case of the loops themselves, the coefficients of the \(1/N^2\) expansion do not change significantly with \(\xi \), while those of \({\hat{G}}_W\) grow rapidly for larger loops. In fact, they grow exponentially fast as shown in Fig. 9. At finite \(N\), larger loops are much further away from \(N\rightarrow \infty \) than smaller loops.
6 Conclusions
We have taken the large \(N\) limit of a few observable of \({\mathrm {SU}}(N)\) pure gauge theories numerically defining all dimensionfull quantities in units of \(t_0\). This means that we held \(t_0\), or equivalently the coupling \(\bar{\lambda }_{{\mathrm {GF}}}\), Eq. (2.5), at a low energy fixed in defining the approach to the limit. As explained in Sect. 3, the precise magnitude of \(1/N^2\) corrections do depend on this choice. For each quantity, the continuum limit was taken before the large \(N\) limit, but we have also investigated large \(N\) scaling at finite lattice spacing, defined by \(a^2/t_0=\) constant.
In both cases we find that finite \(N\) observables are very well and very precisely described by a leading order term and corrections \(\sim 1/N^2\) and \(\sim 1/N^4\). We recall for example Fig. 4 where the excellent precision, in particular at finite a, is visible. In the same way, factorization has been confirmed very precisely. Of course, a numerical computation cannot substitute a mathematical proof, but our results make it very implausible that anything goes wrong with the large \(N\) limit in general, or factorization in particular.
However, the magnitude of corrections to the large \(N\) limit is more complex. We found a strong dependence on the physical size of the observables. For example, we considered \(R\times R\) Wilson loops smoothed with a smoothing radius of size again \(\sqrt{8t}=R\). Table 2 shows the deviation, \(\eta \), of SU(3) from SU(\(\infty \)) of these smooth loops to increase from 3% at a loop-size of \(R=0.2 \, {\mathrm {fm}}\) to 10% at \(R=1 \, {\mathrm {fm}}\).
When we increase the loop size R at fixed smoothing radius \(\sqrt{8t}=0.23 \, {\mathrm {fm}}\) from \(R=0.23 \, {\mathrm {fm}}\) to \(R=0.5 \, {\mathrm {fm}}\), the corrections \(\eta (1/9) \approx a_1/9\) (with \(a_1\) from Table 4 or Fig. 9) grow from 4% to more than 30%. The growth with R of the finite \(N\) corrections to factorization is even more dramatic as seen on the right panel in Fig. 9. These large corrections may also contribute to the fact that one has to go to very large \(N\) to approach the large \(N\) limit in the 1-point model [8, 57]. Of course, the dominating effect is expected to be that the color degrees of freedom provide the effective size of the system in that model.
One may also speculate that the growth of factorization violations with the loop size parameter \(\xi \) is so strong that it spoils the large \(N\) limit all together. We do not think that this is the case, but that indeed, it is important to take the limits in the right order: take the \(N\rightarrow \infty \) limit first and then the limit of large loop size. In order to investigate this issue further, one should probably first understand the large \(\xi \) limit at fixed \(N\), maybe just \(N= 3\). Here the relation to the effective string theory of Yang–Mills is likely to play a role [58,59,60,61]. In a second step, one may then consider \(N\) large. Such a demanding programme is beyond the scope of our present work.
In summary, for the quantities studied explicitly, large \(N\) scaling is confirmed with high precision, but corrections to large distance observables can be substantial. One thus has to be careful when deriving quantitative information from large \(N\) considerations in gauge theories.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Author’s comment: The relevant data (necessary to extract the conclusions obtained in the paper) is presented in the tables included in the text.]
Notes
In the lattice discretisation, one just needs to replace \(\int {\mathrm {d}}^3x \rightarrow a^3 \sum _{\vec {x}}.\)
Numerically this is of interest because at not-so-small lattice spacing the first step can easily be investigated with a larger range in \(N\). Even more, as shown in the next section, the results at finite lattice spacing can be obtained with higher precision as only an interpolation to a common lattice spacing for all \(N\) is needed, and thus the statistical and systematic errors are greatly reduced when compared to the results of a continuum limit extrapolation.
References
G. t Hooft, A planar diagram theory for strong interactions. Nucl. Phys. B 72, 461 (1974)
M. Cè, M. García Vera, L. Giusti, S. Schaefer, The topological susceptibility in the large-N limit of SU( N ) Yang–Mills theory. Phys. Lett. B 762, 232 (2016). arXiv:1607.05939
A. Donini, P. Hernández, C. Pena, F. Romero-López, Nonleptonic kaon decays at large \(N_c\). Phys. Rev. D 94, 114511 (2016). arXiv:1607.03262
T. DeGrand, Y. Liu, Lattice study of large \(N_c\) QCD. Phys. Rev. D 94, 034506 (2016). arXiv:1606.01277
B. Lucini, M. Teper, U. Wenger, Glueballs and k-strings in SU(N) gauge theories: calculations with improved operators. JHEP 06, 012 (2004). arXiv:hep-lat/0404008
A. Gonzalez-Arroyo, M. Okawa, The string tension from smeared Wilson loops at large N. Phys. Lett. B 718, 1524 (2013). arXiv:1206.0049
B. Lucini, A. Rago, E. Rinaldi, SU(\(N_c\)) gauge theories at deconfinement. Phys. Lett. B 712, 279 (2012). arXiv:1202.6684
A. Gonzalez-Arroyo, M. Okawa, Testing volume independence of SU(N) pure gauge theories at large N. JHEP 12, 106 (2014). arXiv:1410.6405
B. Lucini, M. Panero, SU(N) gauge theories at large N. Phys. Rep. 526, 93 (2013). arXiv:1210.4997
M.J. Teper, SU(N) gauge theories in (2+1)-dimensions. Phys. Rev. D 59, 014512 (1999). arXiv:hep-lat/9804008
B. Lucini, M. Teper, SU(N) gauge theories in (2+1)-dimensions: further results. Phys. Rev. D 66, 097502 (2002). arXiv:hep-lat/0206027
B. Bringoltz, M. Teper, A precise calculation of the fundamental string tension in SU(N) gauge theories in 2+1 dimensions. Phys. Lett. B 645, 383 (2007). arXiv:hep-th/0611286
J. Liddle, M. Teper, The deconfining phase transition in D=2+1 SU(N) gauge theories. arXiv:0803.2128
A. Athenodorou, M. Teper, SU(N) gauge theories in 2+1 dimensions: glueball spectra and k-string tensions. JHEP 02, 015 (2017). arXiv:1609.03873
L.G. Yaffe, Large n limits as classical mechanics. Rev. Mod. Phys. 54, 407 (1982)
E. Witten, The 1/N expansion in atomic and particle physics. NATO Sci. Ser. B 59, 403 (1980)
S.R. Coleman, 1/N, in 17th International School of Subnuclear Physics: Pointlike Structures Inside and Outside Hadrons Erice, Italy, July 31–August 10, 1979 (1980), p. 0011. http://www-public.slac.stanford.edu/sciDoc/docMeta.aspx?slacPubNumber=SLAC-PUB-2484
P. Rossi, M. Campostrini, E. Vicari, The large N expansion of unitary matrix models. Phys. Rep. 302, 143 (1998). arXiv:hep-lat/9609003
P.D. Vecchia, R. Musto, F. Nicodemi, R. Pettorino, P. Rossi, The transition from the lattice to the continuum: \(cp^{N - 1}\) models at large n. Nucl. Phys. B 235, 478 (1984)
M. Campostrini, P. Rossi, The 1/N expansion of two-dimensional spin models. Riv. Nuovo Cim. 16, 1 (1993)
M. Campostrini, P. Rossi, The 1/N expansion of two-dimensional spin models. Nucl. Phys. Proc. Suppl. 34, 680 (1994). arXiv:hep-lat/9305007
T. Eguchi, H. Kawai, Reduction of dynamical degrees of freedom in the large N gauge theory. Phys. Rev. Lett. 48, 1063 (1982)
J. Kiskis, R. Narayanan, H. Neuberger, Does the crossover from perturbative to nonperturbative physics in QCD become a phase transition at infinite N? Phys. Lett. B 574, 65 (2003). arXiv:hep-lat/0308033
R. Narayanan, H. Neuberger, Large N reduction in continuum. Phys. Rev. Lett. 91, 081601 (2003). arXiv:hep-lat/0303023
A. Gonzalez-Arroyo, M. Okawa, The twisted Eguchi–Kawai model: a reduced model for large N lattice gauge theory. Phys. Rev. D 27, 2397 (1983)
A. Gonzalez-Arroyo, M. Okawa, A twisted model for large \(N\) lattice gauge theory. Phys. Lett. B 120, 174 (1983)
A. Gonzalez-Arroyo, M. Okawa, Large \(N\) reduction with the twisted Eguchi–Kawai model. JHEP 07, 043 (2010). arXiv:1005.1981
YuM Makeenko, A.A. Migdal, Exact equation for the loop average in multicolor QCD. Phys. Lett. B 88, 135 (1979)
G. Bhanot, U.M. Heller, H. Neuberger, The quenched Eguchi–Kawai model. Phys. Lett. B 113, 47–50 (1982)
G. Cossu, M. D’Elia, Finite size phase transitions in QCD with adjoint fermions. JHEP 07, 048 (2009). arXiv:0904.1353
B. Bringoltz, S.R. Sharpe, Non-perturbative volume-reduction of large-N QCD with adjoint fermions. Phys. Rev. D 80, 065031 (2009). arXiv:0906.3538
A. Chatterjee, D. Gangopadhyay, Factorization in large N limit of lattice gauge theories revisited. Pramana 21, 385 (1983)
Y. Makeenko, Large N gauge theories. arXiv:hep-th/0001047
S. Chatterjee, Rigorous solution of strongly coupled \(SO(N)\) lattice gauge theory in the large \(N\) limit. arXiv:1502.07719
J. Jafarov, Wilson loop expectations in \(SU(N)\) lattice gauge theory. arXiv:1610.03821
M. Lüscher, P. Weisz, Perturbative analysis of the gradient flow in non-abelian gauge theories. JHEP 02, 051 (2011). arXiv:1101.0963
V.S. Dotsenko, S.N. Vergeles, Renormalizability of phase factors in the nonabelian gauge theory. Nucl. Phys. B 169, 527 (1980)
R.A. Brandt, F. Neri, M.-A. Sato, Renormalization of loop functions for all loops. Phys. Rev. D 24, 879 (1981)
H. Dorn, Renormalization of path ordered phase factors and related hadron operators in gauge field theories. Fortsch. Phys. 34, 11 (1986)
M. Creutz, Monte Carlo Study of Renormalization in Lattice Gauge Theory. Phys. Rev. D 23, 1815 (1981)
R. Narayanan, H. Neuberger, Infinite N phase transitions in continuum Wilson loop operators. JHEP 03, 064 (2006). arXiv:hep-th/0601210
M. Lüscher, Properties and uses of the Wilson flow in lattice QCD. JHEP 08, 071 (2010). arXiv:1006.4518
M. Okawa, A. Gonzalez-Arroyo, String tension from smearing and Wilson flow methods. PoS LATTICE 2014, 327 (2014). arXiv:1410.7862
R. Lohmayer, H. Neuberger, Rectangular Wilson loops at large N. JHEP 08, 102 (2012). arXiv:1206.4015
R. Lohmayer, H. Neuberger, Non-analyticity in scale in the planar limit of QCD. Phys. Rev. Lett. 108, 061602 (2012). arXiv:1109.6683
B. Alles, A. Feo, H. Panagopoulos, The three loop Beta function in SU(N) lattice gauge theories. Nucl. Phys. B 491, 498 (1997). arXiv:hep-lat/9609025
R.F. Dashen, D.J. Gross, The relationship between lattice and continuum definitions of the gauge theory coupling. Phys. Rev. D 23, 2340 (1981)
G. ’t Hooft, Large N, in Phenomenology of large N(c) QCD. Proceedings, Tempe, USA, January 9–11, 2002 (2002), pp. 3–18. arXiv:hep-th/0204069
M. Lüscher, S. Schaefer, Lattice QCD without topology barriers. JHEP 07, 036 (2011). arXiv:1105.4749
N. Cabibbo, E. Marinari, A new method for updating SU(N) matrices in computer simulations of gauge theories. Phys. Lett. B 119, 387 (1982)
M. Cè, C. Consonni, G.P. Engel, L. Giusti, Non-gaussianities in the topological charge distribution of the SU(3) Yang–Mills theory. Phys. Rev. D 92, 074502 (2015). arXiv:1506.06052
R. Sommer, A new way to set the energy scale in lattice gauge theories and its applications to the static force and alpha-s in SU(2) Yang–Mills theory. Nucl. Phys. B 411, 839 (1994). arXiv:hep-lat/9310022
M. García Vera, S. Schaefer, Multilevel algorithm for flow observables in gauge theories. Phys. Rev. D 93, 074502 (2016). arXiv:1601.07155
M.G. Vera, R. Sommer, Large \(N\) scaling and factorization in \({{\rm SU}}(N)\) Yang–Mills theory. EPJ Web Conf. 175, 11018 (2018). arXiv:1710.06057
M. Cè, M. García Vera, L. Giusti, S. Schaefer, The large \({N}\) limit of the topological susceptibility of Yang–Mills gauge theory. PoS LATTICE 2016, 350 (2016). arXiv:1610.08797
ALPHA collaboration, M. Dalla Brida, P. Fritzsch, T. Korzec, A. Ramos, S. Sint, R. Sommer, Slow running of the gradient flow coupling from 200 MeV to 4 GeV in \(N_{{\rm f}}=3\) QCD. Phys. Rev. D 95, 014507 (2017). arXiv:1607.06423
A. González-Arroyo, M. Okawa, Large N meson masses from a matrix model. Phys. Lett. B 755, 132 (2016). arXiv:1510.05428
Y. Nambu, QCD and the string model. Phys. Lett. B 80, 372–376 (1979)
M. Luscher, K. Symanzik, P. Weisz, Anomalies of the free loop wave equation in the WKB approximation. Nucl. Phys. B 173, 365 (1980)
M. Luscher, P. Weisz, String excitation energies in SU(N) gauge theories beyond the free-string approximation. JHEP 07, 014 (2004). arXiv:hep-th/0406205
O. Aharony, N. Klinghoffer, Corrections to Nambu–Goto energy levels from the effective string action. JHEP 12, 058 (2010). arXiv:1008.2648
Acknowledgements
We would like to thank M. Cè, L. Giusti and S. Schaefer for sharing part of the generation of the gauge configurations [2] and M. Koren for useful discussions. We are grateful to A. Gonzalez-Arroyo and U. Wolff for their valuable comments on our first manuscript. Our simulations were performed at the ZIB computer center with the computer resources granted by The North-German Supercomputing Alliance (HLRN). M.G.V acknowledges the support from the Research Training Group GRK1504/2 “Mass, Spectrum, Symmetry” founded by the German Research Foundation (DFG).
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Volume dependence
In order to understand whether L is kept sufficiently close to a fixed value, we have performed two additional simulations at the coarsest lattice spacing for \({\mathrm {SU}}(4)\) and \({\mathrm {SU}}(5)\). The parameters for these simulations are the same as for \(A(4)_1\) and \(A(5)_1\) respectively, with the difference that the lattice sizes have been increased to \(24^3\times 96\). In physical units this corresponds to \(L \approx 2.4\, {\mathrm {fm}}\). Although all the ensembles in Table 1 have approximately the same lattice size, we find that in the case of \(H_W(c)\), at \(c=1/2\) and \(c=1\), the small variations in the volume induces an uncertainty which may be relevant. For the rest of observables, volume effects are within the statistical uncertainty. To showcase this, in Fig. 10 we display a plot of \(H_W(c)\) for \(c=1/2\) and \(c=9/4\). Clearly, at the smaller c, volume effects are much larger. Both at \(c=1/2\) and \(c=1\) we find that including the volume effects as a systematic correction is difficult with just two points in L. Attempting it in a conservative manner produces errors which are too large to check for the large \(N\) scaling at a similar precision as for the rest of observables, so we include only \(H_W(9/4)\) in the analysis. We note that we do not have an explanation why small c appears to be more difficult than a large one.
Appendix B: \(\bar{\lambda }_{{\mathrm {GF}}}\) at small t
As stressed in Sect. 5.1.1, the continuum extrapolations become more difficult at smaller values of t. Due to the large cut-off effects, we find that a linear extrapolation in \(a^2/t_0\) does not parametrize the data adequately, even using only the finest lattice points. For that reason, we include in the fits the \(\mathrm{O}(a^4/t_0^2)\) and the \(\mathrm{O}(a^6/t_0^3)\) corrections. The fit strategy is similar to the one used for the rest observables, except that higher degree polynomials are used. Briefly, the central point is obtained by performing a quadratic fit in \(a^2/t_0\) using those data for which \(a^2/t_0 \le 1/4\). Then, a second fit is performed, either using a quadratic function, or a cubic one if the value of \(\chi ^2/{{\mathrm {dof}}}\) of the first one is too large. Finally, the error is chosen so that it covers the full \(1-\sigma \) band of both fits. We show our results at \(t/t_0 = 0.2\) in Fig. 11. As expected, the errors in our continuum extrapolations are larger than those obtained at larger values of t, but within the errors, the large \(N\) extrapolation is perfectly consistent with a polynomial in \(1/N^2\). At finite lattice spacing, the large \(N\) extrapolation is cleaner, and once again it shows and excellent agreement with the ’t Hooft expansion.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
García Vera, M., Sommer, R. Large \(N\) scaling and factorization in \({\mathrm {SU}}(N)\) Yang–Mills gauge theory. Eur. Phys. J. C 79, 35 (2019). https://doi.org/10.1140/epjc/s10052-019-6539-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-019-6539-4