1 Introduction

Pseudoscalar mesons are fascinating for many reasons. In the light-quark sector, the pion is remarkably light owing to dynamical chiral symmetry breaking [1]; itself, a corollary of emergent hadron mass (EHM) [2, 3]. Compared with the pion’s light u, d quarks, the s quark in the K couples more strongly to the Higgs boson. Thus, the kaon is heavier. However, if these Higgs couplings are switched off, then the \(\pi \) and K are practically identical: they are Nature’s most fundamental Nambu–Goldstone bosons. Consequently, comparisons between pion and kaon properties provide information on empirical expressions of EHM and insights into the constructive interference between Nature’s two most basic mass generating mechanisms [4,5,6,7,8,9].

These observations are highlighted by studies of the leptonic and semileptonic decays of the \(\pi \) and K, which measure the scale of EHM, the strength of Higgs boson couplings into quantum chromodynamics (QCD), and the size of the entries in the Cabbibo–Kobayashi–Maskawa (CKM) matrix that generate the associated flavour-changing weak interactions. In these cases, the CKM matrix elements are \(|V_{ud}|\) and \(|V_{us}|\). The former has been measured via the \(\pi ^+ \rightarrow \pi ^0 e^+ \nu _e\) transition [10], leading to [11, Sec. 12]:

$$\begin{aligned} |V_{ud}| = 0.9739(29) . \end{aligned}$$
(1)

The merits of this process lie in the facts that such semileptonic transitions proceed solely through the vector component of the weak interaction and there are no in-medium effects to consider, as there would be with measurements of nuclear transitions.

Semileptonic K decays are similarly used to extract \(|V_{us}|\). In this case, the zero-recoil value of the dominant transition form factor is not unity, so the measurements constrain a product [11, Sec. 12]:

$$\begin{aligned} |V_{us}| f_+^{K\pi }(0) = 0.2165(4) . \end{aligned}$$
(2)

\(f_+(0)\) can be calculated using continuum and lattice methods. An average of lattice results [12,13,14,15] yields: \(f_+^{K\pi }(0)=0.9692(29)\); hence, \(|V_{us}| =0.2234(7)\).

In connection with Eq. (2), an average of continuum predictions [16,17,18] yields

$$\begin{aligned} f_+^{K\pi }(0) = 0.972(8) . \end{aligned}$$
(3)

These Dyson–Schwinger equation (DSE) studies [19,20,21,22] employed the symmetry-preserving leading-order (rainbow-ladder, RL) truncation of the continuum bound-state problem [23, 24]; and no tuning effort was made. In combining them here, we exploited the fact that infrared observables are largely insensitive to the momentum dependence of the bound-state kernels owing to the emergence of a gluon mass-scale \(m_0 =0.43(1)\) GeV [7, 25,26,27,28].

In the tower of flavoured pseudoscalar mesons, the next states are the D and \(D_s\). The interplays between EHM and Higgs-boson (HB) mass generating effects in these systems are quite different from those in the lighter pseudoscalar mesons. Naturally, D and \(D_s\) would be indistinguishable from the \(\pi \) and K if all Higgs couplings were removed; but with the empirical values, the Higgs mechanism alone produces approximately 70% of their masses and constructive EHM + HB interference generates the remaining 30%, i.e. a 70:30 balance. The analogous results for the K and \(\pi \) are 20:80 and 5:95. Plainly, EHM is subdominant but still significant in D and \(D_s\) mesons.

These mass budgets were computed using information from Ref.  [7, Figs. 1.1, 2.5], including predictions for the active masses of the c and b quarks at \(\zeta _2=2\) GeV, viz.  1.27 GeV and 4.18 GeV, respectively. Averages of lattice results produce the following values for these quantities [29]: 1.280(13), 4.198(12).

Precise data are available for D and \(D_s\) semileptonic decays [30,31,32,33,34,35]. They provide access to \(|V_{cd}|\) and \(|V_{cs}|\); albeit, once again, multiplied by soft form factors: \(f_+^{D_s K}(0)\), \(f_+^{D\pi }(0)\) and \(f_+^{DK}(0)\). Lattice-QCD (lQCD) results are available for the last two [36,37,38] and continuum results for all three [18]:

figure a

A fourth form factor is not typically considered because the accuracy of isospin symmetry means \(D^+\rightarrow {\bar{K}}^0\) and \(D^0 \rightarrow K^-\) are practically equivalent.

Including the b quark, one has three more pseudoscalar systems: \(B_c\), \(B_s\), B. In these cases, the HB vs. EHM + HB mass budgets are 87:13 for the \(B_c\) and 80:20 for \(B_s\), B. Plainly, the Higgs mechanism is dominant, but the role of EHM is persistently non-negligible. There are also many more possible semileptonic transitions: \(B_c \rightarrow B\) links with \(|V_{cd}|\); \(B_c \rightarrow B_s\) with \(|V_{cs}|\); \(B\rightarrow \pi \) and \(B_s \rightarrow K\) with \(|V_{ub}|\); and \(B\rightarrow D\), \(B_s\rightarrow D_s\), \(B_c \rightarrow \eta _c\) with \(|V_{cb}|\). The last two open windows onto the third column of the CKM matrix. However, robust theoretical predictions for all the associated semileptonic transition form factors are difficult to obtain [39], owing chiefly to the vast separation between the masses of the participating valence-quarks and -antiquarks, and the diversity of competing scales in the processes.

The approach employed in Ref.  [18] can be adapted to predicting the leptonic and semileptonic decays of mesons containing a b quark. In preparing for such a unifying study using realistic quark + antiquark interactions, it is helpful to have a benchmark. One is provided by calculations made with a symmetry-preserving formulation of a vector \(\times \) vector contact interaction (SCI) [40, 41]. Such an approach preserves the character of more sophisticated treatments of the continuum bound-state problem whilst nevertheless enabling an algebraic simplicity; and widespread use has shown that, when interpreted carefully, SCI predictions provide a meaningful quantitative guide, see e.g. Refs.  [42,43,44,45,46,47,48,49,50,51,52,53,54]. Thus, with SCI results in hand, one has the means to check the validity of algorithms employed in studies that rely (heavily) upon high performance computing.

This discussion is arranged as follows. Section 2 explains our implementation of the SCI, including constraint of the ultraviolet cutoff and determination of values for the interaction-dependent current-quark masses. Section 3 details the SCI treatment of semileptonic transitions that proceed via the weak vector vertex, using \(D \rightarrow \pi ^-\) as the exemplar. Section 4 discusses SCI results for the three \(D_{(s)}\rightarrow \pi , K\) transitions that are distinguishable in the isospin-symmetry limit, including comparisons with other studies and experiment, where available. Section 5 proceeds with a similar discussion of the seven independent \(B_{(c,s)}\) semileptonic transitions, which present many challenges to experiment and theory [39]. Section 6 considers the question of environmental sensitivity, i.e. the evolution of semileptonic transition form factors as the Higgs mechanism of current-quark mass generation becomes a more important component of the final-state meson’s mass. Section 7 reports SCI predictions for the Isgur–Wise function [55], as inferred from the \(B_{(s)}\rightarrow D_{(s)}\) transitions. Section 8 presents a summary and perspective.

2 Contact interaction

When studying the continuum meson bound-state problem, the primary element is the quark + antiquark scattering kernel. In RL truncation, it can be written (\(k = p_1-p_1^\prime = p_2^\prime -p_2\), \(k^2 T_{\mu \nu }(k) = k^2 \delta _{\mu \nu } - k_\mu k_\nu \)):

(5a)
(5b)

The defining quantity is . Twenty years of study have revealed much about its pointwise behaviour. A key finding is that, owing to the emergence of a gluon mass-scale in QCD [7, 25,26,27,28], is nonzero and finite at infrared momenta; so, one may write

(6)

QCD has [28]: \(m_G \approx 0.5\) GeV, \(\alpha _{\mathrm{IR}} \approx \pi \). We follow Ref.  [52], retaining this value of \(m_G\), and since the SCI cannot support relative momentum between bound-state constituents, simplifying the tensor structure in Eqs. (5a, 5b) such that, in operation:

(7)

