1 Introduction

Decays of B mesons provide a wide spectrum of probes for testing the quark-flavour sector of the Standard Model (SM). A particularly interesting aspect is given by the subtle difference between weak interactions of particles and their antiparticles, which is described by the phenomenon of CP violation. Here C stands for charge conjugation and P refers to parity, i.e. space inversion. In the SM, CP violation is described through a complex phase in the Cabibbo–Kobayashi–Maskawa (CKM) matrix. Since the SM cannot explain the matter–antimatter asymmetry of the Universe, failing by many order of magnitude, new sources of CP violation are suggested.

The decays \(\bar{B}^0_s\rightarrow D_s^+K^-\) and \(B^0_s\rightarrow D_s^+ K^-\) (with their CP conjugates) offer a powerful probe for testing the SM description of CP violation [1,2,3]. Due to quantum-mechanical \(B^0_s\)\(\bar{B^0_s}\) oscillations, interference effects are generated between these decay channels, leading to the following time-dependent rate asymmetry:

$$\begin{aligned}{} & {} \frac{\Gamma (B^0_s(t)\rightarrow D_s^{+} K^-) - \Gamma (\bar{B}^0_s(t)\rightarrow D_s^{+} K^-) }{\Gamma (B^0_s(t)\rightarrow D_s^{+} K^-) + \Gamma (\bar{B}^0_s(t)\rightarrow D_s^{+} K^-) }\nonumber \\{} & {} \quad = \frac{{C}\,\cos (\Delta M_s\,t) + {S}\,\sin (\Delta M_s\,t)}{\cosh (y_s\,t/\tau _{B_s}) + {{\mathcal {A}}}_{\Delta \Gamma }\,\sinh (y_s\,t/\tau _{B_s})}; \end{aligned}$$
(1)

an analogous expression holds for the CP-conjugate \(D_s^{-} K^+\) final state, where C, S and \({{\mathcal {A}}}_{\Delta \Gamma }\) are replaced by \(\overline{C}\), \( \overline{S}\) and \(\overline{{{\mathcal {A}}}}_{\Delta \Gamma }\), respectively.

The \(\bar{B}^0_s\rightarrow D_s^+K^-\) and \(B^0_s\rightarrow D_s^+ K^-\) channels arise from \(b\rightarrow c \bar{u}s\) and \(\bar{b}\rightarrow \bar{u} c \bar{s}\) quark-level processes, respectively. In the SM, the observables of Eq. (1) and its CP conjugate allow a theoretically clean determination of the angle \(\gamma \) of the Unitarity Triangle (UT) of the CKM matrix [1,2,3]. Performing these measurements and assuming certain SM relations, LHCb [4] has reported the result \(\gamma = \left( 128 ^{+17}_{-22} \right) ^{\circ }\) modulo \(180^{\circ }\). This finding is puzzling as global SM analyses of the UT give values around \(70^{\circ }\) [5,6,7,8]. This regime is also consistent with a recent simultaneous analysis of various B-meson decays by the LHCb collaboration [9]. However, these modes have dynamics different from the \(B^0_s\rightarrow D_s^{\mp } K^{\pm }\) channels and show sensitivity on \(\gamma \) through very different interference effects.

Intrigued by the challenge of interpreting this result, we have a transparent look at the determination of \(\gamma \) and the associated parameters, confirming the LHCb picture and excluding the modulo \(180^{\circ }\) ambiguity [10]. If confirmed through future more precise measurements, this result could only be explained through CP-violating contributions of New Physics (NP) at the \(B^0_s\rightarrow D_s^{\mp } K^{\pm }\) decay amplitude level, and should then also leave imprints on the corresponding branching ratios. Consequently, we move on to extract the individual \(\bar{B}^0_s\rightarrow D_s^+K^-\) and \(B^0_s\rightarrow D_s^+ K^-\) branching ratios and compare them with the SM picture, developing a method to minimise dependences on non-perturbative hadronic and CKM parameters. We in fact arrive at yet another puzzling situation, complementing the \(\gamma \) measurement. The situation is even more exciting, as we observe similar patterns also in branching ratios for other B decays with similar dynamics. Surprisingly small branching ratios in the latter modes have already received attention [11, 12], also within NP interpretations [13,14,15].

In view of these findings, we present a generalized description of the \(B^0_s\rightarrow D_s^{\mp } K^{\pm }\) decays and corresponding analysis of CP violation to include NP contributions in a model-independent way. Applying this formalism to the current data, we calculate correlations between the NP parameters, involving in particular new sources of CP violation. This compact paper complements a much more detailed discussion given in Ref. [10].

2 Standard model framework

The interference effects between \(B^0_s\) or \(\bar{B}^0_s\) mesons decaying into the final states \(D_s^+K^-\) and \(D_s^-K^+\) caused by the \(B^0_s\)\(\bar{B}^0_s\) oscillations are described by physical observables \(\xi \) and \(\bar{\xi }\), respectively. In the SM, their product provides a theoretically clean expression [2]:

$$\begin{aligned} {\xi } \times \bar{\xi }= e^{-i2( \phi _s + \gamma )}, \end{aligned}$$
(2)

where \(\phi _s\) is the CP-violating \(B^0_s\)\(\bar{B}^0_s\) mixing phase. It should be noted in particular that non-perturbative hadronic matrix elements cancel in (2). Since \(\xi \) and \(\bar{\xi }\) can be determined from C, S, \({{\mathcal {A}}}_{\Delta \Gamma }\) and \(\overline{C}\), \( \overline{S}\), \(\overline{{{\mathcal {A}}}}_{\Delta \Gamma }\), respectively [3], and \(\phi _s\) through measurements of CP violation in \(B^0_s \rightarrow J/\psi \phi \) [16], this relation allows a clean extraction of \(\gamma \).

