Abstract
We present a determination of the perturbative QCD (pQCD) coupling using the V+A channel ALEPH \(\tau \)-decay data. The determination involves the double-pinched Borel–Laplace Sum Rules and Finite Energy Sum Rules. The theoretical basis is the Operator Product Expansion (OPE) of the V+A channel Adler function in which the higher order terms of the leading-twist part originate from a model based on the known structure of the leading renormalons of this quantity. The applied evaluation methods are contour-improved perturbation theory (CIPT), fixed-order perturbation theory (FOPT), and Principal Value of the Borel resummation (PV). All the methods involve truncations in the order of the coupling. In contrast to the truncated CIPT method, the truncated FOPT and PV methods account correctly for the suppression of various renormalon contributions of the Adler function in the mentioned sum rules. The extracted value of the \({\overline{\mathrm{MS}}}\) coupling is \(\alpha _s(m_{\tau }^2) = 0.3116 \pm 0.0073\) [\(\alpha _s(M_Z^2)=0.1176 \pm 0.0010\)] for the average of the FOPT and PV methods, which we regard as our main result. On the other hand, if we include in the average also the CIPT method, the resulting values are significantly higher, \(\alpha _s(m_{\tau }^2) = 0.3194 \pm 0.0167\) [\(\alpha _s(M_Z^2)=0.1186 \pm 0.0021\)].
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The physics of semihadronic \(\tau \) lepton decays is an important area of QCD, because it describes QCD at relatively low momenta \(Q \lesssim m_{\tau } \sim 1\) GeV and, at the same time, has high precision experimental results. The latter are principally from ALEPH Collaboration [1, 3,4,5], where the spectral function \(\omega (\sigma )\) was measured with high precision.Footnote 1 The extraction of the value of the running QCD coupling \(\alpha _s(Q^2)\) at such low momenta \(Q^2 \approx m^2_{\tau }\) represents a test of QCD, especially when comparing, via renormalisation group equation (RGE) evolution, with the extraction of the running coupling from experiments at higher energies \(Q^2 \gg m^2_{\tau }\) where the perturbative methods of evaluation work very well [6,7,8].
The theoretical framework for the calculation of the QCD corrections \(r_{\tau }\) to the \(\tau \) decay ratio \(R_{\tau } \propto \Gamma (\tau \rightarrow \nu _{\tau } \mathrm{hadrons})\),Footnote 2 and of other related sum rules, is well-established [11, 12, 14]. The perturbative part of the related quark current correlator is known up to \(\mathcal{O}(\alpha _s^4)\) [16]. The nonperturbative corrections to \(r_{\tau }\) are also well understood and were shown to be small [14, 17].
Nonetheless, the extraction of \(\alpha _s\) from the \(\tau \)-decay data shows a significant ambiguity which has to do with the way the (re)summations and subsequent truncations are performed in the perturbative part of the decay width ratio and of other related sum rules. These evaluations involve integration of functions containing the QCD running coupling parameter \(a(Q^2) \equiv \alpha _s(Q^2)/\pi \) along the circle in the complex \(Q^2\)-plane with the radius \(|Q^2|=\sigma _{\mathrm{max}}\) (\(\sim m^2_{\tau }\)). The integration is usually performed by Taylor-expanding the integrand around \(Q^2=\sigma _{\mathrm{max}} >0\) (fixed order [FI]) or RGE-evolving the integrand along the countour \(Q^2=\sigma _{\mathrm{max}} e^{i \phi }\) (contour improved [CIPT]) [18,19,20]. Since these two main methods involve truncations in powers of a, they give different results. The CIPT method in general gives significantly higher value of the extracted \(\alpha _s\) than the FOPT method, cf. [16, 21, 22]. In the work of [23], which is concentrated on the analysis of the QCD duality violation effects in \(\tau \)-decays [24], a similar discrepancy is obtained, although the values of \(\alpha _s\) are in general lower than those obtained from the FOPT and CIPT approaches of Refs. [16, 21, 22].
This problem of FOPT vs CIPT was addressed in the works [26, 27]. There it was argued, on the basis of the large-\(\beta _0\) (LB) approximation and on numerical evidence, that the truncated FOPT method accounts for certain renormalon cancellations in \(r_{\tau }^{(D=0)} \equiv r_{\tau }(m_{\tau }^2)^{(D=0)}\) and in related Finite Energy Sum Rules (FESRs), and that the truncated CIPT method does not account for such cancellations.Footnote 3 Such arguments necessarily involve an extension of the perturbative part of the Adler function, \(d(Q^2)_{(D=0)}\), beyond \(\sim \alpha _s^4\) so as to account for the theoretically expected renormalon structure. The resulting FOPT and CIPT (truncated) evaluations of \(r_{\tau }^{(D=0)}\) and of other related FESRs were then compared with the evaluation of these quantities when the Adler function is calculated as the inverse Borel transformation (Borel sum) and the renormalon ambiguity in the Borel sum is fixed by the Principal Value (PV) prescription.
In this work, we perform a QCD analysis of various sum rules related with the strangeless semihadronic \(\tau \)-decays, following in part the work of Ref. [22]. In order to discern the role of the renormalon singularities, we use an extension of the Adler function \(d(Q^2)_{(D=0)}\) beyond the order \(\alpha _s^4\), based on the renormalon-motivated construction of Ref. [29]. We apply, in the theoretical Operator Product Expansion (OPE) of various FESRs and of Borel–Laplace sum rules, the (truncated) FOPT and CIPT methods and the Borel sum (PV) method, and then we extract the corresponding values of \(\alpha _s\) from the ALEPH experimental data. All the sum rules are double-pinched, and the V+A channel of the ALEPH data was used; we believe that these two aspects suppress sufficiently the duality violating effects, cf. [22] (cf. also [14, 17, 30,31,32,33,34,35,36]). We further argue (beyond the LB approximation) that in the considered sum rules important renormalon contributions of the Adler function get cancelled in the truncated FOPT approach, and that such a cancellation is in general not expected in the truncated CIPT approach. The Borel sum approach, on the other hand, is expected to sum correctly in the sum rules the main renormalon contributions of the Adler functions. The extracted values of \(\alpha _s\) appear to be consistent with these considerations; namely, they turn out to be similar in the truncated FOPT approach and in the Borel sum approach, and they are consistently higher in the truncated CIPT approach. For these reasons, our main numerical results for \(\alpha _s\) are obtained from the combination of the FOPT and Borel sum results.Footnote 4
The paper is organised in the following way. In Sect. 2 we recapitulate the main elements of the QCD sum rules in the context of the semihadronic \(\tau \) decays, and their relation to the Adler function. In Sect. 3 we resume the main aspects of the renormalon-motivated extension of the Adler function in the \(\overline{\mathrm{MS}}\) scheme, as constructed in Ref. [29]. In Sect. 4 we present the specific sum rules (Sect. 4.1) to be considered in the numerical analysis, and the methods of evaluation of the Adler function extension: FOPT, CIPT and Borel sum (PV) (Sect. 4.2). In the related Appendix we show how certain renormalon contributions of the Adler function get cancelled in the various considered sum rules (FESRs and Borel–Laplace sum rule), at any loop level (i.e., beyond the LB approximation) and in any renormalisation scheme. In Sect. 5 we then present the numerical results for the extracted values of the coupling \(\alpha _s\) and of the low-dimension condesates. In Sect. 6 we make conclusions, summarise our results and make a brief comparison with the results of other works.
2 Sum rules and Adler function
The Adler function \(\mathcal{D}(Q^2)\) is a logarithmic derivative of the quark current polarisation function \(\Pi (Q^2)\)
where \(\Pi (Q^2)\) stands for the total (V+A)-channel polarisation function
These functions appear in the quark current–current correlator
where \(q^2 \equiv -Q^2\) is the square of the momentum transfer. Further, \(J_{\mu }\) are up-down quark currents, \(J_{\mu } = {{\bar{u}}} \gamma _{\mu } d\) and \({{\bar{u}}} \gamma _{\mu } \gamma _5 d\) for \(J=V, A\), respectively. In the \(V+A\) sum (2), the contribution \(\Pi _{\mathrm{V}}^{(0)}(Q^2)\) is neglected since \(\mathrm{Im} \Pi _{\mathrm{V}}^{(0)}(-\sigma + i \epsilon ) \propto (m_d-m_u)^2\). Further, in our analysis we will not include corrections \(\mathcal{O}(m^2_{u,d})\) and \(\mathcal{O}(m^4_{u,d})\) for being numerically negligible.
The polarisation function has a theoretical expression in the form of OPE [37]
where \(\mu ^2\) is the squared renormalisation scale, and \(\langle O_{2 k} \rangle _{V+A}\) are vacuum expectation values (condensates) of dimension \(D=2 k\) (\(\ge 4\)). The \(\mathcal{O}(a)\) terms in the Wilson coefficients turn out to be negligible [38].Footnote 5 Using the OPE (4), the corresponding Adler function is obtained using the relation (1)
According to the general principles of Quantum Field Theory, the polarisation function \(\Pi (Q^2; \mu ^2)\), and thus the Adler function \(\mathcal{D}(Q^2)\), are holomorphic (analytic) functions of \(Q^2\) in the complex \(Q^2\)-plane with the exception of the negative semiaxis, \(Q^2 \in {\mathbb {C}} \backslash (-\infty , -m_{\pi }^2)\). The associated QCD sum rules are obtained then in the following way. If \(g(Q^2)\) is any holomorphic function in the complex \(Q^2\)-plane, then the integration of the integrand \(g(Q^2) \Pi (Q^2)\) along the closed path \(C_1+C_2\) presented in Fig. 1 gives zero by Cauchy theorem,
which then leads to the g-function associated QCD sum rule
Here, the integration on the right-hand side is in the counter-clockwise direction in the complex \(Q^2\)-plane, and we denoted with \(\omega (\sigma )\) the spectral function of \(\Pi (Q^2)\) (along the cut)
which was measured by OPAL [39, 40] and ALEPH Collaborations [1, 3,4,5] in strangeless semihadronic \(\tau \) decays. We will use the ALEPH data as they have less experimental uncertainty; these data are presented in Fig. 2.
In the sum rule (7) the theoretical polarisation function (4) can be replaced by the Adler function (5) by application of integration by parts
where, as in Eq. (7), the integration on the right-hand side is in the counter-clockwise direction in the complex \(Q^2\)-plane, \(\mathcal{D}_{\mathrm{(th)}}(Q^2)\) is given by the OPE expansion (5), and \(G(Q^2)\) is
The Adler function \(\mathcal{D}(Q^2)\) as a (quasi)observable is a spacelike quantity, i.e., it is holomorphic in the complex \(Q^2\)-plane with the exception of the negative semiaxis. On the other hand, the quantities (9) are timelike observables, they are functions of the squared energy \({\sigma _{\mathrm{m}}}>0\) (\(=-Q^2\)). In the case of the sum rules (9), the timelike squared energy \({\sigma _{\mathrm{m}}}\) is in an intermediate range \({\sigma _{\mathrm{m}}}\sim m_{\tau }^2 \sim 1 \ \mathrm{GeV}^2\) (we have here \({\sigma _{\mathrm{m}}}=2.8 \ \mathrm{GeV}^2\)). There exist several other timelike quantities in form of integrals of \(\mathcal{D}(Q^2)\) that are phenomenologically important [41], among them: (a) the production ratio for \(e^+ e^- \rightarrow \) hadrons, R(s) [42, 43], where the squared energy \(|Q^2|=s>0\) is in principle not constrained; (b) the leading order hadronic vacuum polarisation contribution to the anomalous magnetic moment of \(\mu \) lepton, \((g_{\mu }/2-1)^{\mathrm{had(1)}}\) [45, 46], where the dominant momenta \(Q^2\) of \(\mathcal{D}(Q^2)\) are in the deep IR regime \(Q^2 \sim m^2_{\mu }\) (\(\sim 0.01 \ \mathrm{GeV}^2\)) [47, 48].
3 Adler function: renormalon-motivated extension
In the sum rule (9), the theoretical expression for the Adler function is the OPE Eq. (5), where the leading-twist (\(D=0\)) QCD part is given by the perturbation expansion (pt)
where \(a(\mu ^2) \equiv \alpha _s(\mu ^2)/\pi \) is the pQCD coupling, \(d_0=1\) in our normalisation, and we will work in the \(\overline{\mathrm{MS}}\) renormalisation scheme. Here, \(\mu ^2=\kappa Q^2\) is the renormalisation scale (\(0 < \kappa \sim 1\) is the renormalisation scale parameter), and the \(\kappa \)-dependence of the coupling is determined by the (five-loop) \(\overline{\mathrm{MS}}\) RGE [50]
where \(\beta _0 = (11 - 2 N_f/3)/4\) (\(=9/4\) for \(N_f=3\)) and \(\beta _1=(1/16)(102 - 38 N_f/3)\) are universal (i.e., scheme independent) in mass independent schemes, and \({\beta }_j\) (\(j \ge 2\)) depend on the renormalisation scheme. We will always use the five-loop \(\overline{\mathrm{MS}}\) RGE when varying the renormalisation scale, independent of the truncation index. The first four terms in the expansion (11) (i.e., the coefficients \(d_j\), \(j=0,1,2,3\)) are exactly known [16, 51, 54]. In Ref. [29], a renormalon-motivated extension of this expansion to all orders was constructed. It was based on the following considerations. The perturbation expansion (11) in powers of a can be reorganised in another expansion
where \({{{\widetilde{a}}}}_{n+1}(Q^{'2})\) are logarithmic derivatives
which can be expressed in powers of a (by using the RGE)
These relations can be inverted and have the form
The relations (15) imply linear relations between the expansion coefficients \(d_n\) and \({{\widetilde{d}}}_k\)
where the coefficients \(k_s(n+1-s)\) are (\(\kappa \)-independent) combinations of the beta-function related coefficients \(c_j \equiv \beta _j/\beta _0\) [29]. We note that \(d_0 = {{\widetilde{d}}}_0\) (\(=1\) in our normalisation).
If we formally replace in the expansion (13) the logarithmic derivatives by the corresponding powers, \({{{\widetilde{a}}}}_{n+1}(Q^{'2}) \mapsto a(Q^{'2})^{n+1}\), we obtain another associated quantity \({{{\widetilde{d}}}}(Q^2;\kappa )_{(D=0)}\)
which agrees with \(d(Q^2)_{(D=0), \mathrm{pt}}\) Eq. (11) only at the one-loop level, and is \(\kappa \)-independent only at the one-loop level [\(a^{(1 \ell )}(Q^{'2})^{n+1} = {{{\widetilde{a}}}}^{(1 \ell )}_{n+1}(Q^{'2})\)]. It turns out that the exact \(\kappa \)-dependence of the coefficients \({{{\widetilde{d}}}}_n(\kappa )\) has the one-loop-type form
As a consequence, the Borel transform \(\mathcal{B}[{{\widetilde{d}}}]\) of the power expansion (18)
has the simple one-loop-type (or: large-\(\beta _0\)-type) \(\kappa \)-dependence
This would suggest that this Borel transformation has the renormalon structure of the form of the the large-\(\beta _0\) Borel transform of the Adler function , i.e., in terms of single or multiple poles (and not noninteger-multiplicity poles)
The ansatz as made in Ref. [29] includes these leading renormalon singularities, as well as the “zero”-multiplicity \(u=2\) infrared renormalon singularity \(\sim \ln (1 - u/2)\):
where \(\kappa =1\) and the values of the parameters, for the \(\overline{\mathrm{MS}}\) scheme case, are
We refer to Ref. [29] for details on how these parameter values were obtained. We point out that the model, by construction, reproduces the first four exactly known expansion coefficients (\({{{\widetilde{d}}}}_0=1\), \({{{\widetilde{d}}}}_j\), \(j=1,2,3\)). Further, the next unknown expansion coefficient (at \(\kappa =1\), in \(\overline{\mathrm{MS}}\)) is predicted to be \(d_4=338.19\) (\({{\widetilde{d}}}_4=37.77\)); this prediction comes from consideration of this approach in the lattice-related MiniMOM schemeFootnote 6 where the number of adjustable parameters was one less (i.e., without the term \(\propto {{\widetilde{d}}}_{3,1}^{\mathrm{IR}}\)).Footnote 7
The value of the parameter \({{\widetilde{\alpha }}}\) was determined on the basis of the knowledge of the subleading Wilson coefficient \({{\hat{c}}}_1^{D=4}\) of the \(D=4\) condensate. On the other hand, the values of the other five parameters in the ansatz (23) were fixed by the knowledge of the first five perturbation coefficients \(d_j\) (\(j=0,1,\ldots ,4;\) where \(d_4=338.19\)).
The expression (23) generates the coefficients \({{\widetilde{d}}}_k\) [cf. Eq. (20)]. Then, the coefficients \(d_n\) are obtained via the relations (17). As shown in Ref. [29], the coefficients \(d_n\) obtained in this way then lead to the following Borel transform of the quantity \(d(Q^2)_{D=0}\) Eq. (11)
where the main beyond-one-loop effects are contained in the coefficients \({\widetilde{\gamma }}_p\) and \({{\overline{\gamma }}}_p\)
the coefficients \(b_j^{(D)}\) are
We recall that \(c_j \equiv \beta _j/\beta _0\). The numerical values of the coefficients \(\mathcal{C}^{(D)}_{j,k}\) and the residue ratios \(d^{\mathrm{X}}_{p,k}/{{\widetilde{d}}}^{\mathrm{X}}_{p,k}\) are given here in Table 1 (cf. Ref. [29]).
Further, the coefficient \(\alpha \) is
where \({{\hat{c}}}_1^{(4)}=(7/6)-c_1\) (\(=-11/18\) when \(N_f=3\)) is the known subleading Wilson coefficient of the \(D=4\) condensate of the V+A channel Adler function [\({{\widetilde{\alpha }}} = \alpha (d_{2,1}^{\mathrm{IR}}/{{\widetilde{d}}}_{2,1}^{\mathrm{IR}}) (d_{2,0}^{\mathrm{IR}}/{{\widetilde{d}}}_{2,0}^{\mathrm{IR}})^{-1}\)]. The result (25) was obtained from the expression (23) to a large precision, by generating first the coefficients \(d_n\) from the coefficients \({{\widetilde{d}}}_k\) via the relations (17) and going up to high n (\(n_{\mathrm{max}}=70\)). It is interesting that the form of the expression (25) is also expected by the arguments of the theory of renormalons.
We can interpret the transition from the coefficients \({{\widetilde{d}}}_k\) to the coefficients \(d_n\) [the relation (17)], or equivalently, the transition from the Borel transform Eq. (23) of the quantity \({{\widetilde{d}}}(Q^2;\kappa )_{D=0}\) to the Borel transform Eq. (25) of the quantity \(d(Q^2)_{D=0}\), as a procedure of “dressing” with the beyond-one-loop effects. Nonetheless, we point out that the coefficients \({{\widetilde{d}}}_k\) contain all the information about the quantity \(d(Q^2)_{D=0}\) (to all loop levels), because they are in one-to-one correspondence with the coefficients \(d_n\), cf. Eq. (17). This in spite of the fact that the Borel transform Eq. (23) of the quantity \({{\widetilde{d}}}(Q^2;\kappa )_{D=0}\) behaves under the variation of the renormalisation scale parameter \(\kappa \) as if it were the Borel transform of the quantity \(d(Q^2)_{D=0}\) in the one-loop approximation, cf. Eq. (21).
In Table 2 we present the values of some of the coefficients \({{\widetilde{d}}}_n\) and \(d_n\) (for \(\kappa =1\)). In the Table we include the ratios \({{\widetilde{d}}}_n/((n+1)! (-\beta _0)^n)\) and \(d_n/J(n)^{\mathrm{(X)}}\), where \(J(n)^{\mathrm{(X)}}\) (X=0, 1) describe the leading (\(\sim 1\)) or next-to-leading (up to \(\sim 1/n\)) asymptotic behaviour factor of \(d_n\) as follows from the expression containing the UV (\(u=-1\)) renormalon contribution [i.e., the contribution to \(d_n\) from the term containing \(d_{1,2}^{\mathrm{UV}}\) in Eq. (25)]
We see from the table that the two ratios \({{\widetilde{d}}}_n/((n+1)! (-\beta _0)^n)\) and \(d_n/J(n)^{(1)}\) converge to specific values at large n (approximately to \(-0.0221\) and \(-0.0257\), respectively), which confirms that the \(p=1\) UV renormalon contribution is really the dominant contribution to these coefficients at large n. The ratio involving \(d_n\) in the last column converges even faster if we included the terms \(\mathcal{O}(1/n^2)\) in the asymptotic form (i.e., \(d_n/J^{(2)}(n)\)).
We point out that the starting point for the construction of the higher order coefficients \(d_n\) (\(n \ge 4\)) of an extended Adler function in [29] (and here) was not the Borel transform of the (\(D=0\)) Adler function, \(\mathcal{B}[d](u)\), but a renormalon-motivated ansatz for the Borel transform of the auxiliary quantity \({{\widetilde{d}}}\), \(\mathcal{B}[{{\widetilde{d}}}](u)\), which has a particularly simple strucure of poles with integer multiplicity, Eq. (23). On the other hand, the works [26, 27] construct and use a renormalon-motivated ansatz for the Borel transform \(\mathcal{B}[d](u)\) (which has poles of noninteger multiplicity) in order to generate the higher order coefficients \(d_n\). The authors of [65, 67,68,69, 71] generated the higher order coefficients \(d_n\) by a combination of a renormalon-motivated ansatz for \(\mathcal{B}[d](u)\) and application of an optimal conformal mapping in the Borel plane. For a classical review on renormalons, we refer to [72], and for some recent developments on the subject of renormalons we refer to [73, 76, 78, 80].
4 Methods of evaluation of Adler function, extraction of \(\alpha _s\)
In the previous section we described the renormalon-motivated extension of the known truncated perturbation series for the Adler function \(d(Q^2)_{(D=0)}\). We will use various methods of evaluation of this function in the sum rule approach described in Sect. 2, and will use various weight functions \(g(Q^2)\) in the sum rules Eq. (6). In the analysis, we will use the ALEPH experimental data, and will extract the corresponding values of the (\(\overline{\mathrm{MS}}\)) QCD coupling \(\alpha _s(m_{\tau }^2)\).
4.1 Weight functions for sum rules
In order to suppress significantly the duality violation effects, most of the chosen weight functions \(g(Q^2)\) will have double zero (double pinch) at the Minkowskian end \(Q^2=-\sigma _{\mathrm{max}}\) (\(\equiv -{\sigma _{\mathrm{m}}}\)) where the OPE expansion is not expected to work [22] (cf. also [14, 17, 30,31,32,33,34,35,36]).
We will consider the FESRs with moments \(a^{(2,n)}\) associated with the following weight functions \(g^{(2,n)}\) (\(n=0,1,2,\ldots \)):
We recall that we assume that \(\langle O_D \rangle \) are \(Q^2\)-independent. The weight function \(G^{(2,n)}(Q^2)\) is related with \(g^{(2,n)}(Q^2)\) via the relation (10), and the theoretical expression (30d) represents the right-hand side of the sum rule (9) (minus unity) where for the entire Adler function \(\mathcal{D}_{\mathrm{(th)}}(Q^2)\) the OPE Eq. (5) was used, and \(Q^2 \equiv {\sigma _{\mathrm{m}}}\exp (i \phi )\) (\(-\pi \le \phi < +\pi \)) on the countour. The coefficient \((n+3)/(n+1)\) appearing in the weight functions was used so that the unity in the OPE expansion (5) of the Adler function gives exactly the unity in the contour integration on the right-hand side of the sum rule (9).
We will use the sum rules with the above moments for \(n=5 \pm 1\), by assuming that the contributions of the high dimension condensates in Eq. (30d) are negligible. This will allow us to extract the values of \(\alpha _s(m_{\tau }^2)\) without consideration of these condensates.
In addition to these sum rules, we will consider the sum rules with the (double-pinched) Borel–Laplace transforms \(B(M^2)\) (where M is a complex scale parameter)
where in Eq. (31d) the dimension \(D=2 k\) condensates contribute to the Borel–Laplace
In our application of these (double-pinched) Borel–Laplace sum rules, we will use only the real part of the Borel–Laplace, \(\mathrm{Re} B(M^2; {\sigma _{\mathrm{m}}})\), because in this way the \(D=4\) condensate contribution dominates over the \(D=6\) condensate contribution when \(M^2\) varies along the ray \(M^2 = |M^2| \exp (i \pi /6)\), and \(D=6\) dominates over \(D=4\) when \(M^2=|M^2| \exp (i \pi /4)\).Footnote 8 Further, while including the (small) \(D=8\) contribution, we will neglect higher dimension contributions
In general, while smaller scales \(|M^2|\) tend to minimize the duality violations they make the (higher) condensate contributions larger [22]. Further, larger values of \(|M^2|\) lead to large experimental uncertainties [\(\omega _{\mathrm{(exp)}}({\sigma })\) has larger uncertainties at large \({\sigma }\)]. We consider as a reasonable range
and we will use this range in our fits. Further, for \(\Psi \equiv \mathrm{Arg}(M^2)\) we will use the rays with \(\Psi =0, \pi /6\) and \(\pi /4\) [we recall that, along the last two rays, specific condensate contributions are suppressed in \(\mathrm{Re} B_{\mathrm{th}}(M^2; {\sigma _{\mathrm{m}}})\)].
4.2 Evaluation methods for the Adler function \(d(Q^2)_{(D=0)}\)
4.2.1 Fixed-order (FOPT)
The basis of the known fixed-order (FOPT) approach is the application of the Taylor expansion to the \(D=0\) (leading-twist) part \(d(Q^2)_{(D=0)}\) of the Adler function \(\mathcal{D}_{\mathrm{(th)}}(Q^2)\) Eq. (5) on the contour \(Q^2={\sigma _{\mathrm{m}}}\exp (i \phi )\) on the right-hand side of the sum rule (9)
When appying this Taylor expansion to the expansion (13) of \(d(Q^2)_{(D=0)}\) in logarithmic detivatives \({{{\widetilde{a}}}}_{n+1}(\kappa Q^2)\), and using the identity
which is a direct consequence of the definition (14), we obtain
where the \(\phi \)-dependent expansion coefficients \({{{\widetilde{d}}}}_n(\phi ;\kappa )\) are the following combination of the coefficients \({{{\widetilde{d}}}}_n(\kappa )\) of the expansion (13) of \(d(Q^2)_{(D=0)}\):
We note that \({{{\widetilde{d}}}}_n(\phi =0;\kappa ) = {{{\widetilde{d}}}}_n(\kappa )\). When inserting the expansion (37) in the right-hand side of the \(D=0\) part of the sum rule (9), where \(Q^2={\sigma _{\mathrm{m}}}\exp (i \phi )\) (\(-\pi \le \phi < \pi \)), we obtain the expression
where the expansion coefficients \({{{\widetilde{r}}}}_n^{(G)}(\kappa )\) are
where \({{{\widetilde{d}}}}_0(\kappa )=1\) and the coefficients \(\mathcal{K}_{n - \ell }^{(G)}({\sigma _{\mathrm{m}}})\) are the following contour integrals:
The expansion (39) represents the FOPT expansion in logarithmic derivatives \({{\widetilde{a}}}_{n+1}(\kappa Q^2)\) at \(Q^2={\sigma _{\mathrm{m}}}\), which we denoted as \((\widetilde{\mathrm{FOPT}})\). This expansion involves in practice a truncation, say at \({{{\widetilde{a}}}}_N(\kappa {\sigma _{\mathrm{m}}})\), which we will denote with the superscript \((\widetilde{\mathrm{FO}}, [N])\). This expansion can be reorganised in terms of powers \(a(\kappa {\sigma _{\mathrm{m}}})^k\) using the relations (15), and then truncating at the power \(a(\kappa {\sigma _{\mathrm{m}}})^N\); this represent the usual FOPT approach, and we will denote it with the superscript (FO), and its truncated version with \((\mathrm{FO}; [N])\)
where
in complete analogy with the relations (17). We point out that, while the approaches \((\widetilde{\mathrm{FOPT}})\) and FOPT give in principle equal results, in practice it is not so due to the truncation. Namely, both types of series are divergent due to the renormalon-dominated growth of \({{{\widetilde{r}}}}_n\) and \(r_n\) coefficients when n increases; a truncation is needed (at \({{\widetilde{a}}}_{N}\) and \(a^N\), respectively), which then gives somewhat different results.
4.2.2 Contour-improved (CIPT)
The contour-improved method is represented by the direct integration along the contour of the integrand \(d(Q^2)_{(D=0)} G(Q^2)\) on the right-hand side of the sum rule (9) where \(d(Q^2)_{(D=0)}\) has the form of the perturbation series (11) truncated at a specific power \(a(\kappa Q^2)^N\)
where \(d^{[N]}_{(D=0); \mathrm pt}\) is the truncated series
Here, the renormalisation parameter \(\kappa \)-dependence appears because of truncation.
4.2.3 Principal-value (PV)
In this approach, the Adler function is evaluated as the Principal Value (PV) of the inverse Borel transformation
where the paths \(\mathcal{C}_{\pm }\) go from \(u=0\) to \(u=+\infty \) within the upper and lower half of the complex u-plane; application of the Cauchy theorem shows that the details of these two paths are irrelevant, because the Borel transform \( \mathcal{B}[d](u; \kappa )\) has singularities only along the real axis. For example, we can choose for \(\mathcal{C}_{+}\) the path going as straight line from \(u=0\) to \(u=i \varepsilon \) (for any \(\varepsilon >0\)) and then parallel to the real axis from \(u=+i \varepsilon \) to \(+\infty + i \varepsilon \). Another example is the path from \(u=0\) along a ray \(u=|u| \exp (i \phi _0)\) (|u| from zero to \(+\infty \)) where \(\phi _0\) is a fixed angle, \(0< \phi _0 < \pi /2\). We note that in the integration (46) in the sum rules, the value of \(Q^2\) is in general complex nonreal [\(Q^2 = {\sigma _{\mathrm{m}}}\exp (i \phi )\)].
In applying the integration (46), we use for the Borel transform \(\mathcal{B}[d](u; \kappa )\) the expression (25), but now at a given general \(\kappa \)-parameter value, and truncated. In practice, this truncation requires to include a polynomial correction form
so that the full expansion coefficients \(d_n(\kappa )\) of the Adler function are restored. The leading part of the renormalon growth of the coefficients \(d_n(\kappa )\) is contained in the PV of the inverse Borel integral of the truncated singular transform \(\mathcal{B}[d](u; \kappa )\). The latter transform, at a general \(\kappa \), is obtained in the following way. The starting point is the Borel transform of the auxiliary quantity \({{{\widetilde{d}}}}(Q^2; \kappa )_{(D=0)}\), cf. Eqs. (23) and (21), which can be written for the general case of the renormalisation scale parameter \(\kappa \) as
where
These relations are obtained by using the \(\kappa \)-dependence Eq. (21) and the expression Eq. (23), performing the corresponding expansions of \(\exp (u (\ln \kappa + {{\widetilde{K}}}))\) around \(u=2, 3, -1\), and ignoring the terms \(\sim (2 -u)^2 \ln (1 - u/2)\), \((2-u)^0\), \((3-u)^0\), \((1+u)^0\). This truncation means that we include in the expression (48) only the singular contributions. We note that for \({{\widetilde{\kappa }}}=1\) [\(\kappa =\exp (-{{\widetilde{K}}})\)] the values of the residues \({{\widetilde{d}}}_{p,k}^X({{\widetilde{\kappa }}})\) reduce to the values \({{\widetilde{d}}}_{p,k}^X\) given in Eq. (24).
Then, according to the data of Table 1, the corresponding truncated Borel transform of the Adler function is [in analogy with Eq. (25)]
The truncation here consists of not including the terms of higher powers of \((p-u)\) [\((2-u)^{-{\widetilde{\gamma }}_2+3}\), \((3-u)^{-{\widetilde{\gamma }}_3+2}\) and \((1+u)^{-{{\overline{\gamma }}}_1+2}\) and higher]. It is this (singular) Borel transform contribution that we use in the evaluation of the PV of the inverse Borel integration, Eq. (46). We recall that the power indices \({\widetilde{\gamma }}_p\) and \({{\overline{\gamma }}}_p\) (\(p=1,2,\ldots \)) are given in Eq. (26). The values of the parameters \(\mathcal{C}_{j,k}^{(D)}\) and the ratios \(d_{p,k}^X/{{{\widetilde{d}}}}_{p,k}^X\) are given in Table 1 (cf. also Table II in Ref. [29]); the latter ratios are independent of the renormalisation scale parameter \(\kappa \) (thus independent of \({{\widetilde{\kappa }}}\)). We will use the central values given in Table 1. For example, \(d_{2,1}^{\mathrm{IR}}({{\widetilde{\kappa }}})=1.7995 \; {{\widetilde{d}}}_{2,1}^{\mathrm{IR}}({{\widetilde{\kappa }}})\), etc.
The expression for the evaluation of the \(D=0\) part of the Adler function in the described PV-approach thus acquires the form
where the \(\mathcal{B}[d](u; \kappa )_{\mathrm{sing}}\) is given in Eq. (50) and the correction polynomial \(\delta d(Q^2; \kappa )_{(D=0)}^{[N]}\) is given in Eq. (47). In practice, it turns out that the correction polynomial values are large as are also the PV integral values in the expression (51). However, the two terms for the \((D=0)\) Adler function give to the sum rules in general contributions with opposite sign, and the sum of the two terms there is smaller (by about two orders of magnitude) then each term. We point out that the correction polynomial expression (47) appears in the expression (51) because in the sums in the singular part of the Borel transform, Eq. (50), truncations were made. To understand this more clearly, the Borel transform \(\mathcal{B}[d](u;\kappa )\) Eq. (50), but in its nontruncated form, implies that the coefficients \(d_n(\kappa )\) have the form
The truncation consists of neglecting the indicated relative corrections \(\mathcal{O}(1/n^k)\) at the end of the brackets in Eq. (52), which then gives us the “singular” parts \(d_n(\kappa ) \mapsto (d_n(\kappa ))_{\mathrm{sing}}\), and the correction coefficients \(\delta d(\kappa )_n = d_n(\kappa )- (d_n(\kappa ))_{\mathrm{sing}}\) appearing in the correction polynomial Eq. (47). It turns out that the series in the brackets of Eq. (52), in inverse powers of n, are relatively slowly converging for \(n < 10\)-20, because of the relativey large values of the numerators there. Therefore, the truncation effect and the correction coefficients \(\delta d(\kappa )_n\) are relatively large for such n. Specifically, when \(\kappa =1\), we have \(|{\delta d}_n(\kappa )/d_n(\kappa )| \sim 10^1\) for \(0 \le n \le 3\), and \(|{\delta d}_n(\kappa )/d_n(\kappa )| \lesssim 1\) when \(4 \le n \le 10\). However, for very large values of n (\(n > 15\)), the coefficients \({\delta d}_n(\kappa )\) in the correction polynomial (47) become relatively negligible: \({\delta d}_n(\kappa )/d_n(\kappa ) \rightarrow 0\) when \(n \rightarrow \infty \).Footnote 9 Specifically, when \(\kappa =1\), we have \(|{\delta d}_n(\kappa )/d_n(\kappa )| < 0.05\) when \(n>15\), and \(|{\delta d}_n(\kappa )/d_n(\kappa )| < 0.025\) for \(n>25\). Despite the fact that the first few terms in the polynomial (47) give large contributions, the sum (47) [and thus the sum Eq. (51)] is better behaved when the truncation index N there is \(N \ge 5\), as it does not have the leading parts of the renormalon contributions in its coefficients \({\delta d}_n\).
5 Results
5.1 Double-pinched finite energy sum rules with high index
When we apply FESR with the moments \(a^{(2,n)}({\sigma _{\mathrm{m}}})\), cf. Eq. (30), we can see from Eq. (30d) that the \(D>0\) part of the moment \(a^{(2,n)}({\sigma _{\mathrm{m}}})\) depends only on two condensate values, \(\langle O_{2 n+4} \rangle \) and \(\langle O_{2 n+6} \rangle \), which are of high dimension when n increases. We will assume that these high-dimension condensates give a negligible contribution (cf. also Ref. [22]) when n is large. When equating the theoretical and the ALEPH experimental values of these moments, we can extract the QCD coupling value. It turns out that, when n increases, this value appears to stabilise reasonably at \(n \approx 5\) (however, see the discussion at the end of this section). This is true for each of the previously described evaluation methods (FOPT, CIPT, PV). As a result, we extract the following values:
These values were obtained with the truncation orders \(N_t=9, 10, 10\) for FOPT, CIPT, PV. The truncation order in the PV approach refers to the maximum power \(a^{N_t}\) in the correction polynomial (47). The truncation order in CIPT and PV approaches was chosen in the following way: it is such order that, when we increase the truncation index from \(N_t-1\) to \(N_t\), the variation of the theoretical moment \(a^{(2,5)}_{\mathrm{th}}\) is minimal.Footnote 10 On the other hand, the choice of the truncation order \(N_t=9\) in the FOPT approach was chosen by looking at the stability of separate renormalon contributions (see below and Fig. 3). In the results (53) we separated the various uncertainties according to their sources. The symbol (\(\kappa \)) indicates the variation when the renormalisation scale parameter \(\kappa \) (\(=\mu ^2/Q^2\)) is varied around \(\kappa =1\), up to \(\kappa _{\mathrm{max}}=2\) and down to \(\kappa _{\mathrm{min}}=0.5\). The symbol (\(N_t\)) indicates the variation when the truncation number is varied around its central value \(N_t\) to \(N_t \pm 2\); (n) indicates the variation when we extract \(\alpha _s\) from \(a^{(2,n)}\) with \(n=5 \pm 3\) (variation of \(\alpha _s\) when n varies is not weak, cf. Table 3, therefore we take \(\delta n = \pm 3\)). On the other hand, the symbol (\(d_4\)) in the results (53) indicates the uncertainty due to the \(d_4\) coefficient, where we vary the coefficient \(d_4\) around its central value (as predicted by the considered renormalon-motivated extension) \(d_4=338.19\), where we chose this variation to be \(d_4=338.19 \pm 338.19\); the resulting variation of this type is obtained by using \(N_t=5\), i.e., when the last term in the truncation includes \(d_4\) and keeping all the other parameters of the model unchanged.Footnote 11 Finally, the symbol (amb) in Eq. (53e) represents an estimate of uncertainty due to the Borel integration ambiguity for the Adler function.Footnote 12
We mentioned earlier, in the text after Eq. (24), how the value \(d_4=338.19\) was obtained. We recall that the six parameters (24) were then determined by requiring that the expression \(\mathcal{B}[{{\widetilde{d}}}](u)\) Eq. (23) leads to the known values of the five \(d_j\) coefficients (\(j=0,\ldots ,4\)) and to the correct value of the subleading Wilson coefficient \({{\hat{c}}}_1^{D=4}\). When the coefficient \(d_4\) is varied as \(d_4 = 338.19 \pm 338.19\), the uncertainties of the extracted values of \(\alpha _s(m^2_{\tau })\) in Eq. (53) [at the symbol ’(\(d_4\))’ there] would then be obtained by using the values \(d_4=0\) and \(d_4= 2 \times 338.19\) as input values for the determination the six parameters (24) of the expression \(\mathcal{B}[{{\widetilde{d}}}](u)\), and then repeating the entire analysis of extraction of the values of \(\alpha _s(m^2_{\tau })\) in these two new cases of the renormalon-motivated model, again with \(N_t=9, 10, 10\) for the FOPT, CIPT and PV approaches. However, this requires a lot of work, for each case of \(d_4\) new values of parameters (24) and possibly of those of Table 1 would be extracted. Therefore, we decided to estimate such uncertainties of \(\alpha _s(m^2_{\tau })\) from the \(d_4\)-variation in the simpler way as described in the previous paragraph. This means that we kept the (exactly) known coefficients \(d_j\) (\(j=0,\ldots ,3\)) unchanged and took (artificially) \(N_t=5\); in PV approach the values of the parameters of the renormalon model, Eq. (24) and Table 1, were kept (artificially) unchanged, and in the correction polynomial (47) we took (artificially) \(N_t=5\) and the coefficient \(\delta d_4 \equiv d_4 - (d_4)_{\mathrm{sing}}\) was varied via the variation of \(d_4\) (i.e., by \(\pm 338.19\)).
In Fig. 3a–d we present the various contributions to the moment \(a^{(2,5)}({\sigma _{\mathrm{m}}})\) in the FOPT approach, for a fixed value of \(\alpha _s(m_{\tau }^2)\), as a function of the truncation index \(N_t\): in Fig. 3a–c the contributions of the \(u=2\) IR (IR2) renormalon part, \(u=3\) IR (IR3) renormalon part, and \(u=-1\) UV (UV1) renormalon part of the Adler function, respectively.Footnote 13 In Fig. 3d we finally represent the entire \(a^{(2,5)}({\sigma _{\mathrm{m}}})\) which is the sum of these three contributions. While in the latter Figure one might consider \(N_t=6\) as the first possible case of relative stability, Fig. 3a, b show that around this index (\(N_t=6 \pm 1\)) we have partial cancellation of the strong instabilities from the \(u=2\) and \(u=3\) IR renormalons. On the other hand, \(N_t= 9\) is approximately the index where both of these contributions give stationary points (minimum and maximum, respectively). This is the reason why in FOPT approach we chose \(N_t=9\). The \(u=-1\) UV contribution is suppressed in \(a^{(2,5)}({\sigma _{\mathrm{m}}})\), as seen in Fig. 3c, and this behaviour is expected on theoretical grounds as explained in the “Appendix 1”.
Instead of the FOPT method Eq. (42), we could apply the tilde-variant \(({\widetilde{\mathrm{FOPT}}})\) method Eq. (39). The results are similar to those of the usual FOPT method, Eqs. (53a)–(53b): \(\alpha _s(m_{\tau }^2)^{({\widetilde{\mathrm{FO}}})} = 0.314^{+0.011}_{-0.031}\), now with \(N_t=6\) the optimal truncation index (the \(u=2\) and \(u=3\) IR contributions have local extremes at \(N_t=6\), minimum and maximum, respectively; the \(u=-1\) UV renormalon contribution is negligible). The uncertainties are significantly larger, though, due to the larger uncertainties of the type \((\kappa )\) and \((d_4)\).Footnote 14 This has to do with the fact that for \(Q^2 \sim {\sigma _{\mathrm{m}}}\) (\(\sim 1 \ \mathrm{GeV}^2\)) the ratio \({{\widetilde{a}}}_n(Q^2)/a(Q^2)^n\) [\(=1 + \mathcal{O}(a)\)] becomes largeFootnote 15 for \(n \ge 4\), and thus the series of terms \({{\widetilde{d}}}_{n} {{\widetilde{a}}}_{n+1}\) behaves in pQCD at such energies considerably worse than the power series of terms \(d_n a^{n+1}\). For this reason, we will use the \({\widetilde{\mathrm{FOPT}}}\) method in this work only for illustrative and comparative purposes. In Fig. 4a–d we present the result of the \({\widetilde{\mathrm{FOPT}}}\) approach, in analogy with the previous Fig. 3a–d which were for the FOPT approach. We can see that the \({\widetilde{\mathrm{FOPT}}}\) approach gives the results which vary as a function of the truncation index considerably more strongly than the FOPT approach, although the extracted central value of \(\alpha _s\) is almost the same.
An important question that arises in this part of the work is whether the described extraction of the numerical values of \(\alpha _s\) from specific moments \(a^{(2,n)}({\sigma _{\mathrm{m}}})\) with high n (such as \(n=5 \pm 1\)), under the assumption that the corresponding high-dimension condensate contributions are negligible [cf. Eq. (30d)], is a realistic approach. For this reason, in Table 3 we present the values of \(\alpha _s(m_{\tau }^2)\) extracted from moments \(a^{(2,n)}({\sigma _{\mathrm{m}}})\) (with the condensate contributions neglected) for a wide range of n, in the FOPT, CIPT and PV approaches, with the corresponding truncation indices \(N_t=9, 10, 10\).
Only the experimental uncertainties are included in the Table. We can see in the Table that the extracted values of \(\alpha _s\) continue to grow when n increases beyond \(n=5\). In the last line of the Table we present the values of \(\alpha _s(m_{\tau }^2)\) extracted in these approaches from the moment \(a^{(0,0)}({\sigma _{\mathrm{m}}})\), i.e., the moment which has the weight function a simple constant \(g^{(0,0)}(Q^2)=1/{\sigma _{\mathrm{m}}}\)
This moment has no condensate contributions. In the Table we can see that the values of \(\alpha _s(m_{\tau }^2)\) extracted from \(a^{(2,n)}({\sigma _{\mathrm{m}}})\) at very high n (\(> 20\)) appear to increase toward the values extracted from the moment \(a^{(0,0)}({\sigma _{\mathrm{m}}})\). This can be understood in the following way. If we denote \(x \equiv q^2/{\sigma _{\mathrm{m}}}= - Q^2/{\sigma _{\mathrm{m}}}\), the weight function \(g^{(2,n)}\) of the moment \(a^{(2,n)}\), Eq. (30a), in the limit \(n \rightarrow \infty \) and for \(|x| <1\) converges to the constant \(1/{\sigma _{\mathrm{m}}}= g^{(0,0)}\)
As we see, the double-pinch factor \((1-x)^2\) in the weight functions \(g^{(2,n)}\), which was there in order to suppress the duality violation effects, tends to disappear in the large n limit. This, together with the results in Table 3, indicates that the extracted values Eq. (53) at \(n=5\) should not be regarded as reliable, and that the results at even larger values of n are not reliable because we lose the suppression of the (unaccounted for) quark-hadron duality violation effects there. Nonetheless, the results (53) are illustrative and useful for comparison of the three applied methods (FOPT, CIPT, PV), and will represent an important element for our conclusions about the reliability of these three methods.
5.2 Double-pinched Borel–Laplace sum rules
In this section we fit of the values of \(\alpha _s\) and of the first few condensates to the double-pinched Borel–Laplace sum rules (for various truncation indices \(N_t\)), using again the ALEPH data. The truncation index \(N_t\) of the applied evaluations is then fixed by considering the relative stability of the resulting first two double-pinched FESRs \(a^{(2,0)}({\sigma _{\mathrm{m}}})\) and \(a^{(2,1)}({\sigma _{\mathrm{m}}})\) under the variation of \(N_t\).
The (double-pinched) Borel–Laplace sum rules to the ALEPH data, as described in Sect. 4.1, cf. Eqs. (31)–(33), take the form
where in the theoretical part we included, in addition to the \(D=0\) contribution, also the \(D=4,6,8\) contributions, cf. Eq. (33). One of the advantages of using these sum rules, in comparison to the (high-index) FESRs of the previous Sect. 5.1, is that we have now an additional continuous complex parameter \(M^2\). As argued in Sect. 4.1, the argument \(\mathrm{Arg}(M^2)=\Psi \) of these parameters [\(M^2=|M^2| \exp (i \Psi )\)] is preferrably in the range \(0 \le \Psi < \pi /2\), and we use specifically \(\Psi = 0, \pi /6, \pi /4\), and \(|M^2|\) in the range \([0.9, 1.5] \ \mathrm{GeV}^2\) [cf. Eq. (34)]. In practice, we cannot ensure the equality (56) for a continuous set of values of \(M^2\). Therefore, we decided to minimise the following sum of the squares of deviations between the theoretical and experimental values:
where \(M_{\alpha }^2\) is a specific sufficiently dense set of points along the rays with \(\Psi =0, \pi /6, \pi /4\) and \(0.9 \ \mathrm{GeV}^2 \le |M|^2 \le 1.5 \ \mathrm{GeV}^2\). In practice, we chose 11 equidistant points along each of the three rays, i.e., the sum (57) contains 33 terms.Footnote 16 Further, \(\delta _B(M^2_{\alpha })\) is the experimental standard deviation of \(B_{\mathrm{exp}}(M^2_{\alpha };{\sigma _{\mathrm{m}}})\).Footnote 17
The theoretical expression \(\mathrm{Re} B_{\mathrm{th}}(M^2_{\alpha };{\sigma _{\mathrm{m}}})\) now depends on four different parameters: \(\alpha _s\) and \(\langle O_D \rangle \) (\(D=4,6,8\)). The minimisation is performed in the global sense, i.e., simultaneously with respect to all these four parameters. It turns out that in many evaluation cases, the achieved minimum is very small, \(\chi ^2 \lesssim 10^{-3}\), i.e., the fits are good. The extracted values for \(\alpha _s\) are
The various uncertainties are of the same type as those explained in the previous Sect. 5.1, Eq. (53). The truncation numbers \(N_t\) were chosen in a somewhat similar way as in Sect. 5.1. Namely, we consider the moments \(a^{(2,0)}({\sigma _{\mathrm{m}}})\) and \(a^{(2,1)}({\sigma _{\mathrm{m}}})\) as functions of \(N_t\), using in these moments, at each \(N_t\), the corresponding \(\alpha _s\) and \(\langle O_D \rangle \) values obtained from the mentioned global fits of Borel–Laplace sum rules with the same \(N_t\). The optimal truncation index \(N_t\) is then determined to be such at which the best stability of these moments is achieved (cf. also the discussion of Figs. 6, 7, 8 and 9 later on). This time the truncation numbers turn out to be \(N_t=8, 5, 6\) for FOPT, CIPT, PV, respectively; and the variation of \(N_t\) around these values we take in general as \(N_t \rightarrow N_t \pm 2\).Footnote 18
The various uncertainties are obtained in the same way as in the previous section, with the exception of the experimental uncertainty which can be regarded here only as an estimate. Namely, for various values of \(M_{\alpha }^2\), the quantities \(\mathrm{Re} B_{\mathrm{exp}}(M_{\alpha }^2;{\sigma _{\mathrm{m}}})\) are correlated with each other in a complicated manner, i.e., their covariance matrix is complicated and its inversion becomes numerically unstable when the set of the \(M^2_{\alpha }\) values increases.Footnote 19 This is also the reason why for the minimisation we used the simple sum of squares Eq. (57) and not a sum involving the inverse of the covariance matrix of the Borel–Laplace sum rules. Therefore, for the estimate of the experimental uncertainties, we proceeded in the following way. We evaluated the sum of squares of the type of Eq. (57), for a small number of points \(M^2_{\alpha }\) (two points along each ray, i.e., the initial and final; the sum has thus six terms), and varied each of the quantities \(\alpha _s\) and \(\langle O_D \rangle \) separately around the value of the minimum of \(\chi ^2\), until this value of \(\chi ^2\) increased by unity. For example, \(\chi ^2(\langle O_4 \rangle \pm \delta \langle O_4 \rangle _{\mathrm{exp}}) = \chi ^2_{\mathrm{min}} +1\) (\(\approx 1\)). The number of terms (six) in these sums of squares was taken so low in order to not subestimate the experimental uncertainties. Nonetheless, as we can see, the estimates of the experimental uncertainties obtained in this way are still significantly lower than the various theoretical uncertainties.
In Table 4 we present the results for \(\alpha _s\) and the condensates.Footnote 20 The final uncertainties in the condensate values are obtained in the same way as for \(\alpha _s(m_{\tau }^2)\), i.e., by combining various theoretical uncertainties and the experimental uncertainty.
In Fig. 5a, b, we present the quantities \(\mathrm{Re} B(M^2;{\sigma _{\mathrm{m}}})\) along the rays \(M^2 = |M^2|\) and \(M^2= |M^2| \exp (i \pi /6)\). The grey experimental band represents the values \(\mathrm{Re} B_{\mathrm{exp}}(M^2;{\sigma _{\mathrm{m}}}) \pm \delta _B(M^2)\) and is rather narrow.
The FOPT (\(N_t=8\)) theoretical prediction (global fit) is the red dashed line, which is virtually indistinguishable from the central experimental line. The results for the ray \(M^2= |M^2| \exp (i \pi /4)\) are similar.
In Figs. 6 and 7 we present the moments \(a^{(2,0)}\) and \(a^{(2,1)}\) [\(=r_{\tau }({\sigma _{\mathrm{m}}})^{(D=0)}\)] as a function of the truncation index \(N_t\), in the CIPT and PV approaches. At each order \(N_t\) we employed the corresponding central values of the parameters \(\alpha _s\) and \(\langle O_D \rangle _{V+A}\) (\(D=4,6,8\)) obtained by the global approach (fit by the Borel–Laplace at \(N_t\)). E.g., for \(N_t=5\) the corresponding CIPT central values are those in Table 4.Footnote 21
In the figures we included, for comparison, the values of these moments when the contributions of the condensates are set equal to zero (but \(\alpha _s\) values are those used in the full moments). Further, the experimental band (based on ALEPH data) is included. We can see that the full moments (i.e., those with the condensates included) are rather stable under the variation of \(N_t\) (especially at \(N_t=4\)-7) and are consistent with the experimental values. In Figs. 6b and 7b we can see that the relatively best stability of these results under the variation of \(N_t\) is at \(N_t \approx 5\) for CIPT and \(N_t \approx 6\) for PV. On the other hand, the results without the condensate contributions are unstable under the variation of \(N_t\), and in general deviate significantly from the experimental band. We point out that the values of \(\alpha _s\) and of the condensate values \(\langle O_D \rangle _{V+A}\) (\(D=4,6,8\)) were obtained from a global anaylsis involving fits of the theoretical Borel–Laplace quantities \(\mathrm{Re} B(M^2; {\sigma _{\mathrm{m}}})\) to the corresponding experimental bands, i.e., quantities with a significantly different structure than those of the FESR moments \(a^{(2,n)}({\sigma _{\mathrm{m}}})\).
The behaviour of the moments \(a^{(2,0)}({\sigma _{\mathrm{m}}})\) and \(a^{(2,1)}({\sigma _{\mathrm{m}}})\) in the case of the FOPT methods shows qualitatively similar behaviour as in the case of the CIPT and PV methods presented in Figs. 6 and 7. Again, as in the previous Sect. 5.1, we can apply here, instead of the FOPT approach Eq. (42), the tilde-variant \(({\widetilde{\mathrm{FOPT}}})\) Eq. (39). The results turn out to be very similar to those of the FOPT approach Eqs. (58a)–(58b): \(\alpha _s(m_{\tau }^2)^{({\widetilde{\mathrm{FO}}})} = 0.307^{+0.024}_{-0.021}\), and now \(N_t=6\) is the optimal truncation index (also \(N_t=5,7\) appear to be acceptable). Again, as in Sect. 5.1, the uncertainties are significantly larger than in the FOPT method, principally because of the larger uncertainty of the type \((d_4)\), cf. footnote 14. There, we will use the \(({\widetilde{\mathrm{FOPT}}})\) results only for illustrative and comparative purposes.
The results for the moments \(a^{(2,0)}\) and \(a^{(2,1)}\) as a function of the truncation index \(N_t\), in the FOPT and \({\widetilde{\mathrm{FOPT}}}\) approaches, are presented in Figs. 8 and 9, i.e., the results analogous to those of Figs. 6 and 7.
Figures 8(b) and 9(b) indicate that the stability is achieved at \(N_t \approx 8\) for FOPT and \(N_t \approx 6\) for \({\widetilde{\mathrm{FOPT}}}\).
Concerning the (local) stability of the results for the momenta \(a^{(2,0)}({\sigma _{\mathrm{m}}})\) and \(a^{(2,1)}({\sigma _{\mathrm{m}}})\) under the variation of the truncation index \(N_t\), one question that appears is whether we get such a stability also when the values of the fit parameters (\(\alpha _s\) and \(\langle O_D \rangle _{V+A}\)) are not fitted at each \(N_t\) but are kept fixed. For this, it is sufficient to consider the \(D=0\) contributions \(a^{(2,0)}({\sigma _{\mathrm{m}}})_{(D=0)}\) and \(a^{(2,1)}({\sigma _{\mathrm{m}}})_{(D=0)}\) as a function of \(N_t\) at a fixed value of \(\alpha _s\). In Figs. 10, 11 we present these results, for the corresponding fixed central value of \(\alpha _s(m^2_{\tau })\) which is chosen as the central value of each corresponding method - cf. Table 4; and \(\alpha _s(m^2_{\tau })=0.3074\) for \({\widetilde{\mathrm{FOPT}}}\). We can see that these contributions in general show no local stability under the variation of \(N_t\), although Fig. 10(b) indicates that \(N_t \approx 6, 7\) might be a reasonable value for the CI and PV method, respectively.
We also notice that Figs. 6a, 7a, 8a and 9a show that the condensate contributions (corrections) are numerically significant in \(a^{(2,0)}({\sigma _{\mathrm{m}}})\) and \(a^{(2,1)}({\sigma _{\mathrm{m}}})\), which may cast doubt on the (illustrative) analysis in Sect. 5.1 where the central values of \(\alpha _s(m^2_{\tau })\) were extracted from \(a^{(2,5)}({\sigma _{\mathrm{m}}})\) in Eq. (53) when neglecting the condensate corrections. Nonetheless, closer inspection of Figs. 6a, 7a, 8a and 9a reveals that the consensate corrections are in general significantly smaller for \(a^{(2,1)}({\sigma _{\mathrm{m}}})\) than for \(a^{(2,0)}({\sigma _{\mathrm{m}}})\) (the only partial exception being the PV approach). This indicates that high dimension condensates probably do not contribute significantly [cf. Eq. (30d)], and that consequently \(a^{(2,5)}({\sigma _{\mathrm{m}}})\) momentum sum rule has only small corrections from condensates (of dimension \(D=14, 16\)).
We point out that the Borel–Laplace QCD sum rules were first introduced in [37], and later applied in the literature, e.g. in Refs. [82, 83]; these Borel–Laplace sum rules had no pinch factor \((1+Q^2/{\sigma _{\mathrm{m}}})^n\). Part of the analysis in the work of Ref. [22] uses single-pinched Borel–Laplace sum rules, for \(M^2 >0\); the condensate contributions are not included (but they are included in FESRs), and the extraction of \(\alpha _s\) with the Borel–Laplace there is always for a specific chosen value of \(M^2>0\) at a time.
Concerning the described global fit with Borel–Laplace sum rules, the following question may be raised. The IR renormalon structure of the used extended Adler function includes only the IR renormalons at \(u=2\) and \(u=3\), but not \(u=4\), cf. Eqs. (23) and (25). This would at first suggest that only the first two condensates, \(\langle O_D \rangle _{\mathrm{V+A}}\) with \(D=4\) and \(D=6\), should be used in the Adler function to counter the corresponding renormalon ambiguities. But we used the first three condensates (\(D=4,6,8\)) in the Adler function for our global fit, i.e., one more. The main reason is that the use of only \(D=4\) and 6 condensates is not enough because of the simplifying assumptions that we made for the OPE structure Eq. (5). Namely, we assumed in Eq. (5) that the condensates are \(Q^2\)-independent.Footnote 22 However, for the condensate term with \(D=6\) (and those with \(D \ge 8\)) this is not correct, as indicated by the structure of the Borel transform of the Adler function in the LB approximation [72, 85, 86], \(\mathcal{B}[d](u)^{\mathrm{(LB)}}\), where the IR poles at \(u \ge 3\) are not single, but double poles. This is reflected also by the double pole at \(u=3\) in the Borel \(\mathcal{B}[{{\widetilde{d}}}](u)\) in Eq. (23), and by the corresponding fact that in \(\mathcal{B}[d](u)\) in Eq. (25) the most singular pole structure at \(u=3\) is \(\sim 1/(3 - u)^{{\widetilde{\gamma }}_3+1}\) [and not \(\sim 1/(3-u)^{{\widetilde{\gamma }}_3}\)]. In order to counter the renormalon ambiguity originating from such a singularity, the corresponding \(D=6\) operator should have nonzero one-loop anomalous dimension coefficient, \(-\gamma ^{(1)}_{O_6}/\beta _0=-1\) (cf. [29, 72, 87]), i.e., \(\langle O_6(Q^2) \rangle = \langle {{\bar{O}}}^{(2)}_6 \rangle /a(Q^2)\) where \(\langle {{\bar{O}}}^{(2)}_6 \rangle \) is \(Q^2\)-independent. The \(D=6\) condensate contributions to the Adler function then have the form
which is different from the \(D=6\) (\(k=3\)) form in Eq. (5). Here, \(\langle {{\bar{O}}}^{(2)}_6 \rangle \) and \(\langle {{\bar{O}}}^{(1)}_6 \rangle \) are \(Q^2\)-independent. The first term and the second term then counter the renormalon ambiguity originating from the terms \({{\widetilde{d}}}^{\mathrm{IR}}_{3,2}/(3 - u)^2\) and \({{\widetilde{d}}}^{\mathrm{IR}}_{3,1}/(3-u)\) in \(\mathcal{B}[{{\widetilde{d}}}](u)\) of Eq. (23), respectively [i.e., from the terms \(\sim d^{\mathrm{IR}}_{3,2}/(3 - u)^{{\widetilde{\gamma }}_3+1}\) and \(\sim d^{\mathrm{IR}}_{3,1}/(3 - u)^{{\widetilde{\gamma }}_3}\) in the Borel transform of the Adler function, Eq. (25)]. There are indications that the effects of the first term on the right-hand side of Eq. (59) are reasonably well approximated in the sum rules by two condensate terms (\(k=3\) and \(k=4\)) of the simple OPE type Eq. (5), i.e., by the \(Q^2\)-independent condensate contributions with \(D=6\) and \(D=8\). This is what we used in our global fit.
On the other hand, if we use in the global fits with Borel–Laplace sum rules only two condensate terms, \(D=4\) and \(D=6\) (without \(D=8\)) with \(Q^2\)-independent condensates, then it turns out that the (two) condensates do not stabilise the resulting moment \(a^{(2,1)}({\sigma _{\mathrm{m}}})\) as a function of the truncation index \(N_t\). In fact, they make the variation of \(a^{(2,1)}({\sigma _{\mathrm{m}}})\) with \(N_t\) even worse than for the pure \(D=0\) parts \(a^{(2,1)}({\sigma _{\mathrm{m}}})_{(D=0)}\), in stark contrast with the results in Figs. 7 and 9.Footnote 23 We recall that \(a^{(2,1)}({\sigma _{\mathrm{m}}})\) depends on \(D=6\) and \(D=8\) condensates (when these condensates are considered \(Q^2\)-independent), and our Adler extension formally does not require \(D=8\) condensate (which would counter the \(u=4\) IR renormalon pole ambiguity effects). Therefore, the numerical results of our global fits suggest that the \(D=8\) condensate (\(Q^2\)-independent) in our analysis simulates the role of the effects of the running of the \(1/a(Q^2)\) factor in the first term on the right-hand side of Eq. (59), in the Borel–Laplace sum rules and in \(a^{(2,1)}({\sigma _{\mathrm{m}}})\). A global fit analysis using the more explicit form (59) remains outstanding, but we expect it to give results similar to those presented here.
These questions notwithstanding, our global fit analysis with OPE with condensates assumed to be \(Q^2\)-independent, Eqs. (4)–(5), can be repeated by including one more condensate term, of dimension \(D (\equiv 2 k)=10\). This then gives us the results presented in Table 5.
The values of index \(N_t\) were kept unchanged in comparison to Table 4. If we determined \(N_t\), as in the previous case of \(\langle O_{10} \rangle _{V+A}=0\), as the value at which the resulting momenta \(a^{(2,0})({\sigma _{\mathrm{m}}})\) and \(a^{(2,1)}({\sigma _{\mathrm{m}}})\) are least \(N_t\)-sensitive, then we would obtain in the present case (when \(\langle O_{10} \rangle _{V+A}\) is varied): for FOPT \(N_t=8\) (unchanged); for CIPT \(N_t=4\)-5, and for PV \(N_t=5\). Nonetheless, here we kept \(N_t\) unchanged (\(N_t=8, 5, 6\) for FOPT, CIPT, PV, respectively), so that the comparison of the results of Tables 4 and 5 gives us the effects of the OPE-truncation change only (\(D_{\mathrm{max}}=8 \mapsto 10\)), without interference of the effects of the \(N_t\)-change. The resulting uncertainties of the extracted values of \(\alpha _s(m_{\tau }^2)\) under the variation of \(N_t\) are anyway similar in the two cases \(D_{\mathrm{max}}=8\) and \(D_{\mathrm{max}}=10\).Footnote 24
Comparison of Tables 5 and 4 shows that the OPE-truncation effects are moderate: the values of \(\alpha _s(m_{\tau }^2)\) change by less than the uncertainties given in Table 4, and even the values of the condensates in most cases change by less than 50 percent. The values of condensates of dimension \(D=8\) and \(D=10\) in Table 5 indicate that their contributions to sum rules are small and tend to cancel each other.Footnote 25 We can estimate the OPE-truncation uncertainty in the extracted values of \(\alpha _s(m_{\tau }^2)\) as the difference between the corresponding central values in Tables 4 and 5, and add this uncertainty in quadrature to the results of Eq. (58). This then gives us
We can see that, due to the OPE truncation effects, the uncertainty of \(\alpha _s(m_{\tau }^2)\) increases moderately in the FOPT case, and remains practically unchanged in the CIPT and PV cases.
As in the case of \(D_{\mathrm{max}}=8\), we can evaluate in the case \(D_{\mathrm{max}}=10\) the FESR momenta \(a^{(2,0)}({\sigma _{\mathrm{m}}})\) and \(a^{(2,1)}({\sigma _{\mathrm{m}}})\) as a function of \(N_t\), and obtain results analogous to those in Figs. 6, 7, 8 and 9. We will not present such Figures, but it turns out that now the stability of these momenta under the variation of \(N_t\) is even stronger, and the agreement with the experimental values is even better.
The behaviour of the extracted values of condensates with increasing dimension D is qualitatively similar to that in the work of [22] where various pinched FESRs were applied to the ALEPH \(\tau \)-decay spectral functions. The dependence on the OPE-truncation variation (variation of \(D_{\mathrm{max}}\)) is somewhat milder in our analysis, though. The fact that the extracted values of condensates with \(D \ge 8\) in our analysis are small, or tend to cancel each other, is possibly related with the fact that our \(D=0\) Adler function extension contains the first two IR renormalons (\(u=2\) and \(u=3\)), cf. Eq. (23) [cf. also Eq. (25) and (50)]. However, also the FESR fit results of [22], in the \(V+A\) channel, show a similar trend when \(D_{\mathrm{max}}=8\) or 10.
The works of [23, 88] (cf. also [89] where \(R_{ee}(s)\) is used), on the other hand, give for (sufficiently pinched) FESRs the solutions of OPE with considerably larger absolute values of the condensates \(\langle O_D \rangle _{V+A}\), for many terms (up to \(D=16\)).Footnote 26 This shows that there are at least two very different sets of OPE solutions to the \(\tau \)-decay data, which correspond to the same or approximately same spectral function \(\omega (\sigma )_{V+A}\) (ALEPH) for (sufficiently pinched) FESRs. The results of the works [22, 23, 88] suggest that the duality violations are well suppressed in the \(V+A\) channel for FESRs which are at least doubly-pinched.Footnote 27 In our global fit analysis, we used doubly-pinched Borel–Laplace sum rules, whose weight functions \(g_{M^2}(Q^2)\), Eq. (31a), are additionally suppressed in the timelike limit by the exponential factor \(\exp (\cos (\Psi ) Q^2/|M^2|) \rightarrow \exp (- \cos (\Psi ) {\sigma _{\mathrm{m}}}/|M^2|)\) (where we took: \(\Psi \equiv \mathrm{arg}(M^2) = 0, \pi /6, \pi /4\)).
5.3 FESRs and Borel–Laplace sum rules with resummation based on inverse Mellin transform
In Ref. [29] a resummation of the Adler function was performed using an approach of characteristic functions (related with the approach of [90]). It has the form
where the characteristic functions \( G^{(\pm )}_D(t)\) and \(G^{\mathrm{(SL)}}_D(t)\) are inverse Mellin transforms of different parts of the Borel transform \(\mathcal{B}[{{\widetilde{d}}}](u)\) Eq. (23); they involve simple positive or negative powers of t and \(\ln t\) (cf. [29] for details). The main difference between the FOPT, CIPT and PV methods, on one hand, and this evaluation method, on the other hand, is that this method does not involve truncation. However, when this resummed version, \(d({\sigma _{\mathrm{m}}}e^{i \phi })_{(D=0); \mathrm res}\), is used in the sum rules, e.g. in the contour integrals (30d) and (31d), the integrations over t at \(0<t<1\) involve the (pQCD) coupling \(a(t e^{-{{\widetilde{K}}}} {\sigma _{\mathrm{m}}}e^{i \phi })\) at low momenta. For small \(\phi \approx 0\) and small t this means that the integrations are performed close to the Landau cuts of \(a(Q^2)\) in the complex \(Q^2\)-plane, i.e., at \(0< Q^2 < {\Lambda }^2_{\mathrm{Lan.}}\) (\(\sim 0.1 \ \mathrm{GeV}^2\)), and this makes the evaluation numerically unreliable. The extracted values of the parameters also indicate this problem. Namely, the central values of \(\alpha _s\) in the \(a^{(2,5)}\)-approach and in the global fit approach with this resummation method are disparate, \(\alpha _s(m_{\tau }^2) = 0.377\) and 0.246, respectively. We will not use these results, as they are significantly affected by the mentioned problem of Landau singularities.Footnote 28 In this context, we mention that this resummation approach works well when the QCD coupling has no Landau singularities [29].
6 Summary of the results and comparison with literature
The main results of the paper are in Eq. (60). For the purpose of additional comparison of different methods (FOPT, PV, CIPT), the results in Eq. (53) are also important.
We can argue that the FOPT and PV methods have the following feature in common: (a) the FOPT [or \(({\widetilde{\mathrm{FOPT}}})\)] perturbation series for the sum rules, as argued in the “Appendix”, explicitly have the leading renormalon contribution of the Adler function \(d(Q^2)_{(D=0)}\) suppressed in them;Footnote 29; (b) the PV approach in the sum rules isolates the dominant parts of the contributions from the renormalon singularities (UV and IR) of the Adler function, and resums them with the PV convention, while the perturbation series of the correction part in this approach is largely free of the renormalon contributions.
On the other hand, the CIPT approach to the sum rules keeps unchanged the entire coefficients \(d_n\) of the perturbation series of the Adler function in the resummation of the sum rules, thus importing the strong renormalon-dominated divergence of \(d_n\)’s (when n increases) in the sum rule evaluation. It is true that the CIPT approach also transforms the powers \(a(Q^2)^n\) [or the log derivatives \({{\widetilde{a}}}_n(Q^2)\)] of the Adler function into different functions via contour integration with specific weight functions, but this change in general does not account for the renormalon cancellations which are neither reflected in the (unchanged) expansion coefficients \(d_n\) of the CIPT series. We believe that these aspects are the main reason why the extracted values of \(\alpha _s\) from the (truncated) CIPT approach differ significantly from the (truncated) FOPT and PV methods (while the latter two methods give mutually similar results). These conclusions are valid not just in the analysis of Sect. 5.1 of the moments \(a^{(2,5)}({\sigma _{\mathrm{m}}})_{(D=0)}\) where the condensate contributions were neglected, but also in the analysis of Sect. 5.2 where the first three condensates were included.
In the Appendix we argued that the FOPT (and \({\widetilde{\mathrm{FOPT}}}\)) expansion of the moments \(a^{(2,n)}_{(D=0)}\) (with n large, such as \(n=5\)) has the UV renormalons (at \(u=-1, -2, \ldots \)) as well as some of the IR renormalons (at \(u \ge 2\)) suppressed by one power, in comparison to the Adler function \(d(Q^2)_{(D=0)}\). Specifically for the first IR renormalon (at \(u=2\)) of the Adler function this implies that it is almost entirely supressed in the FOPT evaluation of the moments \(a^{(2,n)}_{(D=0)}\) for \(n \ge 1\).Footnote 30
On the other hand, the FOPT (and the \({\widetilde{\mathrm{FOPT}}}\)) expansion of the Borel–Laplace sum rules \(\mathrm{Re} B(M^2)\) has only the UV renormalons suppressed by one power, in comparison to the Adler function \(d(Q^2)_{(D=0)}\); but the IR renormalons are not suppressed. Therefore, one might expect that the FOPT (and the \({\widetilde{\mathrm{FOPT}}}\)) global fit analysis with Borel–Laplace sum rules would give us more unstable results and less reliable value of the extracted \(\alpha _s\) than such an analysis with the moments \(a^{(2,n)}_{(D=0)}\) (\(n=5\)). However, the inclusion of the condensate contributions (with \(D=4, 6, 8\)) in such an analysis takes care of the fact that the IR-renormalon contributions of the Adler function are not suppressed in the FOPT (and the \({\widetilde{\mathrm{FOPT}}}\)) Borel–Laplace sum rules [cf. also the more detailed discussion around Eq. (59)]. Our analysis with Borel–Laplace was indeed performed with the (low-dimension) condensate contributions included. Therefore, we can argue that the FOPT (and the \({\widetilde{\mathrm{FOPT}}}\)) global fit with Borel–Laplace sum rules gives us reliable extraction of the values of \(\alpha _s\) (and of the condensates).
The PV global fit with Borel–Laplace sum rules and condensates is also expected to give reliable results, because the renormalon structure of the Adler function is taken into account correctly (in an isolated, resummed form) in such sum rules.
However, the CIPT global fit with Borel–Laplace sum rules and condensates is again expected to present problems, because the truncated CIPT approach does not suppress the leading UV renormalon contributions and deteriorates in a significant way the interplay between the IR renormalon effects (in the \(D=0\) Borel–Laplace part) and the condensate contributions. In this context, we recall that the truncated CIPT is neither a perturbation power series nor does it represent a resummation of the evaluated quantity (because it is truncated).Footnote 31
The numerical results presented in this work [principally Eqs. (53), (58), (60), Table 4] appear to confirm the arguments given above. Namely, the extracted values of \(\alpha _s\) are closer to each other when the FOPT (and \({\widetilde{\mathrm{FOPT}}}\)) and PV evaluation methods are used, while the extracted value of \(\alpha _s\) becomes significantly larger when the (truncated) CIPT evaluation method is used. This is true in the analysis of Sect. 5.1 where the high order moments \(a^{(2,n)}\) were considered, and in the analysis of Sect. 5.2 where Borel–Laplace sum rules with condensates were considered. Therefore, in our main predictions for \(\alpha _s\) we will include the (truncated) FOPT and PV evaluation methods, but not the (truncated) CIPT method. Further, as argued at the end of Sect. 5.1, the results (53) are not reliable because of the unaccounted nonperturbative effects (from condensates and the quark-hadron duality violation effects). However, the results (53) serve principally as an additional comparison of the three methods (FOPT, PV and CIPT) as mentioned above.
Furthermore, we believe that the fact that we used a renormalon-motivated extension of the coefficients \(d_n\) (\(n \ge 4\)) of the Adler function does not introduce large model ambiguities. One reason is that the extension is motivated on the known renormalon structure of the Adler function, and simultaneously reproduces correctly the first four coefficients \(d_n\) (\(n=0,1,2,3\)). The other reason is that our methods used truncation indices \(N_t\) (i.e., truncation at \(a^{N_t}\)) which were often low (\(N_t=5, 6\)).Footnote 32
On the gounds mentioned above, our main results are represented by the global fit results (with the double-pinched Borel Laplace sum rules) of the truncated FOPT and PV approaches, Eqs. (60a), (60c). We obtain our central result by averaging between these two results. This then gives the following averaged results of the global fits:
It turned out that the central result of the \({\widetilde{\mathrm{FOPT}}}\) approach is practically equal to that of the FOPT approach, but the uncertainties are higher. We did not include the \({\widetilde{\mathrm{FOPT}}}\) approach result in the average (62).
The uncertainty \(\pm 0.0073\) in Eq. (62a) was obtained by adding in quadrature the deviation between the average value 0.3116 and the the central value 0.3075 of Eq. (60a), and the minimal uncertainty \(\pm 0.0061\) of the two results Eqs. (60a) and (60c) (cf. a similar reasoning in Ref. [22]). The result Eq. (62b), at the canonical scale \(Q^2=M_Z^2\) (and \(N_f=5\)) was then obtained by RGE-evolution using the five-loop \(\overline{\mathrm{MS}}\) \(\beta \)-function [50] and the corresponding four-loop quark threshold matching [94].Footnote 33
If, however, we included in the average also the CIPT result (60b), the average central value and the uncertainties would significantly increase
In this context, we note that the relations and differences between the FOPT and CIPT approach in FESRs of the semihadronic \(\tau \) decays were investigated in the works [92] from the point of view of Borel transforms and Borel sums. A Borel transform was constructed for the CIPT of FESRs, by first rewriting the CIPT series of such FESRs formally as a (FOPT-type) series in powers of \(a({\sigma _{\mathrm{m}}})\), \(\sum r_n^{\mathrm{(CI)}} a({\sigma _{\mathrm{m}}})^{n+1}\), using for the Adler function either the large-\(\beta _0\) approximation [85, 86] or the renormalon-motivated model of Ref. [26].Footnote 34 It was shown that the resulting Borel transform has a significantly different structure of nonanalyticity than the Borel transform of the FOPT FESRs (for the latter, cf. Appendix 1). For example, in the large-\(\beta _0\) approximation the \(u=2\) IR renormalon of the Adler function is completely suppressed in the Borel transform of the FOPT FESRs momenta \(a^{(2,n)}({\sigma _{\mathrm{m}}})\) (with \(n \ge 1\)),Footnote 35 while this is not the case for the \(u=2\) IR renormalon in the Borel transform of the CIPT FESRs momenta \(a^{(2,n)}({\sigma _{\mathrm{m}}})\). The Borel transforms of the CIPT FESRs do not reflect the \(D > 0\) structure of the OPE of the Adler function Eq. (5), or equivalently, the corresponding OPE of the FESRs Eq. (30d). This is in contrast with the Borel transform of the FOPT FESRs which do respect this \(D>0\) OPE structure as explained in Appendix 1. The authors of [92] suggest that the CIPT FESRs would require different, nonstandard OPE corrections, i.e., corrections which would not correspond to the (\(D > 0\)) OPE corrections (5) and (59) of the Adler function. In the present work, we did not try to implement such nonstandard OPE in the CIPT evaluations. For these reasons, and for the reasons explained earlier in this section, we consider it correct to include only the FOPT and PV results, leading to Eq. (62), and not to include the values of \(\alpha _s\) extracted from the CIPT evaluations Eq. (63). The question of how to treat correctly the CIPT evaluations of the sum rules, in particular the related nonstandard OPE corrections, is left open in this work.
If we perform the truncation in all methods at the index \(N_t=5\) (\(\sim a^5\)),Footnote 36 the central results do not change very much; e.g., the average of the central values of the FOPT+PV methods (and of FOPT+CIPT+PV methods) of the global fits, when always \(N_t=5\) is taken, is \(\alpha _s(m_{\tau }^2)=0.3172\) (and 0.3231), respectively, not very far away from the respective central value 0.3116 Eq. (62a) (and 0.3194), respectively.
For comparison, we present in Table 6 the values of \(\alpha _s(m_{\tau }^2)\) extracted from ALEPH \(\tau \)-decay data by various groups, using various sum rules and various methods of evaluation.
In the Table the results are presented to three digits. The result of Ref. [71] is an update of the result of Ref. [68], and uses a (PV) summation of a renormalon-motivated Borel transform with a conformal mapping. The results from Ref. [21] in the Table are given for their V+A channel analysis. We can see in the Table that the results of the exhaustive analysis of Ref. [22] gave a result for CIPT approach very similar to ours, while their FOPT analysis gave a result significantly higher than ours. The latter occurred principally because in our case of FOPT evaluation the optimal truncation index turned out to be relatively high (\(N_t=8\)) which indicates that the (renormalon-motivated) extension of the Adler function beyond the order \(a^5\) (\(N_t=5\)) plays a role in our case of FOPT evaluations. Nonetheless, we recall that the \({\widetilde{\mathrm{FOPT}}}\) method in our global fits gave a lower index value \(N_t=6\) and a similarly low central value \(\alpha _s(m_{\tau }^2)=0.307\) (but higher uncertainties). We can see in Table 6 that the duality violation analysis of Ref. [23] (cf. also [40, 88, 98]) gives even significantly lower values of \(\alpha _s\). On the other hand, it was argued in Ref. [22] that the uncertainties in this DV-model should be larger.
In a recent work [99], the mentioned DV-model strategy was used in FOPT-evaluated FESRs of semihadronic \(\tau \)-decays, using an experimental spectral V-channel function based on data from various experiments (ALEPH, OPAL, BABAR, and supplemented by \(e^+ e^- \rightarrow \) hadrons data), and they obtained the result \(\alpha _s(m_{\tau }^2) = 0.3077 \pm 0.0075\), which is very close to our result \(\alpha _s(m_{\tau }^2) = 0.3075^{+0.0066}_{-0.0069}\) obtained from Borel–Laplace sum rule global fit with FOPT method, cf. Eq. (60a) and Tables 4 and 6.
In this context, we point out that our analysis used the combined V+A channel of ALEPH data, and involved double-pinched sum rules (\(a^{(2,n)}\) and double-pinched Borel–Laplace). We believe that both of these aspects suppress significantly the possible duality violation effects in our analysis.
The Mathematica programs on which our calculations were based are available from the www page Ref. [100].
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: : As we mentioned at the end of the Summary, the Mathematica programs that generate the data and the numerical results presented in this work are available from the www page Ref. [100].]
Notes
\(\omega (\sigma ) \propto \mathrm{Im} \Pi (-\sigma - i \epsilon )\), where \(\Pi (Q^2)\) is the polarisation function of the quark current correlator. The related Adler function \(\mathcal{D}(Q^2)\) is proportional to \(d \Pi (Q^2)/d \ln Q^2\). We will use the notation \(Q^2 \equiv - q^2 = - (q^0)^2 + {\vec q}^2\).
The QCD V+A quantity \(r_{\tau }=r_{\tau }^{(D=0)} + \delta r_{\tau }(m_{u,d} \not = 0) + \sum _{D \ge 4} r_{\tau }^{(D)}\) appears in the semihadronic strangeless \(V+A\) \(\tau \)-decay ratio \(R_{\tau }\) via the relation \(R_{\tau }= 3 |V_{ud}|^2 S_{\mathrm{EW}} ( 1 + \delta '_{\mathrm{EW}} + r_{\tau })\), where \(S_{\mathrm{EW}}=1.0198 \pm 0.0006\) [9] and \(\delta '_{\mathrm{EW}}=0.0010 \pm 0.0010\) [10] are electroweak corrections, \(V_{ud}\) is the CKM matrix element, and \(\delta r_{\tau }(m_{u,d} \not = 0) \approx - 8 \pi ^2 f_{\pi }^2 m_{\pi }^2/m_{\tau }^4 \approx -0.0026\) (where \(f_{\pi }=0.1305\) GeV), cf. [11, 12, 14, 15].
In Ref. [28] this argument was extended beyond LB when a modified Borel transform in a specific renormalisation scheme is used.
In Ref. [38] nonpinched Borel–Laplace sum rules were applied.
The MiniMOM \(\beta \)-function has been evaluated up to four-loops [56, 57, 59]. In the work [60] it has been shown that the MiniMOM scheme, in the Landau gauge, respects the \(\beta \)-function factorisation property of the conformal symmetry breaking contribution to the generalised Crewther relation.
The effective charge (ECH) method [61] gives the estimate \((d_4)_{\mathrm{ECH}}=275\) [16, 63]. The estimate of Ref. [26] is \(0< d_4 < 642\) [their preferred value is: \(d_4=283\)]. Recent estimates based on Padé approximants give \(d_4=277 \pm 51\) [64], and on conformal mappings in the Borel plane give \(d_4=287 \pm 40\) [65]. In Refs. [22, 66] the estimate \(d_4=275 \pm 400\) was used. We will use for the uncertainty of \(d_4\) the range \(d_4=338.19 \pm 338.19\).
When the Borel–Laplace is not pinched, then \(\mathrm{Re} B(M^2; {\sigma _{\mathrm{m}}})\) is completely independent of \(\langle O_6 \rangle \) for \(M^2 = |M^2| \exp (i \pi /6)\), and completely independent of \(\langle O_4 \rangle \) for \(M^2 = |M^2| \exp (i \pi /4)\), cf. Ref. [82].
In fact, this is valid for each renormalon part \((d_n)^{\mathrm{X}}_{p}\) of the contributions to \(d_n\), such as \((d_n)^{\mathrm{UV}}_1\), etc.: \(({\delta d}_n(\kappa ))^{\mathrm{X}}_{p}/(d_n(\kappa ))^{\mathrm{X}}_p \rightarrow 0\) when \(n \rightarrow \infty \), for \(X =\) UV1, IR2, IR3.
We evaluate the differences \(|a^{(2,5)}_{\mathrm{th}}(N_t) - a^{(2,5)}_{\mathrm{th}}(N_t-1)|\) with increasing \(N_t=4,5,\ldots \) and look for such \(N_t\) where this difference is minimal.
In the PV approach, we varied \({\delta d}_4\) of the correction polynomial (47) (with \(N_t=5\)) around its central value by \(\pm 338.19\).
This has to do primarily with the fact that \(d_4 = 338.19 \pm 338.19\) implies \({{{\widetilde{d}}}}_4 = 37.77 \pm 338.19\), but the corresponding term \(a^5 \sim {{\widetilde{a}}}_5\) in the Adler function \(d({\sigma _{\mathrm{m}}})_{D=0}\) (with \(\kappa =1\)) in the \({\widetilde{\mathrm{FOPT}}}\) approach is \({{\widetilde{d}}}_4 {{{\widetilde{a}}}}_5({\sigma _{\mathrm{m}}}) \approx 4.9 \times 10^{-5} {{\widetilde{d}}}_4\) while in the FOPT approach it is \(d_4 a({\sigma _{\mathrm{m}}})^5 \approx 10^{-5} d_4\) [we took here \(a({\sigma _{\mathrm{m}}}) = 0.1\)]. The effect of the variation of \(d_4\) is then in the \({\widetilde{\mathrm{FOPT}}}\) of the Adler function by about a factor of 5 stronger. Further, the fact that the central value of \({{\widetilde{d}}}_4\) (37.77) is much smaller than the corresponding value of \(d_4\) (338.19) may indicate that the taken uncertainty \(\delta {{{\widetilde{d}}}}_4 (\equiv \delta d_4) = \pm 338.19\) of the coefficient \(d_4\) is possibly too large.
We believe that this is related with the vicinity of the Landau singularities of the pQCD coupling \(a(Q^2)\) at such low \(|Q^2| \sim 1 \ \mathrm{GeV}^2\); such numerical problems do not occur in holomorphic variants of QCD in which the coupling \(a(Q^2)\) has no Landau singularities, cf. Ref. [29].
The fit results are practically unchanged if the number of points \(M^2_{\alpha }\) is increased beyond 33.
The construction of \(\delta _B(M^2_{\alpha })\) involves the covariance matrix of the ALEPH data and the weight function \(f(\sigma _j; M^2)\) (where \(\sigma =\sigma _j\) is in the j’th bin of ALEPH data) corresponding to the Borel–Laplace sum rule, as explained in “Appendix C” of Ref. [82]. In the present case of the real part of the double-pinched Borel transform, we have \(f(\sigma _j; M^2)=\mathrm{Re} \; g_{M^2}(Q^2=-\sigma _j)\) \(= \mathrm{Re} [ (1/M^2) (1 - \sigma _j/M^2) \exp (-\sigma _j/M^2) ]\).
For the FO method, we take \(N_t=8 \pm 2\). For the CI method, we take \(N_t=5^{+2}_{-1}\); the case \(N_t=3\) is not included as it does not use all the exactly known coefficients \(d_j\), and the corresponding extracted value of \(\alpha _s\) is significantly higher than in the cases of higher \(N_t > 3\). For the PV method, we take \(N_t=6^{+2}_{-1}\); the case \(N_t=4\) is not included because the fit quality is much worse there (\(\chi ^2 = 2.2 \sim 10^0\)).
Cf. the discussion in “Appendic C” of [82], where unpinched Borel–Laplace was used, in the context of a QCD with holomorphic coupling.
Instead of \(\langle O_4 \rangle _{V+A}\) we present the corresponding values for the gluon condensate, \(\langle a GG \rangle = 6 \langle O_4 \rangle _{V+A} + 6 f^2_{\pi } m^2_{\pi }\), where \(6 f^2_{\pi } m^2_{\pi } \approx 0.00199 \ \mathrm{GeV}^4\).
We recall that \(a^{(2,0)}\) depends on the condensates \(D=4,6\) and \(a^{(2,1)}\) on the condensates \(D=6,8\), cf. Eq. (30d).
As far as we are aware, all numerical analyses of the semihadronic \(\tau \)-decays in the literature use these assumptions. Further, the \(\mathcal{O}(a)\) terms in the OPE (4) are considered negligible.
On the other hand, \(a^{(2,0)}({\sigma _{\mathrm{m}}})\) does get reasonably stabilised as a function of \(N_t\) when only the \(D=4\) and \(D=6\) \(Q^2\)-independent condensates of the Adler function are used in the global fit with Borel–Laplace sum rules. We recall that, in the approximation of \(Q^2\)-independent condensates, \(a^{(2,0)}({\sigma _{\mathrm{m}}})\) depends on the condensates \(D=4\) and \(D=6\) (but not \(D=8\)), and the \(D=4\) condensate contribution in \(a^{(2,0)}({\sigma _{\mathrm{m}}})\) is numerically probably more important than the \(D=6\) contribution.
In the case of \(D_{\mathrm{max}}=8\) these variations of extracted values of \(\alpha _s(m_{\tau }^2)\) are given in Eqs. (58a), (58c), (58e), at the symbol ’(\(N_t\))’. In the case of \(D_{\mathrm{max}}=10\), these variations are: \({{\mp }} 0.0015\) (FOPT, \(N_t=8 \pm 1\)); \(^{-0.0049}_{+0.0062}\) (CIPT, \(N_t=5 \pm 1\)); \(^{-0.0015}_{+0.0050}\) (PV, \(N_t=6 \pm 1\)).
The large variation (uncertainty) of \(\langle O_{10} \rangle _{V+A}\) into negative values in Table 5 (and of \(\langle O_{8} \rangle _{V+A}\) in Table 4), in the PV and CIPT approaches, exists due to the instability of these extracted condensates when the renormalization scale parameter is varied from \(\kappa =1\) to \(\kappa =0.5\). This indicates that the RGE-running of the pQCD running coupling \(a(\mu ^2)\) along the contour \(\mu ^2= 0.5 \; {\sigma _{\mathrm{m}}}\exp (i \phi )\) (where \(0.5 \; {\sigma _{\mathrm{m}}}\approx 1.4 \ \mathrm{GeV}^2\) is low) is unreliable, due to the vicinity of the unphysical Landau singularities of the pQCD coupling at such low values of \(|\mu ^2|\). We note that in the PV approach, the polynomial correction part Eq. (47) is treated as in the CIPT approach when integrated along the contour.
The n-pinched FESR weight functions \(g(Q^2)\) behave in the timelike limit, i.e., when \(Q^2 \rightarrow -{\sigma _{\mathrm{m}}}\), as: \(g(Q^2) \sim (1 + Q^2/{\sigma _{\mathrm{m}}})^n\).
A general discussion of the Landau singularity problems in pQCD couplings is given, e.g., in [91].
We recall that the leading renormalon contribution is the double-pole \(u=1\) UV renormalon in the perturbation series of the auxiliary quantity \({{{\widetilde{d}}}}(Q^2;\kappa )_{(D=0)}\), and its analog in the perturbation series of \(d(Q^2)_{(D=0)}\). We point out that this suppression of the leading renormalon contribution in the sum rules is true not just in the large-\(\beta _0\) approximation, but in the exact approach, as shown in the “Appendix”.
This means, the renormalon contribution \(\sim 1/(2 -u)^{{\widetilde{\gamma }}_2}\) in the Borel transform of the Adler function \(d(Q^2)_{(D=0)}\) is suppressed to \(~\sim 1/(2-u)^{{\widetilde{\gamma }}_2-1}\) in the Borel transform of \(a^{(2,n)}_{(D=0)}\) for \(n \ge 1\), cf. also Eqs. (25) and (50). We recall that in our considered renormalon-motivated Adler function extension there are only renormalons UV1 (at \(u=-1\)), IR2 (at \(u=2\)) and IR3 (at \(u=3\)).
We recall that the truncation index \(N_t\) was determined in each method in such a way that a relative stability of the full moments \(a^{(2,0)}({\sigma _{\mathrm{m}}})\) and \(a^{(2,1)}({\sigma _{\mathrm{m}}})\) is achieved under the variation of \(N_t\).
The threshold matching was performed at the scales \(Q^2_{\mathrm{thr}} = \kappa {{\bar{m}}}_q^2\) with \(\kappa =2\), and \({{\bar{m}}}_q \equiv {{\bar{m}}}_q( {{\bar{m}}}_q^2)\) equal to 4.2 GeV (\(q=b\)) and 1.27 GeV (\(q=c\)).
We note that this sum \(\sum r_n^{\mathrm{(CI)}} a({\sigma _{\mathrm{m}}})^{n+1}\), strictly speaking, is not a (FOPT-type) perturbation series, because each coefficient \(r_n^{\mathrm{(CI)}}\) in this sum is itself a series in powers of \(a({\sigma _{\mathrm{m}}})\).
In the large-\(\beta _0\) approximation, the same type of relations are valid for the Borel transform of \(a^{(2,n)}({\sigma _{\mathrm{m}}})\) as in Eq. (A15) for the Borel transform of \({{\widetilde{a}}}^{(2,n)}({\sigma _{\mathrm{m}}})\). Further, the \(u=2\) IR renormalon residue is in our considered model numerically significant in \(\mathcal{B}[{{\widetilde{d}}}](u)\), Eqs. (23)–(24), as well as in \(\mathcal{B}[d](u)\), cf. Eqs. (25), (50) and Table 1 (first line, last column).
This truncation was used in [22] (cf. also [96, 97]) where \(N_t=5\) FOPT and CIPT methods were used and \(d_4 = 275 \pm 400\) (at \(\kappa =1\)). We use \(d_4 \approx 338 \pm 338\), i.e., the central value \(d_4 \approx 338\) as suggested by the described renormalon-motivated extension of the \(D=0\) Adler function.
i.e., in Eq. (A3) we replace everywhere \(a(\kappa Q^2) \mapsto a^{(1 \ell )}(\kappa Q^2)\).
This is in contrast to the usual arguments in the literature which refer to the large-\(\beta _0\) (LB) approximations of physical quantities. The latter approximations give us information only on the LB-parts \(d_N^{\mathrm{(LB)}}\) of the full expansion coefficients \(d_n\) (\(\not = d_n^{\mathrm{(LB)}}\)) of the Adler function \(d(Q^2)_{(D=0)}\), and on the LB-parts \(r_n^{\mathrm{(LB)}}\) of the full FOPT expansion coefficients \(r_n\) (\(\not = r_n^{\mathrm{(LB)}}\)) of the sum rule quantities \(\mathcal{R}({\sigma _{\mathrm{m}}})\).
In Ref. [29] these arguments were presented for spacelike quantities, but are valid also for (FOPT expansion) of timelike quantities, as shown here.
References
S. Schael et al., [ALEPH Collaboration], Branching ratios and spectral functions of tau decays: final ALEPH measurements and physics implications. Phys. Rept. 421, 191 (2005). arXiv:hep-ex/0506072
M. Davier, A. Höcker, Z. Zhang, The Physics of hadronic tau decays. Rev. Mod. Phys. 78, 1043 (2006). arXiv:hep-ph/0507078
M. Davier, S. Descotes-Genon, A. Höcker, B. Malaescu, Z. Zhang, The Determination of \(\alpha _s\) from \(\tau \) decays revisited. Eur. Phys. J. C 56, 305 (2008). arXiv:0803.0979 [hep-ph]
M. Davier, A. Höcker, B. Malaescu, C.Z. Yuan, Z. Zhang, Update of the ALEPH non-strange spectral functions from hadronic \(\tau \) decays. Eur. Phys. J. C 74(3), 2803 (2014). arXiv:1312.1501 [hep-ex]
The measured data of ALEPH Collaboration, with covariance matrix corrections described in Ref. [4] (2021). http://aleph.web.lal.in2p3.fr/tau/specfun13.html
A. Deur, S.J. Brodsky, G.F. de Teramond, The QCD running coupling. Nucl. Phys. 90, 1 (2016). arXiv:1604.08082 [hep-ph]
D. d’Enterria, S. Kluth, S. Alekhin, P.A. Baikov, A. Banfi, F. Barreiro, A. Bazavov, S. Bethke, J. Blümlein, D. Boito, et al., \(\alpha _s\)(2019): Precision measurements of the QCD coupling. In Workshop Proceedings (ECT, Trento, 2019). arXiv:1907.01435 [hep-ph]. Accessed 11–15 Feb 2019
P.A. Zyla et al. [Particle Data Group], Review of Particle Physics, PTEP 2020(8), 083C01 (2020)
W.J. Marciano, A. Sirlin, Electroweak Radiative Corrections to tau Decay. Phys. Rev. Lett. 61, 1815–1818 (1988)
E. Braaten, C.S. Li, Electroweak radiative corrections to the semihadronic decay rate of the tau lepton. Phys. Rev. D 42, 3888–3891 (1990)
S. Narison, A. Pich, QCD formulation of the \(\tau \) decay and determination of \(\Lambda (MS)\). Phys. Lett. B 211, 183–188 (1988)
E. Braaten, QCD predictions for the decay of the \(\tau \) lepton. Phys. Rev. Lett. 60, 1606–1609 (1988)
E. Braaten, The perturbative QCD corrections to the ratio R for \(\tau \) decay. Phys. Rev. D 39, 1458 (1989)
E. Braaten, S. Narison, A. Pich, QCD analysis of the \(\tau \) hadronic width. Nucl. Phys. B 373, 581–612 (1992)
G. Cvetič, T. Lee, Bilocal expansion of Borel amplitude and hadronic tau decay width. Phys. Rev. D 64, 014030 (2001). arXiv:hep-ph/0101297 [hep-ph]
P.A. Baikov, K.G. Chetyrkin, J.H. Kühn, Order \(\alpha _s^4\) QCD Corrections to \(Z\) and \(\tau \) Decays. Phys. Rev. Lett. 101, 012002 (2008). arXiv:0801.1821 [hep-ph]
F. Le Diberder, A. Pich, Testing QCD with \(\tau \) decays. Phys. Lett. B 289, 165–175 (1992)
A. A. Pivovarov, Renormalization group analysis of the \(\tau \) lepton decay within QCD, Sov. J. Nucl. Phys. 54, 676-678 (1991). arXiv:hep-ph/0302003 [hep-ph]
F. Le Diberder, A. Pich, The perturbative QCD prediction to \(R_{\tau }\) revisited. Phys. Lett. B 286, 147–152 (1992)
A.P. Bakulev, S.V. Mikhailov, N.G. Stefanis, Higher-order QCD perturbation theory in different schemes: From FOPT to CIPT to FAPT. JHEP 06, 085 (2010). arXiv:1004.4125 [hep-ph]
M. Davier, A. Höcker, B. Malaescu, C.Z. Yuan, Z. Zhang, Update of the ALEPH non-strange spectral functions from hadronic \(\tau \) decays. Eur. Phys. J. C 74(3), 2803 (2014). arXiv:1312.1501 [hep-ex]
A. Pich, A. Rodríguez-Sánchez, Determination of the QCD coupling from ALEPH \(\tau \) decay data. Phys. Rev. D 94(3), 034027 (2016). arXiv:1605.06830 [hep-ph]
D. Boito, M. Golterman, K. Maltman, J. Osborne, S. Peris, Strong coupling from the revised ALEPH data for hadronic \(\tau \) decays. Phys. Rev. D 91(3), 034003 (2015). arXiv:1410.3528 [hep-ph]
O. Catà, M. Golterman, S. Peris, Unraveling duality violations in hadronic \(\tau \) decays. Phys. Rev. D 77, 093006 (2008). arXiv:0803.0246 [hep-ph]
O. Catà, M. Golterman, S. Peris, Possible duality violations in \(\tau \) decay and their impact on the determination of \(\alpha _s\). Phys. Rev. D 79, 053002 (2009). arXiv:0812.2285 [hep-ph]
M. Beneke, M. Jamin, \(\alpha _s\) and the \(\tau \) hadronic width: fixed-order, contour-improved and higher-order perturbation theory. JHEP 09, 044 (2008). arXiv:0806.3156 [hep-ph]
M. Beneke, D. Boito, M. Jamin, Perturbative expansion of \(\tau \) hadronic spectral function moments and \(\alpha _s\) extractions. JHEP 01, 125 (2013). arXiv:1210.8038 [hep-ph]
D. Boito, F. Oliani, Renormalons in integrated spectral function moments and \(\alpha _s\) extractions. Phys. Rev. D 101(7), 074003 (2020). arXiv:2002.12419 [hep-ph]
G. Cvetič, Renormalon-motivated evaluation of QCD observables. Phys. Rev. D 99(1), 014028 (2019). arXiv:1812.01580 [hep-ph]
B. Chibisov, R.D. Dikeman, M.A. Shifman, N. Uraltsev, Operator product expansion, heavy quarks, QCD duality and its violations. Int. J. Mod. Phys. A 12, 2075–2133 (1997). arXiv:hep-ph/9605465 [hep-ph]
K. Maltman, Constraints on hadronic spectral functions from continuous families of finite energy sum rules. Phys. Lett. B 440, 367 (1998). arXiv:hep-ph/9901239 [hep-ph]
C.A. Dominguez, K. Schilcher, Chiral sum rules and duality in QCD. Phys. Lett. B 448, 93–98 (1999). arXiv:hep-ph/9811261 [hep-ph]
V. Cirigliano, E. Golowich, K. Maltman, QCD condensates for the light quark V-A correlator. Phys. Rev. D 68, 054013 (2003). arXiv:hep-ph/0305118 [hep-ph]
M. González-Alonso, A. Pich, J. Prades, Pinched weights and duality violation in QCD sum rules: a critical analysis. Phys. Rev. D 82, 014019 (2010). arXiv:1004.4987 [hep-ph]
C.A. Dominguez, L.A. Hernandez, K. Schilcher, H. Spiesberger, Tests of quark-hadron duality in \(\tau \)-decays. Mod. Phys. Lett. A 31(31), 1630036 (2016). arXiv:1607.02048 [hep-ph]
M. González-Alonso, A. Pich, A. Rodríguez-Sánchez, Updated determination of chiral couplings and vacuum condensates from hadronic \(\tau \) decay data. Phys. Rev. D 94(1), 014017 (2016). arXiv:1602.06112 [hep-ph]
M.A. Shifman, A.I. Vainshtein, V.I. Zakharov, QCD and resonance physics. Theoretical foundations. Nucl. Phys. B 147, 385–447 (1979)
G. Cvetič, C. Villavicencio, Operator Product Expansion with analytic QCD in \(\tau \) decay physics. Phys. Rev. D 86, 116001 (2012). arXiv:1209.2953 [hep-ph]
K. Ackerstaff et al., [OPAL Collaboration], Measurement of the strong coupling constant \(\alpha _s\) and the vector and axial vector spectral functions in hadronic tau decays. Eur. Phys. J. C 7, 571 (1999). arXiv:hep-ex/9808019
D. Boito, M. Golterman, M. Jamin, A. Mahdavi, K. Maltman, J. Osborne, S. Peris, An updated determination of \(\alpha _s\) from \(\tau \) decays. Phys. Rev. D 85, 093015 (2012). arXiv:1203.3146 [hep-ph]
A.V. Nesterenko, Strong interactions in spacelike and timelike domains: dispersive approach (Elsevier, Amsterdam, 2016) (eBook ISBN: 9780128034484)
S. Eidelman, F. Jegerlehner, A.L. Kataev, O. Veretin, Testing nonperturbative strong interaction effects via the Adler function. Phys. Lett. B 454, 369–380 (1999). arXiv:hep-ph/9812521
A.V. Nesterenko, Explicit form of the R-ratio of electron-positron annihilation into hadrons. J. Phys. G 46(11), 115006 (2019). arXiv:1902.06504 [hep-ph]
A.V. Nesterenko, Recurrent form of the renormalization group relations for the higher-order hadronic vacuum polarization function perturbative expansion coefficients. J. Phys. G 47(10), 105001 (2020). arXiv:2004.00609 [hep-ph]
T. Aoyama, N. Asmussen, M. Benayoun, J. Bijnens, T. Blum, M. Bruno, I. Caprini, C. M. Carloni Calame, M. Cè and G. Colangelo, et al. The anomalous magnetic moment of the muon in the Standard Model, Phys. Rept. 887, 1–166 (2020). arXiv:2006.04822 [hep-ph]
S. Borsanyi, Z. Fodor, J.N. Guenther, C. Hoelbling, S.D. Katz, L. Lellouch, T. Lippert, K. Miura, L. Parato, K.K. Szabo et al., Leading hadronic contribution to the muon magnetic moment from lattice QCD. Nature 593, 51 (2021). arXiv:2002.12347 [hep-lat]
A.V. Nesterenko, Hadronic vacuum polarization function within dispersive approach to QCD. J. Phys. G 42, 085004 (2015). arXiv:1411.2554 [hep-ph]
G. Cvetič and R. Kögerler, Infrared-suppressed QCD coupling and the hadronic contribution to muon g-2, J. Phys. G 47(10), 10LT01 (2020). arXiv:2007.05584 [hep-ph]
G. Cvetič, R. Kögerler, Lattice-motivated QCD coupling and hadronic contribution to muon \(g-2\). J. Phys. G 48(5), 055008 (2021). arXiv:2009.13742 [hep-ph]
P.A. Baikov, K.G. Chetyrkin, J.H. Kühn, Five-loop running of the QCD coupling constant. Phys. Rev. Lett. 118(8), 082002 (2017). arXiv:1606.08659 [hep-ph]
K.G. Chetyrkin, A.L. Kataev, F.V. Tkachov, Higher order corrections to \(\sigma _T\) (\(e^+ e^- \rightarrow \) Hadrons) in Quantum Chromodynamics. Phys. Lett. B 85, 277 (1979)
M. Dine, J.R. Sapirstein, Higher order QCD corrections in \(e^+e^-\) annihilation. Phys. Rev. Lett. 43, 668 (1979)
W. Celmaster, R.J. Gonsalves, An analytic calculation of higher order Quantum Chromodynamic corrections in \(e^+e^-\) annihilation. Phys. Rev. Lett. 44, 560 (1980)
S.G. Gorishnii, A.L. Kataev, S.A. Larin, The The \({\cal{O}}({\alpha }_{s}^{3})\) corrections to \({\sigma }_{tot} (e^{+} e^{-} \rightarrow \) hadrons) and \({\Gamma }({\tau }^{-} \rightarrow {\nu }_{\tau } + {\rm hadrons})\) in QCD. Phys. Lett. B 259, 144 (1991)
L.R. Surguladze, M.A. Samuel, Total hadronic cross-section in \(e^+e^-\) annihilation at the four loop level of perturbative QCD. Phys. Rev. Lett. 66, 560, [Erratum: Phys. Rev. Lett. 66(1991), 2416 (1991)
L. von Smekal, K. Maltman, A. Sternbeck, The Strong coupling and its running to four loops in a minimal MOM scheme. Phys. Lett. B 681, 336 (2009). arXiv:0903.1696 [hep-ph]
P. Boucaud, F. De Soto, J.P. Leroy, A. Le Yaouanc, J. Micheli, O. Pene, J. Rodríguez-Quintero, Ghost-gluon running coupling, power corrections and the determination of \(\Lambda _{\overline{\rm MS}}\). Phys. Rev. D 79, 014508 (2009). arXiv:0811.2059 [hep-ph]
S. Zafeiropoulos, P. Boucaud, F. De Soto, J. Rodríguez-Quintero, J. Segovia, Strong running coupling from the gauge sector of domain wall Lattice QCD with physical quark masses. Phys. Rev. Lett. 122(16), 162002 (2019). arXiv:1902.08148 [hep-ph]
K.G. Chetyrkin, A. Rétey, Three-loop three-linear vertices and four-loop \({\widetilde{\rm MOM}}\)\(\beta \) functions in massless QCD (2021). arXiv:hep-ph/0007088 [hep-ph]
A.V. Garkusha, A.L. Kataev, V.S. Molokoedov, Renormalization scheme and gauge (in)dependence of the generalized Crewther relation: what are the real grounds of the \(\beta \)-factorization property? JHEP 02, 161 (2018). arXiv:1801.06231 [hep-ph]
G. Grunberg, Renormalization group improved perturbative QCD. Phys. Lett. 95B, 70, [Erratum: Phys. Lett. 110B(1982), 501 (1980)
G. Grunberg, Renormalization scheme independent QCD and QED: the method of effective charges. Phys. Rev. D 29, 2315 (1984)
A.L. Kataev, V.V. Starshenko, Estimates of the higher order QCD corrections to \(R(s)\), \(R_{\tau }\) and deep inelastic scattering sum rules. Mod. Phys. Lett. A 10, 235–250 (1995). arXiv:hep-ph/9502348 [hep-ph]
D. Boito, P. Masjuan, F. Oliani, Higher-order QCD corrections to hadronic \(\tau \) decays from Padé approximants. JHEP 1808, 075 (2018). arXiv:1807.01567 [hep-ph]
I. Caprini, Higher-order perturbative coefficients in QCD from series acceleration by conformal mappings. Phys. Rev. D 100(5), 056019 (2019). arXiv:1908.06632 [hep-ph]
A. Pich, Tau decay determination of the qcd coupling. In Proceedings of the Workshop on Precision measurements of\(\alpha _s\) (2021), pp. 18–19. arXiv:1107.1123 [hep-ph]
I. Caprini, J. Fischer, \(\alpha _s\) from \(\tau \) decays: Contour-improved versus fixed-order summation in a new QCD perturbation expansion. Eur. Phys. J. C 64, 35–45 (2009). arXiv:0906.5211 [hep-ph]
I. Caprini, J. Fischer, Expansion functions in perturbative QCD and the determination of \(\alpha _s(M_\tau ^2)\). Phys. Rev. D 84, 054019 (2011). arXiv:1106.5336 [hep-ph]
G. Abbas, B. Ananthanarayan, I. Caprini, J. Fischer, Perturbative expansion of the QCD Adler function improved by renormalization-group summation and analytic continuation in the Borel plane. Phys. Rev. D 87(1), 014008 (2013). arXiv:1211.4316 [hep-ph]
G. Abbas, B. Ananthanarayan, I. Caprini, J. Fischer, Expansions of \(\tau \) hadronic spectral function moments in a nonpower QCD perturbation theory with tamed large order behavior. Phys. Rev. D 88(3), 034026 (2013). arXiv:1307.6323 [hep-ph]
I. Caprini, Conformal mapping of the Borel plane: going beyond perturbative QCD. Phys. Rev. D 102(5), 054017 (2020). arXiv:2006.16605 [hep-ph]
M. Beneke, Renormalons. Phys. Rept. 317, 1 (1999). arXiv:hep-ph/9807443
J. Bersini, A. Maiezza, J.C. Vasquez, Resurgence of the renormalization group equation. Ann. Phys. 415, 168126 (2020). arXiv:1910.14507 [hep-th]
A. Maiezza, J.C. Vasquez, Non-local Lagrangians from renormalons and analyzable functions. Ann. Phys. 407, 78–91 (2019). arXiv:1902.05847 [hep-th]
A. Maiezza, J.C. Vasquez, Resurgence of the QCD Adler function (2021). arXiv:2104.03095 [hep-ph]
E. Cavalcanti, Renormalons beyond the Borel plane. Phys. Rev. D 103(2), 025019 (2021). arXiv:2011.11175 [hep-th]
E. Cavalcanti, On the permanence of renormalons in compactified spaces (2021). arXiv:2011.04099 [hep-th]
C. Ayala, X. Lobregat, A. Pineda, Superasymptotic and hyperasymptotic approximation to the operator product expansion. Phys. Rev. D 99(7), 074019 (2019). arXiv:1902.07736 [hep-th]
C. Ayala, X. Lobregat, A. Pineda, Hyperasymptotic approximation to the top, bottom and charm pole mass. Phys. Rev. D 101(3), 034002 (2020). arXiv:1909.01370 [hep-ph]
G.S. Bali, C. Bauer, A. Pineda, Perturbative expansion of the plaquette to \({\cal{O}}(\alpha ^{35})\) in four-dimensional SU(3) gauge theory. Phys. Rev. D 89, 054505 (2014). arXiv:1401.7999 [hep-ph]
C. Ayala, X. Lobregat, A. Pineda, Hyperasymptotic approximation to the plaquette and determination of the gluon condensate. JHEP 12, 093 (2020). arXiv:2009.01285 [hep-ph]
C. Ayala, G. Cvetič, R. Kögerler, I. Kondrashuk, Nearly perturbative lattice-motivated QCD coupling with zero IR limit. J. Phys. G 45(3), 035001 (2018). arXiv:1703.01321 [hep-ph]
B.V. Geshkenbein, B.L. Ioffe, K.N. Zyablyuk, The check of QCD based on the \(\tau \)-decay data analysis in the complex \(q^2\)-plane. Phys. Rev. D 64, 093009 (2001). arXiv:hep-ph/0104048
B.L. Ioffe, QCD at low energies. Prog. Part. Nucl. Phys. 56, 232–277 (2006). arXiv:hep-ph/0502148
D.J. Broadhurst, Large N expansion of QED: asymptotic photon propagator and contributions to the muon anomaly, for any number of loops. Z. Phys. C 58, 339 (1993)
D.J. Broadhurst, A.L. Kataev, Connections between deep inelastic and annihilation processes at next to next-to-leading order and beyond. Phys. Lett. B 315, 179 (1993). arXiv:hep-ph/9308274
M. Beneke, Die Struktur der Störungsreihe in hohen Ordnungen, Ph.D. Thesis, Technische Universität München (1993)
D. Boito, M. Golterman, K. Maltman, S. Peris, Strong coupling from hadronic \(\tau \) decays: a critical appraisal. Phys. Rev. D 95(3), 034024 (2017). arXiv:1611.03457 [hep-ph]
D. Boito, M. Golterman, K. Maltman, S. Peris, Evidence against naive truncations of the OPE from \(e^+e^- \rightarrow \) hadrons below charm. Phys. Rev. D 100(7), 074009 (2019). arXiv:1907.03360 [hep-ph]
M. Neubert, Scale setting in QCD and the momentum flow in Feynman diagrams. Phys. Rev. D 51, 5924 (1995). arXiv:hep-ph/9412265
C. Contreras, G. Cvetič, O. Orellana, pQCD running couplings finite and monotonic in the infrared: when do they reflect the holomorphic properties of spacelike observables? J. Phys. Commun. 5(1), 015019 (2021). arXiv:2008.03818 [hep-ph]
A.H. Hoang, C. Regner, Borel representation of \(\tau \) hadronic spectral function moments in Contour-improved perturbation theory (2021). arXiv:2008.00578 [hep-ph]
A.H. Hoang, C. Regner, On the difference between FOPT and CIPT for hadronic tau decays (2021). arXiv:2105.11222 [hep-ph]
Y. Schröder, M. Steinhauser, Four-loop decoupling relations for the strong coupling. JHEP 0601, 051 (2006). https://doi.org/10.1088/1126-6708/2006/01/051. arXiv:hep-ph/0512058
B.A. Kniehl, A.V. Kotikov, A.I. Onishchenko, O.L. Veretin, Strong-coupling constant with flavor thresholds at five loops in the anti-MS scheme. Phys. Rev. Lett. 97, 042001 (2006). arXiv:hep-ph/0607202
A. Pich, A. Rodríguez-Sánchez, Updated determination of \(\alpha _s(m_\tau ^2)\) from tau decays. Mod. Phys. Lett. A 31(30), 1630032 (2016). arXiv:1606.07764 [hep-ph]
A. Pich, Precision physics with inclusive QCD processes. Prog. Part. Nucl. Phys. 117, 103846 (2021). arXiv:2012.04716 [hep-ph]
D. Boito, O. Catà, M. Golterman, M. Jamin, K. Maltman, J. Osborne, S. Peris, A new determination of \(\alpha _s\) from hadronic \(\tau \) decays. Phys. Rev. D 84, 113006 (2011). arXiv:1110.1127 [hep-ph]
D. Boito, M. Golterman, K. Maltman, S. Peris, M.V. Rodrigues, W. Schaaf, Strong coupling from an improved \(\tau \) vector isovector spectral function. Phys. Rev. D 103(3), 034028 (2021). arXiv:2012.10440 [hep-ph]
Mathematica programs (compatible with the version 11.1): SumRPMSbALEPHM2m090.m (when \(\langle O_{10} \rangle _{V+A}=0\)); SumRPMSbALEPHM2m090O10.m (when \(\langle O_{10} \rangle _{V+A}=0\) is varied). These programs call the subroutines: AdlerFunction4lMiniMOM.m; MSbarRenMod5A.save; aMSQ2complS_almtauinput.m; expdataALEPH.m; SumRthMSbar.save; the program and the subroutines are available on www page http://www.gcvetic.usm.cl/
D.J. Broadhurst, A.L. Kataev, C.J. Maxwell, Renormalons and multiloop estimates in scalar correlators: Higgs decay and quark mass sum rules. Nucl. Phys. B 592, 247–293 (2001). arXiv:hep-ph/0007152 [hep-ph]
Acknowledgements
This work was supported in part by FONDECYT (Chile) Grants No. 1200189 and No. 1180344, and Project PIIC (UTFSM).
Author information
Authors and Affiliations
Corresponding author
Appendix A: Renormalon structure of Adler function-related sum rules
Appendix A: Renormalon structure of Adler function-related sum rules
In this Appendix we will present relations between the renormalon structure of the Adler function \(d(Q^2)_{(D=0)}\) and the considered FESRs \(a^{(2,n)}({\sigma _{\mathrm{m}}})\) and double-pinched Borel–Laplace sum rules.
The \((D=0)\) parts of the theoretical side of the FESRs \(a^{(2,n)}({\sigma _{\mathrm{m}}})\), cf. Eqs. (30b) and (30d), consist of the following elements:
where \(x \equiv q^2/{\sigma _{\mathrm{m}}}= - Q^2/{\sigma _{\mathrm{m}}}= - e^{i \phi }\), and the perturbation expansion of \(d(Q^2)_{(D=0)}\) in powers \(a^{n+1}\) is given in Eq. (11), and in logarithmic derivatives \({{\widetilde{a}}}_{n+1}\) in Eq. (13) [cf. Eq. (14)]. The auxiliary quantity \({{\widetilde{d}}}(Q^2;\kappa )_{(D=0)}\) is defined then via the expansion Eq. (18) as expansion in powers \(a^{n+1}\). This auxiliary quantity is independent of the renormalisation scale parameter \(\kappa \) only when \(a(\kappa Q^2)\) runs according to the one-loop RGE, due to the (exact) identities (19).
On the basis of the sum rule quantity \(\delta _{x^n}^{(d)}\) of Eq. (A1) we define the corresponding sum rule quantity with \(d \mapsto {{\widetilde{d}}}\)
It is \(\kappa \)-independent only in the case of one-loop running of \(a(\kappa Q^2)\).
The Borel transform of \({{\widetilde{d}}}_{(D=0)}\), \(\mathcal{B}[{{\widetilde{d}}}](u;\kappa )\) of Eq. (20), has the exact \(\kappa \)-dependence as given in Eq. (21). The auxiliary quantity \({{\widetilde{d}}}_{(D=0)}\) is obtained from the Borel transform \(\mathcal{B}[{{\widetilde{d}}}]\) by the inverse Borel transformation
Further, if we apply in \({{\widetilde{d}}}({\sigma _{\mathrm{m}}}e^{i \phi };\kappa )_{(D=0)}\) in the sum rule (A2) the one-loop \((1 \ell )\) RGE running of \(a(\kappa {\sigma _{\mathrm{m}}}e^{i \phi })\) around \(\phi =0\)
then the quantity \(\delta _{x^n}^{({{\widetilde{d}}})}\) Eq. (A2), in this \((1 \ell )\)-approximation, turns out to be
which means that the Borel transform of \(\delta _{x^n}^{({{\widetilde{d}}}; 1 \ell )}\) isFootnote 37
The expression (A5) was obtained by using in the definition (A2) the \((1 \ell )\) version of the identity (A3)Footnote 38, exchange the order of integration over du and \(d \phi \), and use the \((1 \ell )\)-identity (A4b); the integration over \(d \phi \) is then trivial
leading to the identity (A5). The quantity \(\delta _{x^n}^{({{\widetilde{d}}}; 1 \ell )}\) Eq. (A5) is \(\kappa \)-independent because the Adler function auxiliary quantity \({{\widetilde{d}}}({\sigma _{\mathrm{m}}}e^{i \phi }; \kappa )_{(D=0)}\) in the integrand in Eq. (A2) is \(\kappa \)-independent when \(a(\kappa Q^2)\) runs according to the one-loop RGE
We point out that the coefficients \({{{\widetilde{d}}}}_n(\kappa )\) remain unaffected by this replacement \(a(\kappa Q^2) \mapsto a^{(1 \ell )}(\kappa Q^2)\), leading from Eq. (A3) to (A8). We can see also explicitly that the expression Eq. (A5) is \(\kappa \)-independent, because \(\mathcal{B}[{{{\widetilde{d}}}}](u; \kappa ) = \kappa ^u \mathcal{B}[{{{\widetilde{d}}}}](u)\) [Eq. (21)] and therefore by Eq. (A6)
and
When combining Eqs. (A9)–(A10), we see that the integrand on the right-hand side of Eq. (A5) [cf. also Eq. (A6)] is \(\kappa \)-independent and thus \(\delta _{x^n}^{({{\widetilde{d}}}; 1 \ell )}\) is \(\kappa \)-independent.
1.1 1. One-loop Borel transform of FESR auxiliary moments \({{\widetilde{a}}}^{(2,n)}\)
Using the identity (A5) we can now obtain directly the one-loop Borel transform of the \((D=0)\)-part of the FESR moments \(a^{(2,n)}\). The \((D=0)\) part of \(a^{(2,n)}\), at any loop order, is [cf. Eq. (30d)]
and the auxiliary (tilde) version is defined to be
in complete analogy with the definitions (A1) and (A2). When taking into account the explicit expression (30b) for the integrated weight function \(G^{(2,n)}(Q^2)\), we obtain
When \({{\widetilde{a}}}_{n+1}(\kappa Q^2)\) terms in \({{\widetilde{d}}}(Q^2, \kappa )\) in Eq. (A12) evolve according to the one-loop RGE from \(Q^2={\sigma _{\mathrm{m}}}\) to \(Q^2={\sigma _{\mathrm{m}}}e^{i \phi }\) [cf. also Eq. (A8)], we obtain
Using here the corresponding identities (A5)–(A6), the following one-loop Borel transform of the auxiliary (tilde) FESR momentum \({{\widetilde{a}}}^{(2,n)}({\sigma _{\mathrm{m}}})_{(D=0)}\) is obtained:
where we recall that the \((D=0)\) auxiliary Adler function \({{\widetilde{d}}}(Q^2; \kappa ) \equiv {{\widetilde{d}}}(Q^2; \kappa )_{(D=0)}\) was defined in Eq. (18) as a power series, and \(\mathcal{B}[{{\widetilde{d}}}](u; \kappa )\) is given as expansion in Eq. (20) and as the renormalon-motivated ansatz in Eq. (23). We point out that the expansion of the expression (A15) in powers of u generates the coefficients of the (one-loop) FOPT expansion of the sum rule \({{\widetilde{a}}}^{(2,n);(1 \ell )}({\sigma _{\mathrm{m}}})\), i.e., in powers of \(a^{(1 \ell )}(\kappa {\sigma _{\mathrm{m}}})\), as implied by the relation (A5). We argue here (and later on) that the superscript \((1 \ell )\) on the left-hand side of the relation (A15) can be omitted, because the coefficients of the (FOPT) expansion in powers of \(a(\kappa {\sigma _{\mathrm{m}}})\) of the quantity \({{\widetilde{a}}}^{(2,n)}({\sigma _{\mathrm{m}}};\kappa )\) are unchanged when in the expansion we replace \(a(\kappa {\sigma _{\mathrm{m}}}) \mapsto a^{(1 \ell )}(\kappa {\sigma _{\mathrm{m}}})\) [and thus obtain \({{\widetilde{a}}}^{(2,n);(1 \ell )}({\sigma _{\mathrm{m}}})\)], in complete analogy with Eqs. (A3) and (A8) for \({{\widetilde{d}}}\) and \({{\widetilde{d}}}^{(1 \ell )}\). Thus we can write \(\mathcal{B}[{{\widetilde{a}}}^{(2,n);(1 \ell )}({\sigma _{\mathrm{m}}})](u; \kappa ) = \mathcal{B}[{{\widetilde{a}}}^{(2,n)}({\sigma _{\mathrm{m}}})](u; \kappa )\).
We note that the identity (A15) implies, due to the factor \(\sin (\pi u)\), that for all \(n \ge 0\) we have suppression of the leading UV \(u=-1\) double-pole renormalon of \(\mathcal{B}[{{\widetilde{d}}}](u)\) [cf. Eq. (23)] into single-pole renormalon in the Borel transform \(\mathcal{B}[{{\widetilde{a}}}^{(2,n)}](u)\). Further, for \(n \ge 1\) the leading IR \(u=2\) (single-pole) of \(\mathcal{B}[{{\widetilde{d}}}](u)\) [\(\sim 1/(2-u)\)] disappears in \(\mathcal{B}[{{\widetilde{a}}}^{(2,n)}]\).
The IR renormalons which do not get suppressed in \(\mathcal{B}[{{\widetilde{a}}}^{(2,n)}]\) are \(u=(n+2)\) and \(u=(n+3)\). This is reflected in the survival of the condensates \(\langle O_D \rangle \) with \(D=2(n+2)\) and \(D=2(n+3)\) in \(a^{(2,n)}\), cf. Eq. (30d) where we assumed that the condensates in the OPE (5) are \(Q^2\)-independent [however, see the related discussion around Eq. (59)].
1.2 2. One-loop Borel transform of auxiliary Borel Laplace \({{\widetilde{b}}}\)
We will denote the \((D=0)\) part of the Borel–Laplace sum rule \(B_{\mathrm{th}}(M^2;{\sigma _{\mathrm{m}}})\) as \(B_{\mathrm{th}}(M^2;{\sigma _{\mathrm{m}}})_{(D=0)} \equiv b(M^2;{\sigma _{\mathrm{m}}})\), i.e., the contour integral in Eq. (31d) involving \(d({\sigma _{\mathrm{m}}}e^{i \phi })_{(D=0)}\). The corresponding auxiliary (tilde) quantity is then obtained by replacement \(d_{(D=0)} \mapsto {{\widetilde{d}}}_{(D=0)}\)
In an analogous way as in the previous Sect. 1, we then obtain the relation between the Borel transform of this quantity in the one-loop case and the Borel transform of \({{\widetilde{d}}}_{(D=0)}\)
Again, as in Eq. (A15), we see that, due to the factor \(\sin (\pi u)\), we have suppression of the leading UV \(u=-1\) double-pole renormalon of \(\mathcal{B}[{{\widetilde{d}}}](u)\) [cf. Eq. (23)] into single-pole renormalon in the Borel \(\mathcal{B}[{{\widetilde{b}}}^{(1 \ell )}(M^2)](u)\). We point out that the superscript \((1 \ell )\) on the left-hand side of the relation (A17) can be omitted, in analogy with the argument about Eq. (A15) (in the paragraph after that equation), i.e., we have \(\mathcal{B}[{{\widetilde{b}}}^{(1 \ell )}(M^2;{\sigma _{\mathrm{m}}})](u; \kappa ) = \mathcal{B}[{{\widetilde{b}}}(M^2;{\sigma _{\mathrm{m}}})](u; \kappa )\).
In order to obtain the identity (A17), the following integrations over angle \(\phi \) were performed [in addition to the integration (A7) with \(n=0\)]:
where \(m=0,1,2\), and \(\mathcal{A}={\sigma _{\mathrm{m}}}/M^2\) is a complex constant. The resulting expressions for these integrals are
The last identity (A19b) is obtained as the limit of the expression (A19a) when \(u=N+\epsilon \) and \(\epsilon \rightarrow 0\) (with \(N \ge m\) integer).
1.3 3. Relation with the full expansion coefficients
We will argue here that the results (A15) and (A17) give us information about the full (i.e., beyond one-loop approximation) FOPT expansion coefficients of the \((D=0)\) sum rule quantities \(a^{(2,n)}({\sigma _{\mathrm{m}}})_{(D=0)}\) and \(B_{\mathrm{th}}(M^2; {\sigma _{\mathrm{m}}})_{(D=0)} \equiv b(M^2;{\sigma _{\mathrm{m}}})\).Footnote 39
Here we will denote, for simplicity and generality, the sum rule quantity as \(\mathcal{R}({\sigma _{\mathrm{m}}})_{(D=0)} \equiv r({\sigma _{\mathrm{m}}})\), i.e., this can be \(a^{(2,n)}({\sigma _{\mathrm{m}}})_{(D=0)}\) or any FESR moment \(a^{(j,n)}({\sigma _{\mathrm{m}}})_{(D=0)}\), or Borel–Laplace sum rule \(b(M^2;{\sigma _{\mathrm{m}}})\). Further, we will denote the corresponding auxiliary quantity as \({{\widetilde{r}}}({\sigma _{\mathrm{m}}}; \kappa )\), in analogy with the function \({{\widetilde{d}}}(Q^2;\kappa )_{(D=0)}\) Eq. (18) which is auxiliary to the Adler function \(d(Q^2)_{(D=0)}\) Eqs. (11)–(13).
Starting with the renormalon-motivated expression for the Borel transform \(\mathcal{B}[{{\widetilde{d}}}](u)\) of Eq. (23) [cf. also Eqs. (21) and (20)], the relations (A15) and (A17) generate the coefficients of the auxiliary quantity \({{\widetilde{r}}}({\sigma _{\mathrm{m}}}; \kappa )\) which is related with the original sum rule \(r({\sigma _{\mathrm{m}}})\) in the same way as the auxiliary Adler function \({{\widetilde{d}}}(Q^2; \kappa )_{(D=0)}\) is related with the Adler function \(d(Q^2)_{(D=0)}\) [cf. Eqs. (11)–(18)]
where
In Eq. (A21b) we explicitly wrote down the auxiliary quantity \({{\widetilde{r}}}({\sigma _{\mathrm{m}}}; \kappa )\) at any loop level, in order to point out that it has identical coefficients as the one-loop version \({{\widetilde{r}}}^{(1 \ell )}({\sigma _{\mathrm{m}}})\) in Eq. (A21a). These generated coefficients \({{\widetilde{r}}}_n(\kappa )\) contain the full (i.e., beyond one-loop) information about the original sum rule quantity \(r({\sigma _{\mathrm{m}}})\) whose two variants of the perturbation expansion [’lpt’ and ’pt’, in analogy with Eqs. (13) and (11) for the Adler function] are
where we recall the definition (14) of the logarithmic derivatives \({{\widetilde{a}}}_{n+1}\). Here, \({{\widetilde{r}}}_n(\kappa )\) and \(r_n(\kappa )\) are interpreted as coefficients of the \({\widetilde{\mathrm{FOPT}}}\) expansion and of the FOPT expansion of the sum rule quantity \(r({\sigma _{\mathrm{m}}})\), respectively, with the renormalisation scale parameter \(\kappa \). The two sets are related in the same way Eq. (43) as the corresponding coefficients of the Adler function expansion coefficients Eq. (17).
It can be checked that the described construction of expansions (A22) represents the \({\widetilde{\mathrm{FOPT}}}\) expansion and of the FOPT expansion of the sum rules, by comparing the obtained coefficients with those obtained in the direct application (via Taylor expansions) of the \({\widetilde{\mathrm{FOPT}}}\) and the FOPT expansion as described in Sect. 4.2.1, Eqs. (39) and (42).
Furthermore, in order to understand better why the construction, leading via Eq. (A20) to expansions Eq. (A22), gives the usual \({\widetilde{\mathrm{FOPT}}}\) and FOPT expansions, we note that the logarithmic derivatives \({{\widetilde{a}}}_{n+1}\) as defined in Eq. (14), although being quantities which contain the information on the RGE running to any chosen loop level, simulate in all Taylor expansions the powers \((a^{(1 \ell )})^{n+1}\) of the one-loop coupling because of the relations [cf. Eq. (36)]
We can regard the powers \((a^{(1 \ell )})^{n+1}\) in the construction described in this Appendix as an instrument of provisional replacement: (a) in the full physical quantities we replace the (full) couplings \({{\widetilde{a}}}_{n+1}\): \({{\widetilde{a}}}_{n+1} \mapsto (a^{(1 \ell )})^{n+1}\); (b) thus the Borel transforms of the auxiliary power series can be constructed and the simple one-loop RGE running can be used in the relations involving such Borel transforms; (c) at the end, the inverse replacements \((a^{(1 \ell )})^{n+1} \mapsto {{\widetilde{a}}}_{n+1}\) are made [cf. Eqs. (A21a) and (A22a)].
The above arguments also show that the sum rules (which are timelike quantities) have FOPT perturbation expansions (A22b) for which the same renormalon-related arguments [29] can be applied as for the perturbation expansions of spacelike quantities such as the Adler function Eq. (11), except that now, instead of in general complex (and nonnegative) \(Q^2\), we have \(Q^2 = {\sigma _{\mathrm{m}}}>0\).Footnote 40 Specifically, if \({{\widetilde{r}}}({\sigma _{\mathrm{m}}})\) has a double-pole (DP) or a single-pole (SP) \(u=-1\) UV renormalon, the ’lpt’-expansion coefficients for large n behave as: \({{\widetilde{r}}}_n \sim (n+1)! (- \beta _0)^n\) (DP) and \({{\widetilde{r}}}_n \sim n! (- \beta _0)^n\) (SP). And the usual perturbation expansion (’pt’) cefficients \(r_n\) behave as \(r_n \sim \Gamma ({{\overline{\gamma }}}_1 + 1 +n) (-\beta _0)^n [1 + \mathcal{O}(1/n)]\) (DP) and \(r_n \sim \Gamma ({{\overline{\gamma }}}_1 +n) (-\beta _0)^n [1 + \mathcal{O}(1/n)]\) (SP) where \({{\overline{\gamma }}}_1=1 - c_1/\beta _0\) [cf. Eqs. (26) and (29)]. To illustrate this, we present in Table 7, which is analogous to Table 2 made for the coefficients of the Adler function, the expansion coefficients \(r_n\) for the FESR moment \(r({\sigma _{\mathrm{m}}}) = a^{(2,1)}({\sigma _{\mathrm{m}}})\) at increasing n, and we can see that at large n they are dominated by single-pole (SP) \(u=-1\) UV renormalon contribution (columns 4 and 5), not double-pole (DP, column 6) where no convergence of the corresponding ratio is seen when n increases.
For better visualisation of the behaviour of the various contributions (X=UV1, IR2, IR3) to the expansion coefficients, we present in Table 8, for \(\kappa =1\) the ratios of the lpt-coefficients \({{\widetilde{d}}}_n^{\mathrm{X}}/{{\widetilde{d}}}_n\) and the pt-coefficients \(d_n^{\mathrm{X}}/d_n\) of the renormalon-motivated Adler function extension \(d(Q^2)_{(D=0)}\), and in Table 9 the corresponding ratios of the (\(\widetilde{\mathrm{FOPT}}\)) lpt-coefficients \({{\widetilde{r}}}_n^{\mathrm{X}}/{{\widetilde{r}}}_n\) and the (FOPT) pt-coefficients \(r_n^{\mathrm{X}}/r_n\) of the moment \(a^{(2,1)}({\sigma _{\mathrm{m}}})_{(D=0)}\).
The three types of the coefficients \({{\widetilde{d}}}_n^{\mathrm{X}}\) are generated by the corresponding X-parts of the Borel transform \(\mathcal{B}[{{\widetilde{d}}}^{\mathrm{X}}](u)\) of Eq. (23):
The corresponding pt-coefficients \(d_n^{\mathrm{X}}\) were obtained by applying the linear transformations (17) to \({{\widetilde{d}}}_k^{\mathrm{X}}\) (instead of \({{\widetilde{d}}}_k\)).
The three types of the coefficients \({{\widetilde{r}}}_n^{\mathrm{X}}\) of the moment \(a^{(2,1)}({\sigma _{\mathrm{m}}})_{(D=0)}\) are generated by the Borel transform (A15) (for \(n=1\) there), where in the first factor on the right-hand side of Eq. (A15) we apply the corresponding part \(\mathcal{B}[{{\widetilde{d}}}^{\mathrm{X}}](u; \kappa )\) (\(\kappa =1\)), and the coefficients \(r_n^{\mathrm{X}}\) are obtained from \({{\widetilde{r}}}_k^{\mathrm{X}}\)’s by applying to them the linear tranformation (43) [cf. Eq. (17)].
Inspection of the Tables 8 and 9 leads to the following observations.
In Table 8 we see that the UV1 contribution becomes dominant in the (lpt-)coefficients \({{\widetilde{d}}}_n\) for \(n \ge 7\): \(0.85< |{{\widetilde{d}}}_n^{\mathrm{UV1}}/{{\widetilde{d}}}_n| <1.09\); \(|{{\widetilde{d}}}_n^{\mathrm{IR2}}/{{\widetilde{d}}}_n| < 0.16\); \(|{{\widetilde{d}}}_n^{\mathrm{IR3}}/{{\widetilde{d}}}_n| <0.02\). On the other hand, the UV1 contribution becomes dominant in the (pt-) coefficients \(d_n\) for \(n \ge 13\): \(0.79< |d_n^{\mathrm{UV1}}/d_n| <1.17\); \(|d_n^{\mathrm{IR2}}/d_n| < 0.22\); \(|d_n^{\mathrm{IR3}}/d_n| <0.01\).
In Table 9 we see that the UV1 contribution becomes dominant in the (\(\widetilde{\mathrm{FOPT}}\)) lpt-coefficients \({{\widetilde{r}}}_n\) for \(n \ge 8\): \(0.87< |{{\widetilde{r}}}_n^{\mathrm{UV1}}/{{\widetilde{r}}}_n| <1.11\); \(|{{\widetilde{r}}}_n^{\mathrm{IR2}}/{{\widetilde{r}}}_n| < 0.15\); \(|{{\widetilde{r}}}_n^{\mathrm{IR3}}/{{\widetilde{r}}}_n| <0.13\). On the other hand, the UV1 contribution becomes dominant in the (FOPT) pt-coefficients \(r_n\) for \(n \ge 15\): \(0.71< |r_n^{\mathrm{UV1}}/r_n| <1.24\); \(|r_n^{\mathrm{IR2}}/r_n| < 0.11\); \(|r_n^{\mathrm{IR3}}/r_n| <0.18\).
We point out that the IR2 renormalon contribution is not cancelled exactly in the moment \(a^{(2,1)}({\sigma _{\mathrm{m}}})_{(D=0)}\), because of the subleading IR2-term \(\sim \ln (1 - u/2)\) in the Borel transform \(\mathcal{B}[{{\widetilde{d}}}](u)\). Further, the aforementioned numerical behaviour of the IR2-type ratios \({{\widetilde{r}}}_n^{\mathrm{IR2}}/{{\widetilde{r}}}_n\) and \({{\widetilde{d}}}_n^{\mathrm{IR2}}/{{\widetilde{d}}}_n\) (as well as \(r_n^{\mathrm{IR2}}/r_n\) and \(d_n^{\mathrm{IR2}}/d_n\)) at high n might suggest that IR2 renormalon is not suppressed in the moment \(r({\sigma _{\mathrm{m}}}) = a^{(2,1)}({\sigma _{\mathrm{m}}})_{(D=0)}\), in contradiction with the conclusions coming from the identity (A15). However, we should keep in mind that the entire coefficients \({{\widetilde{r}}}_n\) (\(r_n\)) at high n get significantly suppressed in comparison with \({{\widetilde{d}}}_n\) (\(d_n\)) (cf. also Tables 2 and 7), due to the suppression of the dominant renormalon UV1 in the moment \(a^{(2,1)}({\sigma _{\mathrm{m}}})_{(D=0)}\): i.e., as explained earlier, at large n we have \({{\widetilde{d}}}_n \sim (n+1)! (-\beta _0)^n\) and \({{\widetilde{r}}}_n \sim n! (-\beta _0)^n\); the corresponding pt-coefficients are \(d_n \sim \Gamma ({{\overline{\gamma }}}_1 + 1 +n) (-\beta _0)^n [1 + \mathcal{O}(1/n)]\) and \(r_n \sim \Gamma ({{\overline{\gamma }}}_1 +n) (-\beta _0)^n [1 + \mathcal{O}(1/n)]\).
In the work [101], similar renormalon-dominated asymptotic behaviour of perturbation coefficient was found for spacelike and timelike quantities related with the scalar current-current correlator; the analysis in [101] was performed in the large-\(\beta _0\) approximation.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Ayala, C., Cvetič, G. & Teca, D. Determination of perturbative QCD coupling from ALEPH \(\tau \) decay data using pinched Borel–Laplace and Finite Energy Sum Rules. Eur. Phys. J. C 81, 930 (2021). https://doi.org/10.1140/epjc/s10052-021-09664-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-021-09664-x