1 Introduction

The possibility of the Standard-Model (SM) Higgs field serving as the portal to dark matter [1] has been extensively phenomenologically studied in the past two decades. A viable scenario involves a gauge singlet Higgs field which mixes with the SM Higgs field through appropriate terms in the Higgs potential, resulting in a dominantly SU(2)-doublet Higgs boson \(h_1\) with mass 125 GeV and an additional Higgs boson \(h_2\) with a priori arbitrary mass [2,3,4]. If the mixing angle is sufficiently small, the couplings of the 125-GeV Higgs \(h_1\) comply with their SM values within the experimental error bars. The other Higgs boson \(h_2\), which is mostly gauge singlet, serves as a mediator to the Dark Sector. In the simplest models the mediator couples to pairs of dark-matter (DM) particles. In this paper we are interested in the imprints of the described Higgs portal scenario on rare B meson decays which can be studied in the new Belle II experiment. If the \(h_2\) mass is in the desired range below the B mass, the decay of \(h_2\) into a pair of DM particles must necessarily be kinematically forbidden to comply with the observed relic DM abundance [3, 4]. Phenomenological studies of the scenario were recently performed in Refs. [4,5,6,7,8].

In this article we first revisit the calculation of the loop-induced amplitude \(b\rightarrow s h_2\). The literature on the topic employs a result derived from the SM \({{\bar{s}}} b\)-Higgs vertex with off-shell Higgs [9]. However, it is known that this vertex is gauge-dependent [10]. This observation calls for a novel calculation of the \({{\bar{s}}} b h_2\) vertex in an arbitrary \(R_\xi \) gauge in order to investigate the correctness of the standard approach and to understand how the gauge parameter \(\xi \) cancels in physical observables. After briefly reviewing the model in Sect. 2 we present our calculation of the \({{\bar{s}}} b h_2\) vertex in Sect. 3 and demonstrate the cancellation of the gauge dependence for the two cases with on-shell \(h_2\) and an off-shell \(h_2\) coupling to a fermion pair, respectively. In Sect. 4 we present a phenomenological analysis with several novel aspects, such as a study of the decay \(B\rightarrow K^* h_2\) and a discussion of the lifetime information inferred from data on \(B\rightarrow K^{(*)} h_2[\rightarrow f {{\bar{f}}}]\) with a displaced vertex of the \(h_2\) decay into the fermion pair \(f{{\bar{f}}} \). In Sect. 5 we conclude.

Fig. 1
figure 1

One-loop diagrams contributing to \(b\rightarrow s h_2\) in \(R_\xi \) gauge

2 Model

A minimal extension of the SM with a real scalar singlet boson serving as mediator to the Dark Sector involves the Higgs potential:

$$\begin{aligned}&V = V_H+V_{H\phi }+V_\phi +\text {h.c.} \\&\text {with}\quad V_H = - \mu ^{2} H^{\dagger } H + \frac{{\bar{\lambda }}_0}{4}(H^{\dagger } H)^2,\nonumber \\&V_{H\phi }=\frac{\alpha }{2} \phi (H^{\dagger } H),\nonumber \\&V_\phi =\frac{m^{2}}{2} \phi ^{2} + \frac{1}{4} \lambda _{\phi } \phi ^{4},\nonumber \end{aligned}$$
(1)

where \(\phi \) denotes the scalar singlet field in the interaction basis, while \(H = \left( G^{+}, (v+h + i G^{0} )/\sqrt{2} \right) ^T\) is the SM Higgs doublet. We minimize the scalar potential V with respect to \(\phi \) and h and then choose to express the mass parameters \(\mu \) and m in terms of corresponding vacuum expectation values (vevs) \(v_\phi \) and v, respectively:

$$\begin{aligned} \mu _h^2\equiv & {} \frac{\partial ^2V}{\partial h^2} \, =\,\frac{{\bar{\lambda }}_0 v^2}{2},\nonumber \\ \mu _{h\phi }^2\equiv & {} \frac{\partial ^2V}{\partial h \partial \phi } \,=\, \frac{\alpha v}{2},\nonumber \\ \mu _\phi ^2\equiv & {} \frac{\partial ^2V}{\partial \phi ^2} \,=\, 2\lambda _\phi v_\phi ^2-\frac{\alpha v^2}{4 v_\phi }. \end{aligned}$$
(2)

