1 Introduction

The first indications of physics beyond the Standard Model (SM) come from: neutrino oscillations (NOs), baryonic asymmetry of the Universe (BAU) and dark matter (DM). During the last years NOs experiments have confirmed that active neutrinos (\(\nu \)) are very light massive particles  [1, 2] and consequently the SM must be extended. The evidence of neutrino masses that arises from oscillations were first predicted in [3] and later observed in [1, 4,5,6,7]. These extremely light masses can be explained with the introduction of sterile neutrinos and via the seesaw mechanism [8,9,10]. The outcome gives us Majorana neutrinos with light eigenstates \(m_{\nu }\lesssim \) 1 eV and heavy neutrino (HN) eigenstates. The masses of the HN particles are normally taken in the \(M_{N}\gg \) 1 TeV regime. However, there are other seesaw scenarios with lower masses for the HN, \(M_{N}\sim \) 1 TeV [11,12,13,14,15,16,17] and \(M_{N}\sim \) 1 GeV [18,19,20,21,22,23,24,25,26]. If one goes to HN mass scales of the order of the light neutrinos, new contributions to the seesaw neutrino masses should be taken into account (see for example [27]). Probing the nature of neutrinos has been one of the most interesting and elusive tasks in modern physics. Experimentally, whether they are Dirac or Majorana fermions can be, in principle, established in neutrinoless double beta decay (\(0\nu \beta \beta \)) experiments [28,29,30,31,32,33,34,35,36], rare lepton number violating (LNV) decays of mesons [37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55] and of \(\tau \) lepton [56,57,58,59,60], and specific scattering processes [19, 61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83].

The nature of Dirac neutrinos only allows them to appear in processes that are lepton number conserving (LNC). Majorana neutrinos can induce both lepton number conserving and lepton number violating (LNV) processes, which allows a wider spectrum of physics to take place. An important example of this is baryogenesis via leptogenesis, where the LNV and CP-violating processes can lead to a generation of a lepton number asymmetry in the early universe, which is then converted (through sphaleron processes [10, 84, 85]) to the baryon number asymmetry observed in the universe [86]. There are many different models that try to explain this asymmetry. However, two standard approaches that use Majorana neutrinos for successful Leptogenesis are out-of-equilibrium HN decays (or Thermal Leptogenesis) and leptogenesis from oscillations. Both of them use sterile neutrinos as an extension to the standard model, with their masses being calculated with the seesaw type-I mechanism. This mechanism allows us to have heavy neutrinos using the fact that the SM neutrinos have very low masses. These HNs satisfy the Sakharov conditions [87] in order to produce the asymmetry dynamically. Consequently, thermal leptogenesis [88,89,90] takes into account the lepton number asymmetry generated by the decay of a massive Majorana neutrino in a thermal bath, while the latter, known as Akhmedov–Rubakov–Smirnov (ARS) mechanism [91], leads to a lepton number asymmetry by means of HN oscillations. The main difference between the two mechanisms comes from the fact that the first case is a freeze-out situation while the ARS mechanism can be seen as a freeze-in one.

The range of the HN masses for thermal leptogenesis is dictated by the amount of CP violation that can be generatedFootnote 1. In the most simple scenarios leptogenesis is constructed with masses \(M_{N} > rsim 10^{10}\) GeV, or \(M_{N} > rsim \) 1 TeV if one takes into account resonant effects [93], whereas the ARS mechanism allows neutrinos to reach masses as low as \(\sim 1\) GeV. The HN mass scale for thermal leptogenesis cannot be reached in modern experiments, while ARS leptogenesis allows a variety of experiments to try and probe not only the nature of neutrinos, but also leptogenesis [94].

The search for the CP violation has been studied in different scenarios: resonant (overlap) scattering processes [95,96,97], resonant leptonic [98,99,100] and semileptonic rare meson decays [99, 101, 102], as well as B mesons, W bosons and \(\tau \) decays that include heavy neutrinos oscillation [60, 103,104,105,106,107,108,109]. The resonant (overlap) effect comes from the interference between two almost degenerate neutrino mass eigenstates with masses of order \(\sim \) GeV.

This article is organized in the following way: In Sect. 2 we present the effective CP-violating B meson decay width for the LNV process \(B^{\pm } \rightarrow D^0 \ell ^{\pm }_1 \ell ^{\pm }_2 \pi ^{\mp }\), and in Appendices A-D more details are given. In Sect. 3 we present the numerical results for this effective branching ratio (with \(\ell _1=\ell _2=\mu \)) and for the related CP asymmetry ratio, for different values of the detector length, of the ratio of the HN mass difference and the HN total decay width, and for different values of the CP-violating phase. In Sect. 4 we discuss the possibility for the detection of various such signals within the detector at Belle II and summarize our results.

