1 Introduction

It is very well known that despite having enormous success in explaining an astounding amount of experimental observations, the standard model (SM) of particle physics has many glaring lacunae. On the other hand, with little direct experimental validation, there exists a vast possibility of physics beyond the SM. In addition to the direct collider searches, experimenters and theorists alike have tried to look for physics beyond the SM in various meson decays, most notably in the \(B \rightarrow K^* \ell ^+ \ell ^-\) decays [1,2,3,4,5,6,7,8,9], where \(\ell = e, \mu \). In such exciting times for new physics (NP), we present the most general, model-independent study of a few hitherto unseen [10], very rare, semileptonic decays of the B meson, namely \(B^0 \rightarrow \overline{D}{} ^0 \ell ^+ \ell ^-\), \(B^+ \rightarrow D^+ \ell ^+ \ell ^-\) and \(B^0 \rightarrow D^0 \ell ^+ \ell ^-\), which are promising candidates to probe new physics. We note that some of the previous work, which dealt with decay modes similar to those we consider now, is given in [11,12,13,14]. Unlike previous work, we provide a completely model-independent study of \(B \rightarrow D\ell ^+ \ell ^-\) decays by using the effective field theory framework. These decay modes are primarily facilitated by W-annihilation and W-exchange diagrams and are hence, in general, highly suppressed. However, for large Wilson coefficients such decays (especially \(B^0 \rightarrow \overline{D}{} ^0 \ell ^+ \ell ^-\)) can have sizable branching ratios in the SM, \(\mathcal {O}\left( 10^{-5}\right) \) [15], such that they can be observed and studied experimentally. The decays \(B^0 \rightarrow D^0 \ell ^+ \ell ^-\) and \(B^+ \rightarrow D^+ \ell ^+ \ell ^-\) being CKM suppressedFootnote 1 have smaller branching ratios in the SM, \(\mathcal {O} \left( 10^{-9}-10^{-11}\right) \), which has been estimated without considering the photon pole contribution [11, 14]. However, assuming that these rare decays can be observed experimentally in near future, we provide angular observables which are easy to study in experiments and show how they can be utilized to unearth any underlying new physics in these decay modes. It is also notable that the signatures of new physics, considered later in this work, are unaffected by \(B^0 \)\(\overline{B}^0\) or \(D^0 \)\(\overline{D}^0\) mixings. This therefore allows us to combine the data sets for the decay modes \(B^0 \rightarrow \overline{D}{} ^0 \ell ^+ \ell ^-\), \(B^0 \rightarrow D^0 \ell ^+ \ell ^-\) and their CP conjugate modes and do a search for the signatures of new physics with more statistics. We are hopeful that our results will further motivate the experimentalists to look for these decays in the various ongoing and upcoming particle physics experiments, such as LHCb and Belle II.

This paper is organized as follows: In Sect. 2 we provide the model-independent form of the most general Lagrangian which then dictates the form of the decay amplitude. This is followed by a discussion of the relevant kinematics in the Gottfried–Jackson frame. Using the most general amplitude, we find the angular distribution in Sect. 3.1. We also provide the necessary angular asymmetries which are sensitive to specific parts of the angular distribution. Finally, we analyze the angular asymmetries in detail and show in Sect. 3.2 how they can be used to decipher the signature of any new physics contributing to the processes under consideration. In Sect. 3.3 we show how these asymmetries can be very easily obtained from the distribution of events inside the Dalitz plots for \(B \rightarrow D \ell ^+ \ell ^-\) decays. In Sect. 3.4 we note that the signatures of new physics are independent of \(B^0 \)\(\overline{B}{} ^0 \) and \(D^0 \)\(\overline{D}{} ^0 \) mixing. Then we conclude in Sect. 4 emphasizing all the essential aspects of our analysis.

2 The most general Lagrangian and amplitude

The model-independent effective Lagrangian contributing to the \(B \rightarrow D \ell ^+ \ell ^-\) decays can be written as follows:

$$\begin{aligned} \mathcal {L}_{\text {eff}}= & {} J_S \left( \overline{\ell }\mathbf {1} \ell \right) + J_P \left( \overline{\ell } \gamma ^5\ell \right) + \left( J_V\right) _{\alpha } \left( \overline{\ell }\gamma ^{\alpha }\ell \right) \nonumber \\&+ \left( J_A\right) _{\alpha } \left( \overline{\ell }\gamma ^{\alpha }\gamma ^5\ell \right) + \left( J_{T_1}\right) _{\alpha \beta } \left( \overline{\ell }\sigma ^{\alpha \beta }\ell \right) \nonumber \\&+ \left( J_{T_2}\right) _{\alpha \beta } \left( \overline{\ell }\sigma ^{\alpha \beta }\gamma ^5 \ell \right) , \end{aligned}$$
(1)