The corresponding off-diagonal mass matrix is diagonalized with the introduction of the mixing angle \(\theta \)

$$\begin{aligned} h = \cos \theta \,h_{1} - \sin \theta \, h_{2},\quad \phi = \sin \theta \, h_{1} + \cos \theta \, h_{2}. \end{aligned}$$
(3)

As mentioned in the introduction, we choose \(h_2\) as the light mass eigenstate, whose signatures we are primarily interested in, while \(h_1\) corresponds to the observed Higgs boson with mass \(125\,\text {GeV}\).

An important Feynman rule for the calculation of the scalar penguin in \(R_\xi \) gauge is the one for the \(G^+ G^- h_2\) vertex. After diagonalization the mass matrix we findFootnote 1

$$\begin{aligned} G^+ G^- h_1:&\quad -i\frac{e m_{h_{1}}^2 \cos \theta }{2m_W \sin \theta _W}, \nonumber \\ G^+ G^- h_2:&\quad i\frac{e m_{h_{2}}^2 \sin \theta }{2m_W \sin \theta _W} . \end{aligned}$$
(4)

One easily verifies that the rest of the vertices that are required for the studies of low energy phenomenology are simple rescalings of the corresponding SM Higgs vertices by the factor \((-\sin \theta )\). Note that the \(G^+ G^- h_2\) vertex is not found in the same way from the corresponding SM vertex, but in addition involves the proper replacement of the SM Higgs mass by \(m_{h_2}\).

One could have included more terms in the scalar potential in Eq. (1) such as \(\phi ^2 H^{\dagger } H\), however, such terms would not change the low-energy phenomenology related to the process of our interest but would merely influence the scalar self-interactions that we are currently not concerned with.

3 The \({\bar{s}} bh_2\) vertex in the \(R_\xi \) gauge

We employ a general \(R_\xi \) gauge for the calculation of the Feynman diagrams contributing to the \({\bar{s}}\text {-}b\text {-}h_2\) vertex. We further use the FeynArts package [11] for generating the amplitudes and the FeynCalc [12,13,14], Package-X [15], and FeynHelpers [16] packages to evaluate the analytic expressions for the Feynman diagrams. Neglecting the mass of the external s quark, we encounter the diagrams shown in Fig. 1. In our final result we will also neglect the masses of the internal up and charm quarks. While the expressions for individual diagrams contain ultraviolet poles, the final result is UV convergent due to the Glashow–Iliopoulos–Maiani mechanism.

In order to elucidate the gauge independence of the physical quantities, we set the \(h_2\) boson off the mass shell. In a first step we present the results in terms of the scalar loop functions \(B_0,C_0\) of the Passarino–Veltman (PV) basis, keeping exact dependences on all momenta and masses. For the final goal to calculate the low-energy Wilson coefficient governing the decay process \(b\rightarrow s\ h_2\) this appears unnecessary, but it turns out that the expression in terms of the PV basis is compact and most suitable for studying the gauge-independence of the physical quantities.

We decompose each diagram \({\mathcal {A}}_i\) as \({\mathcal {A}}_i= \tilde{{\mathcal {A}}}_{i} + {\mathcal {A}}_{i}^{(\xi )}\), with the second term \({\mathcal {A}}_{i}^{(\xi )}\) comprising all terms which depend on the W gauge parameter \(\xi \). The expressions for \(\tilde{{\mathcal {A}}}_i\) are collected in Appendix A. The results for the gauge-dependent pieces of the individual diagrams are rather lengthy, so we only provide the total sum

$$\begin{aligned} \sum _i \mathcal {A}_i^{(\xi )}= & {} \sin \theta \dfrac{\lambda _t m_b m_t^2 }{ 8\pi ^2 v^3 (m_b^2-p_{h_2}^2) } (p_{h_2}^2-m_{h_2}^2) \nonumber \\&+\,(p_{h_2}^2-m_b^2+m_t^2-m_W^2\xi ) \nonumber \\&\cdot \, C_0(0,m_b^2,p_{h_2}^2, m_W^2\xi , m_t^2,m_W^2\xi )\bigg ], \end{aligned}$$
(5)

