1 Introduction

The Standard Model (SM) of particle physics has so far been enormously successful in explaining most of the particle physics experiments. Recently however, discrepancies between SM predictions and experimental measurements have been observed in several decay modes of B mesons. For example, LHCb measurements [1, 2] of the ratio of branching ratios of \(\bar{B}\rightarrow K(K^*)\ell ^+\ell ^-\) decays into di-muons over di-electrons deviate from the SM predictions \(\sim 1\) by about 3\(\sigma \). Other notable deviations in the \(b\rightarrow s\mu ^+\mu ^-\) mediated transitions include the so called \(P_5^\prime \) anomaly between theory [3] and experiments [4,5,6,7] in the \(\bar{B}\rightarrow K^*\mu ^+\mu ^-\), and the systematic deficit in the branching ratio of \(\bar{B}_s\rightarrow \phi \mu ^+\mu ^-\) [8, 9]. In the \(b\rightarrow c\ell \nu \) mediated transitions, ratio of \(B\rightarrow D^{(*)}\ell \nu \) decay involving \(\tau \) leptons over light leptons has been measured by BaBar [10, 11], Belle [12,13,14] and LHCb [15, 16] which deviate from the SM predictions [17, 18] by about 2–3\(\sigma \) with a combined deviation of \(\approx 4\sigma \). Similar deviations from the SM prediction in \(B^+\rightarrow J/\psi \ell ^+\nu \) decay [19, 20] has also been observed in the recent LHCb measurement [21] where the deviation from the SM value is \(1.7\sigma \). These deviations, though statistically small and unable to provide unambiguous signal of New Physics (NP) can not be completely ignored. It is rather natural to explore all possible avenues of flavor physics to draw a definite conclusion on the existence of NP.

In the past several decades, the main phenomenological focus in this context has been on exclusive and inclusive decays of B meson. The recent B physics program at LHCb involves in addition to precise measurements of B decay modes, study of baryonic decays such as \(b\rightarrow s\ell ^+\ell ^-\) mediated \(\Lambda _b\rightarrow \Lambda \ell ^+\ell ^-\). The important difference between \(\Lambda _b\) baryon and the B meson decay modes is that due to the spin of the \(\Lambda _b\) baryon, its decay distributions are generally more involved which makes the baryonic modes phenomenologically rich. At present, data on baryonic modes are rather limited and only recently LHCb has reported a measurement of several \(\Lambda _b\rightarrow \Lambda \mu ^+\mu ^-\) observables where the branching ratio is found to be lower than the SM prediction at low \(q^2\) and higher at large \(q^2\) [22]. Earlier, \(\Lambda _b \rightarrow \Lambda \mu ^+\mu ^-\) branching ratio was measured by CDF [23].

In the SM, angular distributions of \(\Lambda _b\rightarrow \Lambda \ell ^+\ell ^-\) have been studied in [24, 25]. Other studies in the SM and in the context of NP have been reported in Refs. [26,27,28,29,30,31,32,33]. The \(\Lambda _b\rightarrow \Lambda \mu ^+\mu ^-\) angular distributions for polarized \(\Lambda _b\) were recently worked out in [34]. In Ref. [35] the LHCb data on \(\Lambda _b\rightarrow \Lambda \mu ^+\mu ^-\) decay in combination with \(b\rightarrow s\mu ^+\mu ^-\) data from B meson decays were used to perform a model-independent fit to Wilson coefficients. One of the challenging aspect of \(\Lambda _b\rightarrow \Lambda \ell ^+\ell ^-\) decay is to estimate the hadronic \(\Lambda _b\rightarrow \Lambda \) form factors. Recent progress in this respect includes the lattice QCD results at low and intermediate recoil [36, 37] and the QCD sum-rules analysis of spectator-scattering corrections to form factor relations which are valid at large recoil [38]. Also, better theoretical understanding of light-cone distribution amplitudes of \(\Lambda _b\) baryon has recently been achieved in [39,40,41]. In the large recoil region, the form factors have been calculated in the light cone sum-rules (LCSR) [27, 42].

In this paper, we supplement the previous studies with a model independent analysis of \(\Lambda _b\rightarrow \Lambda \mu ^+\mu ^-\) for the most general effective Hamiltonian involving new vector and axial vector (VA), scalar and pseudo-scalar (SP), and tensor (T) operators for unpolarized \(\Lambda _b\) and massless leptons. We work in the helicity basis and derive the expressions of helicity amplitudes for this Hamiltonian. We present expressions of the double differential branching ratio with respect to dilepton invariant mass squared \(q^2\) and cosine of lepton angle \(\theta _\ell \), and then define forward-backward asymmetry involving leptons and longitudinal polarization fraction. We use helicity parametrization of \(\Lambda _b\rightarrow \Lambda \) hadronic matrix elements. At large recoil, which correspond to low \(q^2\), the form factors are taken from recent calculations in the light cone sum-rules [42] and at low recoil, which correspond to large \(q^2\), we use results from the calculations in lattice QCD [36].

The paper is organized as follows. In Sect. 2 we write down the most general effective Hamiltonian involving VA, SP and T operators. After describing the decay kinematics in Sect. 3, we describe the helicity formalism in Sect. 4. The form factors are discussed in Sect. 5 and the model independent analysis is performed in Sect. 6. The results are summarized in Sect. 7. The paper is supplemented with a number of appendixes which contain the details of the calculations.

2 Effective Hamiltonian

The most general low energy effective Hamiltonian for rare \(|\Delta B|=|\Delta S|=1\) transition involving VA, SP and T operators is

$$\begin{aligned} {\mathcal {H}} = {\mathcal {H}}^\mathrm{VA} + {\mathcal {H}}^\mathrm{SP} + {\mathcal {H}}^\mathrm{T}\, , \end{aligned}$$
(2.1)

where \({\mathcal {H}}^\mathrm{VA}, {\mathcal {H}}^\mathrm{SP}\) and \({\mathcal {H}}^\mathrm{T}\) are

$$\begin{aligned} {\mathcal {H}}^\mathrm{VA}= & {} -\frac{4G_F}{\sqrt{2}}V_{tb}V_{ts}^*\frac{\alpha _e}{4\pi } \Bigg [{\mathcal {C}}_9^\mathrm{eff} \bar{s} \gamma ^\mu P_Lb \bar{\ell }\gamma _\mu \ell \nonumber \\&+\, {\mathcal {C}}_{10} \bar{s}\gamma ^\mu P_L b \bar{\ell }\gamma _\mu \gamma _5 \ell - \frac{2m_b}{q^2}{\mathcal {C}}_7^\mathrm{eff} \bar{s}iq_\nu \sigma ^{\mu \nu }P_R b \bar{\ell }\gamma _\mu \ell \, \nonumber \\&+\, {\mathcal {C}}_V \bar{s} \gamma ^\mu P_L b \bar{\ell }\gamma _\mu \ell + {\mathcal {C}}_A \bar{s}\gamma ^\mu P_L b \bar{\ell }\gamma _\mu \gamma _5 \ell \nonumber \\&+\, {\mathcal {C}}^\prime _V \bar{s} \gamma ^\mu P_R b \bar{\ell }\gamma _\mu \ell + {\mathcal {C}}^\prime _A \bar{s}\gamma ^\mu P_R b \bar{\ell }\gamma _\mu \gamma _5 \ell \Bigg ],\end{aligned}$$
(2.2)
$$\begin{aligned} {\mathcal {H}}^\mathrm{SP}= & {} -\frac{4G_F}{\sqrt{2}}V_{tb}V_{ts}^*\frac{\alpha _e}{4\pi } \Big [ {\mathcal {C}}_S^\prime \bar{s} P_L b \bar{\ell }\ell + {\mathcal {C}}_P^\prime \bar{s} P_L b \bar{\ell }\gamma _5 \ell \nonumber \\&+\, {\mathcal {C}}_S \bar{s} P_R b \bar{\ell }\ell + {\mathcal {C}}_P \bar{s} P_R b \bar{\ell }\gamma _5 \ell \Big ],\end{aligned}$$
(2.3)
$$\begin{aligned} {\mathcal {H}}^\mathrm{T}= & {} -\frac{4G_F}{\sqrt{2}}V_{tb}V_{ts}^*\frac{\alpha _e}{4\pi } \Big [ {\mathcal {C}}_T \bar{s} \sigma ^{\mu \nu } b \bar{\ell } \sigma _{\mu \nu } \ell \nonumber \\&+\, {\mathcal {C}}_{T5} \bar{s} \sigma ^{\mu \nu } b \bar{\ell }\sigma _{\mu \nu }\gamma _5\ell \Big ]. \end{aligned}$$
(2.4)

