1 Introduction

The unitary CKM matrix [1, 2] can be conveniently parametrized by the four parameters

(1)

with \(\beta \) and \(\gamma \) being two angles in the UT, shown in Fig. 1.

By now \(|V_{us}|\), \(\beta \) and \(\gamma \), as measured in tree-level decays, are found to be [3].

$$\begin{aligned} |V_{us}|=0.2253(8),\quad \beta =22.2(7)^\circ , \quad \gamma = (65.4^{+3.8}_{-4.2})^\circ . \end{aligned}$$
(2)

Moreover, in the coming years the determination of \(\gamma \) by the LHCb [4, 5] and Belle II [6] collaborations should be significantly improved with the uncertainty brought down to \(1^\circ \). Also some reduction of the error on \(\beta \) from tree-level decays is expected. A review of various methods can be found in Chapter 8 in [7].

The situation with \(|V_{cb}|\) is very different. There is a persistent tension between its inclusive and exclusive determinations [8, 9]Footnote 1

$$\begin{aligned} |V_{cb}|_\mathrm{incl}{=}42.16(50){\times } 10^{-3}, \ |V_{cb}|_\mathrm{excl}{=}39.21(62)\times 10^{-3},\nonumber \\ \end{aligned}$$
(3)

which is clearly disturbing. This is the case when one makes SM predictions for rare K and B decays branching ratios and for quark mixing observables like \(\Delta M_s\), \(\Delta M_d\) and \(\varepsilon _K\). In particular rare K decay branching ratios, like the ones for \(K^+\rightarrow \pi ^+\nu \bar{\nu }\) and \(K_{L}\rightarrow \pi ^0\nu \bar{\nu }\), exhibit \(|V_{cb}|^{2.8}\) and \(|V_{cb}|^4\) dependence, respectively, while \(|\varepsilon _K|\) the \(|V_{cb}|^{3.4}\) one [10]. B physics observables exhibit typically \(|V_{cb}|^2\) dependence. This implies large modifications in the SM predictions for the observables in question when the inclusive values of \(|V_{cb}|\) are replaced by the exclusive ones [11].

This problematic is not seen directly in the usual UT plots [12, 13], simply because \(|V_{cb}|\) does not enter Fig. 1 explicitly. Moreover the bands resulting from rare K decays and \(\varepsilon _K\) are bound to be broad because these observables being very sensitive to \(|V_{cb}|\) suffer from this large parametric uncertainty. However, already in 1994, it has been pointed out in [14] that the branching ratio for \(K_{L}\rightarrow \pi ^0\nu \bar{\nu }\) growing like \(|V_{cb}|^4\) is a powerful tool to determine \(|V_{cb}|\) in the absence of NP provided its branching ratio could be measured precisely. But even a measurement of this branching ratio with \(10\%\) accuracy would determine \(|V_{cb}|\) with an error of \(2.5\%\) because in this decay the hadronic uncertainties are negligible. A similar comment applies to \(K^+\rightarrow \pi ^+\nu \bar{\nu }\) up to long distance charm quark contribution and to \(\varepsilon _K\), for which the theoretical uncertainties have been recently reduced [15].

It is then evident that the usual UT plots are not the arena where this nice property of Kaon processes can be used properly and in fact it becomes their Achilles tendon there. Moreover, the \(|V_{cb}|\) problematic cannot be properly monitored with the help of the UT plots as \(|V_{cb}|\) is hidden in computer codes. In my view this is a deficiency which could be eliminated if the usual UT plots were accompanied by the \(|V_{cb}|-\gamma \) plots proposed recently in collaboration with Elena Venturini in [10, 11, 16]. Indeed, as far as \(|V_{cb}|\) and \(\gamma \) are concerned the \(|V_{cb}|-\gamma \) plots are superior to the usual UT plots in three ways:

  • They exhibit \(|V_{cb}|\) and its correlation with \(\gamma \) determined through a given observable in the SM, allowing thereby monitoring the progress on both parameters expected in the coming years. Violation of this correlation in experiment will clearly indicate new physics (NP) at work.

  • They utilize the strong sensitivity of rare K decay processes to \(|V_{cb}|\) thereby providing precise determination of \(|V_{cb}|\) even with modest experimental precision on their branching ratios.

  • They exhibit the action of \(\Delta M_s\) and of \(B_s\) decays together with other processes. In particular the recently found anomaly in \(B_s\rightarrow \mu ^+\mu ^-\) decay [11, 17] can be exhibited in this manner which is not possible in a UT-plot.