Furthermore, the following relations hold in the SM framework [2]:

$$\begin{aligned} | \bar{\xi }|={1}/{|\xi |} = \sqrt{(1+C)/{(1-C)}},\quad C+\overline{C}=0, \end{aligned}$$
(3)

which were assumed by the LHCb collaboration [4]. Performing a sophisticated fit to their data, LHCb found

$$\begin{aligned} |\bar{\xi }|=0.37^{+0.10}_{-0.09} \end{aligned}$$
(4)

with the following results [4]:

$$\begin{aligned} \phi _s +\gamma = \left( 126^{+17}_{-22}\right) ^{\circ },\quad \delta _s= (-2^{+13}_{-14})^{\circ } \ \ [{\text {modulo }180^{\circ }],} \end{aligned}$$
(5)

where \(\delta _s\) describes the CP-conserving strong phase difference between the \(\bar{B}^0_s\rightarrow D_s^+K^-\) and \(B^0_s\rightarrow D_s^+ K^-\) amplitudes. Here we have used \(\phi _s=(-1.7\pm 1.9)^{\circ }\), which was employed in the LHCb analysis, to convert \(\gamma \) into \(\phi _s+\gamma \). Using the updated result \(\phi _s=\left( -5^{+1.6}_{-1.5}\right) ^{\circ }\), which includes also penguin corrections in \(B^0_s\rightarrow J/\psi \phi \) modes [16], we obtain

$$\begin{aligned} \gamma =\left( 131^{+17}_{-22}\right) ^{\circ } . \end{aligned}$$
(6)

In view of the tension of this value with the SM and the complex LHCb analysis, it is crucial to transparently understand the situation. How can we achieve that? Using (3) with the measured value of C, we find \(| \bar{\xi }|=0.40 \pm 0.13\), which is in excellent agreement with (4). Introducing the combinations

$$\begin{aligned} \langle S \rangle _\pm \equiv (\overline{S}\pm S)/2, \quad \langle {\mathcal {A}}_{\Delta \Gamma } \rangle _+\equiv (\overline{{{\mathcal {A}}}}_{\Delta \Gamma }+{{\mathcal {A}}}_{\Delta \Gamma })/2, \end{aligned}$$
(7)

we obtain the following relations [2, 3, 10]:

$$\begin{aligned}{} & {} \tan (\phi _s+\gamma )=-\langle S \rangle _+/ \langle {\mathcal {A}}_{\Delta \Gamma } \rangle _+=-1.45^{+0.73}_{-2.76}\end{aligned}$$
(8)
$$\begin{aligned}{} & {} \tan \delta _s=\langle S \rangle _- /\langle {\mathcal {A}}_{\Delta \Gamma } \rangle _+=0.04^{+0.70}_{-0.40}, \end{aligned}$$
(9)

where the numerical values correspond to the LHCb measurements of the corresponding observables, yielding \(\phi _s +\gamma =(125^{+18}_{-22})^{\circ }\) with \(\delta _s=(2^{+34}_{-22})^{\circ }\). Here we have excluded the solutions modulo \(180^{\circ }\) as they would be in huge conflict with factorization predicting \(\delta _s\sim 0^{\circ }\) [10]. Consequently, we find excellent agreement between this simple – but transparent – analysis and the complex LHCb fit.

The result for \(\gamma \) in (6) is much larger than the \(70^{\circ }\) regime, and shows a discrepancy at the \(3\sigma \) level. It is important to stress that this intriguing tension could not come from any long distance effects, as the \(\gamma \) determination is theoretically clean in SM. Should this puzzle remain once the experimental picture sharpens further, it would require new sources of CP violation. Since the experimental value of \(\phi _s\) used in the analysis includes possible CP-violating NP effects in \(B^0_s\)\(\bar{B}^0_s\) mixing, new contributions entering directly at the decay amplitudes of the \(B^0_s\rightarrow D_s^{\mp } K^{\pm }\) system would be required.

Such NP effects should manifest themselves also in the corresponding branching ratios. Let us therefore focus on these observables next. Due to the time-dependent \(B^0_s\)\(\bar{B}^0_s\) oscillations, we have to distinguish between time-integrated “experimental” branching ratios [17] and their “theoretical” counterparts where such mixing effects are “switched off” [3, 18]. Moreover, we have to disentangle the interference effects between the two decay paths that arise from the \(B^0_s\)\(\bar{B}^0_s\) oscillations. We obtain the following expressions for the theoretical branching ratios [10]:

$$\begin{aligned} {\mathcal {B}}(B^0_s\rightarrow D_s^+K^-)_{\text {th}}&=2 \left( \frac{1}{1+|\xi |^2} \right) {\mathcal {B}}_{\text {th}} \end{aligned}$$
(10)
$$\begin{aligned} {\mathcal {B}}({\bar{B}}^0_s\rightarrow D_s^+K^-)_{\text {th}}&= 2 \left( \frac{ |\xi |^2 }{1+|\xi |^2} \right) {\mathcal {B}}_{\text {th}}\nonumber \\&= |\xi |^2 {\mathcal {B}}(B^0_s\rightarrow D_s^+K^-)_{\text {th}}. \end{aligned}$$
(11)

Analogous expressions hold for the branching ratios of the \(B^0_s\) and \(\bar{B}^0_s\) decays into the final state \(D_s^- K^+\). Unfortunately, separate measurements of the experimental branching ratios for these final states are not available, just the average

