1 Introduction

The flavour anomalies in \(b\rightarrow s\ell ^+\ell ^-\) processes are at present among the most promising signals of New Physics (NP). Their analyses can be efficiently and consistently performed in a model-independent effective field theory (EFT) framework (see, for instance, [1,2,3]), where all short-distance physics (including NP) is encoded in Wilson coefficients, i.e. the coefficients of higher-dimension operators. A central open question is then which pattern(s) in the space of the Wilson coefficients is (are) preferred by \(b \rightarrow s \ell ^+\ell ^-\) observables. More precise measurements, in particular for the observables showing deviations from the Standard Model (SM) expectations (\(P_5^\prime \) [4], \(R_{K,K^*,\phi }\), \(Q_5\) [5]...), help us to improve the results of this EFT analysis, which can then be used as a guideline for the construction of phenomenologically accurate NP models.

Table 1 Most prominent 1D patterns of NP in \(b\rightarrow s\mu ^+\mu ^-\). \(\hbox {Pull}_{\mathrm{SM}}\) is quoted in units of standard deviation
Table 2 Most prominent 2D patterns of NP in \(b\rightarrow s\mu ^+\mu ^-\). The last five rows correspond to Hypothesis 1: \(({{{\mathcal {C}}}}_{9\mu }^{\mathrm{NP}}=-\,{{{\mathcal {C}}}}_{9^\prime \mu } , {{{\mathcal {C}}}}_{10\mu }^{\mathrm{NP}}={{{\mathcal {C}}}}_{10^\prime \mu })\), 2: \(({{{\mathcal {C}}}}_{9\mu }^{\mathrm{NP}}=-\,{{{\mathcal {C}}}}_{9^\prime \mu } , {{{\mathcal {C}}}}_{10\mu }^{\mathrm{NP}}=-\,{{{\mathcal {C}}}}_{10^\prime \mu })\), 3: \(({{{\mathcal {C}}}}_{9\mu }^{\mathrm{NP}}=-\,{{{\mathcal {C}}}}_{10\mu }^{\mathrm{NP}} , {{{\mathcal {C}}}}_{9^\prime \mu }={{{\mathcal {C}}}}_{10^\prime \mu }\)), 4: \(({{{\mathcal {C}}}}_{9\mu }^{\mathrm{NP}}=-\,{{{\mathcal {C}}}}_{10\mu }^{\mathrm{NP}} , {{{\mathcal {C}}}}_{9^\prime \mu }=-\,{{{\mathcal {C}}}}_{10^\prime \mu })\) and 5: \(({{{\mathcal {C}}}}_{9\mu }^{\mathrm{NP}} , {{{\mathcal {C}}}}_{9^\prime \mu }=-\,{{{\mathcal {C}}}}_{10^\prime \mu })\)

In this context we present here an update and extension of our recent works in Refs. [1, 2], in the light of new measurements of key observables involved in \(b\rightarrow s\ell ^+\ell ^-\) anomalies. We update the experimental value of the ratio probing lepton flavour universality (LFU) defined as \(R_{K}=\frac{{{{\mathcal {B}}}}(B\rightarrow K\mu ^+\mu ^-)}{{{{\mathcal {B}}}}(B\rightarrow Ke^+e^-)}\):

$$\begin{aligned}&R^{[1.1,6]}_{K_{\mathrm{{LHCb}}}}=0.846_{-0.054 \, -0.014}^{+0.060 \, +0.016} \, , \nonumber \\&R^{[1,6]}_{K_{\mathrm{{Belle}}}}=0.98^{+0.27}_{-0.23}\pm 0.06 \, , \\ \nonumber&R^{[q^2>14.18]}_{K_{\mathrm{{Belle}}}}=1.11^{+0.29}_{-0.26}\pm 0.07 \, , \end{aligned}$$
(1)

as announced recently by the LHCb collaboration [6], corresponding to the average of Run-1 and part of Run-2 (2015-2016) measurements, and the Belle collaboration [7], combining the data from charged and neutral modes. The correlations with the (finely binned) measurements of \({{{\mathcal {B}}}}(B\rightarrow K\mu ^+\mu ^-)\) [8] are tiny and therefore neglected here. In addition the Belle collaboration has also presented new results for \(R_{K^*}\), the equivalent LFU-violating (LFUV) ratio for \(B\rightarrow K^*\ell \ell \), in three bins [9], again considering both charged and neutral channels:

$$\begin{aligned}&R_{K^*}^{[0.045,1.1]}=0.52_{-0.26}^{+0.36}\pm 0.05 , \nonumber \\&R_{K^*}^{[1.1,6]}=0.96_{-0.29}^{+0.45}\pm 0.11, \nonumber \\&R_{K^*}^{[15,19]}=1.18_{-0.32}^{+0.52}\pm 0.10. \end{aligned}$$
(2)

Our treatment for the Belle observables within the global fit follows the same strategy as described in Ref. [1] for \(Q_{4,5}\) where we introduced a nuisance parameter accounting for the relative weight of each isospin component.

We have also updated our average for \({{{\mathcal {B}}}}(B_s \rightarrow \mu ^+\mu ^-)\) including the latest measurement from the ATLAS collaboration [10] and taking into account the most recent lattice update of \(f_{B_s}\) for \(N_f=2+1+1\) simulations collected in Ref. [11].

A relatively small numerical impact of such updates has been found. As in Ref. [1], our analysis also includes the latest update of \(P_{4,5}^\prime \) from the Belle collaboration [12] where the muon and electron modes are considered separately (averaging charged and neutral modes), superseding the previous measurement in Ref. [13] where an average over both leptonic modes is presented. This allows us to include an additional measurement \(P_{5\mu }^\prime \) (exhibiting a 2.6 \(\sigma \) discrepancy with respect to the SM) as well as the LFUV observable \(Q_5\) in our analysis (see Ref. [14] for another recent analysis including this update).

Table 3 1 and 2 \(\sigma \) confidence intervals for the NP contributions to Wilson coefficients in the 6D hypothesis allowing for NP in \(b\rightarrow s\mu ^+\mu ^-\) operators dominant in the SM and their chirally-flipped counterparts, for the fit “All”
Fig. 1
figure 1

From left to right: allowed regions in the \(({{{\mathcal {C}}}}_{9\mu }^{\mathrm{NP}},{{{\mathcal {C}}}}_{10\mu }^{\mathrm{NP}})\), \(({{{\mathcal {C}}}}_{9\mu }^{\mathrm{NP}},{{{\mathcal {C}}}}_{9^\prime \mu })\) and \(({{{\mathcal {C}}}}_{9\mu }^{\mathrm{NP}},{{{\mathcal {C}}}}_{9e}^{\mathrm{NP}})\) planes for the corresponding 2D hypotheses, using all available data (fit “All”) upper row or LFUV fit lower row

In addition to updating the experimental inputs, our analysis explores new emerging directions in the parameter space spanned by the effective operators driven by data within two different frameworks. First, following Ref. [1] we assume in Sect. 2 that NP affects only muons and is thus purely Lepton-Flavour Universality Violating (LFUV). In Sect. 3 we follow the complementary approach discussed in Ref. [2], where we consider the consequences of removing the frequently made hypothesis that NP is purely LFUV. We then explore the implications of allowing both LFU and LFUV NP contributions to the Wilson coefficients \({{{\mathcal {C}}}}_{9^{(\prime )}}\) and \({{{\mathcal {C}}}}_{10^{(\prime )}}\).

Motivated by the new emerging directions in the LFUV case we also extend our analysis of NP scenarios to allow for the presence of LFU NP right handed-currents (RHC). In Sect. 4, we focus on a particular scenario (scenario 8) which can, within an EFT framework, link the flavour anomalies in \(b\rightarrow s\ell ^+\ell ^-\) and \(b\rightarrow c\ell \nu \) processes. Furthermore, we consider new patterns, motivated by \(Z^\prime \) models with vector-like quarks, which naturally predict LFU effects in \({{{\mathcal {C}}}}_{10^{(\prime )}}\) complemented by LFUV ones. Finally, we sum up our results in Sect. 5. An appendix is devoted to the description of the correlations obtained for the various Wilson coefficients in the most relevant scenarios considered in this article.

Table 4 Coefficients for the polynomial parameterisation of the numerator and denominator of \(R_K^{[1.1,6]}\) in the vicinity of the SM point

2 Global fits in presence of LFUV NP