We implement a rudimentary form of confinement in the SCI by introducing an infrared regularisation scale, \(\varLambda _{\mathrm{ir}}\), when defining bound-state equations [56]. This device excises momenta less than \(\varLambda _{\mathrm{ir}}\), so eliminating quark + antiquark production thresholds [57]. The usual choice is \(\varLambda _{\mathrm{ir}} = 0.24\) GeV [41].

At the other extreme, the integrals appearing in SCI bound-state equations require ultraviolet regularisation. This breaks the link between infrared and ultraviolet scales that is a feature of QCD. The ultraviolet mass-scales, \(\varLambda _{\mathrm{uv}}\), become physical parameters that may be interpreted as upper bounds on the momentum domains whereupon distributions within the associated systems are effectively momentum-independent. For instance, the \(\pi \)-meson is larger in size than the B-meson; hence, one should expect \(1/\varLambda _{\mathrm{uv}}^\pi > 1/\varLambda _{\mathrm{uv}}^{B}\). As subsequently explained, this observation leads us to a completion of the SCI through introduction of a scale-dependent coupling [49,50,51,52].

The SCI gap equation for a quark of flavour f is

$$\begin{aligned} S_f^{-1}(p)&= i\gamma \cdot p +m_f \nonumber \\&\quad + \frac{16 \pi }{3} \frac{\alpha _{\mathrm{IR}}}{m_G^2} \int \frac{d^4q}{(2\pi )^4} \gamma _\mu S_f(q) \gamma _\mu , \end{aligned}$$
(8)

where \(m_f\) is the quark’s current-mass. Using a Poincaré-invariant regularisation, the solution is

$$\begin{aligned} S_f(p)^{-1} = i \gamma \cdot p + M_f , \end{aligned}$$
(9)

with the dynamically generated dressed-quark mass, \(M_f\), obtained by solving

$$\begin{aligned} M_f = m_f + M_f\frac{4\alpha _{\mathrm{IR}}}{3\pi m_G^2}\,\,\mathcal{C}_0^{\mathrm{iu}}(M_f^2) , \end{aligned}$$
(10)

where

$$\begin{aligned} {{\mathcal {C}}}_0^{\mathrm{iu}}(\sigma )&= \int _0^\infty \! ds \, s \int _{\tau _{\mathrm{uv}}^2}^{\tau _{\mathrm{ir}}^2} d\tau \,\mathrm{e}^{-\tau (s+\sigma )}\nonumber \\&= \sigma \big [\varGamma (-1,\sigma \tau _{\mathrm{uv}}^2) - \varGamma (-1,\sigma \tau _{\mathrm{ir}}^2)\big ], \end{aligned}$$
(11)

Here, the “iu” superscript highlights that the function involves both the infrared and ultraviolet cutoffs and \(\varGamma (\alpha ,y)\) is the incomplete gamma-function. In general, functions of the following form arise in solving SCI bound-state equations (\(\tau _{\mathrm{uv}}^2=1/\varLambda _{\text {uv}}^{2}\), \(\tau _\mathrm{ir}^2=1/\varLambda _{\text {ir}}^{2}\)):

$$\begin{aligned} \overline{{\mathcal {C}}}^{\mathrm{iu}}_n(\sigma )&= \varGamma (n-1,\sigma \tau _{\text {uv}}^{2}) - \varGamma (n-1,\sigma \tau _{\text {ir}}^{2}) , \end{aligned}$$
(12)

\({{\mathcal {C}}}^{\mathrm{iu}}_n(\sigma )=\sigma \overline{{\mathcal {C}}}^\mathrm{iu}_n(\sigma )\), \(n\in {{\mathbb {Z}}}^\ge \).

Pseudoscalar (\(J^P=0^-\)) mesons emerge as quark +antiquark bound-states. They are described by a Bethe–Salpeter amplitude, whose SCI form is [17]:

$$\begin{aligned} \varGamma _{0^-}(Q) = \gamma _5 \left[ i E_{0^-}(Q) + \frac{1}{2 M_{f g}}\gamma \cdot Q F_{0^-}(Q)\right] , \end{aligned}$$
(13)

\(M_{f g}= M_f M_{g}/[M_f + M_{g}]\), Q is the bound-state’s total momentum, \(Q^2 = -m_{0^-}^2\), \(m_{0^-}\) is the meson’s mass.

The amplitude and \(m_{0^-}^2\) are obtained by solving the following Bethe–Salpeter equation: \((t_+ = t+Q)\):

$$\begin{aligned} \varGamma _{0^-}(Q)&= - \frac{16 \pi }{3} \frac{\alpha _{\mathrm{IR}}}{m_G^2} \nonumber \\&\quad \times \int \! \frac{d^4t}{(2\pi )^4} \gamma _\mu S_f(t_+) \varGamma _{0^-}(Q)S_g(t) \gamma _\mu . \end{aligned}$$
(14)

Our symmetry-preserving approach implements a dimensional-regularisation-like identity [17]:

$$\begin{aligned} 0 = \int _0^1d\alpha \, \big [ {{\mathcal {C}}}_0^\mathrm{iu}(\omega _{fg}(\alpha ,Q^2)) + \, {{\mathcal {C}}}^{\mathrm{iu}}_1(\omega _{f g}(\alpha ,Q^2))\big ], \end{aligned}$$
(15)

where (\({\hat{\alpha }} = 1-\alpha \))

$$\begin{aligned} \omega _{f g}(\alpha ,Q^2)&= M_f^2 {\hat{\alpha }} + \alpha M_{g}^2 + \alpha {\hat{\alpha }} Q^2 . \end{aligned}$$
(16)

Using Eq. (15), one arrives at the following Bethe–Salpeter equation:

$$\begin{aligned} \left[ \begin{array}{c} E_{0^-}(Q)\\ F_{0^-}(Q) \end{array} \right] = \frac{4 \alpha _{\mathrm{IR}}}{3\pi m_G^2} \left[ \begin{array}{cc} {{\mathcal {K}}}_{EE}^{0^-} &{} {{\mathcal {K}}}_{EF}^{0^-} \\ {{\mathcal {K}}}_{FE}^{0^-} &{} {{\mathcal {K}}}_{FF}^{0^-} \end{array}\right] \left[ \begin{array}{c} E_{0^-}(Q)\\ F_{0^-}(Q) \end{array} \right] , \end{aligned}$$
(17)

with

$$\begin{aligned} {{\mathcal {K}}}_{EE}^{0^-}= & {} \int _0^1d\alpha \bigg \{ {{\mathcal {C}}}_0^{\mathrm{iu}}(\omega _{f g}( \alpha , Q^2)) \nonumber \\&+ \bigg [ M_f M_{g}-\alpha {\hat{\alpha }} Q^2 - \omega _{f g}( \alpha , Q^2)\bigg ]\nonumber \\&\times \overline{{\mathcal {C}}}^{\mathrm{iu}}_1(\omega _{f g}(\alpha , Q^2))\bigg \}, \end{aligned}$$
(18a)
$$\begin{aligned} {{\mathcal {K}}}_{EF}^{0^-}= & {} \frac{Q^2}{2 M_{f g}} \int _0^1d\alpha \, \bigg [{\hat{\alpha }} M_f+\alpha M_{g}\bigg ]\nonumber \\&\times \overline{{\mathcal {C}}}^{\mathrm{iu}}_1(\omega _{f g}(\alpha , Q^2)), \end{aligned}$$
(18b)
$$\begin{aligned} {{\mathcal {K}}}_{FE}^{0^-}= & {} \frac{2 M_{f g}^2}{Q^2} {{\mathcal {K}}}_{EF}^{0^-} , \end{aligned}$$
(18c)
$$\begin{aligned} {{\mathcal {K}}}_{FF}^{0^-}= & {} - \frac{1}{2} \int _0^1d\alpha \, \bigg [ M_f M_{g}+{\hat{\alpha }} M_f^2+\alpha M_{g}^2\bigg ]\nonumber \\&\times \overline{{\mathcal {C}}}^{\mathrm{iu}}_1(\omega _{f g}(\alpha , Q^2)) . \end{aligned}$$
(18d)

The value of \(Q^2=-m_{0^-}^2\) for which Eq. (17) is satisfied supplies the bound-state mass and the associated solution vector is the meson’s Bethe–Salpeter amplitude. In the calculation of observables, the canonically normalised amplitude must be used, viz. the amplitude obtained after rescaling such that