It appears then that the \(|V_{cb}|-\gamma \) plots for \(\Delta M_s\), \(\Delta M_d\) and \(\varepsilon _K\) presented in [10, 11] are more useful in this context than the usual UT plots that exhibit the impact of quark mixing and rare decays in the \((\bar{\varrho },\bar{\eta })\) plane [18, 19]. The goal of the present paper is to demonstrate the usefulness of \(|V_{cb}|-\gamma \) plots also for \(K^+\rightarrow \pi ^+\nu \bar{\nu }\), \(K_{L}\rightarrow \pi ^0\nu \bar{\nu }\), \(B_s\rightarrow \mu ^+\mu ^-\) and \(B_d\rightarrow \mu ^+\mu ^-\) decays. Clearly, other decays can be considered as well, in particular the short distance contribution to \(K_S\rightarrow \mu ^+\mu ^-\) which has the same CKM dependence as \(K_{L}\rightarrow \pi ^0\nu \bar{\nu }\).

Despite these comments we do not claim by no means that during the RUN 3 of the LHC and the Belle II era the UT plots should be abandoned. Indeed with improved measurements of various observables they will exhibit the CKM unitarity tests

$$\begin{aligned} \gamma \Leftrightarrow \frac{\Delta M_d}{\Delta M_s}, \qquad \beta \Leftrightarrow \frac{|V_{ub}|}{|V_{cb}|}, \end{aligned}$$
(4)

with \(\gamma \) and \(\beta \) measured in tree level non-leptonic B-decays. In this sense they offer complementary tests of the SM. Explicit relations like the ones in (4) are collected in Chapters 2 and 8 in [7] and some of them will be given below.

It should be remarked that the authors of [20] performed recently a determination of \(|V_{cb}|\) and \(|V_{ub}|\) from loop processes, rare decays and quark mixing, by assuming no NP contributions to these observables. To this end they used only well measured observables in the B system and \(\varepsilon _K\). This strategy has already been explored in [21] where \(\varepsilon _K\), \(\Delta M_d\) and \(\Delta M_s\) and \(S_{\psi K_S}\) have been considered. This was also the case of the analyses in [10, 11].

Our present analysis extends the \(|V_{cb}|-\gamma \) strategy, developed in [10, 11], to rare K decays, not considered in [20], resurrecting some old ideas from the 1990s [14, 22, 23] and improving significantly on them. In this context it should be noted that in [22] the possibility of the determination of \(\beta \) from \(K^+\rightarrow \pi ^+\nu \bar{\nu }\) and \(K_{L}\rightarrow \pi ^0\nu \bar{\nu }\), basically independently of \(|V_{cb}|\) and \(\gamma \), has been pointed out. As pointed out recently in [10] \(\beta \) can also be determined practically independently of \(|V_{cb}|\) and \(\gamma \) either from \(K^+\rightarrow \pi ^+\nu \bar{\nu }\) and \(|\varepsilon _K|\) or \(K_{L}\rightarrow \pi ^0\nu \bar{\nu }\) and \(|\varepsilon _K|\).

The determination of \(|V_{cb}|\) from \(K_{L}\rightarrow \pi ^0\nu \bar{\nu }\) alone proposed in [14] requires still the value of \(\gamma \) as we will see explicitly in Sect. 3. In [23] the determination of the full CKM matrix has been achieved with the help of the measurement of \(K_{L}\rightarrow \pi ^0\nu \bar{\nu }\) and of the angle \(\alpha \) in the UT in tree-level decays. However, from the present perspective, the use of \(\gamma \) is favoured over \(\alpha \) because of smaller hadronic uncertainties in its tree-level determinations.

The outline of our paper is as follows. In Sect. 2 we recall some useful expressions related to the CKM matrix and the SM formulae for the seven observables in question that exhibit their dependence on the CKM parameters in (1). In Sect. 3 we list useful formulae for \(|V_{cb}|\) as a function of \(\gamma \) and \(\beta \) resulting from the magnificent seven observables considered by us. We illustrate the application of these formulae by presenting a few examples of the \(|V_{cb}|-\gamma \) plots. A brief summary and an outlook are given in Sect. 4.

2 Basic formulae

2.1 Elements of the CKM Matrix and the UT

It will be useful to recall first a number of very accurate expressions related to the UT shown in Fig. 1 that exhibit the absence of \(|V_{cb}|\) in the usual UT plots. With \(\lambda =|V_{us}|\) we have

Fig. 1
figure 1

The unitarity triangle

$$\begin{aligned} R_t= & {} \sqrt{(1-\bar{\rho })^2 +\bar{\eta }^2} =\frac{1}{\lambda } \left| \frac{V_{td}}{V_{cb}} \right| ,\nonumber \\ R_b= & {} \sqrt{\bar{\rho }^2 +\bar{\eta }^2} = \left( 1-\frac{\lambda ^2}{2}\right) \frac{1}{\lambda } \left| \frac{V_{ub}}{V_{cb}} \right| . \end{aligned}$$
(5)

But

$$\begin{aligned} |V_{td}|= & {} \lambda |V_{cb}|\sin \gamma ,\qquad |V_{ts}|=G(\beta ,\gamma )|V_{cb}|,\nonumber \\ |V_{ub}|= & {} {\lambda \sqrt{\sigma }} |V_{cb}|\sin \beta , \end{aligned}$$
(6)

