1 Introduction

The Yukawa and gauge \(\beta \)-functions in \(\mathcal{N}=1\) supersymmetric theories are related to the anomalous dimension of the matter superfields. The former exact equation follows from the non-renormalization theorem for superpotential [1]. Really, due to the absence of divergent quantum corrections to superpotential, it is possible (although not necessary) to choose a subtraction scheme in which

$$\begin{aligned} \lambda ^{ijk} = \lambda _0^{mnp} (Z_\phi ^{1/2})_m{}^i (Z_\phi ^{1/2})_n{}^j (Z_\phi ^{1/2})_p{}^k, \end{aligned}$$
(1)

where \(\lambda _0^{ijk}\) and \(\lambda ^{ijk}\) are the bare and renormalized Yukawa couplings, respectively, and \((Z_\phi )_i{}^j\) is the renormalization constant for the matter superfields. In this scheme the Yukawa \(\beta \)-function is related to the matter superfield anomalous dimension exactly in all loops,

$$\begin{aligned} (\beta _\lambda )^{ijk}(\alpha ,\lambda )= & {} \frac{1}{2} \Big ((\gamma _\phi )_m{}^i \lambda ^{mjk} + (\gamma _\phi )_m{}^j \lambda ^{imk} + (\gamma _\phi )_m{}^k \lambda ^{ijm}\Big )\nonumber \\= & {} \frac{3}{2}\, (\gamma _\phi )_m{}^{(i}(\alpha ,\lambda ) \lambda ^{jk)m}, \end{aligned}$$
(2)

where the indices inside the round brackets are symmetrized,

$$\begin{aligned} T^{(ijk)} \equiv \frac{1}{3!}\Big (T^{ijk} +\text{ permutations } \text{ of } ijk\Big ). \end{aligned}$$
(3)

Note that there are some other non-renormalization theorems in \(\mathcal{N}=1\) supersymmetric theories. For example, the triple gauge-ghost vertices are finite in all loops [2]. (Recently this statement has been confirmed by an explicit calculation of the two-loop matter contribution to these vertices [3]). However, the most interesting relation, which can be considered as a non-renormalization theorem, is the exact NSVZ \(\beta \)-function [4,5,6,7,8,9,10,11]. It is an all-loop equation relating the \(\beta \)-function of \(\mathcal{N}=1\) supersymmetric gauge theories to the anomalous dimension of the matter superfields. For a theory with a simple gauge group G and chiral matter superfields in the representation R (with the generators \(T^A\)) it is written as

$$\begin{aligned} \frac{\beta (\alpha ,\lambda )}{\alpha ^2} = - \frac{3 C_2 - T(R) + C(R)_i{}^j (\gamma _\phi )_j{}^i(\alpha ,\lambda )/r}{2\pi (1- C_2\alpha /2\pi )}, \end{aligned}$$
(4)

where \(\alpha \) is the renormalized gauge coupling constant and \(r = \text{ dim }\, G\) is the dimension of the gauge group. (In our notation the bare gauge coupling constant is denoted by \(\alpha _0\).) The group Casimirs are defined as

$$\begin{aligned} \text{ tr }(T^A T^B)\equiv & {} T(R)\, \delta ^{AB};\nonumber \\&\quad (T^A T^A)_i{}^j \equiv C(R)_i{}^j; \nonumber \\&\quad f^{ACD} f^{BCD} \equiv C_2\delta ^{AB} \end{aligned}$$
(5)

under the assumption that the generators of the fundamental representation \(t^A\) are normalized by the condition \(\text{ tr }(t^A t^B) = \delta ^{AB}/2\). For theories with extended supersymmetry the NSVZ equation (4) gives the non-renormalization theorems (first derived in [12,13,14,15], see also [16]) provided a quantization procedure respects at least \(\mathcal{N}=2\) supersymmetry [17,18,19]. NSVZ analogs were written for theories with softly broken supersymmetry [20,21,22] and for the Adler D-function in \(\mathcal{N}=1\) SQCD [23, 24]. Equation (4) can also be applied for investigating finite \(\mathcal{N}=1\) supersymmetric theories, see, e.g., [25] and references therein, and even finite theories with softly broken supersymmetry [26, 27]. Really, if the NSVZ equation is valid, then the L-loop finiteness immediately leads to the vanishing of the \((L+1)\)-loop \(\beta \)-function. However, it is well known that the NSVZ \(\beta \)-function is scheme-dependent and is valid only in certain (NSVZ) subtraction schemes, which do not include \(\overline{\text{ DR }}\) [28,29,30,31] (see also the review [32]) and MOM [33,34,35] schemes. All-loop prescriptions giving an NSVZ scheme have been constructed in [36] for \(\mathcal{N}=1\) SQED and in [37] for a general renormalizable \(\mathcal{N}=1\) supersymmetric gauge theory with a simple gauge group. Both constructions are based on the underlying results of [38, 39] for \(\mathcal{N}=1\) SQED and of [2, 37, 40, 41] for the non-Abelian case. For all theories mentioned above the NSVZ scheme is given by the HD+MSL prescription.Footnote 1 This means that a theory is regularized by Higher covariant Derivatives [43,44,45] in a supersymmetric version [46,47,48]Footnote 2 and divergences are removed by Minimal Subtractions of Logarithms. In other words, renormalization constants should contain only powers of \(\ln \Lambda /\mu \) without any finite terms. Various NSVZ-like relations are also valid in the HD+MSL-scheme [53, 54].Footnote 3 Again the proof is based on the underlying results of [55] and [23, 24]. Note that the HD+MSL scheme is not in general unique, because minimal subtractions of logarithms can supplement different versions of the higher covariant derivative regularization. Therefore, this renormalization prescription can give a continuous family of the NSVZ (or NSVZ-like) schemes. (It is known that NSVZ schemes constitute a continuous set in both Abelian [56] and non-Abelian [57,58,59] case.)

The fact that the HD+MSL prescription gives the NSVZ schemes has been confirmed by a large number of explicit calculations in such orders where the scheme dependence is essential, see, e.g., [60,61,62,63,64]. Note that in technical aspects these calculations are rather similar to those made for theories with higher derivatives (see, e.g., [65,66,67]), but the structure of divergences in higher derivative theories and in usual theories for which higher derivative terms are introduced only for a regularization is certainly quite different.

Possibly, the all-loop prescription giving an NSVZ scheme could help to construct a renormalization scheme in which one-loop finite \(\mathcal{N}=1\) supersymmetric theories are finite in all orders. Its existence follows from the results of [68,69,70,71], but an explicit all-loop prescription has not yet been found. In this paper we will discuss the scheme dependence of the renormalization group functions (RGFs) if some lowest terms in the \(\beta \)-functions and in the anomalous dimension of the matter superfields vanish. In this case the scheme dependence can have some special features, see, e.g., [72]. Concerning the (gauge and Yukawa) \(\beta \)-functions, we will demonstrate that in the first nontrivial order the exact equations for them are valid for an arbitrary renormalization prescription which respects the finiteness in the previous orders. For theories in which the one-loop anomalous dimension and the two-loop gauge \(\beta \)-function vanish such a feature of the three-loop gauge \(\beta \)-function has been established by an explicit calculation made in [73]. Here we generalize this result and discuss its consequences.