$$\begin{aligned} 1=\left. \frac{d}{d Q^2}\varPi _{0^-}(Z,Q)\right| _{Z=Q}, \end{aligned}$$
(19)

where, with the trace over spinor indices:

$$\begin{aligned} \varPi _{0^-}(Z,Q)&= 6 \mathrm{tr}_{\mathrm{D}} \!\! \int \! \frac{d^4t}{(2\pi )^4} \nonumber \\&\quad \times \varGamma _{0^-}(-Z) S_f(t_+) \, \varGamma _{0^-}(Z)\, S_g(t) . \end{aligned}$$
(20)

In terms of the canonically normalised Bethe–Salpeter amplitude, the pseudoscalar meson’s leptonic decay constant is

$$\begin{aligned} f_{0^-}&= \frac{N_c}{4\pi ^2}\frac{1}{ M_{f g}}\, \big [ E_{0^-} {{\mathcal {K}}}_{FE}^{0^-} + F_{0^-}{{\mathcal {K}}}_{FF}^{0^-} \big ]_{Q^2=-m_{0^-}^2} . \end{aligned}$$
(21)

With our normalisation, the empirical value of the pion’s leptonic decay constant is \(f_\pi =0.092\) GeV [11].

Table 1 Couplings, \(\alpha _{\mathrm{IR}}/\pi \), ultraviolet cutoffs, \(\varLambda _{\mathrm{uv}}\), and current-quark masses, m, that deliver a good description of flavoured pseudoscalar meson properties, along with the dressed-quark masses, M, and pseudoscalar meson masses, \(m_{0^-}\), and leptonic decay constants, \(f_{0^-}\), they produce; all obtained with \(m_G=0.5\) GeV, \(\varLambda _{\mathrm{ir}} = 0.24\) GeV. Empirically, at a sensible level of precision [11]: \(m_\pi =0.14\), \(f_\pi =0.092\); \(m_K=0.50\), \(f_K=0.11\); \(m_{D} =1.87\), \(f_{D}=0.15\); \(m_{B}=5.30\), \(f_{B}=0.14\). (Dimensioned quantities in GeV.)

The properties of \(\pi \)- and \(\rho \)-mesons were analysed in Ref.  [41], with the optimal description provided by the parameters and associated current-quark mass in the middle columns of Table 1, row 1. The last three columns report calculated results for the dressed u-quark mass, pion mass and pion decay constant.

Keeping the light-quark values, we determined the s-quark current mass, \(m_s\), and K-meson ultraviolet cutoff, \(\varLambda _{\mathrm{uv}}^K\), through a least-squares fit to measured values of \(m_K\), \(f_K\) whilst imposing the relation:

$$\begin{aligned} \alpha _{\mathrm{IR}}(\varLambda _{\mathrm{uv}}^{K}) [\varLambda _{\mathrm{uv}}^{K}]^2 \ln \frac{\varLambda _{\mathrm{uv}}^{K}}{\varLambda _{\mathrm{ir}}} = \alpha _\mathrm{IR}(\varLambda _{\mathrm{uv}}^{\pi }) [\varLambda _{\mathrm{uv}}^{\pi }]^2 \ln \frac{\varLambda _{\mathrm{uv}}^{\pi }}{\varLambda _{\mathrm{ir}}} . \end{aligned}$$
(22)

This procedure eliminates one parameter by implementing the physical constraint that any increase in the momentum-space extent of a hadron wave function is matched by a reduction in the effective coupling between the constituents. Critical over-binding is thus avoided. The results are listed in Table 1, row 2. The procedure is repeated for the c-quark/D-meson and \({\bar{b}}\)-quark/B-meson, with results in Table 1, rows 3, 4.

Regarding the current-quark masses in Table 1, the fitted value of \(m_s/m_l = 24\) lies within the range of existing estimates in QCD [11], despite the individual current-masses being too large by a factor of \(\lesssim 2\) because the SCI is deficient in connection with ultraviolet quantities. The result \(M_s/M_l =1.4\) is a fair match with the value determined in efficacious RL studies with momentum-dependent interactions [58]: \(M_s/M_l\) \(=\) 1.25(9). Similarly, the results for \(m_c\), \(m_b\) are individually somewhat higher than QCD estimates, but the values for \(M_{c,b}\) are commensurate with typical values of the heavy-quark pole masses [11]. This is the character of the SCI: it is not a precision tool; but when employed judiciously, it is qualitatively and semiquantitatively reliable.

The evolution of the ultraviolet cutoff with pseudoscalar meson mass reported in Table 1 is described by the following interpolation \((s=m_{0^-}^2)\):

$$\begin{aligned} \varLambda _{\mathrm{uv}}(s) = 0.306 \ln [ 19.2 + (s/m_\pi ^2-1)/2.70] . \end{aligned}$$
(23)

For a given meson, H, the associated coupling can then be obtained using Eq. (22), with \([\varLambda _{\mathrm{uv}}^{K}]^2 \rightarrow m_H^2=s\). One can subsequently compute properties of any meson for which a mass estimate is available by solving the associated Bethe–Salpeter equation with the prescribed cutoff and coupling, using the dressed-quark propagators already determined. Proceeding as described here, one obtains the meson masses and decay constants listed in Table 2.

As highlighted in Fig. 1a, SCI results for the masses are in good agreement with experiment: the mean absolute relative difference \(\overline{\mathrm{ard}} =2.8\)%. Particularities associated with ensuring the vector Ward–Green–Takahashi identity entail that the description is better for pseudoscalars than it is for vector mesons [40].

Regarding the leptonic decay constants, Fig. 1b, the SCI supplies a poorer description because these observables describe quark + antiquark annihilation at a single spacetime point. Hence, they are sensitive to ultraviolet physics, which is a challenge for the SCI. Equations (22), (23) are useful in repairing the deficiency. They ensure that in comparison with known empirical values or available lQCD results, the picture is fair: trends are typically reproduced; and comparing columns 6 and 7 in Table 2, \(\overline{\mathrm{ard}} =11\)%. The discrepancies between SCI and lQCD results for \(f_{B_c}\), \(f_{B_c^*}\) appear anomalously large. Eliminating them, then \(\overline{\mathrm{ard}} =7.4\)%. However, the lQCD results are consistent with modern continuum predictions developed using realistic interactions [63].

Table 2 Computed masses (column 1), Bethe–Salpeter amplitudes (columns 3 and 4), and decay constants (column 5) for a representative selection of mesons. Measured masses (column 2) from Ref.  [11]; entry marked by “\(*\)” in this column from Ref.  [59]. Leptonic decay constants (column 6): measured values, where known, from Ref.  [11]; and others, marked with “\(*\)”, drawn from lQCD studies [11, 29, 60,61,62]. (Dimensioned quantities in GeV. Underlined entries from Table 1.)
Fig. 1
figure 1

Upper panel—a Comparison between SCI predictions for selected meson masses and available experiment [11] and \(m_{B^*_c}\) from Ref.  [59]. Lower panel—b Analogous comparison for meson leptonic decay constants: experiment [11], where known, and lQCD otherwise [11, 29, 60,61,62] In both panels, contact-interaction predictions are depicted as blue circles, comparison empirical values by green bars; and lQCD results by red crosses. (Pictorial representation of results in Table 2)

It should be noted that our ultraviolet improvement scheme differs from that in Ref.  [52]. Therein, pseudoscalar mesons with mass-degenerate valence degrees-of-freedom were used to develop a running scale like that in Eq. (23). Owing to our subsequent focus on semileptonic decays of flavoured pseudoscalar mesons, we instead used the underlined masses in Table 2.

3 Semileptonic transitions: foundations

3.1 Matrix elements

Our SCI analysis of pseudoscalar meson semileptonic decays follows the treatment of \(K_{\ell 3}\) transitions in Ref.  [17]. We will sketch the procedure using the \(D^0\rightarrow \pi ^-\) transition. All others can be developed by analogy. Therefore, consider the following matrix element:Footnote 1

$$\begin{aligned} _d M_\mu ^{D^0}(P,Q)&=\langle \pi ^-(p) | {\bar{d}} i\gamma _\mu c |D^0(k)\rangle \nonumber \\&= [P_\mu f_+^{D_u^d}(t) + Q_\mu f_-^{D_u^d}(t)] , \end{aligned}$$
(24)

