1 Introduction

Flavour physics, in particular decays involving B mesons, is expected to play a pivotal role in probing physics beyond the Standard Model (SM) of electroweak interactions. Over the last decade, the currently running experiments at the LHC have provided a profusion of measurements in the neutral current \(b \rightarrow s \ell ^+ \ell ^-\) \((l=e,\,\mu )\) transitions, many of which show intriguing discrepancies with the SM predictions. The most striking one is the discrepancy in the measurement of the ratio \(R_K \equiv \varGamma (B^+ \rightarrow K^+ \mu ^+ \mu ^-)/\varGamma (B^+ \rightarrow K^+ e^+ e^-)\) which shows a \(3.1 \sigma \) deficit compared to the SM prediction in the \((1.1~\text {GeV}^2 \le q^2 \le 6.0~\text {GeV}^2)\) bin, where \(q^2\) is the dilepton invariant mass-squared [1]. Till date, this is considered to be the strongest evidence of lepton flavour universality violation (LFUV) in the B sector. Further, the measurements of analogous ratio, \(R_{K^*} \equiv \varGamma (B^0 \rightarrow K^{*0} \mu ^+ \mu ^-)/\varGamma (B^0 \rightarrow K^{*0} e^+ e^-)\), in the \((0.045 ~\text {GeV}^2 \le q^2 \le 1.1~\text {GeV}^2)\) and \((1.1~\text {GeV}^2 \le q^2 \le 6.0~\text {GeV}^2)\) bins also disagree with the SM at \(\sim \) 2.5\(\sigma \) level [2]. This has been reinforced by new LFU ratios recently measured by the LHCb collaboration in the channels, \(B^0 \rightarrow K_S^0 \mu ^+ \mu ^- \) and \(B^+ \rightarrow K^{*+} \mu ^+ \mu ^-\), which though consistent with the SM at \(\sim 1.5 \sigma \) show a similar deficit [3]. These measurements can be considered as invigorating signatures of new physics in \(b \rightarrow s\, \mu ^+ \mu ^-\) or/and \(b \rightarrow s\, e^+ e^-\) decays.

