1 Introduction

The theory of strong interactions, Quantum Chromo Dynamics (QCD) [1,2,3,4] is a part of the Standard Model (SM) of particle physics via QCD corrections to all electroweak interactions [5,6,7] involving quarks. QCD has as the only free parameters the strong coupling constant, usually given as its value at the \(\mathrm {Z^0}\) mass scale \(\alpha _{\mathrm {S}}(m_{\mathrm {Z^0}})\), and the masses of the six quarks of the SM. The values of the strong coupling as well as of the quark masses depend on and decrease with the energy scale of the interaction, which is known as asymptotic freedom.

The mass of the b quark in the \(\overline{\mathrm {MS}}\) renormalisation scheme [8] was determined from analysis of B-hadron mass spectra and thus at energy scales corresponding to the B-hadron masses with the current world average \(m_{\mathrm {b}}(m_{\mathrm {b}})=(4.183\pm 0.004)\) GeV [9]. Measurements of the mass of the b quark at the energy scale of the \(\mathrm {Z^0}\) boson mass \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\) were performed by the LEP experiments using jet production with events tagged by B-hadron decays and next-to-leading order QCD calculations. A review [10] quotes \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})=(2.90\pm 0.31)\) GeV where the error is dominated by experimental and hadronisation systematic uncertainties. These results for the b quark mass in the \(\overline{\mathrm {MS}}\) scheme are different by more than four standard deviations and thus already provide strong evidence for the presence of a running b quark mass. This finding was recently reproduced and improved [11].

The new analysis [11] studied the dependence of the branching ratio of Higgs boson decays to a \(\mathrm {b\overline{b}}\) pair \(\Gamma (H\rightarrow \mathrm {b\overline{b}})\) normalised to the branching ratio for Higgs boson decays to a pair of \(\mathrm {Z^0}\) bosons. The branching ratio \(\Gamma (H\rightarrow \mathrm {b\overline{b}}) \sim m_{\mathrm {b}}(m_H)^2\) and therefore a measurement is highly sensitive to \(m_{\mathrm {b}}(m_H)\). The analysis obtains \(m_{\mathrm {b}}(m_H)=(2.60^{+0.36}_{-0.31})\) GeV from combined recent ATLAS and CMS measurements of \(\Gamma (H\rightarrow \mathrm {b\overline{b}})/\Gamma (H\rightarrow \mathrm {Z^0}\mathrm {Z^0})\), which has the same precision as the combined LEP measurements of \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\).

We propose to study the dependence of \(\mathrm {Z^0}\) boson properties connected with b quarks on the value of the b quark mass \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\) used in a SM prediction. The observables are the partial width \(\Gamma (Z\rightarrow \mathrm {b\overline{b}})\), the branching ratio \(BR(Z\rightarrow \mathrm {b\overline{b}})=\Gamma (Z\rightarrow \mathrm {b\overline{b}})/\Gamma _{Z,tot}\), where \(\Gamma _{Z,tot}\) is the total width of the \(\mathrm {Z^0}\) boson, and \(\mathrm {R_{0,b}}=\Gamma (Z\rightarrow \mathrm {b\overline{b}})/\Gamma (Z\rightarrow hadrons)\). A comparison of these predictions with precision measurements of these quantities can be used to extract \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\).

A determination of \(m_{\mathrm {b}}(m_H)\) from \(\Gamma (H\rightarrow \mathrm {b\overline{b}})\) assumes the Yukawa coupling of the Higgs boson to b quarks to have the expected SM value [11, 12]. A complementary determination of the b quark mass at high scales, i.e. \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\), but without direct dependence on the b quark Yukawa coupling, will thus help to resolve possible ambiguities.

We will briefly review the dependence of SM predictions for \(\mathrm {Z^0}\) boson properties on \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\), then explain the programs used to obtain predictions, compare the predictions to measurements with uncertainties as valid now and with uncertainties expected for the proposed future facility FCC-ee [13].

2 SM predictions as a function of \(m_b\)

The SM prediction for \(\Gamma (Z\rightarrow \mathrm {f\overline{f}})\), where \(\mathrm {f\overline{f}}\) is a pair of SM fermions, can be written as