where \(P =k+p\), \(Q=p-k\), with \(k^2 = -m_{D}^2\) and \(p^2=-m_{\pi }^2\); and the squared-momentum-transfer is \(t=-Q^2\).

The masses of the hadrons involved limit the physical domain of support for the form factors:

$$\begin{aligned} P\cdot Q&= - (m_{D}^2 - m_{\pi }^2) =: - \varDelta _{D \pi } , \end{aligned}$$
(25a)
$$\begin{aligned} P^2&= - 2 (m_{D}^2 + m_{\pi }^2) - Q^2 =: -2 \varSigma _{D\pi } - Q^2; \end{aligned}$$
(25b)

and \(t_m^{D\pi } = (m_{D} - m_{\pi })^2 =: m_{D}^2 y_m^{D\pi } \) is the largest value of the squared-momentum-transfer in the decay process.

In the flavour-symmetry limit, \(f_+^{D}(t)\) is equivalent to the elastic form factor of a charged pion-like meson built from a valence-quark and -antiquark with degenerate current masses and \(f_-^{D}(t)\equiv 0\) [64]. In all transitions, therefore, \(f_-(t)\) is sensitive to the strength of HB-induced flavour-symmetry breaking, as are various sensibly constructed ratios of \(f_+\) transition form factors, e.g. \(D^+ \rightarrow K^0\) vs. \(D^0 \rightarrow \pi ^-\) reflects s-quark:u-quark differences. These properties are correlated with the scalar form factor

$$\begin{aligned} f_0^D(t) = f_+^D(t) + \frac{t}{m_{D}^2 - m_{\pi }^2} f_-^D(t) , \end{aligned}$$
(26)

and its analogues, which all measure the divergence of the transition current, \(Q\cdot M(P,Q)\).

The additional merit of focusing on \(f_{+,0}(t)\) is that each is characterised by a different resonance structure on \(t \gtrsim t_m\): \(f_{+}(t)\) links with the vector meson \(D^*\); and \(f_{0}(t)\) with the related scalar resonance. On the other hand, \(f_{-}(t)\) overlaps with both channels. (These observations are exemplified in Refs.  [16,17,18] and below.)

Using our SCI, the matrix element in Eq. (24) takes the following explicit form:

$$\begin{aligned} _d M_\mu ^{D^0} (P,Q)&= N_c \mathrm{tr}\int \frac{d^4 t}{(2\pi )^4} \varGamma _{D}(p) S_c(t+p) \nonumber \\&\quad \times i \varGamma _\mu ^{cd}(Q) S_d(t+k) \varGamma _\pi (-k) S_u(t) , \end{aligned}$$
(27)

where the trace is over spinor indices and \(N_c=3\). The scalar functions characterising the transition are obtained from Eq. (27) using straightforward projections:

$$\begin{aligned} f_+^{D_u^d}(t)&= \frac{t P_\mu - (m_{D}^2- m_\pi ^2) Q_\mu }{t P^2 + (m_{D}^2- m_\pi ^2)^2} \, _d M_\mu ^{D^0}(P,Q) , \end{aligned}$$
(28a)
$$\begin{aligned} f_0^{D_u^d}(t)&= - \frac{Q_\mu }{m_{D}^2- m_\pi ^2} \, _d M_\mu ^{D^0}(P,Q) , \end{aligned}$$
(28b)

with \(f_-^{D_u^d}(t)\) reconstructed via Eq. (26).

Three types of matrix-valued functions appear in Eq. (27). Simplest are the dressed-quark propagators, which have the form in Eq. (9) and involve the appropriate dressed-quark mass drawn from Table 1. Next are the Bethe–Salpeter amplitudes for the participating mesons, whose structure is given in Eq. (13) and which are also completed by the numerical results in Table 1. The new element is the dressed vector component of, in this instance, the \(c\rightarrow d\) weak transition vertex, \(\varGamma _\mu ^{cd}\). Other transitions involve an analogous vector vertex.

3.2 Weak vector vertex

The vector component of the \(c\rightarrow d\) weak transition vertex satisfies a Ward–Green–Takahashi identity:

$$\begin{aligned}&Q_{\mu } i \varGamma ^{cd}_{\mu }(Q) = S_c^{-1}(t+Q)\nonumber \\&- S_d^{-1}(t)- (m_c-m_d)\varGamma ^{cd}_I(Q) , \end{aligned}$$
(29)

where \(\varGamma _I^{cd}\) is an analogous Dirac-scalar vertex. Recall that the axial-vector piece of the quark weak vertex does not contribute to a \(0^- \rightarrow 0^-\) transition. As with all n-point functions, care must be taken when formulating the SCI solution procedure for this vertex; so, it is worth providing some details.

The two vertices in Eq. (29) satisfy inhomogeneous Bethe–Salpeter equations, viz. in RL truncation:

$$\begin{aligned} \varGamma _\mu ^{cd} (Q)&= \gamma _\mu - \frac{16}{3} \frac{\pi \alpha _{\mathrm{IR}}}{m_G^2} \nonumber \\&\quad \times \int \frac{d^4 t}{(2\pi )^4} \! \gamma _\alpha S_c(t+Q) \varGamma _\mu ^{cd}(Q) S_d(t)\gamma _\alpha , \end{aligned}$$
(30a)
$$\begin{aligned} \varGamma ^{cd}_I(Q)&= I_{\mathrm{D}} - \frac{16}{3} \frac{\pi \alpha _{\mathrm{IR}}}{m_G^2} \nonumber \\&\quad \times \int \! \frac{d^4t}{(2\pi )^4} \gamma _\alpha S_c(t+Q) \varGamma ^{cd}_I(Q) S_d(t) \gamma _\alpha . \end{aligned}$$
(30b)

So long as the regularisation scheme is symmetry preserving, then the solutions are

$$\begin{aligned} \varGamma ^{cd}_\mu (Q)&= \gamma _\mu ^T P_T^{cd}(Q^2) \nonumber \\&\quad + \gamma _\mu ^L P_{1L}^{cd}(Q^2) - i Q_\mu I_{\mathrm{D}} P_{2L}^{cd}(Q^2) , \end{aligned}$$
(31a)
$$\begin{aligned} \varGamma ^{cd}_I(Q)&= I_{\mathrm{D}} \, {E}_I^{cd}(Q^2) , \end{aligned}$$
(31b)

where \(I_{\mathrm{D}}\) is the identity matrix in spinor space, \(Q_\mu \gamma _\mu ^T = 0\), \(\gamma _\mu ^T+\gamma _\mu ^L = \gamma _\mu \).

Following Ref.  [17], one finds:

$$\begin{aligned} {E}_I^{cd}(Q^2) = \frac{1}{1+K_{E}^{cd}(Q^2)} , \end{aligned}$$
(32a)

where

$$\begin{aligned} K_{E}^{cd}(Q^2)&= -\frac{4\alpha _{\mathrm{IR}}}{3\pi m_G^2} \int _0^1 d\alpha \bigg [ {{\mathcal {C}}}^{\mathrm{iu}}(w_{d{\bar{c}}}) - {{\mathcal {C}}}^{\mathrm{iu}}_1(w_{d{\bar{c}}})\nonumber \\&\qquad - (M_d M_c + \alpha {\hat{\alpha }} Q^2) \, \overline{\mathcal{C}}^{\mathrm{iu}}_1(w_{d{\bar{c}}})\bigg ], \end{aligned}$$
(32b)

\(w_{d{\bar{c}}}=\omega _{d{\bar{c}}}(\alpha ,Q^2)\), Eq. (16), and the other functions are defined via Eq. (12). It is apparent under further inspection that \({E}_I^{cd}(Q^2)\) exhibits a pole at the mass of the lightest \(0^+\) \({\bar{c}} d\) state, i.e. the \(D_0^{*}\)-meson. Furthermore,

$$\begin{aligned} (m_c-m_d) {E}_I^{cd}(Q^2=0) = M_c - M_d . \end{aligned}$$
(33)

It is worth remarking that owing to uncertainties in the spectrum of heavy + light \(0^+\) mesons, the coupling and ultraviolet cutoff in Eq. (32b) are fixed using Eqs. (22), (23) evaluated at the mass of the ground-state pseudoscalar meson in the given channel; here, \(m_D\). As noted above, ultraviolet cutoffs play a dynamical role in the formulation of a contact interaction; so, this choice is merely part of the definition of the symmetry-preserving regularisation scheme. Given that it is a scalar channel, the value of the ultraviolet cutoff feeds back through Eq. (33) into small variations of the current-quark masses so that the dressed-quark masses remain fixed.