where

$$\begin{aligned} G(\beta ,\gamma )= 1 +\frac{\lambda ^2}{2}(1-2 \sin \gamma \cos \beta ),\quad \sigma = \left( \frac{1}{1- \frac{\lambda ^2}{2}} \right) ^2. \nonumber \\ \end{aligned}$$
(7)

Consequently

$$\begin{aligned} R_t= \sin \gamma , \quad R_b=\sin \beta \, \end{aligned}$$
(8)

so that \(|V_{cb}|\) disappears.

2.2 The magnificent seven

Explicit expressions for various observables in terms of the CKM parameters in (1), used in our paper, are the ones from [10] modified only by adjusting some reference input as stated below.

For \(\Delta M_d\) and \(\Delta M_s\) they are

$$\begin{aligned} \Delta M_d= & {} 0.5065/\mathrm{ps}\,\left[ \frac{\sqrt{\hat{B}_{B_d}}F_{B_d}}{210.6\text {MeV}}\right] ^2 \left[ \frac{S_0(x_t)}{2.307}\right] \nonumber \\&\times \left[ \frac{|V_{td}|}{8.67\times 10^{-3}} \right] ^2 \left[ \frac{\eta _B}{0.5521}\right] , \end{aligned}$$
(9)
$$\begin{aligned} \Delta M_{s}= & {} 17.749/\mathrm{ps}\,\left[ \frac{\sqrt{\hat{B}_{B_s}}F_{B_s}}{256.1\text {MeV}}\right] ^2 \left[ \frac{S_0(x_t)}{2.307}\right] \nonumber \\&\times \left[ \frac{|V_{ts}|}{41.9\times 10^{-3}} \right] ^2 \left[ \frac{\eta _B}{0.5521}\right] . \end{aligned}$$
(10)

The value 2.307 in the normalization of \(S_0(x_t)\) is its SM value for \(m_t(m_t)=162.83\,\text {GeV}\). The central values of \(|V_{td}|\) and \(|V_{ts}|\) exposed here are chosen to make the overall factors in these formulae to be equal to the experimental values of the two observables. The reference values for \(\sqrt{\hat{B}_{B_d}}F_{B_d}\) and \(\sqrt{\hat{B}_{B_s}}F_{B_s}\) are those from the HPQCD collaboration [24] as used by us already in [11]. Correspondingly also the resulting reference values for \(|V_{td}|\) and \(|V_{ts}|\) agree perfectly with those quoted in [24]. Similar results for \(\Delta M_d\) and \(\Delta M_s\) hadronic matrix elements have been obtained within the HQET sum rules in [25, 26], respectively.

Of importance is also the mixing induced CP-asymmetry in the SM [3]

$$\begin{aligned} S_{\psi K_S}=\sin 2\beta =0.699(17), \end{aligned}$$
(11)

which implies the value of \(\beta \) in (2).

Next [10],

$$\begin{aligned} |\varepsilon _K|= & {} {2.224}\times 10^{-3} \, \left[ \frac{|V_{cb}|}{42.6 \times {10^{-3}}} \right] ^{3.4}\nonumber \\&\times \left[ \frac{\sin \gamma }{\sin 64.6^\circ }\right] ^{1.67}\left[ \frac{\sin \beta }{\sin 22.2^\circ }\right] ^{0.87}. \end{aligned}$$
(12)

The expression above provides an approximation of the exact formula of [15] with an accuracy of 1.5%, in the ranges \(38< |V_{cb}|\times 10^3< 43\), \(60^\circ<\gamma <75^\circ \), \(20^\circ<\beta <24^\circ \).

For the rare decays \(K^+\rightarrow \pi ^+\nu \bar{\nu }\) and \(K_{L}\rightarrow \pi ^0\nu \bar{\nu }\) we have [10]

$$\begin{aligned}&\mathcal {B}(K^+\rightarrow \pi ^+\nu \bar{\nu }) = {(8.59 \pm 0.30)}\times 10^{-11} \nonumber \\&\qquad {\times \, \bigg [\frac{\left| V_{cb}\right| }{42.6\times 10^{-3}}\bigg ]^{2.8} \bigg [\frac{\sin \gamma }{\sin 64.6^\circ }\bigg ]^{1.39}}, \end{aligned}$$
(13)
$$\begin{aligned}&\mathcal {B}(K_{L}\rightarrow \pi ^0\nu \bar{\nu }) ={(2.93 \pm 0.04)}\times 10^{-11} \nonumber \\&\qquad \times \, {\bigg [\frac{\left| V_{cb}\right| }{42.6\times 10^{-3}}\bigg ]^4 \bigg [\frac{\sin \gamma }{\sin (64.6^\circ )}\bigg ]^{2} \bigg [\frac{\sin \beta }{\sin ({22.2^\circ })}\bigg ]^2}, \end{aligned}$$
(14)