with \(\lambda _t = V_{tb}V^*_{ts}\). Here and in the following we suppress the Dirac spinors for the b and s quarks. It follows from the expression above that the gauge-dependent contribution \({\mathcal {A}}^{(\xi )}\) vanishes for the case of an on-shell scalar boson, which confirms the gauge independence of the corresponding physical on-shell amplitude. We write the total \({\bar{s}} bh_2\) vertex \({\mathcal {A}} = \sum _i (\tilde{{\mathcal {A}}}_i + {\mathcal {A}}_i^{(\xi )}) \) (with on-shell quarks and off-shell \(h_2\)) as

$$\begin{aligned} \quad&\mathcal {A} = G(p_{h_2}^2) + (p_{h_{2}}^{2} - m_{h_{2}}^{2}) F(\xi , p_{h_2}^2) , \end{aligned}$$
(6)

with the second term equal to the expression in Eq. (5). We note that \( F(\xi , p_{h_2}^2) \) does not depend on \(m_{h_2}\). While the cancellation of \(\xi \) from \({\mathcal {A}} \) is obvious for an on-shell \(h_2\), i.e. for the decay \(b\rightarrow s\ h_2\), this feature is not immediately transparent for the case in which an off-shell \(h_2\) decays into a pair of other particles. In such scenarios the gauge dependence is cancelled by other diagrams. Here we exemplify the cancellation of the gauge parameter for a model in which our mediator \(h_2\) couples to a pair of invisible final state fermions:

$$\begin{aligned} {\mathcal {L}}_{\phi \chi \chi } = \lambda _\chi \phi {\overline{\chi }} \chi , \end{aligned}$$
(7)

meaning that \(h_2\) in \(b\rightarrow s\ h_2 [\rightarrow {\overline{\chi }} \chi ]\) is necessarily off-shell [4]. In order to find the cancellation of the gauge parameter we must also consider the diagrams corresponding to \(b\rightarrow s\ h_1 [\rightarrow {\overline{\chi }} \chi ]\) involving the heavy SM-like state \(h_{1}\). The amplitudes involving the \(h_2\) and \(h_1\) propagators are proportional to \(- \sin \theta \) and to \(\cos \theta \), respectively:

$$\begin{aligned} {\mathcal {A}}_{b\text {-}s\text {-}h2} \sim - \sin \theta ,\quad {\mathcal {A}}_{b\text {-}s\text {-}h1} \sim \cos \theta , \end{aligned}$$
(8)

while the vertices \({\mathcal {V}}_{h_{1,2} \chi \chi } \) involving the coupling of the dark-matter fermion to the scalar bosons depend on \(\theta \) as \({\mathcal {V}}_{h_{1} \chi \chi } \sim \sin \theta \) and \({\mathcal {V}}_{h_{2} \chi \chi } \sim \cos \theta \). The \(b\rightarrow s\ h_{1,2} [\rightarrow {\overline{\chi }} \chi ]\) amplitudes \({\mathcal {A}}_{h_{1,2}}\) can be schematically written as

(9)
(10)

where \(p^2\) denotes the square of the momentum transferred to the fermion pair. By adding the two amplitudes one verifies the cancellation of the gauge-dependent part \( F(\xi , p^2)\). If one considers processes with off-shell \(h_{1,2}\) exchange to SM fermions, such as in \(b\rightarrow s\tau ^+ \tau ^-\) with e.g. \(m_{h_2}>m_b\), also box diagrams are needed for the proper gauge cancellation as found in Ref. [10] for the SM case.

We now proceed to integrate out the top quark and W boson within the gauge independent contribution \(\tilde{{\mathcal {A}}}\equiv \sum _i \tilde{{\mathcal {A}}}_i\) to obtain the Wilson coefficient:

$$\begin{aligned} {\mathcal {L}}_{\text {eff}}= & {} C_{h_2 s b}\, h_2\, {\overline{s}} P_R b+\text {h.c.}, \end{aligned}$$
(11)
$$\begin{aligned} C_{h_2 s b}= & {} -\frac{3\,\sin \theta \,\lambda _t \,m_b\,m_t^2}{16\,\pi ^2\,v^3}, \end{aligned}$$
(12)

where \(v\simeq 246\,\text {GeV}\) is the vacuum expectation value of the Higgs doublet. This result agrees with Ref. [5], whereas it agrees with Refs. [4] and [9] up to the sign.Footnote 2

