Studies of fragmentation functions of heavy quarks, namely charm (c) and bottom (b), into heavy-flavoured hadrons, e.g.  D and B provide stringent tests of our understanding and modelling of strong interactions, in the presence of disparate energy scales. Similar to what happens for light-quark fragmentation, the evolution from the scale of the hard interaction down to the scale at which the hadronisation process turns quarks into observable hadrons can be described in perturbative Quantum ChromoDynamics (QCD) thanks to DGLAP equations, with time-like splitting functions. However, unlike the light-quark case, the masses of c and b are in the perturbative regime. Thus, for heavy flavours, the low-scale initial condition of the evolution can also be determined perturbatively.

Perturbative calculations are plagued by large logarithmic corrections of different kinematic origins. DGLAP evolution, together with the determination of the initial condition at the appropriate order, allows for the resummation of mass logarithms of collinear origin. The next-to-leading order (NLO) calculation was performed in [1, 2] and then extended to NNLO in [3,4,5,6,7]. On the other hand, one also encounters logarithms of soft origin that need to be resummed too. This is particularly relevant for heavy-quark production because, as it was realised in the early days, fragmentation functions of heavy quarks peak at large hadron energy fractions [8,9,10,11,12]. The resummation of soft logarithms was performed at leading logarithmic accuracy (LL) in [1, 2], extended to NLL in [13] and it is currently known to NNLL [14,15,16,17]. Central for the results presented in this letter, is the nontrivial interplay between the resummation of mass logarithms and soft ones [18,19,20,21].

To obtain phenomenological predictions that can be compared to experimental data, perturbative calculations must be supplemented with non-perturbative corrections that account for the hadronisation process. Several approaches exist in the literature, exploiting effective theories [14, 22, 23], renormalons [24, 25], and effective strong coupling [26, 27].

Detailed phenomenological studies for both b and c fragmentations in electron-positron (\(e^+e^-\)) collisions have been performed at NLO+NLL [28] and, more recently, at NNLO+ NNLL [29]. These studies constitute the starting point of this letter. In particular, we focus on charm fragmentation and show that by supplementing the standard NNLO+NNLL calculation of Ref. [29] with the consistent resummation of mass and soft logarithms developed in Ref. [21], we can alleviate a long-standing tension [28, 29] between the theoretical predictions and experimental data.

In this study, we consider Mellin moments of the (normalised) energy spectrum for a heavy-flavoured hadron H:

$$\begin{aligned} \Sigma (N,Q^2)=\frac{1}{\sigma }\int _0^1 dx\, x^{N-1}\frac{d \sigma }{d x}, \end{aligned}$$
(1)

where \(x=E_H/E_\text {beam}=2 E_H/Q\).Footnote 1 In the fragmentation function approach the mass of the heavy quark \(m_h\) sets a perturbative scale and is retained only as the regulator of the collinear singularities, while power corrections \(\frac{m_h^2}{Q^2}\) are neglected. Within this approximation, we can write Mellin moments of the spectrum in a factorised form

$$\begin{aligned} \Sigma (N,Q^2)&=\sigma _h(N,Q^2) D^\text {NP}_{h\rightarrow H}(N) \end{aligned}$$
(2)

with

$$\begin{aligned} \sigma _h(N,Q^2)&= \,\, \sum _{i=q,h,g} C_i\left( N,Q^2,\mu ^2\right) D_{i\rightarrow h}\left( N,\mu ^2,\mu _0^2\right) \nonumber \\&\qquad +\mathscr {O}\left( \frac{m_h^2}{Q^2} \right) \end{aligned}$$
(3)

where \(\sigma _h\) is perturbative cross section for the production of a heavy quark h and the sum in Eq. (3) runs over all massless partons, including the nominally heavy quark h. The first contribution is the perturbative coefficient function for the production of a massless parton i and it is evaluated at the scale \(\mu ^2\simeq Q^2\).Footnote 2 The second contribution is the heavy-quark fragmentation function evolved from the low scale \(\mu _0^2\simeq m_h^2\) to the hard scale \(\mu ^2\simeq Q^2\):

$$\begin{aligned} D_{i\rightarrow h}\left( N,\mu ^2\right) =\sum _j E_{ij}(N,\mu ^2,\mu _0^2)D_{j\rightarrow h}(N,\mu _0^2,m_h^2). \end{aligned}$$
(4)

Note that the initial condition is defined in a scheme in which the heavy flavour h is not active, while it does contribute to the evolution. It may happen that during the evolution a subsequent quark threshold is crossed. In such a case, the number of active flavours is increased by one unit and appropriate matching conditions are adopted [30]. Finally, \(D^\text {NP}_{h\rightarrow H}(N)\) describes the non-perturbative correction that must be fitted to experimental data.