Apart from anomalous measurements of LFUV ratios, there are measurements of other observables in \(B_s \rightarrow \phi \, \mu ^+\,\mu ^-\) and \(B \rightarrow K^* \, \mu ^+\,\mu ^-\) decays which deviate from their SM predictions. In particular, the measured value of the branching ratio of \(B_s \rightarrow \phi \, \mu ^+\,\mu ^-\) decay by LHCb collaboration exhibits tension with the SM at 3.5\(\sigma \) level [4, 5]. Further, the measurement of the optimized angular observable \(P'_5\) in \(B \rightarrow K^* \, \mu ^+\,\mu ^-\) decay by the LHCb in the \((4.0~\text {GeV}^2 \le q^2 \le 6.0~\text {GeV}^2)\) bin deviates from the SM prediction at the level of 3\(\sigma \) [6,7,8,9]. The measured value of the branching ratio of the decay \(B_s \rightarrow \mu ^+ \mu ^-\) by the LHCb, ATLAS and CMS collaborations also disagrees with the SM prediction at the level of 2\(\sigma \) [10,11,12,13,14,15]. These anomalies can be attributed to beyond SM contribution in \(b \rightarrow s \mu ^+ \mu ^-\) process.

The above anomalous measurements can be consistently analysed in a model-independent framework using the language of effective field theory [15,16,17,18,19,20,21,22,23,24]. These analyses differ mainly in the treatment of hadronic uncertainties and the statistical approach. However, irrespective of the adopted methodology, new physics (NP) scenarios with non-zero muonic Wilson coefficients (WCs) corresponding to vector (V) and axial-vector (A) operators are statistically favoured. Among the possible V and A operators, we consider NP contribution to the operators \({\mathscr {O}}_9 = (\bar{s}\gamma _\mu P_L b)(\bar{\mu } \gamma ^\mu \mu )\) and \({\mathscr {O}}_{10} = (\bar{s}\gamma _\mu P_L b) (\bar{\mu } \gamma ^\mu \gamma ^5 \mu )\) already existing in the SM, and their chirally flipped counterparts \({\mathscr {O}}_9^\prime = (\bar{s}\gamma _\mu P_R b)(\bar{\mu } \gamma ^\mu \mu )\) and \({\mathscr {O}}_{10}^\prime = (\bar{s}\gamma _\mu P_R b)(\bar{\mu } \gamma ^\mu \gamma ^5 \mu )\). The favored solutions obtained as a result of such model-independent analyses can be accomplished in several NP models. Models with an addition of a \(Z'\) having non-universal couplings to leptons, see for e.g. [25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51], are considered to be one of the simplest extensions of the SM wherein these favored NP scenarios can be generated. Most of these models require a heavy \(Z'\) with mass in the TeV range. However a few models with \(Z'\) mass in the GeV [52,53,54,55,56,57,58] or even MeV [54, 59, 60] range were also shown to account for the \(b \rightarrow s \ell ^+ \ell ^-\) anomalies.

Recently, in October 2021 the LHCb collaboration presented new measurements of \(R_{K^0_S}\), \(R_{K^{* +}}\) [3] and updated measurements for several \(B_s \rightarrow \phi \mu ^+\mu ^-\) observables [5, 61]. One of the goal of this work is to study the impact of these measurements on the currently favored NP scenarios in a model-independent way, following the same statistical approach as in our previous work [19]. For the scenarios which provide a good fit to the data, we obtain predictions for the additional LFUV observables \(R_{\phi }\), \(R_{K^{(*)}}\) in the high \(q^2\) bin as well as \(Q_{4,5}\) observables [62], and analyze their potential in distinguishing between these favored NP solutions. In addition, we study the simplest heavy \(Z'\) models which can generate the WC patterns that are favoured from the model-independent fits. The \(Z'\) in these simplified models couples to both \(\bar{s} b\) and \(\mu ^+ \mu ^-\) at tree level and contributes to the operators \({\mathscr {O}}_{9,10}\) and \({\mathscr {O}}_{9,10}^\prime \). Such a \(Z'\) gives rise to scenarios with WC combinations: (i) \(C_9^{\textrm{NP}}\), (ii) \(C_9^{\textrm{NP}} = -C_{10}^{\textrm{NP}}\), (iii) \((C_9^{\textrm{NP}}, C_{10}^{\textrm{NP}} )\) and (iv) \((C_9^{\textrm{NP}}, C_{9}^{\prime } )\). While for the model-independent analyses only \(b \rightarrow s\, \ell \ell \) data is used, in the case of \(Z'\) models, additional relevant constraints from, for example B-\(\bar{B}\) mixing, neutrino trident, are also taken into account. The goal of this study is to investigate the efficacy of different variations of the \(Z'\) models to accommodate the entire \(b \rightarrow s \ell ^+ \ell ^-\) data. We also consider a 25 MeV \(Z^{\prime }\) with couplings only to muon as proposed in Ref. [60].

The paper is organized as follows: In Sect. 2, we discuss the methodology of the global fit and list the measurements included in the fit. We collect the results of our global fit in Sect. 3, considering scenarios with one non-zero NP WC and scenarios with two non-zero WCs, at a time. In Sect. 4 we discuss the various heavy \(Z'\) models that can generate the NP scenarios favoured by the current data. In Sect. 5 we explore a model with a light \(\sim 25\) MeV \(Z'\) as a candidate to explain the \(b \rightarrow s \ell ^+ \ell ^-\) data. We summarize our findings in Sect. 6.

2 Methodology

We begin by presenting the list of observables in \(b \rightarrow s \ell \ell \) decays that exhibit deviations from the predictions of the SM. These are divided into two categories depending on their sensitivity to hadronic uncertainties: the LFUV ratios and other observables involving only \( b \rightarrow s \mu ^+ \mu ^-\) transition. The former being ratio observables are considered clean due to the cancellations of theory uncertainties in the SM, while the latter have larger uncertainties stemming from form factors and charm loop contributions. Below we list the observables included in our global analyses.

  • \(R_K\) and \(R_{K^*}\): The first measurement of \(R_K\) was reported by the LHCb collaboration in 2014 [63]. The measured value in \(1.0~\text {GeV}^2 \le q^2 \le 6.0~\text {GeV}^2\) bin deviated from the SM prediction of \(R_K^{\textrm{SM}} = 1\pm 0.01\) [64] by 2.5\(\sigma \). This measurement was updated in Moriond 2021 and the measured value \(R_K^{\textrm{exp}}=0.846^{+0.044}_{-0.041}\) deviates from the SM at the level of 3.1\(\sigma \) [1]. The LFUV in \(b \rightarrow s \ell \ell \) was further corroborated by the measurement of \(R_{K^*}\) in the two different \(q^2\) bins by the LHCb collaboration in 2017:

    $$\begin{aligned} R_{K^*}^{\textrm{exp}} = \left\{ \begin{array}{ll} 0.660^{+0.110}_{-0.070}~ \pm 0.024, &{}\quad 0.045 \le q^2 \le 1.1 ~\text {GeV}^2, \\ 0.685^{+0.113}_{-0.069}~ \pm 0.047, &{}\quad 1.1 \le q^2 \le 6.0~\text {GeV}^2. \end{array} \right. \end{aligned}$$
    (1)

    The SM prediction of \(R_{K^*}\) in \(0.045 \le q^2 \le 1.1~\text {GeV}^2\) bin is \(\simeq 0.93\) [65] whereas it is \(\sim 1\) in \(1.1 \le q^2 \le 6.0 ~\text {GeV}^2\) [66]. Therefore, the measured values differ from the SM prediction at the level of \(\sim \) 2.5\(\sigma \). Apart from these measurements, \(R_{K^*}\) was also measured by the Belle Collaboration in both \(B^0\) and \(B^+\) decays [67]. We include in our global fit Belle \(R_{K^*}\) measurements in the bins \(0.045 ~\text {GeV}^{2}< q^2< 1.1~\text {GeV}^2, \, 1.1~\text {GeV}^{2}< q^2 < 6.0~\text {GeV}^2, \) and \(15.0~\text {GeV}^{2}< q^2 < 19.0~\text {GeV}^2\).

  • \(R_{K_S^0}\) and \(R_{K^{*+}}\): In October 2021, LHCb presented the first measurement of the ratio \(R_{K_S ^0}\equiv \varGamma (B^0 \rightarrow K_S^0 \mu ^+ \mu ^-)/\varGamma (B^0 \rightarrow K_S^0 e^+ e^-)\) and \(R_{K^{*+}}\equiv \varGamma (B^+ \rightarrow K^{*+} \mu ^+ \mu ^-)/\varGamma (B^+ \rightarrow K^{*+} e^+ e^-)\) corresponding to a luminosity of 9 \(\text {fb}^{-1}\) recorded in 2011 (7 TeV), 2012 (8 TeV) as Run 1 and 2016–2018 (13 TeV) as Run 2. The measured value of \(R_{K_S ^0}^{\textrm{exp}} = 0.66^{+0.20+0.02}_{-0.14 - 0.04}\) and \(R_{K^{*+}}^{\textrm{exp}} = 0.70^{+0.18+0.03}_{-0.13 - 0.04}\) in the region \(1.1~\text {GeV}^2 \le q^2 \le 6.0~\text {GeV}^2\) show some deficit but is consistent with the SM at 1.5\(\sigma \) [3].

  • Branching ratio of \(B_s \rightarrow \mu ^+ \mu ^-\): The LHCb updated the experimental value of the branching ratio of \(B_s \rightarrow \mu ^+ \mu ^-\) in Moriond 2021 [10]. The measured value, \( \left( 3.09^{+0.46+0.15}_{-0.43-0.11} \right) \times 10^{-9}\), is nearly the same as the previous world average [11] of the measurements performed by the ATLAS [12], CMS [13] and LHCb [14] collaborations. In our fit, we consider the updated world average \( B(B_s \rightarrow \mu ^+ \mu ^-)= ( 2.93 \pm 0.35 ) \times 10 ^{-9} \) which is 2.3\(\sigma \) away from the SM prediction [15].

  • Differential branching ratios: We update in our fit the recently measured the differential branching fraction measurements of \(B_s \rightarrow \phi \mu ^+ \mu ^-\) by LHCb in various \(q^2\) intervals [5]. We also include differential branching ratios of \(B^0 \rightarrow K^{*0} \mu ^+ \mu ^- \) [68,69,70], \(B^{+} \rightarrow K^{*+}\mu ^{+}\mu ^{-}\), \(B^{0}\rightarrow K^{0} \mu ^{+}\mu ^{-}\)and \(B^{+}\rightarrow K^{+}\mu ^{+}\mu ^{-}\) [70, 71] in different \(q^2\) bins. Further, the branching fraction of inclusive decay mode \(B \rightarrow X_{s}\mu ^{+}\mu ^{-}\) [72] where \(X_{s}\) is a hadron containing only one kaon is included in the fit in the low and high-\(q^2\) bins.

  • Angular Observables in \(B^0 \rightarrow K^{*0} \mu ^+ \mu ^-\): We include in our fit the longitudinal polarisation fraction \(F_L\), forward-backward asymmetry \(A_{FB}\) and observables \(S_3\), \(S_4\), \(S_5\), \(S_7\), \(S_8\), \(S_9\) in various intervals of \(q^2\), as measured by the LHCb collaboration in 2020 [8], along with their experimental correlations. We also include the angular observables \(F_L\), \(P_1\), \(P_4 '\), \(P_5 '\), \(P_6 '\) and \(P_8 '\) measured by ATLAS [73] and \(P_1\), \(P_5 '\) measured by CMS [74]. The measurements of \(F_L\) and \(A_{FB}\) by CDF and CMS collaborations are also included [69, 70].

  • Angular observables in \(B^+ \rightarrow K^{*+} \mu ^+\mu ^-\): The full set of angular observables for this decay mode was determined for the first time by LHCb in 2020 [75]. The measured values show deviations from the SM predictions similar to those in the angular observables of \(B^0 \rightarrow K^{*0} \mu ^+\mu ^-\) decay. Here, we take into account the results for \(F_L\) and \(P_1 - P_8 '\) optimized angular observables, along with their experimental correlation [75].

  • Angular observables in \(B_s \rightarrow \phi \mu ^+\mu ^-\): We include the CP-averaged observables \(F_L\), \(S_3\), \(S_4\) and \(S_7\) as measured by the LHCb in 2021 with the available experimental correlations [61].

The discrepancies between the measurements and SM predictions of these LFUV ratios and angular observables suggests the presence of physics beyond the SM, which can be analyzed in a model-independent way using an effective field theory approach. The most general effective Hamiltonian for \( b \rightarrow s \mu ^+ \mu ^-\) decays in the presence of NP of the form of V and A operators is given by,

$$\begin{aligned} {\mathscr {H}}_{\textrm{eff}}(b \rightarrow s \mu \mu ) = {\mathscr {H}}^{\textrm{SM}} + {\mathscr {H}}^{\textrm{VA}}, \end{aligned}$$
(2)

where the SM effective Hamiltonian is

$$\begin{aligned} {\mathscr {H}}^{\textrm{SM}}&= -\frac{ 4 G_F}{\sqrt{2} \pi } V_{ts}^* V_{tb} \bigg [ \sum _{i=1}^{6}C_i {\mathscr {O}}_i + C_8 {\mathscr {O}}_8 \nonumber \\&\quad + C_7\frac{e}{16 \pi ^2}[\overline{s} \sigma _{\alpha \beta } (m_s P_L + m_b P_R)b] F^{\alpha \beta } \nonumber \\&\quad + C_9^{\textrm{SM}} \frac{\alpha _{\textrm{em}}}{4 \pi } (\overline{s} \gamma ^{\alpha } P_L b)(\overline{\mu } \gamma _{\alpha } \mu ) \nonumber \\&\quad + C_{10}^{\textrm{SM}} \frac{\alpha _{\textrm{em}}}{4 \pi } (\overline{s} \gamma ^{\alpha } P_L b)(\overline{\mu } \gamma _{\alpha } \gamma _{5} \mu ) \bigg ]. \end{aligned}$$
(3)

Here \(V_{ij}\) are the elements of the Cabibbo–Kobayashi–Maskawa (CKM) matrix. The short-distance contributions are encoded in the WCs \(C_i\) of the four-fermi operators \({\mathscr {O}}_i\). The scale-dependence here is implicit, i.e. \(C_i \equiv C_i(\mu )\) and \({\mathscr {O}}_i \equiv {\mathscr {O}}_i(\mu )\). The operators \({\mathscr {O}}_i\) (\(i=1,\ldots ,6,8\)) contribute through the modifications \(C_7(\mu ) \rightarrow C_7^{\textrm{eff}}(\mu ,q^2)\) and \(C_9(\mu ) \rightarrow C_9^{\textrm{eff}}(\mu ,q^2)\). The NP effective Hamiltonian can be represented as

$$\begin{aligned} {\mathscr {H}}^{\textrm{VA}}&= -\frac{\alpha _{\textrm{em}} G_F}{\sqrt{2} \pi } V_{ts}^* V_{tb} \bigg [C_9^{\textrm{NP}} (\overline{s} \gamma ^{\alpha } P_L b) (\overline{\mu } \gamma _{\alpha } \mu ) \nonumber \\&\quad + C_{10 }^{\textrm{NP}} (\overline{s} \gamma ^{\alpha } P_L b) (\overline{\mu } \gamma _{\alpha } \gamma _{5} \mu ) + C_9^{\prime }(\overline{s} \gamma ^{\alpha } P_R b)(\overline{\mu } \gamma _{\alpha } \mu ) \nonumber \\&\quad + C_{10 }^{\prime } (\overline{s} \gamma ^{\alpha } P_R b) (\overline{\mu } \gamma _{\alpha } \gamma _{5} \mu ) \bigg ], \end{aligned}$$
(4)

where NP contributes through a change in the short-distance WCs and the NP WCs are denoted by \(C_9^{\textrm{NP}}, C_{10}^{\textrm{NP}},C_9^{\prime }\) and \(C_{10}^{\prime }\). These NP WCs are assumed to be real in our analysis. We focus on scenarios where (i) one of the NP WCs is non-zero or two of them are linearly related (“1D”), and (ii) two of the WCs are non-zero at a time (“2D”) so that we get six possible pairs. In order to identify the Lorentz structure of NP favoured by the \( b \rightarrow s \ell \ell \) data, we perform global fits based on a \(\chi ^2\) function that depends on these NP WCs and use the CERN minimization code MINUIT [76]. The \(\chi ^2\) function is defined as

$$\begin{aligned} \chi ^2(C_i,C_j)= & {} \big [{\mathscr {O}}_{\textrm{th}}(C_i,C_j) -{\mathscr {O}}_{\textrm{exp}}\big ]^T \, {\mathscr {C}}^{-1} \nonumber \\{} & {} \big [{\mathscr {O}}_{\textrm{th}}(C_i,C_j) -{\mathscr {O}}_{\textrm{exp}} \big ]. \end{aligned}$$
(5)
Table 1 The best fit values of new WCs in various 1D and 2D scenarios. Here \(\varDelta \chi ^2 = \chi ^2_{\textrm{SM}}-\chi ^2_{\textrm{bf}}\) where \(\chi ^2_{\textrm{bf}}\) is the \(\chi ^2\) at the best fit point and \(\chi ^2_{\textrm{SM}}\) corresponds to the SM. Note that \(\chi ^2_{\textrm{SM}} \approx 199\) (200) for Moriond 2021 (updated fits) data set

Here \({\mathscr {O}}_{\textrm{th}}(C_i,C_j)\) are the theoretical predictions of the N=156 observables used in the fit, that depend on the NP WCs and \({\mathscr {O}}_{\textrm{exp}}\) are the corresponding central values of the experimental measurements. The \(N \times N\) total covariance matrix \({\mathscr {C}}\) is obtained by adding the individual theoretical and experimental covariance matrices. The theoretical covariance matrix includes uncertainties from input parameters, form factors and power corrections and is calculated using flavio [65]. The correlations among \({\mathscr {O}}_{\textrm{exp}}\) are included for the angular observables in \(B^0 \rightarrow K^{*0} \mu ^+ \mu ^-\) [8], \(B^+ \rightarrow K^{*+} \mu ^+ \mu ^-\) [75] and \(B_s \rightarrow \phi \mu ^+ \mu ^-\) [61]. Wherever the errors are asymmetric, we use the conservative approach of using the larger error on both sides of the central value. The value of \(\chi ^2\) in the SM is denoted by \(\chi ^2_{\textrm{SM}}\), and the best-fit value in the presence of NP WCs by \(\chi ^2_{\textrm{bf}}\). We use \(\varDelta \chi ^2 \equiv \chi ^2_{\textrm{SM}}-\chi ^2_{\textrm{bf}}\) for each NP scenario to quantify the extent to which a particular scenario is able to provide a better fit to the data compared to the SM.

3 Analysis of \(b \rightarrow s \ell \ell \) data: a model independent approach

We consider “1D” and “2D” scenarios where NP affects the muon sector only. In Table 1, we update the results of Ref. [19], in the following way: the fit results obtained after including the new measurements of \(B_s \rightarrow \phi \mu \mu \), \(R_{K^{*+}}\) and \(R_{K^0_S}\) by LHCb in 2021 are presented in the column “Updated fits” \((\varDelta \chi ^2_{2022})\), while the fit results obtained after Moriond 2021 are shown in “Moriond 2021” (\(\varDelta \chi ^2_{2021}\)). In Fig. 1, we show the \(1\sigma \) allowed regions from the measurements of \(R_K [1.1 - 6.0]\), \(R_{K^{*}}[1.1-6.0]\), \(P_5^\prime [4.0-6.0]\) and \(B(B_s \rightarrow \phi \mu \mu )[1.0-6.0]\) with yellow, blue, pink and green bands respectively. We superimpose on these bounds, the \(1\sigma \) and \(2\sigma \) contours obtained from our global fit to all the \(b \rightarrow s \ell \ell \) data. This allows us to check whether the best-fit regions are able to account for the above anomalies.

Fig. 1
figure 1

Allowed parameter space for NP Scenarios \((C_9^{\textrm{NP}},C_{10}^{\textrm{NP}})\), \((C_9^{\textrm{NP}},C_{9}^{\prime })\) and \((C_9^{\textrm{NP}},C_{10}^{\prime })\)

We find that the overall performance of the “1D” scenarios in the updated fits after including the \(B_s \rightarrow \phi \mu \mu \), \(R_{K^{*+}}\) and \(R_{K^0_S}\) measurements remain largely unchanged, as compared to the one in “Moriond 2021”. The scenarios: \(C_9^{\textrm{NP}} <0\) and \(C_9^\textrm{NP } = -C_{10}^{\textrm{NP}}\) continue to provide a good fit to the data. It is evident from Fig. 1 that these 1D scenarios along with \(C_{10}^{\textrm{NP}} >0\) scenario can alleviate the existing tension between the SM and the measured values of \(R_K\) and \(R_{K^*}\) in the low-\(q^2\) bin. The significance of the scenario \(C_9^{\textrm{NP}} = -C_9^{\prime }\) has reduced considerably compared to Ref. [19] (\(\varDelta \chi ^2_{2021} = 44\)), as it predicts \(R_K \approx 1\), and hence fails to accommodate its current measurement. However, this scenario can accommodate the measurement of \(R_{K^*}\) in the low-\(q^2\) bin. The scenarios \(C_9^{\textrm{NP}} <0\) and \(C_9^{\textrm{NP}} = -C_9^{\prime }\) can account for the measurement of \(P'_5\) within 1\(\sigma \), whereas the scenarios \(C_9^{\textrm{NP}} = -C_{10}^{\textrm{NP}}\) and \(C_{10}^{\textrm{NP}} > 0\) can only provide a marginal resolution. Further, none of the 1D and 2D scenarios can account for the anomalous measurement of the branching ratio of \(B_s \rightarrow \phi \, \mu ^+\,\mu ^-\) decay, they can only invoke a marginal reduction in the existing tension.

In case of the six “2D” scenarios, the overall conclusions remain the same as Ref. [19], though there is a slight reduction in the significance of the favourable scenarios: \((C_9^{\textrm{NP}} , C_{10}^{\textrm{NP}})\) and \((C_9^{\textrm{NP}} , C_{10}^{\prime })\). The three favoured scenarios \((C_9^{\textrm{NP}}, C_{10}^{\textrm{NP}})\), \((C_9^{\textrm{NP}} , C_{10}^{\prime })\) and \((C_9^{\textrm{NP}} , C_{9}^{\prime })\) can explain \(R_K\), \(R_{K^*}\) and \(P_5^\prime \) within 1\(\sigma \).

Fig. 2
figure 2

Prediction (1\(\sigma \) range) of additional LFUV observables for “1D” and “2D” solutions

The prediction of some of the additional LFUV observables are given in Fig. 2. We consider the LFU ratios \(R_{\phi }\equiv \varGamma (B_s \rightarrow \phi \mu ^+ \mu ^-)/\varGamma (B_s \rightarrow \phi e^+ e^-)\) in both low and high-\(q^2\) bins and \(R_{K^{(*)}}\) in the high \(q^2\) bin.We also study the LFUV observable \(Q_{4,5}\) which can be constructed as [62]

$$\begin{aligned} Q_{4,5}=P^{'\mu }_{4,5} - P^{'e}_{4,5}. \end{aligned}$$
(6)

Within the SM, these observables are predicted to vanish to high accuracy. Hence any measurement of Q observables different from zero would provide unambiguous signatures of NP. The \(Q_4\) and \(Q_5\) observables have been measured by the Belle collaboration [77]. However, owing to large errors, the measured values are consistent with zero.

All 1D scenarios predict \(R_{\phi } <1\), both in the low and high-\(q^2\) regions. The same is true for \(R_{K^*}\) prediction in the high-\(q^2\) bin. The scenario \(C_9^{\textrm{NP}} = - C_{9}^{\prime }\) is the only one that predicts \(R_{K} \approx 1\) in the high-\(q^2\) bin, and among the favored 1D scenarios, the only one that can invoke \(R_\phi < 0.75\) and \(R_{K^*} < 0.75\). Therefore this scenario can be distinguished from other 1D scenarios on the basis of future measurement of \(R_{K}\) in the high \(q^2\) bin.

A large non-zero future measurement of \({Q_4}_{[15-19]}\) may indicate \(C_9^{\textrm{NP}} = - C_{9}^{\prime }\) as a more favourable scenario and the presence of chirally-flipped NP operators. The \(C_9^{\textrm{NP}} = - C_{9}^{\prime }\) scenario can also be distinguished from others based on the sign of \({Q_5}_{[15-19]}\) observable. Further, if \({Q_5}_{[4-6]}\) is measured with a value > 0.20, then the \(C_9^{\textrm{NP}} < 0\) solution would be favoured over all the other 1D scenarios. A future measurement of \({Q_5}_{[4-6]} < 0\) may point towards the \(C_{10}^{\textrm{NP}}> 0\) scenario.

All 2D allowed scenarios predict \(R_{\phi }<1\) as well as \(R_{K^{(*)}}<1\) in the high-\(q^2\) region. Hence, the values of \(R_{\phi }\) in the low as well as high-\(q^2\) bins do not have any kind of discrimination power. The \((C_9^{\textrm{NP}},C_{10}^{\textrm{NP}})\) scenario is the only one which allows \(R_K\) in the high-\(q^2\) bin to be as low as \(\sim \) 0.7. While the \(Q_{4_{[4-6]}}\) observable have similar \(1\sigma \) allowed ranges for the 2D scenarios, larger values of this observable are allowed only in \((C_9^{\textrm{NP}}, C_{10}^{\prime })\) scenario. Further, \(Q_{4_{[15-16]}}\) is SM-like only for the \((C_9^{\textrm{NP}},C_{10}^{\textrm{NP}})\) scenario, and hence any large deviation could indicate the presence of chirally-flipped NP operators. Therefore any non-zero measurement of \({Q_4}_{[15-19]}\) can distinguish this scenario from the other two. The predicted values of \(Q_{5_{[4-6]}}\) can be as large as \(\sim 0.25\) for all 2D scenarios, and even larger in the case of \((C_9^{\textrm{NP}}, C_9^{\prime })\) scenario.

4 Analysis of \(b \rightarrow s \ell \ell \) data in 1D and 2D non-universal \(Z'\) models

We consider a model with a \(Z'\) boson in the TeV range that couples to \(\bar{s}b\) as well as \(\mu ^+ \mu ^-\). This \(Z'\) can be associated with a new \(U(1)'\) symmetry. It couples to both left-handed and right-handed muons but not to leptons of other generations. The \(Z'\) couplings relevant for \(b \rightarrow s \mu ^+ \mu ^-\) process can be written as [32]

$$\begin{aligned}{} & {} \left[ g^{bs}_L\, \bar{s} \gamma ^{\alpha }P_L b + g^{bs}_R\, \bar{s} \gamma ^{\alpha }P_R b + g^{\mu \mu }_L\, \bar{\mu }\gamma ^{\alpha }P_L\, \mu \right. \nonumber \\{} & {} \quad \left. + g^{\mu \mu }_R\, \bar{\mu }\gamma ^{\alpha }P_R\, \mu \right] Z'_{\alpha } , \end{aligned}$$

where \(g_{L(R)}^{bs}\) are the left-handed (right-handed) couplings of the \(Z'\) boson to quarks, and \(g_{L(R)}^{\mu \mu }\) to muons. After integrating out the heavy \(Z'\) at the tree level, we get the effective four-fermion Hamiltonian which apart from contributing to \(b\rightarrow s\, \mu ^+\,\mu ^-\) transition, also induces \(B_s - \bar{B_s}\) mixing. The relevant terms in the effective Hamiltonian are given by

$$\begin{aligned}{} & {} {\mathscr {H}}_{\textrm{eff}}^{Z'} \supset \frac{g^{bs}_L}{M^2_{Z'}} \left( \bar{s}\gamma ^{\alpha }P_L b\right) \left[ \bar{\mu }\gamma _{\alpha }\left( g^{\mu \mu }_L P_L + g^{\mu \mu }_R P_R\right) \mu \right] \nonumber \\{} & {} \quad + \frac{g^{bs}_R}{M^2_{Z'}} \left( \bar{s}\gamma ^{\alpha }P_R b\right) \left[ \bar{\mu }\gamma _{\alpha }\left( g^{\mu \mu }_L P_L + g^{\mu \mu }_R P_R\right) \mu \right] \nonumber \\{} & {} \quad + \frac{\left( g^{bs}_L\right) ^2}{2M^2_{Z'}}\left( \bar{s}\gamma ^{\alpha }P_L b\right) \left( \bar{s}\gamma _{\alpha }P_L b\right) \nonumber \\{} & {} \quad + \frac{\left( g^{bs}_R\right) ^2}{2M^2_{Z'}}\left( \bar{s}\gamma ^{\alpha }P_R b\right) \left( \bar{s}\gamma _{\alpha }P_R b\right) \nonumber \\{} & {} \quad + \frac{\left( g^{bs}_L g^{bs}_R\right) }{M^2_{Z'}}\left( \bar{s}\gamma ^{\alpha }P_L b\right) \left( \bar{s}\gamma _{\alpha }P_R b\right) . \end{aligned}$$
(7)
Table 2 1D and 2D favoured NP scenarios that can be generated in \(Z'\) model

The first two terms in Eq. (7) induce \(b\rightarrow s \mu ^+\mu ^-\) transition. These contributions modify the SM WCs \(C^{\textrm{SM}}_{9,10}\) as \(C_{9,10} \rightarrow C^{\textrm{SM}}_{9,10} + C^{\textrm{NP}}_{9,10}\). The right-handed quark couplings contribute to the chirally flipped WCs \(C_{9,10}^{\prime }\). Matching onto the effective Hamiltonian for \(b\rightarrow s \mu ^+\mu ^-\) process as given in Eq. (4), the relevant WCs are,

$$\begin{aligned} C^{\textrm{NP}}_9= & {} -(N_1/2)\, g_L^{bs}\,(g_L^{\mu \mu }+g_R^{\mu \mu }), \nonumber \\ C^{\textrm{NP}}_{10}= & {} (N_1/2)\, g_L^{bs}\,(g_L^{\mu \mu }- g_R^{\mu \mu }), \nonumber \\ C_{9}^{\prime }= & {} -(N_1/2)\, g_R^{bs}\,(g_L^{\mu \mu }+g_R^{\mu \mu }), \nonumber \\ C_{10}^{\prime }= & {} (N_1/2)\, g_R^{bs}\,(g_L^{\mu \mu }- g_R^{\mu \mu }), \end{aligned}$$
(8)

where \(N_1 = \sqrt{2} \pi / (\alpha _{em} G_F V_{tb}V^*_{ts}M_{Z'}^2 )\). It is evident from Eq. (8) that the \(Z'\) model can generate several favoured NP scenarios which are listed in Table 2, along with the corresponding best-fit values of the \(Z'\) couplings obtained after a fit. We consider the favoured “1D” scenarios \(C_9^{\textrm{NP}} \) and \(C_9^{\textrm{NP}} = -C_{10}^{\textrm{NP}}\) which we denote by Z-I and Z-II respectively, and the “2D” scenarios \((C^{\textrm{NP}}_9, \, C^{\textrm{NP}}_{10})\) and \((C_{9}^{\textrm{NP}},\, C_{9}^{\prime })\) denoted as Z-III and Z-IV, respectively. In principle, the 1D scenarios \(C_{10}^{\textrm{NP}}\) and \(C_9^{\textrm{NP}} = -C_{9}^{\prime }\) can also be generated in the \(Z'\) framework. However, we don’t consider them due to the fact that they can only provide a moderate fit to the data with \(\varDelta \chi ^2 \approx 30\) whereas, as we will see below, \(\varDelta \chi ^2\) for other four scenarios are \(> 42\). It is also discernible from Eq. (8) that the 2D favoured scenario \((C_9^{\textrm{NP}}, C_{10}^{\prime })\) cannot be generated in this framework.

The last three terms in Eq. (7) give rise to \(B_{s}\)\(\bar{B}_{s}\) mixing. The NP contribution to \(B_{s}\)\(\bar{B}_{s}\) mixing can be described by the following effective Hamiltonian,

$$\begin{aligned}{} & {} {\mathscr {H}}_{\textrm{eff}}^{\varDelta B = 2} \supset \frac{4 G_F}{\sqrt{2}} \left( V_{tb} V^*_{ts} \right) ^2 \Big [ C^{bs}_1 \left( \bar{s}\gamma ^{\alpha }P_L b \right) ^2\nonumber \\{} & {} \quad + C^{bs}_2 \left( \bar{s}\gamma ^{\alpha }P_R b\right) ^2 + C^{bs}_3 \left( \bar{s}\gamma ^{\alpha }P_L b \right) \left( \bar{s}\gamma _{\alpha }P_R b \right) \Big ]. \end{aligned}$$
(9)

Here scalar and tensor operators are neglected as they are disfavoured by the current \(b \rightarrow s \ell \ell \) data. In the presence of these operators, the contribution to \(B_{s}\)\(\bar{B}_{s}\) mixing normalized to the SM is given by [78],

$$\begin{aligned}&\frac{\varDelta M_s^{\text {SM}+\text {NP}}}{\varDelta M_s^{\text {SM}}} = \Bigg | 1 + \frac{\eta ^{6/23}}{R_{\text {loop}}^{\text {SM}}} \Bigg \{ C^{bs}_1 + C^{bs}_2 \nonumber \\&\quad - \frac{C^{bs}_3}{2\eta ^{3/23}} \Bigg [\frac{B_5}{B_1} \left( \frac{M_{B_s}^2}{(m_b + m_s)^2} + \frac{3}{2} \right) \nonumber \\&\quad + \frac{B_4}{B_1} \left( \frac{M_{B_s}^2}{(m_b + m_s)^2} + \frac{1}{6} \right) \left( \eta ^{-27/23} - 1\right) \Bigg ] \Bigg \} \Bigg |. \end{aligned}$$
(10)

Here \(\eta = \alpha _s(\mu _\text {NP}) / \alpha _s(m_b)\) and the SM loop function is given by \(R^{\text {loop}}_{\text {SM}}= (1.310 \pm 0.010) \times 10^{-3}\) [78]. The bag parameters \(B_i\) are defined in [78]. Matching the last three terms of Eq. (7) onto Eq. (9), the NP WCs at the scale \(\mu = M_{Z^\prime }\) are given as

$$\begin{aligned} C^{bs}_1= & {} \frac{1}{4 \sqrt{2} G_F M^2_{Z^\prime }} \left( \frac{g_L^{bs}}{V_{tb} V^*_{ts}} \right) ^2 , \nonumber \\ C^{bs}_2= & {} \frac{1}{4 \sqrt{2} G_F M^2_{Z^\prime }} \left( \frac{g_R^{bs}}{V_{tb} V^*_{ts}} \right) ^2 , \nonumber \\ C^{bs}_3= & {} \frac{\sqrt{2}}{4 G_F M^2_{Z^\prime }} \left( \frac{g_L^{bs} g_R^{bs}}{(V_{tb} V^*_{ts})^2} \right) . \end{aligned}$$
(11)

Using Eq. (10) and Eq. (11), we get

$$\begin{aligned} \frac{\varDelta M_s^{\text {SM}+\text {Z}'}}{\varDelta M_s^{\text {SM}}} \approx \left| 1 + 5 \times 10^{3} \left\{ \left( g_L^{bs}\right) ^2 + \left( g_R^{bs}\right) ^2 - 9 g_L^{bs}g_R^{bs} \right\} \right| . \end{aligned}$$
(12)

As the mass of \(Z'\) is assumed to be much above the electroweak scale, the \(Z'\) couplings must respect \(SU(2)_L\) gauge invariance. Due to this symmetry, the \(Z'\) also couples to the left-handed neutrinos with \(g^{\mu \mu }_L\) coupling. This induces an additional term in the effective Hamiltonian which can be written as

$$\begin{aligned} {\mathscr {H}}_{\textrm{eff}}^{Z'} \supset \frac{g^{\mu \mu }_L}{M^2_{Z'}} \left( \bar{\nu }_{\mu }\gamma _{\alpha }P_L\nu _{\mu }\right) \left[ \bar{\mu }\gamma ^{\alpha }\left( g^{\mu \mu }_L P_L + g^{\mu \mu }_R P_R\right) \mu \right] . \end{aligned}$$
(13)

The above term contributes to the neutrino trident production \(\nu _{\mu } N \rightarrow \nu _{\mu } N \mu ^+\mu ^-\) (N = nucleus) and modifies the cross section \(\sigma \) as [18]

$$\begin{aligned} R_\nu = \frac{\sigma }{\sigma _{\textrm{SM}}}= & {} \frac{1}{1\!+\!(1\!+4s^2_W)^2}\Bigg [\left( 1+\! \frac{v^2g^{\mu \mu }_L(g^{\mu \mu }_L -g^{\mu \mu }_R)}{M^2_{Z'}}\right) ^2 \nonumber \\{} & {} + \left( 1+4s^2_W+\frac{v^2g^{\mu \mu }_L(g^{\mu \mu }_L +g^{\mu \mu }_R)}{M^2_{Z'}}\right) ^2\Bigg ],\nonumber \\ \end{aligned}$$
(14)

where \(v=246\) GeV and \(s_W = \sin \,\theta _W\).

Table 3 Fit results for “1D” and “2D” scenarios generated in heavy \(Z'\) models and 1\(\sigma \) ranges of some of the observables used in the fit. Here \(B_s^{\phi \mu }\equiv Br(B_s \rightarrow \phi \mu ^+ \mu ^-)\)
Fig. 3
figure 3

Prediction (1\(\sigma \) range) of additional LFUV observables in heavy and light \(Z'\) models

We now consider contributions to the total \(\chi ^2\) coming from the above observables. For \(b\rightarrow s \mu \mu \) observables, the \(\chi ^2\) is given by Eq. (5) with WCs expressed in terms of the \(Z'\) couplings as given in Eq. (8). Thus these observables provide constraints on the product of couplings \(g_{L,R}^{bs} \, g_{L,R}^{\mu \mu }\). The constraint coming from the mass difference \(\varDelta M_s\) on \(g_{L,R}^{bs}\) can be translated in the following form using Eq. (12)

$$\begin{aligned} (g_L^{bs})^2 + (g_R^{bs} )^2 - 9\,g_L^{bs}\,g_R^{bs} = (7.69 \pm 12.94) \times 10^{-6}, \end{aligned}$$
(15)

where we have used \(\varDelta M_s^{\textrm{SM}}/\varDelta M_s^\textrm{Exp}=1.04^{+0.04}_{-0.07}\) [78]. Therefore the contribution of \(\varDelta M_s\) to the \(\chi ^2\) can be written as

$$\begin{aligned} \chi ^2_{\varDelta M_s} = \left( \frac{\left( (g_L^{bs})^2 + (g_R^{bs} )^2 - 9\,g_L^{bs}\,g_R^{bs}\right) - 7.69 \times 10^{-6}}{12.94 \times 10^{-6}}\right) ^2. \end{aligned}$$
(16)

The contribution to the total \(\chi ^2\) coming from neutrino trident production, which constraints individual muon couplings \(g_{L,R}^{\mu \mu }\), is given by

$$\begin{aligned} \chi ^2_\mathrm{{trident}} = \left( \frac{R_\nu - 0.82}{0.28}\right) ^2, \end{aligned}$$
(17)

where the theoretical expression of \(R_\nu \) is given in Eq. (14), and the experimental value is \(0.82 \pm 0.28\) [79, 80]. The total \(\chi ^2\) is given by

$$\begin{aligned} \chi ^2_{Z'_{\textrm{Heavy}}} = \chi ^2_{b\rightarrow s \mu \mu } + \chi ^2_{\varDelta M_s} + \chi ^2_{\textrm{trident}}. \end{aligned}$$
(18)

Considering the mass of \(Z'\) to be 1 TeV and assuming NP couplings to be real, the fit results are given in Table 3. Following the methodology of the model independent analysis, the goodness of the fit is determined by \(\varDelta \chi ^2 \equiv \chi ^2_{\textrm{SM}}-\chi ^2_{\textrm{bf}}\). The value of \(\chi ^2_{\textrm{SM}}\approx 200\) and \(\varDelta \chi ^2\approx \) 42, 42, 46 and 48 for Z-I, Z-II, Z-III and Z-IV scenarios, respectively indicating that all the models provide a good fit to the data. The best fit values of \(Z'\) couplings corresponding to these models are given in Table 2. These scenarios can accommodate the measurement of \({R_{K^{(*)}}}\) in \([1.1-6.0]\) bin whereas only a marginal reduction in tension is possible for the branching ratio of \(B_s \rightarrow \phi \mu ^+ \mu ^-\) in the low-\(q^2\) bin. The measurement of \(P'_{5}\) in [4.0-6.0] bin can be explained within 1\(\sigma \) for Z-I Z-III and Z-IV scenarios whereas Z-II can only provide a minor improvement.

The 1\(\sigma \) ranges of additional LFUV observables for various heavy \(Z'\) models are shown in Fig. 3. The \({R_{K}}\) values in [15–19] bin cannot provide any discrimination between models Z-I and Z-II and Z-III, though in Z-IV model the \(R_{K_{[15-19]}}\) values can be close to 0.9. The \({R_{K^*}}_{[15-19]}\), \(R_{\phi }\) and \({Q_4}_{[4-6]}\) observables do not have any discriminative capability. All scenarios, except Z-IV predict \({Q_4}_{[15-19]}\) values to be SM-like.

Interestingly, the allowed \(1\sigma \) ranges of \({Q_5}_{[4-6]}\) for 1D models Z-I and Z-II, along with 2D models Z-III and Z-IV are distinct: \({Q_5}_{[4-6]}\) is restricted to be \(< 0.06\) for Z-II, whereas it can be \(>0.15\) for Z-I. Moreover any measurement of \({Q_5}_{[4-6]}>0.25\) would favour Z-IV over Z-III. A precise measurement of \(Q_5\) in [4–6] bin can therefore make it possible to distinguish between Z-I and Z-II as well as Z-III and Z-IV. The \({Q_5}_{[15-19]}\) values cannot discriminate between models, however, any non-zero measurement would rule out Z-II scenario.

In our analysis, we have assumed that the \(Z'\) couples only to muons. This can be achieved by the \(L_{\mu }\) symmetry. However this symmetry by itself is not anomaly-free and hence one requires additional symmetries. The gauged \(L_{\mu }-L_{\tau }\) symmetry is one such popular choice [28,29,30, 36,37,38,39, 41,42,45, 48]. Due to this symmetry, new physics in muon sector will also generate effects in decays induced by the quark level transition \(b \rightarrow s \tau ^+ \tau ^-\) [28]. Using the best fit values of NP couplings, \(B(B \rightarrow K \tau ^+ \tau ^-)_{[15-22]}\) and \(B(B \rightarrow K^* \tau ^+ \tau ^-)_{[15-19]}\) are predicted to be \(1.34 \times 10^{-7} \) and \(1.37 \times 10^{-7}\), respectively. These values are close to their respective SM predictions.

5 Analysis of \(b \rightarrow s \ell \ell \) data a light \(Z'\) model with \(q^2\) dependent couplings

One of the motivation for the light \(Z'\) model is to explain the measurement of \(R_{K^*}\) in the very low \(q^2\) bin \(0.045 \le q^2 \le 1.1 {\text {GeV}}^2\). In such models, the NP WCs have a \(q^2\) dependence. This is due to the fact that the NP contributions cannot be integrated out. In Ref. [59], a \(Z'\) with \(q^2\) dependent \(b-s\) couplings along with couplings to muon and neutrino, and with a mass less than two times the muon mass was proposed to explain the measurement of \(R_K\) and the anomalous magnetic moment of the muon. A \(Z'\) model with mass in a few GeV range was considered in Ref. [54]. However due to the mild dependence of WCs on \(q^2\), only a marginal suppression in the value of \(R_{K^*}\) in the very low-\(q^2\) bin was possible.

In this work, we consider a 25 MeV \(Z^{\prime }\) model with couplings only to muons, first proposed in [60]. Additionally, a \(Z^{\prime }\) with couplings only to electrons were also introduced in Ref. [60] in order to resolve the tension between the measured value of \(R_{K^*}\) and the SM prediction in the very low-\(q^2\) bin. Our primary goal is to investigate the efficacy of different possible scenarios generated in this model to accommodate the entire \(b \rightarrow s \mu ^+ \mu ^-\) data. This includes anomalous measurements of angular observable \(P'_5\) in \(B \rightarrow K^* \mu ^+ \mu ^-\) decay and the branching ratio of \(B_s \rightarrow \phi \mu ^+ \mu ^-\). For the scenarios providing a good fit to the data, we obtain predictions for LFUV observables \(R_{K^{(*)}}\) in the high-\(q^2\) bin, \(R_{\phi }\) and \(Q_{4,5}\) to look for the possibility of distinguishing between the favoured scenarios generated in this model.

We assume the flavor-changing \(bsZ^{\prime }\) vertex to have the form,

$$\begin{aligned} F(q^2) \, \bar{s} \gamma ^{\mu }\left[ g_{bs} P_L + g_{bs}' P_R \right] b \, Z^\prime _{\mu }, \end{aligned}$$
(19)

where for \(q^2 \ll m_B^2\), the form factor \(F(q^2)\) is defined as

$$\begin{aligned} F(q^2)= & {} a_{bs} + b_{bs} \frac{q^2}{m_B^2} +\cdots . \end{aligned}$$
(20)

The matrix elements for \(b \rightarrow s \mu ^+ \mu ^-\) and the mass difference in \(B_s\) mixing are

$$\begin{aligned}{} & {} M_{b \rightarrow s \mu ^+ \mu ^-} = \frac{F(q^2)}{q^2- M_{Z'}^2} \left[ \bar{s} \gamma ^{\mu }\left( g_{bs} P_L + g_{bs}' P_R \right) b\right] \nonumber \\{} & {} \quad \times (\bar{\mu }\gamma ^{\mu } (g_{L}^{\mu \mu }P_L + g_{R}^{\mu \mu }P_R) \mu ) \nonumber \\{} & {} \quad -\frac{ F(q^2)}{q^2- M_{Z'}^2} \frac{m_b m_{\mu }}{M_{Z^{\prime }}^2} (g_{R}^{\mu \mu } - g_{L}^{\mu \mu }) \nonumber \\{} & {} \quad \times \left[ \bar{s} \left( g_{bs} P_R + g_{bs}' P_L \right) b \right] (\bar{\mu }\gamma _5 \mu ), \end{aligned}$$
(21)
$$\begin{aligned}{} & {} \varDelta M_{{B_s}}^{\textrm{NP}} = \frac{(F(q^2))^2}{2 q^2- 2 M_{Z'}^2} \frac{2}{3} f_B^2{m_{B_s}} \Bigg [ \left( g_{bs}^2+g_{bs}'^2 \right) \nonumber \\{} & {} \quad \left( 1- \frac{5}{8} \frac{m_b^2}{M_{Z^{\prime }}^2} \right) - 2 g_{bs}g_{bs}' \left( \frac{5}{6} - \frac{m_b^2}{M_{Z^{\prime }}^2} \frac{7}{12} \right) \Bigg ]. \end{aligned}$$
(22)

Also, we define \(g_{\ell \ell }\equiv (g_{L}^{\ell \ell } + g_{R}^{\ell \ell })/2\) and \(g'_{\ell \ell }\equiv (g_{R}^{\ell \ell } -g_{L}^{\ell \ell })/2\) for convenience. Including the term proportional to \(m_{\mu }\) in \(M_{b \rightarrow s \mu ^+ \mu ^-}\), we get

$$\begin{aligned} C_{9}^{\textrm{NP}}&= (N_2/2) \left( a_{bs}g_{bs}+b_{bs}g_{bs}(q^2/m_{B}^2)\right) \left( g_R^{\mu \mu }+ g_L^{\mu \mu }\right) ,\nonumber \\ C_{10}^{\textrm{NP}}&= (N_2/2) \left( a_{bs}g_{bs}+b_{bs}g_{bs}(q^2/m_{B}^2)\right) \left( g_R^{\mu \mu }- g_L^{\mu \mu }\right) ,\nonumber \\ C_{9}^{\prime }&= (N_2/2) \left( a_{bs}g_{bs}^{\prime } +b_{bs}g_{bs}^{\prime } (q^2/m_{B}^2)\right) \left( g_R^{\mu \mu }+ g_L^{\mu \mu }\right) ,\nonumber \\ C_{10}^{\prime }&= (N_2/2) \left( a_{bs}g_{bs}^{\prime }+b_{bs}g_{bs}^{\prime }(q^2/m_{B}^2)\right) \left( g_R^{\mu \mu }- g_L^{\mu \mu }\right) ,\nonumber \\ C_{P}&= - N_2 \left( \frac{m_{\mu }}{M_{Z'}^2}\right) \left( a_{bs}g_{bs}+b_{bs}g_{bs}(q^2/m_{B}^2)\right) \nonumber \\&\qquad \left( g_R^{\mu \mu }- g_L^{\mu \mu }\right) ,\nonumber \\ C_{P}^{\prime }&= - N_2 \left( \frac{m_{\mu }}{M_{Z'}^2}\right) \left( a_{bs}g'_{bs}+b_{bs}g'_{bs}(q^2/m_{B}^2)\right) \nonumber \\&\qquad \left( g_R^{\mu \mu }- g_L^{\mu \mu }\right) , \end{aligned}$$
(23)

where \(N_2 = \sqrt{2} \pi / (\alpha _{\textrm{em}} G_F V_{tb}V^*_{ts})\, \times 1/(q^2- M_{Z'}^2)\). Here \(C_9^{\textrm{NP}}, C_{10}^{\textrm{NP}},C_9^{\prime }\) and \(C_{10}^{\prime }\) are WCs corresponding to NP VA operators defined in Eq. (4) whereas the WCs \(C_{P}\) and \(C_{P}^{\prime }\) correspond to

$$\begin{aligned} {\mathscr {H}}^{\textrm{P}}= & {} -\frac{\alpha _{\textrm{em}} G_F}{\sqrt{2} \pi } V_{ts}^* V_{tb} m_b \left[ C_{P} (\overline{s} P_L b) (\overline{\mu } \gamma _{5} \mu )\right. \nonumber \\{} & {} + \left. C_{P}^{\prime } (\overline{s} P_R b) (\overline{\mu } \gamma _{5} \mu ) \right] . \end{aligned}$$
(24)
Table 4 NP scenarios generated in light \(Z'\) model. In ZL-II - ZL-IV, we define \(a_{bs}g_{bs}\equiv g_{bs} \) and \(a_{bs}g'_{bs}\equiv g'_{bs} \) whereas for ZL-V - ZL-VII, \(b_{bs}g_{bs}\equiv g_{bs} \) and \(b_{bs}g'_{bs}\equiv g'_{bs} \). The value of \(\chi ^2_{\textrm{SM}}\) is \(\approx 197\)
Table 5 Fit results for favoured scenarios in light \(Z'\) model

Depending upon the choice of couplings, several NP scenarios can be generated. These are listed in Table 4. For these scenarios, we use constraints coming from several \(b \rightarrow s \mu ^+ \mu ^-\) observables as used in our model independent global fit. For scenario ZL-I, \(\varDelta M_s\) is also included in the fit. Except scenario ZL-I, all other scenarios correspond to \( F(q^2)\ne 1\) for which we do not include constraints from \(\varDelta M_s\) and \(B_s \rightarrow \mu ^+ \mu ^-\) as \(F(q^2)\) is unknown for \(q^2 \sim m_B^2\). For \(\varDelta M_s\) , we use the theoretical expression given in Eq. (22) whereas \(\varDelta M_s^\text { NP}\) is assumed to be as large as the SM uncertainty i.e., \(\varDelta M_s^\text {NP} = (0 \pm 1.2 )\, \textrm{ps}^{-1}\) [78]. Further for ZL-I scenario, \(g_L^{\mu \mu }=g_R^{\mu \mu }\) is fixed at \(6.4 \times 10^{-4}\) which is 2\(\sigma \) upper limit coming from the current measurement of the anomalous magnetic moment of muon [81].

The best fit values of the couplings, along with the \(\varDelta \chi ^2\) are presented in Table 4. We find that the current \(b \rightarrow s \mu ^+ \mu ^-\) data favours scenarios ZL-V and ZL-VI. The 1\(\sigma \) range of some of the observables having tension with the SM are given in Table 5 for these favoured scenarios. It is obvious that neither ZL-V nor ZL-VI can resolve \(R_{K^*}\) anomaly in the very low-\(q^2\) bin. However, like heavy \(Z'\) model, these scenarios are able to resolve the tension between the measurements and SM predictions of \(R_{K^{(*)}}\) in [1.1–6.0] bin as well as \(P'_5\) in [4.0–6.0] bin. For \(B(B_s \rightarrow \phi \, \mu ^+ \,\mu ^-)\), the improvement is marginal. Therefore, we conclude that this model doesn’t have any additional advantage over the heavy \(Z'\) models in resolving the current \(b \rightarrow s \mu ^+ \mu ^-\) anomalies.

In Fig. 3, we show the \(1\sigma \) ranges for some of the LFUV observables. It is apparent that both allowed scenarios predict \(R_{\phi }<1\) as well as \(R_{K^{(*)}}<1\) in the high-\(q^2\) region. While ZL-VI scenario prefers higher values of \(R_\phi \) and \(R_{K^*}\) in the high \(q^2\) bin, ZL-V scenario allows these observables to be less that 0.70 at 1\(\sigma \) level. The allowed values of \(Q_{4,5}\) in the [4, 6] bin cannot discriminate between the two favoured scenarios. However, a non-zero measured value of \({Q_4}_{[15,19]}\) would favour ZL-V scenario while a non-zero value of \({Q_5}_{[15-19]}\) would indicate ZL-VI.

Table 6 Fit results for favoured scenarios in light \(Z'\) model with couplings both to muons and electrons. Here \(B^{Kee} \equiv B(B \rightarrow K e^+ e^-)\) and \(B^{K^*ee} \equiv B(B \rightarrow K^* e^+ e^-)\). The experimental values of \(B^{Kee}\) and \(B^{K^*ee}\) are taken from Refs. [63, 84], respectively

We now consider a 25 MeV \(Z'\) that couples both to muons and electrons. It would be interesting to see whether such a model can provide a better resolution of \(R_{K^*}\) anomaly in the very low-\(q^2\) bin. In this model, we consider NP scenarios ZL-V and Zl-VI which provided a good fit to \(b \rightarrow s \mu ^+ \mu ^-\) data. Due to couplings with electrons, additional WCs are generated which are obtained by replacing \(\mu \) by e in the expression of WCs given in Table 4. We redo the fit for scenarios ZL-V and Zl-VI. We do not include any additional observables in the fit. The NP WCs in \(b \rightarrow s e^+ e^-\) sector are constrained by \(R_{K^{(*)}}\). Instead, we predict the branching ratios of \(B \rightarrow (K,\,K^*) e^+ e^-\) and compare them with their experimental values. The fit results are shown in Table 6.

It is evident from Table 6 that the scenario ZL-V can now accommodate the measurement of \(R_{K^*}\) in the very low-\(q^2\) bin whereas scenario ZL-VI can only provide a marginal improvement as compared to the couplings only to muons. We also find that the predicted and the experimental value of the branching ratio of \(B \rightarrow K e^+ e^-\) is consistent with each other whereas for \(B \rightarrow K^* e^+ e^-\), the agreement is at \(\sim \) 90% CL.

Due to the fact that the \(Z'\) couples to electron, it will decay on-shell into electron-positron pair with a branching ratio of \(\sim 1\). Such a decay can lead to a finite contribution to the decay width of \(Z'\) which is given as

$$\begin{aligned} \varGamma (Z' \rightarrow e^+ e^-)= & {} \left[ \frac{(g_L^{ee})^2+(g_R^{ee})^2}{12\pi }\right] M_{Z'} \nonumber \\{} & {} \times \left[ 1-\frac{4m_e^2}{M_{Z'}^2} \right] ^{1/2} \left[ 1+\frac{2m_e^2}{M_{Z'}^2}\right] . \end{aligned}$$
(25)

Using the upper bound on \(g_{ee}\) as obtained in [60, 82], \(\varGamma (Z' \rightarrow e^+ e^-)\) is predicted to be extremely small as compared to the invariant mass \(q^2\) in \(b \rightarrow s \ell ^+ \ell ^-\) transitions. Therefore, in the current scenario, the inclusion of \(\varGamma (Z' \rightarrow e^+ e^-)\) in the NP WCs are not expected to provide any observables effects. We check the validity of this statement by performing a fit for the scenario ZL-V after including \(\varGamma (Z' \rightarrow e^+ e^-)\) in the NP WCs. Indeed, we find that the effects are negligible.

Table 7 Predictions of branching ratios of decays induced by \(b \rightarrow s \nu \bar{\nu }\) transitions in the light \(Z'\) model with couplings both to muons and neutrinos. The experimental as well as theoretical limits are at 90% CL. The predictions for ZL-VI scenario are the same

We also consider a scenario where the light \(Z'\), apart from coupling to muons, can also couple to neutrinos. We assume that the couplings are driven by the \(SU(2))_L\) symmetry. In this case the \(Z'\) will decay on-shell into \(\nu _{\mu }\bar{\nu _{\mu }}\) with a branching ratio of \(\sim 1\). The decay width of \(Z'\) is then given by

$$\begin{aligned} \varGamma (Z' \rightarrow \nu _{\mu }\bar{\nu _{\mu }}) = \left[ \frac{(g_L^{\mu \mu })^2}{24 \pi }\right] M_{Z'}. \end{aligned}$$
(26)

Using the constraints from the neutrino trident data, \( \varGamma (Z' \rightarrow \nu _{\mu }\bar{\nu _{\mu }}) \) is predicted to be too small to make any observable effects in the fits. We have verified this for the scenario ZL-V. Moreover, \(b \rightarrow s \nu \bar{\nu }\) transition can also be generated in this model. The effective Hamiltonian for \(b \rightarrow s \nu \bar{\nu }\) transition is given by [83]

$$\begin{aligned} {\mathscr {H}}_{b \rightarrow s \nu \bar{\nu }}= & {} - \frac{\sqrt{2}\alpha G_F}{\pi } V_{tb}V^*_{ts}\nonumber \\{} & {} \sum _{\ell } C_L^\ell \left( \bar{s}\gamma ^{\mu }P_L b\right) \left( \bar{\nu _\ell }\gamma _{\mu }P_L \nu _\ell \right) , \end{aligned}$$
(27)

where \(C_L^\ell =C_L^{\textrm{SM}}+C^{\ell \ell }_{\nu }{(\mathrm NP)}\). The NP contribution \(C^{\ell \ell }_{\nu }(\mathrm NP)\) in the light \(Z'\) model is given by

$$\begin{aligned} C^{\mu \mu }_{\nu }(\textrm{NP}) = - \frac{\pi }{\sqrt{2}\,\alpha G_F\, V_{tb}V^*_{ts}} \frac{F(q^2)\,g_{bs}\,g_L^{\mu \mu } }{q^2 - M^2_{Z'}}. \end{aligned}$$
(28)

The SM WC is \(C_L^{\textrm{SM}}=-X_t/ \sin ^2 \theta _W\), where \(X_t=1.461 \pm 0.017\). Using the fit results for working scenarios ZL-V and ZL-VI, we obtain predictions of decays induced by the quark level transition \(b \rightarrow s \nu \bar{\nu }\). The predicted values are shown in Table 7. It can be seen that the predicted values are well within the current experimental limits.

The measurements of muon \(g-2\) can provide constraints on the \(Z'\) couplings to muons. The contribution to muon \(g-2\) in the light \(Z'\) model is obtained as [58, 88]

$$\begin{aligned} \varDelta a_{\mu } = \frac{m_{\mu }^2}{12\pi ^2 M_{Z'}^2} \textrm{Re} \left[ (g_{\mu \mu })^2-5(g'_{\mu \mu })^2\right] , \end{aligned}$$
(29)

with \(\varDelta a_{\mu }=a_{\mu }^{\textrm{exp}} - a_{\mu }^{\textrm{SM}} = (251\pm 59) \times 10^{-11}\) [89,90,91]. The observable \(\varDelta a_{\mu }\) is expected to provide constraints on the muon couplings \(g_{\mu \mu }\) and \(g'_{\mu \mu }\). However due to the fact that \(g_{bs} \) and \(g'_{bs} \) couplings are unconstrained in the context of the considered model for scenarios ZL-V and ZL-VI, the products of these quarks and muons couplings which appear in \(b \rightarrow s \mu ^+ \mu ^-\) transition is likely to remain unchanged. As our predictions in Table 5 depend upon the products of \(Z'\) couplings to quarks and leptons, the results are expected to remain unchanged. By performing a three parameter fit, (\(g_{bs}\), \(g'_{bs}\), \(g_{\mu \mu }\)) for scenario ZL-V and (\(g_{bs}\), \(g'_{\mu \mu }\), \(g_{\mu \mu }\)) for ZL-VI, to \(b \rightarrow s \ell \ell \) data and then to a combination of \(\varDelta a_{\mu }\) and \(b \rightarrow s \ell \ell \) data set, we find that the results obtained in Table 5 remains unaltered.

6 Conclusions

In this work, we provide an update of the model independent global analyses of \(b \rightarrow s \ell \ell \) data in the light of the recent measurements of LFUV observables \(R_{K_S^0}\) and \(R_{K^{*+}}\), along with the updated measurements of the branching ratio and angular observables in \(B_s \rightarrow \phi \mu ^+ \mu ^-\) decay by the LHCb collaboration. Assuming NP only in the muon sector and considering either one or two independent NP operators at a time, the NP solutions are determined on the basis of \(\varDelta \chi ^2\) which is the difference between the \(\chi ^2\) in the SM and the NP scenario. In addition, we also predict LFUV observable \(R_{\phi }\), \(R_{K^{(*)}}\) in the high \(q^2\) bin, as well as \(Q_{4,5}\) observables. We find that

  • for 1D scenarios, \(C_9^{\textrm{NP}}\) and \(C_{9}^{\textrm{NP}}=-C_{10}^{\textrm{NP}}\) provide a good fit to the data with \(\varDelta \chi ^2 \approx 45\). However, \(\varDelta \chi ^2\) for \(C_{9}^{\textrm{NP}}=-C'_{9}\) scenario slips to \(\approx 30\) which is marginally below the value for the \(C_{10}^{\textrm{NP}}\) scenario. Hence the updated data now prefers \(C_{10}^{\textrm{NP}}\) scenario over \(C_{9}^{\textrm{NP}}=-C'_{9}\). This is mainly due to the fact that the later fails to accommodate the measurements of \(R_K\) and \(R_{K_S^0}\).

  • at the best fit point, all four 1D solutions predict \(R_{\phi } < 1\) in both low and high-\(q^2\) bins and \(R_{K^*}< 1\) in the high-\(q^2\) bin. The value of \(R_{K}\) in the high-\(q^2\) bin is predicted to be less than unity for all 1D scenarios except \(C_{9}^{\textrm{NP}}=-C'_{9}\) for which the value is \(\approx 1\). This is the only 1D solution which can invoke the 1\(\sigma \) lower limit of \(R_{\phi }\) and \(R_{K^*}\) in the high-\(q^2\) bin to be less than 0.75. Moreover, a precise measurement of magnitude and sign of \(Q_{4,5}\) can provide an unique identification of \(C_9^{\textrm{NP}}\), \(C_{10}^{\textrm{NP}}\) and \(C_{9}^{\textrm{NP}}=-C'_{9}\) solutions.

  • the 2D scenarios \((C_9^{\textrm{NP}}, C_{10}^{\prime } )\), \((C_9^{\textrm{NP}}, C_{9}^{\prime } )\) and \((C_9^{\textrm{NP}}, C_{10}^{\textrm{NP}} )\) are still favoured with \(\varDelta \chi ^2 \approx \) 51, 48 and 48, respectively.

  • all 2D scenarios predict \(R_{\phi } < 1\) in both low and high-\(q^2\) bins, \(R_{K^{(*)}}<1\) in the high \(q^2\) bin and allow \({Q_5}_{[4-6]}>0.25\). Interestingly, a non-zero measurement of \({Q_4}_{[15-19]}\) would disfavour \((C_9^{\textrm{NP}}, C_{10}^{\textrm{NP}} )\) over other two scenarios.

We then consider a generic TeV scale \(Z'\) model which generates the 2D favored solutions \((C_9^{\textrm{NP}}, C_{9}^{\prime } )\) and \((C_9^{\textrm{NP}}, C_{10}^{\textrm{NP}} )\) as well as 1D ones \(C_9^{\textrm{NP}} \) and \(C_9^{\textrm{NP}} = -C_{10}^{\textrm{NP}}\). In these models there are additional constraints coming from \(B_s -\bar{B_s}\) mixing and neutrino trident data. We find that \(\varDelta \chi ^2 \) is approximately the same, \( (42-47)\), for all four models indicating that they are viable models to explain the \(b \rightarrow s \mu ^+ \mu ^-\) anomalies. However none of these models can resolve the tension between the SM and measured value of \(R_{K^*}\) in the very low-\(q^2\) bin as well as the branching ratio of \(B_s \rightarrow \phi \mu ^+ \mu ^-\) in the low-\(q^2\) bin. Moreover, a precise measurement of \(Q_4\) and \(Q_5\) in the high-\(q^2\) bin can not only discriminate amongst the two 1D and 2D models but can also disentangle 1D and 2D \(Z'\) framework.

We finally consider a model with 25 MeV \(Z'\) having a \(q^2\) dependent \(b - s\) coupling along with coupling only to muons. This model generates several 2D scenarios. We find that the scenarios which induce \(({\mathscr {O}}_9,\,{\mathscr {O}}_{10})\) and \(({\mathscr {O}}_9,\,{\mathscr {O}}'_{9})\) NP operators provide a good fit to all \(b \rightarrow s \mu ^+ \mu ^-\) data. However, this model doesn’t have any additional advantage over the heavy \(Z'\) models in resolving the current \(b \rightarrow s \mu ^+ \mu ^-\) anomalies. The \(Q_4\) observable in the high-\(q^2\) bin can be a good discriminant between the two favoured scenarios. If the coupling to electron is also allowed then the favored scenario which generates \(({\mathscr {O}}_9,\,{\mathscr {O}}_{10})\) operators can accommodate the measurement of \(R_{K^*}\) in the very low-\(q^2\) bin whereas the other scenario can only provide a marginal improvement as compared to the couplings only to muons.