where we do not show explicitly the parametric dependence on \(\lambda =|V_{us}|\) and set \(\lambda =0.225\). The \(3.5\%\) uncertainty in \(K^+\rightarrow \pi ^+\nu \bar{\nu }\) is dominated by the long distance effects in the charm contribution [27], fully negligible in \(K_{L}\rightarrow \pi ^0\nu \bar{\nu }\).

Similarly for \(B_{s,d}\rightarrow \mu ^+\mu ^-\) we have [28, 29]

$$\begin{aligned}&\overline{\mathcal {B}}(B_{s}\rightarrow \mu ^+\mu ^-)_\mathrm{SM} = ({3.77}\pm 0.06)\times 10^{-9}\nonumber \\&\quad \times \left[ \frac{F_{B_s}}{{230.3}\text {MeV}}\right] ^2 \left| \frac{V_{ts}}{41.9\times 10^{-3}}\right| ^2\bar{R}_s \nonumber \\ \end{aligned}$$
(15)

where

$$\begin{aligned} \bar{R}_s= & {} \left( \frac{\tau _{B_s}}{{1.515} \mathrm{ps}}\right) \left( \frac{{0.935}}{r(y_s)}\right) \nonumber \\&\times \left( \frac{m_t(m_t)}{162.83 \,\text {GeV}}\right) ^{3.02}\left( \frac{\alpha _s(M_Z)}{0.1184}\right) ^{0.032}. \end{aligned}$$
(16)

Here \(r(y_s)\) summarizes \(\Delta \Gamma _s\) effects with \(r(y_s)={0.935}\pm 0.007\) within the SM [30,31,32].

For \(B_d\rightarrow \mu ^+\mu ^-\) we have

$$\begin{aligned} {\mathcal {B}}(B_{d}\rightarrow \mu ^+\mu ^-)_\mathrm{SM}= & {} (1.02\pm 0.02)10^{-10} \nonumber \\&\times \left[ \frac{F_{B_d}}{{190.0}\text {MeV}}\right] ^2 \left| \frac{V_{td}}{8.67\times 10^{-3}}\right| ^2\bar{R}_d . \nonumber \\ \end{aligned}$$
(17)

As to an excellent accuracy \(r(y_d)=1\), one has this time

$$\begin{aligned} \bar{R}_d= \left( \frac{\tau _{B_d}}{1.519 \mathrm{ps}}\right) \left( \frac{m_t(m_t)}{162.83 \,\text {GeV}}\right) ^{3.02} \left( \frac{\alpha _s(M_Z)}{0.1184}\right) ^{0.032}.\nonumber \\ \end{aligned}$$
(18)

These expressions exhibit the following problem. Even if \(\beta \) can be determined precisely by measuring \(S_{\psi K_S}\), the strong dependence of all rare decay branching ratios on \(|V_{cb}|\) precludes in the presence of the tensions mentioned above, a useful determination of \(\gamma \) with the help of a given rare decay within the SM and its confrontation with its tree-level measurements.

In the usual UT analyses [12, 13] this problematic can be solved by considering ratios like the ones in (4) so that \(|V_{cb}|\) drops out. But then no explicit information on \(|V_{cb}|\), beyond the one resulting from computer codes, is provided by the UT plots. This deficiency is removed by accompanying the usual UT plots by the \(|V_{cb}|-\gamma \) plots. They illustrate on the one hand that considering simultaneously \(|\varepsilon _K|\), \(\Delta M_d\) and \(\Delta M_s\) and imposing the constraint on \(\beta \) in (11) one is able already now to obtain respectable determination on \(|V_{cb}|\) and \(\gamma \) within the SM [11]. On the other hand they make clear that the future precise measurements of \(\gamma \) in tree-level decays and also experimental improvements on rare decay branching ratios that are very sensitive to \(|V_{cb}|\) will offer very powerful tests of the SM. In particular when the experts also agree on the unique value of \(|V_{cb}|\). Let us then have a closer look at the \(|V_{cb}|-\gamma \) plots.

3 \(|V_{cb}|-\gamma \) plots

Using the formulae just listed we can now find \(|V_{cb}|\) as a function of \(\gamma \) and \(\beta \) resulting separately from each of the magnificent seven observables considered by us.

\({\varvec{\Delta } {{\textbf {M}}}_{{\textbf {d}}}}\)

$$\begin{aligned} |V_{cb}|= & {} 42.6\times 10^{-3}\,\left[ \frac{\sin (64.6^\circ )}{\sin \gamma } \right] \left[ \frac{210.6\text {MeV}}{\sqrt{\hat{B}_{B_d}}F_{B_d}}\right] \nonumber \\&\times \left[ \frac{2.307}{S_0(x_t)}\right] ^{0.5} \left[ \frac{0.5521}{\eta _B}\right] ^{0.5}\, \left[ \frac{\Delta M_d}{0.5065/\mathrm{ps}} \right] ^{0.5}. \end{aligned}$$
(19)

