Abstract
We computed the leading order Wilson coefficients relevant to all the exclusive \(b\rightarrow s\ell ^+\ell ^-\) decays in the framework of the two Higgs doublet model (2HDM) with a softly broken \(\mathbb {Z}_2\) symmetry by including the \(\mathcal {O}(m_b)\) corrections. We elucidate the issue of appropriate matching between the full and the effective theory when dealing with the (pseudo-)scalar operators for which keeping the external momenta different from zero is necessary. We then make a phenomenological analysis by using the measured \({\mathcal {B}}(B_s\rightarrow \mu ^+\mu ^-)\) and \({\mathcal {B}}(B\rightarrow K \mu ^+\mu ^-)_{\mathrm {high}-q^2}\), for which the hadronic uncertainties are well controlled, and we discuss their impact on various types of 2HDM. A brief discussion of the decays with \(\tau \)-leptons in the final state is provided too.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Physical processes driven by the flavor changing neutral currents (FCNC) are forbidden in the Standard Model (SM) at tree level. Since they occur through loops, their measurements offer a low-energy window to the particle content in the loops. In other words, they do not only represent a fine test of validity of the SM, but they also offer an opportunity to look for the effects of physics (particles) beyond the SM (BSM) at low energies. The main obstacle to the accurate comparison between the SM theory and the experimental data lies in the fact that the non-perturbative QCD effects are not under full theoretical control. While the solution to non-perturbative QCD is lacking, in some situations the hadronization effects can be solved by means of numerical simulations of QCD on the lattice (LQCD). Over the past couple of decades we witnessed huge progress in reducing the uncertainties in the LQCD results. Nowadays, an excellent theoretical control of the neutral meson mixing processes promoted those FCNC processes to viability tests of the New Physics (NP) model candidates. Besides the oscillation frequencies of the neutral meson systems, the processes based on \(b\rightarrow s\) transitions received a great deal of attention in the particle physics community. While the inclusive and exclusive processes based on the penguin-induced \(b\rightarrow s\gamma \) decay have been, and still are, a very significant constraint when building a NP model, the processes based on \(b\rightarrow s\ell ^+\ell ^-\) received huge attention because they allow one to access another types of penguin and box diagrams. With the advent of the Large Hadron Collider (LHC) the measurement of \({\mathcal {B}}(B_s\rightarrow \mu ^+\mu ^-)\) became possible [1] and the result appeared to be somewhat lower than predicted [2]. The spectrum of \(d{\mathcal {B}}(B\rightarrow K\mu ^+\mu ^-)/dq^2\) has been measured [3] too and in the range of large \(q^2\)’s it appears to be larger than predicted [4,5,6,7,8,9]. A full angular analysis of \({\mathcal {B}}(B\rightarrow K^*\mu ^+\mu ^-)\) [3, 10] and \({\mathcal {B}}(B_s\rightarrow \phi \mu ^+\mu ^-)\) [11] revealed discrepancies in several observables with respect to their SM predictions [12,13,14,15,16,17,18,19]. Moreover, the recent measurements of \(R_K= {\mathcal {B}}^\prime (B\rightarrow K \mu ^+\mu ^-)/{\mathcal {B}}^\prime (B\rightarrow K e^+e^-)\) [20] and \(R_{K^*}= {\mathcal {B}}^\prime (B\rightarrow {K^*} \mu ^+\mu ^-)/{\mathcal {B}}^\prime (B\rightarrow {K^*} e^+e^-)\) [21] were shown to be significantly lower than predicted [22].Footnote 1 Those new experimental data helped discarding several NP models and are currently used as constraints in building a NP model.
Simultaneously with the research of FCNC processes, the LHC experiments allowed observing the missing ingredient of the SM, the Higgs boson, the mass of which has been found to be \(m_h = 125.09(24)\) GeV [23]. While this was a milestone of the LHC, the pending question of hierarchy of scales remains open and a quest for physics BSM continues. One of the minimalistic approaches to building a model of physics BSM is to extend the Higgs sector by introducing an extra Higgs doublet. Phenomenology in the scenarios with two Higgs doublets appears to be very rich and the associated models are generically called the two Higgs doublet models (2HDM), cf. e.g. [24,25,26,27]. Nowadays the experimental search of the additional Higgs bosons is one of the main goals at LHC, in particular that of the charged Higgs boson [28]. Like in the SM, introducing fermions to the 2HDM context results in a plethora of new parameters. To restrain the number of those parameters and to prevent the appearance the FCNC at tree level it is common to assume a peculiar pattern of Yukawa couplings. To test those assumptions one needs to compare many measured observables with theoretical expressions derived in SM with the extended Higgs sector. In this paper we elaborate a few lessons one can learn from the measured \(b\rightarrow s\mu ^+\mu ^-\) processes about 2HDM with a softly broken \(\mathbb {Z}_2\) symmetry. In doing so we will use two observables, namely \({\mathcal {B}}(B_s\rightarrow \mu ^+\mu ^-)\) and \({\mathcal {B}}(B\rightarrow K \mu ^+\mu ^-)_{\mathrm {high}-q^2}\), which are very well measured experimentally and for which the theoretical control of the corresponding hadronic uncertainties is established by the LQCD computations [29]. For other observables the theoretical uncertainties are not as well assessed and one might run a risk of interpreting the unknown hadronic uncertainties as signals of physics BSM. We should also emphasize that 2HDM alone cannot explain \(R_{K^{(^*)}}^\mathrm {SM}>R_{K^{(^*)}}^\mathrm {exp}\) because only the scalar and pseudoscalar operators can generate lepton flavor universality violation in this framework, which is not enough to accommodate the observed deviation from the SM. A study along the line we are pursuing here has been initiated in Ref. [30] in which the authors computed the Wilson coefficients in the Aligned 2HDM (A2HDM), for the operators relevant to the \(B_s\rightarrow \mu ^+\mu ^-\) decay. In this paper we revisit their computation and extend it to include the operators that are needed for the phenomenological analysis of \(B\rightarrow K^{(*)}\ell ^+\ell ^-\) and other similar decays. While we broadly agree with the results of Ref. [30], there are a couple of points in which we disagree. We will examine those points, compute the remaining Wilson coefficients and use our results to discuss the phenomenological consequences on the 2HDM scenarios by comparing \({\mathcal {B}}(B_s\rightarrow \mu ^+\mu ^-)^\mathrm {2HDM}\) and \({\mathcal {B}}(B\rightarrow K \mu ^+\mu ^-)_{\mathrm {high}-q^2}^\mathrm {2HDM}\) with their experimental values. We will then discuss the consequences on the similar decays with \(\tau \)-leptons in the final state.
The remainder of this paper is organized as follows: In Sect. 2 we remind the reader of the main general constraints on the spectrum of scalars in 2HDM and perform a scan of parameters by assuming the lowest CP-even Higgs state to be the one measured at LHC. In Sect. 3 we write the low-energy effective theory and present our results for all the Wilson coefficients in Sect. 4. We compare our results with the existing ones (in the limits in which the comparison can be made) in Sect. 5 and elucidate the subtleties related to the matching procedure in the between the full (2HDM) and effective theories in Sect. 6. Phenomenological discussion is made in Sects. 7 and 8. We briefly conclude in Sect. 9.
2 General constraints on 2HDM
In this section we remind the reader of the basic ingredients of 2HDM, enumerate the parameters of the model and list the main general constraints on the spectrum of scalars which are then used to perform a scan of allowed parameters to obtain the allowed ranges of the Higgs masses and couplings.
2.1 2HDM
We consider a general CP-conserving 2HDM with a softly broken \(\mathbb {Z}_2\) symmetry. The most general potential can then be written as
where the term proportional to \(m_{12}^2\) accounts for the soft breaking of \(\mathbb {Z}_2\).Footnote 2 The scalar doublets \(\Phi _a\) (\(a=1,2\)) can be parameterized as
with \(v_{1,2}\ge 0\) being the vacuum expectation values, satisfying \(v^\mathrm {SM}=\sqrt{v_1^2+v_2^2}\); it is already known from experiment that \(v^\mathrm {SM}=246.22\) GeV [32]. In the following, for notational simplicity, we will drop the argument of the Higgs fields. Two of the six fields are Goldstone bosons, while the remaining ones are four massive scalars: two CP-even states (h, H), one CP-odd state (A), and one charged Higgs (\(H^\pm \)). These fields are defined as
and
The mixing angles \(\alpha \) and \(\beta \) satisfy
with \(\lambda _{345}\equiv \lambda _3+\lambda _4+\lambda _5\). The masses of the physical scalars can be written in terms of parameters which appear in the potential as
where the \(\mathbb {Z}_2\) breaking term is now parameterized via \(M^2\equiv \dfrac{m_{12}^2}{\sin \beta \cos \beta }\).
In the Yukawa sector, the \(\mathbb {Z}_2\) symmetry becomes particularly important as it prevents the flavor changing processes to appear at tree level [33]. Furthermore it enforces each type of the right-handed fermion to couple to a single Higgs doublet. Four choices are then possible and they are called Type I, II, X (lepton specific) and Z (flipped) 2HDM [26, 27].Footnote 3 To be more specific, we first write the Yukawa Lagrangian as
where u and d stand for the up- and down-type quark, \(\ell \) is a lepton flavor, f stands for a generic fermion, V for the Cabibbo–Kobayashi–Maskawa (CKM) matrix, and \(P_{L,R}= (1\mp \gamma _5)/2\). A specific choice of parameters \(\zeta _f\) corresponds to the above-mentioned types of 2HDM, which we also summarize in Table 1. Notice that the couplings \(\xi _f^{\varphi _i^0}\) appearing in the neutral Lagrangian part can be mapped onto the charged ones via
2.2 General constraints and scan of parameters
To perform a thorough scan of scalars in a general 2HDM we use the general constraints summarized below.
-
Stability: To ensure that the scalar potential is bounded from below, the quartic couplings should satisfy the relations [25]
$$\begin{aligned}&\lambda _{1,2}>0,\qquad \lambda _3>-(\lambda _1 \lambda _2)^{1/2},\qquad \mathrm {and} \qquad \nonumber \\&\lambda _3+\lambda _4- \vert \lambda _5 \vert >-(\lambda _1 \lambda _2)^{1/2}. \end{aligned}$$(12)Furthermore, the stability of the electroweak vacuum implies that
$$\begin{aligned} m_{11}^2+\dfrac{\lambda _1 v_1^2}{2}+\dfrac{\lambda _3 v_2^2}{2}&= \frac{v_2}{v_1} \left[ m_{12}^2 - (\lambda _4+\lambda _5)\dfrac{v_1 v_2}{2}\right] , \nonumber \\\end{aligned}$$(13)$$\begin{aligned} m_{22}^2+\dfrac{\lambda _2 v_2^2}{2}+\dfrac{\lambda _3 v_1^2}{2}&= \frac{v_1}{v_2} \left[ m_{12}^2 - (\lambda _4+\lambda _5)\dfrac{v_1 v_2}{2}\right] ,\nonumber \\ \end{aligned}$$(14)which then allows us to express \(m_{11}^2\) and \(m_{22}^2\) in terms of the soft \(\mathbb {Z}_2\) breaking term \(m_{12}^2\) and the quartic couplings \(\lambda _{1-5}\). These constraints should be combined with the necessary and sufficient condition that the minimum developed at \((v_1,v_2)\) is global [34]:
$$\begin{aligned} m_{12}^2 \left( m_{11}^2-m_{22}^2 \sqrt{\lambda _1/\lambda _2} \right) \left( \tan \beta - \root 4 \of {\lambda _1/\lambda _2}\right) >0. \end{aligned}$$(15) -
Perturbative unitarity: An important constraint on the spectrum of scalars within 2HDM stems from the unitarity requirement of the S-wave component of the scalar scattering amplitudes. That condition implies the following inequalities [35, 36]:
$$\begin{aligned} |a_\pm |, |b_\pm |, |c_\pm |, |f_\pm |, |e_{1,2}|, |f_1|, |p_1| < 8 \pi , \end{aligned}$$(16)where
$$\begin{aligned} a_\pm&= \dfrac{3}{2}(\lambda _1+\lambda _2)\pm \sqrt{\dfrac{9}{4}(\lambda _1-\lambda _2)^2+(2\lambda _3+\lambda _4)^2},\nonumber \\ b_\pm&= \dfrac{1}{2}(\lambda _1+\lambda _2)\pm \dfrac{1}{2} \sqrt{(\lambda _1-\lambda _2)^2+4\lambda _4^2},\nonumber \\ c_\pm&= \dfrac{1}{2}(\lambda _1+\lambda _2)\pm \dfrac{1}{2} \sqrt{(\lambda _1-\lambda _2)^2+4\lambda _5^2},\nonumber \\ e_1&= \lambda _3 + 2 \lambda _4 -3\lambda _5,\qquad e_2 = \lambda _3-\lambda _5,\nonumber \\ f_+&= \lambda _3+2 \lambda _4+3\lambda _5, \qquad f_- =\lambda _3+\lambda _5,\nonumber \\ f_1&= \lambda _3+\lambda _4, \qquad p_1 = \lambda _3-\lambda _4. \end{aligned}$$(17) -
Electroweak precision tests: Finally, the additional scalars contribute to the gauge boson vacuum polarization. As a result, the electroweak precision data provide important constraint. In particular the T parameter bounds the mass splitting between \(m_H\) and \(m_{H^\pm }\) in the scenario in which h is identified with the SM-like Higgs, cf. Ref. [37] for example. The general expressions for the parameters S, T and U in 2HDM can be found in Ref. [38]. To derive the bounds on the scalar spectrum we consider the following values and the corresponding correlation matrix [39]:
$$\begin{aligned}&\begin{aligned}&\Delta S^\mathrm{SM} = 0.05\pm 0.11, \\&\Delta T^\mathrm{SM} = 0.09\pm 0.13, \\&\Delta U^\mathrm{SM} = 0.01\pm 0.11, \\ \end{aligned} \qquad \qquad \nonumber \\&\quad \mathrm {corr} = \left( \begin{array}{c@{\quad }c@{\quad }c} 1 &{} 0.90 &{} -0.59 \\ 0.90 &{} 1 &{} -0.83 \\ -0.59 &{} -0.83 &{} 1 \end{array}\right) . \end{aligned}$$(18)The \(\chi ^2\) function is then expressed as
$$\begin{aligned} \chi ^2= \sum _{i,j}(X_i - X_i^\mathrm{SM})(\sigma ^2)_{ij}^{-1}(X_j - X_j^\mathrm{SM}), \end{aligned}$$(19)where the vectors of central values and uncertainties are denoted \(X=(\Delta S, \Delta T, \Delta U)\) and \(\sigma =(0.11,0.13,0.11)\), while the elements of the covariance matrix are obtained via \(\sigma _{ij}^2\equiv \sigma _i \mathrm {corr}_{ij} \sigma _j\).
As mentioned above, we identify the lightest CP-even state h with the SM-like scalar observed at the LHC with mass \(m_h=125.09(24)\) GeV [32]. To forbid the dangerous decays \(h\rightarrow A A\) which could over-saturate the total width of h (\(\simeq \Gamma _h^\mathrm {SM}\)), we assume that \(m_A> m_h/2\). Moreover, we impose the alignment condition \(|\cos (\beta -\alpha )|\le 0.3\), in order to ensure that the couplings of h to \(V=W,Z\) remain consistent with the values measured so far, which appear to be in good agreement with the SM predictions [40]. The above-mentioned constraints are then imposed onto a set of randomly generated points in the intervals:
A scan of parameters consistent with the constraints listed above favors the moderate and small values of \(\tan \beta \in (0.2,15]\). To see that the larger values of \(\tan \beta \) cannot be discarded it is sufficient to examine Eq. (6) in the alignment limit. For that reason, and in addition to the free scan, we perform a second scan with \(m_H\approx |M|\), which helps us probing higher values of \(\tan \beta \), and we then combine results of both scans. The combined results are shown in Fig. 1 in two planes, \((\tan \beta , m_{H^\pm })\) and \((m_A, m_{H^\pm })\). From the right panel of Fig. 1 we observe that the additional scalars become mass degenerate in the decoupling region (\(M^2 \gg v^2\)), as it can be easily deduced from Eqs. (6)–(9). We should also emphasize that the results of our scans agree with what has been previously reported in the literature, cf. [41,42,43,44].
In Sect. 8 we will confront the points allowed by our scan with the experimental measurements of exclusive \(b\rightarrow s\) decays.
3 Effective Hamiltonian
The most general effective Hamiltonian describing the \(b\rightarrow s \ell \ell \) transitions, made of dimension six operators, is given by [45]
where
and \(\mathcal {O}_7=e/(4\pi )^2 m_b (\bar{s} \sigma _{\mu \nu }P_R b)F^{\mu \nu }\) is the electromagnetic penguin operator. The operators with a flipped chirality, \(\mathcal {O}^\prime _{7,9,10,S,P}\), are obtained from \(\mathcal {O}_{7,9,10,S,P}\) by replacing \(P_L \leftrightarrow P_R\) in the quark current.
The dimension six operators appearing in Eq. (21) are sufficient to match the one-loop amplitude when the external fermion momenta are neglected. This, however, is not true if the computation is made with external momenta different from zero which is, in general, necessary when dealing with (pseudo-)scalar operators. For example, in order to get a correct expression for the Wilson coefficient \(C_P\) one needs to consider the external momenta, which then leads to \(C_P\propto m_\ell m_b/m_W^2\), c.f. [30]. We therefore need to select all situations in which one can obtain the terms of the form \((m_\ell m_b/m_W^2) \mathcal {O}_P\), such as
which can obviously be reduced to \((m_\ell m_b/m_W^2) \mathcal {O}_P\). As an example,
We should stress at this point that in the course of our computation the contributions proportional to the chirality flipped operator \(\mathcal {O}_{S,P}^\prime \) are suppressed by a factor of \(m_s\) which is why they are readily neglected. A complication arises when encountering the operators with insertion of in the leptonic current, with the convention \(b(p_b)\rightarrow s(p_s) \ell ^-(p_-)\ell ^+(p_+)\), where we also use \(q=p_b-p_s=p_++p_-\). A way to deal with that, adopted in Ref. [30], consists in setting \(p_s=0\), so that , and in this way one can again, like in the previous example, use the equations of motion. That way to deal with the problem in hands, however, leads to an incomplete expression for \(C_P\), for example. If, instead, one keeps all the momenta nonzero, we get a complete result. At this point we just emphasize that the matching should be performed by keeping all the external momenta different from zero and the contributions stemming from dimension-seven operators can be neglected at the very end of computation. We further elucidate this problem in Sect. 6 where we also propose a general framework for the appropriate matching between the full and effective theories in a case in which the (pseudo-)scalar bosons are explicitly taken into account. Before closing this section we could also argue that a term \((m_\ell m_b/m_W^2) \mathcal {O}_P\) could be obtained from the dimension-eight operators, such as
Such terms, however, never appear in our calculations and we will limit our discussion to the dimension-seven operators only.
4 Wilson coefficients
After unambiguously matching the full with the effective theories we obtain the one-loop expressions for the Wilson coefficients generated by the additional scalar particles. We summarize our results in this section. For clarity we will write them as
where the superscripts denote the types of diagrams that contributes to a given Wilson coefficient, namely, the box diagrams, the \(\gamma ,Z\)-penguins and the (pseudo-)scalar penguins. These coefficients should be added to the (effective) ones obtained in the SM: \(C_{7}=-0.304\), \(C_9=4.211\), \(C_{10}=-4.103\), and \(C_{S,P}\simeq 0\) [46].Footnote 4
Henceforth, we neglect the s-quark mass and give all our results in the unitary gauge. To check the consistency of our formulas, we also performed the computation in the Feynman gauge. In the remainder of this section we present our resulting expressions for each of the coefficients appearing in Eqs. (30)–(32). We use the standard notation,
where \(q\in \{ b,t\}\), and \(\varphi _i^0 \in \lbrace h,H,A \rbrace \).
4.1 \(\gamma \)-penguins in 2HDM
The \(\gamma \)-penguin diagrams induced by the charged Higgs are shown in Fig. 2. The off-shell and on-shell contributions can be matched onto the Wilson coefficients \(C_7\) and \(C_9\), respectively, we obtain
and
The dominant terms in both \(C_7^{\mathrm {NP}, \gamma }\) and \(C_9^{\mathrm {NP}, \gamma }\) come from the top quark contribution and are proportional to \(|\zeta _u|^2\). The term proportional to \(\zeta _u^*\zeta _d\) in \(C_9^{\mathrm {NP}, \gamma } \) is suppressed by \(m_b^2\), thus it indeed is subdominant.
4.2 Z-penguins in 2HDM
The Z-penguin diagrams contribute significantly to the Wilson coefficients \(C_P\), \(C_9\) and \(C_{10}\) through the diagrams shown in Fig. 3. The leading order expressions for \(C_9\) and \(C_{10}\) read
Similarly, for \(C_P\) we obtain
4.3 Charged Higgs boxes in 2HDM
The box diagrams, peculiar for 2HDM, are drawn in Fig. 4. At low energy they contribute to the Wilson coefficients \(C_{S}\) and \(C_{P}\); we have
and
In addition to \(C_{S,P}^\mathrm {NP,\,box}\), the tensor and (axial-)vector operators receive contributions but suppressed by the lepton mass, i.e. by \(x_\ell =m_\ell ^2/m_W^2\). These coefficients are negligible even for decays with \(\tau \)’s in the final state as it can be verified by using the expressions we provide in Appendix C.2.
4.4 Scalar penguins in 2HDM
We now turn to the effective coefficients \(C_P^{\mathrm {NP},\, A}\), \(C_S^{\mathrm {NP},\, h}\) and \(C_S^{\mathrm {NP},\, H}\), generated by the scalar penguin diagrams shown in Fig. 5. We recall that the total ultraviolet divergence coming from these diagrams is proportional to the factor \((1+\zeta _u\zeta _d)(\zeta _u-\zeta _d)\), which vanishes due to the \(\mathbb {Z}_2\) symmetry (cf. Table 1).Footnote 5
The penguins with the CP-odd Higgs give rise to
where we used \(\zeta _f \in \mathbb {R}\); \((1+\zeta _u\zeta _d)(\zeta _u-\zeta _d)=0\). Similarly, the penguins with the CP-even Higgs lead to
where \(\lambda _{H^+H^-}^{\varphi _i^0}\) are the trilinear couplings defined in Appendix B. The functions \(g_{0,1,2}\) are given in Appendix C along with the amplitudes generated by each of the diagrams shown in Fig. 5.
5 Comparison with other computations
In this section we compare our Wilson coefficients with the results obtained in previous studies. Before doing so we should emphasize the novelties of the present work:
-
(i)
The result for \(C_9\) in a general 2HDM with a \(\mathbb {Z}_2\) symmetry is new.
-
(ii)
The subleading terms \(\mathcal {O}(m_{b})\) to \(C_{9,10}\) have been neglected in the previous computations, and they are included here.
-
(iii)
We provided an independent computation of the coefficients \(C_S\) and \(C_P\), and elucidate inconsistencies present in Ref. [30], cf. Sect. 6, where we propose a general prescription for matching procedure when the external momenta are not neglected.
The effective coefficients \(C_S\) and \(C_P\), in the context of Type II 2HDM, were first computed in Refs. [47,48,49,50,51,52]. In these papers \(\tan \beta \) was assumed to be very large, which considerably simplifies the computation because in that case only the box diagrams give significant contributions. We agree with these results if we keep only the leading terms in \(\tan \beta \) in our expressions, namely
Along the same lines, the leading order QCD corrections to the same coefficients were included in Ref. [53]. Recently, the computation of \(C_S\) and \(C_P\) was extended to the context of a general A2HDM, which comprises all four types of 2HDM with \(\mathbb {Z}_2\) symmetry discussed here but without the usual assumption of large \(\tan \beta \) [30]. We agree with their general results, except for the expression for \(C_P^{\mathrm {NP},\, Z}\) which differs from the one reported in the present paper. The disagreement comes from the fact that the authors of Ref. [30] worked with the assumption \(p_s=0\), which appears not to be fully appropriate.Footnote 6 By keeping \(p_s\ne 0\) one realizes that the computation of Z-penguin leads to two independent terms, one proportional to \(p_H=p_b+p_s\) and the other to \(q=p_b-p_s\). By using the equations of motion, \(C_{P,S}\) correctly receive contributions from the terms proportional to q, but not from those proportional to \(p_H\). With \(p_s=0\) only one invariant appears, because \(p_H\equiv q\), and thus the resulting \(C_{P,S}\) also receive spurious contributions from \(p_H\).
Regarding the other Wilson coefficients, the first computations of \(C_7\) for a general 2HDM have been performed in Ref. [54], then in Refs. [55,56,57] where the leading and subleading QCD corrections were included too. Our results are consistent with those, as well as with the expression for \(C_{10}\) presented in Ref. [51] and more recently in Ref. [30]. The only difference with respect to those results is that we include the subleading terms in \(m_b\).
6 Matching procedure
In this section we discuss in more detail the matching of the one-loop amplitudes when the nonzero external momenta are considered. We stress once again that keeping external momenta nonzero is necessary to obtain the correct values for the Wilson coefficients \(C_{S,P}\). As we mentioned in Sect. 3 the insertion of external momenta result in dimension-seven operators which can be simplified by using equations of motion, except in the cases when the lepton momenta are to be contracted with the quark current and/or the quark momenta to be contracted with the lepton current. The amplitudes which need a special treatment, which give rise to the terms \(\propto m_\ell m_b/m_W^2\), are
where \(i,j=L,R\) and \(s,b,\ell \) are the fermion spinors. Note again that our convention is \(b(p_b)\rightarrow s(p_s) \ell ^-(p_-)\ell ^+(p_+)\), and \(q=p_b-p_s=p_++p_-\). In our calculation, specifically, the amplitude \(\mathcal {A}_{ij}^q\) appeared in the computation of the Z-penguin diagrams, while \(\mathcal {A}^\ell _{ij}\) and \(\mathcal {A}_{ij}^{Vq}\) are encountered when computing the box diagrams.
In order to keep our discussion general, we first extend the Hamiltonian (21) and include the following operators:
where
with \(i,j=L,R\).Footnote 7 We reiterate that even though these operators are suppressed by \(1/m_W\), they are necessary to unambiguously match the loop induced amplitudes with the effective field theory. The above choice of the basis of dimension-seven operators is convenient since they do not contribute to \(\mathcal {B}(B_s\rightarrow \mu ^+\mu ^-)\), while for the other decays their hadronic matrix elements are easy to calculate.
By using the Fierz rearrangement and by applying the field equations, the amplitudes (44) are reduced to
To remain completely general, in the above equations we also kept the lepton mass and the mass of s-quark different from zero. As an example we show the validity of Eq. (49). Using \(p_--p_+=2p_--q\), and by the multiple use of the field equations, we can write
By applying the Fierz identity once again, we arrive at
Clearly, for the appropriate matching of these amplitudes to the effective theory, the operators appearing in Eq. (21) are not enough and the extended basis given in Eq. (45) is necessary. Once the matching is performed, the operators from Eq. (21) could be neglected since they are \(1/m_W\) suppressed with respect to the dominant (dimension six) ones.
This delicate point can then be verified explicitly by computing the Wilson coefficients \(C_{RL}^{\mathcal {T}q}\) and \(C_{RR}^{\mathcal {T}q}\) which come from the Z-penguin diagrams and the coefficients \(C^{\mathcal {T}\ell }_{LL}=(C^{\mathcal {T}\ell }_{LR})^*\) generated by the box diagrams. Their explicit expression is given in Appendix C.1.
We can now easily understand the source of our disagreement with Ref. [30]. If one sets \(p_s=0\) in \(\mathcal {A}_{RR}^q\) of Eq. (44), then just like in Ref. [30] one could write which, by means of the equations of motion, yields
which then in the actual computation gives a contribution to \(C_P\). With our procedure, we understand that this contribution does not come from \(C_P\) but actually from \(\sqrt{x_\ell } C_{RL}^{\mathcal {T}q}\). In other words, by using our definition of operators and of the effective Hamiltonian, we find
Had we set \(p_s=0\) we would have missed the contribution of the dimension-seven operator. We emphasize, once again, that \(\mathcal {A}_{RR}^q\) is a non-trivial operator with derivative which cannot be straightforwardly simplified by means of equations of motion.
Finally, after a comparison between ours and the result for \(C_P\) presented in Ref. [30] we findFootnote 8
In other words, the Wilson coefficient \(C_P\) of Ref. [30] contains the Wilson coefficient of the operator \(\mathcal {O}_{RR}^{\mathcal {T}q}\), the matrix element of which is not equal to the matrix element of the operator \(\mathcal {O}_P\) but is, instead, suppressed by \(m_W\) as we explicitly check in the next section. For that reason the Wilson coefficient of Ref. [30] is not well defined unless the basis of dimension-seven operators is explicitly specified.
7 \(B_s \rightarrow \mu ^+ \mu ^-\) and \(B \rightarrow K \mu ^+\mu ^-\) in 2HDM
In this section we give the expressions for \(\mathcal {B}(B_s\rightarrow \mu ^+\mu ^-)\) and \(\mathcal {B}(B\rightarrow K \mu ^+\mu ^-)\) to which we also include the contributions of the operators given in Eq. (46). Those additional operators were necessary for the appropriate matching procedure between the full and the effective theories. However, since they are suppressed by \(1/m_W\) they are expected to be negligible with respect to the dominant operators entering the effective Hamiltonian (21). The purpose of this exercise is to check whether or not the size of the matrix elements of the operators (46) is indeed numerically insignificant for phenomenology.
7.1 \(B_s \rightarrow \mu ^+ \mu ^-\)
On the basis of Lorentz invariance and invariance of the strong interaction with respect to parity, one can easily verify that \(B_s\rightarrow \mu ^+\mu ^-\) is not affected by the operators \(\mathcal {O}_{i,j}^{\mathcal {T}q}\) and \(\mathcal {O}_{i,j}^{\mathcal {T}\ell }\), with \(i,j=L,R\). The expression for the decay rate of this process remains the standard one
where \(\beta _\ell =\sqrt{1-4 m_\ell ^2/m_{B_s}^2}\). To compare Eq. (60) with the available experimental value, one needs to take into account the effects of \(B_s- \overline{B}_s\) oscillations which, to a good approximation, amounts to [58]
where \(y_s=\Delta \Gamma _{B_s}/(2 \Gamma _{B_s})=0.061(9)\), experimentally established by the LHCb Collaboration [59]. As we mentioned before, the dimension-seven operators (46) were chosen in such a way that they do not contribute the \(B_s\rightarrow \ell ^+\ell ^-\) decay amplitude.
7.2 \(B \rightarrow K \mu ^+\mu ^-\)
In contrast to \(B_s\rightarrow \ell ^+\ell ^-\), the decay \(B\rightarrow K \ell ^+\ell ^-\) receives contributions from the operators of the extended basis (46). To write the decay amplitude in a compact form, it is convenient to use the formalism of helicity amplitudes (HAs). In the absence of the (pseudo-)scalar operators, the total amplitude can be schematically written as
By describing the decay mode as \(B\rightarrow K V^*\rightarrow K \ell ^+\ell ^-\), where \(V^*\) is a virtual vector boson, one can decompose the total decay amplitude in terms of HAs,
where \(\varepsilon _V^{\mu }(m)\) (with \(m,n=0,t,\pm \)) are the \(V^*\)-boson polarization vectors, explicitly defined in Appendix A. We repeat that the above decomposition is valid as long as the scalar and the pseudoscalar operators are not present. To incorporate those contributions unambiguously one can assume the lepton masses to be unequal (\(m_{\ell _1}\ne m_{\ell _2}\)) and then apply the Ward identities,
to absorb the (pseudo-)scalar terms in the time-like coefficients \({A}_{t}^{L(R)}\). By taking the limit \(m_{\ell _1}=m_{\ell _2}\) in the final expression one ends up with the desired HAs and the total decay amplitude, from which is then easy to compute the decay rate [60]. Notice that the contributions from \(C_{S,P}^{(\prime )}\) enter the amplitudes \(A_S\) and \(A_t\) defined as
More details regarding this point can be found in Ref. [60]. We also need to stress that all the helicity amplitudes are the \(q^2\)-dependent functions, \(A_i\equiv A_i(q^2)\). By applying the method briefly sketched above we obtain
where the explicit expressions for the helicity amplitudes are
where the normalization factor also accounts for the remaining phase space, namely
For brevity, in the above formulas, we used \(\lambda _q=\lambda (\sqrt{q^2},m_\ell ,m_\ell )\) and \(\lambda _B=\lambda (m_B,m_K,\sqrt{q^2})\), where \(\lambda (a,b,c)\equiv [a^2-(b-c)^2][a^2-(b+c)^2]\). The kinematic conventions and the form factor definitions are collected in Appendix A. In the limit in which the derivative operators vanish we retrieve the usual expression for differential branching fraction [60]. The choice of dimension-seven operators (46) is convenient also because their matrix elements are proportional to the original hadronic matrix elements multiplied by \(i q^\mu \). As it can be seen from the above expressions the coefficients \(C_{i,j}^{\mathcal {T}\ell }\) and \(C_{i,j}^{\mathcal {T}q}\) enters the above formulas with the explicit \(1/m_W\)-suppression factor. In other words, with the above formulas and by using the Wilson coefficients presented in the previous sections, we see that the derivative operators (46) are indeed irrelevant for phenomenology. Their presence is therefore essential for the unambiguous matching procedure in the computation of Wilson coefficients but they do not alter the phenomenological analysis even at the sub-percent level.
8 Phenomenology and discussion
In this section we use our results for Wilson coefficients and compare the experimental data for the exclusive \(b\rightarrow s\ell ^+\ell ^-\) modes with various types of 2HDM. We decided to focus on \(\mathcal {B}(B_s\rightarrow \mu ^+ \mu ^-)^\mathrm {exp}=(2.8^{+0.7}_{-0.6})\times 10^{-9}\) [1], and \(\mathcal {B}(B\rightarrow K \mu ^+ \mu ^-)_{\mathrm {high}\,q^2}^\mathrm {exp}=(8.5\pm 0.3 \pm 0.4)\times 10^{-8}\) [3], where “high \(q^2\)” means that the decay rate has been integrated over the interval \(q^2\in [15,22]~\mathrm {GeV}^2\). The reason for opting for these decay modes is that the relevant hadronic uncertainties are under good theoretical control. The hadronic quantity entering the \(B_s\rightarrow \mu ^+ \mu ^-\) decay amplitude is the decay constant, \(f_{B_s}\). It has been abundantly computed by means of numerical simulations of QCD on the lattice (LQCD) and its value is nowadays one of the most accurately computed hadronic quantities as far as \(B_{(s)}\)-mesons are concerned [29]. The hadronic form factors entering the \(B\rightarrow K \mu ^+ \mu ^-\) decay amplitude have been directly computed in LQCD only in the region of large \(q^2\)’s [62, 63], which explains why we use \(\mathcal {B}(B\rightarrow K \mu ^+ \mu ^-)_{\mathrm {high}\,q^2}^\mathrm {exp}\) to do phenomenology. Furthermore, since the bin corresponding to \(q^2\in [15,22]~\mathrm {GeV}^2\) is rather wide and away from the very narrow charmonium resonances, the assumption of quark–hadron duality is likely to be valid [61]. By using the recent LQCD results for the form factors provided by the HPQCD [62] and MILC Collaborations [63], the SM results are
both being about \(2 \sigma \) larger than the experimental value measured at LHCb.Footnote 9 Since the current disagreement between theory and experiment needs to be corroborated by more data, we decided to impose all the constraints to \(3\sigma \) accuracy. We will then discuss the impact of \(\mathcal {B}(B\rightarrow K \mu ^+ \mu ^-)_{\mathrm {high}\,q^2}^\mathrm {exp}\) on 2HDM if the current discrepancy remains, i.e. by requiring the 2HDM to compensate the disagreement between theory (SM) and experiment at the level of \(2\sigma \) and more. Notice also that the measured \(\mathcal {B}(B_s\rightarrow \mu ^+ \mu ^-)^\mathrm {exp}\) is slightly smaller than predicted, \(\mathcal {B}(B_s\rightarrow \mu ^+ \mu ^-)^\mathrm {SM} =(3.65\pm 0.23)\times 10^{-9}\)[2].
We now use the results of our scan from Sect. 2.2, and we require the \(3\sigma \) agreement between experiment and theory, which means that we add the generic 2HDM Wilson coefficients derived in the previous section to the SM values. The result, in the \((\tan \beta ,m_{H^\pm })\) plane, is shown in Fig. 6 for each type of 2HDM discussed in Sect. 2. We learn that both \(\mathcal {B}(B_s\rightarrow \mu ^+ \mu ^-)\) and \(\mathcal {B}(B\rightarrow K \mu ^+ \mu ^-)_{\mathrm {high}\,q^2}\) exclude the low \(\tan \beta \lesssim 1\) region regardless of the type of 2HDM considered. The limit of exclusion of low \(\tan \beta \) coming from \(\mathcal {B}(B\rightarrow K \mu ^+ \mu ^-)_{\mathrm {high}\,q^2}\) is slightly larger than the one arising from \(\mathcal {B}(B_s\rightarrow \mu ^+ \mu ^-)\). The limit on low \(\tan \beta \) obtained in this way for each of our four models is given in Table 2.
Besides excluding \(\tan \beta \lesssim 1\), it may appear as a surprise that the large \(\tan \beta \) are not excluded by these data. The reason for that is the fact that the (pseudo-)scalar Wilson coefficient, with respect to the dominant (axial-)vector one, comes with a term proportional to \((m_{B_s}/m_W)^2\) which suppresses the large \(\tan \beta \) values. This feature can be easily verified in the Type II model for which the coefficients \(C_{S,P}\), in the large \(\tan \beta \) limit, are given in Eq. (43). This is why only a small number of points have been eliminated from our scan of Type II model at large \(\tan \beta \) but relatively light \(m_{H^\pm }\).
Since the SM value is in slight tension with \(\mathcal {B}(B\rightarrow K \mu ^+ \mu ^-)_{\mathrm {high}\,q^2}^\mathrm {exp}\) at the \(2.1\sigma \) level, we can now check which of the models discussed in this paper can be made consistent with the experimental data if any disagreement beyond \(2\sigma \) between theory (SM) and experiment is to be attributed to 2HDM. It turns out that two such models are Type II and Type Z 2HDM, which we illustrate in Fig. 7. For the other two scenarios (Type I and Type X) the NP contributions are either too small or already in conflict with \(\mathcal {B}(B_s\rightarrow \mu ^+\mu ^-)^\mathrm {exp}\). From Figs. 7 and 8 we see that in order to explain the discrepancy one needs a relatively light charged scalar: (i) \(m_{H^\pm } \lesssim 735~\mathrm {GeV}\) and \(\tan \beta > 2.3\) in the Type II scenario, and (ii) \(m_{H^\pm } \lesssim 380~\mathrm {GeV}\) and \(\tan \beta > 3.5\) for the Type Z scenario. Since the masses of the additional scalars are correlated, we see that \(m_H\) and \(m_A\) become bounded as well, cf. Fig. 8. In the case of Type II and Type Z 2HDM an additional bound on the charged Higgs has been recently derived from the inclusive mode \(\mathcal {B}(B\rightarrow X_s \gamma )\). After comparing the experimental spectra with theoretical expressions in which the higher order QCD corrections have been included, the lower bound \(m_{H^\pm } >570\) GeV (95% CL) was obtained in Ref. [64] (c.f. also Ref. [65]). This bound is superposed on our results in Figs. 7 and 8, which then also eliminates Type Z 2HDM. Furthermore, we can say that the requirement of agreement between theory and experiment to \(2\sigma \), for the quantities discussed in this section, reduces the available space of parameters for Type II 2HDM to \(m_{H^\pm } \in (570, 735)~\mathrm {GeV}\), and \(\tan \beta \in (16, 35)\), while the available range of values for the mass of the CP-odd Higgs becomes \(m_A\in (145, 865)~\mathrm {GeV}\).
In what follows we will assume that the \(2\sigma \) disagreement of the measure \({\mathcal {B}}(B\rightarrow K\mu ^+\mu ^-)_{\mathrm {high}\,q^2}^\mathrm {exp}\) with respect to the SM prediction indeed remains as such in the future and discuss the consequences on the decays \({\mathcal {B}}(B_s\rightarrow \tau ^+\tau ^-)\) and \({\mathcal {B}}(B\rightarrow K\tau ^+\tau ^-)_{\mathrm {high}\,q^2}\) if the Type II 2HDM is used to explain the disagreement. From Eq. (60) we can see that
where the only remaining \(m_\ell \) dependence comes from the last numerator in the factor multiplying \(|C_S-C_S^\prime |^2\) in Eq. (60). In Fig. 9 we illustrate the validity of the above equality. Notice that a tiny departure from equality comes from the large \(\tan \beta \) values which enhance the \(C_S\) contribution. In other words, the current experimental result \({\mathcal {B}}(B_s\rightarrow \mu ^+\mu ^-)^\mathrm {exp}\), which is slightly lower than the one predicted in the SM, is expected to lead to \({\mathcal {B}}(B_s\rightarrow \tau ^+\tau ^-)^\mathrm {exp}\) compatible or slightly lower than predicted in the SM. The cancellation of the lepton mass in \({\mathcal {B}}(B_s\rightarrow \ell ^+\ell ^-)^{\mathrm {2HDM}}\), discussed above, does not occur in \({\mathcal {B}}(B\rightarrow K \ell ^+\ell ^-)^{\mathrm {2HDM}}_{\mathrm {high}-q^2}\). As a result we obtain
where we omitted the subscript “high-\(q^2\)” to avoid too heavy a notation. Illustration is provided in Fig. 9. We can rephrase this observation with an equivalent statement:
To be fully explicit, we obtain
9 Conclusion
In this paper we computed the leading order Wilson coefficients relevant to the exclusive \(b\rightarrow s\ell ^+\ell ^-\) decays in the framework of 2HDM with a softly broken \(\mathbb {Z}_2\) symmetry. Most of these Wilson coefficients have been computed previously but in the limit of large \(\tan \beta \), which we extend here to a generic setup. We also included \(\mathcal {O}(m_b)\) corrections, which were neglected in the previous computations. Regarding the (pseudo-)scalar Wilson coefficients, we elucidated the issue of unambiguous matching of the one-loop amplitudes between the full and effective theories which requires extending the basis of operators in the effective theory by including two types of operators suppressed by \(1/m_W\) (altogether, eight new operators). We pointed out that for the appropriate identification of the Z-penguin contribution to the Wilson coefficient \(C_P\) it is necessary to keep all external momenta different from zero.
After having computed the full set of Wilson coefficients we were able to make a phenomenological analysis by focusing on \({\mathcal {B}}(B_s\rightarrow \mu ^+\mu ^-)\) and \({\mathcal {B}}(B\rightarrow K \mu ^+\mu ^-)_{\mathrm {high}-q^2}\), the quantities which are measured at LHC and for which the hadronic uncertainties are under good theoretical control (computed in LQCD). After carefully scanning the parameter space of 2HDM with a softly broken \(\mathbb {Z}_2\) symmetry, we tested various types of 2HDM against the experimental data for \({\mathcal {B}}(B_s\rightarrow \mu ^+\mu ^-)^\mathrm {exp}\) and \({\mathcal {B}}(B\rightarrow K \mu ^+\mu ^-)_{\mathrm {high}-q^2}^\mathrm {exp}\), and found that to \(3\sigma \) the values of low \(\tan \beta \lesssim 1\) are excluded for all types of 2HDM considered here.
If, instead, we require the \(2\sigma \) agreement with experiment, then only Type II and Type Z models provide a viable description of the data. After combining ours with the bound on the charged Higgs deduced from the inclusive \(b\rightarrow s\gamma \) decay, we find that the Type Z model can be discarded and
We also discussed the repercussions of the current results on the decays \({\mathcal {B}}(B_s\rightarrow \tau ^+\tau ^-)\) and \({\mathcal {B}}(B\rightarrow K \tau ^+\tau ^-)_{\mathrm {high}-q^2}\).
Notes
We use \({\mathcal {B}}^\prime (B\rightarrow K^{(*)}\ell ^+\ell ^-)\) to indicate that the decay rate has not been fully integrated but only within the window \(q^2\in [1,6]\ \mathrm{GeV}^2\).
We remind the reader that the \(\mathbb {Z}_2\) symmetry (\(\Phi _1 \rightarrow \pm \Phi _1,\, \Phi _2 \rightarrow \mp \Phi _2\)) of the Lagrangian forbids transitions \(\Phi _1 \leftrightarrow \Phi _2\). Soft breaking of \(\mathbb {Z}_2\) means that such transitions may occur only due to dimension-2 operators (terms proportional to \(m_{12}^2\) in Eq. (1)) so that \(\mathbb {Z}_2\) remains preserved at very short distances, cf. discussion in Ref. [31].
The model that we call Type Z or flipped 2HDM is sometimes referred to as Type Y.
Special attention should be paid to the scalar penguin with the SM-like Higgs to avoid the double counting since it also appears with modifications in A2HDM.
Notice that this is not true in general. For instance, in the A2HDM the divergences are canceled by contributions coming from the radiatively induced misalignment of the Yukawa matrices. The alignment is only preserved at all scales in the context of \(\mathbb {Z}_2\)-symmetric models [30].
We should emphasize that we were able to reproduce the expression for \(C_P^{\mathrm {NP},\, Z}\) reported in Ref. [30] by taking \(p_s=0\), which, however, is not an appropriate assumption as we argue in the text.
Notice that we are not computing the QCD corrections to the Wilson coefficients and therefore, at this order, we do not make distinction between the ordinary and the covariant \(SU(3)_c\) derivative.
Notice also that the notation of Ref. [30] is such that their Wilson coefficient \(C_P\), which we can call \(\widetilde{C}_P\), is related to our’s via \(C_P = \sqrt{x_\ell x_b} \widetilde{C}_P/\sin ^2\theta _W\).
In the following we will average the results obtained by using the two sets of form factors obtained in LQCD.
Notice that our \(\lambda \) is \(-\lambda \) of Ref. [30].
References
V. Khachatryan et al., [CMS and LHCb Collaborations]. Nature 522, 68 (2015). arXiv:1411.4413 [hep-ex]
C. Bobeth, M. Gorbahn, T. Hermann, M. Misiak, E. Stamou, M. Steinhauser, Phys. Rev. Lett. 112, 101801 (2014). arXiv:1311.0903 [hep-ph]
R. Aaij et al., [LHCb Collaboration]. JHEP 1406, 133 (2014). arXiv:1403.8044 [hep-ex]
C. Bobeth, G. Hiller, D. van Dyk, C. Wacker, JHEP 1201, 107 (2012). arXiv:1111.2558 [hep-ph]
C. Bobeth, G. Hiller, D. van Dyk, Phys. Rev. D 87(3), 034016 (2013). arXiv:1212.2321 [hep-ph]
C. Bobeth, G. Hiller, G. Piranishvili, JHEP 0712, 040 (2007). arXiv:0709.4174 [hep-ph]
A. Khodjamirian, T. Mannel, Y.M. Wang, JHEP 1302, 010 (2013). arXiv:1211.0234 [hep-ph]
D. Bečirević, S. Fajfer, N. Košnik, Phys. Rev. D 92(1), 014016 (2015). arXiv:1503.09024 [hep-ph]
D. Bečirević, N. Košnik, O. Sumensari, R. Zukanovich Funchal, JHEP 1611, 035 (2016). arXiv:1608.07583 [hep-ph]
R. Aaij et al. [LHCb Collaboration]. JHEP 1611, 047 (2016). arXiv:1606.04731 [hep-ex]
R. Aaij et al., [LHCb Collaboration]. JHEP 1509, 179 (2015). arXiv:1506.08777 [hep-ex]
W. Altmannshofer, D.M. Straub, Eur. Phys. J. C 75(8), 382 (2015). arXiv:1411.3161 [hep-ph]
S. Descotes-Genon, J. Matias, J. Virto, Phys. Rev. D 88, 074002 (2013). arXiv:1307.5683 [hep-ph]
S. Descotes-Genon, L. Hofer, J. Matias, J. Virto, JHEP 1606, 092 (2016). arXiv:1510.04239 [hep-ph]
B. Capdevila, S. Descotes-Genon, L. Hofer, J. Matias, arXiv:1701.08672 [hep-ph]
M. Ciuchini, M. Fedele, E. Franco, S. Mishima, A. Paul, L. Silvestrini, M. Valli, JHEP 1606, 116 (2016). arXiv:1512.07157 [hep-ph]
T. Hurth, F. Mahmoudi, S. Neshatpour, Nucl. Phys. B 909, 737 (2016). arXiv:1603.00865 [hep-ph]
A. Bharucha, D.M. Straub, R. Zwicky, JHEP 1608, 098 (2016). arXiv:1503.05534 [hep-ph]
W. Altmannshofer, C. Niehoff, D.M. Straub, JHEP 1705, 076 (2017). arXiv:1702.05498 [hep-ph]
R. Aaij et al., [LHCb Collaboration], Phys. Rev. Lett. 113, 151601 (2014). arXiv:1406.6482 [hep-ex]
R. Aaij et al., [LHCb Collaboration], JHEP 1708, 055 (2017). arXiv:1705.05802 [hep-ex]
M. Bordone, G. Isidori, A. Pattori, Eur. Phys. J. C 76(8), 440 (2016). arXiv:1605.07633 [hep-ph]
G. Aad et al., [ATLAS and CMS Collaborations], Phys. Rev. Lett. 114, 191803 (2015). arXiv:1503.07589 [hep-ex]
J.F. Gunion, H.E. Haber, G.L. Kane, S. Dawson, Front. Phys. 80, 1 (2000) (errata in arXiv:hep-ph/9302272)
J.F. Gunion, H.E. Haber, Phys. Rev. D 67, 075019 (2003). arXiv:hep-ph/0207010
G.C. Branco, P.M. Ferreira, L. Lavoura, M.N. Rebelo, M. Sher, J.P. Silva, Phys. Rep. 516, 1 (2012). arXiv:1106.0034 [hep-ph]
I.P. Ivanov, arXiv:1702.03776 [hep-ph]
A.G. Akeroyd et al., arXiv:1607.01320 [hep-ph]
S. Aoki et al., arXiv:1607.00299 [hep-lat]
X.Q. Li, J. Lu, A. Pich, JHEP 1406, 022 (2014). arXiv:1404.5865 [hep-ph]
I.F. Ginzburg, M. Krawczyk, Phys. Rev. D 72, 115013 (2005). arXiv:hep-ph/0408011
C. Patrignani et al., [Particle Data Group], Chin. Phys. C 40(10), 100001 (2016)
S.L. Glashow, S. Weinberg, Phys. Rev. D 15, 1958 (1977)
A. Barroso, P.M. Ferreira, I.P. Ivanov, R. Santos, JHEP 1306, 045 (2013). arXiv:1303.5098 [hep-ph]
S. Kanemura, T. Kubota, E. Takasugi, Phys. Lett. B 313, 155 (1993). arXiv:hep-ph/9303263
B. Świeżewska, Phys. Rev. D 88(5), 055027 (2013) (erratum: Phys. Rev. D 88(11), 119903, 2013). arXiv:1209.5725 [hep-ph]
D. Bečirević, E. Bertuzzo, O. Sumensari, R. Zukanovich, Phys. Lett. B 757, 261 (2016). arXiv:1512.05623 [hep-ph]
R. Barbieri, L.J. Hall, Y. Nomura, V.S. Rychkov, Phys. Rev. D 75, 035007 (2007). arXiv:hep-ph/0607332
M. Baak et al., [Gfitter Group]. Eur. Phys. J. C 74, 3046 (2014). arXiv:1407.3792 [hep-ph]
T. Corbett, O.J.P. Eboli, D. Goncalves, J. Gonzalez-Fraile, T. Plehn, M. Rauch, JHEP 1508, 156 (2015). arXiv:1505.05516 [hep-ph]
V. Cacchio, D. Chowdhury, O. Eberhardt, C.W. Murphy, JHEP 1611, 026 (2016). arXiv:1609.01290 [hep-ph]
B. Dumont, J.F. Gunion, Y. Jiang, S. Kraml, Phys. Rev. D 90, 035021 (2014). arXiv:1405.3584 [hep-ph]
O. Eberhardt, U. Nierste, M. Wiebusch, JHEP 1307, 118 (2013). arXiv:1305.1649 [hep-ph]
D. Chowdhury, O. Eberhardt, JHEP 1511, 052 (2015). arXiv:1503.08216 [hep-ph]
W. Altmannshofer, P. Ball, A. Bharucha, A.J. Buras, D.M. Straub, M. Wick, JHEP 0901, 019 (2009). arXiv:0811.1214 [hep-ph]
C. Bobeth, M. Misiak, J. Urban, Nucl. Phys. B 574, 291 (2000). arXiv:hep-ph/9910220
C.S. Huang, W. Liao, Q.S. Yan, S.H. Zhu, Phys. Rev. D 63, 114021 (2001) (erratum: Phys. Rev. D 64, 059902, 2001). arXiv:hep-ph/0006250
H.E. Logan, U. Nierste, Nucl. Phys. B 586, 39 (2000). arXiv:hep-ph/0004139
C. Bobeth, T. Ewerth, F. Kruger, J. Urban, Phys. Rev. D 64, 074014 (2001). arXiv:hep-ph/0104284
G. Isidori, A. Retico, JHEP 0111, 001 (2001). arXiv:hep-ph/0110121
P.H. Chankowski, L. Slawianowska, Phys. Rev. D 63, 054012 (2001). arXiv:hep-ph/0008046
A. Dedes, J. Rosiek, P. Tanedo, Phys. Rev. D 79, 055006 (2009). arXiv:0812.4320 [hep-ph]
C. Bobeth, A.J. Buras, T. Ewerth, Nucl. Phys. B 713, 522 (2005). arXiv:hep-ph/0409293
S. Bertolini, F. Borzumati, A. Masiero, G. Ridolfi, Nucl. Phys. B 353, 591 (1991)
M. Ciuchini, G. Degrassi, P. Gambino, G.F. Giudice, Nucl. Phys. B 527, 21 (1998). arXiv:hep-ph/9710335
G. Degrassi, P. Gambino, P. Slavich, Phys. Lett. B 635, 335 (2006). arXiv:hep-ph/0601135
T. Hermann, M. Misiak, M. Steinhauser, JHEP 1211, 036 (2012). arXiv:1208.2788 [hep-ph]
K. De Bruyn, R. Fleischer, R. Knegjens, P. Koppenburg, M. Merk, N. Tuning, Phys. Rev. D 86, 014027 (2012). arXiv:1204.1735 [hep-ph]
R. Aaij et al., [LHCb Collaboration], Phys. Rev. Lett. 114(4), 041801 (2015). arXiv:1411.3104 [hep-ex]
D. Bečirević, O. Sumensari, R. Zukanovich Funchal, Eur. Phys. J. C 76(3), 134 (2016). arXiv:1602.00881 [hep-ph]
M. Beylich, G. Buchalla, T. Feldmann, Eur. Phys. J. C 71, 1635 (2011). arXiv:1101.5118 [hep-ph]
C. Bouchard et al., [HPQCD Collaboration], Phys. Rev. D 88(5), 054509 (2013) (erratum: Phys. Rev. D 88(7), 079901, 2013). arXiv:1306.2384 [hep-lat]
J.A. Bailey et al., Phys. Rev. D 93(2), 025026 (2016). arXiv:1509.06235 [hep-lat]
M. Misiak, M. Steinhauser, Eur. Phys. J. C 77(3), 201 (2017). arXiv:1702.04571 [hep-ph]
M. Misiak et al., Phys. Rev. Lett. 114(22), 221801 (2015). arXiv:1503.01789 [hep-ph]
J. Gratrex, M. Hopfer, R. Zwicky, Phys. Rev. D 93(5), 054008 (2016). arXiv:1506.03970 [hep-ph]
S. Kanemura, Y. Okada, E. Senaha, C.-P. Yuan, Phys. Rev. D 70, 115002 (2004). arXiv:hep-ph/0408364
Acknowledgements
P. A. and F. M. acknowledge the financial support from FPA2016-76005-C2-1-P, 2014-SGR-104, and project MDM-2014-0369 of ICCUB (Unidad de Excelencia Maria de Maeztu). F. M. has further been supported by project FPA2014-61478-EXP. This project has received funding from the European Union’s Horizon 2020 research and innovation program under the Marie Sklodowska-Curie grant agreements Nos. 690575 and 674896.
Author information
Authors and Affiliations
Corresponding author
Appendices
A Conventions and kinematics
1.1 Angular conventions
We adopt the same angular conventions for \(B(p)\rightarrow K (k) \ell ^+(p_+)\ell ^-(p_-)\) as those used in Refs. [60, 66]. In the B-meson rest frame, the leptonic and hadronic four-momenta are chosen as \(q^\mu =p_+^\mu +p_-^\mu =(q_0,0,0,q_z)\) and \(k^\mu =(k_0,0,0,-q_z)\), where
In the dilepton rest frame the components of the leptonic four-vectors are given by
where \(E_\ell =\sqrt{q^2}/2\), and \(\theta _\ell \) is the angle between \(\ell ^-\) (in the dilepton rest frame) and the line of flight of the two leptons (in the B-meson rest frame). The momentum \(p_\ell \) is given by
1.2 Polarization vectors
In the B-meson rest frame we take the polarization vectors of the virtual vector boson \(V^*\) to be
These vectors are orthonormal and satisfy the completeness relation,
where \(n,n^\prime \in \lbrace t,0,\pm \rbrace \), and \(g_{n n^\prime }=\mathrm {diag}(1,-1,-1,-1)\).
1.3 Hadronic matrix elements
For completeness we also give the definitions of the decay constant (\( f_{B_s}\)) and of the form factors [\(f_{+,0,T}(q^2)\)], quantities which parametrize the hadronic matrix elements relevant to the processes discussed in this paper:
where for \(B\rightarrow K\ell ^+\ell ^-\) the kinematically accessible \(q^2\) values lie in the interval \(4m_\ell ^2\le q^2\le (m_B-m_K)^2\). Notice that we do not write explicitly the scale dependence of the quark masses, nor of the scalar and tensor densities and of the form factor \(f_T(q^2)\). In the actual computations the \({\overline{\mathrm{MS}}}\) values of these quantities are taken at \(\mu =m_b\).
B Feynman rules
In this appendix we collect the Feynman rules used in our computation. For the couplings between the gauge bosons and the scalars we have
where \(\lambda _{W^+W^-}^h=\sin (\beta -\alpha )\), \(\lambda _{W^+W^-}^H=\cos (\beta -\alpha )\) and \(\lambda _{W^+W^-}^A=0\). Similarly, we also have
where \(\lambda _{H^\pm W^\mp }^h=\cos (\beta -\alpha )\), \(\lambda _{H^\pm W^\mp }^H=-\sin (\beta -\alpha )\), and \(\lambda _{H^\pm W^\mp }^A=\mp i\), depending on the charges of the initial particles. For the trilinear scalar interactions, we have
where the trilinear couplings read
These results agree with the ones given in Refs. [30, 67] after the appropriate change of basis and/or conventions.Footnote 10
C Scalar penguins and auxiliary functions
In this appendix we give the expressions for the Wilson coefficients generated by each diagram shown in Fig. 5. We also give the expressions for the auxiliary functions (\(f_i\) and \(g_i\)) used in this paper.
The penguins arising from coupling to \(\varphi _i^0\in \lbrace h,H,A\rbrace \) contribute to the effective coefficient \(C_{S,P}\) and can be generically written as
where \(\widehat{C}^{k,\varphi _i^0}\) is a common coefficient generated by the diagram k, with \(k=1,\dots ,18\). Since, in our framework, \(\zeta _{\ell }^h,\zeta _{\ell }^H\in \mathbb {R}\) and \(\zeta _{\ell }^A\in i\times \mathbb {R}\), it is clear that the CP-even scalars h and H contribute only to \(C_S\), whereas the CP-odd Higgs A contributes only to \(C_P\), as expected from the assumption of CP conservation. We obtain in the unitary gauge
where the couplings \(\lambda _{W^+W^-}^{\varphi _i^0}\) and \(\lambda _{H^\pm W^\mp }^{\varphi _i^0}\) are defined below Eqs. (85) and (87), respectively. The coefficient \(\varepsilon _{\varphi _i^0}=-1\) for \(\varphi _i^0 =A\), and \(+1\) otherwise. Moreover, \(\Lambda =- \frac{2 \mu ^{D-4}}{D-4}-\gamma _E+\log 4\pi -\log \left( \frac{m_W^2}{\mu ^2}\right) +1\) contains an ultraviolet divergence which cancels out after summing up all the diagrams. The diagrams (9.11)–(9.18) do not contribute in our computation, owing to the fact that we work in the unitary gauge. To make sure that our resulting (total) expressions are gauge independent we performed the computation in the Feynman gauge too. In comparison with Ref. [30], we only disagree with one of the signs in the expression for \(\widehat{C}^{5,\varphi _i^0}\), which we believe is a typo.
The auxiliary functions \(g_{0,1,2}\) used in Eq. (42) are defined by
with
Notice that in the above expressions we assumed the couplings \(\zeta _f \in \mathbb {C}\) in order to keep our formulas as general as possible, although in the body of the paper we consistently used \(\zeta _f\in \mathbb {R}\).
1.1 C.1 Wilson coefficients for the derivative operators
In this subsection we present the explicit expressions for the Wilson coefficients relevant to the derivative operators given in Eq. (46). From the Z-penguins we obtain
and \(C_{RL}^{\mathcal {T}q} = C_{RR}^{\mathcal {T}q} \left( 1-\dfrac{1}{2 \sin ^2\theta _W}\right) \). Similarly, from the box diagrams we get
and \(C^{\mathcal {T}\ell }_{LL}=(C^{\mathcal {T}\ell }_{LR})^*\).
1.2 C.2 Wilson coefficients suppressed by \(m_\ell \)
In addition to the Wilson coefficients given in Sect. 2, in the computation of the box diagrams one gets contributions suppressed by the lepton mass. For completeness, we give these contributions here. We obtain
and
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Arnan, P., Bečirević, D., Mescia, F. et al. Two Higgs doublet models and \(b\rightarrow s\) exclusive decays. Eur. Phys. J. C 77, 796 (2017). https://doi.org/10.1140/epjc/s10052-017-5370-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-017-5370-z