An exceptionally interesting observable to study is the ratio of the above moments for the same process but at experiments performed at different centre-of-mass energies

$$\begin{aligned} R=\frac{ \Sigma (N,Q_A^2)}{ \Sigma (N,Q_B^2)}. \end{aligned}$$
(5)

Specifically, we consider the \(e^+e^-\) production of the charmed meson \(D^{*+}\) as measured by the ALEPH experiment at LEP at the Z boson peak, \(Q_A=m_Z\) [31] and by the CLEO collaboration near the \(\Upsilon (4S)\) resonance, \(Q_B=m_{\Upsilon (4S)}\) [32].Footnote 3

We expect the contributions from low-scale physics, i.e. the initial condition and its non-perturbative correction, to largely cancel in the ratio of Eq. (5). In particular, the non-perturbative correction cancels, while the perturbative initial condition does so if we restrict ourselves to the flavour non-singlet component, which constitutes the dominant contribution at large N [28]:

$$\begin{aligned} R_\text {pert}&=\frac{\sum _{i=q,c,g} C_i\left( N,Q^2_A,\mu _A^2\right) D_{i\rightarrow c}\left( N,\mu _A^2,\mu _0^2\right) D^\text {NP}_{c\rightarrow D^{*+}}(N)}{\sum _{i=q,c,g} C_i\left( N,Q_B^2,\mu _B^2\right) D_{i\rightarrow c}\left( N,\mu _B^2,\mu _0^2\right) D^\text {NP}_{c\rightarrow D^{*+}}(N) }\nonumber \\&\simeq \frac{C_h\left( N,Q^2_A,\mu _A^2\right) }{C_h\left( N,Q^2_B,\mu _B^2\right) }E(N,\mu _A^2,\mu _B^2), \; \text {with}\; \mu _{A,B}^2\simeq Q_{A,B}^2. \end{aligned}$$
(6)

Therefore, in the non-singlet approximation, the charm ratio should provide us with a direct test of perturbative evolution in QCD.

The comparison of the theoretical prediction for the charm ratio to the experimental data was first performed at NLO+ NLL in [28] and repeated at the subsequent order in [29].Footnote 4 The NNLO+NNLL results obtained with the code developed in [29], which also uses [34] for DGLAP evolution, are shown in Fig. 1. The input parameters are as follows: \(Q_A=91.2\) GeV, \(Q_B=10.6\) GeV, \(m_b=4.75\) GeV, \(m_c=1.5\) GeV, \(\alpha _{\text {S}}(m_Z^2)=0.118\). The uncertainty bands are obtained by reinstating separate \(\mu _{\text {R}},\mu _{0\text {R}},\mu _{\text {F}}\), and \(\mu _{0\text {F}}\) dependence and by varying them independently, as detailed in [29]. The only difference with respect to the original setup is the resummation of logarithms of \(\bar{N}= N e^{\gamma _E}\) rather than of N. At this order, this has a tiny effect on the central value and leads to a small reduction of the theoretical uncertainty.

The surprising result is a large discrepancy between theory and data. The discrepancy grows larger as N increases. In this region, which corresponds to \(x \rightarrow 1\) in momentum space, the ratio is dominated by the non-singlet and, therefore, the cancellation described in Eq. (6) should hold. In [28] it was speculated that the origin of such a discrepancy could be ascribed to non-perturbative power corrections to the coefficient functions, leading to

$$\begin{aligned} R_\text {pow-corr}^{a}=R_\text {pert}\times \frac{1+\frac{\Lambda ^a}{Q_A^a}\mathscr {C}(N)}{1+\frac{\Lambda ^a}{Q_B^a}\mathscr {C}(N)}, \end{aligned}$$
(7)

where we expect \(\mathscr {C}(1)=0\) and, from infrared renormalon calculations \(a=2\) [35, 36]. If we make the same ansatz \(\mathscr {C}(N)=N-1\) as [28], a one-parameter fit to the data returns the value \(\Lambda =1.87\) GeV for the non-perturbative scale, slightly larger than expected.

Fig. 1
figure 1