\({\varvec{\Delta } {{\textbf {M}}}_{{\textbf {s}}}}\)

$$\begin{aligned} |V_{cb}|= & {} \left[ \frac{41.9\times 10^{-3}}{G(\beta ,\gamma )}\right] \left[ \frac{256.1\text {MeV}}{\sqrt{\hat{B}_{B_s}}F_{B_s}}\right] \left[ \frac{2.307}{S_0(x_t)}\right] ^{0.5}\nonumber \\&\times \left[ \frac{0.5521}{\eta _B}\right] ^{0.5}\, \left[ \frac{\Delta M_s}{17.749/\mathrm{ps}} \right] ^{0.5}. \end{aligned}$$
(20)

\({\varvec{|\varepsilon }_{{\textbf {K}}}\varvec{|}}\)

$$\begin{aligned} |V_{cb}|= & {} 42.6\times 10^{-3}\,\left[ \frac{\sin (64.6^\circ )}{\sin \gamma } \right] ^{0.491} \left[ \frac{\sin (\beta )}{\sin (22.2^\circ )} \right] ^{0.256}\nonumber \\&\times \left[ \frac{|\varepsilon _K|}{2.224\times 10^{-3}} \right] ^{0.294}. \end{aligned}$$
(21)

\({\varvec{{K^+\rightarrow \pi ^+\nu \bar{\nu }}}}\)

$$\begin{aligned} |V_{cb}|= & {} 42.6\times 10^{-3}\,\left[ \frac{\sin (64.6^\circ )}{\sin \gamma } \right] ^{0.496} \nonumber \\&\times \left[ \frac{\mathcal {B}(K^+\rightarrow \pi ^+\nu \bar{\nu })}{(8.59 \pm 0.30) \times 10^{-11}}\right] ^{0.357} . \end{aligned}$$
(22)

\({\varvec{{K_{L}\rightarrow \pi ^0\nu \bar{\nu }}}}\)

$$\begin{aligned} |V_{cb}|= & {} 42.6\times 10^{-3}\,\left[ \frac{\sin (64.6^\circ )}{\sin \gamma } \right] ^{0.50}\nonumber \\&\times \left[ \frac{\sin (22.2^\circ )}{\sin (\beta )}\right] ^{0.50} \left[ \frac{\mathcal {B}(K_{L}\rightarrow \pi ^0\nu \bar{\nu })}{(2.93 \pm 0.04) \times 10^{-11}}\right] ^{0.25} . \nonumber \\ \end{aligned}$$
(23)

\({{{\textbf {B}}}_{{\textbf {d}}}\varvec{\rightarrow \mu ^+\mu ^-}}\)

$$\begin{aligned} |V_{cb}|= & {} 42.6\times 10^{-3}\,\left[ \frac{\sin (64.6^\circ )}{\sin \gamma }\right] \nonumber \\&\times \left[ \frac{190.0\text {MeV}}{F_{B_d}}\right] \frac{1}{\sqrt{\bar{R}_d}} \left[ \frac{\mathcal {B}(B_{d}\rightarrow \mu ^+\mu ^-)}{(1.02\pm 0.02)\times 10^{-10}} \right] ^{0.50}. \nonumber \\ \end{aligned}$$
(24)

\({{{\textbf {B}}}_{{\textbf {s}}}\varvec{\rightarrow \mu ^+\mu ^-}}\)

$$\begin{aligned} |V_{cb}|= & {} \left[ \frac{41.9\times 10^{-3}}{G(\beta ,\gamma )}\right] \, \left[ \frac{230.3\text {MeV}}{F_{B_s}}\right] \frac{1}{\sqrt{\bar{R}_s}}\nonumber \\&\times \left[ \frac{\mathcal {B}(B_{s}\rightarrow \mu ^+\mu ^-)}{(3.77\pm 0.06)\times 10^{-9}} \right] ^{0.50}. \end{aligned}$$
(25)

In [10, 11] only \(|V_{cb}|-\gamma \) plots for \(\Delta M_s\), \(\Delta M_d\) and \(\varepsilon _K\) have been presented. One of such plots from [11] is shown in Fig. 2.

An important observation should be made in this plot. The \(\varepsilon _K\)-band is thiner than the one coming from \(\Delta M_d\). This is dominantly related to the stronger dependence of \(\varepsilon _K\) on \(|V_{cb}|\). This fact makes the action of \(\varepsilon _K\) less useful in the \((\bar{\varrho },\bar{\eta })\) plane than that of \(\Delta M_d\) while in the \(|V_{cb}|-\gamma \) plane it is reversed. The formulae above demonstrate this in explicit terms. Moreover, while the action of \(\Delta M_s\) is invisible in a UT-plot it is clearly exhibited in Fig. 2.

Fig. 2
figure 2