Here \(G_F\) is the Fermi-constant, \(\alpha _e\) is the fine structure constant, \(V_{tb}V_{ts}^*\) are the Cabibbo–Kobayashi–Maskawa (CKM) elements, \(P_{L,R}=(1\mp \gamma _5)/2\) are the chiral projection operators, and \(\sigma _{\mu \nu }=i[\gamma _\mu ,\gamma _\nu ]\)/2. The b-quark mass multiplying the dipole operator is in the \(\overline{\text {MS}}\)-mass scheme. In the SM, \({\mathcal {C}}_V={\mathcal {C}}_V^\prime \) \(={\mathcal {C}}_A={\mathcal {C}}_A^\prime =\) \({\mathcal {C}}_S={\mathcal {C}}_S^\prime ={\mathcal {C}}_P=\) \({\mathcal {C}}_P^\prime ={\mathcal {C}}_T={\mathcal {C}}_{T5}=0\). The expressions of \({\mathcal {C}}_{9}^\mathrm{eff}\) and other SM Wilson coefficients are given in Appendix A. In this article, we neglect the mass of the leptons.

In the Hamiltonian (2.1), we assume only the factorizable quark-loop contributions to four-quark operators and gluonic operator which are conveniently absorbed in the Wilson coefficients \({\mathcal {C}}^\mathrm{eff}_{7,9}\). For simplicity we ignore the non-factorizable corrections which are expected to play a non-negligible role, particularly at low \(q^2\) [43, 44].

3 Kinematics of \(\Lambda _b\rightarrow \Lambda \ell ^+\ell ^-\) decay

The momenta and spins variables for the different particles in the decay process are assigned as follows

$$\begin{aligned} \Lambda _b(p,s_p ) \rightarrow \Lambda (k,s_k) \ell ^+(q_1) \ell ^-(q_2)\, . \end{aligned}$$
(3.1)

Here \(p,k,q_1\) and \(q_2\) are the momenta of the parent baryon \(\Lambda _b\), daughter baryon \(\Lambda \) and the negatively and positively charged leptons, respectively, and \(s_{p,k}\) are the projections of the baryonic spins on to the z-axis in their respective rest frames.

For future convenience, we define the four momentum of the dilepton pair as

$$\begin{aligned} q^\mu = q_1^\mu + q_2^\mu . \end{aligned}$$
(3.2)

We assume that in the rest frame of \(\Lambda _b\), the daughter baryon \(\Lambda \) travels along the positive z-direction and the lepton pair travels in the negative z-direction. So that in \(\Lambda _b\) rest frame (\(\Lambda _b\mathrm{RF}\)) we have

$$\begin{aligned} q^\mu |_{\Lambda _b\mathrm{RF}}= & {} (q^0, 0, 0, -|q|),\quad \nonumber \\ k^\mu |_{\Lambda _b\mathrm{RF}}= & {} ((m_{\Lambda _b}-q^0), 0, 0, +|q|), \end{aligned}$$
(3.3)

where

$$\begin{aligned} q^0\Big |_{\Lambda _b\mathrm{RF}}= & {} \frac{{m^2_{\Lambda _b}}-{m^2_{\Lambda }}+q^2}{2{m_{\Lambda _b}}},\quad \nonumber \\ |q|\Big |_{\Lambda _b\mathrm{RF}}= & {} \frac{\sqrt{\lambda ({m^2_{\Lambda _b}},{m^2_{\Lambda }},q^2)}}{2{m_{\Lambda _b}}}, \end{aligned}$$
(3.4)

and we have defined \(\lambda (a,b,c)=a^2+b^2+c^2-2(ab+bc+ca)\). The \(\Lambda _b\rightarrow \Lambda (\rightarrow N\pi )\ell ^+\ell ^-\) decay can be described in terms of four independent kinematic variables which we choose as the dilepton invariant mass squared \(q^2\) and three angles \(\theta _\ell \), \(\theta _\Lambda \) and \(\phi \). The angles are defined as follows: \(\theta _\ell \) is the angle made by the negatively charged lepton \(\ell ^-\) with the \(+z\)-direction in the dilepton rest frame, \(\theta _\Lambda \) is made by N with respect to the \(+z\)-direction in the \(N\pi \) rest frame, and \(\phi \) is the angle between the \(\ell ^+\ell ^-\) and \(N\pi \) decay planes.

4 The helicity formalism

4.1 Decay process

We derive the decay distribution in the helicity formalism where we restrict ourselves to unpolarized \(\Lambda _b\) since the polarization has been measured by LHCb to be very small [45]. In the rest frame of the \(\Lambda _b\), the two-fold differential decay distribution in terms of \(q^2\) and the angle \(\theta _\ell \) can be represented as

$$\begin{aligned} \frac{d\Gamma }{dq^2 d\cos \theta _\ell }= & {} \frac{1}{2m^3_{\Lambda _b}} \frac{2\sqrt{\lambda ({m^2_{\Lambda _b}},{m^2_{\Lambda }},q^2)}}{(8\pi )^3}\nonumber \\&\times \frac{1}{2s_p+1}\sum _{\lambda _1,\lambda _2}\sum _{s_p,s_k}\big |{\mathcal {M}}^{\lambda _1,\lambda _2}(s_p,s_k)\big |^2,\nonumber \\ \end{aligned}$$
(4.1)

where \(\lambda _{1,2}\) are the helicities of the final state leptons. The \(\Lambda _b \rightarrow \Lambda \ell ^+\ell ^-\) helicity amplitudes \({\mathcal {M}}^{\lambda _1,\lambda _2}(s_p,s_k)\) corresponding to the effective Hamiltonian (2.1) consist of contributions from VA, SP and T operators

$$\begin{aligned} {\mathcal {M}}^{\lambda _1,\lambda _2}(s_p,s_k)= & {} {\mathcal {M}}^{\lambda _1,\lambda _2}_\mathrm{VA}(s_p,s_k) + {\mathcal {M}}^{\lambda _1,\lambda _2}_\mathrm{SP}(s_p,s_k)\nonumber \\&+\, {\mathcal {M}}^{\lambda _1,\lambda _2}_\mathrm{T}(s_p,s_k), \end{aligned}$$
(4.2)

which are defined as

$$\begin{aligned} {\mathcal {M}}^{\lambda _1,\lambda _2}_\mathrm{VA}(s_p,s_k)&= -\frac{G_F}{\sqrt{2}} V_{tb}V_{ts}^*\frac{\alpha _e}{4\pi } \sum _\lambda \eta _\lambda \nonumber \\&\quad \times \bigg [ H^{L,s_p,s_k}_{\text {VA}, \lambda } L^{\lambda _1,\lambda _2}_{L,\lambda }\ + H^{R,s_p,s_k}_{\text {VA}, \lambda } L^{\lambda _1,\lambda _2}_{R,\lambda } \bigg ], \end{aligned}$$
(4.3)
$$\begin{aligned} {\mathcal {M}}^{\lambda _1,\lambda _2}_\mathrm{SP}(s_p,s_k)&= -\frac{G_F}{\sqrt{2}} V_{tb}V_{ts}^*\frac{\alpha _e}{4\pi }\nonumber \\&\quad \times \bigg [ H_\mathrm{SP}^{L,s_p,s_k} L^{\lambda _1,\lambda _2}_L + H_\mathrm{SP}^{R,s_p,s_k} L^{\lambda _1,\lambda _2}_R \bigg ] ,\end{aligned}$$
(4.4)
$$\begin{aligned} {\mathcal {M}}^{\lambda _1,\lambda _2}_\mathrm{T}(s_p,s_k)&= -\frac{G_F}{\sqrt{2}} V_{tb}V_{ts}^*\frac{\alpha _e}{4\pi } \sum _{\lambda ,\lambda ^\prime } \eta _\lambda \eta _{\lambda ^\prime }\nonumber \\&\quad \times \bigg [ H^{L,s_p,s_k}_{\mathrm{T},\lambda \lambda ^\prime } L^{\lambda _1,\lambda _2}_{L,\lambda \lambda ^\prime } + H^{R,s_p,s_k}_{\mathrm{T},\lambda \lambda ^\prime } L^{\lambda _1,\lambda _2}_{R,\lambda \lambda ^\prime } \bigg ]. \end{aligned}$$
(4.5)