Ratio of moments of \(D^{*+}\) energy spectrum in \(e^+e^-\) collisions at two different centre-of-mass energies: \(Q_A=91.2\) GeV and \(Q_B=10.6\) GeV. The experimental data points, in black, are obtained by taking the ratio of ALEPH and CLEO measurements. The NNLO+NNLL theoretical prediction \(R_\text {pert}\) is obtained from Eq. (6), with \(m_c=1.5\) GeV, \(m_b=4.75\) GeV, and it is shown in red. The green curve instead corresponds to the NNLO+NNLL together with the non-perturbative factor with quadratic power corrections, i.e. \( R_\text {pow-corr}^{a=2}\), Eq. (7) and fitted \(\Lambda =1.87\) GeV

We note that perturbative power corrections \(\frac{m_c^2}{Q^2}\) are instead unlikely to explain the discrepancy because their coefficient cannot be linear in N but can grow at most as a power of \(\log N\), see e.g. [37] in which a matched calculation of massive and massless predictions show that these corrections are of limited importance. However, as recently pointed out in [21], when considering resummed spectra there can be subtle perturbative effects to be considered. The main result of [21], when restricted to real values of the Mellin variable N, is an all-order expression defined piecewise that, in each region, consistently resume both logarithms of N and logarithms of the heavy-quark mass, to NLL. In particular, two distinct effects are accounted for. The first one is the so-called dead cone effect [38, 39] for emissions collinear to the unmeasured (anti)quark. Following the arguments presented in [21], this contribution becomes relevant when

$$\begin{aligned} N> \frac{m_{\Upsilon (4S)}^2 }{m_c^2}e^{-\gamma _E}\simeq 30. \end{aligned}$$
(8)

This is outside the region considered in Fig. 1 and therefore not relevant to this discussion.

The second effect has to do with the treatment of heavy-quark thresholds in the resummed calculation of the perturbative coefficient function. When performing the all-order calculation for \(C_h(N)\) in the soft limit, we have to perform integrations over the running coupling, evaluated at the characteristic scale of each splitting, namely the relative transverse momentum \(k_t\). Thus, if we adopt the decoupling scheme, we have to use

$$\begin{aligned} \alpha _{\text {S}}(k_t^2)&= \alpha _{\text {S}}^{(5)}(k_t^2)\Theta (k_t^2-m_b^2) \nonumber \\&\quad +\alpha _{\text {S}}^{(4)}(k_t^2)\Theta (m_b^2-k_t^2)\Theta (k_t^2-m_c^2)\nonumber \\&\quad +\alpha _{\text {S}}^{(3)}(k_t^2)\Theta (m_c^2-k_t^2). \end{aligned}$$
(9)

We point out a couple of differences with respect to the calculation detailed in [21]. First, we note that because we are interested in charm fragmentation at scales \((Q_A,Q_B)\) above the bottom mass, we have to generalise the original calculation that only considered a single threshold. Second, rather than writing the result as the product of a measured jet function and a recoil one, as done in [21], we find it more convenient to express it as

$$\begin{aligned} \log C_\text {thr}(N,Q^2,\mu _{\text {F}}^2)=\Delta (N,Q^2,\mu _{\text {F}}^2)+\bar{J}(N,Q^2), \end{aligned}$$
(10)

with

$$\begin{aligned} \Delta (N,Q^2,\mu _{\text {F}}^2)&=\int ^1_{\frac{1}{\bar{N}}} \frac{{{\,\textrm{d}\,}}\!z}{z}\int ^{\mu _{\text {F}}^2}_{z^2 Q^2} \frac{{{\,\textrm{d}\,}}\!k_t^2}{k_t^2} A(\alpha _{\text {S}}(k_t^2))\nonumber \\ \bar{J}(N,Q^2)&=-\int ^1_{\frac{1}{\bar{N}}} \frac{{{\,\textrm{d}\,}}\!z}{z}\Big [\int ^{z Q^2}_{z^2 Q^2} \frac{{{\,\textrm{d}\,}}\!k_t^2}{k_t^2} A(\alpha _{\text {S}}(k_t^2))\nonumber \\&\quad +\frac{1}{2}B(\alpha _{\text {S}}(z Q^2))\Big ]\Theta \left( \frac{Q^2}{m_c^2}-\bar{N} \right) , \end{aligned}$$
(11)

where the dependence on the renormalisation scales is understood. The functions AB have an expansion in powers of \(\alpha _{\text {S}}\):

$$\begin{aligned} \begin{aligned} A(\alpha _{\text {S}})=\sum _{k} \left( \frac{\alpha _{\text {S}}}{\pi }\right) ^k A_{k},\quad B(\alpha _{\text {S}})=\sum _{k}\left( \frac{\alpha _{\text {S}}}{\pi }\right) ^k B_{k}. \end{aligned} \end{aligned}$$
(12)