Turning to Eq. (30a), one readily finds [17]

$$\begin{aligned} P_{1L}^{cd}(Q^2) \equiv 1 ; \end{aligned}$$
(34)

and

$$\begin{aligned} P_T^{cd}(Q^2)&= \frac{1}{1+K_V^{cd}(Q^2)} , \end{aligned}$$
(35)
$$\begin{aligned} K_V^{cd}(Q^2)&= -\frac{2\alpha _{\mathrm{IR}}}{3\pi m_G^2} \int _0^1 d\alpha \big [ M_d M_c - M_d^2 {\hat{\alpha }} \nonumber \\&\quad - M_c^2\alpha -2 \alpha {\hat{\alpha }} Q^2\big ] \overline{\mathcal{C}}^{\mathrm{iu}}_1(w_{d{\bar{c}}}) . \end{aligned}$$
(36)

The transverse part of this quark weak vector vertex has a pole at the mass of the \(D^*\)-meson.

Considering Eq. (31a), only \(P_{2L}^{cd}(Q^2)\) remains undetermined. Adapting the analysis in Ref.  [17], one obtains

$$\begin{aligned} Q^2 P^{cd}_{2L}(Q^2) = (m_d-m_c) {E}_I^{cd}(Q^2) - M_d+M_c . \end{aligned}$$
(37)

Using Eq. (33), it is clear that \(\lim _{Q^2\rightarrow 0} Q^2 P^{cd}_{2L}(Q^2)=0\); consequently, \(\varGamma ^{cd}_\mu (Q)\) is regular at \(Q^2=0\).

Our attempt to achieve a symmetry-preserving calculation of the quark weak vector vertex has almost succeeded. One issue remains; namely, consistency between Eqs. (9), (29), (33) requires

$$\begin{aligned} P_T^{cd}(Q^2=0) = 1 . \end{aligned}$$
(38)

Considering the ten transitions considered herein, our scheme fails by \(2.4 \,(1.5)\)%. We subsequently correct for this by modifying the denominator in Eq. (35):

$$\begin{aligned} K_V^{cd}(Q^2) \rightarrow {\hat{K}}_V^{cd}(Q^2) := K_V^{cd}(Q^2)-K_V^{cd}(0) , \end{aligned}$$
(39)

with analogous corrections in the other vertices. This is akin to implementing momentum-subtraction regularisations of the vector-boson vacuum polarisations.

3.3 Charge conservation

In working from Eq. (27) to explicit expressions for \(f_+^{D_u^d}(t)\), \(f_0^{D_u^d}(t)\), one follows the methods in Ref.  [41]. They rely chiefly on the assumption of Poincaré-invariance, including translational invariance in regularisation of the integrals. Formally, the latter is always true. However, the presence of the \(\gamma _5\gamma \cdot Q\) term in Eq. (13) means it is broken in practice once Eq. (11) is used. This violation is manifest in the elastic electromagnetic form factors of the pseudoscalar mesons that participate in the transitions, as we now explain.

Elastic form factors obtained using the SCI can be expressed as a sum of six terms. The first separation stems from the photon coupling either to the quark (\(\gamma q\)) or the antiquark (\(\gamma {\bar{q}}\)). It is the same for all quark + antiquark interactions. When using the SCI, there are three subcomponents in each of these two terms. Namely, the Bethe–Salpeter amplitude in Eq. (13) leads to \(E_{0^-}^2\), \(E_{0^-} F_{0^-}\), \(F_{0^-}^2\) contributions. The \(F_{0^-}^2\) term vanishes at \(Q^2=0\) and the \(E_{0^-}^2\) is insensitive to the regularisation. However, following the regularisation steps described hitherto

$$\begin{aligned} \left. \langle E_{0^-} F_{0^-}\rangle \right| _{Q^2=0}^{\gamma q} \ne \langle \left. E_{0^-} F_{0^-}\rangle \right| _{Q^2=0}^{\gamma {\bar{q}}}, \end{aligned}$$
(40)

i.e. these two contributions are not equal and that violates charge conservation. Typically, the relative error is \(\lesssim 1\)%, but it should vanish.

The mismatch owes to the quadratic divergences that arise through integrals such as

$$\begin{aligned}&\int \frac{d^4 t}{(2\pi )^4} \frac{1}{[t^2+\omega ]^2} \{(P\cdot t)^2,(Q\cdot t)^2, (P\cdot t) (Q\cdot t)\}\nonumber \\&\quad = \int \frac{d^4 t}{(2\pi )^4} \frac{t^2}{[t^2+\omega ]^2}\frac{1}{4} \{P^2,Q^2 , P\cdot Q \}\,, \end{aligned}$$
(41)

which also affect the value of \(f_+^{H_1 H_2}(0)\). It can be remedied through a simple expedient: change

$$\begin{aligned} \frac{1}{4} \rightarrow \frac{1}{4}\,(1+\theta ) \end{aligned}$$
(42)

and tune \(\theta \) to restore equality of the two sides in Eq. (40). We have computed \(\theta \) from the elastic form factor of every one of the initial states in the transitions considered herein: \(D_{(s)}\), \(B_{(s,c)}\), with the results \(\theta = 0.28\), 0.40, 0.01, 0.18, 0.17. (Evidently, the mismatch is eliminated by choosing \(\theta \approx 0.21\).) These values are used to complete the regularisation of the transition form factors specified by Eq. (27) and its analogues.

Before delivering new SCI predictions, it is worth remarking that we have confirmed all results in Ref.  [17], including those connected with \(K_{\ell 3}\) and \(\pi _{e3}\) transitions.

Fig. 2
figure 2

\(D \rightarrow \pi \) semileptonic transition form factors, defined by Eqs. (27), (28). SCI results: \(f_+^{D_u^d}\), solid blue curve; \(f_0^{D_u^d}\), long-dashed purple curve; and \(f_-^{D_u^d}\), dot-dashed orange curve. Upper panel—a obtained with complete SCI Bethe–Salpeter amplitude in Eq. (13); and lower panel—b, with \(F_{0^-}\equiv 0\) in Eq. (13) and subsequent repetition of all fitting procedures. Comparison curves in both panels are drawn from Ref.  [18]: \(f_+\), thin solid green curve; \(f_0\), long-dashed red curve; and \(f_-\), dot-dashed brown curve. In this and following images, the shaded band around each of the comparison curves indicates the \(1\sigma \) confidence level for these predictions

Fig. 3
figure 3

\(D_s^+ \rightarrow K^0\) transition form factors, defined by analogy with Eqs. (27), (28). SCI results: \(f_+^{D_s^d}\), solid blue curve; \(f_0^{D_s^d}\), long-dashed purple curve; and \(f_-^{D_s^d}\), dot-dashed orange curve. Upper panel—a obtained with complete SCI Bethe–Salpeter amplitude in Eq. (13); and lower panel—b, with \(F_{0^-}\equiv 0\) and subsequent repetition of all fitting procedures. Comparison curves in both panels are drawn from Ref.  [18]: \(f_+\), thin solid green curve; \(f_0\), long-dashed red curve; and \(f_-\), dot-dashed brown curve. Experimental datum, cyan square [33]

4 Weak \(D_{(s)}\) semileptonic transitions

In the isospin-symmetry limit, there are three distinct such processes: \(D^0 \rightarrow \pi ^-\), \(D_s^+ \rightarrow K^0\), \(D^+ \rightarrow {\bar{K}}^0\). The first two measure \(c\rightarrow d\) and the last, \(c\rightarrow s\); and all provide information on the environmental sensitivity of these transitions. These transitions were calculated using a realistic quark + antiquark interaction in Ref.  [18]; so, comparison here serves to establish the utility of the SCI as a quantitative guide in such applications.

Results for the maximum-recoil value of the transition form factors are listed in Table 3A. Taken over all quantities listed in the first three rows, the \(F_{0^-}\ne 0\) SCI results provide a better match with Ref.  [18].