$$\begin{aligned} \Gamma (Z\rightarrow \mathrm {f\overline{f}}) = \frac{G_fm_{\mathrm {Z^0}}^3}{24\sqrt{2}\pi } N_{C,f} (v_f^2R_f^V+a_f^2R_f^A) \end{aligned}$$
(1)

where \(G_F\) is the Fermi constant, \(N_{C,f}\) is the number of colours, and \(v_f\) and \(a_f\) are the vector and axial-vector couplings of the \(\mathrm {Z^0}\) to the fermions. The radiator functions \(R_f^V\) and \(R_f^A\) contain in the case of a \(\mathrm {q\overline{q}}\) pair the QCD corrections, see e.g. [14]. The leading QCD corrections to the radiator functions for \(\mathrm {Z^0}\rightarrow \mathrm {b\overline{b}}\) decaysFootnote 1 are

$$\begin{aligned} R^{V/A}(s) =&1 + R_1^{V/A}\frac{\alpha _{\mathrm {S}}}{\pi } + \left( \frac{m_{\mathrm {b}}(s)}{Q}\right) ^2 \nonumber \\&\left( R_0^{V/A(m)} + R_1^{V/A(m)}\frac{\alpha _{\mathrm {S}}}{\pi } \right) + \cdots \end{aligned}$$
(2)

where \(Q=\sqrt{s}\). The mass corrections up to \(\alpha _{\mathrm {S}}^3(m_{\mathrm {b}}/Q)^4\) and \(\alpha _{\mathrm {S}}^3(m_{\mathrm {b}}/Q)^2\) are known [15].

The observables depend on the b quark mass \(\sim -m_{\mathrm {b}}^2\) from the leading \(R_0^{A(m)}\) mass correction term [14] and thus one expects that predictions for the three observables will decrease quadratically with increasing \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\). In comparison to \(\Gamma (H\rightarrow \mathrm {b\overline{b}})\) the sensitivity of \(\Gamma (Z\rightarrow \mathrm {b\overline{b}})\) to \(m_{\mathrm {b}}(s)^2\) is suppressed by about a factor \(s=m_{\mathrm {Z^0}}^2\).

Predictions of the SM for \(\mathrm {Z^0}\) boson properties are available in the programs zfitter [16, 17] and Gfitter [18]. The last available version 6.42 of the zfitter program dates from 2006 and does not contain updates to SM predictions which appeared since this date. The Gfitter program was used for the last update of the electroweak precision fit in 2018 [19]. We use Gfitter version 2.2Footnote 2 and for comparison and cross checks zfitter version 6.42.Footnote 3

2.1 Gfitter predictions

The Gfitter program uses \(m_{\mathrm {b}}(m_{\mathrm {b}})\) in the \(\overline{\mathrm {MS}}\) scheme as input with a default value of \(m_{\mathrm {b}}(m_{\mathrm {b}})=4.2\) GeV. The Gfitter parameter mb_MSb is defined in the Gfitter datacard with a scan range from 1.0 to 6.0 GeV. We set in section GEWFlags of the Gfitter datacard the flag FullTwoLoop = “F”, which turns this option off, because the full two-loop prediction in Gfitter is a parametrisation without variation of \(m_{\mathrm {b}}(m_{\mathrm {b}})\). Using the Gfitter action FctOfFreePara =“T:mb_MSb:Nbins=50” the parameter mb_MSb is varied over its range with 50 points and the predictions for the active theory parameters are calculated. As active theory parameters we define GEW::R0b, GEW::GammaZhad and GEW::GammaZtot, where we implemented the class GammaZhad in the GEW package of Gfitter to provide the prediction for \(\Gamma (\mathrm {Z^0}\rightarrow hadrons)\). Using these three predicted parameters we can derive the observables \(\Gamma (Z\rightarrow \mathrm {b\overline{b}})\) and \(BR(Z\rightarrow \mathrm {b\overline{b}})\). The scan of mb_MSb is repeated for three values of \(\alpha _{\mathrm {S}}(m_{\mathrm {Z^0}})\) given by \(\alpha _{\mathrm {S}}(m_{\mathrm {Z^0}})=0.1179\pm 0.0010\). For the evaluation of theory uncertainties the N3LO terms \(C_{04}\alpha _{\mathrm {S}}^4\) and \(I_4\alpha _{\mathrm {S}}^4\) in the radiator functions are multiplied simultaneously by factors of zero or two with the Gfitter parameters DeltaAlphasTheoC05_Scale and DeltaAlphasTheoCMt4_ScaleFootnote 4 and the scans of mb_MSb are repeated.