2 CP violation in heavy neutrino decay

The simplest extension of the SM that explains the smallness of the active neutrino masses is the addition of right-handed neutrinos (\(\nu _R\)). Then, the relevant terms of the new Lagrangian \(\mathcal {L}_N\) will read

$$\begin{aligned} -\mathcal {L}_N=Y_{\nu }\overline{\ell }_L\phi \nu _R+ \frac{M_R}{2}\overline{(\nu _R)^c}\nu _R+h.c.\ , \end{aligned}$$
(1)

where \(M_R\) is the mass of the right-handed neutrinos. After diagonalizing the mass matrix, three very light neutrinos are obtained, as well as three heavy ones, this is the well known seesaw mechanism [8,9,10]. The mass of the light neutrinos will be given by

$$\begin{aligned} m_{\nu } \propto \langle \phi \rangle ^2\frac{Y_{\nu }Y^T_{\nu }}{M_N}\ , \end{aligned}$$
(2)

where \(M_N=M_R\) is a \(3 \times 3\) mass matrix of the heavy neutrinos and \(\langle \phi \rangle \) is the electroweak vacuum expectation value of the Higgs field. By tuning the parameters in the above equation one can reach neutrino masses \(\sim 1\) GeV, resulting in Yukawa couplings \(\sim 10^{-5}\). This type of scenario is well discussed in the \(\nu \)MSM model [20, 21]. Two key ingredients in this model are the CP violation that occurs in the mixing of the heavy neutrinos and a resonant effect when the masses of two of them satisfy the condition \(\Delta M_N\) (\(\equiv M_{N_2}-M_{N_1}\)) \( = \Gamma _N\).

In previous articles we explored the HN CP-violating decays: i) considering only resonant CP violation without HN oscillation effects [98, 100, 101, 106] and ii) nonresonant HN oscillation effects [60, 103,104,105]. In this article, we will considerer the decay \(B^{\pm } \rightarrow D^0 \ell ^{\pm }_1 \ell ^{\pm }_2 \pi ^{\mp }\) (see Fig. 1) extending the previous analysis, by considering simultaneously both of the aforementioned CP-violating sources, in order to explore these signals at Belle II experiment.

In this work we will assume the existence of several (three) Heavy Neutrino states \(N_j\) (\(j=1,2,3\)), with respective masses \(M_{N_j}\). In addition, we will assume that the first two heavy neutrinos are almost degenerate and with masses in the range of \(\sim 1\) GeV, and the third neutrino is much heavier

$$\begin{aligned} M_{N_3} \gg M_{N_2} \approx M_{N_1} \sim 1 \ \mathrm{GeV} \qquad \left( M_{N_2} > M_{N_1}\right) \ . \end{aligned}$$
(3)

The first three active neutrinos \(\nu _{\ell }\) (where \(\ell = e, \mu , \tau \)) will have, in general, admixtures of the above mentioned heavy mass eigenstates

$$\begin{aligned} \nu _{\ell } = \sum _{j=1}^{3} B_{\ell j} \nu _j + B_{\ell N_1} N_1 + B_{\ell N_2} N_2 + B_{\ell N_3} N_3\ , \end{aligned}$$
(4)

where the heavy-light mixing elements \(B_{\ell N_j}\) are, in general, small complex numbers

$$\begin{aligned} B_{\ell _k N_j} \equiv |B_{\ell _k N_j}|e^{i \phi _{kj}}\ , \quad (k,j = 1,2,3) \ . \end{aligned}$$
(5)
Fig. 1
figure 1

Feynmann diagram of the decay processes

We will consider CP-violating decays of B mesons into two light leptons (\(\ell _1 \ell _2\)) and a pion, mediated by heavy on-shell neutrinos \(N_j\) (\(j=1,2\)). It turns out that (effective) branching ratios for the decays of the type \(B \rightarrow D \ell _1 \ell _2 \pi \) (cf. Fig. 1) are significantly larger than the decays \(B \rightarrow \ell _1 \ell _2 \pi \), by about a factor of 30-40 when \(M_N \approx 2\) GeV, cf. Ref. [110] (Figs. 19a and 20a there),Footnote 2 the main reason been the different CKM matrix elements \(|V_{cb}| \sim 10 \; |V_{ub}|\). For this reason, we will consider the decay channels \(B \rightarrow D \ell _1 \ell _2 \pi \) (Fig. 1). The heavy neutrino \(N_3\) will not enter our considerations because, in contrast to \(N_1\) and \(N_2\), it is off-shell in these decays. Furthermore, in order to avoid the kinematic suppression from heavy leptons, we exclude from our consideration the case of \(\tau \)-lepton production. In addition, to avoid the present stringent upper bounds on the heavy-light mixing \(B_{e N_j}\), we also exclude from our consideration the case of \(\ell =e\) lepton production. Thus, we will take \(\ell _1 \ell _2 = \mu \mu \). The \(N_1\)-\(N_2\) oscillation effects in such decays (\(\ell _1 \ell _2 = \mu \mu \)) turn out to disappear in LNC decays but survive in LNV decays [103]. Hence, we will consider the LNV decays \(B^{\pm } \rightarrow D^0 \mu ^{\pm } \mu ^{\pm } \pi ^{\mp }\) (Fig. 1). The CP-violating B meson decay width for such a process, which accounts for the fact that the process will be detected only if the HN decays during its crossing through the detector (effective \(\Gamma \)), and includes both the overlap (resonant) [98, 101] and the HN-oscillation CP-violating sources [103,104,105], is given by