We start by considering the fits for NP scenarios which affect muon modes only. Tables 1, 2 and 3 and Fig. 1 update the corresponding tables and figures of Ref. [1] based on fits to the full set of data (“All”) or restricted to quantities assessing LFUV. While we do not observe any significant difference in the 1D scenarios with “All” data compared to Ref. [1], some of the Pulls (with respect to the SM) for the LFUV 1D fits get reduced by half a standard deviation. A few other comments are in order:

  1. 1.

    The scenario \({{{\mathcal {C}}}}_{9\mu }^{\mathrm{NP}}=-\,{{{\mathcal {C}}}}_{9'\mu }\), which favours a SM-like value of \(R_K^{[1.1,6]}\) [2, 15], has an increased significance in the “All” fit compared to our earlier analysis.

  2. 2.

    The scenario \({{{\mathcal {C}}}}_{9\mu }^{\mathrm{NP}}\) has the largest p-value in the “All” fit while \({{{\mathcal {C}}}}_{9\mu }^{\mathrm{NP}}=-\,{{{\mathcal {C}}}}_{10\mu }^{\mathrm{NP}}\) has the largest p-value in the LFUV fit, a difference which can be solved through the introduction of LFU NP (see Ref. [2] and next section).

  3. 3.

    The best-fit point for the scenario \({{{\mathcal {C}}}}_{9\mu }^{\mathrm{NP}}\) coincides now in the “All” and LFUV fits.

  4. 4.

    The scenario with only \({{{\mathcal {C}}}}_{10\mu }^{\mathrm{NP}}\) has a significance in the “All” fit of only 4.0\(\sigma \) level and 3.9\(\sigma \) for the LFUV fit, which explains its absence from Table 1 as happens in Ref. [1].

Concerning the 2D scenarios collected in Table 2, the same picture arises as in Ref. [1], except that \({{{\mathcal {C}}}}_{9e}^{\mathrm{NP}}\) is now basically zero and small contributions to RHC seem slightly favoured (\({{{\mathcal {C}}}}_{9^\prime \mu }>0, {{{\mathcal {C}}}}_{10'\mu }<0\)).Footnote 1 Indeed, these RHC contributions tend to increase the value of \(R_K^{[1.1,6]}\) while \({{{\mathcal {C}}}}_{9\mu }^{\mathrm{NP}}<0\) tend to decrease it as can be seen from the explicit expression of \(R_K^{[1.1,6]}=A_{\mu }/A_e\) where the numerator and the denominator can be given by an approximate polynomial parameterisation near the SM point

$$\begin{aligned} A_\ell= & {} \ \alpha _{0\ell } + \alpha _{1\ell }\,{{{\mathcal {C}}}}_{9\ell }^{\mathrm{NP}} + \alpha _{2\ell }\,\left( {{{\mathcal {C}}}}_{9\ell }^{\mathrm{NP}}\right) ^2 + \alpha _{3\ell }\,{{{\mathcal {C}}}}_{9'\ell }^{} \nonumber \\&+ \alpha _{4\ell }\,\left( {{{\mathcal {C}}}}_{9'\ell }^{}\right) ^2 + \alpha _{5\ell }\,{{{\mathcal {C}}}}_{9\ell }^{\mathrm{NP}}{{{\mathcal {C}}}}_{9'\ell }^{} \nonumber \\&+ \alpha _{6\ell }\,{{{\mathcal {C}}}}_{10\ell }^{\mathrm{NP}} + \alpha _{7\ell }\,\left( {{{\mathcal {C}}}}_{10\ell }^{\mathrm{NP}}\right) ^2 \nonumber \\&+ \alpha _{8\ell }\,{{{\mathcal {C}}}}_{10'\ell }^{} + \alpha _{9\ell }\,\left( {{{\mathcal {C}}}}_{10'\ell }^{}\right) ^2 + \alpha _{10\ell }\,{{{\mathcal {C}}}}_{10\ell }^{\mathrm{NP}}{{{\mathcal {C}}}}_{10'\ell }^{} \end{aligned}$$
(3)

with the coefficients provided in Table 4 (for linearised expressions, see Refs. [2, 16]). We introduce a new Hyp. 5 in Table 2. The comparison between Hyps. 4 and 5 shows that the scenario \({{{\mathcal {C}}}}_{9'\mu }=-\,{{{\mathcal {C}}}}_{10'\mu }\) (left-handed lepton coupling for right-handed quarks) prefers to be associated with \({{{\mathcal {C}}}}_{9\mu }^{\mathrm{NP}}\) (vector lepton coupling for left-handed quarks) rather than \({{{\mathcal {C}}}}_{9\mu }^{\mathrm{NP}}=-\,{{{\mathcal {C}}}}_{10\mu }^{\mathrm{NP}}\) (left-handed lepton coupling for left-handed quarks). Finally, no significant changes are observed in the 6D fit, except for the slight increase in the \(\hbox {Pull}_{\mathrm{SM}}\), see Table 3.

Fig. 2
figure 2

Preferred regions (at the 1, 2 and 3\(\,\sigma \) level) for the \(L_\mu -L_\tau \) model of Ref. [17] from \(b\rightarrow s\ell ^+\ell ^-\) data (green) in the \((m_Q,\, m_D)\) plane with \(Y^{D,Q}=1\). The contour lines denote the predicted values for \(R_K^{[1.1,6]}\) (red, dashed) and \(R_{K^*}^{[1.1,6]}\) (blue, solid)

With the updated data, little change is observed among the preferred 2D NP models. Nevertheless, with an \(R_K^{[1.1,6]}\) value closer to one, scenarios with right-handed currents (RHC), namely \(({{{\mathcal {C}}}}_{9\mu }^{\mathrm{NP}}, {{{\mathcal {C}}}}_{9'\mu })\) and \(({{{\mathcal {C}}}}_{9\mu }^{\mathrm{NP}}, {{{\mathcal {C}}}}_{10'\mu })\), seem to emerge. The first scenario is naturally generated in a \(Z^\prime \) model with opposite couplings to right-handed and left-handed quarks and was proposed in Ref. [17] within the context of a gauged \(L_\mu -L_\tau \) symmetry with vector-like quarks. The latter (of masses \(m_D\) and \(m_Q\)) are charged under \(L_\mu -L_\tau \) and have the same SM quantum numbers as right-handed down quarks and left-handed quark doublets, respectively. The vector-like quarks couple to the SM ones and to a scalar \(\phi \) which breaks the \(L_\mu -L_\tau \) symmetry with couplings \(Y^{D,Q}\). We show the update of Fig. 2 of Ref. [17] assuming \(Y^{D,Q}=1\) in Fig. 2. Since the current fit allows for \({{{\mathcal {C}}}}_{9'\mu }=0\) at the two sigma level, the SU(2) singlet vector-like quark can still be decoupled [18].

Table 5 Most prominent patterns for LFU and LFUV NP contributions from Fit “All”

3 Global fits in presence of LFUV and LFU NP

We turn to scenarios that allow also for the presence of LFU NP [2, 15] (in addition to LFUV contributions to muons only), leading to the value of the Wilson coefficients

$$\begin{aligned} {{{\mathcal {C}}}}_{ie}={{{\mathcal {C}}}}_{i}^{\mathrm{U}}\,,\quad {{{\mathcal {C}}}}_{i\mu }={{{\mathcal {C}}}}_{i}^{\mathrm{U}}+{{{\mathcal {C}}}}_{i}^{\mathrm{V}}\,. \end{aligned}$$
(4)

(with \(i=9,10\)) for \(b\rightarrow se^+e^-\) and \(b\rightarrow s\mu ^+\mu ^-\) transitions respectively.

We update some of the scenarios considered in Ref. [2] in Table 5. Concerning new directions in parameter space we allow for RHC, motivated by the results of the previous section, and focus on scenarios that could be fairly easily obtained in simple NP models.

With the updated experimental inputs, we confirm our earlier result [2] that a LFUV left-handed lepton coupling structure (corresponding to \({{{\mathcal {C}}}}_{9}^{\mathrm{V}}=-\,{{{\mathcal {C}}}}_{10}^{\mathrm{V}}\) and preferred from a model-building point of view) yields a better description of data with the addition of LFU-NP in the coefficients \({{{\mathcal {C}}}}_{9,10}\), as shown by the scenarios 6, 8 in Table 5 with p-values larger than \(70\%\).

We observe a very slight decrease in significance for the scenarios 5–7, with the exception of scenario 8 which exhibits one of the most significant pulls with respect to the SM.

Scenario 8 of Ref. [2] can actually be realized via off-shell photon penguins [19] in a leptoquark model explaining also \(b\rightarrow c\tau \nu \) data (we will return to this point in the following section).

Updated plots of the 2D LFU-LFUV scenarios discussed in Ref. [2] are shown in Fig. 3.

The new scenarios 9–13 are characterized by a \({{{\mathcal {C}}}}_{10(')}^{\mathrm{U}}\) contribution. This arises naturally in models with modified Z couplings (to a good approximation \({{{\mathcal {C}}}}_{9(')}^{\mathrm{U}}\) can be neglected). The pattern of scenario 9 occurs in Two-Higgs-Doublet models where this flavour universal effect can be supplemented by a \({{{\mathcal {C}}}}_{9}^{\mathrm{V}}=-\,{{{\mathcal {C}}}}_{10}^{\mathrm{V}}\) effect [20].

Fig. 3
figure 3

Updated plots of Ref. [2] corresponding to scenarios 6, 7, 8 and the new scenario 9

Fig. 4
figure 4

Updated plots of Ref. [2] corresponding to the new scenarios 10, 11, 12

In case of scenarios 11–13, one can invoke models with vector-like quarks where modified Z couplings are even induced at tree level. The LFU effect in \({{{\mathcal {C}}}}_{10(')}^{\mathrm{U}}\) can be accompanied by a \({{{\mathcal {C}}}}_{9,10(')}^{\mathrm{V}}\) effect from \(Z^\prime \) exchange [21]. Vector-like quarks with the quantum numbers of right-handed down quarks (left-handed quarks doublets) generate effect in \({{{\mathcal {C}}}}_{10}^{\mathrm{U}}\) and \({{{\mathcal {C}}}}_{9'}^{\mathrm{V}}\) (\({{{\mathcal {C}}}}_{10(')}^{\mathrm{U}}\) and \({{{\mathcal {C}}}}_{9}^{\mathrm{V}}\)) for a \(Z^\prime \) boson with vector couplings to muons [21].

The comparison of scenarios 10 and 12 illustrates that \({{{\mathcal {C}}}}_{9\mu }^{\mathrm{V}}\) plays an important role in LFU NP scenarios and cannot be swapped for its chirally-flipped counterpart without consequences. Finally, the allowed regions for the new LFU scenarios are displayed in Fig. 4.

Fig. 5
figure 5

Left: preferred regions at the 1, 2 and 3\(\,\sigma \) level (green) in the \(({{{\mathcal {C}}}}_{9\mu }^{\mathrm{V}}=-\,{{{\mathcal {C}}}}_{10\mu }^{\mathrm{V}},\,{{{\mathcal {C}}}}_{9}^{\mathrm{U}})\) plane from \(b\rightarrow s\ell ^+\ell ^-\) data. The red contour lines show the corresponding regions once \(R_{D^{(*)}}\) is included in the fit (for \(\Lambda =2\) TeV). The horizontal blue (vertical yellow) band is consistent with \(R_{D^{(*)}}\) (\(R_{K}\)) at the \(2\,\sigma \) level and the contour lines show the predicted values for these ratios. Right: Impact of favoured NP scenarios on the observable \(P_5^\prime \). Only central values for the NP scenarios are displayed. The most interesting scenarios cluster together while traditional scenarios like \({{{\mathcal {C}}}}_{9\mu }=-\,{{{\mathcal {C}}}}_{10\mu }\) or the scenario \({{{\mathcal {C}}}}_{10\mu }\) considered in Ref. [28] fail to explain this anomaly

4 Model-independent connection to \(b\rightarrow c\ell \nu \)

In complement with the above EFT analysis, we focus now on the NP interpretation of scenario 8. Indeed, this scenario allows for a model-independent connection between the anomalies in \(b\rightarrow s\ell ^+\ell ^-\) and those in \(b\rightarrow c\tau \nu \), which are now at the \(3.1\sigma \) level [22].

Such a correlation arises in the SMEFT scenario where \({{{\mathcal {C}}}}_{}^{(1)}={{{\mathcal {C}}}}_{}^{(3)}\) expressed in terms of gauge-invariant dimension-6 operators [23, 24]. This scenario stems naturally from models with an SU(2) singlet vector leptoquark [25,26,27]. The operator involving-third generation leptons explains \(R_{D^{(*)}}\) and the one involving the second generation gives a LFUV effect in \(b\rightarrow s\mu ^+\mu ^-\) processes. The constraint from \(b\rightarrow c\tau \nu \) and \(SU(2)_L\) invariance leads generally to large contributions to the operator \({\bar{s}} \gamma ^\mu P_Lb {{\bar{\tau }}} \gamma _\mu P_L \tau \), which enhances \(b\rightarrow s\tau ^+\tau ^-\) processes [24], but also mixes into \({{{\mathcal {O}}}}_9\) and generates \({{{\mathcal {C}}}}_{9}^{\mathrm{U}}\) at \(\mu =m_b\) [19]. Note that not all models addressing the charged and neutral current anomalies simultaneously have an anarchic flavour structure. In fact, in the case of alignment in the down-sector [29, 30] one does not find large effects in \(b\rightarrow s\tau ^+\tau ^-\) or \({{{\mathcal {C}}}}_9^{\mathrm{U}}\).

Therefore, scenario 8 is reproduced in this setup with an additional correlation between \({{{\mathcal {C}}}}_{9}^{\mathrm{U}}\) and \(R_{D^{(*)}}\). Assuming a generic flavour structure so that small CKM elements can be neglected [19, 24], we get

$$\begin{aligned} {{{\mathcal {C}}}}_{9}^{\mathrm{U}}\! \approx \! 7.5\left( 1-\sqrt{\frac{R_{D^{(*)}}}{R_{D^{(*)}\mathrm{SM}}}}\right) \!\! \left( 1+\frac{\log (\Lambda ^2/(1\mathrm{TeV}^2))}{10.5}\right) . \end{aligned}$$
(5)

Realizations of this scenario in specific NP models yield also an effect in \({{{\mathcal {C}}}}_{7}\) generally [19]. However, since this effect is model dependent (and in fact small in some UV complete models [31, 32]), we neglect it here, leading to the left plot in Fig. 5, where we include the recent update of Ref. [33] to draw the band for \(R_{D(*)}\). Note that this scenario has a pull of 7.0\(\,\sigma \) due to the inclusion of \(R_{D^{(*)}}\), which increases \(\Delta \chi ^2\) by \(\sim 20\).

5 Conclusions

In summary, including recent updates (\(R_K\), \(R_{K^*}\) and \({{{\mathcal {B}}}}(B_s \rightarrow \mu ^+\mu ^-)\)) our global model-independent analysis yields a very similar picture to the one previously found in Refs. [1, 2] for the various NP scenarios of interest with some important peculiarities. In presence of LFUV NP contributions only, the 1D fits to “All” observables remain basically unchanged showing the preference for \({{{\mathcal {C}}}}_{9\mu }^{\mathrm{NP}}\) scenario over \({{{\mathcal {C}}}}_{9\mu }^{\mathrm{NP}}=-\,{{{\mathcal {C}}}}_{10\mu }^{\mathrm{NP}}\). If only LFUV observables are considered the situation is reversed, as already found in Ref. [1], but now with an increased gap between the significances. This difference between the preferred hypotheses, depending on the data set used, can be solved introducing LFU NP contributions [2].

The main differences arise for the 2D scenarios: the cases including RHC, (\({{{\mathcal {C}}}}_{9\mu }^{\mathrm{NP}}, {{{\mathcal {C}}}}_{10^\prime \mu }\)), (\({{{\mathcal {C}}}}_{9\mu }^{\mathrm{NP}}, {{{\mathcal {C}}}}_{9^\prime \mu }\)) or (\({{{\mathcal {C}}}}_{9\mu }^{\mathrm{NP}}, {{{\mathcal {C}}}}_{9^\prime \mu }=-\,{{{\mathcal {C}}}}_{10^\prime \mu }\)), can accommodate better the recent updates, which enhances the significance of these scenarios compared to Ref. [1], pointing to new patterns including RHC. A more precise experimental measurement of the observable \(P_1\) [34, 35] would be very useful to confirm or not the presence of RHC NP encoded in \({{{\mathcal {C}}}}_{9^\prime \mu }\) and \({{{\mathcal {C}}}}_{10^\prime \mu }\).

We also observe interesting changes in the 2D fits in the presence of LFU NP, where new scenarios (not considered in Ref. [2]) give a good fit to data with \({{{\mathcal {C}}}}_{10^{(\prime )}}^{\mathrm{U}}\) and additional LFUV contributions. For example scenario 11 (\({{{\mathcal {C}}}}_{9\mu }^{\mathrm{V}}, {{{\mathcal {C}}}}_{10^\prime \mu }\)) can accommodate \(b\rightarrow s\ell ^+\ell ^-\) data very well, at the same level as scenario 8. Scenarios including LFU NP in left-handed currents (discussed in Ref. [2]) stay practically unchanged but with some preference for scenarios 6 and 8, which have a \((V-A)\) structure for the LFUV-NP and a V or \((V+A)\) structure for the LFU-NP. Furthermore, we have included additional scenarios 9 and 10 that exhibit a significance of 5.0\(\sigma \) and 5.5\(\sigma \) respectively.

We note that the amount of LFU NP is sensitive to the structure of the LFUV component. For instance, in scenario 7 (\({{{\mathcal {C}}}}_{9\mu }^{\mathrm{V}}\) and \({{{\mathcal {C}}}}_{9}^{\mathrm{U}}\)) the LFU component is negligible at its best fit point. On the contrary, if the LFUV-NP has a \((V-A)\) structure, the LFU-NP component (\({{{\mathcal {C}}}}_{9}^{\mathrm{U}}\)) is large, as illustrated by scenarios 6, 8 and 9. Scenarios with NP in RHC (either LFU or LFUV) prefer such contributions at the \(2\sigma \) level (see scenarios 11 and 13) with the exception of scenario 12 with negligible \({{{\mathcal {C}}}}_{9'\mu }^{\mathrm{V}}\). The new values of \(R_K\) and \(R_{K^*}\) seem thus to open a window for RHC contributions while the new \({{{\mathcal {B}}}}(B_s \rightarrow \mu \mu )\) update (theory and experiment) helps only marginally scenarios with \({{{\mathcal {C}}}}_{10\mu }^{\mathrm{NP}}\).

Finally, we showed that scenario 8, which allows for a model-independent connection between the \(b\rightarrow c\tau \nu \) anomalies and the ones in \(b\rightarrow s\ell ^+\ell ^-\), can explain all data consistently and is preferred over the SM by \(7\,\sigma \).

Figure 5 illustrates the impact on the largest anomaly (\(P_5^\prime \)) of some of the most significant scenarios. Interestingly, several of the scenarios currently favoured cluster around the same values for the bins showing deviations with respect to the SM.

We have thus identified a number of NP scenarios with similarly good p-values and pulls with respect to the SM, which are able to reproduce the \(b\rightarrow s\ell ^+\ell ^-\) data very well. Hierarchies among these scenarios can be identified, but additional data and reduced uncertainties are required to come to a final conclusion. The full exploitation of LHC run-2 data by the LHCb experiment (as well as by ATLAS and CMS) and the forthcoming results from the Belle and Belle II collaborations are expected to improve the situation very significantly in the forthcoming years, helping us to pin down the actual NP pattern hinted at by the \(b\rightarrow s\ell ^+\ell ^-\) anomalies currently observed and to build accurate phenomenological models to be confirmed through other experimental probes such as direct production experiments.

Note added After the completion of this work, several global analyses have been performed to assess NP scenarios affecting \(b\rightarrow s\ell ^+\ell ^-\) processes [14, 28, 36, 37]. They agree well with our findings, with small differences stemming mainly from slightly different theoretical approaches as well as theoretical and experimental inputs. The improvement brought by RHC has been observed in Refs. [14, 36], whereas the interest of LFU NP contributions is also identified in Refs. [14, 28, 38]. Most of the analyses observe that the slight deviation from \({{{\mathcal {B}}}}(B_s\rightarrow \mu ^+\mu ^-)\) plays no specific role in the global fit [36, 37], apart from Ref. [28]. In the latter analysis, the significance of a scenario with only \({{{\mathcal {C}}}}_{10\mu }^{\mathrm{NP}}\) is much more important than in our case, and the hierarchies between the significances of 2D scenarios is different. After discussion with the authors of Ref. [28], this difference comes from their inclusion of \(B_s\)-\(\bar{B}_s\) mixing and the assumption that \(\Delta F=2\) observables are purely governed by the SM, which helps them sharpening the prediction for \({{{\mathcal {B}}}}(B_s\rightarrow \mu ^+\mu ^-)\) and increase the weight of this observable in the fit. Our present analysis does not rely on this strong hypothesis, which should be contrasted with the fact that most models invoked to explain \(b\rightarrow s\ell ^+\ell ^-\) anomalies typically affect also \(\Delta F=2\) observables.