Here \(\lambda ,\lambda ^\prime \) are the polarization states of the virtual gauge boson that decays in to dilepton pair, \(\eta _t = 1\) and \(\eta _{\pm 1,0} = -1\). \(H^{L(R)}\) and \(L_{L(R)}\) are the hadronic and leptonic helicity amplitudes corresponding the left- (L) and right-handed (R) chiralities of the lepton currents.

The hadronic helicity amplitudes are the projections of \(\Lambda _b\rightarrow \Lambda \) matrix elements on the direction of the polarization of virtual gauge boson. For VA, SP and T operators these are

$$\begin{aligned} H^{L(R),s_p,s_k}_{\mathrm{VA},\lambda }= & {} \bar{\epsilon }^*_\mu (\lambda ) \Bigg \langle \Lambda (k,s_k)\nonumber \\&\times \Bigg |\bigg [ \Big ( ({\mathcal {C}}_9^{\mathrm{eff}} \mp {\mathcal {C}}_{10}) + ({\mathcal {C}}_V \mp {\mathcal {C}}_A) \Big )\bar{s} \gamma ^\mu (1-\gamma _5)b \, \nonumber \\&+\, ({\mathcal {C}}_V^\prime \mp {\mathcal {C}}_A^\prime ) {\bar{s}}\gamma ^\mu (1+\gamma _5)b\nonumber \\&- \frac{2m_b}{q^2} {\mathcal {C}}_7^{\mathrm{eff}} {\bar{s}}iq_\nu \sigma ^{\mu \nu } (1+\gamma _5) b \bigg ] \Bigg |\Lambda _b(p,s_p)\Bigg \rangle , \end{aligned}$$
(4.6)
$$\begin{aligned} H^{L(R),s_p,s_k}_{\mathrm{SP}}= & {} \Bigg \langle \Lambda (k,s_k) \Bigg | \bigg [ ({\mathcal {C}}_S^\prime \mp {\mathcal {C}}_P^\prime ) \bar{s}(1-\gamma _5)b\,\nonumber \\&+\, ({\mathcal {C}}_S \mp {\mathcal {C}}_P) \bar{s}(1+\gamma _5)b \bigg ] \Bigg | \Lambda _b(p,s_p) \Bigg \rangle , \end{aligned}$$
(4.7)
$$\begin{aligned} H^{L(R),s_p,s_k}_{\mathrm{T},\lambda \lambda ^\prime }= & {} -i\bar{\epsilon }^*_\mu (\lambda ) \bar{\epsilon }^*_\nu (\lambda ^\prime ) \big \langle \Lambda (k,s_k) \big | \bar{s}\sigma ^{\mu \nu } b\big | \Lambda _b(p,s_p) \big \rangle \nonumber \\&\times ({\mathcal {C}}_T \mp {\mathcal {C}}_{T5}). \end{aligned}$$
(4.8)

Here \(\bar{\epsilon }_\mu (\lambda ^{(\prime )})\) denote the polarization vectors of the virtual gauge boson. Our choice for the polarization vectors are summarized in Appendix B. Similarly, the leptonic helicity amplitudes are

$$\begin{aligned}&L^{\lambda _1,\lambda _2}_{L(R)} = \langle \bar{\ell }(\lambda _1)\ell (\lambda _2) | \bar{\ell } (1\mp \gamma _5) \ell | 0\rangle , \end{aligned}$$
(4.9)
$$\begin{aligned}&L^{\lambda _1,\lambda _2}_{L(R),\lambda } = \bar{\epsilon }^\mu (\lambda ) \langle \bar{\ell }(\lambda _1) \ell (\lambda _2) | \bar{\ell } \gamma _\mu (1\mp \gamma _5) \ell | 0\rangle \, , \end{aligned}$$
(4.10)
$$\begin{aligned}&L^{\lambda _1,\lambda _2}_{L(R),\lambda \lambda ^\prime } = -i\bar{\epsilon }^\mu (\lambda ) \bar{\epsilon }^\nu (\lambda ^\prime ) \langle \bar{\ell }(\lambda _1) \ell (\lambda _2) | \bar{\ell } \sigma _{\mu \nu } (1\mp \gamma _5) \ell | 0\rangle \, . \end{aligned}$$
(4.11)

The tensor amplitudes are anti-symmetric under the exchange of \(\lambda \) and \(\lambda ^\prime \), i.e., \( L^{\lambda _1,\lambda _2}_{L(R),\lambda ^\prime \lambda } = - L^{\lambda _1,\lambda _2}_{L(R),\lambda \lambda ^\prime }\).

4.2 Hadronic helicity amplitudes

The \(\Lambda _b \rightarrow \Lambda \) hadronic matrix elements for different operators are defined in terms of ten helicity form factors \(f^V_{t,0,\perp }\), \(f^A_{t,0,\perp }\), \(f^T_{0,\perp }\), \(f^{T5}_{0,\perp }\) [38] and spinor matrix elements. The definitions are summarized in Appendix C and the spinor matrix elements for different combinations of spin orientations are worked out in Appendix D. Using these results we write down the expressions of the helicity amplitudes defined in Eqs. (4.6)–(4.8) for different operators. For VA operators the non-vanishing amplitudes are

$$\begin{aligned} H^{L(R),{+\frac{1}{2}+\frac{1}{2}}}_\mathrm{VA,0}= & {} f^V_0({m_{\Lambda _b}}+ {m_{\Lambda }}) \sqrt{\frac{s_-}{q^2}} {\mathcal {C}}^{L(R)}_\mathrm{VA,+}\nonumber \\&- f^A_0({m_{\Lambda _b}}- {m_{\Lambda }}) \sqrt{\frac{s_+}{q^2}} {\mathcal {C}}^{L(R)}_\mathrm{VA,-} \, \nonumber \\&+\, \frac{2m_b}{q^2} \bigg ( f^T_0 \sqrt{q^2 s_-} - f^{T5}_0 \sqrt{q^2 s_+} \bigg ) {\mathcal {C}}_7^\mathrm{eff}, \end{aligned}$$
(4.12)
$$\begin{aligned} H^{L(R),{-\frac{1}{2}-\frac{1}{2}}}_\mathrm{VA,0}= & {} f^V_0({m_{\Lambda _b}}+ {m_{\Lambda }}) \sqrt{\frac{s_-}{q^2}} {\mathcal {C}}^{L(R)}_\mathrm{VA,+}\nonumber \\&+\, f^A_0({m_{\Lambda _b}}- {m_{\Lambda }}) \sqrt{\frac{s_+}{q^2}} {\mathcal {C}}^{L(R)}_\mathrm{VA,-} \, \nonumber \\&+\, \frac{2m_b}{q^2} \bigg ( f^T_0 \sqrt{q^2 s_-} + f^{T5}_0 \sqrt{q^2 s_+} \bigg ) {\mathcal {C}}_7^\mathrm{eff}, \end{aligned}$$
(4.13)
$$\begin{aligned} H^{L(R),{-\frac{1}{2}+\frac{1}{2}}}_\mathrm{VA,+}= & {} -f^V_\perp \sqrt{2s_-} {\mathcal {C}}^{L(R)}_\mathrm{VA,+} + f^A_\perp \sqrt{2s_+} {\mathcal {C}}^{L(R)}_\mathrm{VA,-} \, \nonumber \\&- \frac{2m_b}{q^2} \bigg ( f^T_\perp ({m_{\Lambda _b}}+ {m_{\Lambda }}) \sqrt{2s_-}\nonumber \\&- f^{T5}_\perp ({m_{\Lambda _b}}- {m_{\Lambda }}) \sqrt{2s_+} \bigg ){\mathcal {C}}_7^\mathrm{eff}, \end{aligned}$$
(4.14)
$$\begin{aligned} H^{L(R),{+\frac{1}{2}-\frac{1}{2}}}_\mathrm{VA,-}= & {} -f^V_\perp \sqrt{2s_-} {\mathcal {C}}^{L(R)}_\mathrm{VA,+} - f^A_\perp \sqrt{2s_+} {\mathcal {C}}^{L(R)}_\mathrm{VA,-} \, \nonumber \\&- \frac{2m_b}{q^2} \bigg ( f^T_\perp ({m_{\Lambda _b}}+ {m_{\Lambda }}) \sqrt{2s_-}\nonumber \\&+\, f^{T5}_\perp ({m_{\Lambda _b}}- {m_{\Lambda }}) \sqrt{2s_+} \bigg ){\mathcal {C}}_7^\mathrm{eff}, \end{aligned}$$
(4.15)