where \(J_S\), \(J_P\), \(\left( J_V\right) _{\alpha }\), \(\left( J_A\right) _{\alpha }\), \(\left( J_{T_1}\right) _{\alpha \beta }\), \(\left( J_{T_2}\right) _{\alpha \beta }\) are the different effective hadronic currents which effectively describe the quark-level transitions from B to D meson. In the SM, only the vector and axial vector currents contribute. So all other terms in Eq. (1) except \(\left( J_V\right) _{\alpha }\) and \(\left( J_A\right) _{\alpha }\) are possible only in the case of some specific NP scenarios. In this work, we are not concerned about which particular kind of NP model would give rise to such terms, though such model-dependent approaches are also fruitful. While specific NP models would give specific signatures of NP, we are interested in finding out the generic signature of NP in this work, starting with Eq. (1). It must be noted that NP can also modify both \(\left( J_V\right) _{\alpha }\) and \(\left( J_A\right) _{\alpha }\) from their SM expressions.

In order to get the most general amplitude, we need to go from the effective quark-level description of Eq. (1) to the meson-level description by defining appropriate form factors. It is easy to write down the most general form of the amplitude for \(B \rightarrow D \ell ^+ \ell ^-\) as shown below:

$$\begin{aligned} \mathcal {M} \left( B \rightarrow D \ell ^+ \ell ^- \right)&= F_S \left( \overline{\ell }~\mathbf {1}~\ell \right) + F_P \left( \overline{\ell }~\gamma ^5~\ell \right) \nonumber \\&\quad + \left( F_V^+ p_{\alpha } + F_V^- q_{\alpha } \right) \left( \overline{\ell }~\gamma ^{\alpha }~\ell \right) \nonumber \\&\quad + \left( F_A^+ p_{\alpha } + F_A^- q_{\alpha } \right) \left( \overline{\ell }~\gamma ^{\alpha }~\gamma ^5~\ell \right) \nonumber \\&\quad + F_{T_1}~p_{\alpha }~q_{\beta } \left( \overline{\ell }~\sigma ^{\alpha \beta }~\ell \right) \nonumber \\&\quad + F_{T_2}~p_{\alpha }~q_{\beta } \left( \overline{\ell }~\sigma ^{\alpha \beta }~\gamma ^5~\ell \right) , \end{aligned}$$
(2)

where \(F_{S}\), \(F_{P}\), \(F_{V}^{\pm }\), \(F_{A}^{\pm }\), \(F_{T_1}\) and \(F_{T_2}\) are the relevant form factors, and they are defined as follows:

$$\begin{aligned} \langle D |J_S |B \rangle&= F_S,\end{aligned}$$
(3a)
$$\begin{aligned} \langle D |J_P |B \rangle&= F_P,\end{aligned}$$
(3b)
$$\begin{aligned} \langle D |\left( J_V\right) _{\alpha } |B \rangle&= F_V^+ p_{\alpha } + F_V^- q_{\alpha },\end{aligned}$$
(3c)
$$\begin{aligned} \langle D |\left( J_A\right) _{\alpha } |B \rangle&= F_A^+ p_{\alpha } + F_A^- q_{\alpha },\end{aligned}$$
(3d)
$$\begin{aligned} \langle D |\left( J_{T_1}\right) _{\alpha \beta } |B \rangle&= F_{T_1}~p_{\alpha }~q_{\beta },\end{aligned}$$
(3e)
$$\begin{aligned} \langle D |\left( J_{T_2}\right) _{\alpha \beta } |B \rangle&= F_{T_2}~p_{\alpha }~q_{\beta }, \end{aligned}$$
(3f)

with

$$\begin{aligned} p \equiv p_B + p_D,\quad q \equiv p_B - p_D, \end{aligned}$$
(4)