The procedure to multiply the SM result for the \({{\bar{s}}} b\)-Higgs vertex by \(-\sin \theta \) to find the \({\bar{s}} bh_2\) vertex is not correct in an \(R_\xi \) gauge (nor for the special cases \(\xi =0\) or \(\xi =1\) of the Landau and ’t Hooft–Feynman gauges) because of the subtlety with the \(G^\pm \) vertices in Eq. (4). However, the missing terms are suppressed by higher powers of \(m_{h_2}^2/m_W^2\) and do not contribute to the effective dimension-4 Lagrangian in Eq. (11).

Fig. 2
figure 2

Comparison of the branching fractions of \(B^+\rightarrow K^+ h_{2}\) (thick orange curve) and \(B^+\rightarrow K^{*+} h_{2}\) (dashed purple curve) for \(\sin \theta =10^{-4}\)

4 Phenomenology

The experimental signature \(B\rightarrow K\, h_{2}\) permits the determination of \(m_{h_2}\) from the decay kinematics, while the other relevant parameter of the model, \(\sin \theta \), can be determined from the measured branching ratio \(B(B\rightarrow K\, h_{2})\). With increasing \(m_{h_2}\) more \(h_2\) decay channels open and the \(h_2\) lifetime may be in a favourable range allowing the \(h_2\) to decay within the Belle II detector. This scenario has a characteristic displaced-vertex signature which is highly beneficial for the experimental analysis. Higgs-portal signatures at B factories have been widely studied [4, 5, 8, 17,18,19,20]. In this paper we briefly revisit the recent analyses of Refs. [5, 8] and complement them with novel elements: Firstly, we present a novel analysis of the decay mode \(B\rightarrow K^{*}(892) h_2\) in comparison to \(B\rightarrow K h_2\). Secondly, we highlight the benefits of the lifetime information which can be obtained from the displaced-vertex data. Thirdly, we present a new result of the number of \(B\rightarrow K h_2[\rightarrow f]\) events (with f representing a pair of light particles) expected at Belle II as a function of the relevant \(B\rightarrow K h_2\) and \(h_2\rightarrow f\) branching ratios.

In our study of \(B\rightarrow K h_2\) and \(B\rightarrow K^*h_2\) with subsequent decay of \(h_2\) into a visible final states with displaced vertex we restrict ourselves to the case \(m_{h_2}>2m_{\mu }\). While the leptonic decay rate is given by the simple formula

$$\begin{aligned} \varGamma (h_2\rightarrow \ell \ell ) = \sin ^2\theta \frac{G_F m_{h_{2}} m_{\ell }^2}{4\sqrt{2}\pi } \bigg (1-\frac{4m_\ell ^2}{m_{h_{2}}^2}\bigg )^{3/2}, \end{aligned}$$
(13)

the calculation of the decay rate into an exclusive hadronic final state is challenging. Different calculations of \( \varGamma (h_2\rightarrow \pi \pi )\) and \( \varGamma (h_2\rightarrow KK)\) [21,22,23,24] employing chiral perturbation theory have been clarified, updated and refined in Ref. [5] and we use the results of this reference. In the region with \(m_{h_{2}}> 2\,\text {GeV}\) the inclusive hadronic decay rate can be reliably calculated in perturbation theory [25].

Analyses with fully visible final states \(K^{(*)}f\) can also be done at LHCb [26, 27].

4.1 \(B \rightarrow K h_2\)

The branching ratio of \(B\rightarrow K h_2\) is

$$\begin{aligned} B(B\rightarrow K h_2)= & {} \frac{\tau _B}{32\pi m_B^2}\vert C_{h_2 s b}\vert ^2\bigg (\frac{m_B^2-m_K^2}{m_b-m_s}\bigg )^2 \nonumber \\&\cdot \, f_0(m_{h_{2}}^2)^2 \frac{\lambda (m_B^2, m_K^2,m_{h_{2}}^2)^{1/2}}{2 m_B}, \end{aligned}$$
(14)

where \(\lambda (a,b,c) = a^2+b^2+c^2 - 2(ab+ac+bc)\), and the scalar form factor \(f_0(q^2)\) is related to the desired scalar hadronic matrix element as

$$\begin{aligned} \langle K\vert {\bar{s}}b\vert B\rangle = \frac{m_B^2-m_K^2}{m_b-m_s}\,f_0(q^2), \end{aligned}$$
(15)

