On-shell renormalization scheme for N=1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal {N}}}=1$$\end{document} SQED and the NSVZ relation

In this paper we investigate the renormalization of N=1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{N}=1$$\end{document} supersymmetric quantum electrodynamics, regularized by higher derivatives, in the on-shell scheme. It is demonstrated that in this scheme the exact Novikov, Shifman, Vainshtein, and Zakharov (NSVZ) equation relating the β\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\beta $$\end{document}-function to the anomalous dimension of the matter superfields is valid in all orders of the perturbation theory. This implies that the on-shell scheme enters the recently constructed continuous set of NSVZ subtraction schemes. To verify this statement, we compare the anomalous dimension of the matter superfields in the two-loop approximation and the β\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\beta $$\end{document}-function in the three-loop approximation, which are explicitly calculated in this scheme. The finite renormalizations relating the on-shell scheme to some other NSVZ subtraction schemes formulated previously are obtained.


Introduction
Among various renormalization schemes that can be used in quantum electrodynamics the subtraction on the mass shell is one of the most important (for a review, see, e.g., [1]). The reason for this is that in this scheme renormalized quantities such as masses, charges, and anomalous magnetic moments can be subjected to direct experimental measurements. This distinguishes it from the (modified) minimal subtraction or momentum subtraction schemes.
The N = 1 supersymmetric generalization of quantum electrodynamics, besides the electron and photon, contains their superpartners, namely, a pair of complex scalar fields and a Majorana spinor. It is most convenient to describe this a e-mail: kataev@ms2.inr.ac.ru b e-mail: kazancev@physics.msu.ru c e-mail: stepan@m9com.ru theory using the superfield formalism with the gauge fixing term respecting supersymmetry. In this case N = 1 supersymmetry appears to be a manifest symmetry of the theory, so that the perturbative calculations can be done in an N = 1 supersymmetric way. This is to be contrasted with the approach, when the gauge superfield is put into the Wess-Zumino gauge, in which only its physical components survive. Although in this case the quantization is performed in terms of physical fields only, the manifest supersymmetry is lost.
An important feature of N = 1 supersymmetric gauge theories is the existence of the relation between the βfunction and the anomalous dimensions of the matter superfields [2][3][4][5][6][7][8][9]. For N = 1 supersymmetric electrodynamics (SQED) considered in this paper it can be written as [10,11] It is known that the NSVZ relation does not in general hold for an arbitrary renormalization prescription 1 and is valid only in certain subtraction schemes called the NSVZ schemes. Recently, it was discovered that all NSVZ subtraction schemes in N = 1 SQED form a class that can be parameterized by a single function and a single constant [14]. Various schemes of this class are related by finite renormalizations satisfying a certain condition, which form a subgroup of the general renormalization group transformations [15][16][17][18]. This class in particular includes the so-called HD+MSL renormalization prescription (short for Higher Derivatives plus Minimal Subtraction of Logarithms) [19,20]. In this case a theory is regularized by the higher covariant derivative method [21,22] (see also Refs. [23][24][25] for its various N = 1 supersymmetric versions) and only powers of ln /μ are included into the renormalization constants. Here is the dimensionful parameter of the regularized theory, and μ is the subtraction point. Note the HD+MSL prescription gives the NSVZ-and NSVZ-like schemes for various theories, e.g., for the photino mass in the electrodynamics with softly broken supersymmetry [26] 2 or for the Adler D-function in N = 1 SQCD [30]. 3 There are indications that the NSVZ scheme in the non-Abelian case is also given by this prescription in all orders [36]. This conjecture has been confirmed by explicit three-loop calculations in [37,38].
The DR scheme, most frequently used for practical calculations, does not enter the class of the NSVZ schemes, as was explicitly demonstrated in the three- [39] and fourloop [40] approximations. Nevertheless, a finite renormalization of the coupling constant, specially tuned in each order of the perturbation theory, allows constructing the NSVZ scheme with dimensional reduction [39,41,42]. The difference between calculations with the higher derivative regularization and with dimensional reduction for N = 1 SQED in the three-loop approximation has been analyzed in Ref. [43].
Because the subtraction on the mass shell occupies a special place in electrodynamics, it would be interesting to find out whether a relation (1) is satisfied in this scheme and, therefore, whether it falls into the class of NSVZ schemes. Using the results of Ref. [44], the guess was made that the NSVZ relation in N = 1 SQED is valid in the on-shell scheme [45]. Note that the explicit calculations in Ref. [44] were done only in the approximation, where the scheme dependence is not essential. In this paper we demonstrate that the NSVZ equation relating the β-function to the mass anomalous dimension is valid in the on-shell scheme in all orders. This statement is verified by the explicit calculation. Namely, the three-loop β-function is compared with the two-loop mass anomalous dimension in the on-shell scheme. This allows to check that Eq. (1) really holds in this case.