in which \(p_B\) and \(p_D\) are the 4-momenta of the B meson and D meson, respectively. All the form factors appearing in the amplitude are complex, in general, and they contain all information regarding any new physics. Terms containing \(F_V\) and \(F_A\) are the ones allowed in the SM. As noted before NP can also alter \(F_V\) and \(F_A\) in addition to introducing other form factors. We shall use the angular distribution of \(B \rightarrow D \ell ^+ \ell ^-\) decays to find the various signatures of NP.

Fig. 1
figure 1

Decay of \(B^0 \rightarrow \overline{D}{} ^0 \ell ^+ \ell ^-\) in the Gottfried–Jackson frame

We shall discuss the decay \(B \rightarrow D \ell ^+ \ell ^-\) in the Gottfried–Jackson frame, which is shown in Fig. 1. In this frame the B meson flies along the positive z-direction with 4-momentum \(p_B = \left( E_B, \mathbf {p}_B \right) \) and decays to a D meson which flies along the positive z-direction with 4-momentum \(p_D = \left( E_D, \mathbf {p}_D \right) \) and to \(\ell ^+\), \(\ell ^-\) which fly back-to-back with 4-momenta \(p_+ = \left( E_+, \mathbf {p}_+ \right) \) and \(p_- = \left( E_-, \mathbf {p}_- \right) \) respectively, such that by conservation of 4-momentum we get \(\mathbf {p}_+ + \mathbf {p}_- = \mathbf {0}\), \(\mathbf {p}_B = \mathbf {p}_D\), and \(E_B = E_D + E_+ + E_-\). The \(\ell ^-\) flies outwards subtending an angle \(\theta \) with respect to the direction of flight of the B meson, in the Gottfried–Jackson frame. Let us also denote the three invariant mass-squares as follows:

$$\begin{aligned} s&= (p_+ + p_-)^2 = (p_B - p_D)^2, \end{aligned}$$
(5a)
$$\begin{aligned} t&= (p_D + p_-)^2 = (p_B - p_+)^2, \end{aligned}$$
(5b)
$$\begin{aligned} u&= (p_D + p_+)^2 = (p_B - p_-)^2. \end{aligned}$$
(5c)

It is easy to show that \(s + t + u = m_B^2 + m_D^2 + 2 m_{\ell }^2\), where \(m_i\) denotes the mass of particle i. In the Gottfried–Jackson frame, the expressions for t and u are given by

$$\begin{aligned} t&= a - b \cos \theta ,\end{aligned}$$
(6a)
$$\begin{aligned} u&= a + b \cos \theta , \end{aligned}$$
(6b)

where

$$\begin{aligned} a&= \left( m_B^2 + m_D^2 + 2 m_{\ell }^2 - s \right) /2,\end{aligned}$$
(7a)
$$\begin{aligned} b&= \sqrt{\lambda \left( m_B^2, m_D^2, s \right) \left( 1 - 4 m_{\ell }^2/s \right) }~/2, \end{aligned}$$
(7b)

with the Källén function \(\lambda (x,y,z)\) defined as

$$\begin{aligned} \lambda \left( x,y,z \right) = x^2 + y^2 + z^2 - 2 \left( xy + yz + zx \right) . \end{aligned}$$
(8)

It is clear that both a and b are functions of s only. We would also like to emphasize that the angular distribution given later in Sect. 3 involves the angle \(\theta \), which is the angle between the directions of flight of \(\ell ^-\) and D measured in the Gottfried–Jackson frame, as shown in Fig. 1.

3 The model-independent observables and signatures of new physics

3.1 Angular distribution and various observables

Using the most general form of the amplitude as given in Eq. (2) we can write down the following expression for the most general angular distribution for the \(B \rightarrow D \ell ^+ \ell ^-\) decays:

$$\begin{aligned} \frac{\mathrm{d}^2 \Gamma }{\mathrm{d}s \; \mathrm{d}\cos \theta } = \frac{b~\sqrt{s} \left( T_0 + T_1~\cos \theta + T_2~\cos ^2\theta \right) }{128 ~ \pi ^3 ~ m_B^2 \left( m_B^2 - m_D^2 + s \right) }, \end{aligned}$$
(9)

where we note again that the angle \(\theta \) is measured in the Gottfried–Jackson frame as shown in Fig. 1, and

