1 Introduction
One of the fundamental ingredients of the Standard Model (SM) of particle physics is the Cabibbo–Kobayashi–Maskawa (CKM) matrix [
1,
2] which describes the quark mixing and holds the key to
CP-violating phenomena. Precise determination of the CKM matrix elements is therefore crucially important. In this respect, semileptonic weak decays of mesons play an important role in our understanding of the SM since they provide the most direct way to extract the CKM matrix elements from experiments. Purely leptonic decays of mesons can also be used for the same purpose, but in many cases, they are not as experimentally accessible as semileptonic decays due to helicity suppression. Moreover, in semileptonic decays, the appearance of one (and only one) hadron in the final state gives rise to a richer phenomenology in comparison with purely leptonic decays, and, at the same time, keeps semileptonic decays theoretically cleaner compared to nonleptonic ones (for reviews, see e.g., [
3,
4]).
Recently, the study of semileptonic decays of charm mesons has gained a great deal of attention, thank to the development of experimental facilities and progress in theoretical studies. Many collaborations have provided more and more precise measurements of these decays, which allow the extraction of the CKM matrix element
and
to an increasingly better accuracy. For example, the Particle Data Group (PDG) recently reported the values [
5]
and
based on the measurements of the decays
at
BABAR [
6,
7], Belle [
8], BESIII [
9], and CLEO [
10]. Note that such extraction of
requires theoretical calculation of the form factors characterizing the hadronic transitions
. Here, the form factors
and
obtained from a recent lattice QCD calculation [
11] were used.
Semileptonic
D(s) decays also offer stringent tests of the SM in the charm sector including the CKM matrix unitarity, isospin symmetry,
CP-violation, and lepton flavor universality (LFU). Recently, many semimuonic charm decays have been measured for the first time at BESIII [
12-
14]. This sheds more light on the search for possible LFU violations and new physics beyond the SM at the precision frontier. Last but not least, semileptonic
D(s) decays allow one to probe into the strong interaction effects happening in the transition between the initial and final mesons. These effects are parametrized by the hadronic invariant form factors which are functions of the momentum transfer squared (
q2) between the mesons. As a result, measurements of the form factors can be used to test different theoretical models and improve the inputs of theoretical calculations.
Weak decays of hadrons are characterized by the interplay between weak and strong interactions. While the structure of the weak interaction is rather simple in the SM, the dynamics of the strong interaction is theoretically challenging. The reason is simple: transitions between hadrons are related to the bound state effects and hadronization, which are characterized by nonperturbative dynamics. Therefore, one needs nonperturbative methods to take into account the strong interaction in these decays. These methods include lattice QCD, QCD sum rules, and quark models. Very recently [
15,
16], we studied a large set of
D(s) semileptonic decays where the hadron in the final state is one of
π,
ρ,
ω,
K,
,
η,
in the case of
D decays, and
φ,
K,
,
η,
in the case of
Ds decays. We also considered the decays
. In these studies, the form factors were calculated in the whole physical range of momentum transfer by using our covariant confining quark model (CCQM).
In this review, we provide a detailed theoretical description of the
D(s) semileptonic decays and summarize our theoretical predictions obtained in the CCQM, which were published in the recent papers [
15,
16]. We also discuss recent experimental data and other theoretical results. The rest of the review is organized as follows. In Section 2, we introduce the semileptonic matrix element and define the corresponding hadronic form factors. We also discuss several form factor parametrizations that are commonly used in the literature. In Section 3 we describe the helicity technique and use it to obtain the twofold decay distribution. Section 4 is devoted to the derivation of the full angular fourfold distribution and the construction of physical observables that can be studied experimentally. In Section 5 we briefly describe the CCQM and its application in the calculation of the hadronic form factors. Our predictions for the form factors, the decay branching fractions, and other physical observables are presented in Section 6. A detailed comparison of our results with other theoretical approaches and experimental data is provided. Finally, we briefly conclude in Section 7.
2 Matrix element and form factors
In the SM, semileptonic decays of D(s) meson proceed via two sub-processes and as depicted in Fig. 1. The theoretical description of the weak interactions in these decays is straighforward. However, the difficult part lies in the prediction of the strong interactions bounding quarks inside hadrons, which are large at the typical decay energies. Due to the fact that the boson decays into a lepton pair which is invisible to the strong force, the weak and strong interactions can be well separated. This makes semileptonic decays theoretically cleaner than nonleptonic decays.
In the SM, the matrix element for semileptonic decays of the D(s) meson to a pseudoscalar (P) or a vector (V) meson in the final state is written as
where GF is the Fermi constant. The leptonic and hadronic currents are given by
with and being the flavor-changing vector and axial-vector currents, respectively. All strong effects have been absorbed into the hadronic current , which is also referred to as the hadronic matrix element.
The hadronic matrix element is constructed from four-vectors appearing in the transition, namely, the four momenta and polarization vectors of the mesons. In the case of , there are two independent four-vectors, which can be taken as and . One can then parametrize in terms of two invariant form factors depending on the momentum transfer squared (q2) between the initial and final mesons as follows:
Note that for transitions, the axial-vector current does not contribute, and therefore, has been omitted in Eq. (4). In the case of , the additional polarization vector of the meson V gives rise to four form factors which can be defined as
where we have used the short notation . It is worth noting that , and the mesons are on shell: , . The vector current contributes to the form factor , while the axial-vector current contributes to .
There exists another way to define the form factors, which is more common in the literature, proposed by Bauer, Stech, and Wirbel (BSW) [
17]:
where is the abbreviation for
The BSW form factors satisfy the constraints
and
, so there is no singularity at
. The form factors
and
can be associated with the exchange of particles with quantum numbers
and
. The form factors
and
are associated with
and
, respectively [
3,
17]. The relations between our form factors defined in Eqs. (4, 5) and the BSW form factors read
In semileptonic decays of D and Ds mesons, the tau mode is kinematically forbidden. For the light lepton modes, the limit of zero lepton mass is often used. In this limit, the terms in the hadronic matrix elements that are proportional to do not contribute to the decay rates since as . Therefore, in the literature, more focus is on the form factors , , , and . For the transitions, the normalization of the form factor at maximum recoil has been studied extensively. Regarding the transitions, since the form factor appears in all helicity amplitudes (see Section 3), it is usually factored out by defining the following ratios at maximum recoil
From the experimental point of view, these ratios can be obtained without any assumption about the total decay rates or the CKM matrix elements.
Before moving to the next section, it is worth discussing several parametrizations of the form factors that are commonly used in the literature. There are two essential features one wishes to know about a form factor
: its normalization, usually at
, and its shape. The second becomes more important when the available kinematical range is large, since most of the theoretical calculations are best applicable only for a typically limited
q2 region. For example, LQCD works best at large
q2, while QCDSR — at small
q2. The knowledge of the form factor’s shape is then used to extrapolate the results to the rest
q2 range where direct calculation is less reliable. The lack of this knowledge leads to the main source of uncertainties when extracting the CKM matrix elements from experimental data on exclusive semileptonic decays. There is no QCD-based theory yet that can fully describe the complexity of strong interaction dynamics encoded in the hadronic form factors. However, several constraints on the behavior of the form factors can be obtained by using kinematic and dispersion relations, and by assuming some limits, such as the heavy quark limit and the large energy effective theory limit. For a detailed review on this subject, we refer the reader to [
18] and references therein. For a more recent review, see Appendix A.5 of [
19].
In early studies of beauty and charm semileptonic decays, the functional form of form factors were usually assumed to obey the simple pole model (also known as the nearest pole dominance)
which is based on the vector-dominance physical picture of the decays. The pole mass is the mass of the lowest-lying vector meson that has the appropriate quantum numbers dictated by the corresponding hadronic current. For example, for , and for . It soon became clear that this model was an oversimplification of the real dynamics: fitting to experimental data yields “non-physical” values of the pole mass. Also, when the kinematical range is large, two free parameters ( and ) are not enough to accommodate experimental data well.
In order to introduce a parametrization that fits data and, at the same time, has some physical meaning, Becirevic and Kaidalov [
20] came up with the modified pole model
where
is usually fixed to the physical value explained above, and
α is a free parameter that takes into account contributions from higher states in the form of an additional effective pole. This ansatz has been widely used in lattice calculations and experimental studies of semileptonic form factors due to its elasticity for data fitting and the ability to satisfy several constraints on the form factors. The modified pole model, however, faced the same difficulty as the single pole model did, when applied to a large variety of decays. While it still can be used to fit experimental data, the motivation for such simplification, which was originally proposed for beauty decays, turned out not quite valid for charm decays [
18,
21].
A more systematic and model-independent paramet-rization of semileptonic form factors has been developed by several groups based on rather general properties of the form factors including QCD dispersion relations and analyticity (see e.g., [
22-
28]). In particular, this parametrization provides better control of theoretical uncertainties in lattice calculations. The basic idea is to perform an analytic continuation of the form factors into the complex
plane. The physical semileptonic region is then given by
, with
. A generic form factor contains poles and a branch cut
along the real axis, where
is the pair-production threshold. One then (effectively) “factors out” the poles, and expands the rest of the form factor into a series around some kinetic point
t0. In order for the series to converge efficiently, the expansion is done with respect to a new variable
, which is a kinematic function of
t defined by
This conformal transformation maps the branching cut onto the unit z circle, and the rest of the complex t plane onto the open unit z disk. The kinematic point t0 is abitrary () and corresponds to . The “default” choice is a rather intermediate value, , which helps minimize the expansion parameter .
The parametrization is often referred to as “z-expansion” or “z-parametrization” and has the form
where the so-called Blaschke factor accommodates the resonances below the pair-production threshold , the so-called outer function is an abitrary function analytic outside of the cut, which is perturbatively calculable and does not affect physical observables, and are the expansion coefficients to be determined. The Blaschke factor is used to remove sub-threshold poles, for instance, for , and for . The outer function is chosen in such a way to provide a bound on the expansion coefficients. The typical bound is the unitarity condition for any K, which implies that the exclusive production rate of states induced by the given current must not exceed the inclusive one. This bound corresponds to the following standard choice of the outer function for the form factor
where the parameter
β is calculated by using operator product expansion techniques, which at leading order yields
for charm decays. The outer function for other form factors can be found in Ref. [
26].
The
z-expansion using the outer function in Eq. (15) is often referred to as the Boyd–Grinstein–Lebed parametrization. An alternative choice of the outer function was proposed by Bourrely, Caprini, and Lellouch in Ref. [
29], which results in a simple parametrization that combines the pole factorization and the
z-expansion as follows:
One of the advantages of this parametrization is the simplicity to translate the near-threshold behavior of the form factors into a useful constraint on the expansion coefficients. For the form factor , the asymptotic behavior near is imposed to obtain the final constrained form for the parametrization
3 Helicity amplitudes and decay distribution
Let us first consider the twofold differential decay distribution in terms of q2 and the polar angle θ. The polar angle θ is defined in the rest frame of the as the angle between the momentum of the final charged lepton and the direction opposite to the daughter meson’s momentum (see Fig. 2). One has
where is the momentum of the daughter meson in the D(s) rest frame, with being the Källén function.
The hadronic tensor is given by
where the tensor is defined by the relation . One can easily obtain the explicit expression for by comparing this relation with Eqs. (3) and (5).
The unpolarized leptonic tensor for the process is given by
where , and k1 (k2) is the momentum of the charged lepton (neutrino). The upper/lower sign refers to the two configurations. The sign change results from the parity violating part of the leptonic tensor. In our case we have to use the lower sign in Eq. (20). We use the following convention for the matrix and the Levi-Civita tensor in Minkowski space:
The Lorentz contraction in Eq. (18) can be evaluated in terms of the so-called helicity amplitudes as described in Refs. [
30-
34]. First, one defines an orthonormal and complete helicity basis
with three spin-1 components orthogonal to the momentum transfer
, i.e.,
, for
, and one spin-0 (time) component
with
. The orthonormality and completeness relations read
with and .
With the help of the completeness relation one then rewrites the contraction of the leptonic and hadronic tensors in Eq. (18) as follows:
where and are the leptonic and hadronic tensors in the helicity-component space. One has
The point is that the two tensors can now be evaluated in two different Lorentz frames. The leptonic tensor will be evaluated in the rest frame while the hadronic tensor — in the D(s) rest frame.
In order to express the helicity-components of the hadronic tensor through the invariant form factors given in Eqs. (4) and (5), one has to define the polarization vector explicitly. In the D(s) rest frame, the momenta and polarization vectors can be written as
where and .
For the transition one has
The helicity amplitudes Hm are written in terms of the invariant form factors as follows:
It should be noted that at maximum recoil (), and at zero recoil (.
For the transition, in addition to the polarization vector , one needs the explicit representation of the polarization vector of the daughter vector meson. In the rest frame, the helicity components of the vector read
The hadronic tensor for the transition is then rewritten in terms of the corresponding helicity amplitudes as follows:
Angular momentum conservation dictates that and for , and r, s=0 for m, n=t. One then obtains the following non-zero helicity amplitudes
Note that the helicity amplitudes satisfy the zero-recoil relations and . Also, at maximum recoil (), the dominating helicity amplitudes are Ht and H0, and .
We are done with the hadronic tensor . Let us now turn to the leptonic tensor , which is evaluated in the rest frame, where the charged lepton and the neutrino are back-to-back, i.e., k1+k2=0. Again, one needs explicit expressions for the momenta and polarization vectors in this frame. One has
with and being the energy and three-momentum of the charged lepton in the rest frame. The azimuthal angle χ is defined in Fig. 2. Here we have chosen a right-handed coordinate system such that the z axis is the direction of the in the parent rest frame, and the momentum of lies in the plane. The longitudinal, transverse, and time helicity-component of the polarization vector in the rest frame are given by
One obtains [the matrix columns and rows are ordered in the sequence ]
where we have introduced the velocity-type parameter and the helicity-flip factor . The upper/lower signs in the nonflip part of Eq. (33) stand for the two configurations .
In order to obtain the polar angle distribution, one integrates Eq. (33) over the azimuthal angle χ as follows: . The integration yields
Finally, the differential decay distribution over q2 and reads
where ’s are bilinear combinations of the helicity amplitudes whose definitions are given in Table 1. Note the zero-recoil relations and . Similar relations hold for the imaginary parts. At maximum recoil, the dominating helicity structure functions are , , and , and .
Integrating Eq. (35) over , one obtains the differential decay distribution over q2
4 Fourfold distribution and physical observables
The tensor contraction reveals more fruitful structures and physical properties when one considers the cascade decays . In particular, one can study the polarization of the V meson. As an example, we consider the decay , the kinematics of which is depicted in Fig. 2.
In the narrow-width approximation, the hadronic tensor reads
where is the standard spin-1 tensor, and p3 and p4 are the momenta of the K0 and π mesons, respectively. One has , , , and is the three-momentum of the K0 meson in the rest frame.
One needs explicit representations for the momenta and polarization vectors in the rest frame. These vectors are given by
where we have set the azimuthal angle of the -plane to zero without loss of generality.
The spin 1 tensor is then written as
Using the same technique as in Eq. (23) one can rewrite the contraction of the leptonic and hadronic tensors in terms of the helicity components.
Finally, one obtains the fourfold decay distribution as follows:
where
The upper/lower signs in the nonflip part of Eq. (41) correspond to the two configurations
. In this case, one uses the lower signs. In these decay,
CP symmetry is conserved and there are no final-state strong interaction effects. As a result, one may assume that all helicity amplitudes are real, which implies the vanishing of all terms proportional to
and
. The derivation of the fourfold distribution can also be done by using the Wigner
d-function (see e.g., [
35]).
The fourfold distribution allows one to define a number of physical observables which can be measured experimentally. We first define a normalized angular decay distribution through
Integration of over , and gives 1.
By integrating Eq. (41) over and χ one obtains the twofold () distribution given in Eq. (35). The normalized θ distribution is described by a tilted parabola
The linear coefficient in Eq. (43) can be extracted by defining a forward-backward asymmetry as follows:
The quadratic coefficient in Eq. (43) is extracted by taking the second derivative of . We therefore define a lepton-side convexity parameter by
It is worth noting that in the decays, the forward-backward asymmetry receives contributions from a purely parity-violating source originated by the interaction (results in ), and a parity-conserving source by the and interactions (results in ). The parity-conserving parity-odd contribution arises from the interference of the and components of the and current products, respectively. In the case of , the forward-backward asymmetry arises solely from the interference term of the current product.
By integrating the fourfold distribution over and χ one obtains the angular distribution over the angle whose normalized form is described by an untilted parabola (without a linear term)
The distribution can therefore be characterized by a hadron-side convexity parameter defined by
There is another way to extract information from the distribution. To do this one writes the distribution as
where and are the longitudinal and transverse polarization fractions of the meson, and are given by
The hadron-side convexity parameter and the polarization fractions of the meson are related by
The remaining coefficient functions , , and in Eq. (41) can be projected out by calculating the appropriate trigonometric moments of the normalized decay distribution . The trigonometric moments are written as
where defines the trigonometric moment that is being taken. One finds
The coefficient functions
,
, and
can also be projected out by taking piecewise sums and differences of different sectors of the angular phase space [
31].
Finally, we consider the longitudinal and transverse polarizations of the final charged lepton. One obtains the polarizations of the lepton by leaving the helicities of the lepton unsummed. The longitudinal polarization can be obtained directly from the difference between the helicity flip (hf) and nonflip (nf) structures as follows:
The transverse polarization can be calculated using the representation of the polarized lepton tensor given in the Appendix of [
35]. One obtains
For the decays there exists a simple relation between and which reads
It should be noted that the the lepton polarization depends on the frame in which it is defined. The longitudinal and transverse polarizations in (53) and (54) are calculated in the rest frame.
5 Form factors in the covariant confining quark model
The theoretical description of the
D(s) semileptonic decays that we have provided so far is model independent. Let us now turn to the calculation of the form factors, which depends on the nonperturbative method being applied. From the theoretical point of view, the calculation of hadronic form factors is the most difficult part in understanding semileptonic decays. Among various approaches, lattice QCD (LQCD) provides predictions with high accuracy and well controlled uncertainty. Therefore, LQCD results are often used for the extraction of the CKM matrix elements from experiments. However, since this approach requires extremely large computational sources, most of LQCD studies have been focusing on the key channels
(for reviews, see e.g., [
11,
19]).
Several
D(s) semileptonic decay form factors have been calculated using QCD sum rules (QCDSR) [
36-
39] and QCD light-cone sum rules (LCSR) [
40-
45]. Most of these studies focused on the channels
and
. In Ref. [
46], the authors used LCSR in the context of heavy quark effective theory to calculate the form factors of
D(s) semileptonic transitions to
π,
,
η,
ρ,
ω, and
φ. In the sum rules approach, the form factors are calculated for a limited kinematic region at small
q2. The values of the form factors at high
q2 are obtained by doing extrapolation, assuming a certain form factor behavior. This makes the predictions for the high-
q2 region less reliable, especially when the available kinematical range is large.
Semileptonic
D(s) form factors have been studied extensively in the framework of various phenomenological quark models. We mention here the Isgur–Scora–Grinstein–Wise (ISGW) model [
47] and its updated version ISGW2 [
48], the relativistic quark model using a quasipotential approach [
49], the chiral quark model [
50], the constituent quark model (CQM) [
51], the model combining heavy meson and chiral symmetries (HM
χT) [
52,
53], and the light-front quark model (LFQM) [
54-
56]. Several semileptonic
D(s) decays were also studied in the large energy effective theory [
57], chiral perturbation theory [
58], the so-called chiral unitary approach (
χUA) [
59], and a new approach assuming pure heavy quark symmetry [
60]. Recently, a simple expression for
semileptonic form factors was studied in Ref. [
61]. We also mention here early attempts to account for flavor symmetry breaking in pseudoscalar meson decay constants by the authors of [
62,
63]. It is worth noting that each method has only a limited range of applicability, and their combination will give a better picture of the underlined physics [
51].
An alternative quark-model approach to the study of semileptonic
D(s) form factors has been carried out recently by us in the framework of the covariant confining quark model [
15,
16]. The CCQM is an effective quantum field approach to the calculation of hadronic transitions [
64-
66]. The key assumption is that hadrons interact via the exchange of constituent quarks. This is realized by using a relativistic invariant Lagrangian describing the coupling of a hadron to its constituent quarks, the coupling strength of which is determined by the so-called compositeness condition
[
67,
68], where
ZH is the wave function renormalization constant of the hadron
H. To better understand the physical meaning of this condition, one should note that
is the matrix element between a physical bound state and the corresponding bare state. The
condition ensures the absence of any bare state in the physical state and, therefore, provides an effective description of a bound state. It also helps avoid double counting of hadronic degrees of freedom.
Starting with the effective Lagrangian written in terms of constituent quark and hadron quantum fields, one uses Feynman rules to evaluate quark diagrams describing the matrix elements of hadronic transitions. This approach is self-consistent and the calculation of form factors is straightforward. The model requires a small number of free parameters including the constituent quark masses, the effective size parameters of hadrons, and a universal infrared cutoff parameter. Notably, in the CCQM, all form factors are obtained in the whole kinematical range without using any extrapolation. Also, the model allows the study of multiquark states in a consistent manner. The CCQM has been successfully applied to a large number of studies involving mesons [
69-
73], baryons [
74-
77], and multiquark states [
78-
81]. More detailed descriptions of the CCQM can be found in these references. In what follows we just mention some main features of the model for completeness.
For a meson M, the effective Lagrangian describing the quark–hadron interaction is written as
where gM is the coupling strength which is determined by the compositeness condition mentioned above, and is the Dirac matrix containing the meson’s quantum numbers: for pseudoscalar mesons, and for vector mesons. Here, is the quark-hadron vertex function which effectively describes the quark distribution inside the meson and is given by
where such that . The function must have an appropriate falloff behavior in the Euclidean region to guarantee the absense of ultraviolet divergences in the quark loop integrals. In our previous studies, we have pointed out that the predictions for physical observables are insensitive to the specific form of . We therefore assume the following Gaussian form for in the momentum space for simplicity:
where is a model parameter characterizing the finite size of the meson.
The form factors are calculated by evaluating the one-loop Feynman diagram shown in Fig. 3. In the CCQM, the matrix element of the hadronic transition is written as a convolution of quark propagators and vertex functions as follows:
where is the number of colors and is a short notation for . Here, there are three quarks taking part in the process. We therefore use the double-subscript notation (i, j=1, 2, 3) such that . In Fig. 3, one has , , and . We use the Fock–Schwinger representation for the quark propagators Si, which brings in the integrations over the Schwinger parameters :
It is worth mentioning that all loop integrations are performed in Euclidean space. One uses the Wick rotation to transform the Minkowski space to the Euclidean space.
Details about the techniques we used for the loop-integration evaluation can be found in our previous papers (see e.g., Refs. [
66,
82]). By applying these techniques, one finally obtains the expression for a form factor
F in the form of a threefold integral
where is the resulting integrand for the form factor F, and λ is the infrared cutoff parameter, which is introduced to rule out possible thresholds related to the creation of free quarks. This means the parameter λ effectively assures the confinement of constituent quarks inside hadrons. This method is general and can be applied for diagrams with an arbitrary number of loops and propagators. In the CCQM, we take λ to be universal for all physical processes.
The CCQM contains several free parameters which cannot be obtained from first-principle calculations. These parameters include the hadron size parameters
, the constituent quark masses
mq, and the universal infrared cutoff parameter
λ. In order to determine their values, we fit our results for a set of radiative and leptonic decay constants to experimental data or LQCD [
70,
73]. The results of the fit for those parameters needed in this paper are listed in Tables 2 and 3. We list also the fit result for several leptonic decay constants in Table 4. As a byproduct, we include our predictions for the
D(s) purely leptonic decays in Table 5.
Once the model parameters are fixed, the calculation of the form factors is straightforward. One can use mathematica or fortran code to evaluate the threefold integral in Eq. (62). It is important to note that in the CCQM, the form factors are calculable in the entire range of momentum transfer without using any extrapolation. For convenience in the calculation of other physical observables such as the branching fractions, as well as for easy representation, we choose a double-pole parametrization to interpolate the calculated values of the form factors as follows:
This chosen parametrization works perfectly for all form factors. The difference between the exact calculated values and the interpolation curves is less than 1% for any value of q2.
In Table 6 we present our results for the parameters , a, and b appearing in the parametrization Eq. (63). In what follows we will compare our form factors with other theoretical approaches and available experimental measurements. For easy comparison, we relate all form factors to the BSW definition given in Eq. (6).
As a common drawback of phenomenological quark models, it is difficult to rigorously quantify the theoretical uncertainty of predictions in the CCQM. In order to estimate the uncertainties of our form factors, we assume that the main source of uncertainty is the errors of the model parameters obtained when fitting. These parameters are determined from a least-squares fit to experimental data and some lattice results. The errors of the fitted parameters are allowed to be within 10%. We then calculate the propagation of these errors to the form factors and found the uncertainties on the form factors to be of order 10%–15% at , and 20%–30% at . It should be kept in mind, however, that this is only a rough estimate.
Finally, it should be mentioned that in this paper, all physical quantities such as the mass and lifetime of mesons and leptons, the CKM matrix elements, and other constants are taken from the recent report of the PDG [
5]. In particular, the values
and
were used in our calculation of the branching fractions.
6 Results and discussion
6.1 and
The decays
have been studied extensively, both theoretically and experimentally, as the key channels for the determination of the CKM matrix elements
and
, as well as for the study of heavy-to-light semileptonic form factors. In particular, the normalization and the shape of the form factors
and
have been studied experimentally by FOCUS [
87], Belle [
8], CLEO [
10],
BABAR [
6,
7], and BESIII [
9,
88].
In Table 7 we compare the form factors and with those obtained in the LCSR, LFQM, and CQM, and with published LQCD results. One sees that the predictions are very consistent. In order to have a better picture of the form factors in the whole q2 range, we plot their q2 dependence in Fig. 4, which shows very good agreement between different approaches in the small-q2 region.
A recent lattice calculation of the
form factors was done by the ETM collaboration [
89,
94]. In this work, they also considered an additional tensor form factor associated with the tensor four-fermion operator which may appear beyond the SM. The tensor form factor is defined by [
95,
96]
In Fig. 5 we compare the form factors , , and of the transitions with the ETM results. One sees that our agrees with the ETM only in the low q2 region. However, our is very close to that of the ETM. Note that we obtained by evaluating . Meanwhile, the ETM collaboration directly calculated the scalar matrix element and then determined using the equation of motion. The tensor form factor, which is determined directly from the corresponding matrix element without any additional assumptions, shows full agreement between the two studies. The values of the form factors and their ratios at maximum recoil are also presented in Table 8 for comparison.
In Table 9 we present theoretical predictions for the branching fractions of the decays together with latest experimental results. Our predictions for the decays agree well with experimental data. For , our results are smaller by about 20%.
Several precise tests of isospin invariance and LFU were carried out by CLEO and BESIII. For this purpose, one defines the following rate ratios
Isospin invariance predicts
and
, while LFU expects
. Recently, BESIII [
14] provided new result for
and the first result for
. Combining with their previous measurements of the corresponding electron modes, they obtained the ratios
and
, which agree with LFU expectation within
and
, respectively. Similar test of LFU was done for the decays
[
97] with significantly improved precision. In Table 10 we summarize the result of these tests and also provide the values from the CCQM. The results show no significant violations of isospin symmetry or LFU.
6.2 and
The decays
were measured first by CLEO [
99,
100], and then by BESIII [
101] with improved precision. The two collaborations also provided the form factor ratios
r2 and
rV, which are presented in Table 11. Our prediction for
r2 is compatible with both experiments. Our value for
rV agrees with CLEO data, but is somewhat lower than BESIII result.
Using the 2010 PDG values of
and the
D+(0) lifetimes [
102], CLEO obtained the form factor normalizations
,
, and
. These values are in agreement with our results
,
, and
. In Fig. 6 we plot the
q2 dependence for the
form factors from several models for comparison. We also show here the form factors obtained from CLEO data [
99] using the single pole model they assumed for data fitting.
Finally, we summarize theoretical predictions for the branching fractions
in Table 12. It is worth considering that isospin invariance demands the ratio
to be equal to unity, and our calculation yields 0.98, in agreement with CLEO’s result of
[
99] and the value
by BESIII [
101].
6.3
The decay
was observed first by CLEO [
99], then by BESIII with improved precision [
103]. BESIII also obtained the form factor ratios
r2 and
rV for the first time, which perfectly agree with our prediction (see Table 13). In Fig. 7 we compare the
q2 dependence of the form factors with the LFQM [
56] and HM
χT [
53]. It is seen that our form factors are very close to those from the LFQM, especially
and
. In Table 14 we summarize theoretical predictions for the branching fractions
and experimental data for
.
6.4 and
The decays
are Cabibbo favored. However, the modes
are experimentally much more challenging than their isospin-symmetric modes
. The reason lies in the reconstruction of the
meson, which decays mainly into a
pair. For the
channel, the final-state charged mesons can be reconstructed better than the neutral kaon or pion appearing in the case of
[
3]. As a result, the
modes have been extensively studied in various experiments. In particular, the ratios of the form factors have been measured mostly in these modes, with the average values of
and
[
5] (see Table 15). These ratios were also measured in the decay
by FOCUS [
104] and
by BESIII [
105]. The precise measurement of
r2 by BESIII [
105] is, however, lower than the average value obtained in the
channel by about
. More experimental study should be dedicated to address this discrepancy.
In Fig. 8 we compare the
q2 dependence of the form factors calculated in our model, LFQM [
56], HM
χT [
53], and CQM [
51]. The shape and the normalization of our form factors are close to those from LFQM. It is worth mentioning that the normalization of the form factor
was obtained in several experiments. BESIII used the values
s and
to obtain
[
106].
BABAR used the same value for
and
to obtain
[
107]. Our model predicts
, which is slightly larger than both experimental values.
In Table 16 we present the branching fractions of the decays . Our results agree with those obtained in the LFQM, but are larger than other theoretical predictions and experimental results.
6.5
In Table 17 we present the theoretical predictions for the form factor
. Our prediction is comparable to those from LFQM [
56] and CQM [
51], however, smaller than the results of LCSR [
46] and lattice calculations [
89,
91,
92]. In Fig. 9 we plot the
q2 dependence for the form factors
and
. It is seen that the CCQM predicts smaller values for these form factors in the whole
q2 range. As a result, our branching fractions are smaller than the predictions of other theoretical approaches, as seen in Table 18.
Our result for the branching fraction of
is nearly two times smaller than the CLEO central value [
109]. Recently, the BESIII collaboration reported their new measurements of the branching fractions for the decay
with improved precision [
110]. They also obtained for the first time the values of the form factors at maximum recoil. Their result for
is closer to our prediction, in comparison with the CLEO one [
109], but is still larger than ours by about
. Regarding the form factor, BESIII obtained the value
which marginally agrees with our prediction
.
6.6
The decays
are Cabibbo suppressed and therefore, experimentally challenging. There exist only two measurements of the electron mode
by CLEO [
109,
111] and BESIII [
110] collaborations. BESIII also measured the form factor ratios for the first time. However, the current uncertainties for these ratios are still large, and cover the wide range of various theoretical predictions (see Table 19).
More experimental data would be needed to test these predictions, which differ largely between models. In Fig. 10 we compare the shape of the form factors in the entire q2 range between our model, LFQM, HMχT, and CQM. The results for the branching fractions are presented in Table 20. Despite the difference in the form factors, the branching fractions from different models are quite consistent, and agree well with the available experimental data.
6.7
The form factor ratios for the
transition are shown in Table 21. In general, our results for the ratios
r2 and
rV agree well with the PDG data within uncertainty. However, in the case of
, our prediction is much lower than that from PDG. Note that our value
is close to the values 1.42 from the LFQM [
56] and 1.37 from LCSR [
46].
The full set of
form factors was obtained from full LQCD by the HPQCD collaboration [
112]. The available kinematic range
GeV
2 in this channel was small enough to be covered entirely in the calculation. Their results for the ratios
r2 and
rV are also given in Table 21, which are in agreement with
BABAR data [
113] and with the world average values from PDG.
The
q2 dependence of the form factors are shown in Fig. 11. Our form factors are close to the LFQM predictions. The form factor
varies largely between models. It should be noted that for this decay, the form factors obtained in the CQM [
51] agree well with LQCD calculation [
112].
In Table 22 we present predictions and experimental results for the branching fractions
. The decay
has been measured by
BABAR, CLEO, and BESIII collaborations. The results were averaged by the PDG, giving
[
5]. The muon mode was measured by BESIII very recently [
13].
6.8 and
The semileptonic decays of
D(s) into
η(′) are of special interest since they help probe the
η–
η′ mixing angle and can shed more light on the long-standing question on the gluonic component of these mesons. Many analyses and phenomenological studies have been done to find a definite answer. However, at the moment, this remains an open question since the current experimental and theoretical results are not precise enough to approve or rule out the gluonic contribution. More precise experimental data on
η(′) decays as well as better input from LQCD are therefore highly awaited (see e.g., Refs. [
114-
116] and references therein).
The mixing can be described in two bases. In the singlet-octet basis, these mesons are mixtures of the and components,
While in the quark basis, η and η′ are composed by the nonstrange and strange states,
The two bases can be transformed between each other. The relation between the mixing angles reads
. It should be noted that, in general, two mixing angles in each basis are required to properly take into account
symmetry breaking effects. However, in the quark basis, the two angles are very close, and the use of only one effective mixing angle is adequate [
117]. Finally, in the quark basis, the gluonic component can be included by using an additional mixing angle
as follows [
115]:
where the
contribution to the
η state, which is supposed to be smaller than that to
η′ [
118], has been omitted for simplicity.
In our calculation, we assume zero gluonic contribution. We use the quark basis, however, with a different mixing angle δ as follows:
The angle
δ is related to
and
by
. We take the value
from Ref. [
117]. It is important to note that, in the CCQM, we distinguish between the size parameters of the strange and nonstrange pieces appearing in the quark currents:
We remind the reader that
is the vertex function of the state
X, which contains the corresponding size parameter
. This treatment effectively helps take care of
breaking, and requires four independent size parameters which should be fitted from a number of electromagnetic processes involving
η and
η′ (see [
66] for more detail). The results for these parameters are shown in Table 2.
Since we use four independent size parameters, the “physical” form factors of the transitions and are written as†
It should be noted that , so one has and . This change of sign comes from the mixing and not from the relevant diagrams. In what follows, we will refer to as without using the absolute-value notation. Assuming relatively small breaking, one would expect that and . However, in the framework of the CCQM, we observe that this is true only for the case . For , the form factors and differ significantly (see Table 23). This implies that the breaking effects are large in this case.
In Table 24 we summarize the results for
. It is seen that for the
channels, current theoretical predictions are quite consistent between each other, and agree reasonably well with the first experimental data obtained very recently by BESIII [
119]. However, the lattice calculation [
120] shows the tendency
, which is opposite to what is observed in other approaches and from BESIII result. It is interesting to note that the predictions in different quark models (including ours) for
are identical. Regarding the transitions
, no experimental data is available so far. Our predictions show that
while LFQM and LCSR calculations observed a mild tendency that
. This would serve as a good test for the model predictions, given that measurements of
will soon be available. In Fig. 12, we plot the
q2 dependence of the form factors
obtained in various approaches.
Theoretical predictions and experimental data for the branching fractions of the decays
are summarized in Table 25. It is seen that our results agree very well with CLEO and BESIII measurements. Regarding the ratios of branching fractions, we got
which coincides with the result
obtained by CLEO [
111] and the more recent one
by BESIII [
121]. Our result
agrees with the values
and
extracted from experimental data by CLEO [
122] and BESIII [
123], respectively. Our prediction
is in good agreement with the recent result
of BESIII [
13]. Finally, we predict
which will be tested by future experiments.
6.9
The decays
are of particular interest because they are induced by the light quark decay
, while the heavy
c quark acts as the spectator. The available
q2 range in these decays are very small,
GeV
2, and the only possible final charged lepton is the positron. This phase-space suppression makes the decays very rare in the SM, and the observation of
is far beyond the current experimental capacity. However, the decay
can be reached in the near future by Belle II. Recently, the first experimental constraint on the branching fraction
was obtained by BESIII [
124]. However, the upper limit is still far above the SM predictions.
From the theoretical point of view, the small phase space helps to reduce significantly the theoretical errors, and the branching fractions can be calculated with high precision. This provides a precise test of the SM in future experiments and deepens our understanding of the light quark transitions in the background field of the heavy spectator. The first theoretical calculation of these rare decays was done with the help of flavor
symmetry in the light quark sector [
125]. By assuming
symmetry, the form factors are normalized to unity at maximum recoil,
. Their
q2 dependence is then obtained by using the simple pole extrapolation. Finally, the uncertainties are estimated based on
breaking effects due to the strange quark mass. A more detailed study later was done using a similar approach with an extension to the semileptonic and nonleptonic decays of heavy baryons [
126].
In the CCQM, we obtain and for the whole q2 range. In Table 26, we summarize the results for the semileptonic decays . The branching fractions obtained in the CCQM are comparable with other theoretical calculations mentioned above.
6.10 Polarization observables
In Section 4, starting with the full angular distribution, we have defined a number of physical observables that can be studied experimentally. These observables include the forward-backward asymmetry
, the longitudinal
and transverse
polarizations of the final charged lepton, the lepton-side
and hadron-side
convexity parameters, the polarization fractions of the final vector meson
, and the trigonometric moments
. These observables provide a more detailed picture of the physics in semileptonic decays of hadrons, and help study the lepton-mass effects. At
B-factories, polarization observables have been measured extensively, especially in light of several LFU violation signals accumulated recently in
B meson decays (for a recent review, see e.g., Ref. [
127]).
Due to currently limited statistics, it is difficult to measure the q2 dependence of these observables. Instead, they are usually averaged over the whole q2 range. It should be noted that, in order to calculate the q2 average, one has to multiply both the numerator and denominator of e.g. Eq. (44) by the q2-dependent piece of the phase-space factor, and then integrate the two separately. For example, the mean forward-backward asymmetry is calculated as follows:
In Table 27 we summarize our predictions for the q2-average of the polarization observables† One sees that the lepton-mass effect in is small for the transitions: the absolute values of the asymmetry for the muon modes are only about 15% larger than those for the corresponding positron ones. For the transitions, one has , simply because the forward-backward asymmetry in this case is proportional to the lepton mass squared. In the zero lepton mass limit, leptons are purely longitudinally polarized. The longitudinal polarization of the positron is very close to the zero-lepton-mass value of unity. It is essentially the muon mass that brings in a difference of about 10%–30% between and . The lepton-mass effect in the transverse polarization is much more significant than that in the longitudinal one due to the fact that is directly proportional to . It is seen explicitly in Table 27 that . Regarding the lepton-side convexity parameter, the lepton-mass effect yields a difference of about 10%–20% between and . For , are all very close to -1.5, which is the exact value in the zero lepton mass limit.
In Table 28 we present our predictions for the longitudinal polarization fraction of the final vector meson and the trigonometric moments. The lepton-mass effect in these observables is rather small, about 2%–13%. For the positron modes, one has , which indicates that the final vector mesons are polarized slightly more longitudinally than transversely. However, this tendency reduces, and can even be reversed in the muon modes, as one can see for . It is important to note that this should be confirmed by experiments, since such small difference (0.49 vs. 0.50) lies within the theoretical uncertainty of the CCQM. For , one simply has , and .
The fraction has been studied widely, both theoretically and experimentally, in beauty decays. In charm decays, the equivalent observable has traditionally been used more often in the literature, where denotes the partial decay rate of the vector meson in the final state with longitudinal (transverse) polarization. The relation between the two observables reads
In Table 29 we summarize theoretical predictions for
. The ratio has been measured in the decays
and
, with the average values of
and
, respectively [
5]. The later is quite small, compared to the predictions of 1.11 in our model and 1.13 in the LFQM [
128].
7 Summary and conclusion
We provided a detailed theoretical description of charm semileptonic decays with strong emphasis on phenomenological applications. Starting with the decay matrix elements, we defined the hadronic form factors and discussed their parametrizations commonly used in the literature. The full angular decay distribution was obtained with the help of the helicity technique in a pedagogical manner. Systematically, a large set of physical observables were introduced based on the angular distribution, which provides a detailed framework for the study of semileptonic decays. All formulae were derived in their full form, taking into account the lepton mass.
The review included recent experimental data on the
D and
Ds semileptonic decays and the corresponding theoretical predictions from various studies. However, we focused mainly on our predictions obtained in the covariant confining quark model, which allowed us to calculate all nescessary hadronic form factors in the full kinematic regions. A thorough comparison of the form factor normalization and shape was provided between the CCQM and other theoretical approaches, as well as experimental data whenever possible. In general, our predictions for the form factor
and the ratios
agree reasonably well with experimental data. However, the prediction
is quite small compared to the world average value
given by the PDG [
5]. By systematically comparing our form factors with those from other approaches, we observed that: (i) our form factors are less steep near
; (ii) the CCQM tends to predict higher values for
and lower values for
in comparision with other theoretical studies, which results in smaller values for the ratio
rV; (iii) both the normalization and shape of our form factors are very close to those in the covariant LFQM.
Our results for the decay branching fractions and their ratios are in good agreement with other theoretical approaches and with recent experimental data given by
BABAR, CLEO, and BESIII collaborations. In particular, the ratios of branching fractions are in full agreement with experimental data. Regarding the branching fraction, for all decays, our results agree with experimental data within 35% theoretical uncertainty, and in many cases, within 15%. The only exception is the branching fraction
, which is twice as small as CLEO result of
[
109], and disagrees with the recent BESIII value
[
110] by about 60%. Finally, we discussed the lepton mass effect and provided the first ever theoretical predictions for a large set of polarization observables, including, in particular, the forward-backward asymmetries, the lepton longitudinal and transverse polarizations, and the final vector meson polarizations, which are important for future experiments.
Higher Education Press and Springer-Verlag GmbH Germany, part of Springer Nature 2019