The values of \(|V_{cb}|\) extracted from \(\varepsilon _K\), \(\Delta M_d\) and \(\Delta M_s\) as functions of \(\gamma \) with the hadronic matrix elements for \(\Delta M_{s,d}\) obtained with \(2+1+1\) flavours [24]. The green band represents experimental \(S_{\psi K_S}\) constraint on \(\beta \). From [11]

Before presenting similar plots for rare decays \(K^+\rightarrow \pi ^+\nu \bar{\nu }\), \(K_{L}\rightarrow \pi ^0\nu \bar{\nu }\), \(B_{s}\rightarrow \mu ^+\mu ^-\) and \(B_{d}\rightarrow \mu ^+\mu ^-\), let us recall the SM predictions for them [10, 11]. These are [10]

(26)

and [11]

(27)

The most interesting at present is the SM prediction for the \(B_{s}\rightarrow \mu ^+\mu ^-\) branching ratio that exhibits a \(2.7\sigma \) anomaly when confronted with its experimental value [33,34,35]

$$\begin{aligned} \overline{\mathcal {B}}(B_{s}\rightarrow \mu ^+\mu ^-)_\mathrm{EXP} = 2.86(33)\times 10^{-9}. \end{aligned}$$
(28)

It updates the previous prediction of [17], based on different hadronic matrix elements, that exhibited a \(2.1\sigma \) anomaly.

Table 1 Values of the experimental and theoretical quantities used as input parameters. For future updates see FLAG [9], PDG [3] and HFLAV [38]

These are the most precise SM predictions for these decays to date. For \(K^+\rightarrow \pi ^+\nu \bar{\nu }\) and \(K_{L}\rightarrow \pi ^0\nu \bar{\nu }\) they were obtained by using the experimental values of \(\varepsilon _K\) and \(S_{\psi K_S}\). The ones for \(B_{s,d}\rightarrow \mu ^+\mu ^-\) using the strategy of [36] and experimental values of \(\Delta M_{s,d}\).Footnote 2 No information on \(|V_{cb}|\) was required to obtain these results and the left-over \(\gamma \) dependence in rare K decay branching ratios, once \(\varepsilon _K\) constraint was imposed, turned out to be negligible in the full range \(60^\circ \le \gamma \le 75^\circ \) investigated by us. One can verify all these nice properties using the formulae above or inspect the plots in Fig. 15 of [10].

The goal of this strategy is not to make an overall SM fit but to predict the SM branching ratios in question.

The \(2.7\sigma \) anomaly in \(B_s\rightarrow \mu ^+\mu ^-\) can also be seen in the \(|V_{cb}|\)-independent ratio [11]

$$\begin{aligned} \left[ \frac{ \overline{\mathcal {B}}(B_s\rightarrow \mu ^+\mu ^-)}{\Delta M_s}\right] _{\text {SM}}= & {} 2.13(7)\times 10^{-10}\,\text {ps},\nonumber \\ \left[ \frac{ \overline{\mathcal {B}}(B_s\rightarrow \mu ^+\mu ^-)}{\Delta M_s}\right] _{\text {EXP}}= & {} 1.61(18)\times 10^{-10}\,\text {ps}. \end{aligned}$$
(29)

Yet, it also turns out that the simultaneous description of the data for \(\Delta M_d\), \(\Delta M_s\), \(\varepsilon _K\) and \(S_{\psi K_S}\) can be made without any participation of NP which gives an additional support for the SM predictions in (26) and (27). Indeed, as seen in Fig. 2, the SM predictions for \(\varepsilon _K\), \(\Delta M_d\) and \(\Delta M_s\) turn out to be consistent with each other and with the data for the following values of the CKM parameters [11]

$$\begin{aligned} |V_{cb}|= & {} 42.6(4)\times 10^{-3}, \quad \gamma =64.6(16)^\circ , \quad \beta =22.2(7)^\circ ,\nonumber \\ |V_{ub}|= & {} 3.72(11)\times 10^{-3}. \end{aligned}$$
(30)

The uncertainies shown here have been computed by propagating the non-parametric errors of the four \(\Delta F=2\) observables involved. More details can be found in [11]. In particular the determination of \(\gamma \) have been obtained by considering first the \(|V_{cb}|\)-independent ratio \(\Delta M_d/\Delta M_s\) from which one derives an accurate formula for \(\sin \gamma \)

$$\begin{aligned} \sin \gamma= & {} \frac{0.983(1)}{\lambda }\sqrt{\frac{m_{B_s}}{m_{B_d}}}\xi \sqrt{\frac{\Delta M_d}{\Delta M_s}}, \nonumber \\ \xi= & {} \frac{F_{B_s}\sqrt{\hat{B}_{B_s}}}{F_{B_d}\sqrt{\hat{B}_{B_d}}}=1.216(16), \end{aligned}$$
(31)

with the value for \(\xi \) from HPQCD [24]. The advantage of using this ratio for the determination of \(\gamma \) over studying \(\Delta M_s\) and \(\Delta M_d\) separately is its independence of \(|V_{cb}|\) and the reduced error on \(\xi \) from LQCD relative to the individual errors of hadronic parameters in \(\Delta M_s\) and \(\Delta M_d\). See Appendix B in [11].