where \(q=p_B-p_K\). For this form factor we use the QCD lattice result of Ref. [28] (see also [29]).

The reach of the Belle II experiment for the process \(B\rightarrow K h_2\) was recently studied in Ref. [8]. This investigation involves a study of the detector geometry and we present a novel study in Appendix B. For the evaluation of the number of events we use the formula Eq. (B.23). Our evaluation of the sensitivities corresponds to \(5\cdot 10^{10}\) produced \(B{\bar{B}}\) meson pairs, where B represents both \(B^+\) and \(B^0\), at \(50\,\text {ab}^{-1}\) of data at Belle II experiment [30].

The parameter regions that correspond to three or more displaced vertex events of any of the final state signatures in \(B\rightarrow K (h_{2}\rightarrow f)\), \(f = (\pi \pi + K K), \mu \mu , \tau \tau \) within the Belle II detector are displayed by the dashed red contours in Fig. 3. The number of events involve the summation over the decays of \(B^+\), \(B^0\) and the corresponding charge-conjugate mesons. Following Ref. [8], we display the regions in which the \(\pi \pi , KK\) final states occur as well as the region above the \(\tau \) lepton threshold within the same plot. We show the contours of the proper lifetime of the scalar mediator within the same parameter space and encourage our experimental colleagues to include the lifetime information in the following ways: In a first step one may assume the minimal model adopted in this paper and use the lifetime measurements as additional information on \(m_{h_2}\) and \(\sin \theta \). E.g. if \(h_2\) is light enough so that the only relevant decay channel is \(h_2\rightarrow \mu ^+\mu ^-\), the lifetime is the inverse of the width in Eq. (13). Thanks to the strong dependence on \(m_{h_2}\) the lifetime information will improve the determination of \(m_{h_2}\) inferred from the \(B\rightarrow K h_2\) decay kinematics once \(\sin \theta \) is fixed from branching ratios. With more statistics one can go a step further and use the lifetime information to verify or falsify the model. Even if all \(h_2\) couplings to SM particles originate from the SM Higgs field through mixing, a richer singlet scalar sector can change the \(h_2\) lifetime. Consider an extra gauge singlet scalar field \({{\tilde{\phi }}}\) coupling to \(\phi \) in the potential in Eq. (1) giving rise to a third physical Higgs state \(h_3\). If \(h_3\) is sufficiently light, \(h_2\rightarrow h_3h_3\) is possible. Through \({{\tilde{\phi }}}\)H mixing the new particle \(h_3\) will decay back into SM particles, but the lifetime can be so large that \(h_2\rightarrow h_3h_3\) is just a missing-energy signature. Then the only detectable effect of the extra \(h_2\rightarrow h_3h_3\) mode is a shorter \(h_2\) lifetime. If measured precisely enough, the lifetime will permit to determine the decay rate of \(h_2\rightarrow h_3h_3\) and thereby the associated coupling constant. Alternatively, one may fathom a model in which \(h_2\) decays into a pair of sterile neutrinos which decay back to SM fermions.

Fig. 3
figure 3

Parameter regions that correspond to three or more events of \(B\rightarrow K h_{2}\,(\rightarrow f)\), \(f = (\pi \pi + K K), \mu ^+\mu ^-, \tau ^+\tau ^-\) are shaded in red and bounded by the dashed red contours. Analogous regions for \(B\rightarrow K^*h_2\) are presented by the dark green contour. We summed over the number of events in the decays of \(B^{+}\), \(B^-\), \(B^0\), and \({\bar{B}}^0\). The dotted lines are contours of constant \(h_2\) proper lifetime

4.2 \(B \rightarrow K^{*} h_2\)

We include in our analysis the decay of B meson that involves the final state vector meson \(K^*\) and has the branching fraction

$$\begin{aligned} B(B\rightarrow K^*h_2)= & {} \frac{\tau _B}{32\pi m_B^2}\vert C_{h_2 s b}\vert ^2\frac{A_0(m_{h_2}^2)^2}{(m_b+m_s)^2} \nonumber \\&\cdot \, \frac{\lambda (m_B^2, m_{K^*}^2, m_{h_2}^2)^{3/2}}{2 m_B}. \end{aligned}$$
(16)