$$\begin{aligned} \langle {\mathcal {B}}_{\text {exp}}\rangle \equiv \frac{1}{2}\left( {\mathcal {B}}_{\text {exp}} + \bar{{\mathcal {B}}}_{\text {exp}}\right) \equiv \frac{1}{2} \, {{\mathcal {B}}}^{\text {exp}}_{\Sigma } \end{aligned}$$
(12)

with \({\mathcal {B}}^{\text {exp}}_{\Sigma }= (2.27 \pm 0.19) \times 10^{-4}\) [6]. Assuming SM expressions for the decay amplitudes, we have [2, 3]

$$\begin{aligned} {{\mathcal {B}}}_{\text {th}} = \bar{{\mathcal {B}}}_{\text {th}}= \left[ \frac{1-y_s^2}{1+y_s\langle {{\mathcal {A}}}_{\Delta \Gamma }\rangle _+}\right] \langle {{\mathcal {B}}}_{\text {exp}}\rangle \end{aligned}$$
(13)

with \(y_s=0.062 \pm 0.004\) [6] and \(\langle {{\mathcal {A}}}_{\Delta \Gamma } \rangle _+= 0.35 \pm 0.23\) [10]. Finally, we obtain [10]:

$$\begin{aligned} {{\mathcal {B}}}(B^0_s \rightarrow D_s^{+}K^{-})_{\textrm{th}}&=(0.26 \pm 0.12) \times 10^{-4} \end{aligned}$$
(14)
$$\begin{aligned} {{\mathcal {B}}}(\bar{B}^0_s \rightarrow D_s^{+}K^{-})_\textrm{th}&=(1.94 \pm 0.21) \times 10^{-4} . \end{aligned}$$
(15)

For the calculation of these branching ratios and the underlying decay amplitudes, factorization provides the theoretical framework. Here the corresponding hadronic matrix elements of four-quark operators entering the low-energy effective Hamiltonian are factorized into the product of the matrix elements of quark currents.

The decay \({\bar{B}^0_s \rightarrow D_s^+ K^-}\) originating from \(b\rightarrow c \bar{u} s\) processes is a prime example where “QCD factorization” is expected to work excellently for the colour-allowed tree topologies [19,20,21,22,23]. We obtain the following amplitude:

$$\begin{aligned} A_{D_s^+ K^-}^{\text {SM}} = \frac{G_{\textrm{F}}}{\sqrt{2}} V_{us}^{*}V_{cb} f_K F_0^{B_s \rightarrow D_s}(m_K^2) (m_{B_s}^2 - m_{D_s}^2) a_{1 \, {\textrm{eff}}}^{D_s K}, \end{aligned}$$
(16)

where \(G_\textrm{F}\) is the Fermi constant, \(V_{us}^{*}V_{cb}\) a factor of CKM matrix elements, \(f_K\) the kaon decay constant and \(F_0^{B_s \rightarrow D_s}(m_K^2)\) a form factor parametrising the hadronic \(b \rightarrow c\) quark-current matrix element. The parameter

$$\begin{aligned} a_{1 \, {\textrm{eff}}}^{D_s K}=a_{1}^{D_s K} \left( 1+\frac{E_{D_s K}}{T_{D_s K}}\right) \end{aligned}$$
(17)

describes the deviation from naive factorization: \(a_{1}^{D_s K}\) characterises non-factorisable effects entering the colour-allowed tree amplitude \(T_{D_s K}\), whereas \(E_{D_s K}\) denotes non-factorisable exchange topologies.

The current state-of-the-art results within QCD factorization are found as \(|a_1|~\approx ~1.07\) with a quasi-universal behaviour [12, 24], with uncertainties at the percent level. Recently, even QED effects have been studied [25], which are small and fully included within the uncertainties. In Ref. [12], a theoretical analysis of the \(\bar{B}^0_d\rightarrow D^+K^-\) decay, which does not have an exchange topology, has been performed, yielding \(|a_1^{D_dK}| = 1.0702^{+0.0101}_{-0.0128}\). The same numerical result is found for \(\bar{B}^0_s\rightarrow D_s^{+}\pi ^-\), yet another pure colour-allowed tree decay which does not have an exchange contribution. A detailed discussion of the associated uncertainties is also given in [12]. The \(\bar{B}^0_s\rightarrow D_s^+K^-\) channel – the key player for our analysis – differs from the \(\bar{B}^0_d\rightarrow D^+K^-\) mode only through the spectator quark. We use the SU(3) flavour symmetry to relate the spectator quarks to each other and double the tiny error in view of possible SU(3)-breaking effects, and employ the following value for our analysis of the \(b\rightarrow c \bar{u} s\) transition:

$$\begin{aligned} |a_1^{D_sK}| = 1.07\pm 0.02. \end{aligned}$$
(18)