$$\begin{aligned}&\Gamma _{\mathrm{eff}}\left( B^{\pm } \rightarrow D^{0} \ell ^{\pm }_{1} \ell ^{\pm }_{2} \pi ^{\mp }\right) \nonumber \\&\quad = \overline{\Gamma }\left( B^{\pm } \rightarrow D^0 \ell ^{\pm }_1 N\right) \ \overline{\Gamma }\left( N \rightarrow \ell ^{\pm }_{2} \pi ^{\mp }\right) 2 |B_{\ell _1 N}|^2 |B_{\ell _2 N}|^2\nonumber \\&\qquad \times \Bigg [\frac{1}{\Gamma _N}\left( 1- \exp \left( - \frac{-L \Gamma _N}{\gamma _N^{''} \beta _N^{''}} \right) \right) \left( 1+\delta (Y) \cos \left( \theta _{LV}\right) \right. \nonumber \\&\qquad \left. \mp \frac{\eta (Y)}{Y} \sin \left( \theta _{LV}\right) \right) + \frac{1}{\Gamma _{N} \left( 1+Y^2\right) }\nonumber \\&\qquad \times \Bigg \{ \exp \left( - \frac{-L \Gamma _N}{\gamma _N^{''} \beta _N^{''}} \right) \left[ Y \sin \left( \frac{2\pi L}{L_\mathrm{osc}}\pm \theta _{LV}\right) \right. \nonumber \\&\qquad \left. -\cos \left( \frac{2\pi L}{L_\mathrm{osc}}\pm \theta _{LV}\right) \right] \nonumber \\&\quad + \left( \cos \left( \theta _{LV}\right) \mp Y \sin \left( \theta _{LV}\right) \right) \Bigg \} \Bigg ]\ , \end{aligned}$$
(6)

where L stands for the distance (in the lab frame) between the two vertices of the process (the flight length of the on-shell neutrino \(N_j\)),Footnote 3\(L_\mathrm{osc}=(2\pi \gamma _N^{''} \beta _N^{''})/\Delta M_N\) is the HN oscillation length,

$$\begin{aligned} Y \equiv \frac{ \Delta M_N }{\Gamma _N}\ , \qquad \Delta M_N \equiv M_{N_2}-M_{N_1} (> 0)\ , \end{aligned}$$
(7)

and \(\theta _{LV}\) is the CP-violating phaseFootnote 4 which, according to the notation of Eq. (5) can be written as

$$\begin{aligned} \theta _{LV} \equiv \theta _{kj} = \left( \phi _{1k}+\phi _{2k}-\phi _{1j}-\phi _{2j}\right) \ , \quad (k,j = 1,2)\ . \end{aligned}$$
(8)

Further, the functions \(\eta (Y)\) and \(\delta (Y)\) are [98, 100, 101]

$$\begin{aligned} \eta (Y) = \frac{Y^2}{Y^2+1}\ , \qquad \delta (Y)=\frac{1}{Y^2+1}\ . \end{aligned}$$
(9)

The numerical values of \(\eta (Y)\) and \(\delta (Y)\) were obtained in [98, 101], and the explicit expression for \(\eta (Y)\) was obtained in [100] (App. 6 there). Based on the mentioned numerical values of \(\delta (Y)\) (cf. Table I in [101], Table II in [98], and Table 4 in [100]), we observe a posteriori here that they can be reproduced with high precision by the explicit expression for \(\delta (Y)\) given here. The functions \(\delta (Y)\) and \(\eta (Y)\) are related with the real and imaginary parts, respectively, of the product of scattering amplitudes for the processes \(W^{*} \rightarrow \ell _1 N_j \rightarrow \ldots \) (\(j=1,2\)), and they involve the product of (almost on-shell) propagators of the nearly degenerate neutrinos \(N_1\) and \(N_2\). We refer for details to Refs. [98, 100, 101].