The SCI \(D\rightarrow \pi \) transition form factors are depicted in Fig. 2 and compared with analogous form factors drawn from Ref.  [18]. On balance, best agreement is obtained using the SCI results produced with the complete Bethe–Salpeter amplitudes. It is worth recalling that the \(D \rightarrow \pi \) semileptonic transition form factors calculated in Ref.  [18] are in good agreement with available experimental data [32].

A general characteristic of SCI form factors is evident in Fig. 2; namely, they are typically stiffer than predictions obtained with realistic momentum-dependent interactions [17]. This is more of an issue with their spacelike behaviour. It is ameliorated herein because our focus is the timelike region and, as demonstrated in Sect. 3.2, the SCI preserves the feature that each weak transition vertex possesses a pole at the related meson mass.

The \(D_s^+ \rightarrow K^0\) transition form factors are drawn in Fig. 3. Again, best agreement between the SCI predictions and the results in Ref.  [18] is obtained when the complete SCI Bethe–Salpeter amplitude is used. (We quantified this using a measure applied to the independent transition form factors \(f_{0,+}\).) Only one experimental datum is available in this case [33]:

$$\begin{aligned} f_+^{D_s^+\rightarrow K^0} (0)= 0.720 \pm 0 .084 \, (\mathrm{stat}) \pm 0.013 \, (\mathrm{syst}) . \end{aligned}$$
(43)

It is plotted in Fig. 3 and agrees with the SCI result obtained using the complete Bethe–Salpeter amplitude, Fig. 3a.

The \(D\rightarrow K\) transition form factors are drawn in Fig. 4. Best agreement with the predictions from Ref.  [18] is obtained using the complete SCI Bethe–Salpeter amplitude, i.e. with the \(F_{0^-} \ne 0\) values listed in Table 2. The \(D \rightarrow K\) semileptonic transition form factors in Ref.  [18] agree well with available experimental data [32].

Fig. 4
figure 4

\(D \rightarrow K\) transition form factors, defined by analogy with Eqs. (27), (28). SCI results: \(f_+^{D_d^s}\), solid blue curve; \(f_0^{D_d^s}\), long-dashed purple curve; and \(f_-^{D_d^s}\), dot-dashed orange curve. Upper panel—a obtained with complete SCI Bethe–Salpeter amplitude in Eq. (13); and lower panel—b, with \(F_{0^-}\equiv 0\) and subsequent repetition of all fitting procedures. Comparison curves in both panels are drawn from Ref.  [18]: \(f_+\), thin solid green curve; \(f_0\), long-dashed red curve; and \(f_-\), dot-dashed brown curve

With computed transition form factors in hand, one can calculate partial widths for the associated decays. Remaining with \(D\rightarrow \pi \) as our exemplar, the relevant expression is [78]:

$$\begin{aligned} \varGamma _{D^0 \pi ^-}&= |V_{cd}|^2 \frac{G_F^2 m_{D}^2}{24 \pi ^3}\nonumber \\&\quad \times \int _0^{y_m^{D \pi }} \!\! dy\,[f_+^{D_u^d}(y \, m_{D}^2) ]^2 k_{D \pi }^3(y)\,, \end{aligned}$$
(44a)
$$\begin{aligned} k_{D \pi }^2(t)&= (m_{D}^2 (1-y) + m_\pi ^2)^2/[4 m_{D}^2] - m_\pi ^2, \end{aligned}$$
(44b)

with \(G_F = 1.166 \times 10^{-5}\) GeV\(^{-2}\). Using the SCI results for \(f_+^{D_u^d}(t)\), the associated branching fractions are listed in Table 3B: the \(F_{0^-}\ne 0\) result for this integrated quantity agrees well with other theory [18] and experiment [32].

Analogous SCI results for \(D_s^+ \rightarrow K^0 e^+ \nu _e\), \(D^0 \rightarrow K^- e^+ \nu _e\) branching fractions are also listed in Table 3B. Again, those obtained with the complete Bethe–Salpeter amplitude compare favourably with other theory [18] and experiment [32, 33].

5 Weak \(B_{(c,s)}\) semileptonic transitions

Here in the isospin-symmetry limit, there are seven distinct processes, which we choose to be: (i) \({\bar{B}}^0 \rightarrow \pi ^+\), \(B_s \rightarrow K\); (ii) \(B^0 \rightarrow D^-\), \(B_s^0 \rightarrow D_s^-\), \(B_c^- \rightarrow \eta _c\); (iii) \(B_c^+ \rightarrow B^0\); and (iv) \(B_c^+ \rightarrow B_s^0\). The first two measure \(b\rightarrow u\) (i); the next three, \(b\rightarrow c\) (ii); the sixth, \(c\rightarrow d\) (iii); and the last, \(c\rightarrow s\) (iv); plus, naturally, their environmental sensitivity. In these cases, no continuum study with the character of Ref.  [18] is available; but lQCD methods have been used by many groups, e.g. Refs.  [65,66,67,68,69,70,71,72, 79,80,81], and numerous model studies exist, e.g. Refs.  [74,75,76,77, 82,83,84,85,86,87,88,89,90,91].

Table 3 Upper panel—A. Maximum recoil \((t=0)\) value of semileptonic transition form factors compared with (where available) inferences from experiment [32, 33] and lQCD [29, 36,37,38, 65,66,67,68,69,70,71,72]. In each case, we list results for \(f_+^{H_1 \rightarrow H_2}(0)\) obtained with (column 1) the complete SCI Bethe–Salpeter amplitude, Eq. (13), and (column 2) with \(F_{0^-}\rightarrow 0\) and all procedures repeated. Comparison between these columns provides an indication of the sensitivity in SCI predictions to formulation details. Our analogous predictions for \(f_-^{H_1 \rightarrow H_2}(t=0)\) are listed in columns 6 and 7. Lower panel—B. SCI computed branching fractions (columns 1, 2), obtained using empirical masses, compared with, where available: continuum results from Ref.  [18] (column 3); experimental results (column 4) [11, 32, 33, 73]; lQCD (column 5) [70]; and illustrative model analyses (column 6) [74,75,76,77]. (All numerical entries should be multiplied by \(10^{-3}\).) Ref.  [11] lists \(|V_{cd}| = 0.221(4)\), \(|V_{cs}|= 0.987(11)\) \(|V_{ub}| = 0.00382(24)\), \(|V_{cb}|= 0.0410(14)\); and the following lifetimes (in seconds): \(\tau _{D^0} = 4.10 \times 10^{-13}\), \(\tau _{D_s^\pm } = 5.04 \times 10^{-13}\), \(\tau _{B^0} = 1.519 \times 10^{-12}\), \(\tau _{B_s^0} = 1.515 \times 10^{-12}\), \(\tau _{B_c^\pm } = 5.10 \times 10^{-13}\)

Results for the maximum-recoil value of all seven of these transition form factors are listed in Table 3A. The SCI and lQCD results are broadly in agreement, except for \(B\rightarrow \pi \) and \(B_s\rightarrow K\) (rows 4 and 5). These last two transitions are special because of the enormous disparity in mass-scales between the initial and final states. Surveying a raft of available model analyses [74, 76, 82,83,84,85,86,87,88,89], one finds

$$\begin{aligned} f_+^{B\rightarrow \pi }(0) = 0.25(3), \; f_+^{B_s\rightarrow K}(0) = 0.32(4) , \end{aligned}$$
(45)

values consistent with contemporary lQCD estimates. We therefore judge that the SCI results in Table 3A are too large in these two cases. Some failings had to be expected when attempting to develop an internally consistent SCI for use in treating systems with widely separated mass-scales.

Given these last observations, it is worth studying the \(B\rightarrow \pi \) transition form factors in more detail. Therefore, consider Fig. 5, which depicts SCI predictions for their t-dependence and comparisons with data reconstructed from the average values in Ref.  [92, Tab. 81] and an average of lQCD results [29, Sec. 8.3.1]: despite the SCI’s overestimate of the maximum recoil value of \(f_+\), there is qualitative agreement over the entire physical t-domain. Using the SCI result in Fig. 5a, one obtains the branching fraction listed in Table 3B, row 4: consistent with the overestimate of \(f_+(0)\), the fraction is more than twice as large as the empirical value in Ref.  [73]. This indicates that the branching fraction integral is dominated by the transition form factor’s behaviour on \(0 < t \lesssim \tfrac{2}{3} t_m\).

