Generalized Crewther relation and a novel demonstration of the scheme independence of commensurate scale relations up to all orders

In this study, we investigate in detail the generalized Crewther Relation (GCR) between the Adler function (D) and the Gross-Llewellyn Smith sum rules coefficient ( ) using the newly proposed single-scale approach of the principle of maximum conformality (PMC). The resultant GCR is scheme-independent, with the residual scale dependence due to unknown higher-order terms highly suppressed. Thus, a precise test of QCD theory without renormalization schemes and scale ambiguities can be achieved by comparing with data. Moreover, a demonstration of the scheme independence of the commensurate scale relation up to all orders is presented. Additionally, for the first time, the Pade approximation approach has been adopted for estimating the unknown -loop contributions from the known four-loop perturbative series.


I. INTRODUCTION
The Crewther relation [1,2] provides a non-trivial relation for three fundamental constants, , where S is the anomalous constant of , K is the coefficient of the Bjorken sum rules for polarized deep-inelastic electron scattering [3], and is the isovector part of the cross-sectional ratio for electron-positron annihilation into hadrons [4]. In the theory of quantum chromodynamics (QCD) [5,6], an improved Crewther relation is known as the "Generalized Crewther Relation (GCR)" [7][8][9][10][11][12][13]: or , is the non-singlet Adler function, is derived from the Bjorken sum rules for polarized deep-inelastic electron scattering, D is the Adler function, and is the coefficient of the Gross-Llewellyn Smith (GLS) sum rules [14]. The and are conformal breaking terms. For example, the -term takes the form is the usual -function, and the coefficient is free of -functions.
α s α s and the Bjorken sum rules have been computed up to -level [15][16][17][18][19] and -level [20,21], respectively. The GCR (1) between the non-singlet Adler function and the Bjorken sum rules was discussed in Refs. [22][23][24]. The GCR (2) between the Adler function and the GLS sum rules was investigated up to -level in Ref. [10]. Using the known -order corrections [25,26], we can derive a more accurate GCR (2) up to -level. It is well-known that a physical observable is independent of any choice of theoretical conventions, such as the renormalization scheme and renormalization scale. This property is called "renormalization group invariance " (RGI) [27][28][29][30][31]. For a fixed-order pQCD prediction, if the perturbative coefficient preceeding and the corresponding -value at each order are not consistent with each other, the RGI is explicitly broken [32,33]. Conventionally, the "guessed " typical momentum flow of the process is adopted as the optimal renormalization scale with the purpose of eliminating the large logs to improve pQCD convergence, minimize the contributions from higher-order loop diagrams, or achieve a theoretical prediction in agreement with the experimental data. Such an approach directly breaks the RGI and reduces the predictive power of pQCD. Therefore, it is important to employ a proper scale-setting approach to achieve a scale-invariant fixed-order prediction. In the literature, the principle of maximum conformality (PMC) [34][35][36][37] was proposed to eliminate the two artificial ambiguities. The purpose of PMC is not to find an optimal renormalization scale but to fix an effective for the process using the renormalization group equation (RGE). The PMC prediction satisfies all self-consistency conditions of the renormalization group [38]. Two multiscale approaches have been suggested to achieve the goal of PMC, which are both equivalent in terms of perturbative theory [39], with a collection of their successful applications found in Ref. [40]. For the multi-scale approach, the PMC sets the scales in an order-by-order manner; the individual scales at each order reflect the varying virtuality of the amplitudes at those orders. It has been noted that the PMC multi-scale approach has two types of residual scale dependence due to unknown perturbative terms [41]. Those residual scale dependences suffer from both -power suppression and exponential suppression, but their magnitudes may be large due to poor convergence of the perturbative series of either the PMC scale or the pQCD approximant [42]. Recently, the PMC single-scale approach [43] has been suggested to suppress the residual scale dependence by introducing an overall effective . The argument for such an effective corresponds to the overall effective momentum flow of the process, which is also independent of any choice of renormalization scale. It has been shown that by using the PMC single-scale approach and the C-scheme strong coupling constant [44], one can 5 th achieve a strict demonstration of the scheme-invariant and scale-invariant PMC prediction up to any fixed order [45]. Moreover, the resulting renormalization schemeand scale-independent conformal series is useful not only for achieving precise pQCD predictions but also for producing reliable predictions of the contributions of unknown higher-orders. Some of these applications have been investigated in Refs. [46][47][48][49][50], which are estimated by using the Padé resummation approach [51][52][53]. In this study, we adopt the PMC single-scale approach to deal with the GCR (2), and then, for the first time, we estimate the unknown -loop contributions for GCR (2). A novel demonstration of the scheme independence of the commensurate scale relation for all orders is also presented.