In Eq. (6), the HN Lorentz kinematical parameters in the lab frame (\(\Sigma ^{''}\)) \(\beta _N^{''}\) and \(\gamma _N^{''} = 1/\sqrt{1 - (\beta _N^{''})^2}\) are assumed to be constant. This can be extended to the realistic case of variable \(\beta _N^{''}\) [111], and this extension is explained in Appendix C. We also assumed that \(|B_{\ell N_1}|=|B_{\ell N_2}|\) (\(\equiv |B_{\ell N}|\)), with \(\ell =\mu , e, \tau \).

Furthermore, the expression (6), in addition to the aforementioned approximations (fixed \(\beta _N^{''}\) and common \(|B_{\ell N}|\)’s), is obtained in an approximation of combining the overlap (resonant) and oscillation effects, which is valid when Y is significantly larger than one, e.g.  \(Y > rsim 5\). This is explained in more detail in Appendix D, where several steps of derivation of the expression (6) are given.

In general, \(\Gamma _N = (\Gamma _{N_1} + \Gamma _{N_2})/2\) where \(\Gamma _{N_j}\) is the total decay width of HN \(N_j\) (\(j=1,2\)). However, due to our assumption \(|B_{\ell N_1}|=|B_{\ell N_2}|\) (\(\equiv |B_{\ell N}|\)), we have \(\Gamma _{N_1} = \Gamma _{N_2} = \Gamma _N\). This is because the total decay width of the heavy neutrino \(N_j\) is [98, 100]

$$\begin{aligned}&\Gamma _{N_j} \approx \mathcal {K}_j^\mathrm{Ma}\ \frac{G_F^2 M_{N_j}^5}{96\pi ^3} \ , \qquad \mathcal {K}_i^\mathrm{Ma}\nonumber \\&\quad = \mathcal{N}_{e j}^\mathrm{Ma} \; |B_{e N_j}|^2 + \mathcal{N}_{\mu j}^\mathrm{Ma} \; |B_{\mu N_j}|^2 + \mathcal{N}_{\tau j}^\mathrm{Ma} \; |B_{\tau N_j}|^2\ , \end{aligned}$$
(10)

where \(\mathcal{N}_{\ell j}^\mathrm{Ma}\) are the effective mixing coefficients whose range is \(\sim 1\)–10 and account for all possible HN decay channels. The \(N_j\) coefficients are presented in Fig. 2.

Fig. 2
figure 2

Effective mixing coefficients \(\mathcal{N}_{\ell j}^\mathrm{Ma}\) for Majorana neutrinos

From now on, as mentioned earlier we will consider only the case \(\ell _1 = \ell _2 = \mu \). We notice that \(|B_{\mu N_j}|^2 \approx |B_{\tau N_j}|^2 \lesssim 10^{-5}\) and \(|B_{e N_j}|^2<10^{-7}\), so that the \(\mathcal {K}_j^{\text {Ma}}\) can receive significant contribution only from \(\mu \) and \(\tau \) decay channels (note that \(\mathcal{N}_{\mu j}^\mathrm{Ma} + \mathcal{N}_{\tau j}^\mathrm{Ma} \approx 10\)). The mixings \(B_{\mu N_1}\) and \(B_{\mu N_2}\) can be, in principle, significantly different for the two HNs, and therefore, the two mixing factors \(\mathcal {K}^\mathrm{Ma}_j\) \((j = 1, 2)\) may differ significantly from each other. However, as mentioned earlier, in this work we will assume that \(|B_{\ell N_1}|=|B_{\ell N_2}|\) (\(\equiv |B_{\ell N}|\)). Taking \(\mathcal {K}^\mathrm{Ma}_1 \approx \mathcal {K}^\mathrm{Ma}_2= 10 \; |B_{\mu N}|^2\) the HN total decay width then reads

$$\begin{aligned} \Gamma _N(M_N) = 10 \; |B_{\mu N}|^2 \ \frac{G_F^2 M_{N}^5}{96\pi ^3}\ , \end{aligned}$$
(11)

we also note that the HN masses are almost equal, i.e. \(M_{N_j} \simeq M_N\).

The usual measure of the relative CP violation effect is given by the CP asymmetry ratio

$$\begin{aligned} A_\mathrm{CP} = \frac{\Gamma _\mathrm{eff}\left( B^{+} \rightarrow D^0 \mu ^{+} \mu ^{+} \pi ^{-}\right) -\Gamma _\mathrm{eff}\left( B^{-} \rightarrow D^0 \mu ^{-} \mu ^{-} \pi ^{+}\right) }{\Gamma _\mathrm{eff}\left( B^{+} \rightarrow D^0 \mu ^{+} \mu ^{+} \pi ^{-}\right) +\Gamma _\mathrm{eff}\left( B^{-} \rightarrow D^0 \mu ^{-} \mu ^{-} \pi ^{+}\right) } \ . \end{aligned}$$
(12)