N = 1 SQED: action and the higher derivative regularization
In the superfield language N = 1 SQED with N f flavors of massive Dirac fermions and their superpartners is described by the action The NSVZ-like equation describing the renormalization of the gaugino mass has been proposed in [27][28][29]. 3 This follows from the fact that the renormalization group functions defined in terms of the bare couplings satisfy the NSVZ and NSVZ-like equation with the higher derivative regularization. At present, it has been rigorously proved in all orders for N = 1 SQED in [31,32], for the renormalization of the photino mass in softly broken SQED in [33], and for the Adler D-function in N = 1 SQCD in [34,35].
where m 0 is the bare mass of the chiral matter superfields. For simplicity, and in order not to deal with multiple thresholds, we assume the masses for different flavors to be equal. The regularization is introduced by adding to the action the term with higher derivatives where R is a function which rapidly increases at large values of the argument and satisfies the condition R(0) = 1. Moreover, to regularize divergences in the one-loop approximation, it is necessary to insert the Pauli-Villars determinants in the generating functional [46]. Following Refs. [47,48], let us introduce n sets of the chiral Pauli-Villars superfields i I with masses M I , where I = 1, . . . , n, and include into the total action. Then, to cancel one-loop divergences, their Grassmannian parities (−1) P I and masses M I should satisfy the relations n I =1 In the massless case the masses of the Pauli-Villars superfields M I should be chosen proportional to the parameter in the higher derivative term. However, in the massive case it is convenient to present them in the form where the coefficients a I and b I , independent of the coupling constant, satisfy the equations which follow from Eq. (5). It should be noted that the derivative of M I / with respect to ln or ln m 0 is of the order m 2 0 / 2 and, therefore, can be neglected in the limit → ∞.
To complete the quantization, the gauge-fixing term is added to the action. Below we will use the Feynman gauge in which the renormalized gauge fixing parameter is fixed as ξ = 1.

The on-shell subtraction scheme
To construct the on-shell scheme for N = 1 SQED, let us consider the part of the effective action quadratic in the matter superfields. It can be presented in the form where the functions G and J are normalized in such a way that in the tree approximation G = 1 and J = 1. From the expression (9) it is possible to construct the exact superfield propagators for the matter superfields, see Ref. [32] for details. In the coordinate representation they are written as In the momentum representation all these propagators contain the denominator where all arguments of the functions G and J except for the momentum p were omitted. The renormalized mass in the on-shell scheme is defined as the pole of the propagators (10), It is convenient to introduce the mass renormalization constant Z m ≡ m 0 /m, which in the scheme under consideration is given by the expression The matter superfield renormalization constant Z in the onshell scheme is given by the residue at this pole. For all propagators (10) the result is the same, Note that, due to the superpotential non-renormalization in N = 1 supersymmetric theories [49], it is usually assumed that Z Z m = 1. However, in the one-shell scheme it is not so, because Although this expression is not equal to 1, it is finite in the ultraviolate region due to the non-renormalization of the superpotential. This implies that the renormalization constants Z and Z −1 m differ by a finite factor. Note that in the component formulation of the theory the scalars and the spinors will have the same renormalization constants only if the theory is regularized and quantized in a manifestly supersymmetric way. In the case of using the Wess-Zumino gauge this equality will be lost. This can be seen already in the one-loop approximation, see Ref. [50]. On the other hand, since the relation between the bare and the pole mass must be gauge-independent, the equality between the fermion and the scalar masses must be preserved after renormalization in the on-shell scheme whichever of the two quantization methods is used [51].
Quantum corrections to the two-point Green function of the gauge superfield are encoded in the function d(k/ , m 0 / , α 0 ), which enters the effective action as where ∂ 2 1/2 ≡ −D aD2 D a /8, and the normalization constant is chosen in such a way that in the tree approximation [18] of the supersymmetric quantum electrodynamics. In the limit k → 0 it gives the value of the fine-structure constant as a function of m 0 / and α 0 in the supersymmetric case. In the on-shell subtraction scheme this value plays the role of the renormalized coupling constant α. The β-function in this scheme is defined as where m is the pole mass defined earlier.