The paper is organized as follows. In Sect. 2, following Ref. [73], we recall how the three-loop \(\beta \)-function is related to the two-loop anomalous dimension for one-loop finite theories. General equations describing the scheme dependence of RGFs are written in Sect. 3. Using these equations in Sect. 4 we rederive the result of Ref. [73] starting from the relations valid in the HD+MSL scheme. Finite renormalizations which do not break two-loop finiteness are constructed in Sect. 5. The result is generalized in Sect.  6, where we obtain finite renormalizations which do not break the L-loop finiteness. They are used for proving the relations which express the \((L+1)\)-loop gauge and the L-loop Yukawa \(\beta \)-functions in terms of the L-loop anomalous dimension of the matter superfields for an arbitrary renormalization prescription.

2 The three-loop result

As a starting point we consider a one-loop finite \(\mathcal{N}=1\) supersymmetric gauge theory. For such a theory the gauge group Casimirs and the coupling constants should satisfy the conditions

$$\begin{aligned} T(R) = 3C_2; \quad \lambda ^*_{imn} \lambda ^{jmn} = 4\pi \alpha C(R)_i{}^j. \end{aligned}$$
(6)

The vanishing of the one-loop \(\beta \)-function follows from the left equation (which is an analog of the Banks–Zaks condition [74]), and the vanishing of the one-loop anomalous dimension of matter superfields is expressed by the right equation. According to [75], the second equation in (6) also leads to the vanishing of the two-loop \(\beta \)-function and even to the vanishing of the two-loop anomalous dimension in the \(\overline{\text{ DR }}\)-scheme. The latter statement was also derived from arguments based on anomalies [76, 77]. Note that in the two-loop approximation the \(\beta \)-function is scheme independent, so that the former statement is true for an arbitrary renormalization prescription. Evidently, it also follows from the NSVZ \(\beta \)-function (4). As for the latter statement, although the constraints (6) lead to the vanishing of the two-loop anomalous dimension in the \(\overline{\text{ DR }}\)-scheme [75,76,77], for a general renormalization prescription it is not true [78]. For a general renormalization prescription which does not break Eq. (1) the two-loop anomalous dimension of a theory satisfying Eq. (6) is given by the expression

$$\begin{aligned} (\gamma _\phi )_i{}^j(\alpha ,\lambda )\Big |_{\text{ Eq. } (6)}= & {} -\frac{3\alpha ^2}{2\pi ^2}C_2 C(R)_i{}^j\left( \ln \frac{a_{\varphi }}{a} -b_{11}+b_{12}\right) \nonumber \\&- \frac{\alpha }{4\pi ^2} \left( \frac{1}{\pi } \lambda ^*_{imn} \lambda ^{jml} C(R)_l{}^n \!+\! 2\alpha \left[ C(R)^2\right] _i{}^j\right) \nonumber \\&\times \left( A-B -2g_{12} +2g_{11}\right) \nonumber \\&+ O\Big (\alpha ^3,\alpha ^2\lambda ^2,\alpha \lambda ^4,\lambda ^6\Big ) \end{aligned}$$
(7)

derived in [73] using the higher covariant derivative regularization. Here the parameters \(a=M/\Lambda \) and \(a_\varphi = M_\varphi /\Lambda \) are the ratios of Pauli–Villars masses to the cut-off parameter in the higher derivative term. Two other regularization parameters

$$\begin{aligned} A=\int \limits _0^\infty dx \ln x\, \frac{d}{dx}\frac{1}{R(x)};\qquad B \!=\! \int \limits _0^\infty dx \ln x\, \frac{d}{dx}\frac{1}{F^2(x)} \end{aligned}$$
(8)

are finite constants, which are determined by the higher-derivative regulators R(x) and F(x) in the gauge and matter parts of the action, respectively, see [73] for details. The dependence on a regularization is supplemented by the dependence on a renormalization prescription, which is expressed by the presence of the finite constants \(b_{11}\), \(b_{12}\), \(g_{11}\), and \(g_{12}\). They appear due to an arbitrariness of choosing finite parts of the renormalization constants and fix a subtraction scheme in the considered approximation,

$$\begin{aligned} \frac{1}{\alpha } - \frac{1}{\alpha _0}= & {} -\frac{3}{2\pi }C_2\left( \ln \frac{\Lambda }{\mu } + b_{11}\right) \nonumber \\&+ \frac{1}{2\pi } T(R) \left( \ln \frac{\Lambda }{\mu } + b_{12}\right) + O(\alpha ,\lambda ^2); \end{aligned}$$
(9)
$$\begin{aligned} (Z_\phi )_i{}^j= & {} \delta _i{}^j + \frac{\alpha }{\pi } C(R)_i{}^j \left( \ln \frac{\Lambda }{\mu }+g_{11}\right) \nonumber \\&- \frac{1}{4\pi ^2} \lambda ^*_{imn}\lambda ^{jmn} \left( \ln \frac{\Lambda }{\mu } + g_{12} \right) + O(\alpha ^2,\alpha \lambda ^2,\lambda ^4). \end{aligned}$$
(10)

Note that in Ref. [73] the renormalization of the Yukawa couplings was made according to Eq. (1), so that no new finite constants appeared in the corresponding equation.

The most popular \(\overline{\text{ DR }}\) scheme corresponds to

$$\begin{aligned} g_{11}= & {} -\frac{1}{2} -\frac{A}{2};\quad g_{12} = -\frac{1}{2} -\frac{B}{2};\nonumber \\ b_{11}= & {} \ln a_\varphi ;\quad b_{12} = \ln a. \end{aligned}$$
(11)

(We consider two renormalization schemes as equivalent if they give the same expressions for the renormalized Green functions as well as the same expressions for RGFs defined in terms of the renormalized couplings). In the HD+MSL scheme all finite constants vanish, so that \(g_{11} = g_{12} = b_{11} = b_{12} = 0\).

According to [73], the three-loop \(\beta \)-function for theories which satisfy Eq. (6) is

$$\begin{aligned} \frac{\beta (\alpha ,\lambda )}{\alpha ^2}\bigg |_{ \text{ Eq. } (6)}= & {} \frac{3\alpha ^2}{4\pi ^3 r} C_2\, \text{ tr }\left[ C(R)^2\right] \left( \ln \frac{a_\varphi }{a} + b_{12} - b_{11}\right) \nonumber \\&+ \frac{\alpha }{8\pi ^3 r} \left( \frac{1}{\pi } C(R)_j{}^i C(R)_l{}^n \lambda ^*_{imn} \lambda ^{jml} +2\alpha \,\text{ tr }\left[ C(R)^3\right] \right) \nonumber \\&\times \Big (A-B -2g_{12}+2g_{11}\Big ) + O\left( \alpha ^3,\alpha ^2\lambda ^2,\alpha \lambda ^4,\lambda ^6\right) .\nonumber \\ \end{aligned}$$
(12)

Again, in general, it does not vanish, but for arbitrary values of finite constants \(b_i\) and \(g_i\) satisfies the equation

$$\begin{aligned} \frac{\beta (\alpha ,\lambda )}{\alpha ^2}= & {} - \frac{1}{2\pi r} C(R)_i{}^j (\gamma _{\phi })_j{}^i(\alpha ,\lambda ) \nonumber \\&+ O(\alpha ^3,\alpha ^2\lambda ^2,\alpha \lambda ^4,\lambda ^6), \end{aligned}$$
(13)

which is a consequence of the NSVZ equation (4) in the considered approximation. From this equation we immediately conclude that if a theory under consideration is finite in the two-loop approximation, then its three-loop \(\beta \)-function also vanishes in a complete agreement with the result of [79]. Note that a priory the use of the NSVZ \(\beta \)-function for proving this fact is impossible, because Eq. (4) is not valid for a general renormalization prescription. However, in what follows we will explain why and how the result of [79] can easily be derived from the NSVZ equation in all loops.