3 Results

In this section we show the numerical results for the effective branching ratio \(\mathrm{Br_{eff}(B^{\pm })}=\Gamma _\mathrm{eff}(B^{\pm } \rightarrow D^0 \mu ^{\pm } \mu ^{\pm } \pi ^{\mp })/\Gamma (B\rightarrow \text {all})\) and the CP asymmetry ratio \(\mathrm{A_{CP}}\) in (12) for different values of the Y parameter and the maximal displaced vertex length L, which can be interpreted as the (effective) detector length (\(L \le L_\mathrm{det}\)). The calculations were performed by numerical integration with the VEGAS algorithm [114] in each step of L and Y. All integrations were performed using \(M_N=2\) GeV and heavy-light mixings \(|B_{\mu N}|^2=|B_{\tau N}|^2=10^{-5}\). The selected mixing values are consistent with the present experimental constraints given in Refs. [48, 115] and references therein. Moreover, two different values (scenarios) were chosen for the CP-violating phase: \(\theta _{LV}=\pi /2,\pi /4\).

The kinematical Lorentz factor \(\gamma _N^{''} \) and \(\beta _N^{''}\) in Eq. (6) in reality are not fixed, but vary and are obtained as explained in Appendix C [Eq. (C3)], where the general expression \(\Gamma _\mathrm{eff}\) for the case of only one HN N is given in Eq. (C4). In the case of two (almost degenerate) HNs \(N_j\) (\(j=1,2\)) the expression (C4) gets extended by the overlap (resonant) and oscillation terms as those appearing in Eq.(6), leading to our main formula

$$\begin{aligned}&\Gamma _\mathrm{eff}\left( B^{\pm } \rightarrow D^0 \ell ^{\pm }_1 \ell ^{\pm }_2 \pi ^{\mp }\right) \nonumber \\&\quad = 2 |B_{\ell _1 N}|^2 |B_{\ell _2 N}|^2 \frac{ \overline{\Gamma }\left( N \rightarrow \ell _2 \pi \right) }{\Gamma _N} \int d q^2 \int d \Omega _{{\hat{q}}'}\nonumber \\&\qquad \times \int d \Omega _{{\hat{p}}_1} \frac{d \overline{\Gamma }\left( B \rightarrow D \ell _1 N\right) }{ d q^2 d \Omega _{{\hat{q}}'} d \Omega _{{\hat{p}}_1}} \nonumber \\&\qquad \times \Bigg [ \left\{ 1 - \exp \left( - L \Gamma _N/\sqrt{ \left( E''_N(q^2;{\hat{q}}',{\hat{p}}_{1})/M_N \right) ^2 - 1 } \right) \right\} \nonumber \\&\qquad \times \left[ 1+\delta (Y) \cos \left( \theta _{LV}\right) \mp \frac{\eta (Y)}{Y}\sin \left( \theta _{LV}\right) \right] \nonumber \\&\qquad + \frac{1}{\left( 1+Y^2\right) } \Bigg \{ \exp \left( - L \Gamma _N/\sqrt{ \left( E''_N\left( q^2;{\hat{q}}',{\hat{p}}_{1}\right) /M_N \right) ^2 - 1 } \right) \nonumber \\&\qquad \times \left[ Y \sin \left( \frac{2\pi L}{L_\mathrm{osc}}\pm \theta _{LV}\right) -\cos \left( \frac{2\pi L}{L_\mathrm{osc}}\pm \theta _{LV}\right) \right] \nonumber \\&\qquad + \left( \cos \left( \theta _{LV}\right) \mp Y \sin \left( \theta _{LV}\right) \right) \Bigg \} \Bigg ] \ . \end{aligned}$$
(13)

Here we should keep in mind that the oscillation length \(L_\mathrm{osc}\) relies on the (variable) Lorentz factors \(\beta _N^{''}\) and \(\gamma _N^{''}\), namely \(2 \pi /L_\mathrm{osc}=Y \Gamma _N/(\gamma _N^{''} \beta _N^{''})\) [cf. Eq. (D4)], so it also depends on the integration variables \(q^2\), \({\hat{q}}'\) and \({\hat{p}}_{1}\) via \(E''_N(q^2;{\hat{q}}',{\hat{p}}_{1})\), cf. Eq. (C3).Footnote 5

In order to evaluate the relevance of Oscillatory and Overlapping effects on the main decay channel, we can either: (a) disregard in Eq. (13) the overlap (resonant) terms and include only the oscillatory terms