DER THE PMC SINGLE-SCALE APPROACH
It is helpful to define the effective charge for a physical observable [54][55][56], which incorporates the entire radiative correction into its definition. For example, the GLS sum rules indicate that the isospin singlet structure function satisfies an unsubtracted dispersion relation [14], i.e., where , and Q is the momentum transfer. All of the radiative QCD corrections can be defined as an effective charge . Moreover, the Adler function of the cross-sectional ratio for electron-positron annihilation into hadrons [4] can be written as where .
The Adler function D can be defined as the effective charge . Thus, the Adler function D and the GLS sum rules coefficient can be rewritten as The effective charges and are by definition pQCD calculable, which can be expressed in the follow- ing perturbative form: where or , respectively, are conformal coefficients with , and are nonconformal coefficients. The -pattern for each order is determined by RGE [35,37]. The coefficients up to the fourloop level under the scheme can be determined from Refs. [21,57] using the general QCD degeneracy relations [39].
After applying the PMC single-scale approach [43], all -terms are used to fix the correct -value by using the RGE, up to four-loop accuracy, and we obtain the following conformal series: where and are in perturbative series, which can be derived from the pQCD series of and . and correspond to the overall momentum flows of the effective charges and , which are independent of any choice of renormalization scale. This property confirms that the PMC is not for choosing an optimal renormalization scale but for determining the correct momentum flow of the process. Using the four-loop pQCD series of and , we determine their magnitudes up to N 2 LL accuracy by replacing the coefficients in Eqs. (8)-(11) of Ref. [43] with or , respectively. We present and for different accuracies in Fig. 1. As shown in Fig. 1, as the perturbative series of and exhibit good perturbative convergence, it is interesting to find that their magnitudes up to different accuracies, such as the leading log (LL), next-to-leading log (NLL), and next-next-leading log (N 2 LL), are very similar. Thus, one can treat the N 2 LL-accurate and as their exact values.
By applying the PMC single-scale approach, one can improve the precision of and . Fig. 2 shows the PMC predictions of up to two-loop, three-loop, and four-loop levels. Moreover, the PMC scheme-invariant and scale-invariant conformal series (n + 1) th n th provides a reliable platform for predicting the uncalculated high-order terms [46]. For the first time, we also present the previously uncalculated five-loop result in Fig. 2, which is predicted using the Padé approximation approach (PAA) [51][52][53] and the preferable [N/M] = [0/n-1]-type Padé generating function, which makes the PAA geometric series self-consistent with the PMC prediction [46]. More explicitly, the PAA has been introduced for estimating the -order coefficient for a given order perturbative series and for feasible conjectures on the likely high-order behavior of the series. For example, with the following conformal series for the present cases, we have and or . Its -type fractional generating function from the PAA is defined as where and . Then the unknown -order coefficient can be predicted using the known coefficients by expanding the frac-  13) can be expressed as We can first express all coefficients and by the known coefficients and then obtain the coefficient over and , which can be finally expressed by . The PAA predictions of and are presented in Table 1 and Table 2, respectively, in which the known coefficients ("Exact") for different orders are also presented for comparison. This suggests that with more known perturbative terms, the PAA predicted coefficients are closer to the "Exact" values. Figure 2 shows that the two-, three-, four-, and five- loop predictions have similar curves, particularly the predicted five-and four-loop curves. This is because the PMC conformal series is free of renormalon divergence [58][59][60], which inversely results in good pQCD convergence. The scheme-independent and have the same conformal coefficients, but as shown in Fig. 1, their PMC scales are not identical, . Thus, there is a small deviation from unity: Q ≃ 10 3 0.998 This deviation, though it is very small in the large Q region, e.g., for GeV, where the ratio is approximately for the five-loop prediction, is part of the intrinsic nature of QCD theory due to its conformal breaking property. In GCR (2), the scheme dependent -term has been introduced to collect all the conformal breaking terms. This leads to explicit scheme dependence of GCR (2) under the conventional scale-setting approach due to the mismatching of and its corresponding expansion coefficients. Conversely, by applying the PMC single-scale approach, we can achieve an exact scheme and scale invariant GCR at any fixed order. More explicitly, after applying the PMC single-scale approach, we obtain the following conformal series, 1 Q * where all the coefficients are exactly equal to , and the PMC scale is independent of the choice of renormalization scale, which can be fixed up to N 2 LL accuracy using the known four-loop coefficients, i.e., ln Q 2 * where The scale satisfies Eqs. (8)-(11) of Ref. [43], whose value can be determined by replacing and with and . The is a function of and [37]. One can derive Eqs.(18)- (20) by substituting those functions into Eqs. (9)-(11) of Ref. [43]. Eq. (16) is exactly scheme-independent and can be treated as a kind of commensurate scale relation (CSR). The CSR has been suggested in Ref. [61] for the purpose of ensuring the scheme-independence of the pQCD approximants among different renormalization schemes, with all original CSRs suggested in Ref. [61] at the NLO level. The PMC singlescale approach provides a method of extending the CSR to any order. A general demonstration of the scheme independence of the CSR (16) is presented in the next section. As a special case, taking the conformal limit that all -terms tend to zero, we have , and the relation (16) becomes the original Crewther relation [9]: By applying the PMC single-scale approach, one can obtain similar scheme-independent relations among different observables. The relation (16) not only provides a fundamental scheme-independent relation but also has phenomenologically useful consequences.
For example, the effective charge can be related to the effective change of the R-ratio for the annihilation cross section ( ). The measurable R-ratio can be expressed by the perturbatively calculated Adler function, i.e., where is the electric charge of the active flavor. Similarly, the perturbative series of the effective charge can be written as where the coefficients under the -scheme can be derived from Refs. [20,21,26,57]. Here, we will not consider the nonperturbative contributions, which may be important in small -region [62][63][64][65][66][67][68][69][70][71], but are negligible for comparatively large s and . After applying the PMC single-scale approach, we obtain a relation between and up to N 3 LO, i.e., with the first four coefficients where are singlet and non-singlet anomalous dimensions which are unrelated to -renormalization, and the effective PMC scale can be determined up to N 2 LL accuracy, which reads and Experimentally, the effective charge has been constrained by measuring above the thresholds for the production of the -bound state [72], i.e.
which is consistent with the PMC prediction derived directly from Eq. (11) within errors, e.g., where the first error is for and the second error is for [73]. At present, the GLS sum rules are measured at small -values [74,75], and an extrapolation of the data gives [76] a ext which agrees with our prediction within errors.