As emphasized in [11] the very good agreement between \(\Delta M_s\), \(\Delta M_d\) and \(\varepsilon _K\) is only obtained with the hadronic matrix elements with \(2+1+1\) flavours from the lattice HPQCD collaboration [24]. For \(2+1\) flavours significant inconsistencies within the SM were found. See Fig. 8 in [11]. All the input parameters used by us are collected in Table 1.

Our value for \(|V_{cb}|\) is consistent with the inclusive one from [8] and \(|V_{ub}|\) value with the exclusive one from FLAG [9]. It should be noted that the determination of \(\gamma \) in this manner is more accurate than its present determination from tree-level decays in (2).

In order to illustrate the action of the seven observables in the \(|V_{cb}|-\gamma \) plane we show in Fig. 3 the results in the SM setting all uncertainties for transparency reasons to zero. We make the following observations.

  • For fixed \(\beta =22.2^\circ \), \(\varepsilon _K\), \(K^+\rightarrow \pi ^+\nu \bar{\nu }\) and \(K_{L}\rightarrow \pi ^0\nu \bar{\nu }\) are represented to an excellent approximation by the same line which is already a very good test of the SM. This is simply because as seen in (21), (22) and (23) the \(\gamma \) dependence in the three observables is practically the same, the fact pointed out first in [22] and strongly emphasized in [10]. The dependence on \(\beta \) is different and this allows to determine within the SM the angle \(\beta \) from any pair of these observables independently of the value of \(\gamma \). For the pair of the rare K branching ratios this was pointed out in [22]. For the other two pairs in [10]. But the determination of \(\beta \) with the help of the plot in Fig. 3 is not useful and it is better to use the \(|V_{cb}|\)-independent ratios \(R_0\), \(R_{11}\), \(R_{12}\) of [10] with [16]

    $$\begin{aligned} R_0= & {} \frac{\mathcal {B}(K^+\rightarrow \pi ^+\nu \bar{\nu })}{\mathcal {B}(K_{L}\rightarrow \pi ^0\nu \bar{\nu })^{0.7}}=(2.03\pm 0.08)\nonumber \\&{\times 10^{-3}\left[ \frac{\sin 22.2^\circ }{\sin \beta }\right] ^{1.4} ={(2.03\pm 0.11)}\times 10^{-3}. } \nonumber \\ \end{aligned}$$
    (32)

    and

    $$\begin{aligned} R_{11}=\frac{\mathcal {B}(K^+\rightarrow \pi ^+\nu \bar{\nu })}{|\varepsilon _K|^{0.82}},\quad R_{12}=\frac{\mathcal {B}(K_{L}\rightarrow \pi ^0\nu \bar{\nu })}{|\varepsilon _K|^{1.18}} \nonumber \\ \end{aligned}$$
    (33)

    with explicit expressions for \(R_{11}\) and \(R_{12}\) given in (90) and (91) of [10], respectively. They all can be derived from (12), (13) and (14) given in the previous section.

  • \(\Delta M_d\) and \(B_d\rightarrow \mu ^+\mu ^-\) are represented by a single line and a different line represents \(\Delta M_s\) and \(B_s\rightarrow \mu ^+\mu ^-\). This is precisely the illustration of the SM relations pointed out long time ago in [36].

Fig. 3
figure 3

Schematic illustration of the action of the seven observables in the \(|V_{cb}|-\gamma \) plane in the context of the SM. We set \(\beta =22.2^\circ \) and all uncertainties in (19)–(25) to zero

Fig. 4
figure 4

The impact of hypothetical future measurements of the branching ratios for \(K^+\rightarrow \pi ^+\nu \bar{\nu }\), \(K_{L}\rightarrow \pi ^0\nu \bar{\nu }\), \(B_d\rightarrow \mu ^+\mu ^-\) and \(B_s\rightarrow \mu ^+\mu ^-\) as given in (34) and (35) on the \(|V_{cb}|-\gamma \) plane. All uncertainties in (19)–(25) are included. The yellow disc represents the SM as obtained in (30)

While, as seen in Fig. 2, SM describes \(\varepsilon _K\), \(\Delta M_d\), \(\Delta M_s\) simultaneously very well, this not need to be the case for the four rare decays in question. This is illustrated in Fig. 4. To obtain these results we have set the branching ratio for \(B_s\rightarrow \mu ^+\mu ^-\) to the experimental world average from LHCb, CMS and ATLAS [33,34,35] but decreased its error from \(11\%\) down to \(5\%\). For the remaining branching ratios we have chosen values resulting from hypothetical future measurements that differ from the SM predictions in (26) and (27). We kept the errors at \(5\%\) as in the case of \(B_s\rightarrow \mu ^+\mu ^-\) to exhibit the superiority of rare K decays over rare B decays as far as the determination of \(|V_{cb}|\) is concerned. We use then