$$\begin{aligned}&\Gamma ^\mathrm{osc}_\mathrm{eff}\left( B^{\pm } \rightarrow D^0 \ell ^{\pm }_1 \ell ^{\pm }_2 \pi ^{\mp }\right) \nonumber \\&\quad = 2 |B_{\ell _1 N}|^2 |B_{\ell _2 N}|^2 \frac{ \overline{\Gamma }\left( N \rightarrow \ell _2 \pi \right) }{\Gamma _N} \int d q^2\nonumber \\&\qquad \times \int d \Omega _{{\hat{q}}'} \int d \Omega _{{\hat{p}}_1} \frac{d \overline{\Gamma }\left( B \rightarrow D \ell _1 N\right) }{ d q^2 d \Omega _{{\hat{q}}'} d \Omega _{{\hat{p}}_1}}\nonumber \\&\qquad \times \Bigg [ \Bigg \{ 1 - \exp \Bigg (- L \Gamma _N/\sqrt{ \left( E''_N(q^2;{\hat{q}}',{\hat{p}}_{1})/M_N \right) ^2 - 1 } \Bigg ) \Bigg \} \nonumber \\&\qquad + \frac{1}{\left( 1+Y^2\right) } \Bigg \{ \exp \Bigg (- L \Gamma _N/\sqrt{ \left( E''_N(q^2;{\hat{q}}',{\hat{p}}_{1})/M_N \right) ^2 - 1 } \Bigg ) \nonumber \\&\qquad \times \Bigg [Y \sin \Bigg (\frac{2\pi L}{L_\mathrm{osc}}\pm \theta _{LV}\Bigg ) \nonumber \\&\qquad -\cos \Bigg (\frac{2\pi L}{L_\mathrm{osc}}\pm \theta _{LV}\Bigg ) \Bigg ]\nonumber \\&\qquad + \left( \cos \left( \theta _{LV}\right) \mp Y \sin \left( \theta _{LV}\right) \right) \Bigg \} \Bigg ] \ ; \end{aligned}$$
(14)

(b) or we can disregard in Eq. (13) the oscillatory terms and include only the overlap (resonant) terms