2.2 Zfitter predictions

The zfitter program implements heavy quark masses in the on-shell (OS) scheme using a value of \(m_{\mathrm {b}}^{\mathrm {OS}}=4.7\) GeV. The on-shell mass is converted in zfitter to the running mass in the \(\overline{\mathrm {MS}}\) scheme and then evolved to the \(\mathrm {Z^0}\) mass scale. The zfitter program calculates and prints the predictions of \(\mathrm {Z^0}\) properties such as \(\Gamma (\mathrm {Z^0}\rightarrow \mathrm {b\overline{b}})\) via the routine ZVWEAK. The value of the input OS b quark mass \(m_{\mathrm {b}}^{\mathrm {OS}}\) is varied over a range from 1.0 to 7.0 GeV in steps of 0.2 GeV. The scan of \(m_{\mathrm {b}}^{\mathrm {OS}}\) is repeated for three values of \(\alpha _{\mathrm {S}}(m_{\mathrm {Z^0}})\) given by \(\alpha _{\mathrm {S}}(m_{\mathrm {Z^0}})=0.1179\pm 0.0010\).

2.3 Mass scheme conversion and mass evolution

In Gfitter the \(\overline{\mathrm {MS}}\) mass with a nominal value of \(m_{\mathrm {b}}(m_{\mathrm {b}})=4.2\) GeV is used as input. We use 4-loop evolution of \(\overline{\mathrm {MS}}\) quark masses to present Gfitter results at the \(\mathrm {Z^0}\) mass scale. For all computations the same value of \(\alpha _{\mathrm {S}}(m_{\mathrm {Z^0}})=0.1179\pm 0.0010\) as above is applied. The calculations available in CRunDec [20,21,22] are used for all mass transformations.Footnote 5 For estimating systematic uncertainties we change the value of \(\alpha _{\mathrm {S}}(m_{\mathrm {Z^0}})\) inside its errors, or change the number of loops, i.e. the perturbative accuracy, from the standard value of four to three.

In zfitter the OS mass \(m_{\mathrm {b}}^{\mathrm {OS}}\) is used as an input parameter. In order to present results at the \(\mathrm {Z^0}\) mass scale we convert from the OS to the \(\overline{\mathrm {MS}}\) mass definition at the scale of \(m_{\mathrm {b}}^{\mathrm {OS}}\) using the 4-loop calculations implemented in CRunDec. The resulting \(m_{\mathrm {b}}(m_{\mathrm {b}}^{\mathrm {OS}})\) value is evolved at 4-loop accuracy to \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\).

Fig. 1
figure 1

Figures ac show Gfitter predictions for the three observables as a function of \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\). The horizontal dash-dotted lines indicate the measurements from LEP and SLD. The horizontal and vertical solid and dashed lines display the correspondence between a hypothetical determination based on the Gfitter default value \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})=2.88\) GeV (\(m_{\mathrm {b}}(m_{\mathrm {b}})=4.2\) GeV), and results for \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\). The dotted lines show the same correspondence for experimental uncertainties reduced by a factor 1/10 (see text for details)

Table 1 Results for \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\) uncertainties [GeV] with Gfitter for the three observables with either the actual uncertainties from LEP and SLD or uncertainties reduced by a factor 1/10. \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})=2.88\) GeV is used in all cases

3 Results

The LEP and SLD results for the three observables are \(\Gamma (\mathrm {Z^0}\rightarrow \mathrm {b\overline{b}}) = 377.3 \pm 1.2\) MeV, \(BR(Z\rightarrow \mathrm {b\overline{b}}) = 15.121 \pm 0.048\)% and \(\mathrm {R_{0,b}}= 0.21628 \pm 0.00066\) [23]. The values and errors shown are from the determinations assuming lepton universality. The relative total uncertainties are 0.3% for all three observables.