$$\begin{aligned} T_0&\equiv T_0(s) \nonumber \\&= 2 s \left( \left| F_S \right| ^2 + \left| F_P \right| ^2 \right) + 2 \left( \left| F_V^+ \right| ^2 + \left| F_A^+ \right| ^2 \right) \lambda \left( m_B^2, m_D^2, s \right) \nonumber \\&\quad - 8 m_{\ell } \Big ( \left( m_B^2 - m_D^2 \right) \text {Re}\left( F_P F_A^{+*} \right) + \text {Re}\left( F_P F_A^{-*} \right) s \nonumber \\&\quad - \text {Im}\left( F_V^+ F_{T_1}^* \right) \lambda \left( m_B^2, m_D^2, s \right) \Big ) \nonumber \\&\quad + 8 m_{\ell }^2 \Big ( - \left| F_S \right| ^2 + \left( \left| F_A^- \right| ^2 - \left| F_A^+ \right| ^2 \right) s \nonumber \\&\quad + 2 \left( m_B^2 + m_D^2 \right) \left| F_A^+ \right| ^2 + \left| F_{T_1} \right| ^2 \lambda \left( m_B^2, m_D^2, s \right) \nonumber \\&\quad + 2 \left( m_B^2 - m_D^2 \right) \text {Re}\left( F_A^+ F_A^{-*} \right) \Big ),\end{aligned}$$
(10a)
$$\begin{aligned} T_1&\equiv T_1 (s) \nonumber \\&= 8 b \Big ( s \left( \text {Im}\left( F_S F_{T_1}^*\right) + \text {Im}\left( F_P F_{T_2}^*\right) \right) \nonumber \\&\quad - 2 m_{\ell } \Big (\text {Im}\left( F_A^+ F_{T_2}^*\right) \left( m_B^2 - m_D^2\right) \nonumber \\&\quad - \text {Re}\left( F_S F_V^{+*}\right) + \text {Im}\left( F_A^- F_{T_2}^*\right) s\Big )\Big ) ,\end{aligned}$$
(10b)
$$\begin{aligned} T_2&\equiv T_2 (s) \nonumber \\&= -8 b^2 \left( \left| F_V^+ \right| ^2 + \left| F_A^+ \right| ^2 - s \left( \left| F_{T_1} \right| ^2+\left| F_{T_2} \right| ^2 \right) \right) , \end{aligned}$$
(10c)

where b is given in Eqs. (7a) and (7b). One can compare these results with those obtained for \(\bar{B} \rightarrow \bar{K} \ell ^+ \ell ^-\) decays, e.g. in Ref. [16, 17]. By equating the following substitutions at the amplitude level: \(F_S \rightarrow F_S + \cos \theta F_T\), \(F_P \rightarrow F_P + \cos \theta F_{T5}\), \(F_V^+ = F_V^- \rightarrow F_V/2\), \(F_A^+ = F_A^- \rightarrow F_A/2\), \(F_{T_1} \rightarrow 0\) and \(F_{T_2} \rightarrow 0\), we can see that our results completely agree with those in [16]. In the limit of \(m_{\ell } \rightarrow 0\) (which is a reasonable approximation at the B meson mass scale), we get

$$\begin{aligned} T_0 \Big |_{m_{\ell }=0}&= 2s \left( \left| F_S \right| ^2 + \left| F_P \right| ^2 \right) \nonumber \\&\quad + 2 \left( \left| F_V^+ \right| ^2 + \left| F_A^+ \right| ^2 \right) \lambda \left( m_B^2, m_D^2, s \right) ,\end{aligned}$$
(11a)
$$\begin{aligned} T_1 \Big |_{m_{\ell }=0}&= 4s \Big ( \text {Im}\left( F_{T_1} F_S^{*} \right) + \text {Im}\left( F_{T_2} F_P^{*} \right) \Big ) \sqrt{\lambda \left( m_B^2, m_D^2, s \right) } ,\end{aligned}$$
(11b)
$$\begin{aligned} T_2 \Big |_{m_{\ell }=0}&= -2 \left( \left| F_V^+ \right| ^2 + \left| F_A^+ \right| ^2 \right) \lambda \left( m_B^2, m_D^2, s \right) \nonumber \\&\quad + 2 s \left( \left| F_{T_1} \right| ^2+\left| F_{T_2} \right| ^2 \right) \lambda \left( m_B^2, m_D^2, s \right) , \end{aligned}$$
(11c)

where we have used the fact that \(b=\sqrt{\lambda \left( m_B^2, m_D^2, s \right) }/2\) for \(m_{\ell } = 0\). It is easy to notice that in the approximation of massless electrons and muons, it is the \(T_1\) term which carries the interference terms. We define three asymmetries \(A_j\) (\(j=0,1,2\)) which would be proportional to the terms \(T_j\) in Eq. (9):