III. A DEMONSTRATION OF THE SCHEME
In this section, we present a novel demonstration of the scheme independence of CSR for all orders by relating different pQCD approximants within the effective charge method. The effective charge can be expressed as a perturbative series over another effective charge , where by choosing a suitable C, the coupling can be equivalent to defined for any scheme at the same scale, i.e., . By using the C-scheme coupling, the relation (37) becomes where the coefficients are Following the standard PMC single-scale approach, we obtain the following CSR: where the effective PMC scale is obtained by vanishing all nonconformal terms, which can be expanded as a power series over , i.e., whose first three coefficients are and Ŝ 2 = 3r AB S 0 One may observe that only the LL coefficient depends on the scheme parameter C, and all higher order coefficients ( ) are independent of C.
Moreover, the C-scheme coupling satisfies the following relation [45], By employing this equation, we can derive a solution for . As all the coefficients in Eq. (50) are independent of C at any fixed order, the magnitude of shall be exactly free of C. Together with the scheme-independent conformal coefficients and the fact that the value of C can be chosen to match any renormalization scheme, we can conclude that the CSR (44) is exactly scheme independent. This example can be extended to all orders. The PMC provides a systematic approach to determine an effective for a fixed-order pQCD approximant. By using the PMC single-scale approach, the determined effective is scale-invariant, which is independent of any choice of renormalization scale. As all nonconformal terms have been eliminated, the resultant pQCD series is scheme independent, satisfying the requirements of RGI. Furthermore, by applying the PMC single-scale approach, we obtain a scheme-independent GCR, , which provides a significant connection between the Adler function and the GLS sum rules. We have shown that their corresponding effective couplings satisfy a scheme-independent CSR, . Furthermore, we obtain a CSR that relates the effective charge to the effective charge of R-ratio, . This leads to

IV. SUMMARY
, which agrees with the extrapolated measured value within errors. A demonstration on the scheme-independence of the CSR has been presented. The scheme-and scale-independent CSRs shall provide important tests of pQCD theory.