The form factor \(A_0(q^2)\) is related to the desired pseudoscalar hadronic matrix element as

$$\begin{aligned} \langle K^*(k, \epsilon )\vert {\bar{s}}\gamma _5 b\vert B(p_B)\rangle = \frac{2\,m_{K^*}\,\epsilon ^*\cdot q}{m_b+m_s} A_0(q^2), \end{aligned}$$
(17)

where \(\epsilon \) is a polarization vector of \(K^*\) and \(q=p_B-k\). For this form factor we use the combination of results from lattice QCD [31] and QCD sum rules [32] as provided in Ref. [32].

\( B(B\rightarrow K^*h_2)\) is comparable in size to \( B(B\rightarrow K h_2)\) for masses up to \(\sim 2\,\text {GeV}\) (see Fig. 2), and is suppressed as the mass \(m_{h_{2}}\) approaches the kinematic endpoint. This is the result of the additional power of the kinematic function \(\lambda \) in Eq. (16) that comes from the contribution of the longitudinal \(K^*\) polarization. It follows from angular momentum conservation that this is the only contributing polarization. The combination of the experimental data from both processes will be required in order to discriminate the spin-0 vs. spin-1 hypotheses in case of a discovery. E.g. the mediator with spin 1 involves a different dependence of the rate on the mediator’s mass and comes with a dramatic suppression of the decay rate with K in the final state if the mediator is light. The decay \(B \rightarrow K^*h_2\) has been studied before in Ref. [7], in which a plot similar to our Fig. 2 is presented for the sum of several vector resonances. Our analysis of Belle II opportunities is new compared to Ref. [7] which focuses on LHC, ShiP, and DUNE. Refs. [7, 8] further study the fully inclusive decay \(B \rightarrow X_s h_2\).

The kinematic suppression close to the endpoint implies that the number of \(B\rightarrow K^*h_2(\tau \tau )\) events will be much smaller relative to the case of the final state with K. We display the corresponding parameter region corresponding to \(K^*\) events with the dark green contour in Fig. 3.

Fig. 4
figure 4

Combined sensitivity of the Belle II experiment to displaced vertices of \(h_2\) including both \(B\rightarrow K h_{2}\) and \(B\rightarrow K^*h_{2}\) and decays of \(h_2\) to \((\pi \pi + K K), \mu ^+\mu ^-, \tau ^+\tau ^-\) are shown with the filled red region, and compared to the search limit of LHCb [26] (shaded blue) and projected sensitivities by other proposed experiments, Mathusla [33] (pink), SHiP [34], CODEX b [35] (gray) and FASER 2 [36] (brown)

In Fig. 4 we compare the reach of the Belle II experiment to displaced vertices of \(h_2\) including both \(B\rightarrow K h_{2}\) and \(B\rightarrow K^*h_{2}\) processes and decays of \(h_2\) to \((\pi \pi + K K), \mu ^+\mu ^-, \tau ^+\tau ^-\) with the existing search limit of the LHCb experiment [26].Footnote 3 We also compare to projected sensitivities of other proposed experiments, Mathusla [33], SHiP [34], CODEX b [35] and FASER 2 [36].

5 Conclusions

We have clarified the cancellation of gauge-dependent terms appearing in the \({\bar{s}} bh_2\) vertex in the standard Higgs portal model with a singlet mediator to the Dark Sector. We have further updated the \(b\rightarrow s h_2\) phenomenology to be studied at the Belle II detector, with a novel consideration of \(B\rightarrow K^* h_2\) complementing the previously studied decay \(B\rightarrow K h_2\). Decays like \(B\rightarrow K^{(*)} h_2[\rightarrow \mu ^+\mu ^-]\) with a displaced vertex permit the measurement of the \(h_2\) lifetime. It is shown how this measurement will further constrain the two relevant parameters \(m_{h_2}\) and \(\sin \theta \) of the model. Both the lifetime information and the combined study of \(B\rightarrow K^* h_2\) and \(B\rightarrow K h_2\) permit the discrimination of the studied Higgs portal from other Dark-Sector models. Another result of this paper is a new calculation of the expected number of \(B\rightarrow K^{*} h_2[\rightarrow f]\) events as a function of the \(B\rightarrow K h_2\) and \(h_2\rightarrow f\) branching ratios for the Belle II detector.