The predictions by Gfitter are presented below. All plots on Fig. 1 show as solid black lines the Gfitter predictions for the observables as indicated as a function of \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\). The expected decrease of the observables \(\sim (m_{\mathrm {b}}(m_{\mathrm {Z^0}}))^2\) is clearly visible.

On all plots of Fig. 1 the horizontal dash-dotted lines indicate the LEP and SLD results [23]. On Fig. 1a–c the horizontal and vertical solid lines indicate the value of the observable leading to a result \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})=2.88\) GeV (\(m_{\mathrm {b}}(m_{\mathrm {b}})=4.2\) GeV), i.e. the nominal Gfitter value. The horizontal dashed lines indicate the actual uncertainties from the LEP and SLD results applied to the nominal value calculated by Gfitter and the vertical dashed lines thus indicate the corresponding uncertainty region for \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\). The uncertainties of a hypothetical determination of \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})=2.88\) GeV have values between approximately one and two GeV.

The actual LEP and SLD results with their uncertainties cannot be used to derive a determination of \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\), since already their one s.d. upper uncertainty intervals cover regions not accessible by the predictions. The incompatibility is less pronounced for \(\mathrm {R_{0,b}}\), where possible biases to the hadronic and \(\mathrm {b\overline{b}}\) widths of the \(\mathrm {Z^0}\) boson can cancel more effectively in the ratio.

Comparing the three observables we find that the uncertainties of the hypothetical determinations of \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\) increase from \(\Gamma (\mathrm {Z^0}\rightarrow \mathrm {b\overline{b}})\) to \(\mathrm {R_{0,b}}\). This can be explained by the fact that \(BR(Z\rightarrow \mathrm {b\overline{b}})\) and \(\mathrm {R_{0,b}}\) are normalised by the total or hadronic width of the \(\mathrm {Z^0}\), which also depend on \(m_{\mathrm {b}}\) leading to a reduction of the experimental sensitivity.

The horizontal dotted lines in Fig. 1a–c present the same hypothetical determination as above with total uncertainties taken as 1/10th of the actual uncertainties. The studies in [13] for possible precision measurements of \(\mathrm {Z^0}\) boson properties at FCC-ee show that such a precision could be reached. The resulting uncertainties for a possible determination of \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\) are shown by the dotted vertical lines. We conclude that with measurements of the observables with such small uncertainties precise determinations of \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\) can be obtained.

With a numerical evaluation of the hypothetical determination of \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\) we study theoretical uncertainties. The value of \(\alpha _{\mathrm {S}}(m_{\mathrm {Z^0}})=0.1179\pm 0.0010\) is varied within its uncertainties for the Gfitter predictions. The results are shown in Table 1. The theory uncertainty (see Sect. 2.1) is presented in the last column labeled “N3LO unc.”.

We find that an assumed reduction of the experimental uncertainties from LEP and SLD by a factor 1/10 leads to a corresponding reduction of the experimental uncertainty of \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\) by about the same factor. Furthermore, as observed above, the experimental uncertainties increase slightly from \(\Gamma (\mathrm {Z^0}\rightarrow \mathrm {b\overline{b}})\) to \(\mathrm {R_{0,b}}\) also with the reduced measurement errors. However, the uncertainty of the predictions due to variation of \(\alpha _{\mathrm {S}}(m_{\mathrm {Z^0}})=0.1179\pm 0.0010\) is smaller for \(BR(Z\rightarrow \mathrm {b\overline{b}})\) w.r.t. \(\Gamma (\mathrm {Z^0}\rightarrow \mathrm {b\overline{b}})\) and is negligible for the determination of \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\) derived from a measurement of \(\mathrm {R_{0,b}}\). This effect was already discussed for \(\mathrm {R_{0,b}}\) in [24]. The relative total uncertainty on \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\) with reduced uncertainties is about 5%.

The N3LO theory uncertainties are smaller than the experimental uncertainties with the expected measurements at a future FCC-ee. The N3LO theory uncertainties are smaller than the \(\alpha _{\mathrm {S}}(m_{\mathrm {Z^0}})\) uncertainty for \(\Gamma (\mathrm {Z^0}\rightarrow \mathrm {b\overline{b}})\), they are about the same size for \(BR(Z\rightarrow \mathrm {b\overline{b}})\), and for \(\mathrm {R_{0,b}}\) they are larger than the \(\alpha _{\mathrm {S}}(m_{\mathrm {Z^0}})\) uncertainty.