To NLL we need \(A_{1}=C_{\text{ F }}\), \(A_{2}^{(n)}=\frac{C_{\text{ F }}C_{\text{ A }}}{2} \left( \frac{67}{18}-\zeta _2\right) -\frac{5}{9} n\), \( B_{1}=-\frac{3}{2}C_{\text{ F }}\), where n is the number of active flavours.

All the integrals in Eq. (11) can be performed at NLL accuracy using the coupling defined in Eq. (9) with its running at two loops:

$$\begin{aligned} \alpha _{\text {S}}^{(n)}(k_t^2)=\frac{\alpha _{\text {S}}^{(n)}(\mu _{n}^2)}{\ell }\left( 1-\frac{\beta _1^{(n)}}{\beta _0^{(n)}}\alpha _{\text {S}}^{(n)}(\mu _{n}^2)\frac{\log {\left( \ell \right) }}{\ell }\right) , \end{aligned}$$
(13)

where \(\ell =1+\alpha _{\text {S}}^{(n)}(\mu _{n}^2)\beta ^{(n)}_0\log {\frac{k_t^2}{\mu _{n}^2}}\), \(\beta _0^{(n)}=\frac{11 C_{\text{ A }}-2 n}{12 \pi }\), and \(\beta _1^{(n)}=\frac{17C_{\text{ A }}^2-5 C_{\text{ A }}n-3 C_{\text{ F }}n}{24 \pi ^2}\).

The result is expressed in terms of coefficient functions \(C^{(i)}_\text {thr}\) that have support on regions (i) that are identified by the hierarchy of the scales. In particular, for the values of the centre-of-mass energies, quark masses, and moments considered in this study (\(N\le 20\)), the charm ratio computed in this approximation is

$$\begin{aligned} R_\text {thr}= \frac{C^{(1)}_\text {thr}(N,Q_A^2,\mu _A^2)\Theta _{A,1}+C^{(2)}_\text {thr}(N,Q_A^2,\mu _A^2)\Theta _{A,2}}{\sum _{i=1}^{4}C^{(i)}_\text {thr}(N,Q_B^2,\mu _B^2)\Theta _{B,i}} \end{aligned}$$
(14)

with

$$\begin{aligned} \Theta _{A,1}&= \Theta \left( \frac{Q_A}{m_b}-\bar{N} \right) ,\quad \Theta _{A,2}= \Theta \left( \bar{N}-\frac{Q_A}{m_b}\right) , \nonumber \\ \Theta _{B,1}&= \Theta \left( \frac{Q_B}{m_b}-\bar{N} \right) ,\nonumber \\ \Theta _{B,2}&= \Theta \left( \bar{N}-\frac{Q_B}{m_b} \right) \Theta \left( \frac{Q_B^2}{m_b^2}-\bar{N} \right) , \nonumber \\ \Theta _{B,3}&= \Theta \left( \bar{N}-\frac{Q_B^2}{m_b^2} \right) \Theta \left( \frac{Q_B}{m_c}-\bar{N} \right) , \nonumber \\ \Theta _{B,4}&=\Theta \left( \bar{N}-\frac{Q_B}{m_c} \right) \Theta \left( \frac{Q_B^2}{m_c^2}-\bar{N} \right) . \end{aligned}$$
(15)

Details of the calculation can be found in [21], see also [40] for the extension to the multiple-threshold case. The renormalisation scales are chosen such that \(\mu _{3}\simeq m_c\), \(\mu _{4}\simeq m_b\), \(\mu _{5}\simeq Q_{A,B}\). Furthermore, since we are interested in the perturbative behaviour of the coefficient function, we fix \(\mu _{\text {F}}=Q_{A,B}\). The result Eq. (14) allows us to resum, in each region, logarithms of \(\bar{N}\) and \(\frac{m^2_{b,c}}{Q^2_{A,B}}\) to NLL accuracy.

Ideally, we would like to match the coefficient function computed in Eq. (10) with the one that appears in the theoretical prediction for the charm ratio in Eq. (6). However, while the latter is known to NNLL accuracy, the calculation performed in [21] upon which Eq. (14) only holds at NLL and its generalisation beyond this accuracy appears far from trivial. Nevertheless, we can note that the calculation of the charm ratio in the first region is the same as the one that appears in Eq. (6), albeit at a lower accuracy. This suggests to define a K-factor through

$$\begin{aligned} R_\text {thr}=\frac{C_\text {thr}^{(1)}(N,Q_A^2,\mu _A^2)}{C_\text {thr}^{(1)}(N,Q_B^2,\mu _B^2)} \times K_\text {thr}, \end{aligned}$$
(16)