where the variables \(s_\pm \) are

$$\begin{aligned} s_\pm = ({m_{\Lambda _b}}\pm {m_{\Lambda }})^2 - q^2\, , \end{aligned}$$
(4.16)

and we have defined

$$\begin{aligned} {\mathcal {C}}_\mathrm{VA,+}^{L(R)}&= ({\mathcal {C}}_9^\mathrm{eff}\mp {\mathcal {C}}_{10})+({\mathcal {C}}_V\mp {\mathcal {C}}_A)+({\mathcal {C}}_V^\prime \mp {\mathcal {C}}_A^\prime )\, ,\end{aligned}$$
(4.17)
$$\begin{aligned} {\mathcal {C}}_\mathrm{VA,-}^{L(R)}&= ({\mathcal {C}}_9^\mathrm{eff}\mp {\mathcal {C}}_{10})+({\mathcal {C}}_V\mp {\mathcal {C}}_A)-({\mathcal {C}}_V^\prime \mp {\mathcal {C}}_A^\prime )\, . \end{aligned}$$
(4.18)

The non-vanishing helicity amplitudes for the SP operators are

$$\begin{aligned} H^{L(R),{+\frac{1}{2}+\frac{1}{2}}}_\mathrm{SP}= & {} \bigg ( f^A_t \frac{{m_{\Lambda _b}}+ {m_{\Lambda }}}{m_b} \sqrt{s_-}\nonumber \\&+\, f^V_t \frac{{m_{\Lambda _b}}- {m_{\Lambda }}}{m_b} \sqrt{s_+} \bigg )({\mathcal {C}}_S^\prime \mp {\mathcal {C}}_P^\prime )\, \nonumber \\&+\, \bigg ( -f^A_t \frac{{m_{\Lambda _b}}+ {m_{\Lambda }}}{m_b} \sqrt{s_-}\nonumber \\&+\, f^V_t \frac{{m_{\Lambda _b}}- {m_{\Lambda }}}{m_b} \sqrt{s_+} \bigg ) ({\mathcal {C}}_S \mp {\mathcal {C}}_P),\end{aligned}$$
(4.19)
$$\begin{aligned} H^{L(R),{-\frac{1}{2}-\frac{1}{2}}}_\mathrm{SP}= & {} \bigg ( -f^A_t \frac{{m_{\Lambda _b}}+ {m_{\Lambda }}}{m_b} \sqrt{s_-}\nonumber \\&+\, f^V_t \frac{{m_{\Lambda _b}}- {m_{\Lambda }}}{m_b} \sqrt{s_+} \bigg )({\mathcal {C}}_S^\prime \mp {\mathcal {C}}_P^\prime )\, \nonumber \\&+\, \bigg ( f^A_t \frac{{m_{\Lambda _b}}+ {m_{\Lambda }}}{m_b} \sqrt{s_-}\nonumber \\&+\, f^V_t \frac{{m_{\Lambda _b}}- {m_{\Lambda }}}{m_b} \sqrt{s_+} \bigg ) ({\mathcal {C}}_S \mp {\mathcal {C}}_P), \end{aligned}$$
(4.20)

where we have neglected the mass of the strange quark. Finally, for the T operators the non-vanishing amplitudes are

$$\begin{aligned} H^{L(R),{+\frac{1}{2}+\frac{1}{2}}}_{\mathrm{T},+-}= & {} - H^{L(R){-\frac{1}{2}-\frac{1}{2}}}_{\mathrm{T},+-}\nonumber \\= & {} -f^{T5}_0 \sqrt{s_+} ({\mathcal {C}}_T \mp {\mathcal {C}}_{T5}),\end{aligned}$$
(4.21)
$$\begin{aligned} H^{L(R),{-\frac{1}{2}+\frac{1}{2}}}_{\mathrm{T},+0}= & {} H^{L(R){+\frac{1}{2}-\frac{1}{2}}}_{\mathrm{T},-0}\nonumber \\= & {} f^{T5}_\perp ({m_{\Lambda _b}}- {m_{\Lambda }}) \sqrt{\frac{2s_+}{q^2}} ({\mathcal {C}}_T \mp {\mathcal {C}}_{T5}),\end{aligned}$$
(4.22)
$$\begin{aligned} H^{L(R),{-\frac{1}{2}+\frac{1}{2}}}_{\mathrm{T},+t}= & {} H^{L(R){+\frac{1}{2}-\frac{1}{2}}}_{\mathrm{T},-t}\nonumber \\= & {} f^{T5}_\perp ({m_{\Lambda _b}}+ {m_{\Lambda }}) \sqrt{\frac{2s_-}{q^2}}({\mathcal {C}}_T \mp {\mathcal {C}}_{T5}),\end{aligned}$$
(4.23)
$$\begin{aligned} H^{L(R),{+\frac{1}{2}+\frac{1}{2}}}_{\mathrm{T},0t}= & {} H^{L(R){-\frac{1}{2}-\frac{1}{2}}}_{\mathrm{T},0t}\nonumber \\= & {} -f^T_0 \sqrt{s_-}({\mathcal {C}}_T \mp {\mathcal {C}}_{T5}). \end{aligned}$$
(4.24)

The tensor amplitudes are anti-symmetric under the exchange of \(\lambda \) and \(\lambda ^\prime \), i.e., \(H^{L(R)}_{\mathrm{T},\lambda ^\prime \lambda }=-H^{L(R)}_{\mathrm{T},\lambda \lambda ^\prime }\).

4.3 Leptonic helicity amplitudes

Using the representations of the lepton spinors given in Appendix E, we calculate the leptonic helicity amplitudes defined in Eqs. (4.9)–(4.11). Neglecting the mass of the leptons, the expressions of the non-vanishing amplitudes for the SP and VA operators are

$$\begin{aligned} L^{{+\frac{1}{2}+\frac{1}{2}}}_L&= - L^{{-\frac{1}{2}-\frac{1}{2}}}_R = 2\sqrt{q^2},\nonumber \\ L^{{+\frac{1}{2}-\frac{1}{2}}}_{R,+}&= -L^{{-\frac{1}{2}+\frac{1}{2}}}_{L,-} = - \sqrt{2q^2} (1 - \cos \theta _\ell ),\nonumber \\ L^{{-\frac{1}{2}+\frac{1}{2}}}_{L,+}&= -L^{{+\frac{1}{2}-\frac{1}{2}}}_{R,-} = + \sqrt{2q^2} (1 + \cos \theta _\ell ),\quad \nonumber \\ L^{{-\frac{1}{2}+\frac{1}{2}}}_{L,0}&= L^{{+\frac{1}{2}-\frac{1}{2}}}_{R,0} = 2\sqrt{q^2} \sin \theta _\ell , \end{aligned}$$
(4.25)

and for the tensor operators the expressions are