$$\begin{aligned} \mathcal {B}(K^+\rightarrow \pi ^+\nu \bar{\nu })= & {} (10.00\pm 0.50)\times 10^{-11},\nonumber \\ \mathcal {B}(K_{L}\rightarrow \pi ^0\nu \bar{\nu })= & {} (4.50\pm 0.23)\times 10^{-11}, \end{aligned}$$
(34)
$$\begin{aligned} \overline{\mathcal {B}}(B_{s}\rightarrow \mu ^+\mu ^-)= & {} (2.86\pm 0.14)\times 10^{-9},\nonumber \\ \mathcal {B}(B_{d}\rightarrow \mu ^+\mu ^-)= & {} (1.00\pm 0.05)\ \times 10^{-10}. \end{aligned}$$
(35)

While the experimental errors are futuristic, we expect that the theoretical errors will go down with time so that the bands in Fig. 4 could apply one day with less accurate measurements.

This plot confirms all the statements made above. The superiority of \(K_{L}\rightarrow \pi ^0\nu \bar{\nu }\) over the remaining decays is clearly seen. The blue band will be narrowed once the long distance charm contributions to \(K^+\rightarrow \pi ^+\nu \bar{\nu }\) will be known with higher precision from lattice QCD calculations [37] than they are known now [27].

4 Conclusions and outlook

In the present paper we have emphasized, resurrecting by now almost thirty years old ideas of [14, 22, 23], that the rare K and B decay branching ratios, being subject to small hadronic uncertainties, could soon give us a powerful tool to determine the CKM parameters, in particular the controversial parameter \(|V_{cb}|\). They could also provide a useful insight in the value of \(\gamma \) beyond its tree-level determinations. In this context we have proposed to monitor future progress on the determination on \(|V_{cb}|\) and \(\gamma \) in the \(|V_{cb}|-\gamma \) plane rather then in the \((\bar{\varrho },\bar{\eta })\) plane used in the context of the common UT-fits. We also reemphasized in this context the important role of \(\Delta M_s\), \(\Delta M_d\) and \(\varepsilon _K\). To this end we derived seven expressions for \(|V_{cb}|\) by means of which this CKM element can be determined. First in the case of

$$\begin{aligned} \Delta M_d,\quad \Delta M_s, \quad |\varepsilon _K|, \end{aligned}$$
(36)

with the relevant expression for \(|V_{cb}|\) as a function of \(\gamma \), \(\beta \) and the observable involved given in (19), (20) and (21), respectively. The corresponding four formulae for \(|V_{cb}|\) from rare decays

$$\begin{aligned}&K^+\rightarrow \pi ^+\nu \bar{\nu },\quad K_{L}\rightarrow \pi ^0\nu \bar{\nu },\quad B_d\rightarrow \mu ^+\mu ^-, \nonumber \\&B_s\rightarrow \mu ^+\mu ^-, \end{aligned}$$
(37)

are given in (22), (23), (24) and (25), respectively.

The very good consistency of the three observables (36) with each other within the SM allowed, after the imposition of the \(S_{\psi K_S}\) constraint, a satisfactory determination of the four CKM parameters in [11] and given in (30). In the present paper this agreement is seen in the plot in Fig. 2.

The \(2.7\sigma \) anomaly in \(B_s\rightarrow \mu ^+\mu ^-\) found in [11] would increase with the improved measurement as assumed in (35) to \(5.2\sigma \). In the \(|V_{cb}|-\gamma \) plane it will be signaled by the inconsistency with the SM yellow disc in Fig. 4 on which the SM prediction for this decay in (27) is based.

The data on the remaining rare decay branching ratios allow still for significant NP contributions and inconsistencies between various determinations of \(|V_{cb}|\) as a function of \(\gamma \) from different decays could be found one day. We illustrated it in Fig. 4. In this context a precise measurement of \(\gamma \) by the LHCb and Belle II collaborations and the improvements on \(\beta \) will allow a very precise determination of \(|V_{cb}|\) within the SM, first with the help of precisely measured \(|\varepsilon _K|\) and later \(K^+\rightarrow \pi ^+\nu \bar{\nu }\) and \(K_{L}\rightarrow \pi ^0\nu \bar{\nu }\).

Simultaneously the very accurate \(|V_{cb}|\) independent SM predictions for rare decay branching ratios found in [10, 11] and recalled here in (26) and (27) will play, in case of inconsistencies in the \(|V_{cb}|-\gamma \) plane, an important role in the identification of a particular NP at work. The 16 \(|V_{cb}|\)-independent ratios of various flavour observables derived in [10] will also be useful in this context.

We are looking forward to new data from LHCb, NA62, KOTO and Belle II collaborations as well as to improved hadronic matrix elements from LQCD which will allow one to use this strategy and the ones outlined in [10, 11] more efficiently than it is possible now.