$$\begin{aligned} A_0 \equiv A_0 (s)&= \frac{\displaystyle -\frac{1}{6} \left( \int _{-1}^{-\frac{1}{2}} - 7 \int _{-\frac{1}{2}}^{\frac{1}{2}} + \int _{\frac{1}{2}}^{1} \right) \frac{\mathrm{d}^2\Gamma }{\mathrm{d}s \, \mathrm{d}\cos \theta } \; \mathrm{d}\cos \theta }{\mathrm{d}\Gamma /\mathrm{d}s} \nonumber \\&= \frac{3}{2} \left( \frac{T_0}{3 T_0 + T_2} \right) ,\end{aligned}$$
(12a)
$$\begin{aligned} A_1 \equiv A_1 (s)&= \frac{\displaystyle - \left( \int _{-1}^{0} - \int _{0}^{1} \right) \frac{\mathrm{d}^2\Gamma }{\mathrm{d}s \, \mathrm{d}\cos \theta } \; \mathrm{d}\cos \theta }{\mathrm{d}\Gamma /\mathrm{d}s} \nonumber \\&= \frac{3}{2} \left( \frac{T_1}{3 T_0 + T_2} \right) ,\end{aligned}$$
(12b)
$$\begin{aligned} A_2 \equiv A_2 (s)&= \frac{\displaystyle 2 \left( \int _{-1}^{-\frac{1}{2}} - \int _{-\frac{1}{2}}^{\frac{1}{2}} + \int _{\frac{1}{2}}^{1} \right) \frac{\mathrm{d}^2\Gamma }{\mathrm{d}s \, \mathrm{d}\cos \theta } \; \mathrm{d}\cos \theta }{\mathrm{d}\Gamma /\mathrm{d}s} \nonumber \\&= \frac{3}{2} \left( \frac{T_2}{3 T_0 + T_2} \right) . \end{aligned}$$
(12c)

It is important to notice that these asymmetries are defined in the Gottfried–Jackson frame (in which the two leptons fly away from each other back-to-back) and not in the laboratory frame. It is also easy to see that the forward–backward asymmetry \(A_{\mathrm{FB}}\) (again in the Gottfried–Jackson frame) is related to the asymmetry \(A_1\) as follows:

$$\begin{aligned} A_{\mathrm{FB}} \equiv A_{\mathrm{FB}} (s) = \frac{\displaystyle \left( \int _{-1}^{0} - \int _{0}^{1} \right) \frac{\mathrm{d}^2\Gamma }{\mathrm{d}s \, \mathrm{d}\cos \theta } \; \mathrm{d}\cos \theta }{\mathrm{d}\Gamma /\mathrm{d}s} = -A_1. \end{aligned}$$
(13)

Let us now analyze the three asymmetries keeping an eye on signatures of any new physics.

3.2 The model-independent signatures of new physics

In the case of the SM, only \(F_A\) and \(F_V\) contribute to the angular distribution. Therefore, all the interference terms in the expression for \(T_1\) in Eq. (10b) are identically equal to zero, making \(T_1\) to vanish in the SM. Moreover, if we consider the leptons to be massless, the combination \(\Big (T_0 + T_2 \Big )\Big |_{m_{\ell }=0} = 2s \Big ( \left( \left| F_S \right| ^2 + \left| F_P \right| ^2 \right) + \left( \left| F_{T_1} \right| ^2 + \left| F_{T_2} \right| ^2 \right) \sqrt{\lambda \left( m_B^2, m_D^2, s \right) } \Big )\) also vanishes in the SM. Therefore, in the SM we have the following predictions:

$$\begin{aligned} T_1&= 0,\quad \quad \text {(SM prediction)}\end{aligned}$$
(14a)
$$\begin{aligned} T_0 + T_2&= 0. \quad \quad \text {(SM prediction with} \,\,m_{\ell }=0) \end{aligned}$$
(14b)

These results can be compared with similar results obtained in Ref. [16] in the context of \(\bar{B} \rightarrow \bar{K} \ell ^+ \ell ^-\) modes. If we keep terms proportional to lepton mass, then \(T_0\) has got some additional contributions in the SM from the following terms:

$$\begin{aligned}&8 m_{\ell }^2 \Big ( \left( \left| F_A^- \right| ^2 - \left| F_A^+ \right| ^2 \right) s + 2 \left( m_B^2 + m_D^2 \right) \left| F_A^+ \right| ^2 \\&\quad + 2 \left( m_B^2 - m_D^2 \right) \text {Re}\left( F_A^+ F_A^{-*} \right) \Big ). \end{aligned}$$

To get an idea about such contributions let us assume that \(F_A^+ = F_A^- = F_A/2\) and \(F_A\) is real. Then the above term reduces to \(8m_{\ell }^2 m_B^2 F_A^2\). If we compare this term with another term in \(T_0\), which is independent of \(m_{\ell }\) but dependent on \(F_A\) (i.e. \(\frac{1}{2} F_A^2 \lambda \left( m_B^2, m_D^2, s \right) \)) we find that the mass dependent term is suppressed by a factor about \(\mathcal {O}\left( 16 m_{\ell }^2/m_B^2 \right) \), which for the muon is about \(6.4 \times 10^{-3}\) and for electron is about \(1.5\times 10^{-7}\). Thus neglecting contribution of such terms in comparison with other \(m_{\ell }\) independent terms is justified. It must be noted that one can consider, in principle, the contribution from Higgs (contributing to \(F_S\)). However, it is well known that such contributions are also proportional to \(m_{\ell }^2\) and hence can, once again, be safely neglected.

Since \(A_n = \displaystyle \frac{3}{2} \left( \frac{T_n}{3T_0 + T_2} \right) \), for \(n \in \{0,1,2\}\) from Eqs. (12a), (12b), and (12c), we get the following predictions for the asymmetries from the SM:

$$\begin{aligned} A_1 = -A_{FB}&= 0\quad \quad \text {(SM prediction),}\end{aligned}$$
(15a)
$$\begin{aligned} A_0 + A_2&= 0. \quad \quad \text {(SM prediction with}\,\, m_{\ell }=0). \end{aligned}$$
(15b)

So the SM predicts that the forward–backward asymmetry in the decay modes under our consideration be identically equal to zero. The vanishing forward–backward asymmetry is a very well-known feature of SM in the \(\bar{B} \rightarrow \bar{K} \ell ^+ \ell ^-\) decays (see [16]). This is also mentioned in the context of \(B \rightarrow D \ell ^+ \ell ^-\) decays in Ref. [15]. Utilizing the fact that in SM for \(m_{\ell } = 0\) we have \(T_0 + T_2 = 0\), it is very easy to predict the following values for the asymmetries [from Eqs. (12a), (12b), and (12c)],

$$\begin{aligned} A_1&= -A_{\mathrm{FB}} = 0\quad \quad \text {(SM prediction),}\end{aligned}$$
(16a)
$$\begin{aligned} A_0&= - A_2 = \frac{3}{4}\quad \quad \text {(SM prediction with}\, \,m_{\ell }=0). \end{aligned}$$
(16b)

Moreover, for the SM, the \(T_2\) term is given by

$$\begin{aligned} T_2 = -2 \left( \left| F_V^+ \right| ^2 + \left| F_A^+ \right| ^2 \right) \sqrt{\lambda \left( m_B^2, m_D^2, s \right) }, \end{aligned}$$

and considering massless leptons the \(T_0\) term is given by (in the SM),

$$\begin{aligned} T_0 = 2 \left( \left| F_V^+ \right| ^2 + \left| F_A^+ \right| ^2 \right) \sqrt{\lambda \left( m_B^2, m_D^2, s \right) }. \end{aligned}$$

In the presence of a sizable new physics contribution we find that

$$\begin{aligned} T_0&> 2 \left( \left| F_V^+ \right| ^2 + \left| F_A^+ \right| ^2 \right) \sqrt{\lambda \left( m_B^2, m_D^2, s \right) },\nonumber \\ T_2&> -2 \left( \left| F_V^+ \right| ^2 + \left| F_A^+ \right| ^2 \right) \sqrt{\lambda \left( m_B^2, m_D^2, s \right) }, \nonumber \\&\implies T_0 + T_2 > 0. \end{aligned}$$
(17)

Also in the presence of new physics

$$\begin{aligned} T_1 \ne 0. \end{aligned}$$
(18)

Translating these results into the observables \(A_0\), \(A_1\) and \(A_2\) we find the following signatures of new physics (NP):