3 Scheme dependence of renormalization group functions

First, let us, for the further convenience, make the formal replacement

$$\begin{aligned} \alpha \rightarrow g\alpha ;\qquad \lambda ^{ijk} \rightarrow g^{1/2} \lambda ^{ijk};\qquad \lambda ^*_{ijk} \rightarrow g^{1/2} \lambda ^*_{ijk}, \end{aligned}$$
(14)

where g is a real constant, so that

$$\begin{aligned} \beta (\alpha ,\lambda )\equiv & {} \frac{d\alpha }{d\ln \mu }\bigg |_{\alpha _0,\lambda _0 = \text{ const }} \nonumber \\&\rightarrow \ \sum \limits _{n=1}^\infty \beta _n(\alpha ,\lambda )\, g^{n+1};\nonumber \\ (\gamma _\phi )_i{}^j(\alpha ,\lambda )\equiv & {} \frac{d(\ln Z_\phi )_i{}^j}{d\ln \mu }\bigg |_{\alpha _0,\lambda _0 = \text{ const }} \nonumber \\&\rightarrow \sum \limits _{n=1}^\infty (\gamma _{\phi ,n})_i{}^j(\alpha ,\lambda )\, g^{n};\nonumber \\ (\beta _\lambda )^{ijk}(\alpha ,\lambda )\equiv & {} \frac{d\lambda ^{ijk}}{d\ln \mu }\bigg |_{\alpha _0,\lambda _0 = \text{ const }} \nonumber \\&\rightarrow \ \sum \limits _{n=1}^\infty (\beta _{\lambda ,n})^{ijk}(\alpha ,\lambda )\, g^{n+1/2}.\qquad \end{aligned}$$
(15)

The index of summation n corresponds to the number of loops for a contribution to a certain renormalization group function. Note that here we will not assume that the renormalizations of the Yukawa couplings and of the matter superfields are related by Eq. (1). This implies that, in general, the equation

$$\begin{aligned} (\beta _{\lambda ,L})^{ijk}(\alpha ,\lambda ) = \frac{3}{2}\, (\gamma _{\phi ,L})_m{}^{(i}(\alpha ,\lambda ) \lambda ^{jk)m}, \end{aligned}$$
(16)

which follows from Eq. (2), can be broken in higher loops. (As we will demonstrate below, this can occur only for theories which are not finite in the previous loops).

Now, let us consider a theory which satisfies the constraints (6). According to [68,69,70,71], there exists a renormalization prescription for which this theory is finite in all orders. For example, a scheme in which a one-loop finite theory is finite in the three-loop approximation has explicitly been constructed in Ref. [80]. However, at present there is no all-loop prescription how to obtain this scheme, so that it has to be tuned in each order. Let us assume that a subtraction scheme is tuned in such a way that the gauge \(\beta \)-function does not vanish only in the \((L+1)\)-loop approximation, while the first nonvanishing contributions to the anomalous dimension of the matter superfields and to the Yukawa \(\beta \)-function appear only in the L-th loop,

$$\begin{aligned}&\beta _{n}(\alpha ,\lambda ) = 0,\quad \ \, n=1,\ldots ,L;\qquad \nonumber \\&(\beta _{\lambda ,n})^{ijk}(\alpha ,\lambda )=0,\quad n=1,\ldots , L-1;\qquad \nonumber \\&(\gamma _{\phi ,n})_i{}^j(\alpha ,\lambda ) = 0,\quad \ \, n=1,\ldots , L-1. \end{aligned}$$
(17)

We would like to prove that under the assumption (17) for an arbitrary renormalization prescription the Yukawa and gauge \(\beta \)-functions satisfy Eq. (16) and the equation

$$\begin{aligned} \frac{\beta _{L+1}(\alpha ,\lambda )}{\alpha ^2} = - \frac{1}{2\pi r} C(R)_i{}^j (\gamma _{\phi ,L})_j{}^i(\alpha ,\lambda ), \end{aligned}$$
(18)

respectively. Certainly, Eq. (18) immediately follows from Eqs. (4) and (17). Similarly, Eq. (16) is obtained from Eq. (1). However, Eqs. (1) and (4) do not hold for a general renormalization prescription. Therefore, the above statement is not trivial. To prove it, we will use the fact that at least one NSVZ scheme satisfying Eq. (1) exists and is given by the HD+MSL prescription [2, 37, 40]. According to [81, 82], the other renormalization prescriptions can be obtained from this scheme by finite renormalizations of the form