\(B_s\rightarrow K\) transition form factors are displayed in Fig. 6. The comparison with lQCD results is qualitatively similar to that in Fig. 5. Using the SCI result in Fig. 6a, one obtains the branching fraction listed in Table 3B, row 5. Here, consistent with the overestimate of \(f_+(0)\), the fraction is roughly twice as large as the model estimates in Refs.  [76, 86].

Fig. 5
figure 5

\(B \rightarrow \pi \) semileptonic transition form factors, defined by analogy with Eqs. (27), (28). SCI results: \(f_+^{{\bar{B}}^u_{d}}\), solid blue curve; \(f_0^{{\bar{B}}^u_{d}}\), long-dashed purple curve; and \(f_-^{{\bar{B}}^u_{d}}\), dot-dashed orange curve. Upper panel—a obtained with complete SCI Bethe–Salpeter amplitude in Eq. (13); and lower panel—b, with \(F_{0^-}\equiv 0\) and subsequent refitting. Both panels. Data (gold stars): reconstructed from the average [92, Tab. 81] of data reported in Refs.  [93,94,95,96]. Dotted green and red bands: averages of results in Refs.  [66, 79, 80] described elsewhere [29, Sec. 8.3.1]

Fig. 6
figure 6

\(B_s \rightarrow K\) transition form factors, defined by analogy with Eqs. (27), (28). SCI results: \(f_+^{B_{s}^{u}}\), solid blue curve; \(f_0^{B_{s}^{u}}\), long-dashed purple curve; and \(f_-^{B_{s}^{u}}\), dot-dashed orange curve. Upper panel—a obtained with complete SCI Bethe–Salpeter amplitude in Eq. (13); and lower panel—b, with \(F_{0^-}\equiv 0\) and subsequent repetition of all fitting procedures. In both panels, the dotted green and red bands are averages of results in Refs.  [65, 66] described elsewhere [29, Sec. 8.3.2]

Fig. 7
figure 7

\(B\rightarrow D \) transition form factors, defined by analogy with Eqs. (27), (28). SCI results: \(f_+^{B_{u}^{{\bar{c}}}}\), solid blue curve; \(f_0^{B_{u}^{{\bar{c}}}}\), long-dashed purple curve; and \(-f_-^{B_{u}^{{\bar{c}}}}\), dot-dashed orange curve. Upper panel—a obtained with complete SCI Bethe–Salpeter amplitude in Eq. (13); and lower panel—b, with \(F_{0^-}\equiv 0\) and subsequent repetition of all fitting procedures. In both panels, the data (gold stars, \(f_+\)) are from the BaBar Collaboration [97]; and the comparison bands (thin dashed red, \(f_0\); and thin green, \(f_+\)) are drawn from Ref.  [98], being parametrisations built from recent experimental data and lQCD results

Fig. 8
figure 8

\(B_s\rightarrow D_s \) transition form factors, defined by analogy with Eqs. (27), (28). SCI results: \(f_+^{B_{s}^{{\bar{c}}}}\), solid blue curve; \(f_0^{B_{s}^{\bar{c}}}\), long-dashed purple curve; and \(-f_-^{B_{s}^{{\bar{c}}}}\), dot-dashed orange curve. Upper panel—a obtained with complete SCI Bethe–Salpeter amplitude in Eq. (13); and lower panel—b, with \(F_{0^-}\equiv 0\) and subsequent refitting. In both panels, the comparison bands (thin dashed red, \(f_0\); and thin green, \(f_+\)) are drawn from Ref.  [68], being lQCD results obtained with inclusion of \(2+1+1\) flavours of sea quark

Fig. 9
figure 9

\(B_c\rightarrow \eta _c \) transition form factors, defined by analogy with Eqs. (27), (28). SCI results: \(f_+^{B_{c}^{{\bar{c}}}}\), solid blue curve; \(f_0^{B_{c}^{\bar{c}}}\), long-dashed purple curve; and \(-f_-^{B_{c}^{{\bar{c}}}}\), dot-dashed orange curve. Upper panel—a obtained with complete SCI Bethe–Salpeter amplitude in Eq. (13); and lower panel—b, with \(F_{0^-}\equiv 0\) and subsequent refitting. In both panels, the comparison points (brown circles, \(f_0\); and grey squares, \(f_+\)) are drawn from Ref.  [69], being exploratory lQCD results

Fig. 10
figure 10

\(B_c\rightarrow B \) transition form factors, defined by analogy with Eqs. (27), (28). SCI results: \(f_+^{B_{b}^{d}}\), solid blue curve; \(f_0^{B_{b}^{d}}\), long-dashed purple curve; and \(-f_-^{B_{b}^{d}}\), dot-dashed orange curve. Upper panel—a obtained with complete SCI Bethe–Salpeter amplitude in Eq. (13); and lower panel—b, with \(F_{0^-}\equiv 0\) and subsequent refitting. In both panels, the comparison bands (thin dashed red, \(f_0\); and thin green, \(f_+\)) are lQCD results from Ref.  [70]

Fig. 11
figure 11

\(B_c\rightarrow B_s \) transition form factors, defined by analogy with Eqs. (27), (28). SCI results: \(f_+^{B_{b}^{s}}\), solid blue curve; \(f_0^{B_{b}^{s}}\), long-dashed purple curve; and \(-f_-^{B_{b}^{s}}\), dot-dashed orange curve. Upper panel—a obtained with complete SCI Bethe–Salpeter amplitude in Eq. (13); and lower panel—b, with \(F_{0^-}\equiv 0\) and subsequent refitting. In both panels, the comparison bands (thin dashed red, \(f_0\); and thin green, \(f_+\)) are lQCD results from Ref.  [70]

Regarding \(B\rightarrow D\) semileptonic transitions, the mismatch between the masses of the initial and final states is much diminished as compared with the preceding two cases. Consequently, the SCI results drawn in Fig. 7 match fairly well with existing data [97] and recent parametrisations [98]. (N.B. Here and hereafter we draw \(|f_-(t)|\) so as to optimise use of the plotting area.) The SCI prediction for the branching fraction is listed in Table 3B, row 6, and aligns with experiment [11, p. 1531].

We depict the SCI \(B_s \rightarrow D_s\) transition form factors in Fig. 8: they agree semiquantitatively with results from a recent lQCD study [68]. The SCI prediction for the branching fraction in Table 3B, row 7, is commensurate with estimates made using constituent quark models [75, 76].

\(B_c\rightarrow \eta _c\) transition form factors are plotted in Fig. 9. In this instance, the only comparisons available are provided by exploratory lQCD calculations obtained with a highly improved staggered quark (HISQ) action [69]: there are qualitative similarities between the results. The SCI predictions for the branching fraction are listed in Table 3B, row 8. The values agree with an estimate made using a hybrid scheme for combining perturbative- and lattice-QCD results [77].

Fig. 12
figure 12

SCI predictions for \(f_+^{B_c\rightarrow B}\), solid blue curve, and \(f_+^{B_c\rightarrow B_s}\), dot-dashed gold curve, compared with lQCD results for the same functions: \(f_{+\,\mathrm{lQCD}}^{B_c\rightarrow B}\), thin green curve within like coloured band, and \(f_{+\,\mathrm{lQCD}}^{B_c\rightarrow B_s}\), thin cyan curve within like coloured band. In addition, calculated from the SCI results, \(f_+^{B_c\rightarrow B}/1.21\), dashed blue curve, and \(f_+^{B_c\rightarrow B_s}/1.18\), dot-dashed gold curve. The comparison reveals that, in practical terms on the physical domains, the SCI and lQCD predictions differ only in their overall normalisations, i.e. effectively, their respective values for \(f_+(0)\)

SCI predictions for the \(B_c\rightarrow B\) form factors are drawn in Fig. 10, wherein they are compared with lQCD results obtained using \(2+1+1\) flavours of dynamical sea quarks in the HISQ formalism [70]. As highlighted by Fig. 12, the SCI and lQCD results for \(f_{0,+}\) are qualitatively and semiquantitatively similar, with the SCI curves being approximately 21% larger than those from the lQCD analysis, as measured using a measure. The SCI prediction for the \(B_c\rightarrow B\) branching fraction is given in Table 3B, row 9. It fits comfortably within the wide range of model estimates listed in Ref.  [74], viz. \(1.4(1.0)\times 10^{-3}\). The lQCD result for the \(B_c\rightarrow B\) branching fraction, listed in Table 3B, row 9, is approximately 30% smaller than the SCI prediction.