$$\begin{aligned} A_1 = - A_{FB}&\ne 0 \quad \quad \text {(NP signature),} \end{aligned}$$
(19a)
$$\begin{aligned} A_0 + A_2&\ne 0 \quad \quad \text {(NP signature with}\,\, m_{\ell }=0). \end{aligned}$$
(19b)

It is important to note that these signatures are truly independent of any specific model for new physics. Moreover, if (19a) gets satisfied it automatically ensures that (19b) is also true, but not vice versa. This is because of the fact that the \(T_1\) term has interference terms in it; see Eqs. (10b) and (11b). We would like to emphasize that Eq. (19a) is true irrespective of the mass of the lepton. Moreover, at the B meson mass scale both electron and muon are effectively massless, and hence effectively \(A_0 + A_2 \ne 0\) is a signature of new physics.

Since in the SM, \(T_1 = 0\), the angular distribution in the SM is completely symmetric under \(\cos \theta \leftrightarrow -\cos \theta \). Any asymmetry in the angular distribution under \(\cos \theta \leftrightarrow -\cos \theta \) exchange is, therefore, a distinct signature of new physics.

3.3 Experimental signatures of new physics

Here we provide expressions for the asymmetries \(A_0\), \(A_1\) and \(A_2\), in terms of the easily observable distribution of events in the Dalitz plots for \(B \rightarrow D \ell ^+ \ell ^-\). The Dalitz plot can be obtained in any frame of reference, such as laboratory frame. We note that the quantity \(d^2 \Gamma /(\mathrm{d}s~\mathrm{d}\cos \theta )\) denotes the distribution of events inside the Dalitz plot. Figure 2 shows the variation of \(\cos \theta \) inside the Dalitz plot region allowed for \(B \rightarrow D \mu ^+ \mu ^-\) decays.

Fig. 2
figure 2

The region for Dalitz plot of \(B \rightarrow D\mu ^+ \mu ^-\) showing the variation of \(\cos \theta \) inside it. The solid lines take into account the mass of muon, but the dashed lines are for the massless muon case. The Dalitz plot can be divided into four segments, denoted by I, II, III, and IV, according to the region of \(\cos \theta \) as shown along the color bar here. The Dalitz plot can be obtained in any frame of reference. We need not go to the Gottfried–Jackson frame for the Dalitz plot, the laboratory frame is sufficient

As shown in Fig. 2 we can divide the Dalitz plot into four regions as defined by

$$\begin{aligned}&\text {Region I}: \quad 1 \ge \cos \theta \ge 0.5,\\&\text {Region II}: \quad 0.5> \cos \theta \ge 0,\\&\text {Region III}: \quad 0> \cos \theta \ge -0.5,\\&\text {Region IV}: \quad -0.5 > \cos \theta \ge -1. \end{aligned}$$

The asymmetries \(A_0\), \(A_1\) and \(A_2\) can now be redefined as follows:

$$\begin{aligned} A_0&= -\frac{1}{6} \left( \frac{N_{I} - 7 N_{II} - 7 N_{III} + N_{IV}}{N_{I} + N_{II} + N_{III} + N_{IV}} \right) ,\end{aligned}$$
(20a)
$$\begin{aligned} A_1&= \frac{N_{I} + N_{II} - \left( N_{III} + N_{IV}\right) }{N_{I} + N_{II} + N_{III} + N_{IV}},\end{aligned}$$
(20b)
$$\begin{aligned} A_2&= 2 \left( \frac{N_{I} - N_{II} - N_{III} + N_{IV}}{N_{I} + N_{II} + N_{III} + N_{IV}} \right) , \end{aligned}$$
(20c)

where \(N_i\) denotes the number of events inside the Dalitz plot region i. Since the Dalitz plot for \(B \rightarrow D \ell ^+ \ell ^-\) can be constructed in any frame of reference, including the laboratory frame, it is easy to measure the asymmetries as defined in Eqs. (20a), (20b), and (20c). The model-independent signatures of new physics in terms of these three asymmetries are given in Eq. (19b).

We can also define another asymmetry which will probe the symmetry of distribution of events in the Dalitz plot under \(\cos \theta \leftrightarrow -\cos \theta \) exchange. For this purpose we need to divide the Dalitz plot into even number of segments, each segment centered about some fixed value of \(\cos \theta \), say \(c\theta _m\) and with width \(\Delta c\theta \). The new asymmetry, called the binned asymmetry and denoted by \(A_{\text {bin}}\) can be defined as follows:

$$\begin{aligned} A_{\text {bin}} = \sum _{c\theta _m} \frac{N(c\theta _m) - N(-c\theta _m)}{N(c\theta _m) + N(-c\theta _m)}, \end{aligned}$$
(21)

where \(N(c\theta _m)\) denotes the number of events in the segment in which \(\cos \theta = c\theta _m \pm \Delta c\theta \). This binned asymmetry can be useful in probing the symmetry of distribution of events in the Dalitz plot under \(\cos \theta \leftrightarrow -\cos \theta \) exchange. If experimentally \(A_{\text {bin}} \ne 0\), it would imply the presence of some NP. This asymmetry would be more useful with large number of events in the Dalitz plot.

The symmetric distribution of events for the SM inside the Dalitz plot under \(\cos \theta \leftrightarrow -\cos \theta \) implies that the number of events inside each of the four regions of the Dalitz plot should be related to each other, i.e. \(N_\mathrm{I} = N_{\mathrm{IV}}\) and \(N_{\mathrm{II}} = N_{\mathrm{III}}\). If we further impose the conditions that \(A_0 = - A_2 = 3/4\) and \(A_1 = 0\), then it is easy to find that for \(m_{\ell } = 0\) we have the following prediction from SM:

$$\begin{aligned} \frac{N_{\mathrm{II}}}{N_{\mathrm{I}}} = \frac{11}{5} = \frac{N_{\mathrm{III}}}{N_{\mathrm{IV}}}. \end{aligned}$$
(22)

Once again any significant deviation from this will constitute a signature of NP.

3.4 Discussions regarding the effect of \(B^0 \)\(\overline{B}{} ^0 \) and \(D^0 \)\(\overline{D}{} ^0 \) mixing

It is essential to note that we get the same signatures of new physics as given in Eqs. (19a, 19b) whether we consider \(B^0 \rightarrow \overline{D}{} ^0 \ell ^+ \ell ^-\) or \(B^0 \rightarrow D^0 \ell ^+ \ell ^-\), thus implying that the \(D^0 \)\(\overline{D}^0\) mixing has no effect on our analysis. Similarly, it is also true that considering \(B^0 \rightarrow \overline{D}{} ^0 \ell ^+ \ell ^-\) or \(\overline{B}{} ^0 \rightarrow \overline{D}{} ^0 \ell ^+ \ell ^-\) also leads to the same signatures of new physics as given in Eqs. (19a, 19b). Thus \(B^0 \)\(\overline{B}^0\) mixing also plays no role in our analysis. It must be noted that, for each distinct decay mode under consideration, the concerned quark currents are also distinct. However, for the different \(B \rightarrow D \ell ^+ \ell ^-\) decays (with their distinct quark currents), we always get the same set of signatures for new physics as given in Eqs. (19a) and (19b). Thus for a quick search for signature of new physics in the \(B \rightarrow D \ell ^+ \ell ^-\) modes we can take any neutral B meson as parent particle and consider any neutral D meson in the daughter particles. Furthermore, it must also be emphasized that even the events for \(B^+ \rightarrow D^+ \ell ^+ \ell ^-\) and \(B^- \rightarrow D^- \ell ^+ \ell ^-\) decays can be added as the charges of the B and D mesons do not affect the signatures of new physics as given in Eqs. (19a) and (19b). If we combine all these decay modes, the data set will become larger and it will be possible to get an early measurement of the signature of new physics. However, a mode specific analysis would yield the extent to which new physics affects each specific decay mode.

4 Conclusions

Thus we have provided a fully model-independent analysis of the rare \(B \rightarrow D \ell ^+ \ell ^-\) decays. We have provided the full model-independent expression for the angular distribution along with expressions for three asymmetries which are sensitive to the three distinguishable parts of the angular distribution. We show that the three asymmetries are very sensitive to the presence of any new physics. We have also provided the distinct signatures of new physics in terms of these three experimentally observable asymmetries. Furthermore, all the decay modes can be analyzed together in the search for new physics, as \(B^0 \)\(\overline{B}^0\) and \(D^0 \)\(\overline{D}^0\) mixings do not affect the concerned signatures of new physics as enunciated in this paper. These features make this particular decay mode a very interesting mode to look for in the various ongoing and upcoming B physics experiments, such as LHCb and Belle II.