$$\begin{aligned} L^{{+\frac{1}{2}+\frac{1}{2}}}_{L,+-}&= L^{{-\frac{1}{2}-\frac{1}{2}}}_{R,+-} = -L^{{+\frac{1}{2}+\frac{1}{2}}}_{L,0t} = L^{{-\frac{1}{2}-\frac{1}{2}}}_{R,0t} = - 2 \sqrt{q^2} \cos \theta _\ell , \nonumber \\ L^{{+\frac{1}{2}+\frac{1}{2}}}_{L,+0}&= L^{{-\frac{1}{2}-\frac{1}{2}}}_{R,+0} = L^{{+\frac{1}{2}+\frac{1}{2}}}_{L,-0} = L^{{-\frac{1}{2}-\frac{1}{2}}}_{R,-0} = + \sqrt{2q^2} \sin \theta _\ell ,\nonumber \\ L^{{+\frac{1}{2}+\frac{1}{2}}}_{L,+t}&= -L^{{-\frac{1}{2}-\frac{1}{2}}}_{R,+t} = -L^{{+\frac{1}{2}+\frac{1}{2}}}_{L,-t} = L^{{-\frac{1}{2}-\frac{1}{2}}}_{R,-t}\nonumber \\&= - \sqrt{2q^2} \sin \theta _\ell . \end{aligned}$$
(4.26)

Other non-vanishing amplitudes can be obtained with the following relation \(L^{\lambda _1,\lambda _2}_{L(R),\lambda ^\prime \lambda } = - L^{\lambda _1,\lambda _2}_{L(R),\lambda \lambda ^\prime }.\)

4.4 Differential distributions and observables

With the expressions of the helicity amplitudes in Sects. 4.2 and 4.3 we write down the two-fold differential branching ratio

$$\begin{aligned} \frac{d^2{\mathcal {B}}}{dq^2 d\cos \theta _\ell }&= N^2(q^2) \Bigg ( A^\mathrm{VA} + A^\mathrm{SP} + A^\mathrm{T} + A^\mathrm{inter} \Bigg )\, , \end{aligned}$$
(4.27)

where \(A^\mathrm{VA, SP, T}\) correspond to the contributions from VA, SP and T operators respectively and \(A^\mathrm{inter}\) is the interference terms between SP and T contributions. The normalization constant \(N(q^2)\) is given by

$$\begin{aligned} N(q^2) = G_F V_{tb}V_{ts}^*\alpha _e \sqrt{\tau _{\Lambda _b} \frac{q^2\sqrt{\lambda ({m^2_{\Lambda _b}},{m^2_{\Lambda }},q^2)}}{2^{15} m^3_{\Lambda _b} \pi ^5 } }\, . \end{aligned}$$
(4.28)

In terms of the hadronic helicity amplitudes the expressions of \(A^\mathrm{VA,SP,T}\) are

$$\begin{aligned} A^\mathrm{VA}&= 4 (1 - {\cos ^2\theta _\ell }) \bigg ( \big |H_\mathrm{VA,0}^{L,{+\frac{1}{2}+\frac{1}{2}}}\big |^2 + \big |H_\mathrm{VA,0}^{L,{-\frac{1}{2}-\frac{1}{2}}}\big |^2\nonumber \\&\quad + \big |H_\mathrm{VA,0}^{R,{+\frac{1}{2}+\frac{1}{2}}}\big |^2 + \big |H_\mathrm{VA,0}^{R,{-\frac{1}{2}-\frac{1}{2}}}\big |^2\bigg )\, \nonumber \\&\quad + 2(1-{\cos \theta _\ell })^2\bigg ( \big | H_\mathrm{VA,-}^{L,{+\frac{1}{2}-\frac{1}{2}}} \big |^2 + \big | H_\mathrm{VA,+}^{R,{-\frac{1}{2}+\frac{1}{2}}} \big |^2\bigg ) \,\nonumber \\&\quad + 2(1+{\cos \theta _\ell })^2 \bigg ( \big | H_\mathrm{VA,-}^{R,{+\frac{1}{2}-\frac{1}{2}}} \big |^2 + \big | H_\mathrm{VA,+}^{L,{-\frac{1}{2}+\frac{1}{2}}} \big |^2\big | \bigg ), \end{aligned}$$
(4.29)
$$\begin{aligned} A^\mathrm{SP}&= 4 \bigg ( \big | H_\mathrm{SP}^{L,{+\frac{1}{2}+\frac{1}{2}}} \big |^2 + \big | H_\mathrm{SP}^{L,{-\frac{1}{2}-\frac{1}{2}}} \big |^2 + \big | H_\mathrm{SP}^{R,{+\frac{1}{2}+\frac{1}{2}}} \big |^2\nonumber \\&\quad + \big | H_\mathrm{SP}^{R,{-\frac{1}{2}-\frac{1}{2}}} \big |^2\bigg ),\end{aligned}$$
(4.30)
$$\begin{aligned} A^\mathrm{T}&= 8\Bigg [ \bigg ( \big |H_\mathrm{T,-0}^{L,{+\frac{1}{2}-\frac{1}{2}}}\big |^2 + \big |H_\mathrm{T,-t}^{L,{+\frac{1}{2}-\frac{1}{2}}}\big |^2\nonumber \\&\quad + \big |H_\mathrm{T,+0}^{L,{-\frac{1}{2}+\frac{1}{2}}}\big |^2 + \big |H_\mathrm{T,+t}^{L,{-\frac{1}{2}+\frac{1}{2}}}\big |^2 + \{ L \leftrightarrow R \} \bigg ) \,\nonumber \\&\quad + {\cos ^2\theta _\ell }\bigg ( 2 \big | H_\mathrm{T,0t}^{L,{-\frac{1}{2}-\frac{1}{2}}} \big |^2 + 2 \big | H_\mathrm{T,0t}^{L,{+\frac{1}{2}+\frac{1}{2}}} \big |^2\nonumber \\&\quad - \big | H_\mathrm{T,-0}^{L,{+\frac{1}{2}-\frac{1}{2}}} \big |^2 - \big | H_\mathrm{T,+0}^{L,{-\frac{1}{2}+\frac{1}{2}}} \big |^2 \nonumber \\&\quad - \big | H_\mathrm{T,-t}^{L,{+\frac{1}{2}-\frac{1}{2}}} \big |^2 - \big | H_\mathrm{T,+t}^{L,{-\frac{1}{2}+\frac{1}{2}}} \big |^2 + 2 \big | H_\mathrm{T,+-}^{L,{-\frac{1}{2}-\frac{1}{2}}} \big |^2\nonumber \\&\quad + 2 \big | H_\mathrm{T,+-}^{L,{+\frac{1}{2}+\frac{1}{2}}} \big |^2 + \{ L \leftrightarrow R \} \bigg ) \,\nonumber \\&\quad + {\cos ^2\theta _\ell }\bigg ( 4\mathrm{Re}\big [H_\mathrm{T,+-}^{L,{-\frac{1}{2}-\frac{1}{2}}} (H_\mathrm{T,0t}^{L,{-\frac{1}{2}-\frac{1}{2}}})^*\big ]\nonumber \\&\quad + 4\mathrm{Re}\big [H_\mathrm{T,+-}^{L,{+\frac{1}{2}+\frac{1}{2}}} (H_\mathrm{T,0t}^{L,{+\frac{1}{2}+\frac{1}{2}}})^*\big ]\, \nonumber \\&\quad + 2\mathrm{Re}\big [H_\mathrm{T,-t}^{L,{+\frac{1}{2}-\frac{1}{2}}} (H_\mathrm{T,-0}^{L,{+\frac{1}{2}-\frac{1}{2}}})^*\big ]\nonumber \\&\quad - 2 \mathrm{Re}\big [H_\mathrm{T,+t}^{L,{-\frac{1}{2}+\frac{1}{2}}} (H_\mathrm{T,+0}^{L,{-\frac{1}{2}+\frac{1}{2}}})^*\big ] - \{ L \leftrightarrow R \} \bigg ) \,\nonumber \\&\quad - \bigg ( 2\mathrm{Re}\big [H_\mathrm{T,-t}^{L,{+\frac{1}{2}-\frac{1}{2}}} (H_\mathrm{T,-0}^{L,{+\frac{1}{2}-\frac{1}{2}}})^*\big ]\nonumber \\&\quad - 2\mathrm{Re}\big [H_\mathrm{T,+t}^{L,{-\frac{1}{2}+\frac{1}{2}}} (H_\mathrm{T,+0}^{L,{-\frac{1}{2}+\frac{1}{2}}})^*\big ] - \{ L \leftrightarrow R \} \bigg ) \Bigg ], \end{aligned}$$
(4.31)

