Abstract
In this paper we explore a finite volume renormalization scheme that combines three main ingredients: a coupling based on the gradient flow, the use of twisted boundary conditions and a particular asymmetric geometry, that for SU(N) gauge theories consists on a hypercubic box of size \(l^2 \times (Nl)^2\), a choice motivated by the study of volume independence in large N gauge theories. We argue that this scheme has several advantages that make it particularly suited for precision determinations of the strong coupling, among them translational invariance, an analytic expansion in the coupling and a reduced memory footprint with respect to standard simulations on symmetric lattices, allowing for a more efficient use of current GPU clusters. We test this scheme numerically with a determination of the \(\Lambda \) parameter in the SU(3) pure gauge theory. We show that the use of an asymmetric geometry has no significant impact in the size of scaling violations, obtaining a value \(\Lambda _{\overline{\mathrm{MS}}}\sqrt{8 t_0} =0.603(17)\) in good agreement with the existing literature. The role of topology freezing, that is relevant for the determination of the coupling in this particular scheme and for large N applications, is discussed in detail.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Finite volume renormalization schemes [1] are a powerful tool to investigate asymptotically free theories (see [2, 3] for a comprehensive review). Asymptotic freedom [4, 5] predicts that at high energies the coupling is weak, and perturbation theory becomes a reliable tool to make precise predictions. In Yang Mills (YM) theories or QCD, the approach to this perturbative regime is logarithmic. Due to this logarithmic running of the coupling, the strongly coupled regime and the perturbative regime are separated by large energy scales. Accommodating these disparate scales on a single lattice simulation is challenging, and requires compromises (see [6] for a review on the consequences in the context of the extraction of the strong coupling). Finite volume renormalization schemes solve this multiscale problem by linking the physical volume of the system with the renormalization scale. A single lattice simulation only allows to study a limited range of scales, but by using a recursive procedure called finite size scaling, simulations with different physical sizes allow to cover large energy scales. Using this technique, the running coupling has been determined in QCD with \(N_\mathrm{f} = 2\), 3 [7,8,9] and 4 [10] flavors as well as in the pure gauge theory [11,12,13].
In this work we will explore numerically a particular finite volume renormalization scheme, first introduced in [14,15,16] based on three ingredients. First, we choose a non-perturbative coupling based on the gradient flow [17,18,19,20] (see also [21] for a review). Second, we choose twisted boundary conditions [22,23,24] for the gauge fields. Finally, we make use of a particular geometry, namely, for the case of SU(N) gauge theories we choose a hyper-cubic box of dimensions \(l^2\times {{\tilde{l}}}^2\) with \({{\tilde{l}}} = lN\).
The logic behind these choices is rooted in the study of the large N limit of YM theories and in the ideas of volume reduction with twisted boundary conditions [25,26,27] (see [28, 29] for recent reviews). With our choice of geometry (\(l^2\times (Nl)^2\)) and our particular choice of twisted boundary conditions, perturbation theory indicates that the effective volume of the torus is \((Nl)^4\). This equivalence between group degrees of freedom and spatial degrees of freedom (that becomes exact in the large N limit), lies behind the ideas of volume reduction and non-commutative geometry.
In this work we will will argue that this particular choice of scheme has several advantages. The running coupling in the pure gauge theory has recently seen a revived interest in relation of the quest for precision in the LHC. It has been shown that precise values of the \(\Lambda \) parameter of the pure gauge theory can be used, via a non-perturbative matching between QCD and the pure gauge theory using heavy quarks [30], into a precise value for the strong coupling, a key quantity for phenomenology in high energy physics. Due to the fact that the pure gauge theory is numerically more tractable than QCD this approach is probably the best option to substantially reduce the uncertainty in the strong coupling. Still, very precise determinations of the running coupling in the pure gauge theory are needed, that poses its own challenges. Compared with the more customary finite volume renormalization schemes based on Schrödinger functional (SF) [31, 32] or mixed open-SF boundary conditions [33], twisted boundary conditions [34, 35] preserve the invariance under translations and are therefore free of the linear \({\mathcal {O}}(a)\) cutoff effects present in other schemes. The use of periodic boundary conditions [36, 37] lead to coupling definitions that are non-analytic, making cumbersome the extraction of the \(\Lambda \) parameter. This is not the case for twisted boundary conditions, which are particularly suited for perturbative calculations. Moreover, the relation between the \(\Lambda \) parameter in this scheme and in the \(\overline{\mathrm{MS}}\) scheme is known analytically [14]. Finally, due to the use of an asymmetrical torus, the memory footprint required to simulate this scheme in a computer is reduced. The computing power stays roughly the same because with this geometry the observables show a larger variance [38], but this scheme allows for a better usage of current GPU clusters.
In this work we will determine the \(\Lambda \) parameter in the pure gauge theory. We will check that the use of this particular geometry has no significant impact in the size of scaling violations, and will explore in detail the role of topology freezing [39, 40]. In summary we expect that this particular scheme will play an important role in future precise determinations of the strong coupling, and in the investigation of the large N limit of gauge theories.
Let us now comment a bit on our choice of coupling and geometry. Definitions of the gauge coupling based on the gradient flow are nowadays customary since they can be computed on the lattice to high precision. The gradient flow is a renormalization procedure based on replacing the original gauge fields \(A_\mu (x)\) by a new set of smooth, flow time dependent, fields \(B_\mu (x,t)\), in terms of which gauge invariant composite observables are automatically renormalized quantities for \(t>0\) [41]. These new fields are driven by the so-called flow time equations:
where \(D_\mu \) and \( G_{\mu \nu }\) stand for the covariant derivative and field strength tensor of the flow fields. The effect of the flow is to smooth the gauge fields on a sphere of radius \(\sqrt{8t}\). Renormalized couplings based on the gradient flow can thus be trivially introduced, as one only needs to find dimensionless observables that depend on a scale. Starting from E(t), the energy density of the flow fields:
we can use the flow time t, with dimensions of length squared, to construct the dimensionless combination \(\langle t^2 E(t)\rangle \). Nevertheless, this dimensionless combination depends on a scale \(\mu = 1/\sqrt{8t}\), which allows to define a renormalized ’t Hooft coupling (\(\lambda = g^2 N\)) through the relation:
where \({\mathcal N}\) stands for a normalization constant introduced to ensure that \(\lambda (\mu ) = \lambda _{\overline{\mathrm{MS}} }(\mu ) + \cdots \) at leading order in perturbation theory. In the context of finite-size scaling, it is customary to relate the renormalization scale to the size of the finite volume in which the gauge theory lives. In the standard set-up, on a torus of size \(l^4\), one fixes the flow time via the relation \(\sqrt{8t}=c l\), with c standing for an arbitrary, smaller that 1, constant defining the scheme.
Concerning the geometry, the twisted gradient flow (TGF) scheme is defined by introducing SU(N) Yang–Mills theories on an asymmetrical hypercubic box of size \(l^2 \times (N l)^2\). The plane with two short directions, taken to be the (1,2) plane, is endowed with twisted boundary conditions, i.e.
In the remaining directions the gauge field is periodic with period \({{\tilde{l}}}=N l\). The twist matrices \(\Gamma _\nu \), for \(\nu \) = 1, 2, satisfy the consistency condition:
with
with k and N coprime integers. For the concrete case of SU(3) studied in this paper, the choice of twist is unique and given by \(k=1\). However, for arbitrary N the value of the twist k has to be scaled with the range of the gauge group and is best selected so as to avoid the appearance of tachyonic instabilities in the large N limit [27, 42].
As already mentioned, perturbation theory indicates that finite volume effects for this choice of twist are controlled by \({{\tilde{l}}}\) [14, 43, 44]. Under this assumption, it becomes natural to use the effective size \({{\tilde{l}}}\), rather that l, to set the scale of the running coupling [45]. In addition, and following the prescription introduced in [40], the coupling will be defined within the sector of configurations with zero topological charge. This choice aims at circumventing the problem of topology freezing on the lattice that will be discussed in some detail in Sect. 4. With this, the coupling is defined as:
where \(\delta _Q\) stands for a \(\delta \)-function that restricts the path integral to configurations with zero topological charge Q, and
where \(\theta _3(0,ix)\) stands for the Jacobi \(\theta _3\) function:
Throughout this work we make use of the coupling scheme corresponding to \(c=0.3\).
The paper is organized as follows. Section 2 summarizes the strategy to determine the \(\Lambda \) parameter in terms of some typical hadronic scale. Section 3 compiles our numerical results. In Sect. 3.1 we introduce our numerical set-up and the lattice definition of the TGF coupling. Section 3.2 discusses the determination of the step scaling function and the continuum extrapolation. In Sect. 3.3 we determine the \(\Lambda \) parameter in the TGF scheme in terms of a hadronic scale \(\mu _\mathrm{had}\), and discuss the matching with the SF and \({\overline{\mathrm{MS}}}\) schemes. Our final result for \(\Lambda _{\overline{\mathrm{MS}}}\sqrt{8t_0} \) is presented in Sect. 3.4. Finally, Sect. 4 discusses the role of topology freezing. We conclude in Sect. 5 with a summary of results. A few appendices are included providing raw data for our lattice results, details on the matching to the SF scheme and a discussion of the dilute gas approximation used in Sect. 4.
2 The Lambda parameter
The starting point for the determination of the \(\Lambda \) parameter is the RG equation in a certain scheme (labeled \(\mathrm{s}\))
The \(\beta \)-function has a perturbative expansion
with the first two coefficients \((4 \pi )^2 b_0= 11/3\) and \((4 \pi )^4 b_1 = 34/3 \) being universal (i.e. scheme independent). The first order differential equation (2.1) can be integrated exactly
where \(\Lambda _\mathrm{s}\) is an integration constant (the \(\Lambda \)-parameter). As such, it is a renormalization group invariant (i.e. scale independent), but depends on the choice of renormalization scheme. This scheme dependence can be computed exactly via a one-loop computation. In particular, the quotient of \(\Lambda \) parameters in the \({\overline{\mathrm{MS}}}\) scheme and the TGF one (see Sect. 1 for a precise definition of the latter) is given by [14]
where \(C_1(c=0.3)=0.508(4)\) for gauge group SU(3) and twist \(k=1\).
In order to determine the \(\Lambda \) parameter, we use the exact relation Eq. (2.3) to write
where \(\mu _\mathrm{had}\) is a typical hadronic scale and \(\mu _\mathrm{pt}\gg \mu _\mathrm{had}\) is a high energy scale where perturbation theory is applicable. Lattice field theory allows to determine non-perturbatively the running of the coupling in some suitable schemes (like the TGF used here), and therefore the second factor of the right hand side of Eq. (2.5). In particular the technique of finite size scaling [1] allows very precise determinations. We postpone a detailed discussion for the next section, and focus here on the evaluation of the first factor, that requires the use of perturbation theory. If we define
where \(\beta _\mathrm{s}^{(n)}(x)\) is the n-loop \(\beta \)-function, it is easy to see that (cf. Eq. (2.3))
The corrections decrease as powers of \(\lambda _s(\mu _\mathrm{pt})\), and therefore logarithmically (i.e. slowly) with the scale \(\mu _\mathrm{pt}\). The extraction of the \(\Lambda _\mathrm{s}\) parameter has to be performed by taking the limit
Controlling the limit of Eq. (2.8) requires simulating large energy scales with our lattice simulations. Finite size scaling allows to do this by linking the renormalization scale with the physical size of the lattice simulation (see Sect. 1). The change of the coupling when the renormalization scale changes by a factor two
is called the step scaling function, and can be obtained via lattice simulations by first tuning the value of the bare coupling \(\lambda _0\) such that \(\lambda _s = u\) at several values of the lattice size \({{\tilde{L}}} = {{\tilde{l}}}/a\), and then determining the value of the coupling in a lattice twice as large at the same values of the bare coupling \(\lambda _0\). This procedure results in several values of the lattice step scaling function \(\Sigma (u,{{\tilde{L}}})\), that have to be extrapolated to the continuum
Since
the step scaling function allows to determine precisely the last factor in Eq. (2.8). Once the function \(\sigma (u)\) is known, one defines \(u_0 = \lambda _s(\mu _\mathrm{had})\), and recursively determines
Each application of the step scaling function changes the renormalization scale by a factor 2, so that \(u_{k} = \lambda _s(2^k\mu _\mathrm{had})\) and
After a reasonable number of steps (\({\mathcal {O}}(10)\)), large energy scales have been achieved, where perturbative corrections are expected to be small and one can explore the limit of Eq. (2.8) by taking \(\lambda _s(\mu _\mathrm{pt}) = u_k\) and \(\mu _\mathrm{pt} = 2^k\mu _\mathrm{had}\gg \mu _\mathrm{had}\).
Crucially, large energy scales can be covered using this procedure. In the next section we discuss the numerical determination of the step scaling function in the TGF set-up.
3 Numerical results
3.1 Numerical set-up
We simulate pure SU(3) Yang-Mills theory on asymmetric lattices of size \(L^2 \times {{\tilde{L}}}^2\), with \({{\tilde{L}}}=N L\equiv 3 L\), corresponding to a torus in the continuum of size \(l^2 \times {{\tilde{l}}}^2\), with \({{\tilde{l}}}= a {{\tilde{L}}}\) and a the lattice spacing. Twisted boundary conditions are implemented by taking as lattice action
with plaquettes \(P_{\mu \nu }(n)\) given in terms of the SU(3) link variables \(U_\mu (n)\) as:
and where \(b= 1/\lambda _0 \) stands for the inverse of the lattice bare ’t Hooft coupling, and \(Z_{\mu \nu }(n)\) is set to one for all plaquettes except for the ones with coordinates \(x_1 = x_2 = 1\), where:
We use a hybrid over-relaxation algorithm [46], that combines a single heat-bath sweep (HB) [47, 48], followed by \({\tilde{L}}\) over-relaxation sweeps (OR) [49]. Since the measurement of flow quantities are computationally expensive, we perform \({\tilde{L}}\) hybrid sweeps between measurements, which produces uncorrelated measurements basically for all our coupling values (nevertheless, the small autocorrelations are still taken into account). The simulated values of the bare coupling and lattice sizes as well as the total number of configurations attained in each case is reported in Table 6 in Appendix A. We have used lattices with \({{\tilde{L}}}= 12\), 18, 24, 36 and 48, in a range of values of \(b \in [0.33,1.12]\). Data analysis has been performed using two different approaches. One based on resampling techniques and the other using the \(\Gamma \) method [50] together with automatic differentiation [51]. Both approaches give similar results in all cases.
In this study, we have used the so-called Wilson flow discretization of the continuum flow equation, and evaluated the energy density by means of the clover discretization given by:
where we defined, denoting \(U_{-\mu }(n)=U^\dagger _\mu (n-\mu )\):
with \(P_{\mu \nu }(n,t)\) the plaquette evaluated in terms of the flowed links at flow time t.
It is well known that simulations at very fine lattice spacings loose ergodicity [39]. In many of our simulations this is not problematic, since they are performed in small physical volumes, where the contributions of the non-trivial topological sectors are highly suppressed. But at physical volumes \({{\tilde{l}}}\sim 1\) fm, critical slowing down can severely affect the results of our studies [40]. For this reason, we define the coupling in the zero topological sector using:
where the topological charge Q on the lattice is determined through the expression:
evaluated at flow time \(\sqrt{8 t}= c {{\tilde{l}}}\). Since the topological charge given by this expression is not an integer, we have set:
It has to be emphasized that the renormalization of the coupling with and without projecting to the trivial topological sector is different. Note that the projection to the trivial sector is performed with the flowed definition of the topological charge (c.f. Eq. (3.7)), that has a well defined continuum limit. Therefore no additional divergences will arise with this definition. Moreover since both coupling definitions have the same perturbative expansion to all orders in the continuum, we conclude that the difference has to be non-perturbative finite terms: just a different choice of scheme.
In addition, and in order to eliminate the leading order lattice artefacts in perturbation theory, the lattice normalization factor has been used:
where \({{\hat{q}}}_\mu =2\sin (q_\mu /2)\) stands for the lattice momentum, with \(q_\mu = 2 \pi n_\mu /{{\tilde{L}}}\), with \(n_\mu = 0, \ldots , {{\tilde{L}}}-1\), and with the prime in the sum denoting the exclusion of momenta with both components in the twisted plane satisfying \({{\tilde{L}}}q_i \propto 2 N \pi = 6\pi \).
The values for the TGF coupling measured for \(c=0.3\) are collected in Table 7 in Appendix B. At a given value of b, the coupling is measured on two lattices with extents given by \({{\tilde{L}}}\) and \(2{{\tilde{L}}}\), which allows to determine the lattice step scaling function \(\Sigma (u, {{\tilde{L}}})\) for \({{\tilde{L}}} = 12, 18, 24\).
3.2 Determination of the continuum step scaling function
Once the lattice step scaling function \(\Sigma (u, {{\tilde{L}}})\) is determined, one needs to extrapolate it to the continuum. In our set-up, leading cutoff effects are \({\mathcal {O}}(a^2)\). Even though this leading behavior receives logarithmic corrections [52], our range of lattice sizes span a factor two in lattice spacings, so we expect these logarithmic corrections to be small. Since the aim of this work is not to provide a very precise result, but else to explore the viability of the TGF scheme, we will rely on simple linear extrapolations. If data at fixed values of the coupling \(u_i\, (i=1,\ldots ,N_\mathrm{points})\) and their corresponding values of the lattice step scaling function \(\Sigma _i({{\tilde{L}}}) \equiv \Sigma (u_i, {{\tilde{L}}})\) exist for different lattice sizes \({{\tilde{L}}}\), we can extrapolate them as:
Alternatively, we have tried to extrapolate
The difference between the two approaches is clearly an \(1/\tilde{L}^4\) term, and in our checks it turns out to be negligible. These extrapolations at fixed values of \(u_i\) result in the corresponding values \(\sigma _i = \sigma (u_i)\) of the step scaling function. This approach is described in detail in Sect. 3.2.1.
It is also convenient to find out a suitable parametrization for the continuum function \(\sigma (u)\), in order to obtain the sequence of couplings Eq. (2.12). Reasonable parametrizations for the functional form \(\sigma (u)\) can be found by using perturbation theory as a guide. In particular, we will use the simple parametrization
to fit our data. Note that although this functional form imposes the correct perturbative behavior (for \(u\rightarrow 0\)), after determining the fit parameters \(p_k\) using our non perturbative data, we expect it provides a description of the non-perturbative step scaling function \(\sigma (u)\) in our range of couplings.
Alternatively, being \(\sigma (u)\) a one-to-one function in our domain of interest, one can use the inverse relation to parameterize the inverse step scaling function \(\sigma ^{-1}\) entering in Eq. (2.12), i.e.
The two parametrizations should give equivalent results.
Finally we can combine both, the continuum limit and the parametrization of the step scaling function, in a single global fit. This approach does not require the coupling to be perfectly tuned to constant values of u, and amounts to fit the data for the lattice step scaling function to the functional form
and similarly for the parametrization of the lattice inverse function
Details of this global approach are presented in Sect. 3.2.2.
3.2.1 Continuum limit on a u-by-u basis
We have tuned the bare coupling b on the \({\tilde{L}}=12\), 18 and 24 lattices to attain a few targeted values of the renormalized coupling u (see Table 8 in Appendix C). Once this is achieved, the renormalized coupling is measured on the double size lattices at the same value of the bare coupling. Since the tuning is not perfect, there is a small mismatch in the tuning of the target couplings that can be easily corrected for by slightly shifting the resulting couplings to a constant value of u.
By using the one-loop perturbative relation
the values of the lattice step scaling function \(\Sigma (u,{{\tilde{L}}})\) can be shifted to a target value of the coupling \(u_\mathrm{tg}\) using the relation
We note that our data set is already very well tuned, and therefore the additional shift introduced by this procedure is well below the statistical accuracy.
The same one-loop relation can be used to propagate the error of u into an error of the step scaling function. Being precise, we add in quadratures
to the statistical error of \(\Sigma (u,{{\tilde{L}}})\). This procedure leads to a set of data at constant value of the coupling u for different lattice spacings. The result can be seen in Table 1, while the raw data is available in Table 8 in Appendix C.
The continuum limit of the step scaling function is obtained by performing a linear extrapolation in \(1/{{\tilde{L}}}^2\), as illustrated in Fig. 1. The continuum values of \(\sigma (u)\) resulting from these fits are given in Table 1. The advantage of this procedure vs the global fit presented below is that no functional dependence in u is assumed for the terms representing the lattice artefacts (cf. Eqs. (3.11) and (3.14)).
The resulting pairs \((u,\sigma )\) are then fitted to the series expansions given by Eqs. (3.12) or (3.13), allowing to parameterize the corresponding step scaling functions in the range of couplings under consideration. For completitude we give the parameters of the fit to Eq. (3.13) with \(N_c=4\) and fitting range \(\sigma \in [1.5, 17]\):
and their covariance:
3.2.2 Continuum limit from a global fit
As an alternative to the u-by-u fit, the continuum limit can be obtained from a combined parametrization of the continuum step scaling function and a continuum extrapolation – see e.g. Eq. (3.14).
From the last section, we know that the continuum step scaling function is well parametrized using three parameters in addition to the two universal terms (i.e. \(N_c=4\)). Cutoff effects are well described as long as \(N_l \ge 3\), with little differences in the continuum results even if the number of parameters is increased up to \(N_l = 8\). The raw data used in these fits is available in Appendix B. We have fitted the data for \(1/{\mathcal U}(\sigma , {{\tilde{L}}})\) vs \(\sigma \) in the range \(\sigma \in [1.5, 17]\) with the particular choice \(N_c = N_l = 4\); the resulting continuum fit parameters are given by:
with covariance:
The result of this fitting procedure is displayed in Fig. 2a where the raw data for \(1/{\mathcal U}(\sigma , {{\tilde{L}}})\) is represented vs \(\sigma \) and compared with the continuum extrapolation resulting from this global fit which is given by the pink band displayed in the plot.
We finally present a comparison between the various continuum extrapolations in Fig. 2b. The orange points come from the direct extrapolation at fixed targeted values of u given in Table 1. The blue and pink bands correspond respectively to the u-by-u and global fits described previously, showing a good agreement in all the range of fitted values. For comparison, the perturbative predictions at one and two-loop order are also shown in the figure.
3.3 Determination of \(\Lambda _\mathrm{TGF}/\mu _\mathrm{had}\)
The determination of \(\Lambda _\mathrm{TGF}/\mu _\mathrm{had}\) relies on the use of Eq. (2.8), evaluated in terms of a sequence of couplings connecting \(\lambda (\mu _\mathrm{had})\) and \(\lambda (\mu _\mathrm{pt})\). We have performed this sequence in two steps: an exact step connecting the coupling at scales \(\mu _\mathrm{had}\) and \(2 \mu _\mathrm{had}\), followed by a step-scaling sequence, starting at \(\lambda (2\mu _\mathrm{had})\), to be determined by the continuum step scaling functions obtained in the previous sections. Let us now describe these steps in detail.
-
Determination of \(\varvec{\lambda (\mu _\mathrm{had})}\) We fix the coupling \(\lambda (2\mu _\mathrm{had})\equiv 13.9164955\) at values of the lattice spacing that correspond to \({{\tilde{L}}} = 12,18,24\). The corresponding values of the lattice step scaling function are given in Table 1, and extrapolate to a continuum value \(\lambda (\mu _\mathrm{had})= 34.52(29)\).
-
Determination of \(\varvec{\Lambda _{\overline{\mathrm{MS}}}/(2\mu _\mathrm{had})}\) Using the fits of the continuum step scaling function, we determine a sequence of couplings \(\lambda _n = \lambda (2^{n+1}\mu _\mathrm{had})\). The differences between the global and the u-by-u fits in this step are well below our statistical uncertainties. On the other hand, there are several possibilities to determine the ratio \(\Lambda _{\overline{\mathrm{MS}} }/(2\mu _\mathrm{had})\):
-
TGF:
One can use the universal coefficients of the \(\beta \)-function and the known ratio \(\Lambda _{\overline{\mathrm{MS}} }/\Lambda _\mathrm{TGF}\) to determine \(\Lambda _{\overline{\mathrm{MS}} }/(2\mu _\mathrm{had})\) (cf. Eq. (2.8)).
-
MS:
One can use the value of the ratio \(\Lambda _{\overline{\mathrm{MS}} }/\Lambda _\mathrm{TGF}\) to determine the coupling in the \(\overline{\mathrm{MS}} \) scheme as follows
$$\begin{aligned} \lambda _{\overline{\mathrm{MS}}}(2^{n+1}\mu _\mathrm{had})= & {} x + 2b_0 x^2 \log \left( \frac{\Lambda _{\overline{\mathrm{MS}}} }{\Lambda _\mathrm{TGF}} \right) \nonumber \\&\quad + {\mathcal {O}}(x^3)\, \quad \left( x = \lambda \left( 2^{n+1}\mu _\mathrm{had}\right) \right) .\nonumber \\ \end{aligned}$$(3.23)Then, using the known 5-loop \(\beta \)-function [53] in the \(\overline{\mathrm{MS}} \) scheme, one can determine the ratio \(\Lambda _{\overline{\mathrm{MS}} }/(2\mu _\mathrm{had})\).
-
SF:
Very precise data for the SF coupling is available in reference [13]. These computations were performed at the same values of the bare coupling b as our runs but on lattices of size \({{\tilde{L}}}/3\). This allows to convert non-perturbatively the values of \(\lambda (2^{n+1}\mu _\mathrm{had})\) to values of \(\lambda _\mathrm{SF}(0.9\times 2^{n+1}\mu _\mathrm{had})\). Details of this matching are available in Appendix D, here it is enough to say that this matching is only possible in the region \(9 > rsim \lambda > rsim 3\).
After this non-perturbative conversion, the known 3-loop \(\beta \)-function in the SF scheme [54,55,56] can be used to determine the ratio \(\Lambda _{\overline{\mathrm{MS}} }/(2\mu _\mathrm{had})\).
This procedure is similar to the approach taken in [38], and we encourage the reader interested in the details to consult that reference.
The results for the ratio \(\Lambda _{\overline{\mathrm{MS}} }/(2\mu _\mathrm{had})\) using the different procedures described above can be seen in Table 2 and in Fig. 3. Methods labeled TGF and MS carry a perturbative uncertainty \(\mathcal O(\lambda (2^{n+1}\mu _\mathrm{had}))\) (right panel of Fig. 3), while the SF method carries an uncertainty \({\mathcal {O}}(\lambda ^2(2^{n+1}\mu _\mathrm{had}))\) (left panel). Figure 3 shows that these perturbative corrections are significant in the methods labeled TGF and MS. Nevertheless the picture shows a nice agreement between all analysis methods once the limit \(\lambda \rightarrow 0\) is taken.
Finally, we quote as central value of the analysis the one labeled as SF, since it has the smallest perturbative corrections and is compatible within errors with the other two determinations. We report as final numerical value:
3.4 Computation of \(\Lambda _{{\overline{\mathrm{MS}}}}\sqrt{ 8 t_0}\)
In order to determine the dimensionless combination \(\Lambda _{{\overline{\mathrm{MS}}}}\sqrt{ 8 t_0}\), we have to put together our previous results for the ratio \(\Lambda _{\overline{\mathrm{MS}} }/\mu _\mathrm{had}\) with a determination of \(\mu _\mathrm{had}\times \sqrt{8t_0}\). This quantity is computed as the continuum extrapolation of
where \(a \mu _\mathrm{had}\) is determined by the lattice size and bare coupling for which the renormalized coupling takes the value \(\lambda (\mu _\mathrm{had})=34.52(29)\) (see Table 1). Values for \(\sqrt{8t_0}/a\) for our choice of Wilson gauge action are available in the literature (see Table 3).
Two steps were therefore required. First, for each value of \({{\tilde{L}}}\) we determined the values of the bare coupling leading to a renormalized coupling \(\lambda (\mu _\mathrm{had})\). For this purpose, we have fitted the dependence of the coupling on b, at fixed \({{\tilde{L}}}\), with a Padé fit of the form:
Fits are done to \(1/\lambda -b\), as illustrated in Fig. 4.
After this, one has to determine \(a/\sqrt{8 t_0}\) at those values of the bare coupling. Following Ref. [13], this is done by using the results quoted in Refs. [20, 57, 58]. All the values for this quantity given in table 4 of Ref. [13] are used to fit \(\log (t_0/a^2)\) to a polynomial in b of degree 5 in the range \(b\in [0.33,0.39]\). This fit is then used to determine \(a/\sqrt{8 t_0}\) at the specific values of the bare coupling corresponding to \(\lambda (\mu _\mathrm{had})\) on each lattice. The results obtained from this procedure on lattices with \({{\tilde{L}}}= 12\), 18, 24, 36 and 48 are given in Table 4.
Figure 5a shows the continuum extrapolation of \(\mu _\mathrm{had}\sqrt{8t_0}\) obtained using this strategy. We include datapoints corresponding to the \({{\tilde{L}}}=18\), 24, 36 and 48 lattices. The final continuum extrapolated value is given by:
We can now use these results to express \(\Lambda _{\overline{\mathrm{MS}}}\) in units of \(\sqrt{8t_0}\). Our final result (cf. Eq. (3.24)) is:
This number is in agreement within errors with a more precise determination obtained in a recent work by one of the present authors [13]: \(\sqrt{8t_0} \times \Lambda _{{\overline{MS}}} = 0.6227(98)\). The strategy to obtain the \(\Lambda \) parameter in that work is similar to the one presented here but is based on the use of a different gradient flow scheme with SF instead of twisted boundary conditions.
A more detailed comparison with the existing literature is better done in terms of the scale \(r_0\) [67], which, although less precise that \(t_0\), is used in most of the determinations of the \(\Lambda \) parameter up to date. An analysis completely analogous to the one leading to Eq. (3.28), allows to determine \(r_0 \times \Lambda _{\overline{\mathrm{MS}}}\). The values of \(r_0/a\) employed in the extrapolation are shown in Table 3. The values of the lattice spacing \(a/r_0\) corresponding to the renormalization condition \(\lambda (\mu _\mathrm{had})\) are shown in Table 4 and the continuum extrapolation is displayed in Fig. 5b, leading to a value of \(\mu _\mathrm{had}\times r_0 = 1.453(19)\). Our final result for the \(\Lambda \) parameter in units of \(r_0\) is:
Figure 6 shows a comparison of this result with the values included in the FLAG average [61]. With the present accuracy, our result comes out compatible with both the FLAG average \(r_0 \times \Lambda _{\overline{\mathrm{MS}}}= 0.615(18)\), and the result by Dalla Brida and Ramos: \(r_0 \times \Lambda _{\overline{\mathrm{MS}}}= 0.660(11)\) [13]. We believe that our particular scheme can be efficiently used to pin down the error in the determination of the \(\Lambda \) parameter and clarify the tension among the existing values in the literature.
4 The effect of topology
As explained in the introduction, our definition of the gradient flow coupling follows the prescription adopted in [40] which amounts to evaluate the coupling in the sector of trivial topology. This choice can be seen as a particular renormalization scheme, introduced to circumvent the well known problem of topology freezing and critical slowing down [68]. A neat example of this effect is given in Fig. 7 where we display the value of the topological charge as a function of Monte Carlo time for lattices with \({{\tilde{L}}}=24,36,48\) and a physical size corresponding to \(\lambda \approx \lambda (\mu _\mathrm{had})\) (\({{\tilde{l}}}\sim 1.1\) fm). It is clear that our statistics in the lattices with finer lattice spacing is not enough to correctly sample the topological charge. Furthermore, as Table 5 illustrates, the correlation between the coupling and the topological charge in these ensembles is very strong: values of the coupling averaged over the \(Q=0\) or \(|Q|=1\) sectors differ by as much as \(30\%\). Clearly, when topology is poorly sampled, any attempt to compute the coupling in this volume regime by averaging over all topological sectors would lead to biased results.
In the remaining of this section we will argue that even when topology is frozen, topological charge fluctuations are correctly sampled in the trivial topology sector (see [69] for a study in the Schwinger model). We will also make an attempt to explain the observed dependence of the coupling on topology in semiclassical terms.
4.1 Topological charge fluctuations in the sector of trivial topology
In order to determine whether local fluctuations of topological charge are correctly sampled in the trivial topology sector, we have computed the two-point function of the operator:
obtained by integrating the topological charge density, smeared over a flow time t, over three directions including the two short ones. On the lattice, this operator has been determined using the field theoretical definition of the charge density, cf. Eq. (3.5),
evaluated at flow time \(\sqrt{8 t}= 0.3 {{\tilde{l}}}\). In terms of this operator, we computed the correlator:
defined over the sector with trivial topology.
Figure 8a shows the time dependence of the correlator evaluated on the Monte Carlo ensembles displayed in Fig. 7. Even though topology is frozen on the largest lattice with \({{\tilde{L}}}=48\), we observe no significant deviation from scaling; the structure of the charge correlation is the same on the three lattices. These good scaling properties are independent of the physical size of the box and preserved at smaller volumes, an example for \({{\tilde{l}}}\sim 0.66\) fm is displayed in Fig. 8b. These results indicate that local fluctuations of topological charge are correctly implemented in the trivial topology sector, even when the total topological charge is frozen to zero in the Monte Carlo ensemble.
4.2 Semiclassical picture
The step scaling sequence interpolates between the perturbative domain, where non-trivial topological charge is suppressed, and the non-perturbative, strongly coupled regime. In between, in the small to intermediate volume domain, one expects semiclassical arguments based on instantons to hold. In this subsection those arguments will be used in an attempt to reproduce some of the features observed in the simulations, in particular the correlation between coupling and topological charge. By no means should this discussion be interpreted as a rigorous proof but just as a compelling qualitative picture of the role that instantons may play in this context.
In Appendix E we discuss how to apply the dilute instanton gas picture to compute the leading semiclassical contribution to the TGF coupling in a fixed topological charge sector. The derivation is based on the observation that the flow removes short distance fluctuations but preserves classical solutions of the Euclidean equations of motion. This includes instantons although not instanton-anti-instanton pairs, the latter will only be preserved at typical distances larger than \(\sqrt{8 t}=c {{\tilde{l}}}\). The leading contribution to the TGF coupling in the semiclassical approximation can be estimated taking into account that:
This expression can be combined with the fact that the classical Euclidean action of a configuration with well separated instantons and anti-instantons can be approximated by \(S_0 (n+{{\bar{n}}})\), with \(n({{\bar{n}}})\) the number of instantons(anti-instantons) and \(S_0\) the one-instanton action. Therefore, at lowest order in the dilute gas approximation, the energy density receives a (semi-)classical contribution that is proportional to the average number of instantons plus anti-instantons, i.e.,
This contribution adds to the perturbative one. One can as well evaluate in this approximation the average value of any observable, in particular \(\langle n +{{\bar{n}}} \rangle \), restricted to the sector of topological charge \({{\tilde{Q}}}\) by using:
with Q the total topological charge, in analogy to what we did for the definition of the coupling in the zero topological sector in Eq. (1.7).
In order to determine the average number of instantons in the dilute gas approximation, we have considered two possibilities: a dilute gas of ordinary instantons of action \(S_0 = 8\pi ^2\), and one made out of fractional instantons [70] with instanton action \(S_0 = 8\pi ^2/N\). The derivation follows the standard treatment, see i.e. [71]. In this context, the semiclassical picture based on the less standard case of fractional instantons follows the ideas put forward by González-Arroyo and collaborators in a series of works [72,73,74,75,76], see also [77,78,79].
Details of the calculation are provided in Appendix E, here we will only summarize the main final formulas. The contribution to the coupling derived in this approximation, when restricted to the sector of topological charge Q, reads:
with \(\nu =Q\) for ordinary instantons, and \(\nu =NQ\) for fractional ones, and where \(\widehat{\mathcal A}(x)={\mathcal A}(x) /x^2\), coming from the coupling normalization, cf. Eq. (1.7). In this expression, \(I_\nu (x)\) stands for the modified Bessel function of the first kind, and \(x=2RV\), with R the probability to generate one instanton, or anti-instanton, per unit volume.
A way to determine R from the numerical simulations is to measure the topological susceptibility. In the dilute gas approximation and for the case of ordinary instantons, the relation between R and \(\chi \) is simply given by: \(\chi =2R\), while for fractional SU(3) instantons one obtains instead:
The topological susceptibility is defined formally in the continuum through the correlator of the topological charge density q(x):
A proper definition requires to regulate the short-distance singularity in this expression, and this can be attained by evaluating the charge density at non-zero flow time. On the lattice, in the absence of topology freezing, the topological susceptibility can be computed by measuring:
with Q the total topological charge, determined from the field theoretical definition Eq. (3.7), evaluated on the flowed gauge fields.
An illustration of the volume dependence of the topological susceptibility is provided in Fig. 9 where we display \(t_0^2\chi \) as a function of \({{\tilde{l}}}/\sqrt{8 t_0}\). The results shown correspond to simulations with lattice spacing \(a > 0.03\) fm (we refrain to give errors in this plot since our determination of the susceptibility may be affected by freezing, in particular for values of \(a<0.05\) fm). The onset of the susceptibility is very abrupt and takes place for values of \({{\tilde{l}}}/ \sqrt{8 t_0} \in [1, 3]\), overlapping with the region covered by the step scaling sequence. After that, \(\chi \) stabilizes to the constant large volume value, given in SU(3) by \(t_0^2 \chi = 6.67(7) \times 10^{-4}\) [80], corresponding in the figure to the orange horizontal band.
By fixing x in terms of the measured susceptibility, one can evaluate the dilute gas contribution to \(\delta \lambda (c)= \lambda _{Q=1}(c) - \lambda _{Q=0}(c)\) and compare the result to the values of \(\delta \lambda (c)\) determined in the simulations. This has been done for the set of simulations with \(\beta \in [6,6.8]\) where topology seems to be properly sampled and the number of \(Q=1\) configurations is sufficiently large. In addition, the calculation has been done for various values of the flow time: \(8 t = (c {{\tilde{l}}})^2\), with \(c=0.2\), 0.3 and 0.4. We observe that the quantity \(\widehat{\mathcal A}(\pi c^2) \delta \lambda (c)\) is quite independent of the value of c. Our results are displayed as a function of \(\chi V\) in Fig. 10 and compared with the dilute gas predictions for ordinary and fractional instantons, derived from Eq. (4.7). Surprisingly, the dependence predicted by the fractional instanton formula matches remarkably well our results in a large range of volumes. We stress that the lines displayed in the figure do not have any free parameter, they are directly given by Eq. (4.7) with the input parameter x fixed in terms of the measured value of the susceptibility.
In the dilute gas approximation one can as well obtain a prediction for the parameter \(x=2RV\) in terms of the renormalized coupling. As explained in Appendix E, the result for fractional instantons at one loop order reads:
where \(\rho \) stands for the characteristic fractional instanton size, proportional to \({{\tilde{l}}}\) in the small volume regime, and C for a normalization constant, unfortunately unknown. Disregarding this fact, we have used this functional form to get a qualitative idea of the volume dependence of the topological susceptibility in this approximation. The calculation requires to input the renormalized coupling constant at a scale \(\rho \propto {{\tilde{l}}}\); differences in the scheme dependence translate at this order in a change of value of C that depends on the ratio of \(\Lambda \) parameters. We have tested the formula setting \(\rho = c {{\tilde{l}}}\) and using the coupling in the TGF scheme with \(c=0.2\), 0.3 and 0.4. The one with \(c=0.2\) is describing better our small volume results; the red line displayed in Fig. 9 corresponds to this value of c and \(C = 880\).
To summarize, although the results presented in this section have to be taken with a grain of salt, as they are not based on a rigurous analytic calculation, we believe they provide compelling indication that some of the observed effects, in particular the correlation between topological charge and coupling, can be understood in semiclassical terms.
5 Conclusions
In this work we have investigated the running coupling using finite size scaling techniques in a scheme with twisted boundary conditions. We have used a particular choice of geometry, motivated by the study of the large N limit of SU(N) Yang Mills theories. In this scheme the physical size of the four dimensional volume is asymmetric, with two directions being a factor N larger than the other two.
We have focused our investigations in the group SU(3). For this case there are many results available in the literature, which allows for a more stringent comparison. Our determination of the \(\Lambda _{\overline{\mathrm{MS}} }\) parameter in units of the flow scale \(\sqrt{8t_0}\) or the Sommer scale \(r_0\) shows a good agreement with the literature. The precision of our computation does not match the one of the most precise determinations, but the systematic associated with the continuum extrapolation is taken into account seriously and our simulations involve large lattices. In addition, the matching with perturbation theory is performed in several ways, using a non-perturbative running that covers large energy scales.
In this respect, it is important to note that the determination of \(\Lambda _{\overline{\mathrm{MS}} }\) is accomplished in two different ways. First, we perform a direct determination in our finite volume scheme with twisted boundary conditions. In this case the ratio \(\Lambda _{\overline{\mathrm{MS}} }/\Lambda _\mathrm{TGF}\) is a key piece in the computation. Second, we perform a non-perturbative matching with the SF coupling, using available data from the literature. The two determinations show a good agreement, but they exhibit a subtle point. The extraction of the \(\Lambda \) parameter at a certain energy scale \(\mu _\mathrm{pt}\) has perturbative corrections \(\mathcal O(\lambda ^k(\mu _\mathrm{pt}))\) (with \(k=1\) in the case of the direct extraction, and \(k=2\) for the case of the non-perturbative matching with the SF). A crucial point to obtain compatible results is to remove these subleading perturbative corrections by performing an extrapolation \(\lambda (\mu _\mathrm{pt}) \rightarrow 0\). At our level of precision, and specially for the case of the direct extractions, perturbative corrections are significant, even at energy scales ridiculously large.
All in all, this work shows two promising directions for future research. First, extracting the N dependence of the \(\Lambda \)-parameter in this particular scheme is computationally cheaper than a brute force approach. Second, the particular choice of geometry shows a smaller memory footprint than usual simulations with symmetrical lattices. This smaller memory footprint implies an increase in the ratio computing over memory transfer, and therefore can be executed more efficiently in current hardware accelerators. Here it is important to stress that this pure gauge case can be non-perturbatively matched to QCD using heavy quarks [30] and has therefore direct phenomenological relevance for the extraction of the strong coupling in QCD.
The authors hope to investigate these points in detail in future works.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: The data needed to reproduce the results of the paper is available in the tables of Appendices B and C and in Ref. [13].]
Notes
Reference [13] gives the values of the SU(3) Yang-Mills coupling \({{\bar{g}}}^2_\mathrm{SF}\) related to the ’t Hooft coupling used in our work through the standard relation: \(\lambda _\mathrm{SF} = 3 {{\bar{g}}}_\mathrm{SF}^2\).
References
M. Lüscher, P. Weisz, U. Wolff, A numerical method to compute the running coupling in asymptotically free theories. Nucl. Phys. B 359, 221–243 (1991)
M. Luscher, Advanced lattice QCD, in Les Houches Summer School in Theoretical Physics, Session 68: Probing the Standard Model of Particle Interactions, p. 2 (1998)
R. Sommer, Non-perturbative renormalization of QCD
H.D. Politzer, Reliable perturbative results for strong interactions? Phys. Rev. Lett. 30, 1346–1349 (1973). (274 (1973))
D.J. Gross, F. Wilczek, Ultraviolet behavior of nonabelian gauge theories. Phys. Rev. Lett. 30, 1343–1346 (1973). (271 (1973))
L. Del Debbio, A. Ramos, Lattice determinations of the strong coupling
S. Aoki et al., Precise determination of the strong coupling constant in \(N_f = 2+1\) lattice QCD with the Schrödinger functional scheme. JHEP 0910, 053 (2009)
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(1), 014507 (2017)
M. Bruno, M. Dalla Brida, P. Fritzsch, T. Korzec, A. Ramos, S. Schaefer, H. Simma, S. Sint, R. Sommer, QCD coupling from a nonperturbative determination of the three-flavor \(\Lambda \) parameter. Phys. Rev. Lett. 119(10), 102001 (2017)
F. Tekin, R. Sommer, U. Wolff, The running coupling of QCD with four flavors. Nucl. Phys. B 840, 114–128 (2010)
M. Lüscher, R. Sommer, P. Weisz, U. Wolff, A precise determination of the running coupling in the SU(3) Yang–Mills theory. Nucl. Phys. B 413, 481–502 (1994)
K.-I. Ishikawa, I. Kanamori, Y. Murakami, A. Nakamura, M. Okawa, R. Ueno, Non-perturbative determination of the \(\Lambda \)-parameter in the pure SU(3) gauge theory from the twisted gradient flow coupling. JHEP 12, 067 (2017)
M. Dalla Brida, A. Ramos, The gradient flow coupling at high-energy and the scale of SU(3) Yang–Mills theory
E.I. Bribian, M. Garcia Perez, The twisted gradient flow coupling at one loop
E.I. Bribian, M. Garcia Perez, A. Ramos, The twisted gradient flow running coupling in SU(3): a non-perturbative determination, in 37th International Symposium on Lattice Field Theory (Lattice 2019) Wuhan, Hubei, China, June 16–22, 2019 (2020)
E. Ibañez Bribián, Volume (in)dependence in Yang–Mills theories. PhD thesis, Madrid, Autonoma U. (2019)
R. Narayanan, H. Neuberger, Infinite N phase transitions in continuum Wilson loop operators. JHEP 0603, 064 (2006)
R. Lohmayer, H. Neuberger, Continuous smearing of Wilson loops. PoS LATTICE2011, 249 (2011)
M. Lüscher, Trivializing maps, the Wilson flow and the HMC algorithm. Commun. Math. Phys. 293, 899–919 (2010)
M. Lüscher, Properties and uses of the Wilson flow in lattice QCD. JHEP 1008, 071 (2010)
A. Ramos, The Yang–Mills gradient flow and renormalization. PoS LATTICE2014, 017 (2015)
G. ’t Hooft, A property of electric and magnetic flux in nonabelian gauge theories. Nucl. Phys. B 153, 141–160 (1979)
G. ’t Hooft, Confinement and topology in nonabelian gauge theories. Acta Phys. Austriaca Suppl. 22, 531–586 (1980)
G. ’t Hooft, Aspects of quark confinement. Phys. Scr. 24, 841–846 (1981)
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 1007, 043 (2010)
M.G. Perez, A. Gonzalez-Arroyo, M. Okawa, Volume independence for Yang–Mills fields on the twisted torus
M. García Pérez, Prospects for large N gauge theories on the lattice. PoS LATTICE2019, 276 (2020)
M. Dalla Brida, R. Höllwieser, F. Knechtli, T. Korzec, A. Ramos, R. Sommer, Non-perturbative renormalization by decoupling. Phys. Lett. B 807, 135571 (2020)
M. Lüscher, R. Narayanan, P. Weisz, U. Wolff, The Schrödinger functional: a renormalizable probe for non-abelian gauge theories. Nucl. Phys. B 384, 168–228 (1992)
P. Fritzsch, A. Ramos, The gradient flow coupling in the Schrödinger functional. JHEP 1310, 008 (2013)
M. Lüscher, Step scaling and the Yang–Mills gradient flow. JHEP 1406, 105 (2014)
A. Ramos, The gradient flow running coupling with twisted boundary conditions. JHEP 1411, 101 (2014)
L. Keegan, A. Ramos, (Dimensional) twisted reduction in large N gauge theories, in Proceedings, 33rd International Symposium on Lattice Field Theory (Lattice 2015) (2015)
Z. Fodor, K. Holland, J. Kuti, D. Nogradi, C.H. Wong, The Yang–Mills gradient flow in finite volume. JHEP 1211, 007 (2012)
Z. Fodor, K. Holland, J. Kuti, D. Nogradi, C.H. Wong, The gradient flow running coupling scheme
A. Nada, A. Ramos, An analysis of systematic effects in finite size scaling studies using the gradient flow. Eur. Phys. J. C 81(11) (2021)
L. Del Debbio, G.M. Manca, E. Vicari, Critical slowing down of topological modes. Phys. Lett. B 594, 315–323 (2004)
P. Fritzsch, A. Ramos, F. Stollenwerk, Critical slowing down and the gradient flow coupling in the Schrödinger functional. PoS Lattice 2013, 461 (2013)
M. Lüscher, P. Weisz, Perturbative analysis of the gradient flow in non-abelian gauge theories. JHEP 1102, 051 (2011)
F. Chamizo, A. Gonzalez-Arroyo, Tachyonic instabilities in 2 + 1 dimensional Yang–Mills theory and its connection to number theory. J. Phys. A 50(26), 265401 (2017)
M. García Pérez, A. González-Arroyo, M. Koren, M. Okawa, The spectrum of 2+1 dimensional Yang–Mills theory on a twisted spatial torus. JHEP 07, 169 (2018)
M. García Pérez, A. González-Arroyo, M. Okawa, Spatial volume dependence for 2+1 dimensional SU(N) Yang–Mills theory. JHEP 1309, 003 (2013)
M. García Pérez, A. González-Arroyo, L. Keegan, M. Okawa, The \(SU(\infty )\) twisted gradient flow running coupling. JHEP 01, 038 (2015)
U. Wolff, Dynamics of hybrid overrelaxation in the Gaussian model. Phys. Lett. B 288, 166–170 (1992)
M. Creutz, Monte Carlo study of quantized SU(2) gauge theory. Phys. Rev. D 21, 2308–2315 (1980)
K. Fabricius, O. Haan, Heat bath method for the twisted Eguchi–Kawai model. Phys. Lett. B 143, 459 (1984)
M. Creutz, Overrelaxation and Monte Carlo simulation. Phys. Rev. D 36, 515 (1987)
U. Wolff, Monte Carlo errors with less errors. Comput. Phys. Commun. 156, 143–153 (2004)
A. Ramos, Automatic differentiation for error analysis of Monte Carlo data. Comput. Phys. Commun. 238, 19–35 (2019)
N. Husung, P. Marquard, R. Sommer, Asymptotic behavior of cutoff effects in Yang–Mills theory and in Wilson’s lattice QCD
P.A. Baikov, K.G. Chetyrkin, J.H. Kühn, Five-loop running of the QCD coupling constant. Phys. Rev. Lett. 118(8), 082002 (2017)
A. Bode, U. Wolff, P. Weisz, Two loop computation of the Schrodinger functional in pure SU(3) lattice gauge theory. Nucl. Phys. B 540, 491–499 (1999)
A. Bode, P. Weisz, U. Wolff, Two loop lattice expansion of the Schrodinger functional coupling in improved QCD. Nucl. Phys. Proc. Suppl. 83, 920–922 (2000)
A. Bode, P. Weisz, U. Wolff, Two loop computation of the Schrodinger functional in lattice QCD. Nucl. Phys. B 576, 517–539 (2000). [Erratum: Nucl. Phys. B 600, 453 (2001)]
L. Giusti, M. Lüscher, Topological susceptibility at \(T>T_{\rm c}\) from master-field simulations of the SU(3) gauge theory
F. Knechtli, T. Korzec, B. Leder, G. Moir, Power corrections from decoupling of the charm quark. Phys. Lett. B 774, 649–655 (2017)
M. Guagnelli, R. Sommer, H. Wittig, Precision computation of a low-energy reference scale in quenched lattice QCD. Nucl. Phys. B 535, 389–402 (1998)
S. Necco, R. Sommer, The N(f) = 0 heavy quark potential from short to intermediate distances. Nucl. Phys. B 622, 328–346 (2002)
S. Aoki et. al., FLAG Review 2019
S. Capitani, M. Lüscher, R. Sommer, H. Wittig, Non-perturbative quark mass renormalization in quenched lattice QCD. Nucl. Phys. B 544, 669–698 (1999)
M. Gockeler, R. Horsley, A.C. Irving, D. Pleiter, P.E.L. Rakow, G. Schierholz, H. Stuben, A Determination of the Lambda parameter from full lattice QCD. Phys. Rev. D 73, 014513 (2006)
N. Brambilla, X. Garcia i Tormo, J. Soto, A. Vairo, Precision determination of \(r_0\Lambda _{MS}^-\) from the QCD static energy. Phys. Rev. Lett. 105, 212001 (2010). [Erratum: Phys. Rev. Lett. 108, 269903 (2012)]
M. Asakawa, T. Hatsuda, T. Iritani, E. Itou, M. Kitazawa, H. Suzuki, Determination of reference scales for Wilson gauge action from Yang–Mills gradient flow
M. Kitazawa, T. Iritani, M. Asakawa, T. Hatsuda, H. Suzuki, Equation of state for SU(3) gauge theory via the energy-momentum tensor under gradient flow. Phys. Rev. D 94(11), 114512 (2016)
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–854 (1994)
S. Schaefer, R. Sommer, F. Virotta, Critical slowing down and error analysis in lattice QCD simulations. Nucl. Phys. B 845, 93–119 (2011)
D. Albandea, P. Hernández, A. Ramos, F. Romero-López, Topological sampling through windings
G. ’t Hooft, Some twisted selfdual solutions for the Yang–Mills equations on a hypertorus. Commun. Math. Phys. 81, 267–275 (1981)
S. Coleman, Aspects of Symmetry (Cambridge University Press, Cambridge, 1985)
M. Garcia Perez et. al., Instanton like contributions to the dynamics of Yang–Mills fields on the twisted torus. Phys. Lett. B 305, 366–374 (1993)
M. Garcia Perez, A. Gonzalez-Arroyo, P. Martinez, From perturbation theory to confinement: how the string tension is built up. Nucl. Phys. B Proc. Suppl. 34, 228–230 (1994)
A. Gonzalez-Arroyo, P. Martinez, A. Montero, Gauge invariant structures and confinement. Phys. Lett. B 359, 159–165 (1995)
A. Gonzalez-Arroyo, P. Martinez, Investigating Yang–Mills theory and confinement as a function of the spatial volume. Nucl. Phys. B 459, 337–354 (1996)
M. Garcia Perez, A. Gonzalez-Arroyo, A. Sastre, From confinement to adjoint zero-modes. eCONF C0906083, 06 (2009)
P. van Baal, Twisted boundary conditions: a non perturbative probe for pure non-abelian gauge theories, PhD thesis, Utrecht (1984)
P. van Baal, QCD in a finite volume
M. Ünsal, Strongly coupled QFT dynamics via TQFT coupling
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(7), 074502 (2015)
T.R. Morris, D.A. Ross, C.T. Sachrajda, Higher order quantum corrections in the presence of an instanton background field. Nucl. Phys. B 255, 115–148 (1985)
Acknowledgements
We would like to thank F. Arco, J.L.F. Barbón, J. Calderón Infante, A. González-Arroyo and C. Pena for many useful discussions on this and related topics. AR acknowledges financial support from the Generalitat Valenciana (genT program CIDEGENT/2019/040). EIB, JDG and MGP acknowledge financial support from the MINECO/FEDER grant FPA2015-68541-P and PGC2018-094857-B-I00 and the MINECO Centro de Excelencia Severo Ochoa Program SEV-2016-0597. E.I. Bribián acknowledges support under the FPI grant BES-2015-071791. J. Dasilva Golán acknowledges support under the FPI Grant PRE2018-084489. This publication is supported by the European project H2020-MSCAITN-2018-813942 (EuroPLEx) and the EU Horizon 2020 research and innovation programme, STRONG-2020 project, under Grant Agreement No 824093. The numerical computations have been carried out on the Hydra cluster at IFT and with computer resources provided by CESGA (Supercomputing Centre of Galicia).
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Lattice ensembles
See Table 6.
Appendix B: Raw data
See Table 7.
Appendix C: Continuum extrapolation for the step scaling function
See Table 8.
Appendix D: Matching with the SF scheme
In order to match the values of the coupling \(\lambda _\mathrm{TGF}(\mu )\) to the SF scheme, we use a set of simulations performed at the same values of the bare coupling but on a symmetric lattice with size \(L_\mathrm{SF}={{\tilde{L}}}/3\) with SF boundary conditions and an abelian background field [31]. The values of the SF coupling in these simulations can be checked in reference [13].Footnote 1
We perform a fit, discarding the SF data with \({{\tilde{L}}}=18\), of the form
where \(c_k\) are the fit coefficients and
The result of the fit can be seen in Fig. 11. This fit can only be trusted for \(3< \lambda _\mathrm{TGF} < 6\), since data on the SF scheme at higher energies is not available in the literature.
Appendix E: Dilute gas approximation
In this appendix we present the derivation of the dependence of the coupling on the topological charge in the dilute gas approximation. The starting point is the continuum expression for the TGF coupling:
By setting \({\mathcal A}(x) = x^2 \widehat{\mathcal A} (x)\), and \( (8 t)^2 = c^4 {{\tilde{l}}}^4 = c^4 N^2 V\), with V the volume of the asymmetric box, one gets:
We will use that:
In a configuration with well separated instantons and anti-instantons, the classical Euclidean action can be approximated by \(S_0 (n+{\overline{n}} )\), with \(S_0\) the one-instanton action and \(n({\overline{n}} )\) the number of instantons(anti-instantons). Therefore, one can compute the contribution to the expectation value of the energy density at leading order in this approximation by estimating the average number of instantons plus anti-instantons in the flowed ensemble:
Here we rely on the assumption that the flow removes short distance fluctuations but preserves instantons, note though that this is not the case for instanton-anti-instanton pairs which will only be preserved at distances larger than \(\sqrt{8 t}=c {{\tilde{l}}}\).
Finally, the evaluation of the coupling can be restricted to sectors of definite topological charge Q, cf. Eq. (4.6), leading to:
In the remaining of this section we will determine the expectation value of \(n+{\overline{n}} \) considering two different scenarios, a dilute gas of ordinary instantons with \(S_0=8\pi ^2\), and one made of fractional instantons of action \(S_0=8\pi ^2/N\).
1.1 E.1 Ordinary instantons
The basic asumption in the dilute gas approximation is that the gas is made of objects with positive (\(+1\)) and negative (\(-1\)) topological charge that are otherwise equally probable; the probality to create either of them per unit volume is given by R. Under this hypothesis, it is easy to determine the partition function restricted to the sector of topological charge Q, it is given by:
where we have used the integral representation of the \(\delta \) function:
and where \(I_Q(x)\) stands for the modified Bessel function of the first kind. It is easy to evaluate \(\langle n +{\overline{n}} \rangle _Q\) in this approximation, it is given by:
where \(x=2RV\).
We can also compute the topological susceptibility in this approximation. The partition function in the \(\theta \) vacuum is given by:
and the topological susceptibility can be computed from:
In the dilute gas approximation R is determined from the determinant of the fluctuation operator around one instanton. The result at one-loop order in infinite volume reads
where \(n_{c}\) is the number of collective coordinates, equal to 4N for ordinary SU(N) instantons. The formula up to two loops including the prefactor has been computed in Ref. [81]. The resulting expression is infrared divergent, although on a finite volume it would be cutoff by the size of the box. Note however, that for the determination of \(\lambda _Q^\mathrm{dig}\) we only need the relation \(x=2RV=\chi V\), where one can use the measured topological susceptibility to determine the input parameter x and evaluate the coupling using eq. (E.8).
1.2 E.2 Fractional instantons
In the case of fractional instantons, the only difference stems from the fact that instantons contribute with charge \(\pm 1/N\) to the partition function. Note that the twist used in our simulations is in the class of the so-call orthogonal twists, satisfying \(n_{\mu \nu } {{\tilde{n}}}_{\mu \nu } /4 = 0\) (mod N) and therefore the total topological charge is still quantized in integer units. This fact has to be taken into account when formulating the dilute gas partition function for fractional instantons and therefore:
We can now use that:
to obtain (\(x=2RV\)):
and
As for the topological susceptibility, using:
and the following representation for the Kronecker delta function:
one arrives at:
leading to the following expression for the \(N=3\) topological susceptibility:
The relation between \(x=2RV\) and \(\chi V\) is more involved in this case than for ordinary instantons, but nevertheless it can be numerically inverted to obtain x in terms of \(\chi V\).
In the dilute gas approximation, see i.e. [72, 73]:
where \(\rho \) is the characteristic fractional instanton size. The peculiarity of fractional instantons vs ordinary ones is that the collective coordinates only include the instanton location; in particular the size is not a moduli parameter and on a finite volume it is fixed in terms of the volume of the box. Therefore, we expect \(\rho \propto {{\tilde{l}}}\) in the small volume regime and \( \rho \propto 1/\Lambda _{QCD}\) for large volumes. When \(\rho \propto {{\tilde{l}}}\), and setting \(\mu =1/(c {{\tilde{l}}})\), we can write:
and determine x, up to an overall normalization constant, from the measurement of the TGF coupling.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Bribián, E.I., Dasilva Golán, J., García Pérez, M. et al. Memory efficient finite volume schemes with twisted boundary conditions. Eur. Phys. J. C 81, 951 (2021). https://doi.org/10.1140/epjc/s10052-021-09718-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-021-09718-0