The b quark mass is set in Gfitter as \(m_{\mathrm {b}}(m_{\mathrm {b}})\) which is a technical limitation in the analysis, since this value must be evolved to \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\), even though the SM prediction could be used directly with \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\) as a free parameter. As a test of the additional uncertainty introduced by the evolution from \(m_{\mathrm {b}}(m_{\mathrm {b}})\) to \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\) the value of \(\alpha _{\mathrm {S}}(m_{\mathrm {Z^0}})=0.1179\pm 0.0010\) is changed within its errors and the perturbative order of the calculation is changed from 4-loop to 3-loop precision. The corresponding uncertainties for \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\) are \(_{-0.04}^{+0.03}\) (\(\alpha _{\mathrm {S}}(m_{\mathrm {Z^0}})\)) and \(\pm 0.10\) (pert. order). Since these uncertainties would not appear if \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\) could be varied directly we do not show them in Table 1.

It was checked that the results for the uncertainties are consistent with the results from zfitter.

4 Conclusions

We have studied the possibility to determine \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\) from precision measurements of \(\mathrm {Z^0}\) boson properties from LEP and SLD or the proposed future \(\mathrm {e^+e^-}\) facility FCC-ee. The theory predictions for the three observables \(\Gamma (\mathrm {Z^0}\rightarrow \mathrm {b\overline{b}})\), \(BR(Z\rightarrow \mathrm {b\overline{b}})\), and \(\mathrm {R_{0,b}}\) are obtained from the program Gfitter as functions of the b quark mass \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\), evolved from the Gfitter input parameter \(m_{\mathrm {b}}(m_{\mathrm {b}})\). A comparison of the predictions with actual measurements from LEP and SLD does not provide a meaningful extraction of \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\). Using expected central values with current uncertainties corresponding to the input b quark mass of the predictions we find that with the data from LEP and SLD the uncertainties for \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\) from the analysis of \(\mathrm {Z^0}\) boson properties would be between one and two GeV. These uncertainties are much larger than other existing determinations of \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\) from jet production in b-tagged events at LEP or \(m_{\mathrm {b}}(m_H)\) from Higgs boson decays to b quark pairs.

Using the expected uncertainties for measurements of \(\mathrm {Z^0}\) boson properties at the future \(\mathrm {e^+e^-}\) collider FCC-ee, which are taken to be smaller by a factor 1/10 w.r.t. the current uncertainties, a determination of \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\) with a relative error of 5% is possible. The total uncertainty would be dominated by the experimental errors in all cases. Depending on the observable either the uncertainty from the current world average value of \(\alpha _{\mathrm {S}}(m_{\mathrm {Z^0}})\) or from the N3LO theory error would be the second largest uncertainty.

At future \(\mathrm {e^+e^-}\) colliders determinations of \(m_{\mathrm {b}}(m_H)\) with O(10) MeV precision could be obtained [11]. The uncertainty for a determination of \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\) from jet production in b-tagged hadronic final states in \(\mathrm {e^+e^-}\) annihilation at the proposed ILC based on a large sample of \(\mathrm {Z^0}\) boson decays was estimated as \(\Delta m_{\mathrm {b}}(m_{\mathrm {Z^0}})=0.12\) GeV [25]. This uncertainty is dominated by theory uncertainties. Our proposed determination of \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\) is thus expected to have a comparable uncertainty with complementary sources of uncertainties.

A precision determination of \(m_{\mathrm {b}}(m_{\mathrm {Z^0}})\) from \(\mathrm {Z^0}\) boson decays combined with improved determinations of \(m_{\mathrm {b}}(m_H)\) from Higgs boson decays would constitute a new and stringent test of the SM. The b quark couples to the \(\mathrm {Z^0}\) via the electroweak interaction and the observed mass is related to the strong interaction while the Higgs boson couples to the b quark directly via its Yukawa coupling. It will be interesting to see such a test become reality with data from future experimental facilities.