and the interference term is

$$\begin{aligned} A^\mathrm{inter}_\mathrm{SP-T}&= -16{\cos \theta _\ell }\Bigg [\bigg ( \mathrm{Re}\big [H_\mathrm{T,0t}^{L,{-\frac{1}{2}-\frac{1}{2}}}(H_\mathrm{SP}^{L,{-\frac{1}{2}-\frac{1}{2}}})^*\big ]\nonumber \\&\quad + \mathrm{Re}\big [H_{T,0t}^{L,{+\frac{1}{2}+\frac{1}{2}}}(H_\mathrm{SP}^{L,{+\frac{1}{2}+\frac{1}{2}}})^*\big ] +\{L \leftrightarrow R \} \bigg ) \,\nonumber \\&\quad + \bigg (\mathrm{Re}\big [H_\mathrm{T,+-}^{L,{-\frac{1}{2}-\frac{1}{2}}}(H_\mathrm{SP}^{L,{-\frac{1}{2}-\frac{1}{2}}})^*\big ]\nonumber \\&\quad + \mathrm{Re}\big [H_\mathrm{T,+-}^{L,{+\frac{1}{2}+\frac{1}{2}}}(H_\mathrm{SP}^{L,{+\frac{1}{2}+\frac{1}{2}}})^*\big ] - \{L \leftrightarrow R \} \bigg ) \bigg ]. \end{aligned}$$
(4.32)

As can be seen, there are no interference terms of VA with SP and T contributions. This is because VA-SP and VA-T interferences are proportional to either lepton mass or its squared and therefore vanish in the limit of massless leptons.

By partially integrating the differential distribution (4.27) over the angle \(\theta _\ell \) various observables can be constructed. Here we recall the definitions of the leptonic forward-backward asymmetry \(A^\ell _\mathrm{FB}\)

$$\begin{aligned} A^\ell _\mathrm{FB}(q^2) = \frac{ \displaystyle \int _{-1}^{0} d\cos \theta _\ell \frac{d^2{\mathcal {B}}}{dq^2d\cos \theta _\ell } - \displaystyle \int _{0}^{+1} d\cos \theta _\ell \frac{d^2{\mathcal {B}}}{dq^2d\cos \theta _\ell } }{ \displaystyle \int _{-1}^{0} d\cos \theta _\ell \frac{d^2{\mathcal {B}}}{dq^2d\cos \theta _\ell } + \displaystyle \int _{0}^{+1} d\cos \theta _\ell \frac{d^2{\mathcal {B}}}{dq^2d\cos \theta _\ell } }\, , \end{aligned}$$
(4.33)

and the longitudinal polarization fraction \(F_L\)

$$\begin{aligned} F_L(q^2) = \frac{ \displaystyle \int _{-1}^{+1} d\cos \theta _\ell (2-5\cos ^2\theta _\ell ) \frac{d^2{\mathcal {B}}}{dq^2d\cos \theta _\ell } }{ \displaystyle \int _{-1}^{+1} d\cos \theta _\ell \frac{d^2{\mathcal {B}}}{dq^2d\cos \theta _\ell } }\, . \end{aligned}$$
(4.34)

In Sect. 6 we perform a model-independent analysis of these observables in the presence of the new operators.

5 \(\Lambda _b \rightarrow \Lambda \) helicity form factors

There are ten \(q^2\) dependent form factors \(f^V_{t,0,\perp }\), \(f^A_{t,0,\perp }\), \(f^T_{0,\perp }\), \(f^{T5}_{0,\perp }\) that parametrize the \(\Lambda _b\rightarrow \Lambda \) hadronic matrix elements which are summarized in Appendix C. Note that our notations of the form factors is same as in [25]. Somewhat different notation has been followed in [36] and our notation is related to their’s as \(f^V_{t,0,\perp } = f_{0,+,\perp }\), \(f^A_{t,0,\perp } = g_{0,+,\perp }\), \(f^T_{0,\perp }=h_{+,\perp }\) and \(f^{T5}_{0,\perp }=\tilde{h}_{+,\perp }\).

In the large recoil region, we use the LCSR results [42] for the form factors. The \(q^2\) dependence are obtained from fits of the LCSR results to z-parametrization with following form

$$\begin{aligned} f^i(q^2) = \frac{f^i(0)}{1-q^2/m^2_{B^*_s}} \bigg ( 1 + b_1^i \left[ z(q^2,t_+) - z(0,t_+)\right] \bigg ), \end{aligned}$$
(5.1)

for the form factors \(f^V_0,f^V_\perp , f^T_0\) and \(f^T_\perp \),

$$\begin{aligned} f^i(q^2) = \frac{f^i(0)}{1-q^2/m^2_{B_s}} \bigg ( 1 + b_1^i \left[ z(q^2,t_+) - z(0,t_+) \right] \bigg ), \end{aligned}$$
(5.2)

for the form factor \(f^A_t\), and

$$\begin{aligned} f^i(q^2) = f^i(0) \bigg ( 1 + b_1^i \left[ z(q^2,t_+) - z(0,t_+) \right] \bigg ), \end{aligned}$$
(5.3)

for the form factors \(f^V_t, f^A_{0,\perp }, f^{T5}_{0,\perp }\). Here \(z(q^2,t_+)\) is defined as

$$\begin{aligned} z(q^2,t_+) = \frac{\sqrt{t_+ - q^2} - \sqrt{t_+ - t_0}}{\sqrt{t_+ - q^2} + \sqrt{t_+ - t_0}}\, , \end{aligned}$$
(5.4)

where \(t_0 = ({m_{\Lambda _b}}- {m_{\Lambda }})^2\) and \(t_+ = (m_{B_s} + m_\pi )^2\). The values of the form factors at zero momentum transfer \(f^i(0)\), the fit parameters \(b_1^i\), and the masses of \(B_s^{(*)}\) are taken from [42]. In our numerical analysis at large recoil we restrict ourselves to \( q^2 \le 7\) GeV\(^2\) in dilepton invariant mass squared.

At low recoil region we use lattice QCD results [36] for the form factors. In Ref. [36] two z-parametrization fits, “nominal” fit and “higher-order” fit have been used to obtain the \(q^2\) dependence. For our numerical analysis, we use their “higher-order” fit which correspond to the following z-parametrization

$$\begin{aligned} f^i(q^2)= & {} \frac{1}{1-q^2/(m^{f^i}_\mathrm{pole})^2} \nonumber \\&\times \left[ a^{f^i}_0 + a_1^{f^i} z(q^2,t^\prime _+) + a_2^{f^i} (z(q^2,t^\prime _+))^2 \right] ,\nonumber \\ \end{aligned}$$
(5.5)

where \(t^\prime _+ = (m_B + m_K)^2\). The fit parameters are taken from [36]. We note that if both the “nominal” and “higher-order” fit are used in the way mentioned in Ref. [36], it would lead to different central values and errors in our results. For numerical analysis, our choice of \(q^2\) range for low recoil is \(14.18< q^2 < ({m_{\Lambda _b}}- {m_{\Lambda }})^2\) GeV\(^2\).

With the form factors at hand, we are ready to study the angular observables in the SM. In Fig. 1 the differential branching ratio \(d{\mathcal {B}}/dq^2\), leptonic forward-backward asymmetry \(A_\mathrm{FB}^\ell \) and the longitudinal polarization fraction \(F_L\) are shown as function of \(q^2\). The bands are obtained by varying the form factors and other inputs within their quoted uncertainties. A list of numerical inputs and their values are collected in Table 1. We have superimposed the latest LHCb data by gray crosses. In our case, the angle \(\theta _\ell \) is defined with respect to the negatively charged lepton, where as LHCb choses the positively charged lepton to define the angle \(\theta _\ell \). This difference has been taken care of to display the LHCb data on \(A^\ell _\mathrm{FB}\).

Fig. 1
figure 1

The SM predictions of differential branching ratio, leptonic forward-backward asymmetry \(A_\mathrm{FB}^{\ell }\) and the longitudinal polarization fraction \(F_L\). The bands correspond to the uncertainties dominated by the \(\Lambda _b \rightarrow \Lambda \) form-factors. The points shown by cross marks indicate LHCb data [22]