$$\begin{aligned}&\alpha \rightarrow \alpha '(\alpha ,\lambda );\qquad \lambda \rightarrow \lambda '(\alpha ,\lambda );\nonumber \\&\quad (Z_\phi )_i{}^j \rightarrow (Z'_\phi )_i{}^j(\alpha ',\lambda ',\Lambda /\mu ) = z_i{}^k(\alpha ,\lambda ) (Z_\phi )_k{}^j(\alpha ,\lambda ,\Lambda /\mu ).\nonumber \\ \end{aligned}$$
(19)

We will always assume that these transformations respect finiteness in the previous orders, so that Eq. (17) will also hold after them. In the lowest approximations they are written as

$$\begin{aligned} \frac{1}{\alpha '}= & {} \frac{1}{\alpha } + g\, b_0 + O(\alpha ,\lambda ^2);\nonumber \\&\lambda '{}^{ijk} = \lambda ^{ijk} + O(\alpha \lambda ,\lambda ^3);\nonumber \\&\quad z_i{}^j = \delta _i^j + O(\alpha ,\lambda ^2), \end{aligned}$$
(20)

where \(b_0\) is a finite constant. Note that the form of the finite renormalizations is chosen in such a way that it is consistent with a structure of quantum corrections. In particular, from the above equations we see that the change of \(\alpha \) does not contain \(\alpha \lambda ^2\) terms, and the first \(\lambda \)-dependent contributions are proportional to \(\alpha ^2\lambda ^2\). Under the considered finite renormalization RGFs that we are interested in change as [83,84,85,86]

$$\begin{aligned} \beta '(\alpha ',\lambda ')= & {} \frac{\partial \alpha '}{\partial \alpha } \beta (\alpha ,\lambda ) + g^{1/2} \frac{\partial \alpha '}{\partial \lambda ^{ijk}} (\beta _\lambda )^{ijk}(\alpha ,\lambda )\nonumber \\&+ g^{1/2} \frac{\partial \alpha '}{\partial \lambda ^*_{ijk}} (\beta _\lambda ^*)_{ijk}(\alpha ,\lambda ); \end{aligned}$$
(21)
$$\begin{aligned} (\gamma _\phi ')_i{}^j(\alpha ',\lambda ')= & {} (\gamma _\phi )_i{}^j(\alpha ,\lambda ) + g^{-1} \frac{\partial \ln z_i{}^j}{\partial \alpha }\, \beta (\alpha ,\lambda )\nonumber \\&+ g^{-1/2} \frac{\partial \ln z_i{}^j}{\partial \lambda ^{mnp}}\, (\beta _\lambda )^{mnp}(\alpha ,\lambda )\nonumber \\&+ g^{-1/2} \frac{\partial \ln z_i{}^j}{\partial \lambda ^*_{mnp}}\, (\beta _\lambda ^*)_{mnp}(\alpha ,\lambda ); \end{aligned}$$
(22)
$$\begin{aligned} (\beta _\lambda ')^{ijk}(\alpha ',\lambda ')= & {} g^{-1/2}\frac{\partial \lambda '{}^{ijk}}{\partial \alpha } \beta (\alpha ,\lambda ) \nonumber \\&+ \frac{\partial \lambda '{}^{ijk}}{\partial \lambda ^{mnp}} (\beta _\lambda )^{mnp}(\alpha ,\lambda ) \nonumber \\&+ \frac{\partial \lambda '{}^{ijk}}{\partial \lambda ^*_{mnp}} (\beta _\lambda ^*)_{mnp}(\alpha ,\lambda ).\qquad \end{aligned}$$
(23)

These equations will be used below for proving that for an arbitrary L Eqs. (16) and (18) follow from Eq. (17). However, it is expedient to start with the particular case \(L=2\), which is considered in the next section.

4 Explicit calculation for \(L=2\)

According to Eq. (17), in the particular case \(L=2\) we assume that the anomalous dimension of the matter superfields and the Yukawa \(\beta \)-function vanish in the one-loop approximation, while the gauge \(\beta \)-function vanishes in the two-loop approximation. These coefficients can be extracted with the help of the replacement (14), after which

$$\begin{aligned} (\gamma _\phi )_i{}^j(\alpha ,\lambda )= & {} g (\gamma _{\phi ,1})_i{}^j(\alpha ,\lambda ) \nonumber \\&+ g^2 (\gamma _{\phi ,2})_i{}^j(\alpha ,\lambda ) + O(g^3); \end{aligned}$$
(24)
$$\begin{aligned} \beta (\alpha ,\lambda )= & {} g^2 \beta _1(\alpha ) + g^3 \beta _2(\alpha ,\lambda ) \nonumber \\&+ g^4 \beta _3(\alpha ,\lambda ) + O(g^5); \end{aligned}$$
(25)
$$\begin{aligned} (\beta _\lambda )^{ijk}(\alpha ,\lambda )= & {} g^{3/2} (\beta _{\lambda ,1})^{ijk}(\alpha ,\lambda ) \nonumber \\&+ g^{5/2} (\beta _{\lambda ,2})^{ijk}(\alpha ,\lambda ) + O(g^{7/2}). \end{aligned}$$
(26)

(Note that writing the second equation we took into account that the one-loop \(\beta \)-function is independent of the Yukawa couplings). After imposing the condition (6) the above assumption is evidently valid for an arbitrary renormalization prescription,

$$\begin{aligned} (\gamma _{\phi ,1})_i{}^j(\alpha ,\lambda )\Big |_{\text{ Eq. } \ (6)}= & {} 0; \quad \ (\beta _{\lambda ,1})^{ijk}(\alpha ,\lambda )\Big |_{ \text{ Eq. } \ (6)} = 0;.\nonumber \\ \beta _1(\alpha )\Big |_{ \text{ Eq. } \ (6)}= & {} 0;\quad \ \beta _2(\alpha ,\lambda )\Big |_{\text{ Eq. } \ (6)} = 0. \end{aligned}$$
(27)

Now, let us suppose that RGFs (24)–(26) are written in a certain scheme in which Eqs. (1) and (4) are satisfied. For example, it is so in the HD+MSL scheme. (For this renormalization prescription the NSVZ equation is satisfied according to [37], while Eq. (1) evidently holds, because only \(\ln \Lambda /\mu \) can appear in both its sides.) In the HD+MSL scheme the lowest coefficients of RGFs satisfy the equations

$$\begin{aligned} \beta _2(\alpha ,\lambda )= & {} -\frac{\alpha ^2}{2\pi r} C(R)_i{}^j (\gamma _{\phi ,1})_j{}^i(\alpha ,\lambda );\nonumber \\ \beta _3(\alpha ,\lambda )= & {} -\frac{\alpha ^2}{2\pi r} C(R)_i{}^j (\gamma _{\phi ,2})_j{}^i(\alpha ,\lambda ) \nonumber \\&-\frac{\alpha ^3}{4\pi ^2 r} C_2 C(R)_i{}^j (\gamma _{\phi ,1})_j{}^i(\alpha ,\lambda );\nonumber \\ (\beta _{\lambda ,1})^{ijk}(\alpha ,\lambda )= & {} \frac{3}{2}\, (\gamma _{\phi ,1})_m{}^{(i}(\alpha ,\lambda )\, \lambda ^{jk)m};\nonumber \\ (\beta _{\lambda ,2})^{ijk}(\alpha ,\lambda )= & {} \frac{3}{2}\, (\gamma _{\phi ,2})_m{}^{(i}(\alpha ,\lambda )\, \lambda ^{jk)m}. \end{aligned}$$
(28)

Let us perform a finite renormalization

$$\begin{aligned} g\,\alpha '= & {} g\,\alpha + g^2 \Delta _1\alpha + g^3 \Delta _2\alpha + O(g^4);\nonumber \\&\qquad g^{1/2}\lambda '{}^{ijk} = g^{1/2} \lambda ^{ijk} + g^{3/2} \Delta _1\lambda ^{ijk} + O(g^{5/2});\nonumber \\&\qquad z_i{}^j = \delta _i^j + g\,\Delta _1 z_i{}^j + O(g^2). \end{aligned}$$
(29)

The new anomalous dimension for one-loop finite theories in the first non-trivial order can be obtained from Eq. (22). Calculating it one needs to take into account that the finiteness conditions analogous to Eq. (6) should now be imposed on the new couplings \(\alpha '\) and \(\lambda '\),

$$\begin{aligned} T(R) = 3C_2; \quad \lambda '{}^*_{imn} \lambda '{}^{jmn} = 4\pi \alpha ' C(R)_i{}^j. \end{aligned}$$
(30)

Note that the terms in the expression (22) containing \(\beta \) and \(\beta _\lambda \) are of the order \(O(g^3)\) due to Eq. (30). This implies that in the lowest nontrivial approximation they can be omitted. Moreover, in order to use Eq. (27), we should express the couplings \(\alpha \) and \(\lambda \) in terms of \(\alpha '\) and \(\lambda '\) and expand the result as a Taylor series in \(\alpha '-\alpha \) and \(\lambda '-\lambda \). After this, from Eq. (22) we obtain

(31)

where the subscript ‘\(\alpha \rightarrow \alpha '\), \(\lambda \rightarrow \lambda '\)’ means that the original arguments \(\alpha \) and \(\lambda \) of the functions present in the right hand side of Eq. (31) should be formally replaced by \(\alpha '\) and \(\lambda '\). The scheme-independent one-loop contribution to the anomalous dimension entering Eq. (31) is given by the expression

$$\begin{aligned} (\gamma _{\phi ,1})_i{}^j = - \frac{\alpha }{\pi }C(R)_i{}^j+\frac{1}{4\pi ^2}\lambda ^*_{imn}\lambda ^{jmn} \equiv \frac{1}{8\pi ^2} P_i{}^j(\alpha ,\lambda ), \end{aligned}$$
(32)

where (following Ref. [28]) we introduced the notation

$$\begin{aligned} P_i{}^j(\alpha ,\lambda ) \equiv 2\lambda ^*_{imn} \lambda ^{jmn} - 8\pi \alpha C(R)_i{}^j. \end{aligned}$$
(33)

To specify the form of finite renormalizations, we present them as a sum of relevant tensor structures containing the coupling constants and group Casimirs. The degrees of coupling constants should be chosen in such a way that after the replacement (14) the degrees of g coincide with the ones in Eq. (29). Various products of group Casimirs should be consistent with the structure of possible quantum corrections in the corresponding order of the perturbation theory. Then the lowest terms in Eq. (29) can be written in the form

$$\begin{aligned} \Delta _1\alpha= & {} \frac{\alpha ^2}{2\pi }\Big (3 C_2\, b_{11} - T(R)\, b_{12} \Big );\nonumber \\ \Delta _1 z_i{}^j= & {} \frac{\alpha }{\pi } C(R)_i{}^j\, g_{11} - \frac{1}{4\pi ^2} \lambda ^*_{imn}\lambda ^{jmn}\, g_{12};\qquad \nonumber \\ \Delta _1 \lambda ^{ijk}= & {} \frac{3\alpha }{2\pi } C(R)_m{}^{(i} \lambda ^{jk)m} l_{11} - \frac{3}{8\pi ^2} \lambda ^*_{mnp} \lambda ^{p(ij} \lambda ^{k)mn} l_{12}\nonumber \\&+ \frac{\alpha }{4\pi } \lambda ^{ijk} \Big (3C_2 d_{11} - T(R) d_{12}\Big ), \end{aligned}$$
(34)

where \(b_i\), \(g_i\), \(l_i\), and \(d_i\) are finite constants.

The explicit expression for the two-loop anomalous dimension in the HD+MSL scheme can be found in [73]. For one-loop finite theories it takes the form

(35)

To construct a two-loop anomalous dimension of the matter superfields for a one-loop finite theory in a general subtraction scheme, we substitute the expressions (34) and (35) into Eq. (31). Taking Eq. (30) into account after some transformations we obtain

(36)

This result generalizes the expression derived in [73], which corresponds to the particular case \(l_{11} = g_{11}\), \(l_{12} = g_{12}\), and \(d_{11} = d_{12}=0\).

A new \(\beta \)-function can be obtained in a similar way starting from Eq. (21). Again the terms in Eq. (21) containing \(\beta _\lambda \) are not essential in the considered (three-loop) approximation. Really, they are of the order \(O(g^5)\), because \(\partial \alpha '/\partial \lambda \sim O(g^2)\) due to Eq. (20) and \(\beta _\lambda \sim O(g^{5/2})\) due to Eq. (30). Similarly, the derivative \(\partial \alpha '/\partial \alpha \) should be replaced by 1, because for one-loop finite theories \(\beta \sim O(g^4)\). However, it is necessary to take into account that the one-loop finiteness conditions are imposed on the couplings \(\alpha '\) and \(\lambda '\), so that the right hand side should be presented as a Taylor series in the deviations \(\alpha '-\alpha \) and \(\lambda '-\lambda \). Then, using Eq. (30) a three-loop contribution to the new \(\beta \)-function can be written as

(37)

where in the right hand side the original arguments \(\alpha \) and \(\lambda \) should be formally replaced by the new couplings \(\alpha '\) and \(\lambda '\). Note that deriving this equation we took into account that

$$\begin{aligned} \beta _1(\alpha )\Big |_{\text{ Eq. } (30)} = -\frac{\alpha ^2}{2\pi } \Big (3C_2-T(R)\Big )\bigg |_{\text{ Eq. } (30)} = 0. \end{aligned}$$
(38)

Next, we involve the NSVZ equation substituting \(\beta _2(\alpha ,\lambda )\) and \(\beta _3(\alpha ,\lambda )\) from Eq. (28). Taking into account that the terms proportional to \((\gamma _{\phi ,1})_i{}^j\) vanish due to Eq. (30) we obtain

(39)

Thus, we see that the NSVZ equation really takes place in the first non-trivial approximation independently of the subtraction scheme in a complete agreement with [73]. An explicit expression for the function \(\beta '\) obtained from this equation is written as

(40)

In the particular case \(l_{11}=g_{11}\), \(l_{12}=g_{12}\), and \(d_{11}=d_{12}=0\) it coincides with the result presented in Ref. [73].

Now, let us consider the Yukawa \(\beta \)-function and find out whether it satisfies Eq. (16) in an arbitrary subtraction scheme. Evidently, this equation is valid in the HD+MSL scheme in all orders, because in this scheme finite constants are not present both in the renormalization constant for matter superfields and in the equation which relates bare and renormalized Yukawa couplings. The first coefficient of the function \((\beta _\lambda )^{ijk}\) is given by the expression

$$\begin{aligned} (\beta _{\lambda ,1})^{ijk}= & {} \frac{3}{2}\, (\gamma _{\phi ,1})_m{}^{(i} \lambda ^{jk)m} \nonumber \\= & {} \frac{3}{2} \Big ( - \frac{\alpha }{\pi }C(R)_m{}^{(i}+\frac{1}{4\pi ^2}\lambda ^*_{mpq}\lambda ^{pq(i}\Big ) \lambda ^{jk)m}.\nonumber \\ \end{aligned}$$
(41)

Certainly, this expression vanishes for one-loop finite theories due to Eq. (6). For these theories the first nontrivial (two-loop) contribution to the Yukawa \(\beta \)-function in the HD+MSL scheme is written as

$$\begin{aligned}&(\beta _{\lambda ,2})^{ijk}\Bigg |_{ \mathrm{HD}+\mathrm{MSL},\, \text{ Eq. } (6)} = \frac{3}{2}\, (\gamma _{\phi ,2})_m{}^{(i} \lambda ^{jk)m}\Bigg |_{ \mathrm{HD}+\mathrm{MSL},\, \text{ Eq. } (6)} \nonumber \\&\quad = - \frac{9\alpha ^2}{4\pi ^2}\, \ln \frac{a_\varphi }{a} C_2 C(R)_m{}^{(i} \lambda ^{jk)m}\nonumber \\&\qquad - \frac{3\alpha }{8\pi ^2} (A-B) \Bigg (\frac{1}{\pi } \lambda {}_{mnp}^* \lambda ^{lp(i} C(R)_l{}^n + 2\alpha \left[ C(R)^2\right] _m{}^{(i} \Bigg ) \lambda ^{jk)m}.\nonumber \\ \end{aligned}$$
(42)

Next, we perform the finite renormalization (34) and impose the one-loop finiteness conditions (30) on the new couplings \(\alpha '\) and \(\lambda '\). A two-loop contribution to the new Yukawa \(\beta \)-function can be found from Eq. (23). In this approximation the only essential term is the one containing the derivative \(\partial \lambda '/\partial \lambda \), but, as earlier, one should take into account the difference between the conditions (6) and (30). Then, making the calculations similar to those for the functions \(\beta \) and \((\gamma _\phi )_i{}^j\), in the first nontrivial approximation we obtain

$$\begin{aligned} (\beta _\lambda ')^{ijk}(\alpha ',\lambda ')\Big |_{ \text{ Eq. } (30)}= & {} g^{5/2}\Bigg (- \frac{\partial (\beta _{\lambda ,1})^{ijk}}{\partial \alpha } \Delta _1\alpha - \frac{\partial (\beta _{\lambda ,1})^{ijk}}{\partial \lambda ^{mnp}} \Delta _1\lambda ^{mnp} \nonumber \\&- \frac{\partial (\beta _{\lambda ,1})^{ijk}}{\partial \lambda ^*_{mnp}} \Delta _1\lambda ^*_{mnp}\nonumber \\&+ (\beta _{\lambda ,2})^{ijk} \Bigg )\Bigg |_{\alpha \rightarrow \alpha ';\ \lambda \rightarrow \lambda ';\ \text{ Eq. } (30)} + O(g^{7/2}).\nonumber \\ \end{aligned}$$
(43)

The expressions entering this equation are given by Eqs. (34), (41), and (42). Substituting them in Eq. (43) we find the explicit expression for the transformed Yukawa \(\beta \)-function,

$$\begin{aligned} (\beta _{\lambda ,2}')^{ijk}(\alpha ',\lambda ')\Big |_{ \text{ Eq. } (30)}= & {} \Bigg \{\, \frac{9\alpha '{}^2}{4\pi ^2} C_2 C(R)_m{}^{(i} \lambda '{}^{jk)m}\nonumber \\&\times \Big (-\ln \frac{a_\varphi }{a} +b_{11}- b_{12}-d_{11}+d_{12}\Big ) - \frac{3\alpha '}{8\pi ^2}\nonumber \\&\times \Big (\frac{1}{\pi } \lambda '{}^*_{mnp} \lambda '{}^{lp(i} C(R)_l{}^n + 2\alpha ' \left[ C(R)^2\right] _m{}^{(i} \Big ) \lambda '{}^{jk)m} \nonumber \\&\times \Big (A-B + 2l_{11} - 2 l_{12}\Big ) \Bigg \}. \end{aligned}$$
(44)

Comparing this result with the expression for the transformed anomalous dimension given by Eq. (36) we conclude that Eq. (16) with \(L=2\) for one-loop finite theories is really satisfied in an arbitrary subtraction scheme,

$$\begin{aligned} (\beta _{\lambda ,2}')^{ijk}(\alpha ',\lambda ')\Big |_{ \text{ Eq. } (30)} = \frac{3}{2}\, (\gamma _{\phi ,2})_m{}^{(i}(\alpha ',\lambda ') \lambda '{}^{jk)m}\Big |_{\text{ Eq. } (30)},\nonumber \\ \end{aligned}$$
(45)

although both sides of this equation are scheme dependent.

Note that for theories which are not finite in the one-loop approximation Eq. (16) with \(L=2\) does not hold after the finite renormalization (34). Really, in this case after some transformations we obtain

$$\begin{aligned} g^{1/2} \lambda '{}^{ijk}= & {} g^{1/2} \lambda _0^{mnp} (Z_\phi '{}^{1/2})_m{}^i (Z_\phi '{}^{1/2})_n{}^j (Z_\phi '{}^{1/2})_p{}^k \nonumber \\&- g^{3/2}\Bigg \{\frac{3\alpha }{2\pi } C(R)_m{}^{(i} \lambda ^{jk)m} (g_{11} - l_{11})\qquad \nonumber \\&- \frac{3}{8\pi ^2} \lambda ^*_{mnp} \lambda ^{np(i} \lambda ^{jk)m} (g_{12} - l_{12}) \nonumber \\&- \frac{\alpha }{4\pi }\lambda ^{ijk}\Big (3C_2 d_{11} - T(R) d_{12}\Big )\Bigg \} + O(g^{5/2}).\nonumber \\ \end{aligned}$$
(46)

After differentiating with respect to \(\ln \mu \), the first term in the right hand side produces the right hand side of Eq. (16) with \(L=2\) for the new couplings, while the remaining ones give nontrivial corrections to this equation proportional to \(g^{5/2}\) if one-loop RGFs do not vanish. Therefore, after the finite renormalization (34)

$$\begin{aligned} (\beta _{\lambda ,2}')^{ijk}(\alpha ',\lambda ')= & {} \frac{3}{2}\, (\gamma _{\phi ,2})_m{}^{(i}(\alpha ',\lambda ') \lambda '{}^{jk)m}\nonumber \\&+ \text{ terms } \text{ proportional } \text{ to } \beta _1\text { and }\gamma _{\phi ,1}.\nonumber \\ \end{aligned}$$
(47)

Consequently, Eq. (2) in the two-loop approximation can be broken if the theory is not finite in the one-loop approximation. However, for one-loop finite theories Eq. (16) with \(L=2\) is always valid, because in this case \(\beta _1=0\) and \((\gamma _{\phi ,1})_i{}^j = 0\).

5 Finite renormalizations which do not break Eq. (17) for \(L=3\)

Now, let us construct finite renormalizations which do not break finiteness in the next (\(L=3\)) approximation. As we discussed above, in this approximation (for one-loop finite theories) the exact expressions for the gauge and Yukawa \(\beta \)-functions are valid for an arbitrary renormalization prescription. Therefore, it is sufficient to find finite renormalizations under that the condition

$$\begin{aligned} (\gamma _{\phi ,2})_i{}^j(\alpha ,\lambda ) = 0 \end{aligned}$$
(48)

remains invariant. Evidently, the expression (35) vanishes if \(a_\varphi = a\) and \(A=B\). In this case the anomalous dimension (36) is equal to 0 if the parameters of the finite renormalization satisfy the constraints

$$\begin{aligned} b_{11} - d_{11} = b_{12} - d_{12};\quad l_{11} = l_{12}. \end{aligned}$$
(49)

Substituting them into Eq. (34) we see that under the considered finite renormalizations for theories finite in the one-loop approximation the couplings change as

$$\begin{aligned} \Delta _1\alpha \Big |_{\text{ Eq. } (6)}= & {} \frac{3\alpha ^2 C_2}{2\pi } (b_{11} - b_{12});\nonumber \\ \Delta _1\lambda ^{ijk}\Big |_{\text{ Eq. } (6)}= & {} \frac{3\alpha }{4\pi } \lambda ^{ijk} C_2 (b_{11}- b_{12}), \end{aligned}$$
(50)

while

$$\begin{aligned} \Delta _1z_i{}^j = \frac{\alpha }{\pi } C(R)_i{}^j (g_{11}-g_{12}) \end{aligned}$$
(51)

contains the parameters \(g_{11}\) and \(g_{12}\) which can take arbitrary values.

In general, the expressions (50) do not vanish. However, it is possible to construct a function of the couplings that remains invariant under these transformations in the lowest nontrivial approximation. Really, if we consider the expression (33) (depending on \(\alpha \) and \(\lambda \)) and impose the one-loop finiteness conditions (30) (for the transformed couplings \(\alpha '\) and \(\lambda '\)), then from Eq. (50) we obtain

$$\begin{aligned} g P_i{}^j(\alpha ,\lambda )\Big |_{ \text{ Eq. } (30)}= & {} - g \Big (P_i{}^j(\alpha ',\lambda ') - P_i{}^j(\alpha ,\lambda ) \Big )\Big |_{\text{ Eq. } (30)}\nonumber \\= & {} - g^2\Big (2\Delta _1\lambda ^*_{imn} \lambda ^{jmn} + 2\lambda ^*_{imn}\Delta _1 \lambda ^{jmn} \nonumber \\&- 8\pi \Delta _1\alpha C(R)_i{}^j\Big )\Big |_{ \text{ Eq. } (30)} + O(g^3) = O(g^3).\nonumber \\ \end{aligned}$$
(52)

This implies that in the considered approximation this expression does not change under the finite renormalizations that we are interested in. In the next section we will see that a generalization of this statement can be used for constructing finite renormalizations which do not break Eq. (17) for an arbitrary value of L.

6 The result for an arbitrary L

Now, let us assume that the renormalization scheme is tuned in such a way that Eq. (17) is satisfied. Our purpose is to prove that Eqs. (16) and (18) are satisfied for an arbitrary renormalization prescription which respects finiteness in the previous loops. First, we note that at least one such subtraction scheme exists, because, according to [68,69,70,71], there is a renormalization prescription for which a one-loop finite theory is finite in all loops. Evidently, in this case Eqs. (16) and (18) are valid. Therefore, we may start with a subtraction scheme in which these equations are satisfied. (RGFs and couplings in this scheme will be denoted by letters without primes.) The other renormalization prescriptions are related to this scheme by finite renormalizations (19). Taking Eq. (20) into account we see that after the replacement (14)

$$\begin{aligned} \frac{\partial \alpha '}{\partial \alpha }= & {} 1 + O(g); \quad \frac{\partial \alpha '}{\partial \lambda ^{ijk}} = O(g^{2}); \nonumber \\ \frac{\partial \ln z_i{}^j}{\partial \alpha }= & {} O(g);\quad \frac{\partial \ln z_i{}^j}{\partial \lambda ^{mnp}} = O(g);\nonumber \\ \frac{\partial \lambda '{}^{ijk}}{\partial \alpha }= & {} O(g);\nonumber \\ \frac{\partial \lambda '{}^{ijk}}{\partial \lambda ^{mnp}}= & {} \delta ^{(i}_m \delta ^j_n \delta ^{k)}_p + O(g);\quad \frac{\partial \lambda '{}^{ijk}}{\partial \lambda ^*_{mnp}} = O(g). \end{aligned}$$
(53)

Moreover, due to Eq. (17)

$$\begin{aligned} \beta= & {} O(g^{L+2}); \nonumber \\ (\gamma _\phi )_i{}^j= & {} O(g^L);\nonumber \\ (\beta _\lambda )^{ijk}= & {} O(g^{L+1/2}). \end{aligned}$$
(54)

Substituting the above equations into Eqs. (21), (22), and (23) we obtain that after the considered finite renormalization

$$\begin{aligned} \beta '(\alpha ',\lambda ')\Big |_{\text{ Eq. } \ (30)}= & {} \beta (\alpha ,\lambda )\Big |_{\text{ Eq. } \ (30)} + O(g^{L+3});\qquad \nonumber \\ (\gamma _\phi ')_i{}^j(\alpha ',\lambda ')\Big |_{\text{ Eq. } \ (30)}= & {} (\gamma _\phi )_i{}^j(\alpha ,\lambda )\Big |_{\text{ Eq. } \ (30)} + O(g^{L+1}); \qquad \nonumber \\ (\beta _\lambda ')^{ijk}(\alpha ',\lambda ')\Big |_{ \text{ Eq. } \ (30)}= & {} (\beta _\lambda )^{ijk}(\alpha ,\lambda )\Big |_{\text{ Eq. } \ (30)} + O(g^{L+3/2}). \end{aligned}$$
(55)

Note that according to our assumption, Eqs. (16) and (18) for RGFs without primes are valid under the condition (6), which is different from the condition (30).

First, let us construct finite renormalizations which do not break Eq. (17). Earlier it was demonstrated that in the particular case \(L=3\) such finite renormalizations satisfy Eq. (52). For an arbitrary value of L we will prove that they are determined by the condition

$$\begin{aligned} g P_i{}^j(\alpha ,\lambda )\Big |_{\text{ Eq. } \ (30)} = O(g^L), \end{aligned}$$
(56)

which is a generalization of Eq. (52). This can be done with the help of mathematical induction. For \(L=2\) this equation is trivial, and for \(L=3\) it has been verified in Sect. 5. Let us suppose that, under the assumption (17) with \(L=k\), Eq. (56) is valid for \(L=k\) (where \(k\ge 2\)) and prove that, under the assumption (17) with \(L=k+1\), it is also valid for \(L=k+1\).

Let Eq. (17) be valid for \(L=k+1\) for both original and new couplings. Evidently, finite renormalizations relating these couplings should be searched among such finite renormalizations that do not break Eq. (17) with \(L=k\). In the latter case RGFs satisfy Eq. (55) with \(L=k\). Therefore, the finite renormalizations that we are interested in can be found from the condition

$$\begin{aligned} O(g^{k+1})= & {} (\gamma _\phi ')_i{}^j(\alpha ',\lambda ')\Big |_{\text{ Eq. } \ (30)} \nonumber \\= & {} (\gamma _\phi )_i{}^j(\alpha ,\lambda )\Big |_{\text{ Eq. } \ (.30)} + O(g^{k+1}). \end{aligned}$$
(57)

If we impose only the constraint \(T(R) = 3C_2\) (which does not depend on couplings), then the anomalous dimension of the matter superfields will differ from the one for a one-loop finite theory by terms proportional to various tensor structures containing powers of gP. We will schematically denote these structures by \((c(g)\cdot gP \cdot \ldots \cdot gP)_i{}^j\), where the tensor c(g) contains couplings, group Casimirs, and numerical factors which cannot be combined into gP. Using this notation the anomalous dimension of the matter superfields for a theory with \(T(R) = 3C_2\) can be written as

$$\begin{aligned} (\gamma _\phi )_i{}^j(\alpha ,\lambda )\Big |_{T(R)=3C_2}= & {} (\gamma _\phi )_i{}^j(\alpha ,\lambda )\Big |_{\text{ Eq. } \ (6)} \nonumber \\&+ (c_1(g)\cdot gP + c_2(g)\cdot gP\cdot gP + \ldots )_i{}^j \end{aligned}$$
(58)

It is important that the coefficient of the lowest order term containing gP does not vanish due to Eq. (32),

$$\begin{aligned} (c_1(0)\cdot g P)_i{}^j = \frac{g}{8\pi ^2} P_i{}^j(\alpha ,\lambda ) \ne 0. \end{aligned}$$
(59)

Let us consider the expression (58) for such values of couplings that \(\lambda '{}^*_{imn} \lambda '{}^{jmn} = 4\pi \alpha ' C(R)_i{}^j\). In other words, we impose the constraint (30). Evidently, if the condition (17) is valid for \(L=k+1\), then it also holds for \(L=k\). This implies that we can use the induction hypothesis, according to which, the expression \(g P_i{}^j\) is of the order \(O(g^k)\) and can presented in the form

$$\begin{aligned} g P_i{}^j(\alpha ,\lambda )\Big |_{\text{ Eq. } \ (30)} = g^k (p_k)_i{}^j + O(g^{k+1}). \end{aligned}$$
(60)

Therefore, terms containing the m-th power of gP in Eq. (58) are proportional to \(g^{mk}\). Taking into account that \(k\ge 2\), we see that \(mk<k+1\) only for \(m=1\). Consequently, if we consider only terms proportional to \(g^k\), then it is possible to ignore all terms with \(m>1\) and keep only the lowest term linear in gP,

$$\begin{aligned} (\gamma _\phi )_i{}^j(\alpha ,\lambda )\Big |_{ \text{ Eq. } \ (30)}= & {} (\gamma _\phi )_i{}^j(\alpha ,\lambda )\Big |_{ \text{ Eq. } \ (6)} \nonumber \\&+ g^k (c_1(0) \cdot p_k)_i{}^j + O(g^{k+1})\nonumber \\= & {} (\gamma _\phi )_i{}^j(\alpha ,\lambda )\Big |_{ \text{ Eq. } \ (6)} + \frac{g^k}{8\pi ^2} (p_k)_i{}^j + O(g^{k+1}),\nonumber \\ \end{aligned}$$
(61)

where we also used Eq. (59). According to Eq. (57), the left hand side of this equation is of the order \(O(g^{k+1})\). From the other side, according to the assumption (17) for \(L=k+1\), the anomalous dimension in the right hand side is of the order \(O(g^{k+1})\). Therefore, comparing the terms proportional to \(g^k\) in the left and right hand sides we obtain

$$\begin{aligned} (p_k)_i{}^j = 0. \end{aligned}$$
(62)

Then from Eq. (60) we conclude that Eq. (56) is also satisfied for \(L=k+1\). Thus, the inductive step is completed and Eq. (56) is proved.

Next, let us return to Eq. (55) and consider, e.g., the anomalous dimension of the matter superfields. From Eqs. (56), (58), and (59) we see that

$$\begin{aligned} (\gamma _\phi ')_i{}^j(\alpha ',\lambda ')\Big |_{ \text{ Eq. } (30)}= & {} (\gamma _\phi )_i{}^j(\alpha ,\lambda )\Big |_{ \text{ Eq. } (6)}\nonumber \\&+ \frac{g}{8\pi ^2} P_i{}^j\Big |_{ \text{ Eq. } \ (30)} + O(g^{L+1})\nonumber \\= & {} (\gamma _\phi )_i{}^j(\alpha ,\lambda )\Big |_{ \text{ Eq. } \ (6)} \nonumber \\&+ g (\gamma _{\phi ,1})_i{}^j(\alpha ,\lambda )\Big |_{ \text{ Eq. } \ (30)} + O(g^{L+1}),\qquad \end{aligned}$$
(63)

where we took into account that both explicitly written terms in the right hand side are of the order \(O(g^L)\), while the other contributions contain larger degrees of g. Say, the terms containing higher degrees of gP are proportional at least to \(O(g^{2L})\). (Note that deriving Eq. (63) we also used Eqs. (32) and (59).) Similar equations for the gauge and Yukawa \(\beta \)-functions can be written as

$$\begin{aligned} \beta '(\alpha ',\lambda ')\Big |_{ \text{ Eq. } (30)}= & {} \beta (\alpha ,\lambda )\Big |_{ \text{ Eq. } (6)} \nonumber \\&+ g^3 \beta _2(\alpha ,\lambda )\Big |_{ \text{ Eq. } (30)} + O(g^{L+3}); \end{aligned}$$
(64)
$$\begin{aligned} (\beta _\lambda ')^{ijk}(\alpha ',\lambda ')\Big |_{ \text{ Eq. } (30)}= & {} (\beta _\lambda )^{ijk}(\alpha ,\lambda )\Big |_{ \text{ Eq. } (6)} \nonumber \\&+ g^{3/2} (\beta _{\lambda ,1})^{ijk}(\alpha ,\lambda )\Big |_{ \text{ Eq. } (30)} + O(g^{L+3/2}).\qquad \end{aligned}$$
(65)

Let us recall that we started with a renormalization scheme (say, HD+MSL) in which Eqs. (16) and (18) are satisfied. This implies that under the assumption (17) the first nontrivial coefficients of RGFs in this scheme are related by the equations

$$\begin{aligned} \beta _{L+1}(\alpha ,\lambda )\Big |_{ \text{ Eq. } \ (6)}= & {} - \frac{\alpha ^2}{2\pi r} C(R)_i{}^j (\gamma _{\phi ,L})_j{}^i(\alpha ,\lambda )\Big |_{ \text{ Eq. } \ (6)};\qquad \nonumber \\ (\beta _{\lambda ,L})^{ijk}(\alpha ,\lambda )\Big |_{ \text{ Eq. } \ (6)}= & {} \frac{3}{2}\, (\gamma _{\phi ,L})_m{}^{(i}(\alpha ,\lambda ) \lambda ^{jk)m}\Big |_{ \text{ Eq. } \ (6)}. \end{aligned}$$
(66)

Also we note that the two-loop gauge \(\beta \)-function, the one-loop anomalous dimension of the matter superfield, and the one-loop Yukawa \(\beta \)-function are scheme independent and satisfy Eqs. (16) and (18) for any renormalization prescription (without the use of the one-loop finiteness conditions). This implies that the equations

$$\begin{aligned} \beta _{2}(\alpha ,\lambda )= & {} - \frac{\alpha ^2}{2\pi r} C(R)_i{}^j (\gamma _{\phi ,1})_j{}^i(\alpha ,\lambda );\nonumber \\ (\beta _{\lambda ,1})^{ijk}(\alpha ,\lambda )= & {} \frac{3}{2}\, (\gamma _{\phi ,1})_m{}^{(i}(\alpha ,\lambda ) \lambda ^{jk)m} \end{aligned}$$
(67)

are valid for arbitrary values of \(\alpha \) and \(\lambda ^{ijk}\).

Two explicitly written terms in the right hand side of Eq. (63) are of the order \(O(g^L)\). Similarly, explicitly written terms in the right hand sides of Eqs. (64) and (65) are of the order \(O(g^{L+2})\) and \(O(g^{L+1/2})\), respectively. Therefore, from the above equations we obtain

$$\begin{aligned}&\beta '(\alpha ',\lambda ')\Big |_{ \text{ Eq. } \ (30)} = - \frac{g^2 \alpha '{}^2}{2\pi r} C(R)_i{}^j (\gamma _{\phi }')_j{}^i(\alpha ',\lambda ')\Big |_{ \text{ Eq. } \ (30)} \nonumber \\&\quad + O(g^{L+3}); \end{aligned}$$
(68)
$$\begin{aligned}&(\beta _\lambda ')^{ijk}(\alpha ',\lambda ')\Big |_{ \text{ Eq. } \ (30)} = \frac{3}{2}\, g^{1/2} (\gamma _{\phi }')_m{}^{(i}(\alpha ',\lambda ') \lambda '{}^{jk)m}\Big |_{ \text{ Eq. } \ (30)} \nonumber \\&\quad + O(g^{L+3/2}). \end{aligned}$$
(69)

Note that we also took into account that the differences \(\alpha '-\alpha \) and \(\lambda '-\lambda \) are proportional to the parameter g and give terms unessential in the considered approximation. From Eqs. (68) and (69) we conclude that Eqs. (16) and (18) are valid for an arbitrary renormalization prescription consistent with Eq. (17).

Thus, for a one-loop finite theory in an arbitrary subtraction scheme for which Eq. (17) is satisfied the L-loop Yukawa and \((L+1)\)-loop gauge \(\beta \)-functions are related to the L-loop anomalous dimension of the matter superfields. This statement generalizes the observation made in [73] that for one-loop finite theories the three-loop gauge \(\beta \)-function is related to the two-loop anomalous dimension independently of a subtraction scheme, see Sect. 2.

As a simple consequence we obtain the result of Ref. [79] that for a theory finite in L-loops the \((L+1)\)-loop \(\beta \)-function vanishes. Really, for such a theory \((\gamma _{\phi ,L})_i{}^j(\alpha ,\lambda ) = 0\). Therefore, in this case from Eq. (18) we conclude that \(\beta _{L+1}(\alpha ,\lambda ) = 0\). (Originally, in Ref. [79], this statement was derived by a different method.)

7 Conclusion

We considered a theory finite in the one-loop approximation assuming that a subtraction scheme is tuned in such a way that the first nontrivial contribution to the gauge \(\beta \)-function comes from the \((L+1)\)-th loop, while the first nontrivial contributions to the Yukawa \(\beta \)-function and to the anomalous dimension of the matter superfields appear only in the L-th loop. It was demonstrated that in this case for any renormalization prescription which does not break the above conditions the \((L+1)\)-loop gauge \(\beta \)-function and the L-loop Yukawa \(\beta \)-function are related to the L-loop anomalous dimension by simple algebraic equations. In other words, under the above formulated assumption Eq. (2) and the NSVZ equation (4) are valid in the first non-trivial order independently of a subtraction scheme, although both sides of these equations are scheme-dependent. (In the particular case \(L=2\) this statement exactly agrees with the explicit calculations made in [73].) As a straightforward consequence, we obtain a simple proof of the theorem (first derived in [79]) that for a theory finite in a certain order the \(\beta \)-function vanishes in the next order.