The three-loop β-function in the on-shell scheme
An important feature of using the higher covariant derivative regularization in supersymmetric theories is the factorization of the loop integrals contributing to the function d −1 (k/ , m 0 / , α 0 ) in the limit k → 0 into integrals of double total derivatives with respect to the momenta. This was first discovered in explicit calculations for N = 1 SQED in [52] (total derivatives) and [44] (double total derivatives). The rigorous all-order proof for the Abelian case has been done in Refs. [31,32]. (The factorization into double total derivatives seems to be a general feature of supersymmetric theories and theories with softly broken supersymmetry regularized by higher covariant derivatives, see, e.g., the calculations of Refs. [33,37,38,[53][54][55].) In N = 1 SQED the double total derivatives are taken with respect to the momenta of the matter loops to which the external lines of the gauge superfield are attached. If a double total derivative acts on a massless propagator, it produces a delta-function singularity which gives rise to a nonvanishing contribution. However, if a double total derivative acts only on massive propagators, the integral of this total derivative vanishes. This implies that in massive N = 1 SQED the only nonvanishing contribution to the function d −1 (k/ , m 0 / , α 0 ) at k = 0 comes from the one-loop approximation. In the case of using the higher derivative regularization it is possible to write the one-loop contribution to this function in the form 4 where c I = (−1) P I +1 , see Refs. [52,56]. It is important that this expression is exact. All higher order contributions in the massive case vanish as integrals of total derivatives acting on non-singular functions [31,32]. Note that the singularities are absent, because all propagators are massive. The integral in Eq. (18) can easily be calculated, see, e.g., [25]. Taking into account that d(0, m 0 / , α 0 ) = α is the renormalized charge in the on-shell scheme and omitting terms suppressed by powers of m 0 / , we obtain 4 In our notation capital letters denote Euclidean momenta.
Next, following [44], the right-hand side is expressed in terms of the renormalized mass, Then differentiating with respect to ln m gives the NSVZ relation written in terms of the mass anomalous dimension Thus, the NSVZ equation similar to Eq. (1) is indeed valid in the on-shell scheme. It relates the β-function in a given order to the mass anomalous dimension in the previous order. Note that in the on-shell scheme the mass anomalous dimension differs from the anomalous dimension of the matter superfields taken with the opposite sign. 5 Using Eq. (21) it is possible to construct the three-loop β-function in the on-shell scheme by calculating the mass anomalous dimension in the two-loop approximation. This is done in this paper for the theory regularized by higher derivatives. Methods of evaluating Feynman integrals with the help of this regularization are not described in the literature in enough detail, while there is some interest in investigating various D = 4 techniques for calculating quantum corrections (see the review [58]). That is why in Appendix A we describe in detail how the renormalization constant Z m is obtained in the two-loop approximation. The result is given by the expression In this equation the symbol O(1) denotes finite terms that do not vanish in the limit → ∞, and the constant A is defined by where R K ≡ R(K 2 / 2 ). (For the regulator R(K 2 / 2 ) = 1 + (K 2 / 2 ) n this integral vanishes, so that A = 0.) Differentiating (23) with respect to ln m and expressing the result in terms of α using (20) we obtain As expected in the on-shell scheme, any dependence on the regularization details has disappeared. After substituting the mass anomalous dimension (25) into Eq. (21) the three-loop result for the β-function takes the form Comparing it with the corresponding result in the DR-scheme (i.e., in the case of using dimensional reduction supplemented by modified minimal subtractions) [39] we see that the terms linear in N f coincide. This follows from the scheme-independence of these terms proved in [20] in all orders, which is related to the so-called conformal symmetry limit of perturbative quenched quantum electrodynamics [59].

Relations between the on-shell scheme and other NSVZ schemes
In the previous section it was demonstrated that the NSVZ relation (21) is valid in the on-shell scheme in all orders. Therefore, this scheme belongs to the class of NSVZ schemes described in Ref. [14], which also includes the all-order HD+MSL prescription and the NSVZ scheme constructed with dimensional reduction in the three-loop approximation in Refs. [39,43]. According to Ref. [14] any two NSVZ subtraction schemes can be related by a finite renormalization which is subjected to the constraint where B is a constant. First, let us find the finite renormalization relating the on-shell scheme to the HD+MSL scheme. According to the HD+MSL prescription, the calculations are to be carried out with the higher derivative regularization and only powers of ln /μ are included into renormalization constants, so that in this scheme Comparing these equations with Eqs. (20) and (23) we derive the required finite renormalization, Evidently, in this case the condition (29) is satisfied with Also it is possible to find the finite renormalization which relates the on-shell scheme to the NSVZ scheme constructed with the dimensional reduction. (For short, we will call this scheme "DR+NSVZ".) In the case of using the DR+NSVZ scheme the renormalization group functions (RGFs) can be found in [43] and have the form These expressions should be compared with Eqs. (25) and (26). With the help of the standard equations describing how RGFs transform under finite renormalizations [60] we obtain the finite renormalization after which RGFs in the on-shell scheme are converted into RGFs in the DR+NSVZ scheme, However, these equations contain an undefined constant z 1 , which reflects the arbitrariness of choosing a renormalization point in the DR+NSVZ scheme. This constant can be found by comparing the one-loop expressions for the renormalized function d −1 in the limit k → 0, so that z 1 = 0. This is analogous to the case of (nonsupersymmetric) QED in which a similar coefficient also vanishes, α −1 , see Ref. [61]. In the case μ = m the considered finite renormalization takes the form One can easily verify that the constraint (29) is also satisfied for the functions (35) with B = −N f ln(μ/m)/π .

Conclusion
We have explicitly demonstrated that the NSVZ equation in N = 1 SQED is valid in the on-shell scheme in all orders. In this case it relates the β-function to the mass anomalous dimension. The NSVZ relation appears in the on-shell scheme due to the fact that quantum corrections to the photon polarization operator in the limit of zero momentum are given by integrals of double total derivatives with the higher derivative regularization. In the massive case these total derivatives act on nonsingular expressions in all orders beyond the one-loop approximation. The remaining one-loop contribution produces the NSVZ relation between the βfunction and the mass anomalous dimension. This implies that the β-function in a given order can be found by calculating the mass anomalous dimension in the previous order. In this paper, having calculated the latter to the two-loop order, we obtained the β-function in the on-shell scheme to the three-loop order. It was also investigated how the on-shell scheme in N = 1 SQED is related to other known NSVZ schemes, namely HD+MSL and the NSVZ scheme based on dimensional reduction. Finite renormalizations relating the onshell scheme to these two schemes have been constructed. They were shown to satisfy the constraint (29) derived in [14].

Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors' comment: The paper is entirely based on analytical calculations which are described in detail in it.] Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecomm ons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. Funded by SCOAP 3 .

A The renormalization constant Z m in the two-loop order
This appendix is devoted to the calculation of the two-loop renormalization constant Z m in the on-shell scheme. In particular, we describe the technique of evaluating the D = 4 loop integrals appearing with the higher derivative regularization.

A.1 Z m as a sum of loop integrals
In the considered approximation the logarithm of the renormalization constant Z m is written as where G ≡ G − 1 and J ≡ J − 1. Using the results of Refs. [47,48], 6 after the Wick rotation it is possible to present this expression as a sum of Euclidean loop integrals ln Z m = α 0 I one-loop + α 2 0 I 1 + I 2 + I 3 + I 4 + I 5 In explicit expressions for these integrals (presented below), Euclidean momenta will be denoted by capital letters. Due to the higher derivative regularization, denominators of the integrands contain the function R K . In the simplest case it can be chosen as R K = 1 + K 2n / 2n . However, in the general case considered here it is sufficient to require that R K (0) = 1 and (due to the presence of higher powers of the momentum) R K → ∞ in the limit K → ∞. In Eq. (37) is the one-loop contribution, while the remaining integrals 6 With the higher derivative regularization the superdiagrams contributing to the function G have first been calculated in Refs. [62,63]. (39) correspond to the two-loop approximation. Note that in these integrals terms proportional to α 2 0 (P 2 + m 2 ) were omitted, because they evidently vanish due to the condition P 2 = −m 2 . Also all these integrals were expressed in terms of the renormalized mass m. Therefore, the one-loop superdiagrams give both the integral I one-loop and the integral I 1 .
(The latter one is produced by the one-loop superdiagrams containing an insertion of the one-loop mass counterterm.)

A.2 One-loop contribution
The one-loop contribution is given by the expression where the bare mass m 0 was replaced by the renormalized mass m, because their difference m 2 ≡ m 2 − m 2 0 is pro-portional to α 0 and is essential in the next order. The integral in Eq. (44) can be calculated in four-dimensional spherical coordinates using the method of Refs. [62,63]. Introducing the variable x ≡ cos θ 3 , where θ 3 is the angle between the vectors K μ and P μ , it can be rewritten in the form The contour C is presented in Fig. 1. To calculate this integral it is necessary to find the residues at the points x = ∞ and x = i K /2m. The result written as an integral over z ≡ K 2 / 2 has the form It is convenient to introduce the new variable where a ≡ 4m 2 / 2 , such that Note that z = 0 and z → ∞ correspond to η = exp(−1)a/4 and η → ∞, respectively. Therefore the integral under consideration can be rewritten as This integral diverges in the limit a → 0, when z(η) = η + O(a). However, if the function R −1 (z) is expanded in powers of a, then only the leading term will produce a divergent integral, while the other terms are given by convergent integrals, which vanish in the limit a → 0. Therefore, omitting the terms suppressed by powers of m 2 / 2 we obtain Re x Im x −1 1 iK 2m Fig. 1 The contour C in the integrals (45) and (55) Integrating by parts, it is possible to extract the divergent part of the remaining integral, where the constant A is given by the equation which is equivalent to Eq. (24). Thus, in the one-loop approximation

A.3 Two-loop contribution
To find the two-loop contribution to the renormalization constant Z m , it is necessary to calculate the integrals I 1 -I 5 in Eq. (37). The integral I 1 is convergent in the ultraviolet region, but diverges in the infrared one. That is why it is necessary to regularize it by introducing a small photon mass κ, This integral is convergent, so that it is possible to take the limit → ∞ omitting terms suppressed by powers of −1 . Therefore, the function R K in the considered expression can be replaced by 1. The resulting integral can be calculated in the four-dimensional spherical coordinates. After the substitution x = cos θ 3 it takes the form where the contour C is presented in Fig. 1. The integral over x can be found by calculating the residues at the points x = ∞ and x = i K /2m, Taking into account that m 0 = Z m m and omitting the last term in the round brackets (which gives a convergent integral proportional to κ → 0) this expression can be written as After substituting the one-loop result for Z m from Eq. (53) with the considered accuracy the integral I 1 takes the form The integral I 2 is convergent and does not contain infrared divergences. This implies that (due to the condition P 2 = −m 2 ) this integral is equal to a finite number and does not contribute to γ m in the considered approximation. Below we will omit such terms.
The integral I 3 diverges in the infrared region and should be regularized by introducing the small photon mass κ, This expression can be equivalently rewritten as The integral I 3 (corresponding to 1 in the round brackets) can be presented as a product of two integrals which have already been calculated above, The expression for I 3 (which is obtained from the second term in the round brackets in Eq. (60)) is not divergent in the infrared region, so that it is possible to set κ to 0, It is also not divergent in the ultraviolet region. Therefore, it is a finite number, which does not contribute to the two-loop mass anomalous dimension. This implies that After some transformations the expression I 4 − I one-loop 2 /2 can be rewritten as This integral is convergent in the infrared region. Therefore, it depends on /m and can be presented as = −64π 2 d d ln Following Ref. [52], this integral can be presented as After the substitution L = ρ K in the last integral, this expression can be rewritten in the form 7 This implies that in Eq. (65) f 2 = 0 and f 1 = 1/2π 2 . Therefore, omitting terms proportional to m/ , we obtain I 4 − 1 2 I one-loop 2 = 1 2π 2 ln m + a finite constant.
The remaining integral I 5 can be calculated using the equation where