Effect of Scheme Transformations on a Beta Function with Vanishing One-Loop Term Thomas A. Ryttova and Robert Shrockb (a) CP3-Origins Southern Denmark University, Campusvej 55, Odense, Denmark and (b) C. N. Yang Institute for Theoretical Physics and Department of Physics and Astronomy, Stony Brook University, Stony Brook, New York 11794, USA It is commonly stated that because terms in the beta function of a theory at the level of ℓ ≥ 3 loops and higher are scheme-dependent, it is possible to define scheme transformations that can be used to remove these terms, at least in the vicinity of zero coupling. We prove that this is not, in general, possible in the situation where a beta function is not identically zero but has a vanishing one-loop term. I. INTRODUCTION it was shown that although these conditions can easily be satisfied if one applies a scheme transformation in the Let us consider a quantum field theory in d spacetime vicinity of the origin in coupling constant space, as in ap- dimensions, with some set of fields and a dimensionless plications to optimized schemes in perturbative quantum interaction coupling g. Two cases of particular interest chromodynamics [11], they are not automatically sati- are a non-Abelian gauge theory in d = 4 dimensions, fied, and are a significant constraint on the application where g is the gauge coupling, and a scalar theory with a of scheme transformations, when investigating a zero of cubic interaction in d = 6 dimensions, where g is the coef- the beta function away from the origin. In an asymptot- ficient of the cubic interaction. Quantum corrections ren- ically free theory, such a zero would be an infrared fixed der g dependent upon the Euclidean energy/momentum point (IRFP) of the renormalization group, while in an scale µ where it is measured: g = g(µ). The dependence infrared-free theory, such a zero would be an ultraviolet of g on µ is determined by the renormalization-group fixed point (UVFP) of the RG. An example of an IRFP (RG) beta function of the theory, βg = dg/dt, where occurs in an asymptotically free non-Abelian gauge the- dt = d ln µ [1]. This function has the series expansion ory with sufficiently many massless fermions [12], while an (exactly solved) example of a UVFP occurs in the ∞ O(N) nonlinear σ model in d =2+ ǫ dimensions in the ℓ βg = g bℓa , (1.1) large-N limit [13]. Xℓ=1 In this work we consider the situation in which a theory has a beta function (which is not identically zero) with where a = c g2 [2] and c is a factor arising from mo- d d 1 d vanishing one-loop coefficient, b = 0. We prove that in mentum integrals in loop diagrams: cd = Sd/(2π) with d/2 2 this case it is not, in general, possible to construct and Sd = 2π /Γ(d/2), so, e.g., c4 = 1/(16π ), etc. An apply a scheme transformation, even in the vicinity of equivalent beta function is the origin, a = 0, that removes the scheme-dependent ∞ terms bℓ with ℓ ≥ 3 in the beta function. We discuss da β = =2a b aℓ . (1.2) implications for the study of zeros of the beta function a dt ℓ Xℓ=1 in this type of theory. The one-loop coefficient, b1, is independent of the scheme arXiv:2008.06772v1 [hep-th] 15 Aug 2020 used for regularization, and (for mass-independent II. SCHEME TRANSFORMATIONS schemes) this is also true for the two-loop coefficient, b2 [3, 4]. In contrast, the higher-loop coefficients bℓ with In this section we give a brief review of relevant ℓ ≥ 3 are scheme-dependent [5]. It was thus expected methodology on scheme transformations that will be that, at least for sufficiently small coupling, as in the needed here. One may define a scheme transformation deep ultraviolat (UV) limit of quantum chromodynamics as a mapping relating a and a′ given by (QCD), it would be possible to carry out a scheme trans- ′ ′ formation that eliminates these terms and yields a beta a = a f(a ) , (2.1) function with only one- and two-loop terms [6]. Such a ′ scheme has been called the ’t Hooft scheme. Refs. [7]- where f(a ) is the scheme transformation function. If [10] calculated explicit formulas for the effect of scheme the theory is free, then its properties must remain the same under a scheme transformation, so f(0) = 1. The transformations on the coefficients of a beta function and ′ used these to construct scheme transformations that re- function f(a ) is taken to have the power series expansion move terms at loop order ℓ ≥ 3 from the beta function. smax ′ ′ s A set of necessary conditions for a scheme transforma- f(a )=1+ ks(a ) , (2.2) tion to be physically admissible was given in [7, 8], and Xs=1 2 where smax may be finite or infinite. The corresponding • C4: The existence of an IR or UV zero of β has Jacobian J = da/da′ has the series expansion physical significance and must therefore be scheme- independent. Hence, a scheme transformation must smax ′ s satisfy the condition that βa has a zero away from J =1+ (s + 1)ks(a ) . (2.3) the origin if and only if βa′ has a corresponding Xs=1 zero away from the origin. The beta function in the transformed scheme is Clearly, these conditions apply both for a given scheme ′ ′ transformation and its inverse. da da da −1 β ′ ≡ = = J β . (2.4) a dt da dt a Although b1 is nonzero in QCD, there are theories in which b1 may be zero (without the beta function being This beta function has the series expansion identically zero). One example of a theory in which b1 can ∞ vanish is a vectorial non-Abelian gauge theory with gauge ′ ′ ′ ℓ group G and Nf Dirac fermions transforming according β ′ =2a b (a ) (2.5) a ℓ to a representation R of G. The one-loop coefficient of Xℓ=1 the beta function is [14] with a new set of coefficients b′ . As noted above, the ℓ 1 one-loop and two-loop coefficients are left invariant by b1 = − (11CA − 4Nf Tf ) , (2.8) ′ ′ 3 this scheme transformation, i.e., b1 = b1 and b2 = b2 ′ [3, 4]. Ref. [7] presented explicit expressions for the bℓ in and the two-loop coefficient is [15] terms of the bℓ and ks for loop order 3 ≤ ℓ ≤ 5 and Ref. ′ ′ [8] extended these up to ℓ = 8 inclusive. For b3 and b4 1 2 b2 = − 34CA − 4(5CA +3Cf )Nf Tf , (2.9) these expressions are [7] 3h i ′ 2 b3 = b3 + k1b2 + (k1 − k2)b1 (2.6) where CA and Cf = C2(R) are the quadratic Casimir in- variants of the adjoint representation and the fermion and representation R, respectively, and Tf = T (R) is the trace invariant of R [16]. The coefficient b1 vanishes if ′ 2 3 b4 = b4 +2k1b3 + k1b2 + (−2k1 +4k1k2 − 2k3)b1 . (2.7) Nf = Nf,b1z, where For the reader’s convenience, we list some of these ex- 11CA pressions for b′ with higher ℓ in Appendix A, from Refs. Nf,b1z = . (2.10) ℓ 4Tf [7, 8]. As noted above, one important application of the study If Nf = Nf,b1z, then b2 = CA(7CA + 11Cf ), which is of schemes and scheme transformations is to calculations positive, so the theory with Nf = Nf,b1z is IR-free. As of higher-order corrections in perturbative QCD scatter- an explicit example, one could take G = SU(2) and R ing processes at high energies. In this application, one equal to the fundamental representation, so that Nf,b1z = is interested in choosing a scheme such that higher-order 11. That is, an SU(2) gauge theory with these 11 Dirac terms are small, so that one can achieve as accurate as fermions has b1 = 0. Examples can also be given of chiral possible a description of experimental data at a given gauge theories in which, for a special choice of gauge order in perturbation theory. A different type of applica- group and fermion content, b1 = 0. In all of these cases, tion is to the investigation of a possible zero of the beta the choice of parameters that renders b1 = 0 leaves a function away from the origin in coupling constant space. nonzero b2. As specified in [7, 8], in order for a scheme transfor- Moreover, the vanishing of b1 can occur in scalar field mation to be physically acceptable, it must satisfy the theories; a recent example is a scalar theory with a cubic following necessary conditions: self-interaction in d = 6 dimensions in which the scalar transforms as a bi-adjoint representation of a global • C1: the scheme transformation must map a real SU(N) ⊗ SU(N) symmetry group [17]. In this theory, positive a to a real positive a′, since a map taking the first nonzero term in the beta function is b2, which is a> 0 to a′ = 0 would be singular, and a map taking ′ negative. A study of a possible IRFP in this theory was a> 0 to a negative or complex a would violate the carried out in [18]. unitarity of the theory. A different type of situation occurs in an N = 2 super- • C2: the scheme transformation should not map a symmetric gauge theory with gauge group SU(Nc) and value of a for which perturbation theory may be Nf matter hypermultiplets. A closed form expression for reliable, to a value of a′ that is so large that per- the beta function was calculated in [19] (see also [20]).