$$\begin{aligned}&\Gamma ^\mathrm{overlap}_\mathrm{eff}\left( B^{\pm } \rightarrow D^0 \ell ^{\pm }_1 \ell ^{\pm }_2 \pi ^{\mp }\right) \nonumber \\&\quad = 2 |B_{\ell _1 N}|^2 |B_{\ell _2 N}|^2 \frac{ \overline{\Gamma }\left( N \rightarrow \ell _2 \pi \right) }{\Gamma _N} \int d q^2 \int d \Omega _{{\hat{q}}'}\nonumber \\&\qquad \times \int d \Omega _{{\hat{p}}_1} \frac{d \overline{\Gamma }(B \rightarrow D \ell _1 N)}{ d q^2 d \Omega _{{\hat{q}}'} d \Omega _{{\hat{p}}_1}} \nonumber \\&\qquad \times \left[ \left\{ 1 - \exp \left( - L \Gamma _N/\sqrt{ \left( E''_N\left( q^2;{\hat{q}}',{\hat{p}}_{1}\right) /M_N \right) ^2 - 1 } \right) \right\} \right. \nonumber \\&\qquad \times \left. \left[ 1+\delta (Y) \cos (\theta _{LV})\mp \frac{\eta (Y)}{Y} \sin \left( \theta _{LV}\right) \right] \right] \ . \end{aligned}$$
(15)

Figure 3 show a comparison between Eqs. (13), (14) and (15), as a function of the maximal displaced vertex length (effective detector length) L. We recall that the effective branching ratio is \(\mathrm{Br}_\mathrm{eff} = \Gamma _\mathrm{eff}/\Gamma _B\), where \(\Gamma _B=4.017 \times 10^{-13}\) GeV.

Fig. 3
figure 3

Different contributions to the total effective branching ratio as a function of the maximal displaced vertex length (L) for \(M_N=2.0\) GeV , \(|B_{\mu N}|^2=|B_{\tau N}|^2=10^{-5}\) and different values of Y and \(\theta _{LV}\). Full lines stand for the case of \(\Gamma _\mathrm{eff}(B^{\pm })\) (Eq. 13), dashed lines stand for \(\Gamma ^\mathrm{osc}_\mathrm{eff}(B^{\pm })\) (Eq. 14) and dotted ones for \(\Gamma ^\mathrm{overlap}_\mathrm{eff}(B^{\pm })\) (Eq. 15). The curve for \(B^-\) are higher than those for \(B^+\)

We can deduce from these figures that the oscillation contributions are usually larger in magnitude than the overlap (resonant) contributions, and that this trend gets stronger when Y increases.

On the other hand, we notice that Fig. 3 show very small values of \(\mathrm Br_{eff}\) when the detector length \(L\approx 0\), this is consequent with the fact that at short distances only few neutrinos have decayed. On the contrary, for large L all neutrinos have decayed, therefore the \(\mathrm Br_{eff}\) becomes constant. In the expression Eq. (13) this situation is reflected when L is so large that \(\mathrm{exp}(-L \Gamma _N/(\gamma _N^{``} \beta _N^{''}))\) is almost zero, and consequently the oscillation contributions disappear and the L-dependence disappears.

We remark that both effects, oscillatory (Eq. 14) and overlap (Eq. 15), depend explicitly on Y. Therefore, it is relevant to explore how the Effective Branching Ratio changes while \(Y\equiv \Delta _{M_N}/\Gamma _{N}\) varies for a fixed value of L.

Figures 4 and 5 show the effective branching ratio as a function of Y for different fixed maximal displaced vertex lengths (effective detector lengths) \(L=300\) mm and \(L=1000\) mm, respectively.

Fig. 4
figure 4

Effective branching ratio as a function of Y for \(M_N=2.0\) GeV, \(L=300\) mm and \(|B_{\mu N}|^2=|B_{\tau N}|^2=10^{-5}\). Left Panel: \(\theta _{LV}=\pi /2\). Right panel: \(\theta _{LV}=\pi /4\)

Fig. 5
figure 5

Effective branching ratio as a function of Y for \(M_N=2.0\) GeV, \(L=1000\) mm and \(|B_{\mu N}|^2=|B_{\tau N}|^2=10^{-5}\). Left Panel: \(\theta _{LV}=\pi /2\). Right panel: \(\theta _{LV}=\pi /4\)

Figure 6 shows the CP asymmetry (\(\mathrm A_{CP}\)) as a function of the maximal displaced vertex length L for three different values Y. Figure 7 shows the CP asymmetry as a function of Y for three different values of length L.

Fig. 6
figure 6

CP asymmetry as a function of the maximal displaced vertex length (L) for \(M_N=2.0\) GeV and \(|B_{\mu N}|^2=|B_{\tau N}|^2=10^{-5}\). Left Panel: \(\theta _{LV}=\pi /2\). Right panel: \(\theta _{LV}=\pi /4\)

Fig. 7
figure 7

CP asymmetry as a function of Y for \(M_N=2.0\) GeV and \(|B_{\mu N}|^2=|B_{\tau N}|^2=10^{-5}\). Left Panel: \(\theta _{LV}=\pi /2\). Right panel: \(\theta _{LV}=\pi /4\)

On the other hand, some previous works (e.g. Ref. [100, 110]) have considered fixed values of \(\gamma _N^{''} \beta _N^{''}\)Footnote 6; in this scenario the CP asymmetry (Eq. 12) can be approximated as follows

$$\begin{aligned}&A_\mathrm{CP} \approx \sin \left( \theta _{LV}\right) \frac{\left[ 2-\exp \left( -L \Gamma _N/(\gamma _N^{''} \beta _N^{''}) \right) \left( 1+\cos \left( \frac{2\pi L}{L_\mathrm{osc}}\right) +\frac{1}{Y} \sin \left( \frac{2\pi L}{L_\mathrm{osc}}\right) \right) \right] \frac{Y}{Y^2 + 1}}{\left[ 1+\frac{2}{Y^2+1}\cos {\theta _{LV}}\right] -\exp \left( -L \Gamma _N/\left( \gamma _N^{''} \beta _N^{''}\right) \right) \left[ 1+\frac{\cos \left( \theta _{LV}\right) }{Y^2 +1} \left( 1+\cos \left( \frac{2\pi L}{L_\mathrm{osc}}\right) -Y \sin \left( \frac{2\pi L}{L_\mathrm{osc}}\right) \right) \right] }\ . \end{aligned}$$
(16)

Figure 8 shows the CP asymmetry in Eq. 16 as a function of the maximal displaced vertex length L (top) and Y parameter (bottom)

Fig. 8
figure 8

CP asymmetry for a fixed value of \(\gamma _N^{''} \beta _N^{''} (= 664613)\) (Eq. 16) for \(M_N=2.0\) GeV and \(|B_{\mu N}|^2=|B_{\tau N}|^2=10^{-5}\). Top panels show \(\mathrm A_{CP}\) as a function of L, bottom panels as a function of Y. Left panels: \(\theta _{LV}=\pi /2\). Right panels: \(\theta _{LV}=\pi /4\)

4 Discussion of the results and summary

In this work we have studied the CP-violating effects in the rare B meson decays mediated by two on-shell HNs. Unlike previous works, our calculations include both overlap (resonant) and oscillating effects. The variation of the values of the parameter \(Y \equiv \Delta M_N/\Gamma _N\) shows that there exists a mass-difference regime in which the CP-violating effects can be noticeable. Our formulas are approximations which are good if Y is not too small (\(Y > rsim 5\)), because we do not know (and do not include) the terms which are simultaneously overlap and oscillation effects. On the other hand, if \(Y < 1\), i.e., the mass difference \(\Delta M_N\) is smaller than the decay width \(\Gamma _N\), the CP-violating effects are expected to be highly suppressed and \(\mathrm{A_{CP}} \rightarrow 0\) as \(Y\rightarrow 0\). We set the maximum value of the displaced vertex length (effective detector length) L to \(L=1000\) mm in order to obtain a realistic prediction of the number of events that can take place at Belle II experiment.

While Fig. 3 show that in both cases \(Y=5,\ 10\) the oscillatory effects have a bigger contribution to the total effective branching ratio (full lines), we can see that both effects (oscillatory and overlap) contributions are of the same order of magnitude. In addition, Fig. 3 (top panel) we can see that the biggest difference from \(B^+\) and \(B^-\) effective branching ratios occurs between the 200 and 400 mm. Furthermore, the channel difference changes with the CP violating phase \(\theta _{LV}\), where the biggest CP violation appears at \(\pi /2\) and the smallest occurs at \(\pi /4\). For values of \(\theta _{LV}=0,\pi \), there will be no difference between the channels. If the parameter Y increases from 5 to 10 (Fig. 3, bottom panel) one can notice that now the biggest CP violation moves to the left and occurs between 50 and 200 mm, while the maximum occurs at \(\theta _{LV}=\pi /2\).

The effect produced by the parameter Y can be read from Figs. 4 and 5. Values of \(Y>15\) shows little difference between the channels, this is well expected as for larger Y the resonant and oscillating regimes will disappear when \(\Delta M\propto Y\gg 1\). The maximum CP violation is strongly dependent on the length L, as seen from \(L=300\) mm in Fig. 4 and \(L=1000\) mm in Fig. 5.

Figure 6 shows the asymmetry as a function of the length L. Although, the biggest value of the CP asymmetry appears for small values of the length (\(L\sim 50\)–300 mm), the branching ratios increase as \(L\rightarrow 1000\) mm. Thus, biggest values of CP asymmetry are not enough to detect events. Therefore, the size of the branching ratios must also be taken into account in order to have a signal in the detector. Figure 7 shows the asymmetry as a function of Y. The biggest values of CP asymmetry appear for \(Y=1-20\), and will disappear for \(Y>50\). If we fix the value of \(\gamma _N^{''} \beta _N^{''}\) (Fig. 8) we observe a clear oscillatory behaviour of \(A_{CP}\). On the other hand, these effects are suppressed in Figs. 6 and 7 (\(\gamma _N^{''} \beta _N^{''}\) variable), due to the several integrations (average) performed in the evaluation of \(A_{CP}\).

Moreover, Table 1 presents the expected number of events \(\mathrm{N_e(B^{\pm })=\eta \times N_{B} \times Br_{eff}(B^{\pm })}\), considering that the number of B mesons expected at Belle II is \(\mathrm{N_{B} = 5 \times 10^{10}}\). In addition, while the track reconstruction efficiency is greater than 90%, we will consider it to be \(\eta = 30\)% in order to have a more conservative approach [116].

Table 1 Expected events at Belle II experiment. Here \(|B_{\mu N}|^2=|B_{\tau N}|^2=10^{-5}\) and \(M_N=2\ GeV\)

In summary, in this work we studied the B-mesons decays \(B^{\pm } \rightarrow D^0 \mu ^{\pm }_1 \mu ^{\pm }_2 \pi ^{\mp }\) at Belle II, considering a 1000 mm effective detector length. We focused in a scenario with two almost-degenerate heavy neutrinos with masses around \(M_N\sim 2\) GeV. The effective branching ratios were calculated by considering that the heavy neutrino total decay width is equal for both, as a consequence of the assumption that the heavy-light mixing coefficients satisfy \(|B_{\ell N_1}| = |B_{\ell N_2}|\) (\(\equiv |B_{\ell N}|^2\)) for \(\ell =\mu , \tau \). Further, we considered \(|B_{\mu N}|^2 \sim |B_{\tau N}|^2 \sim 10^{-5} \gg |B_{e N}|^2\). The calculations were performed in a scenario that contains both the overlap (resonant) and oscillating CP-violating sources. We observed that the biggest difference of detectable events occurs for \(Y=5\) and \(\theta =\pi /2\) (Table 1).

We established that for certain presently allowed regime of values of \(|B_{\mu N}|^2\), \(Y (\equiv \Delta M_N/\Gamma _N)\) and \(\theta _{LV}\), and with \(M_N \approx 2\) GeV, the aforementioned effects can be observed at Belle II.