6 Model independent analysis

In this section we study the impacts of NP couplings on the differential branching ratio, forward-backward asymmetry and longitudinal polarization fraction. We sequentially discuss the consequences of the presence of (i) only \({\mathcal {C}}_{V,A}^{(\prime )}\) couplings, (ii) only \({\mathcal {C}}_{S,P}^{(\prime )}\) couplings, (iii) only \({\mathcal {C}}_{T,T5}\) couplings, and (iv) combinations of \({\mathcal {C}}_{V,A}^{(\prime )}\) \({\mathcal {C}}_{S,P}^{(\prime )}\) and \({\mathcal {C}}_{T,T5}\) couplings. All the NP couplings are considered real. The values of numerical inputs used in our analysis are collected in the Table 1 in Appendix F.

Fig. 2
figure 2

The \(\Lambda _b \rightarrow \Lambda \mu ^+\mu ^-\) observables in the SM (blue) and for representative sets of new VA couplings (shades of red). The points shown by cross marks indicate LHCb data [22]

Fig. 3
figure 3

The \(\Lambda _b \rightarrow \Lambda \mu ^+\mu ^-\) observables in the SM (blue) and for some new SP couplings (shades of red). The points shown by cross marks indicate LHCb data [22]

6.1 Only VA couplings are present

There exist a wealth of data on \(b\rightarrow s\mu ^+\mu ^-\) transitions from various B meson decay modes some of which show deviations from the SM predictions. In the past few years a number of global fits have appeared to interpret the deviations through new VA couplings. If such new couplings are indeed present, it is worth studying the consequences on \(\Lambda _b\rightarrow \Lambda \mu ^+\mu ^-\) observables. We do so by first summarizing the important features when only \({\mathcal {C}}_{V,A}^{(\prime )}\) are present. In our discussions, we choose those set of couplings that have large ’pull’ in the global fits to \(b\rightarrow s\mu ^+\mu ^-\) data. In this context we follow the fits presented in Ref. [46] where it is assumed that NP appear only in the muon modes and the electron modes are SM like. In Fig. 2 we show plots with representative sets of couplings which are chosen so as to show the interesting variants. For all our analysis, the signs of the couplings are same as is found in global fits [46]. Our observations are as follows

  • It was realized very early from global fits that a negative value of \({\mathcal {C}}_V\) can easily alleviate the tensions in \(b\rightarrow s\mu ^+\mu ^-\) data. We find that for a negative value of \({\mathcal {C}}_V\) the branching ratio is reduced at all \(q^2\). With only positive \({\mathcal {C}}_A\), or, with \({\mathcal {C}}_V = -{\mathcal {C}}_A\) also the branching ratio is reduced. However, for \({\mathcal {C}}_V = {\mathcal {C}}_A < 0\), the branching ratio increases for all \(q^2\).

  • For a negative value of \({\mathcal {C}}_V\), the zero-crossing of leptonic forward-backward asymmetry \(A^\ell _\mathrm{FB}\) is shifted to the higher values of \(q^2\) than in SM. For \({\mathcal {C}}_V = \pm {\mathcal {C}}_A\) also, the zero-crossing points are shifted in this direction. However, if only \({\mathcal {C}}_A\) is present, the zero-crossing point is SM like, which is understood from the fact that in the SM the zero-crossing point is proportional to \({\mathcal {C}}_7^\mathrm{eff}/{\mathcal {C}}_9^\mathrm{eff}\).

There are other combinations of VA couplings that can be considered, such as only \({\mathcal {C}}_{V,A}^\prime \) or \({\mathcal {C}}_V^\prime = \pm {\mathcal {C}}_A^\prime \). In global fits these cases have very small ‘pull’ value and we therefore do not discuss these further.

We also examined four pairs of uncorrelated couplings, \(({\mathcal {C}}_V,{\mathcal {C}}_A)\), \(({\mathcal {C}}_V,{\mathcal {C}}_V^\prime )\), \(({\mathcal {C}}_V,{\mathcal {C}}_A^\prime )\) and \(({\mathcal {C}}_V^\prime ,{\mathcal {C}}_A)\) having large pull values in global fits [46]. Here we summarize some of our observations

  • We find that the branching ratio is reduced for all these cases.

  • Apart from when the pair \(({\mathcal {C}}_V^\prime ,{\mathcal {C}}_A)\) is present, the \(A^\ell _\mathrm{FB}\) zero-crossing is shifted to the higher value of \(q^2\) for all other pairs. For the case when the pair \(({\mathcal {C}}_V^\prime ,{\mathcal {C}}_A)\) is present, the zero-crossing can shift to lower value of \(q^2\), but the effect is negligible unless the couplings are large.

Fig. 4
figure 4

The \(\Lambda _b \rightarrow \Lambda \mu ^+\mu ^-\) observables in the SM (blue) and for some new tensor couplings (shades of red). The points shown by cross marks indicate LHCb data [22]

Fig. 5
figure 5

The \(\Lambda _b \rightarrow \Lambda \ell \ell \) observables in the SM (blue) and in the simultaneous presence of VA and SP couplings(red). The points shown by cross marks indicate LHCb data [22]

6.2 Only SP couplings are present

The scalar operators are constrained from \(\bar{B}_s\rightarrow \mu ^+\mu ^-\) branching ratio. To \(\bar{B}_s\rightarrow \mu ^+\mu ^-\) decay, there is no contribution from new vector couplings \({\mathcal {C}}_V^{(\prime )}\), while the contributions from new axial vector couplings \({\mathcal {C}}_A^{(\prime )}\) are suppressed by \(m_\mu /m_{B_s}\). There is also no contribution from tensor operators since the matrix element \(\langle 0|\bar{s}\sigma ^{\mu \nu }b|B_s\rangle \) vanishes. In the presence of SP operators the of \(\bar{B}_s \rightarrow \mu ^+\mu ^-\) branching ratio is given by

$$\begin{aligned} {\mathcal {B}}(\bar{B}_s\rightarrow \mu ^+\mu ^-)= & {} \frac{G_F^2\alpha _e^2 m_{B_s}^5 f_{B_s}^2 \tau _{B_s} }{64\pi ^3} \nonumber \\&\times |V_{tb}V_{ts}^*|^2 \sqrt{1 - \frac{4m_\mu ^2}{m_{B_s}^2} }\nonumber \\&\times \Bigg \{ \bigg ( 1 - \frac{4m_\mu ^2}{m_{B_s}^2} \bigg ) \bigg | \frac{{\mathcal {C}}_S - {\mathcal {C}}_S^\prime }{m_b} \bigg |^2\nonumber \\&+\, \bigg | \frac{{\mathcal {C}}_P - {\mathcal {C}}_P^\prime }{m_b} + \frac{2m_\mu }{m_{B_s}^2} {\mathcal {C}}_{10} \bigg |^2 \Bigg \}. \end{aligned}$$
(6.1)

The SM prediction for the branching ratio is \({\mathcal {B}}^\mathrm{SM}(\bar{B}_s\rightarrow \mu ^+\mu ^-) = 3.53 \times 10^{-9}\) [47, 48] while the experimentally measured values by CMS[49] and LHCb [50] are \(3.0^{+1.0}_{-0.9} \times 10^{-9}\), \((3.0 \pm 0.6^{+0.3}_{-0.2}) \times 10^{-9}\), respectively.

As can be seem from Eq. (6.1), the constraints from \(\bar{B}_s\rightarrow \mu ^+\mu ^-\) alone can be evaded due to the cancellations between \({\mathcal {C}}_{S,P}\) and \({\mathcal {C}}_{S,P}^\prime \). The only stringent constraint that can be obtained are \(|{\mathcal {C}}_S-{\mathcal {C}}_S^\prime |\lesssim 0.1\) and \(|{\mathcal {C}}_P-{\mathcal {C}}_P^\prime |\lesssim 0.3\) [51]. Therefore we combine with \(\bar{B}_s\rightarrow \mu ^+\mu ^-\) the measurements of \(\bar{B}\rightarrow X_s\mu ^+\mu ^-\) and find that the \({\mathcal {C}}_{S,P}^{(\prime )}\) are constrained as