The final weak transition considered herein is \(B_c \rightarrow B_s\), for which SCI predictions of the associated form factors are drawn in Fig. 11 and compared with lQCD results [70]. As with \(B_c\rightarrow B\), the SCI and lQCD results for \(f_{0,+}\) are qualitatively and semiquantitatively similar: using a measure, the SCI curves are approximately 18% larger than those from the lQCD analysis. This is evident in Fig. 12. The SCI prediction for the associated branching fraction is given in Table 3B, row 10. Once again, it fits within the broad range of model estimates listed in Ref.  [74], viz.  \(16(11)\times 10^{-3}\). The lQCD result for the \(B_c\rightarrow B_s\) branching fraction, listed in Table 3B, row 10, is approximately 25% smaller than the SCI prediction.

6 Environment sensitivity

Regarding Nature’s two mass generating mechanisms, it is interesting to consider the evolution of the form factors with increasing mass of the transition’s spectator valence-quark, i.e. as the current-quark mass produced by the Higgs boson becomes a more important part of the final-state meson’s mass as compared with the EHM component. Four classes can be formed from the semileptonic decays considered herein.

  1. (I)

    \(D\rightarrow \pi \), \(D_s\rightarrow K\), \(B_c\rightarrow B\): transition is \(c\rightarrow d\); spectator valence-quarks are, respectively, u, s, b.

  2. (II)

    \(D\rightarrow K\), \(B_c\rightarrow B_s\): transition \(c\rightarrow s\), spectator valence-quarks are u, b.

  3. (III)

    \(B\rightarrow \pi \), \(B_s \rightarrow K\): transition \(b\rightarrow u\), spectator valence-quarks are d, s.

  4. (IV)

    \(B\rightarrow D\), \(B_s\rightarrow D_s\), \(B_c\rightarrow \eta _c\): transition \(b\rightarrow c\), spectator valence-quarks are u, s, c.

One may characterise this evolution by the values of \([1-f_+(0)]\) and \(|f_-(0)|\) for the associated transitions: \([1-f_+(0)]=0=|f_-(0)|\) in systems constituted from mass-degenerate valence degrees-of-freedom. The results can be read from Table 3A:

figure b

For comparison, analogous values for \(\pi _{\ell 3}\) and \(K_{\ell 3}\) transitions are, respectively, (1.0, 0.0) and (0.98, 0.087) [17].

The pattern of SCI results is clear: as the current-mass of the spectator valence degree-of-freedom increases, so do deviations from the flavour-symmetry limits. The analysis in Ref.  [18], which used similar methods and a realistic quark + antiquark interaction, is too restricted in scope for a general comparison to be possible. Nevertheless, the two Class (I) results are loosely compatible.

Lattice-QCD results are available for all listed \(f_+\) form factors. Reviewing those simulations, the pattern of most lQCD results is qualitatively similar to the SCI predictions. However, this is not true for Class (III), viz. the \(B\rightarrow \pi \) and \(B_s\rightarrow K\) transitions, which therefore demands further scrutiny.

7 Isgur–Wise function

In considering semileptonic transitions connecting systems distinguished by a large disparity between the current-masses of their valence degrees-of-freedom, e.g. heavy + light mesons, valuable simplifications can be exploited. For instance, when \(m_{Q_2} \gtrsim m_{Q_1} \gg m_q\), \(H_{Q_2q} \rightarrow H^\prime _{Q_1 q}\) transitions between heavy + light pseudoscalar mesons are described by a single, universal function [55]:

$$\begin{aligned} f_\pm ^{H\rightarrow H^\prime }(t)&= \frac{ m_{H^\prime } \pm m_{H}}{2\sqrt{m_{H^\prime }m_{H}}}\, \xi (w(t))\,, \end{aligned}$$
(47a)
$$\begin{aligned} w(t)&= \frac{m_{H^\prime }^2+m_H^2 - t}{2 m_{H^\prime } m_{H}} . \end{aligned}$$
(47b)

Reviewing the transitions considered herein, two meet the requirements described above, viz. \(B\rightarrow D\), \(B_s\rightarrow D_s\); and in Fig. 13 we depict the function determined from those transition form factors using Eq. (47). Evidently, the SCI produces results that conform with the notions of heavy-quark symmetry: the \(B\rightarrow D\) and \(B_s\rightarrow D_s\) results for \(\xi (w)\) differ by \(<1\)% according to a measure. Moreover, the SCI prediction for the Isgur–Wise function, although somewhat stiff, is in fair agreement with experimental data [99].

8 Summary and perspective

We employed a symmetry-preserving regularisation of a vector \(\times \) vector contact interaction (SCI) to develop a unified treatment of the twelve independent semileptonic transitions involving \(\pi \), K, \(D_{(s)}\), \(B_{(sc)}\) initial states and the masses and leptonic decays of the fifteen mesons that are either involved in the transitions or characterise the weak transition vertex. The merits of this approach are its algebraic simplicity; paucity of parameters; and simultaneous applicability to such a wide variety of systems and processes, sometimes involving large disparities in mass-scales between initial and final states.

Fig. 13
figure 13

SCI predictions for the Isgur–Wise function, Eq. (47), as obtained from the \(B\rightarrow D\) transition, solid blue curve, and the \(B_s\rightarrow D_s\) transition, dashed green curve. Data, gold stars, from Belle Collaboration measurement of \(B\rightarrow D\) [99]. Quark model results obtained from the \(B\rightarrow D\) transition [91]: thin grey dot-dashed (linear potential) and dotted (harmonic oscillator) curves

Regarding meson masses, which are long-wavelength properties of the systems, the agreement between SCI predictions and experiment is good (Table 1, Fig. 1), with comparison yielding a mean absolute relative difference \(\overline{\mathrm{ard}} = 3\)%. Concerning the leptonic decay constants, \(\overline{\mathrm{ard}} = 11\)%: being dominated by ultraviolet momenta, the decay constants are a greater challenge for the SCI.

Turning to the t-dependence of transition form factors, the SCI predictions are often somewhat too stiff because the contact-interaction produces momentum-independent meson Bethe–Salpeter amplitudes. Notwithstanding this, wherever experiment or sound theory results are available for comparison, the qualitative behaviour of the SCI results compares well, delivering semiquantitative agreement (Sects. 4, 5). This is significant because all transitions are treated with the same three SCI-defining parameters. The poorest comparison is found with \(B\rightarrow \pi \) and \(B_s\rightarrow K\). These transitions, which have huge disparity between mass-scales of the initial and final states, present difficulties for all available methods. Neglecting the \(B\rightarrow \pi \) transition, comparisons between SCI predictions and experimentally measured branching fractions yield \(\overline{\mathrm{ard}} = 7\)% (Table 3B). Consequently, the SCI predictions for the five unmeasured branching fractions should be a sound guide.

An additional novel feature of our analysis is the information obtained about the effects that the Higgs mechanism of current-quark mass generation has on the form factors. The suggestion is that as the current-mass of the non-transitioning valence degree-of-freedom increases, so do deviations from the flavour-symmetry limits (Sect. 6).

Considering \(B_{(s)}\rightarrow D_{(s)}\) transitions, we arrived at a prediction for the Isgur–Wise function (Sect. 7). In comparison with recent \(B\rightarrow D\) data from the Belle Collaboration, the SCI result produces \(\chi ^2/\)datum\(=1.9\).

Looking forward, it would be natural to use the SCI to unify the pseudoscalar-to-pseudoscalar transitions studied herein with pseudoscalar-to-vector semileptonic transitions. No parameters would need to be introduced or varied; and the results would provide additional benchmarks for analyses based on realistic momentum-dependent interactions. Moreover, our analysis has highlighted a need for the use of symmetry-preserving formulations of realistic interactions in the study of all semileptonic transitions with \(B_{(s,c)}\) initial states. There is a dearth of such theory in this area; so with this in mind, the approach in Ref.  [18] is currently being adapted to unify \((\pi ,K,D,B)\rightarrow \pi \) and \((D_s,B_s)\rightarrow K\) transitions.