with

$$\begin{aligned} K_\text {thr}=\frac{\Theta _{A,1}+r^{(2)}(N,Q_A^2,\mu _A^2)\Theta _{A,2}}{\sum _{i=1}^{4}r^{(i)}(N,Q_B^2,\mu _B^2)\Theta _{B,i}}, \; \; \text {and} \; \; r^{(i)}=\frac{C_\text {thr}^{(i)}}{C_\text {thr}^{(1)}}. \end{aligned}$$
(17)

We note that, for the kinematics that we are considering, \(r^{(i)}>1\). Furthermore, the correction \(r^{(2)}\) to the numerator of the K-factor is numerically rather small, in contrast to the ones in the denominator. Consequently, \(K_\text {thr}<1\). The K-factor’s perturbative uncertainty is evaluated by varying the renormalisation scales \(\mu _3\), \(\mu _4\), and \(\mu _5\) in the numerators of the ratios \(r^{(i)}\), by a factor of two, up and down, about their natural scales \(Q_A\) and \(Q_B\).Footnote 5

We can use the K-factor to correct Eq. (6) as follows

$$\begin{aligned} \widetilde{R}_\text {pert}=R_\text {pert} \times K_\text {thr}. \end{aligned}$$
(18)

Because \(K_\text {thr}<1\), we expect this improved theoretical prediction for the charm ratio to move in the direction of the data. The prediction obtained from Eq. (18) is shown in Fig. 2. The uncertainty band is obtained by combining in quadrature the uncertainties from the NNLO+NNLL calculation, Eq. (6) and from the K-factor, Eq. (17). We note that the discrepancy between the improved perturbative prediction and the experimental data is noticeably reduced compared to what we have seen in Fig. 1. NLL corrections due to quark thresholds in the running of the coupling indeed account for more than half of the difference between theory and experiment. This is almost entirely driven by the refined treatment of quark thresholds at the lower-energy experiment, CLEO, in this case. Indeed at higher scales, the b and c quarks behave as massless. We expect the situation to further improve when yet-unknown NNLL effects are included.

Meanwhile, it is instructive to repeat the study about non-perturbative power corrections with our improved perturbative predictions. Therefore, we define \(\widetilde{R}_\text {pow-corr}^{a}\) using Eq. (7) but with \(\widetilde{R}_\text {pert}\) instead of \(R_\text {pert}\):

$$\begin{aligned} \widetilde{R}_\text {pow-corr}^{a}=\widetilde{R}_\text {pert}\times \frac{1+\frac{\Lambda ^a}{Q_A^a}\mathscr {C}(N)}{1+\frac{\Lambda ^a}{Q_B^a}\mathscr {C}(N)}. \end{aligned}$$
(19)

Unsurprisingly, the fit to the experimental data now provides us with a reduced value for the non-perturbative scale \(\Lambda =1.35\) GeV. Furthermore, the resulting \(\widetilde{R}_\text {pert}\) appears to describe the data qualitatively better than \(R_\text {pert}\). Because of the different theoretical uncertainties in the two fits, it is difficult to assess this quantitatively. However, a simple \(\chi ^2\) test using only the central values does confirm that the fit using the improved theory has better quality.

To summarise, we have considered the so-called charm ratio, which is constructed with Mellin moments of the \(D^{*+}\) spectrum in \(e^+e^-\) collisions, at different centre-of-mass energies. It has been argued in the literature that this ratio provides a direct test of time-like DGLAP evolution. However, the comparison between (N)NLO+(N)NLL theoretical predictions to ALEPH/CLEO data resulted in a long-standing discrepancy [28, 29]. We have improved the all-order calculation by including in the resummed coefficient function heavy-quark mass effects recently derived at NLL in [21]. Our new theoretical prediction is much closer to the experimental data, hence reducing the size of the non-perturbative power corrections needed to describe them well. Given the numerical size of the effect, we believe that unknown NNLL corrections, in the decoupling scheme, could help further improve the agreement between theory and experiments. This motivates us to pursue this calculation.

Finally, we note that all-order threshold effects discussed here are also present in light-quark fragmentation. Although we expect their contribution to be diluted when singlet and non-singlet components are considered together, it would be interesting to investigate their impact on global fits [41,42,43,44,45,46].

Fig. 2
figure 2

Same as Fig. 1, but with the improved perturbative result \(\widetilde{R}_\text {pert}\), Eq. (18), in red, and \( \widetilde{R}_\text {pow-corr}^{a=2}\), Eq. (19), with fitted \(\Lambda =1.35\) GeV, in green