The exchange topology in the \(\bar{B}^0_s\rightarrow D_s^+K^-\) decay is non-factorizable and cannot be reliably calculated from first principles. Consequently, we use experimental data to constrain this contribution. The \(\bar{B^0_d} \rightarrow D_s^+ K^-\) transition originates only from an exchange topology \(E_{D_sK}'\), which differs from its counterpart \(E_{D_sK}\) in \(\bar{B}^0_s \rightarrow D_s^+K^-\) through the down quark of the initial \(\bar{B}^0_d\) meson. To be specific, we have the expression

$$\begin{aligned}{} & {} \left| \frac{E_{D_sK}'}{T_{D_sK}+E_{D_sK}}\right| ^2\nonumber \\{} & {} \quad = \frac{\tau _{B_s}}{\tau _{B_d}}\frac{m_{B_d}}{m_{B_s}} \left[ \frac{\Phi (m_{D_s}/m_{B_s}, m_{K}/m_{B_s})}{\Phi (m_{D_s}/m_{B_d}, m_{K}/m_{B_d})}\right] \left| \frac{V_{us}}{V_{ud}}\right| ^2\nonumber \\{} & {} \qquad \times \left[ \frac{{\mathcal {B}}(\bar{B^0_d} \rightarrow D_s^+ K^-)}{{\mathcal {B}}(\bar{B^0_s} \rightarrow D_s^+ K^-)_\textrm{th}}\right] , \end{aligned}$$
(19)

where \(\tau _{B_{d}}\) and \(\tau _{B_s}\) denote the lifetimes of the \(B_d\) and \(B_s\) mesons, respectively, and \(\Phi (x,y)\) is the usual phase-space function, depending on the meson masses. Using this expression with the measured branching ratio \({\mathcal {B}}(\bar{B^0_d} \rightarrow D_s^+ K^-)=(2.7\pm 0.5)\times 10^{-5}\) and our result in (15), we find

$$\begin{aligned} \left| \frac{E_{D_sK}'}{T_{D_sK}+E_{D_sK}}\right| = 0.08 \pm 0.01, \end{aligned}$$
(20)

which offers direct access to the size of the exchange contribution. Another constraint is provided through the comparison of the branching ratio of \(\bar{B}^0_s\rightarrow D_s^+K^-\) in (15) with \({\mathcal {B}}(\bar{B}^0_d\rightarrow D^+K^-)=(1.86\pm 0.20)\times 10^{-4}\), yielding the following result [10]:

$$\begin{aligned} r_E^{D_sK} \equiv \left| 1+\frac{E_{D_s K}}{T_{D_s K}}\right| =1.00\pm 0.08, \end{aligned}$$
(21)

which is remarkably consistent with (20). Due to the non-factorizable nature of the exchange amplitude, it may well have a large strong phase difference with respect to the colour-allowed tree amplitudes [3, 11]. Interestingly, this feature is indicated by the comparison of (20) with (21), although the current uncertainties do not allow us to draw further conclusions. It is important to emphasize that no anomalous behaviour of the exchange topologies that could be caused by large rescattering or other non-factorizable effects is indicated by the data [10], as was also found in Ref. [11].

Our next step is to extract the \(|a_1|\) parameters from the data in the cleanest possible way and to compare them with the theoretical SM predictions. In this respect, semileptonic decays provide a very useful tool [11, 19, 22]. In the case of the \(\bar{B}^0_s\rightarrow D_s^+K^-\) channel, we have the partner decay \(\bar{B}^0_s \rightarrow D_s^{+}\ell ^{-} \bar{\nu }_{\ell }\), and introduce the ratio

$$\begin{aligned} R_{D_s^{+}K^{-}}\equiv \frac{{\mathcal {B}}(\bar{B}^0_s \rightarrow D_s^{+}K^{-})_\textrm{th}}{{{\textrm{d}}{\mathcal {B}}\left( \bar{B}^0_s \rightarrow D_s^{+}\ell ^{-} \bar{\nu }_{\ell } \right) /{{\textrm{d}}q^2}}|_{q^2=m_{K}^2}}, \end{aligned}$$
(22)

which takes the form

$$\begin{aligned} R_{D_s^{+}K^{-}}=6 \pi ^2 f_{K}^2 |V_{us}|^2 |a_{1 \, {\textrm{eff}}}^{D_s K}|^2 X_{D_s K} \end{aligned}$$
(23)

with

$$\begin{aligned} X_{D_s K}\equiv {\Phi _{\text {ph}}} \left[ {F_0^{B_s \rightarrow D_s}(m_K^2)}/{F_1^{B_s \rightarrow D_s}(m_K^2)} \right] ^2, \end{aligned}$$
(24)

where \(\Phi _{\text {ph}}\) is a phase-space factor which is equal to 1 with excellent precision [10]. The CKM matrix element \(|V_{cb}|\) cancels in \(R_{D_s^{+}K^{-}}\). Moreover, due to the normalization condition \(F_0^{B_s \rightarrow D_s}(0)=F_1^{B_s \rightarrow D_s}(0)\), we have an essentially negligible impact of the non-perturbative hadronic form factors [26,27,28]. Using a recent LHCb measurement [29] of the differential rate of the \(\bar{B}^0_s \rightarrow D_s^{+}\ell ^{-} \bar{\nu }_{\ell }\) channel and (15) with (21) yields

$$\begin{aligned} |a_{\textrm{1}}^{D_s K}| = 0.82 \pm 0.11. \end{aligned}$$
(25)

We observe that this result is in tension with the theoretical prediction in (18) at the \(2.2\,\sigma \) level. Consequently, we indeed find another tension at the decay amplitude level with respect to the SM, as we would expect in view of the puzzling result for \(\gamma \). This exciting situation is further strengthened by the fact that a similar pattern of the \(|a_1|\) parameters – with surprisingly small values – arises also for other \(B_{(s)}\) decays with similar dynamics. We have extracted these quantities from the data in an analogous way with semileptonic decay information [10], and show the results in the left panel of Fig. 1. Here \(\bar{B}^0_d\rightarrow D_d^+ K^-\) stands out, showing even a discrepancy of \(4.8 \,\sigma \). Puzzlingly small branching ratios for this channel and the \(\bar{B}^0_d\rightarrow D_d^+ \pi ^-\), \(\bar{B}^0_s\rightarrow D_s^+ \pi ^-\) modes were also pointed out in Refs. [11, 12].

Let us next have a look at the \(\bar{B}^0_s \rightarrow K^+ D_s^-\) decay. The amplitude of this channel, which is caused by \(b\rightarrow u\bar{c} s\) processes, can be expressed in a way similar to the \(b\rightarrow c\bar{u} s\) case, as we discuss in detail in [10]. In analogy to the \({\bar{B}^0_s \rightarrow D_s^+ K^-}\) mode, this transition is also a colour-allowed tree decay. However, as the roles of the heavy c and light u quarks are interchanged, the heavy-quark arguments which can be used to prove factorization up to tiny corrections for the \(b\rightarrow c\) modes do not apply, and there may be larger non-factorizable effects. In view of this less favourable theoretical situation, we will use the following range as a reference for our analysis:

$$\begin{aligned} |a_1^{K D_s}| = 1.1 \pm 0.1. \end{aligned}$$
(26)

Here we have followed the QCD renormalisation group analysis in Ref. [30] as guidance, where \(|a_1|=1.01\pm 0.02\) was found for the variation of the global \(|a_1|\) parameter for colour-allowed tree decays with respect to variations of the renormalization scale and schemes. In Eq. (26), we allow for a five times larger uncertainty [10]. Interestingly, the experimental value of \(\delta _s\) in (5) is found in excellent agreement with factorization [2]. Since this strong phase difference characterizes the interference between the \(b\rightarrow c\bar{u} s\) and \(b\rightarrow u\bar{c} s\) decay paths, it supports factorisation – where such phases vanish – also in the \(b\rightarrow u\bar{c} s\) channel.

In analogy to Eq. (22), the partner decay for the clean extraction of the \(|a_1^{K D_s}|\) parameter is \(\bar{B}^0_s \rightarrow K^+ \ell \bar{\nu }_{\ell }\). Although this channel has been observed by LHCb [31], a measurement of the differential rate has not yet been reported. Consequently, we have applied the SU(3) flavor symmetry and have utilised the \(\bar{B}^0_d \rightarrow \pi ^+ \ell ^{-} {\bar{\nu }_{\ell }}\) mode, for which we do have information from the BaBar and Belle collaborations [5, 6]. We find

$$\begin{aligned} |a_{1}^{K D_s}| =0.77 \pm 0.21, \end{aligned}$$
(27)

as discussed in more detail in [10]. As in the \(b\rightarrow c \bar{u} s\) case, this result favours again a value smaller than our theoretical reference in Eq. (26). The result is illustrated in the panel on the right-hand side of Fig. 1, where we include also the \(\bar{B}^0_d\rightarrow \pi ^+D_s^-\) mode, which differs only through the spectator quark from the \(\bar{B}^0_s \rightarrow K^+ D_s^-\) channel. The current uncertainties are too large to draw further conclusions on these modes.

Fig. 1
figure 1

Experimental and theoretical SM values of the \(|a_1|\) parameters for various decay processes. The left panel illustrates decays which are caused by \(b\rightarrow c \bar{u} s\) and \(b\rightarrow c \bar{u} d\) processes while the right panel shows decays originating from \(b\rightarrow u\bar{c} s\) transitions

Within the SM, universal power-suppressed corrections of order \(\Lambda _{\textrm{QCD}}/m_b\) could in principle lead to a suppression of the \(|a_1|\) parameters [24]. However, such effects would not allow us to accommodate the puzzling result for \(\gamma \) arising from the CP-violating observables of the \(B^0_s\rightarrow D_s^{\mp } K^{\pm }\) system. This phenomenon would require new sources for CP violation. The exciting possibility of NP effects in non-leptonic tree-level decays of B mesons was discussed in Refs. [32, 33], and models for physics beyond the SM addressing the puzzles of the small branching ratios were studied in Refs. [13, 14]. We consider these first models, which face challenges from direct NP searches at ATLAS and CMS [15], as interesting illustrations of specific scenarios. In the remainder of this paper, we will work with a model-independent parametrization of NP contributions.

3 New physics analysis

Let us now extend the analysis of the \(B^0_s\rightarrow D_s^{\mp } K^{\pm }\) system to include NP effects. As we have already noted, the NP contributions to accommodate the puzzling measurement of \(\gamma \) and the \(|a_1|\) values would have to enter at the decay amplitude level. For the \(b\rightarrow c \bar{u} s\) quark-level transition, we generalise the decay amplitude as

$$\begin{aligned} A(\bar{B}^0_s \rightarrow D_s^+ K^-) = A(\bar{B}^0_s \rightarrow D_s^+ K^-)_{{\text {SM}}} \left[ 1 + \bar{\rho } \, e^{i \bar{\delta }} e^{+i \bar{\varphi }} \right] \end{aligned}$$
(28)

with the NP parameter

$$\begin{aligned} \bar{\rho } \, e^{i \bar{\delta }} e^{i \bar{\varphi }} \equiv \frac{ A(\bar{B}^0_s \rightarrow D_s^+ K^-)_{{\text {NP}}} }{ A(\bar{B}^0_s \rightarrow D_s^+ K^-)_{{\text {SM}}} }, \end{aligned}$$
(29)

where \(\bar{\varphi }\) and \( \bar{\delta }\) denote CP-violating and CP-conserving phases, respectively. A similar expression can be written for the \(\bar{b} \rightarrow \bar{u} c \bar{s}\) transition, with parameters \(\rho \), \(\varphi \) and \(\delta \).

In order to get first access to these NP parameters, we compare the SM predictions for the branching ratios with the corresponding experimental values. Let us first have a look at the \(b\rightarrow c \bar{u} s\) transition, where we introduce

$$\begin{aligned} \bar{b} \equiv \frac{\langle {\mathcal {B}}(\bar{B}^0_s \rightarrow D_s^+K^-)_\textrm{th} \rangle }{{\mathcal {B}}(\bar{B}^0_s \rightarrow D_s^{+}K^{-})_\textrm{th}^\textrm{SM}} = 1+2 \, \bar{\rho }\cos \bar{\delta }\cos \bar{\varphi }+ \bar{\rho }^2. \end{aligned}$$
(30)

Here \(\langle {\mathcal {B}}(\bar{B}^0_s \rightarrow D_s^+K^-)_\textrm{th} \rangle \) is the CP average of the theoretical branching ratios, converted from the experimental measurements. For the determination of \(\bar{b}\), we utilize again the semileptonic ratio in (22), which is particularly clean with respect to form factor and CKM parameter uncertainties. In the presence of NP contributions with new sources of CP violation, we introduce the following generalized ratio [10]:

$$\begin{aligned}{} & {} \langle R_{D_s K} \rangle \equiv \nonumber \\{} & {} \frac{{\mathcal {B}}(\bar{B}^0_s \rightarrow D_s^{+}K^{-})_\textrm{th} + {\mathcal {B}}({B}^0_s \rightarrow D_s^{-}K^{+})_\textrm{th}}{\left[ {{\textrm{d}}{\mathcal {B}}\left( \bar{B}^0_s \rightarrow D_s^{+}\ell ^{-} \bar{\nu }_{\ell } \right) /{{\textrm{d}}q^2}}+ {{\textrm{d}}{\mathcal {B}}\left( {B}^0_s \rightarrow D_s^{-}\ell ^{+} {\nu }_{\ell } \right) /{{\textrm{d}}q^2}}\right] |_{q^2=m_{K}^2}} ,\nonumber \\ \end{aligned}$$
(31)

which satisfies \( \langle R_{D_s K } \rangle = R_{D_s^+ K^-}\) in the case of vanishing direct CP asymmetries, as in the SM. Then we obtain the following expression for \(\bar{b} \) in terms of \(\langle R_{D_s K} \rangle \):

$$\begin{aligned} \bar{b} =\frac{\langle R_{D_s K} \rangle }{6 \pi ^2 f_{K}^2 |V_{us}|^2 |a_{1 \, {\textrm{eff}}}^{D_s K}|^2 X_{D_s K} } . \end{aligned}$$
(32)

The parameter \(|a_{1 \, {\textrm{eff}}}^{D_s K}|\) given in (17) is the product of the theoretical prediction of \(|a_{1}^{D_s K}|\) in (18) obtained within QCD factorization and the parameter \( r_E^{D_sK} \) in (21), which was constrained through experimental data. We obtain the value

$$\begin{aligned} |a_{1 \, {\textrm{eff}}}^{D_s K}| = 1.07 \pm 0.09, \end{aligned}$$
(33)

which we will use in the numerical analysis below. The small impact of the exchange topology following from the experimental data as reflected by Eq. (20) holds irrespectively of whether we have the SM or possible NP contributions to this topology.

In analogy, for the \(\bar{b} \rightarrow \bar{u} c \bar{s}\) transition, we introduce

$$\begin{aligned} b\equiv 1+2 \, \rho \cos \delta \cos \varphi + \rho ^2 = \frac{\langle R_{K D_s}\rangle }{6 \pi ^2 f_{D_s}^2 |V_{cs}|^2 |a_{1 \, {\textrm{eff}}}^{K D_s}|^2 X_{K D_s}} . \end{aligned}$$
(34)

Making use of \(r_E^{KD_s}=1.00\pm 0.08\), which follows from an analysis similar to the one for \( r_E^{D_sK}\) given above [10], and the reference for \(|a_{1}^{K D_s}|\) in Eq. (26), we find

$$\begin{aligned} |a_{1 \, {\textrm{eff}}}^{K D_s}|=1.1 \pm 0.13. \end{aligned}$$
(35)
Fig. 2
figure 2

Correlations for the central values of the current data in the \(\bar{\varphi }\)\(\varphi \) plane (left) and the \(\bar{\rho }\)\(\rho \) plane (right) of NP parameters

For the observable \(\bar{\xi } \), we obtain the generalisation

$$\begin{aligned} \bar{\xi } = \bar{\xi }_{\text {SM}} \left[ \frac{1 + {\rho } \, e^{i {\delta }} e^{+i {\varphi }}}{1 + \bar{\rho } \, e^{i \bar{\delta }} e^{-i \bar{\varphi }}}\right] =-|\bar{\xi }|e^{+i\delta _s}e^{-i(\phi _s+\gamma )}e^{i\Delta \bar{\varphi }}. \end{aligned}$$
(36)

Similarly, we rewrite \(\xi \) with \(\Delta {\varphi }\), where we interchange the NP parameters \(\bar{\rho }\), \(\bar{\delta }\), \(\bar{\varphi }\) and \({\rho }\), \({\delta }\), \({\varphi }\).

The product \(\xi \times \bar{\xi } \) introduced in Eq. (2), which plays the key role for CP violation in the SM, is generalized as follows:

$$\begin{aligned} \xi \times \bar{\xi } = e^{-i2 (\phi _s + \gamma )} \Biggl [\frac{1 + {\rho } \, e^{i {\delta }} e^{+i {\varphi }}}{1 + {\rho } \, e^{i {\delta }} e^{-i {\varphi }}} \Biggr ] \Biggl [\frac{1 + \bar{\rho } \, e^{i \bar{\delta }} e^{+i \bar{\varphi }}}{1 + \bar{\rho } \, e^{i \bar{\delta }} e^{-i \bar{\varphi }}} \Biggr ]. \end{aligned}$$
(37)

In contrast to the SM, NP may generate non-vanishing direct CP asymmetries:

$$\begin{aligned} {{\mathcal {A}}}^{\textrm{dir}}_{\textrm{CP}}\equiv & {} \frac{|A({B}^0_s \rightarrow D_s^+ K^-)|^2-|A(\bar{B}^0_s \rightarrow D_s^- K^+)|^2}{|A({B}^0_s \rightarrow D_s^+ K^-)|^2+|A(\bar{B}^0_s \rightarrow D_s^- K^+)|^2}\nonumber \\= & {} \frac{2\,\rho \sin \delta \sin \varphi }{1+2 \, \rho \cos \delta \cos \varphi + \rho ^2}. \end{aligned}$$
(38)

An analogous expression holds for the CP-conjugate asymmetry \(\bar{{{\mathcal {A}}}}^{\textrm{dir}}_{\textrm{CP}}\), involving \(\bar{\rho }\) with \(\bar{\delta }\) and \({\bar{\varphi }}\). We may then write the first ratio entering (37) as

$$\begin{aligned} \frac{1 + {\rho } \, e^{i {\delta }} e^{+i {\varphi }}}{1 + {\rho } \, e^{i {\delta }} e^{-i {\varphi }}} = e^{-i\Delta \Phi } \sqrt{\frac{1- {{{\mathcal {A}}}}^{\textrm{dir}}_{\textrm{CP}}}{1+{{{\mathcal {A}}}}^{\textrm{dir}}_{\textrm{CP}}}}, \end{aligned}$$
(39)

where

$$\begin{aligned} \tan \Delta \Phi =-\left[ \frac{2\rho \cos \delta \sin \varphi + \rho ^2\sin 2\varphi }{1+2\rho \cos \delta \cos \varphi + \rho ^2\cos 2\varphi }\right] ; \end{aligned}$$
(40)

the second ratio takes a similar form, involving \(\bar{\rho }\), \(\bar{\varphi }\) and \(\bar{{{\mathcal {A}}}}^{\textrm{dir}}_{\textrm{CP}}\) with a phase \(\Delta \bar{\Phi }\). We then obtain

$$\begin{aligned} \left| \xi \times \bar{\xi }\right| ^2= \left[ \frac{1- {{{\mathcal {A}}}}^{\textrm{dir}}_{\textrm{CP}}}{1+{{{\mathcal {A}}}}^{\textrm{dir}}_{\textrm{CP}}}\right] \left[ \frac{1- {\bar{{\mathcal {A}}}}^{\textrm{dir}}_{\textrm{CP}}}{1+{\bar{{\mathcal {A}}}}^{\textrm{dir}}_{\textrm{CP}}}\right] =1+\epsilon , \end{aligned}$$
(41)

where

$$\begin{aligned} -\frac{1}{2}\, \epsilon = \frac{C+\bar{C}}{\left( 1+C\right) \left( 1+\bar{C}\right) } = {{\mathcal {A}}}^{\textrm{dir}}_{\textrm{CP}} + {\bar{{\mathcal {A}}}}^{\textrm{dir}}_{\textrm{CP}} + \mathcal{O}(({{\mathcal {A}}}^{\textrm{dir}}_{\textrm{CP}})^2), \end{aligned}$$
(42)

generalising the SM relations in (3). Finally, we arrive at

$$\begin{aligned} \xi \times \bar{\xi } = \sqrt{1-2\left[ \frac{C+\bar{C}}{\left( 1+C\right) \left( 1+\bar{C}\right) } \right] }e^{-i\left[ 2 (\phi _s +\gamma _{\textrm{eff}})\right] }, \end{aligned}$$
(43)

which is a theoretical clean relation playing key role in our analysis. Here, the UT angle \(\gamma \) enters as the “effective” angle

$$\begin{aligned} \gamma _{\textrm{eff}}\equiv \gamma + \gamma _{\text {NP}} =\gamma +\frac{1}{2}\left( \Delta \Phi +\Delta \bar{\Phi }\right) = \gamma -\frac{1}{2}\left( \Delta \varphi +\Delta \bar{\varphi }\right) . \end{aligned}$$
(44)

Consequently, (6) actually corresponds to \(\gamma _{\textrm{eff}}\).

Note that in combined fits to the data for various B decays to extract \(\gamma \), such as in Ref. [9], NP effects may average out to some extend, thereby yielding an effective angle with NP contributions which – in contrast to (44) – cannot transparently be quantified. It will rather be crucial to search for patterns in the individual \(\gamma \) determinations, aiming at the highest precision.

Let us now apply our formalism to the current data. In order to be consistent with the LHCb assumption, we set the strong phases \(\delta \) and \(\bar{\delta }\) to \(0^{\circ }\). This implies vanishing direct CP asymmetries, in agreement with \(B \rightarrow DK\) data within the uncertainties [6]. As we have noted after Eq. (31), using these assumptions, we may identify the experimental values for \(R_{D_s^{+}K^{-}}=0.05 \pm 0.01\) and \(R_{K^{+}D_s^{-}} = 3.64 \pm 1.70\), with \( \langle R_{D_s K } \rangle \) and \( \langle R_{K D_s } \rangle \), respectively. Complementing these values with the other relevant parameters introduced above, we find

$$\begin{aligned} \bar{b}=0.58 \pm 0.16, \quad {b}=0.50 \pm 0.26. \end{aligned}$$
(45)

Since the \(\bar{b}\) and b observables would be equal to 1 within the SM, these numerical values reflect the puzzling patterns in Fig. 1. Concerning the input from CP violation, we obtain the following relation [10]:

$$\begin{aligned} \Delta \varphi =\Delta \bar{\varphi } = \gamma -\gamma _{\textrm{eff}}=-(61 \pm 20)^{\circ }, \end{aligned}$$
(46)

where

$$\begin{aligned} \tan \Delta \varphi =\frac{\rho \sin \varphi +\bar{\rho }\sin \bar{\varphi }+ \bar{\rho }\rho \sin (\bar{\varphi }+\varphi )}{1+\rho \cos \varphi +\bar{\rho }\cos \bar{\varphi }+\bar{\rho }\rho \cos (\bar{\varphi }+\varphi )}. \end{aligned}$$
(47)

The numerical value refers to \(\gamma =(70 \pm 7)^{\circ }\), which is consistent with UT analyses, and the result in (6).

In order to convert the measured observables into constraints on the NP parameters, we first employ \(\bar{b}\) and b to determine \(\bar{\rho }\) and \({\rho }\) as functions of \(\bar{\varphi }\) and \(\varphi \), respectively. Using then (6), we may calculate \({\varphi }\) as a function of \(\bar{\varphi }\), fixing a contour in the \({\varphi }\)\(\bar{\varphi }\) plane. Finally, using again \(\bar{\rho }(\bar{\varphi })\) and \({\rho }(\varphi )\) allows us to calculate a correlation in the \(\bar{\rho }\)\(\rho \) plane, where each point is linked with \(\bar{\varphi }\) and \(\varphi \).

In Fig. 2, we show the corresponding correlations for the central values of the current data. In Fig. 3, we show the impact of the uncertainties of the input quantities \(\Delta \varphi \), b and \(\bar{b}\), varying them separately. We can nicely see that the SM point corresponding to the origin in the \(\bar{\rho }\)\(\rho \) plane is excluded, and notice that NP contributions with CP-violating phases are simultaneously required in the \(b\rightarrow c \bar{u} s\) and \(\bar{b}\rightarrow \bar{u} c \bar{s}\) decay paths. Interestingly, we can describe the measurements with NP contributions as small as about 30% of the SM amplitudes.

Fig. 3
figure 3

Correlations in the \(\bar{\rho }\)\(\rho \) plane of NP parameters including uncertainties

In view of the complexity of the strategy, we finally summarise the main steps:

  • Step 1: CP Violation Utilising C, S, \( {\mathcal {A}}_{\Delta \Gamma }\) and their CP conjugates, we determine \(\xi \) and \(\bar{\xi }\), respectively, unambiguously from the data. The product \(\xi \times \bar{\xi }\), generalised to include NP, allows a theoretically clean determination of \(\gamma _{\textrm{eff}}\equiv \gamma + \gamma _{\text {NP}}\), where \(\gamma _\textrm{NP}\) is a function of the NP parameters. Using information on \(\gamma \) from other processes, we extract \(\gamma _\textrm{NP}\).

  • Step 2: Branching Ratio Information To have a particularly clean setup, we combine the branching fractions of the non-leptonic decays with differential rate information from their semi-leptonic partners. We constrain the exchange topologies via other control channels. Complementing data with theoretical input for the \(|a_1|\) parameters, we extract b and \(\bar{b}\).

  • Step 3: NP Parameters Correlation We make use of all three observables \(\gamma _{\textrm{eff}}\), b and \(\bar{b}\) and explore the available space for NP by obtaining correlations between the NP parameters \(\rho (\varphi )\) and \(\bar{\rho }(\bar{\varphi })\).

4 Concluding remarks

Fig. 4
figure 4

Illustration of the two puzzles and the strategy we presented in this paper

The \(\bar{B}^0_s\rightarrow D_s^+K^-\) and \(\bar{B}^0_s\rightarrow D_s^- K^+\) decays with their CP conjugates are key players in the testing of the SM. We have demonstrated that the intriguing picture arising from the measured CP-violating observables, which results in a tension with the SM at the \(3\sigma \) level, is complemented by a puzzling pattern of the individual branching ratios. The latter finding is actually in accordance with measurements of rates of \(B_{(s)}\) modes with similar dynamics, where we find tensions with up to \(4.8\sigma \) significance. While the \(\gamma \) measurement cannot be explained through non-factorizable effects, the branching ratio puzzles could in principle be accommodated through such contributions. We would like to stress that the experimental result of the strong phase difference \(\delta _s\) between the \(b\rightarrow c \bar{u} s\) and \(b\rightarrow u \bar{c} s\) decay paths is in excellent agreement with factorization. It is exciting to reveal and link these new puzzles, complementing indications of NP in other corners of the flavour sector, where currently rare decays arising from \(b\rightarrow s\ell ^+\ell ^-\) quark-level processes involving also leptons are in the spotlight [34].

We have presented a model-independent description of the \(B^0_s\rightarrow D_s^{\mp } K^{\pm }\) system to include NP effects and give a generalized expression for an effective angle \(\gamma \) in terms of NP parameters that can be determined in a theoretically clean way from the measured CP-violating observables. Utilizing furthermore the information from the decay branching ratios, the NP parameters can be constrained, as we have illustrated for the current data. In Fig. 4, we give a schematic overview. In the future high-precision B physics era, this formalism can be fully exploited through more sophisticated experimental analyses, searching for direct CP violation and measuring the experimental \(B_s\) branching ratios for the separate \(D_s^+K^-\) and \(D_s^- K^+\) final states. The measurement of the differential \(\bar{B}^0_s \rightarrow K^+ \ell \bar{\nu }_{\ell }\) rate would be another important ingredient to complement the analysis. The NP parameters resulting from this analysis will serve as benchmarks for the model building community.

It will be exciting to monitor the evolution of the data and the sharper picture emerging from the application of our strategy. The central question is whether these studies will finally allow us to establish the presence of new CP-violating contributions to \(B^0_s\rightarrow D_s^{\mp } K^{\pm }\) decays, thereby raising the question of whether such new sources of CP violation could open a window to understand the matter–antimatter asymmetry of the Universe.