$$\begin{aligned} {\mathcal {C}}_{S,P}^{(\prime )} \equiv [-4.0,4.0]. \end{aligned}$$
(6.2)

We use these values and our main observations are

  • Branching ratio increases in the presence of SP.

  • The \(A^\ell _\mathrm{FB}\) zero-crossing always remain SM like. This is understood from the fact that the \(A^\mathrm{SP}\) term does not have any \(\cos \theta _\ell \) dependence and therefore do not contribute to the numerator of \(A^\ell _\mathrm{FB}\). This is also the reason why \(|A^\ell _\mathrm{FB}|\) decreases for all \(q^2\) as can be seen in Fig. 3.

  • Longitudinal polarization fraction reduces.

6.3 Only tensor couplings are present

The tensor couplings are constrained by the inclusive \(\bar{B}\rightarrow X_s\mu ^+\mu ^-\) branching ratio. This is a theoretically clean mode for indirect searches of NP. The \(q^2\)-cut dependent branching fractions has been measured by Belle [52] and BaBar [53, 54] and the weighted average of the results read

$$\begin{aligned}&{\mathcal {B}}(\bar{B}\rightarrow X_s\mu ^+\mu ^-)^{[1,6]\mathrm GeV}_\mathrm{exp} = (1.58 \pm 0.37) \times 10^{-6},\nonumber \\&{\mathcal {B}}(\bar{B}\rightarrow X_s\mu ^+\mu ^-)^{q^2 > 14.2,\mathrm GeV}_\mathrm{exp} = (0.48 \pm 0.10) \times 10^{-6}.\nonumber \\ \end{aligned}$$
(6.3)

In the presence of the tensor couplings, the expression of \(q^2\)-integrated branching ratio following [55] is

$$\begin{aligned} \frac{d{\mathcal {B}}(\bar{B}\rightarrow X_s\mu ^+\mu ^-)}{dq^2}= & {} {\mathcal {B}}\left( \bar{B}\rightarrow X_s\mu ^+\mu ^-\right) |_\mathrm{SM} \nonumber \\&+\, \frac{{\mathcal {B}}_0}{2m_b^8} 16M_9(q^2)\left( |{\mathcal {C}}_T|^2 + |{\mathcal {C}}_{T5}|^2\right) ,\nonumber \\ \end{aligned}$$
(6.4)

where \({\mathcal {B}}(\bar{B}\rightarrow X_s\mu ^+\mu ^-)|_\mathrm{SM}\) is the branching ratio in the SM. The normalization factor is

$$\begin{aligned}&{\mathcal {B}}_0 = \frac{3{\alpha }_{e}^2}{16\pi ^2} \frac{|V_{tb}V_{ts}^*|^2}{|V_{cb}|^2} \frac{{\mathcal {B}}(B\rightarrow X_s\ell \nu )}{f(\hat{m}_c)\kappa (\hat{m}_c)},\\&f(\hat{m}_c) = 1 - 8 \hat{m}_c^2 + \hat{m}_c^6 - \hat{m}_c^8 - 24 \hat{m}_c^4 \ln (\hat{m}_c),\quad \hat{m}_c = \frac{m_c}{m_b}\\&\kappa (\hat{m}_c) = 1 - \frac{2\alpha _s(m_b)}{3\pi } \Bigg [\bigg ( \pi ^2 - \frac{31}{4} \Bigg )(1 - \hat{m}_c)^2 + \frac{3}{2} \Bigg ], \end{aligned}$$

where we use \({\mathcal {B}}(\bar{B}\rightarrow X_c\ell \nu ) = 10.33\%\) [56] and the quark masses are in the pole mass scheme. The experimental data (6.3) imply severe constraint on \({\mathcal {C}}_{T,T5}\) couplings

$$\begin{aligned} {\mathcal {C}}_T^2+{\mathcal {C}}_{T5}^2 \lesssim 0.55, \end{aligned}$$
(6.5)

and due to this the effects of tensor couplings on \(\Lambda _b\rightarrow \Lambda \ell ^+\ell ^-\) are negligibly small as shown in Fig. 4.

6.4 Combinations of VA, SP and T couplings

After studying the patterns of the observables when VA, SP and T couplings are present separately, we study what happens when both VA and SP couplings are present. The terms \(A^\mathrm{VA}\) and \(A^\mathrm{SP}\) both contribute in this case. We considered all the four scalar couplings \({\mathcal {C}}_{S,P}^{(\prime )}\) simultaneously along with different combinations of VA couplings considered in Sect. 6.1. Due to the interplay between VA and SP couplings, the resultant effects on branching ratio depend on the choice of values of the couplings. In general, if \({\mathcal {C}}_{S,P}^{(\prime )}\) are large so that \(A^\mathrm{SP}\) dominates over \(A^\mathrm{VA}\), then branching ratio increases. Presence of both \({\mathcal {C}}_{V,A}^{(\prime )}\) and \({\mathcal {C}}_{S,P}^{(\prime )}\) has interesting effects on \(A^\ell _\mathrm{FB}\). Since \(A^\mathrm{SP}\) do not contribute to the numerator of \(A^\ell _\mathrm{FB}\), the zero-crossings in the simultaneous presence of \({\mathcal {C}}_{V,A}^{(\prime )}\) and \({\mathcal {C}}_{S,P}^{(\prime )}\) are same as when only \({\mathcal {C}}_{V,A}^{(\prime )}\) couplings are present. But the absolute value \(|A^\ell _{FB}|\) is reduced compared to when only VA couplings are present and this is shown in Fig. 5 (see also Fig. 2 to compare).

We also considered combinations of SP and T couplings. In this case in addition to \(A^\mathrm{SP}\) and \(A^\mathrm{T}\) the interference term \(A^\mathrm{inter}\) contribute to the differential distribution. We find that due to stringent constraints on tensor couplings, the effects of combinations of SP and T couplings are almost identical to that when only SP couplings are present.

7 Summary

In this paper we have investigated the effects of NP couplings on the \(b\rightarrow s\mu ^+\mu ^-\) mediated rare decay \(\Lambda _b\rightarrow \Lambda \mu ^+\mu ^-\). The NP considered are new VA operators, SP and T operators. We work in the helicity formalism and derive the expressions of helicity amplitudes with NP operators. We give the expressions of two fold differential distribution and study the observables \(A^\ell _\mathrm{FB}\) and \(F_L\) in the presence of the NP couplings. The hadronic matrix elements are defined in terms of so called helicity form factors. At the large recoil the form factors are taken from LCSR calculations while at the low recoil the form factors are taken from calculations in lattice QCD, and both are fitted to z-parametrization which give their \(q^2\) dependence.

We sequentially discuss the implications of the NP couplings on differential branching ratio, \(A^\ell _\mathrm{FB}\) and \(F_L\). To understand the implications of the new VA couplings, we have followed the trends of these couplings suggested by the global fits to \(b\rightarrow s\mu ^+\mu ^-\) data. We find that for most of the cases that are largely favored by the global fits, the branching ratio is reduced which is somewhat preferred by the LHCb data at low \(q^2\) but is disfavored at large \(q^2\). However, we have also identified a case for which the branching ratio increases. In leptonic forward-backward asymmetry, the zero-crossings shift to the higher value of \(q^2\) for most of the cases. We have however identified scenarios where it can shit to the lower value or remain SM like.

The scalars couplings are constrained together by the \(\bar{B}_s\rightarrow \mu ^+\mu ^-\) and the inclusive \(\bar{B}\rightarrow X_s\mu ^+\mu ^-\) branching ratios. We show that in the presence of only scalar couplings, the \(\Lambda _b\rightarrow \Lambda \mu ^+\mu ^-\) branching ratio increases while the zero crossing of \(A^\ell _\mathrm{FB}\) remain SM like. The tensor couplings however are severely constrained by the exclusive \(\bar{B}\rightarrow X_s\mu ^+\mu ^-\) so that the effects on \(\Lambda _b\rightarrow \Lambda \mu ^+\mu ^-\) are negligibly small. If VA and SP couplings are simultaneously present, the \(A^\ell _\mathrm{FB}\) zero-crossing remain VA like, but \(|A^\ell _\mathrm{FB}|\) is reduced compared to when only VA couplings are present.