This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

institutetext: Ottawa-Carleton Institute for Physics, Carleton University,
1125 Colonel By Drive, Ottawa, ON K1S 5B6, Canada

Flavor and 𝑪𝑷CP Violation from a QCD-like Hidden Sector

Wafia Bensalem    and Daniel Stolarski [email protected] [email protected]
Abstract

Confining hidden sectors at the GeV scale are well motivated by asymmetric dark matter and naturalness considerations and can also give interesting collider signatures. Here we study such sectors connected to the Standard Model by a TeV scale mediator charged under both QCD and the dark force. Such a mediator admits a Yukawa coupling between quarks and dark quarks which is generically flavour and CPCP violating. We show that in contrast to expectation, electric dipole moments do not place a strong constraint on this scenario even with O(1)O(1) CPCP-violating phases. We also quantitatively explore constraints from ΔF=1,2\Delta F=1,2 processes as a function of the number of dark quark flavours. Finally, we describe the reach of upcoming measurements at Belle-II and KOTO, and we propose new CPCP-odd observables in rare meson decays that may be sensitive to the CPCP-violating nature of the dark sector.

1 Introduction

The nature of dark matter is one of the most important open questions in fundamental physics. The asymmetric dark matter paradigm Nussinov:1985xr ; Barr:1990ca ; Barr:1991qn ; Dodelson:1991iv ; Kaplan:1991ah ; Kuzmin:1996he ; Foot:2003jt ; Foot:2004pq ; Hooper:2004dc ; Kitano:2004sv ; Gudnason:2006ug ; Kaplan:2009ag (for reviews see Davoudiasl:2012uw ; PetrakiEtal ; Zurek:2013wia ) is a particularly attractive solution to the dark matter problem because it explains the abundance of dark matter in the same way that the abundance of baryons in the universe arises, via an asymmetry of (dark) matter over (dark) anti-matter. This paradigm can explain why the abundances of matter and dark matter in the universe only differ by a factor of five.

While asymmetric dark matter models can easily explain why the number density of dark matter is similar to that of matter, the abundance of (dark) matter is set by both the number density and the mass. The mass of the proton is controlled by the confinement scale of QCD. This suggests that the asymmetric dark matter should also be a bound state of a new dark strong force. This was realized concretely in the model of Bai and Schwaller BaiSchwaller014 (BS) which has an SU(Nc)SU(N_{c}) dark force whose running gauge coupling is related to that of QCD and thus naturally predicts a dark confinement scale at around a GeV. This model also predicts the existence of a scalar XX charged under both QCD and “dark QCD” around a TeV scale, and this mediator has a Yukawa coupling to quarks and dark quarks.

Models with a dark confining force around the GeV scale have received tremendous attention lately. In addition to being motivated by asymmetric dark matter, they can also arise in neutral naturalness models Craig:2015pha ; Curtin:2015fna ; Cheng:2016uqk ; Kilic:2018sew , and provide interesting benchmark for exotic searches at colliders Strassler:2006im ; Strassler:2006ri ; Han:2007ae ; EmergingJets ; Cohen:2015toa ; Csaki:2015fba ; Knapen:2016hky ; Pierce:2017taw ; Burdman:2018ehe ; Cheng:2019yai ; Linthorne:2021oiz ; Knapen:2021eip (for a review, see chapter 7 of Alimena:2019zri ). There is now a direct collider search for this BS model Sirunyan:2018njd using the proposal of EmergingJets , and significant bounds can be placed from collider searches and direct detection Mies:2020mzw .

In this work we focus on the constraints that arise from Yukawa couplings of the XX scalar in the BS model. The couplings of this mediator to SM quarks breaks some of the SM accidental flavour symmetries and generically gives rise to flavour and CPCP-violating processes. Therefore, dark QCD models are variants of the Flavoured Dark Matter paradigm Kile:2011mn ; Kamenik:2011nb ; Batell:2011tc ; Agrawal:2011ze ; Batell:2013zwa ; Lopez-Honorez:2013wla ; ABG014 ; Bishara:2014gwa ; Hamze:2014wca ; Calibbi:2015sfa ; Agrawal:2015tfa ; Bishara:2015mha ; Bhattacharya:2015xha ; Chen:2015jkt ; Agrawal:2015kje ; Blanke:2017fum . In order to study flavour observables, the effects of the mediator can be parameterized within an effective field theory of quarks and leptons. Models with different types of mediators can thus still be constrained using the analysis of this work. While many models are constructed not to be in conflict with flavour observables (see Knapen:2021eip for a classification), this is not always the case. So while our work uses the BS model for concreteness, it is more broadly applicable.

Many of the flavour and CPCP-violating processes we study are extremely well measured and all agree111There are of course several few σ\sigma anomalies that we do not attempt to explain here. with the SM predictions, so these processes can be used to place constraints on the parameters of the dark QCD models. The flavour constraints on these models were studied in the work of Renner and Schwaller (RS) RennerSchwaller018 under the assumptions of real Yukawa couplings. In this paper we extend the work of RS to the more general case of complex couplings that can potentially violate CPCP. Naively, the strongest bounds on CPCP-violating models come from null results in searches for electric dipole moments (EDMs) of various systems. In this work, we show that the models we are considering, even with generic 𝒪(1)\mathcal{O}(1) phases, are not constrained by current EDM measurements. There may, however, be sensitivity with future experiments.

The BS model requires the existence of nfn_{f} light flavours charged under dark QCD whose mass is at or below the confinement scale, and the dark matter is the lightest baryonic bound state of those light flavours. The simplest case is nf=3n_{f}=3 which gives a parallel structure to QCD which also has three light flavours, and that is the focus of the work of RennerSchwaller018 . Here we generalize to arbitrary nfn_{f}, analyzing all possibilities.

In addition to constraints from flavour and CPCP observables, we also consider future prospects for discovery, focusing in particular on rare decays with dark quarks or hadrons in the final state. We explore how CPCP-violating phases change predictions of the model. We also propose speculative new measurements that can directly measure CPCP violation in the dark sector at future experiments. While most of the techniques we explore are difficult with current technology and experiments, we hope this motivates improvements that allow such measurements in the future.

The remainder of this work is structured as follows: in Sec. 2 we outline the details of the model and give constraints from the running of the QCD coupling. In Sec. 3, we explore bounds from EDMs, in Sec. 4, we analyze bounds from ΔF=2\Delta F=2 processes, and in Sec. 5 we compute constraints and discovery prospects from ΔF=1\Delta F=1 processes. We compare the ΔF=2\Delta F=2 and ΔF=1\Delta F=1 constraints in Sec. 6, and we conclude in Sec. 7. In the appendices we give a brief review of the flavour and CPCP observables used in this work, and give various technical details on how we compute bounds.

2 Dark QCD Model

We begin with a DQCD model which is an SU(Nc)SU(N_{c}) gauge group with nfn_{f} vectorlike fundamental flavors of dark quarks with masses near or below the confinement scale. Cofinement will give rise to a zoo of dark hadrons that get their masses from DQCD effects. For simplicity, we will consider the dark quark masses to be approximately equal. The dark quarks are all neutral under the SM gauge forces. Motivated by asymmetric dark matter models and particularly the setup in BaiSchwaller014 , we take the confinement scale of the dark QCD to be around the GeV scale. The lightest baryon can serve as dark matter if baryon number is a good symmetry.

The asymmetry generation mechanism of BaiSchwaller014 requires a bifundamental scalar portal, XX, which is a scalar charged under both QCD and dark QCD. This scalar can then be a mediator between the dark sector and the Standard Model via a Yukawa coupling:

SMDMint=λijd¯iRQjX+h.c,\mathcal{L}_{SM-DM}^{int}=-\lambda_{ij}\bar{d}_{iR}Q_{j}X+\,{\rm h.c}\ , (1)

where diRd_{iR} are SM right-handed (RH) down-type quarks and we have chosen the hypercharge of the XX so that this coupling is allowed. Here ii is an SM flavor index running from 1 to 3 over down, strange, and bottom, QjQ_{j} are the dark quarks with jj a dark flavor index running from 1 to nfn_{f}. Therefore λ\lambda is a Yukawa coupling matrix in the SM-DM flavor space.

Coupling to down-type quarks is the scenario considered in BaiSchwaller014 and the simplest scenario that contributes to KK¯K-\bar{K} mixing, the quark system that gives rise to the strongest constraints. One could consider couplings to RH up-type quarks, or couplings to left-handed quark doublets which we will explore in the future. These two cases have been studied in the Flavoured Dark Matter context BlankeKastRHupQuarks ; JubbEtAllRHupQuarks ; BlankeEtAlLHquarks , in models without dark gauge interactions. In this work we also consider generic CPCP violating effects for the first time.

Before analyzing the bounds from flavor and CPCP violation, we briefly establish bounds that do not depend on the Yukawa matrix λ\lambda. Because XX carries a QCD charge, it will contribute to the running of αs\alpha_{\text{s}}. Using the analysis of KaplanSchwartz on event shape data at LEP, we find a limit of MX>30M_{X}>30 GeV for Nc=3N_{c}=3 and one flavor of XX. In the case of three degenerate flavors of scalar mediators and Nc=8N_{c}=8, we find MX>55M_{X}>55 GeV. Future colliders could also place similar bounds, with the study of AlvesEWco , we find a potential lower bound of 100100 GeV from TLEP constraints using the running of electroweak couplings.

Direct production of XX at colliders can also be used to place bounds. The quantum numbers of the XX are similar to that of a sbottom in supersymmetry, and LEP has placed bounds on those states of 𝒪(100)\mathcal{O}(100) GeV LEP . Translating these searches to precise bounds on the XX which decays to exotic dark sector states is non-trivial and beyond the scope of this work. At the LHC, CMS has placed direct limits on the XX Sirunyan:2018njd ruling out parts of the parameter space, but that search did not analyze XX masses below 400 GeV. A theoretical recast exploring various other limits was done in Mies:2020mzw .

3 Electric Dipole Moment

We will consider an arbitrary coupling matrix λij\lambda_{ij}, which means that this model will in general have large CPCP violation. Typically, the strongest bounds on CPCP violating new physics come from electric dipole moments (EDMs). In this section we analyze those bounds for the DQCD framework and show that bounds from EDMs are actually quite weak and do not place significant constraints on this model. The experimental limit on the neutron electric dipole moment (nEDM) is |dn|<3.0×1026ecm|d_{n}|<3.0\times 10^{-26}\ e\cdot cm nEDMexp . There are also bounds on EDMs of nuclei, atoms, and molecules  EDMatoms that can be translated into limits on the EDMs of quarks which are 1.27×1024ecm1.27\times 10^{-24}\ e\cdot cm for the up quark and 1.17×1024ecm1.17\times 10^{-24}\ e\cdot cm for the down quark, at the scale of 44 GeV2 QuarksEDM . A limit on the electron electric dipole moment (eEDM) of 1.1×1029ecm1.1\times 10^{-29}\ e\cdot cm can also be placed eEDMexp .

Since the neutron and all concerned nuclei, atoms, and molecules contain hadronic states, their observable EDMs are in general sensitive to any CPCP-odd effects, including gluonic ones LeDallRitz2013 . The effective CPCP-odd flavor-diagonal Lagrangian up to dimention six, normalized to 11 GeV is LeDallRitz2013 ; PospelovRitz2005

effCP(1 GeV)=\displaystyle\mathcal{L}_{eff}^{\cancel{{CP}}}(1\text{ GeV})= θ¯gs232π2GμνaG~μν,ai2diψ¯iσμνγ5ψiFμνi2d~igsψ¯itaσμνγ5ψiGaμν\displaystyle\frac{\bar{\theta}g_{s}^{2}}{32\pi^{2}}G_{\mu\nu}^{a}\widetilde{G}^{\mu\nu,a}-\frac{i}{2}d_{i}\bar{\psi}_{i}\sigma_{\mu\nu}\gamma_{5}\psi_{i}F^{\mu\nu}-\frac{i}{2}\widetilde{d}_{i}g_{s}\bar{\psi}_{i}t_{a}\sigma_{\mu\nu}\gamma_{5}\psi_{i}G_{a}^{\mu\nu} (2)
+13ωfabcGμνaG~νβ,bGβμ,c+Cij(ψ¯iψi)(ψ¯jiγ5ψj).\displaystyle+\frac{1}{3}\omega f^{abc}G_{\mu\nu}^{a}\widetilde{G}^{\nu\beta,b}G_{\beta}^{\mu,c}+C_{ij}(\bar{\psi}_{i}\psi_{i})(\bar{\psi}_{j}i\gamma_{5}\psi_{j}).

where ii and jj are summed over light flavors, and GμνG^{\mu\nu} (FμνF^{\mu\nu}) is the field strength tensor of the gluon (photon). The first term in equation (2) is the QCD θ\theta-term; we assume an axion HookStrongCP or some other mechanism is at work to relax θ¯0\bar{\theta}\rightarrow 0. The second and third terms contain respectively the EDM and the chromo-EDM (CEDM) operators. The fourth term is the Weinberg operator Weinberg1989 , and the last term has a four quark operator which is very suppressed compared to the other operators HamzaouiPospelov1995 ; PospelovRitz2005 , so it can be neglected in the calculations of nEDM. We are therefore left with the Weinberg and the (C)EDM terms. We will show in this section, that even if the dark quarks are not mass-degenerate,222In subsequent sections, we will consider the dark quarks to be approximately mass-degenerate, but in this section we consider the more general possibility. the contribution of our model to EDMs is negligible.

In order to contribute to the CPCP-odd EDM, diagrams must have an imaginary component. In general, the amplitude of any loop diagram is a sum of operators, whose coefficients can be written in the form: C=gLC=gL, where LL represents the loop integration, and gg represents the effective coupling, which is the product of couplings from all the vertices of the diagram. In general, gg and LL can both be complex, but diagrams with heavy XX running in the loop and zero external momentum cannot have the XX go on-shell. Therefore, the optical theorem333See for example Section 7.3 of PeskinQFT . implies that Im(L)=0\text{Im}(L)=0 and only gg can be complex.

At one loop there is one that could contribute to the quark EDM, shown in Figure 1. The effective couplings of this diagram, λdQλdQ\lambda_{dQ}\lambda^{\ast}_{dQ}, is real, and thus gives no contributions to EDMs. At two loops, there are contributions to the three gluon Weinberg operator Weinberg1989 , and Barr-Zee-like BarrZee and kite diagrams contributing to the quark and electron EDM. These are all shown in Figure 2. The diagrams of the first line of Figure 2 give zero EDMs because their effective couplings are real. Indeed, the coupling between the SM Higgs and XX is real, since the only renormalizable gauge invariant interaction between the SM Higgs and XX is given by XXHHX^{\dagger}XH^{\dagger}H which is Hermitian and thus always CPCP conserving. The QQ-XX-dd vertices of the kite diagram give the real coupling λdQλdQ\lambda^{\ast}_{dQ}\lambda_{dQ}. The diagrams with fermion loops of the second line give real effective couplings as well. This is because they are of the form λqQλqQ\lambda^{\ast}_{qQ}\lambda_{qQ}, for the Weinberg-like diagrams, and λdQλdQλqQλqQ\lambda^{\ast}_{dQ}\lambda_{dQ}\lambda^{\ast}_{qQ^{\prime}}\lambda_{qQ^{\prime}}, for the Barr-Zee-like diagram. All diagrams of Figure 2 could have a non-zero EDM if there is a more complicated Higgs sector and/or if there are multiple XX scalars.

Refer to caption
Figure 1: One loop contribution of our model to the (C)EDM of the dd quark. QQ is a dark quark, and XX is the bifundamental scalar mediator. The CEDM diagram is obtained when the photon is replaced by a gluon.
Refer to caption
Refer to caption
Figure 2: Contributions of our model to Barr-Zee (left column), Weinberg (central column and lower right), and kite (upper right) diagrams that could participate to nEDM or eEDM. We have included one diagram per topology, but there are additional diagrams where the photon (gluon) couples to other intermediate particles, or where the Higgs scalar propagator changes place. The CEDM diagrams are obtained from the Barr-Zee and kite ones, when the photon is replaced by a gluon. QQ and QQ^{\prime} are dark quarks, and XX is the bifundamental scalar mediator. These diagrams, having real effective couplings, do not participate to EDMs.

Another type of two loop diagrams, shown in Figures 3, may contribute to the nEDM via the (C)EDMs of the dd and uu quarks. The three types of rainbow diagrams, when taken individually, with the two internal (dark) quarks being different and not mass-degenerate, will have complex effective couplings. However, because of the symmetry of these diagrams, their contributions to the (C)EDM operators vanish when we sum over all the internal (dark) quarks, even if the individual contributions are nonzero. The first and second diagrams of Figure 3 will give a sum of operators whose coefficients are of the form:

C(1,2)=q=b,sQ,Q=1nfλdQλqQλqQλdQLQQ,C_{(1,2)}=\sum\limits_{q=b,s}\ \sum\limits_{Q,Q^{\prime}=1}^{n_{f}}\lambda_{dQ^{\prime}}^{\ast}\lambda_{qQ^{\prime}}\lambda_{qQ}^{\ast}\lambda_{dQ}L_{QQ^{\prime}}, (3)

where LQQL_{QQ^{\prime}} is the loop factor when QQ (QQ^{\prime}) is the left (right) internal dark quark, with each type of operator having its own specific factor LQQL_{QQ^{\prime}}. From the symmetry of the diagrams, we have LQQ=LQQL_{Q^{\prime}Q}=L_{QQ^{\prime}}. Indeed, if we apply a time reversal to one diagram having a left (right) internal quark QQ (QQ^{\prime}), then we actually change LQQL_{QQ^{\prime}} to LQQL_{Q^{\prime}Q}. So LQQL_{Q^{\prime}Q} is the time reversal transform of LQQL_{QQ^{\prime}}, and since LQQL_{QQ^{\prime}} is real as we explained above, it is then TT-conserving,444LQQL_{QQ^{\prime}} is CPCP-conserving since it is real, which implies it is TT-conserving, assuming CPTCPT invariance. that is, it is equal to LQQL_{Q^{\prime}Q}, its TT-transform. We can show the equality in a different way for the first diagram of Figure 3. In the loop integral, we have exactly the same integrand when we interchange QQ and QQ^{\prime} because, first, QQ and QQ^{\prime} have the same momentum, and second, the terms proportional to their masses (which could give different integrands if the masses are different) vanish because they come with the null product PRPLP_{R}P_{L}. Finally we obtain:

C(1,2)=q=b,s[Q|λdQ|2|λqQ|2LQQ+QQ2Re(λdQλqQλqQλdQ)LQQ],C_{(1,2)}=\sum\limits_{q=b,s}\left[\sum\limits_{Q}|\lambda_{dQ}|^{2}|\lambda_{qQ}|^{2}L_{QQ}+\sum\limits_{Q\neq Q^{\prime}}2\text{Re}(\lambda_{dQ^{\prime}}^{\ast}\lambda_{qQ^{\prime}}\lambda_{qQ}^{\ast}\lambda_{dQ})L_{QQ^{\prime}}\right], (4)

which is real. With a similar reasoning, we find that the sum over the internal quarks of the third diagram of Figure 3 gives a real coefficient as well. Indeed, it takes the form:

C(3)=Q[q=d,s,b|λqQ|2|Vuq|2LqqQ+(1/2)qq2Re(λqQλqQVuqVuq)LqqQ]],C_{(3)}=\sum\limits_{Q}\left[\sum\limits_{q=d,s,b}|\lambda_{qQ}|^{2}|V_{uq}|^{2}L_{qqQ}+(1/2)\sum\limits_{q\neq q^{\prime}}2\text{Re}(\lambda_{qQ}^{\ast}\lambda_{q^{\prime}Q}V_{uq^{\prime}}^{\ast}V_{uq})L_{qq^{\prime}Q}]\right], (5)

where LqqQL_{qq^{\prime}Q} is the loop factor when the internal quark qq (qq^{\prime}) is on the left (right), and VuqV_{uq} are the elements of the CKM matrix. Again, by TT-symmetry, LqqQ=LqqQL_{qq^{\prime}Q}=L_{q^{\prime}qQ}. One could think that this loop factor symmetry does not apply when the photon connects to one of the inner SM quarks in the right diagram of Figure 3, but the reversal argument still applies to this diagram when the photon is moved from one inner quark to the other. In  Fujiwara:2021vam the authors show that the contribution vanishes as well after summing over internal quarks. This work shows, in a model independent way, that the diagrams of the same type as the left and right ones of Figure 3 give zero EDM. The analysis of Fujiwara:2020unw confirms a vanishing EDM in the middle diagram type of Figure 3, since a non-zero contribution requires two non-degenerate scalars, while our model contains only a single scalar. Therefore, all the rainbow diagrams give zero (C)EDMs. If there are multiple XX scalars, there could be non-zero EDMs and non-trivial bounds.

Refer to caption
Figure 3: Rainbow diagrams, which are other two loop contributions of our model to nEDM. QQ and QQ^{\prime} are dark quarks, and XX is the bifundamental scalar mediator. Here again, We have included one diagram per topology, but there are additional diagrams where the photon couples to other intermediate particles. The CEDM diagrams are obtained when the photon is replaced by a gluon. The first two diagrams are contributions to the (C)EDM of the dd quark, and the third diagram shows contributions to the (C)EDM of the uu quark

There may be contributions to the nEDM at the three loop level, which we estimate to be of order eλij4(1/16π2)3(md/MX2)1029ecm\sim e\lambda_{ij}^{4}(1/16\pi^{2})^{3}(m_{d}/M_{X}^{2})\lesssim 10^{-29}\ e\cdot cm for a TeV scale mediator. This is far below the experimental limit of order 1026ecm10^{-26}\ e\cdot cm, but there may be a non-trivial constraint for light mediators, MX100M_{X}\lesssim 100 GeV.

While the dark sector does not couple directly to electrons, there could also be contributions to the electron electric dipole moment (eEDM) starting at two-loop order. The upper left diagram of Figure 2, is the only one that contributes, but as argued above, it is purely real. At three loops, one can take the original Barr-Zee diagram and insert an XX propagator inside the quark loop, but this diagram also has a real effective coupling. Therefore, current EDM bounds are insensitive to CPCP violation in the minimal model with only one bi-fundamental and one Higgs, but there may be prospects for detection with future experimental improvements.

4 𝚫𝑭=𝟐\Delta F=2 Constraints

We now turn to ΔF=2\Delta F=2 bounds on the DQCD framework. Contributions to ΔF=2\Delta F=2 processes arise first at the one loop level where two box diagrams contribute to the BdB_{d}, BsB_{s} or KK meson mixing shown in Figure 4. These diagrams were computed in ABG014 without a dark gauge symmetry, and we have recomputed and confirmed their results, up to the addition of an NcN_{c} factor for dark color.

Refer to caption
Figure 4: Contributions of the new particles to ΔF=2\Delta F=2 meson mixing processes.

We take the scenario where there are nfn_{f} approximately mass-degenerate dark flavors, Q1,Q2,..QnfQ_{1},\ Q_{2},\ .....Q_{n_{f}}, and we also take the dark quarks to be parameterically lighter than the scalar mediator, mQiMXm_{Q_{i}}\ll M_{X}, where MXM_{X} is the mediator mass. In this case, the loop function for the diagrams in Figure 4 is close to unity, and the effects of those diagrams can be parameterized in terms of an effective ΔF=2\Delta F=2 Hamiltonian:

HeffNP(ΔF=2)=NcξM2128π2MX2[(q¯γμPRq)(q¯γμPRq)]+h.c.H_{\rm eff}^{\rm NP}(\Delta F=2)=\frac{N_{c}\ {\xi}_{M}^{2}}{128{\pi}^{2}M_{X}^{2}}\left[(\bar{q}\gamma_{\mu}P_{R}q^{\prime})(\bar{q}\gamma^{\mu}P_{R}q^{\prime})\right]+{\rm h.c.} (6)
ξM=Q=Q1QnfλqQλqQ,M=Bd,BsorK.{\xi}_{M}=\sum_{Q=Q_{1}}^{Q_{n_{f}}}\lambda_{qQ}\lambda_{q^{\prime}Q}^{\ast}\ ,\ \ M=B_{d},B_{s}\ or\ K. (7)

Here NcN_{c} is the number of dark colors, qq and qq^{\prime} are dd and ss for the KK-system, or dd and bb for the BdB_{d}-system, or ss and bb for the BsB_{s}-system. Note that the effective Hamiltonian of HeffNPH_{\rm eff}^{\rm NP} can also be thought of as a four fermion operator times a Wilson coefficient in an effective field theory with the Wilson coefficient given by cqqNP=NcξM2/(128π2MX2)c_{qq^{\prime}}^{\rm NP}=N_{c}\ {\xi}_{M}^{2}/(128{\pi}^{2}M_{X}^{2}).

We will impose constraints from observables of the KK, BdB_{d}, and BsB_{s} systems on the ξM\xi_{M} at the 2σ2\sigma level. We take MX=1M_{X}=1 TeV as our main benchmark, but all bounds scale with 1/MX21/M_{X}^{2}. Since dark quark confinement occurs at a scale comparable to the mass of the SM mesons considered, we allow for a ±50\pm 50 % uncertainty on the new physics amplitude to account for the non-perturbative DQCD uncertainty RennerSchwaller018 , as well as for perturbative QCD and RG corrections. Details of the mapping from experimental data onto flavor observables are reviewed in Appendix A, where all the ΔF=2\Delta F=2 observables used in what follows are defined.

Table 1 summarizes all the constraints we have found, which are conditions on the [ξM]2[\xi^{\ast}_{M}]^{2} terms, that are proportional to the Wilson coefficients of the effective NP Hamiltonian in equation (6). The details of the calculations of these constraints can be found in Appendix C. The ΔM\Delta M constraints in the first three rows of Table 1 are CPCP-conserving constraints which were also explored in RennerSchwaller018 , while the last three lines are constraints from CPCP-violating observables. The CPCP-violating constraints are stronger than the CPCP-conserving ones, but the CPCP-violating constraints are on the phases of the Yukawa couplings, so if the Yukawa matrix λ\lambda is real, then the CPCP-conserving constraints are the only ones to consider. Among the different mesons, the KK-system has the strongest constraints, and the BsB_{s}-system has the weakest ones. Finally, the constraints get stronger with increasing number of dark colors.

We can now use these constraints to explore specific scenarios where we choose the number of dark flavors and explicitly compute the bounds on the Yukawa matrix. We will present our results both in terms of parameter scans and also in terms of specific slices of the parameter space. For each case, we will first consider purely real couplings, then generalize to the complex case.

Observable Constraint
ΔMK\Delta M_{K} 6.93×104NcRe[(ξK)2](1 TeVMX)23.77×104-6.93\times 10^{-4}\leq N_{c}\text{Re}\left[({\xi}_{K}^{*})^{2}\right]\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2}\leq 3.77\times 10^{-4}
ΔMd\Delta M_{d} NcξBd2(1 TeVMX)26.55×104N_{c}\mid{\xi}_{B_{d}}^{2}\mid\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2}\leq 6.55\times 10^{-4}
ΔMs\Delta M_{s} NcξBs2(1 TeVMX)213.15×103N_{c}\mid{\xi}_{B_{s}}^{2}\mid\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2}\leq 13.15\times 10^{-3}
|ϵK||\epsilon_{K}| NcIm[(ξK)2](1 TeVMX)21.64×106N_{c}\mid\text{Im}\left[({\xi}_{K}^{*})^{2}\right]\mid\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2}\leq 1.64\times 10^{-6}
SψKSS_{\psi K_{\text{S}}} 0.86×104NcIm[(ξBd)2](1 TeVMX)23.12×104-0.86\times 10^{-4}\leq N_{c}\text{Im}\left[({\xi}_{B_{d}}^{*})^{2}\right]\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2}\leq 3.12\times 10^{-4}
SψϕS_{\psi\phi} 3.54×103NcIm[(ξBs)2](1 TeVMX)23.88×103-3.54\times 10^{-3}\leq N_{c}\text{Im}\left[({\xi}_{B_{s}}^{*})^{2}\right]\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2}\leq 3.88\times 10^{-3}
Table 1: Summary of the ΔF=2\Delta F=2 constraints on our model. The parameter ξ\xi is defined in equation (7), NcN_{c} is the number of dark colours, and MXM_{X} is the mediator mass.

4.1 One Dark Flavor

We consider the simple case where there is only one flavor of dark quarks, which we will call QQ. In this case, the coupling matrix λ\lambda between QQ and the right handed SM quarks dRd_{R}, sRs_{R}, and bRb_{R} is a three component one column matrix. It has three real parameters that we call λd\lambda_{d}, λs\lambda_{s}, and λb\lambda_{b}; and three complex phases. We can absorb one of the phases by making a phase change to QQ, so we are left with two CPCP violating phases, which we call δ\delta and δ\delta^{\prime}.555The phases of the SM quark fields have already been chosen to reduce the number of phases of the CKM matrix to one. We will use the following parametrization for λ\lambda

λ=(λdλseiδλbeiδ).\lambda=\begin{pmatrix}\lambda_{d}\\ \lambda_{s}\ e^{i\delta}\\ \lambda_{b}\ e^{i\delta^{\prime}}\end{pmatrix}. (8)

The DQCD contribution to the effective Hamiltonian of meson mixing is given by equation (6) with ξM\xi_{M} given by equation (7), but without the summation over QQ. The approximation of negligible (mQ/MX)2(m_{Q}/M_{X})^{2} still holds. Let us define

λ~=Nc1/4λ.\tilde{\lambda}=N_{c}^{1/4}\lambda\ . (9)

If the couplings are all real (δ\delta and δ\delta^{\prime} are both close to 0 or π\pi), only CPCP conserving constraints apply. In the more general case of complex couplings, all the constraints of Table 1 apply.

4.1.1 Real Couplings

We begin with the case where the phases are set to zero or π\pi and the λ\lambda vector is real. In order to guarantee perturbative unitarity in a conservative manner, we impose the condition λα1\mid\lambda_{\alpha}\mid\leq 1. Applying CPCP conserving ΔF=2\Delta F=2 constraints of Table 1, we find:

(λ~dλ~s)2(1 TeVMX)2\displaystyle(\tilde{\lambda}_{d}\tilde{\lambda}_{s})^{2}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2} 3.77×104,\displaystyle\leq 3.77\times 10^{-4}\ , (10)
(λ~dλ~b)2(1 TeVMX)2\displaystyle(\tilde{\lambda}_{d}\tilde{\lambda}_{b})^{2}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2} 6.55×104,\displaystyle\leq 6.55\times 10^{-4}\ ,
(λ~sλ~b)2(1 TeVMX)2\displaystyle(\tilde{\lambda}_{s}\tilde{\lambda}_{b})^{2}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2} 13.15×103.\displaystyle\leq 13.15\times 10^{-3}.

These constraints are shown in the top left panel of Figure 5, where we took MX=1M_{X}=1 TeV. Generic 𝒪(1)\mathcal{O}(1) values for all three Yukawa couplings are excluded, and the bounds become stronger for larger values of NcN_{c}, but weaker for a heavier mediator. We also conclude that if two of the λα\lambda_{\alpha} are close to zero, then the third one can be generic. This is because in that scenario the SM flavour symmetry is preserved and the dark quark cannot mediate flavour violation.

Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 5: Constraints on the one dark flavour Yukawa couplings defined in equation (8) with MX=1M_{X}=1 TeV. The (red, blue, green) lines are constraints from the (KK, BB, and BsB_{s}) systems. These regions are allowed at 95% CL from measurements shown in Table 1. The upper left figure shows the allowed regions for the couplings between SM and dark quarks when they are all real (CPCP conservation). The upper right plot shows the scenario where the phases of (ξK)2(\xi_{K}^{\ast})^{2} and (ξBd)2(\xi_{B_{d}}^{\ast})^{2} are close to π/2\pi/2 and the phase of (ξBs)2(\xi_{B_{s}}^{\ast})^{2} is close to zero. The lower left plot shows the scenario where the phases of (ξK)2(\xi_{K}^{\ast})^{2} and (ξBs)2(\xi_{B_{s}}^{\ast})^{2} are respectively close to π/2\pi/2 and π/2-\pi/2, and the phase of (ξBd)2(\xi_{B_{d}}^{\ast})^{2} is close to zero. Finally the lower right plot shows the scenario where the phases of (ξBs)2(\xi_{B_{s}}^{\ast})^{2} and (ξBd)2(\xi_{B_{d}}^{\ast})^{2} are close to π/2\pi/2 and the phase of (ξK)2(\xi_{K}^{\ast})^{2} is close to zero.

The second and third relations of equation (10) are true for any δ\delta and δ\delta^{\prime}, because the BB-system CPCP conserving constraints apply to the magnitude of the ξB2\xi_{B}^{2} terms. The first constraint will change in the presence of CPCP-violating phases as discussed below.

4.1.2 Generic Phases

In general, the coupling matrix λ\lambda can be parameterized by equation (8). The ΔF=2\Delta F=2 constraints of Table 1 give, in addition to the second and third constraints of equation (10), the following conditions on the couplings:

6.93×104(λ~dλ~s)2cos(2δ)(1 TeVMX)2\displaystyle-6.93\times 10^{-4}\leq(\tilde{\lambda}_{d}\tilde{\lambda}_{s})^{2}\cos(2\delta)\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2} 3.77×104,\displaystyle\leq 3.77\times 10^{-4}\ , (11)
(λ~dλ~s)2sin(2δ)(1 TeVMX)2\displaystyle(\tilde{\lambda}_{d}\tilde{\lambda}_{s})^{2}\mid\sin(2\delta)\mid\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2} 1.64×106,\displaystyle\leq 1.64\times 10^{-6}\ ,
0.86×104(λ~dλ~b)2sin(2δ)(1 TeVMX)2\displaystyle-0.86\times 10^{-4}\leq(\tilde{\lambda}_{d}\tilde{\lambda}_{b})^{2}\sin(2\delta^{\prime})\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2} 3.12×104,\displaystyle\leq 3.12\times 10^{-4}\ ,
3.54×103(λ~sλ~b)2sin[2(δδ)]\displaystyle-3.54\times 10^{-3}\leq(\tilde{\lambda}_{s}\tilde{\lambda}_{b})^{2}\sin[2(\delta^{\prime}-\delta)] 3.88×103.\displaystyle\leq 3.88\times 10^{-3}.

The first line is the CPCP-conserving constraint for the Kaon system, while the last three come from CPCP violation. Note that if δ=π/2\delta=\pi/2, the bound on λ~dλ~s\tilde{\lambda}_{d}\tilde{\lambda}_{s} from ΔMK\Delta M_{K} is about a factor of two weaker than than if δ=0,π\delta=0,\pi.

We now study the special scenarios where CPV effects are maximum, that is, the phases of two of the Wilson coefficients are close to ±π/2\pm\pi/2, and the third one is close to zero. These scenarios are represented in Figure 5, where we see that the allowed regions in the planes (λ~d,λ~s)(\tilde{\lambda}_{d},\tilde{\lambda}_{s}), (λ~d,λ~b)(\tilde{\lambda}_{d},\tilde{\lambda}_{b}), and (λ~s,λ~b)(\tilde{\lambda}_{s},\tilde{\lambda}_{b}), are respectively strongly narrowed when the CPV arguments of (ξK)2(\xi_{K}^{\ast})^{2}, (ξBd)2(\xi_{B_{d}}^{\ast})^{2}, and (ξBs)2(\xi_{B_{s}}^{\ast})^{2}, are respectively close to ±π/2\pm\pi/2. We also see that CPCP violation in the kaon system (shown in red) places the strongest constraints. On the other hand, if contritubion to kaon mixing is purely real (bottom right panel), then the constraints are comparable to the CPCP violating constraints from BB mesons (blue). The BsB_{s} meson always gives the weakest constraints.

If instead of fixing the phases we fix magnitudes and vary the phases, we see that one phase must be small but not the other. As an example benchmark we take: (λ~d,λ~s,λ~b)=(0.2,0.15,0.1)(\tilde{\lambda}_{d},\tilde{\lambda}_{s},\tilde{\lambda}_{b})=(0.2,0.15,0.1) and find, for MX=1M_{X}=1 TeV:

0.0018Arg(ξK2)0.0018\displaystyle-0.0018\leq\text{Arg}(\xi_{K}^{2})\leq 0.0018 (12)
0.89Arg(ξBd2)0.22\displaystyle-0.89\leq\text{Arg}(\xi_{B_{d}}^{2})\leq 0.22

Recall that Arg(ξBs2)\text{Arg}(\xi_{B_{s}}^{2}) is the difference between the two arguments above. We see that for this size of λ~\tilde{\lambda}, CPCP-violating effects require the phase of the coupling in the Kaon system to be very small, while the constraint on the phases in the BB system are much more mild.

4.2 Two Dark Flavors

We now study the case of two dark flavors, QQ and QQ^{\prime}, with approximately degenerate masses that are small compared to MXM_{X}. The SM-DM coupling matrix λ\lambda is then a 3×23\times 2 matrix to which we apply the singular value decomposition as follows

λ=UDV,\lambda=UDV^{\dagger}\ , (13)

where UU and VV are respectively 3×33\times 3 and 2×22\times 2 unitary matrices, and DD is a diagonal 3×23\times 2 matrix with positive entries. We parametrize DD as follows

D=(d100d200).D=\begin{pmatrix}d_{1}&0\\ 0&d_{2}\\ 0&0\end{pmatrix}. (14)

The matrix UU, since it is unitary, has nine parameters, three real ones, and six complex phases. This number of phases can be reduced to four thanks to the following symmetry that keeps λ\lambda invariant

UU(eiα1000eiα20001),V(eiα100eiα2)V.U\longrightarrow U\begin{pmatrix}e^{i\alpha_{1}}&0&0\\ 0&e^{i\alpha_{2}}&0\\ 0&0&1\end{pmatrix}\ ,\ \ \ V^{\dagger}\longrightarrow\begin{pmatrix}e^{-i\alpha_{1}}&0\\ 0&e^{-i\alpha_{2}}\end{pmatrix}V^{\dagger}. (15)

We call the physical CPV phases δ12\delta_{12}, δ13\delta_{13}, δ23\delta_{23}, and δ\delta. The matrix VV^{\dagger} can be rotated away due to the dark flavor symmetry U(2)QU(2)_{Q}. We now paramaterize UU as the product of three rotation matrices:

U=U23U13U12,U=U_{23}U_{13}U_{12}\ , (16)
U23=\displaystyle U_{23}= (eiδ000cosθ23sinθ23eiδ230sinθ23eiδ23cosθ23),\displaystyle\begin{pmatrix}e^{-i\delta}&0&0\\ 0&\cos\theta_{23}&\sin\theta_{23}e^{-i\delta_{23}}\\ 0&-\sin\theta_{23}e^{i\delta_{23}}&\cos\theta_{23}\end{pmatrix}\ , (17)
U13=\displaystyle U_{13}= (cosθ130sinθ13eiδ130eiδ0sinθ13eiδ130cosθ13),\displaystyle\begin{pmatrix}\cos\theta_{13}&0&\sin\theta_{13}e^{-i\delta_{13}}\\ 0&e^{i\delta}&0\\ -\sin\theta_{13}e^{i\delta_{13}}&0&\cos\theta_{13}\end{pmatrix}\ ,
U12=\displaystyle U_{12}= (cosθ12sinθ12eiδ120sinθ12eiδ12cosθ12000eiδ).\displaystyle\begin{pmatrix}\cos\theta_{12}&\sin\theta_{12}e^{-i\delta_{12}}&0\\ -\sin\theta_{12}e^{i\delta_{12}}&\cos\theta_{12}&0\\ 0&0&e^{i\delta}\end{pmatrix}.

Therefore the matrix λ\lambda is given by

λ=(d1c12c13eiδd2s12c13ei(δ+δ12)d1(s12c23ei(δ+δ12)+c12s23s13ei(δ13δ23))d2(c12c23eiδs12s23s13ei(δ13δ12δ23))d1(s12s23ei(δ+δ12+δ23)c12c23s13eiδ13)d2(c12s23ei(δ+δ23)+s12c23s13ei(δ13δ12))),\lambda=\begin{pmatrix}{\scriptstyle d_{1}c_{12}c_{13}e^{-i\delta}}&{\scriptstyle d_{2}s_{12}c_{13}e^{-i(\delta+\delta_{12})}}\\ {\scriptstyle-d_{1}(s_{12}c_{23}e^{i(\delta+\delta_{12})}+c_{12}s_{23}s_{13}e^{i(\delta_{13}-\delta_{23})})}&{\scriptstyle d_{2}(c_{12}c_{23}e^{i\delta}-s_{12}s_{23}s_{13}e^{i(\delta_{13}-\delta_{12}-\delta_{23})})}\\ {\scriptstyle d_{1}(s_{12}s_{23}e^{i(\delta+\delta_{12}+\delta_{23})}-c_{12}c_{23}s_{13}e^{i\delta_{13}})}&{\scriptstyle-d_{2}(c_{12}s_{23}e^{i(\delta+\delta_{23})}+s_{12}c_{23}s_{13}e^{i(\delta_{13}-\delta_{12})})}\end{pmatrix}, (18)

where we have nine unknown independent parameters, five real ones, d1d_{1}, d2d_{2}, θ12\theta_{12}, θ13\theta_{13}, and θ23\theta_{23}; and four CPV phases δ12\delta_{12}, δ13\delta_{13}, δ23\delta_{23}, and δ\delta. We will take we take 0θijπ/20\leq\theta_{ij}\leq\pi/2, and as before, we define

D~=Nc1/4D\tilde{D}=N_{c}^{1/4}D (19)

to scale out the dependence on the number of dark colours.

We will see in the next section that in the case of three dark flavors, if the matrix DD is proportional to the identity matrix, then UU can be rotated away along with VV^{\dagger}, and then we land on the flavor universal scenario, λ𝟙\lambda\propto\mathbbm{1}. However, in the case of two dark flavors, even if DD has similar entries, d1d2d_{1}\approx d_{2}, UU cannot be rotated away and there is no flavor universality limit. If U𝟙U\propto\mathbbm{1}, then the dark quarks are aligned with the SM quarks, so there is no flavour violation and thus no constraints.

4.2.1 Real Couplings

If the CPV phases are all close to 0 or π\pi, then λ\lambda is (approximately) real, and only the CPCP-conserving constraints of Table 1 apply. The singular value decomposition allows us to choose the elements of DD to be positive and real. We will consider three cases, first d~21\tilde{d}_{2}\approx 1 and d~11\tilde{d}_{1}\leq 1, second, d~11\tilde{d}_{1}\approx 1 and d~21\tilde{d}_{2}\leq 1, and finally d1d21d_{1}\approx d_{2}\leq 1. As above, we do not consider larger values of did_{i} to ensure pertubative unitarity. We randomly scanned all the parameters, and plotted the allowed regions of the mixing angles θij\theta_{ij} as functions of d~i\tilde{d}_{i}, in the three mentioned scenarios. We find that s12s_{12} and s23s_{23} can take any value in the scan, thus we only show the plots of s13s_{13} in Figure 6.

Refer to caption
Refer to caption
Figure 6: Case of two dark flavors and a real SM-DM coupling matrix, with MX=1M_{X}=1 TeV. Left: Allowed values for s13s_{13} as a function of d1~\tilde{d_{1}} when d2~1\tilde{d_{2}}\approx 1. Right: s13s_{13} as a function of d1~\tilde{d_{1}} when d1~d2~\tilde{d_{1}}\approx\tilde{d_{2}}. All other mixing angles are randomly scanned. These regions are allowed at 95% CL from measurements of the mass differences of K0K¯0K^{0}-\bar{K}^{0} and Bd(s)0B¯d(s)0B_{d(s)}^{0}-\bar{B}_{d(s)}^{0}.

We notice the following interesting cases for MX=1M_{X}=1 TeV:

  • In the case where d1~1\tilde{d_{1}}\approx 1, we obtain the same plot as that of the case where d2~1\tilde{d_{2}}\approx 1 (but with s13s_{13} as a function of d2~\tilde{d_{2}}).

  • If d~1d~21\tilde{d}_{1}\approx\tilde{d}_{2}\approx 1, then either s130.05s_{13}\leq 0.05 or s130.99s_{13}\geq 0.99.

  • If d~1(2)1\tilde{d}_{1(2)}\approx 1 and d~2(1)0.25\tilde{d}_{2(1)}\leq 0.25, or d~1d~20.3\tilde{d}_{1}\approx\tilde{d}_{2}\leq 0.3 then s13s_{13} can take on any value. Otherwise, it is constrained to lie in the narrow blue region of the Figures.

  • If d~10\tilde{d}_{1}\approx 0 (d~20\tilde{d}_{2}\approx 0) then all the first (second) column of the matrix λ\lambda vanishes, so only QQ^{\prime} (QQ) couples to the SM quarks and we can use the analysis of Section 4.1.

4.2.2 Complex Couplings

If the phases are generic and the couplings are complex, we have to apply all the ΔF=2\Delta F=2 constraints of Table 1. We consider the cases of maximum CPCP-violation, where we take respectively, Arg(ξK2)=π/2\text{Arg}(\xi_{K}^{2})=\pi/2, Arg(ξBD2)=π/2\text{Arg}(\xi_{B_{D}}^{2})=\pi/2, and Arg(ξBS2)=π/2\text{Arg}(\xi_{B_{S}}^{2})=\pi/2; and find the allowed values for s12s_{12}, s13s_{13}, and s23s_{23} respectively. We have considered the same three scenarios as in the real case, and plotted the allowed regions in the planes (d~2,sij)(\tilde{d}_{2},s_{ij}) when d~11\tilde{d}_{1}\approx 1, (d~1,sij)(\tilde{d}_{1},s_{ij}) when d~21\tilde{d}_{2}\approx 1, and (d~i,sij)(\tilde{d}_{i},s_{ij}) when d~1d~2\tilde{d}_{1}\approx\tilde{d}_{2}. The plots are shown in Figure 7, where we scanned all the parameters while imposing the flavor constraints in addition to Arg(ξM2)=π/2\text{Arg}(\xi_{M}^{2})=\pi/2, M=K,Bd,BsM=K,B_{d},B_{s}. The CPV phases were scanned between 0 and 2π2\pi. We see that the parameter space is highly restricted compared to the real case represented in Figure 6, with only about one in every one million points in the scan allowed by the constraints. This gives a sense of the tuning required in order not to be excluded.

Refer to caption
Refer to caption
Refer to caption
Figure 7: Case of two dark flavors and a complex SM-DM coupling matrix, with MX=1M_{X}=1 TeV. From left to right, the first and second plots show the allowed values for the mixing parameters sijs_{ij} as a function of one element of the matrix D~\tilde{D}, when the other one is close to unity. The third plot shows the case where the two elements of the matrix D~\tilde{D} are equal. All other parameters are randomly scanned.

Rather than fixing one phase and scanning the others, as we did in Figure 7, we can also fix all phases of the Wilson coefficients. In the cases where MX=1M_{X}=1 TeV and at least one phase is equal to π/4\pi/4, 3π/43\pi/4, 5π/45\pi/4, or 7π/47\pi/4 and the others are zero, a scan of 10810^{8} parameter points turns up zero allowed parameter points, indicating that this slice of parameters is either completely excluded or extremely tuned.

If the elements of the matrix DD are equal (d1=d2d_{1}=d_{2}), then the dependence on the elements of U12U_{12} (defined in equation (17)) drops from the ξM\xi_{M} terms, hence letting s12s_{12} and δ12\delta_{12} unconstrained. This explains the orange dots’ broad distribution in the right plot of Figure 7. In this scenario, the ξM\xi_{M} terms have the following simple expressions666The subscript “eq” represents the case d1=d2d_{1}=d_{2}.

=eq\displaystyle{}_{\text{eq}}= d12ei(δ13δ23+δ)s13c13s23\displaystyle-d_{1}^{2}e^{-i(\delta_{13}-\delta_{23}+\delta)}s_{13}c_{13}s_{23} (20)
[ξBd]eq=\displaystyle[\xi_{B_{d}}]_{\text{eq}}= d12ei(δ13+δ)s13c13c23\displaystyle-d_{1}^{2}e^{-i(\delta_{13}+\delta)}s_{13}c_{13}c_{23}
[ξBs]eq=\displaystyle[\xi_{B_{s}}]_{\text{eq}}= d12eiδ23c132s23c23.\displaystyle-d_{1}^{2}e^{-i\delta_{23}}c_{13}^{2}s_{23}c_{23}\ .

We notice that all the ξM\xi_{M} terms vanish and there are no flavour constraints if c13=0c_{13}=0, so the dark quarks do not couple to the dd quark, or if s13=0=s23s_{13}=0=s_{23}, so the dark quarks do not couple to the bb quark. This explains the blue dots’ clusters at s13=0s_{13}=0 and s13=1s_{13}=1 in the right plot of Figure 7. This case when one SM quark does not participate and d1=d2d_{1}=d_{2} is the two flavour analogue of coupling universality, allowing all the mixing angles to be rotated away so there are no constraints.

We can also consider scenarios where d1d2d_{1}\approx d_{2} and only one of the ξM\xi_{M} is nonzero, thus only one sijs_{ij} is constrained. First, if s13=0s_{13}=0 then ξK=0=ξBd\xi_{K}=0=\xi_{B_{d}}, and only ξBs0\xi_{B_{s}}\neq 0, so the only CPCP-conserving constraint is [Ncd14(s23c23)2/MX20.013][N_{c}d_{1}^{4}(s_{23}c_{23})^{2}/M_{X}^{2}\leq 0.013], and the only CPV phase constrained is δ23\delta_{23}. Second, if s23=0s_{23}=0 then ξK=0=ξBs\xi_{K}=0=\xi_{B_{s}}, and only ξBd0\xi_{B_{d}}\neq 0, so the only CPCP-conserving constraint is [Ncd14(s13c13)2/MX26.55×104][N_{c}d_{1}^{4}(s_{13}c_{13})^{2}/M_{X}^{2}\leq 6.55\times 10^{-4}], and the only CPV phases constrained are δ13\delta_{13}, and δ\delta. Finally, if c23=0c_{23}=0 then ξBd=0=ξBs\xi_{B_{d}}=0=\xi_{B_{s}}, and only ξK0\xi_{K}\neq 0, so the only CPCP-conserving constraint is [Ncd14(s13c13)2/MX23.77×104][N_{c}d_{1}^{4}(s_{13}c_{13})^{2}/M_{X}^{2}\leq 3.77\times 10^{-4}], and all the CPV phases except δ12\delta_{12} are constrained.

4.3 Three Dark Flavors

In this section, the number of dark flavors is nf=3n_{f}=3. The CPCP-conserving case was analyzed in detail in ABG014 , and we begin by reviewing and updating their results. We will label the three dark flavours ddd_{d}, sds_{d} and bdb_{d} and parametrize the Yukawa coupling matrix λ\lambda using the singular value decomposition, λ=UDV\lambda=UDV^{\dagger}, as in the two flavor case. Now UU, DD and VV are all 3×33\times 3 matrices. UU and VV are unitary, and DD is diagonal with positive entries. Since we consider that ddd_{d}, sds_{d} and bdb_{d} are approximately mass-degenerate, we can use the U(3)QdU(3)_{Q_{d}} dark flavor symmetry to rotate VV away, so we are left with

λ=UD.\lambda=UD\ . (21)

The diagonal matrix DD can be parametrized as:

D=λ0 . 1+diag(λ1,λ2,(λ1+λ2)),D=\lambda_{0}\ \ldotp\ \mathbbm{1}+\text{diag}\left(\lambda_{1},\ \lambda_{2},\ -(\lambda_{1}+\lambda_{2})\right)\ , (22)

and the unitary matrix UU can be parametrized in the same way as in the preceding section. Because there is one more quark whose phase can be rotated away, there is one less physical phase than in the nf=2n_{f}=2 case.

U=U23U13U12,U=U_{23}U_{13}U_{12}\ , (23)
U23=\displaystyle U_{23}= (1000cosθ23sinθ23eiδ230sinθ23eiδ23cosθ23),\displaystyle\begin{pmatrix}1&0&0\\ 0&\cos\theta_{23}&\sin\theta_{23}e^{-i\delta_{23}}\\ 0&-\sin\theta_{23}e^{i\delta_{23}}&\cos\theta_{23}\end{pmatrix}\ , (24)
U13=\displaystyle U_{13}= (cosθ130sinθ13eiδ13010sinθ13eiδ130cosθ13),\displaystyle\begin{pmatrix}\cos\theta_{13}&0&\sin\theta_{13}e^{-i\delta_{13}}\\ 0&1&0\\ -\sin\theta_{13}e^{i\delta_{13}}&0&\cos\theta_{13}\end{pmatrix}\ ,
U12=\displaystyle U_{12}= (cosθ12sinθ12eiδ120sinθ12eiδ12cosθ120001).\displaystyle\begin{pmatrix}\cos\theta_{12}&\sin\theta_{12}e^{-i\delta_{12}}&0\\ -\sin\theta_{12}e^{i\delta_{12}}&\cos\theta_{12}&0\\ 0&0&1\end{pmatrix}.

Therefore, λ\lambda has nine unknown independent parameters: λ0\lambda_{0}, λ1\lambda_{1}, λ2\lambda_{2}, θ12\theta_{12}, θ13\theta_{13}, θ23\theta_{23}, δ12\delta_{12}, δ13\delta_{13} and δ23\delta_{23}. The λij\lambda_{ij} and θij\theta_{ij} are real, and the δij\delta_{ij} are the CPV phases.

The parameters λ1\lambda_{1} and λ2\lambda_{2} measure the deviation from flavor universal couplings where λ10λ2\lambda_{1}\simeq 0\simeq\lambda_{2} and λ\lambda is proportional to the unit matrix, λ=λ0 . 1\lambda=\lambda_{0}\ \ldotp\ \mathbbm{1}. This is also referred to as alignment; the dd quark couples only to the dark quark ddd_{d}, ss couples only to sds_{d}, and bb couples only to bdb_{d}, all with the same coupling constant λ0\lambda_{0}. In the universal case, the flavor and CPCP constraints do not apply because an SU(3)SU(3) flavour symmetry is preserved. Following ABG014 , we define

Δij=DiiDjj\Delta_{ij}=D_{ii}-D_{jj} (25)

as parameterizing the deviation from universality. We will express our results as functions of Δij\Delta_{ij}.

Plugging in our parameterization, the SM-DM coupling matrix has the following expression

λ=\displaystyle\lambda= (λdddλdsdλdbdλsddλssdλsbdλbddλbsdλbbd),\displaystyle\begin{pmatrix}\lambda_{dd_{d}}\ &\ \lambda_{ds_{d}}\ &\ \lambda_{db_{d}}\\ \lambda_{sd_{d}}\ &\ \lambda_{ss_{d}}\ &\ \lambda_{sb_{d}}\\ \lambda_{bd_{d}}\ &\ \lambda_{bs_{d}}\ &\ \lambda_{bb_{d}}\end{pmatrix}\ , (26)
λddd=\displaystyle\lambda_{dd_{d}}= (λ0+λ1)c12c13,\displaystyle\ (\lambda_{0}+\lambda_{1})c_{12}c_{13}\ ,
λdsd=\displaystyle\lambda_{ds_{d}}= (λ0+λ2)s12c13eiδ12,\displaystyle\ (\lambda_{0}+\lambda_{2})s_{12}c_{13}e^{-i\delta_{12}}\ ,
λdbd=\displaystyle\lambda_{db_{d}}= (λ0λ1λ2)s13eiδ13,\displaystyle\ (\lambda_{0}-\lambda_{1}-\lambda_{2})s_{13}e^{-i\delta_{13}}\ ,
λsdd=\displaystyle\lambda_{sd_{d}}= (λ0+λ1)(s12c23eiδ12+c12s23s13ei(δ13δ23)),\displaystyle-(\lambda_{0}+\lambda_{1})(s_{12}c_{23}e^{i\delta_{12}}+c_{12}s_{23}s_{13}e^{i(\delta_{13}-\delta_{23})})\ ,
λssd=\displaystyle\lambda_{ss_{d}}= (λ0+λ2)(c12c23s12s23s13ei(δ13δ12δ23)),\displaystyle\ (\lambda_{0}+\lambda_{2})(c_{12}c_{23}-s_{12}s_{23}s_{13}e^{i(\delta_{13}-\delta_{12}-\delta_{23})})\ ,
λsbd=\displaystyle\lambda_{sb_{d}}= (λ0λ1λ2)s23c13eiδ23,\displaystyle\ (\lambda_{0}-\lambda_{1}-\lambda_{2})s_{23}c_{13}e^{-i\delta_{23}}\ ,
λbdd=\displaystyle\lambda_{bd_{d}}= (λ0+λ1)(s12s23ei(δ12+δ23)c12c23s13eiδ13),\displaystyle\ (\lambda_{0}+\lambda_{1})(s_{12}s_{23}e^{i(\delta_{12}+\delta_{23})}-c_{12}c_{23}s_{13}e^{i\delta_{13}})\ ,
λbsd=\displaystyle\lambda_{bs_{d}}= (λ0+λ2)(c12s23eiδ23+s12c23s13ei(δ13δ12)),\displaystyle-(\lambda_{0}+\lambda_{2})(c_{12}s_{23}e^{i\delta_{23}}+s_{12}c_{23}s_{13}e^{i(\delta_{13}-\delta_{12})})\ ,
λbbd=\displaystyle\lambda_{bb_{d}}= (λ0λ1λ2)c23c13.\displaystyle\ (\lambda_{0}-\lambda_{1}-\lambda_{2})c_{23}c_{13}.

Without loss of generality, we take the matrix DD to have positive entries, so λ0\lambda_{0} is a positive number. Taking perturbative unitarity into account, it is sufficient to impose the following conditions on the λi\lambda_{i}

λ0\displaystyle\lambda_{0} 1,\displaystyle\approx 1\ , (27)
|λ1|\displaystyle|\lambda_{1}| 1,\displaystyle\leq\ 1\ ,
|λ2|\displaystyle|\lambda_{2}| 1,\displaystyle\leq\ 1\ ,
|λ1+λ2|\displaystyle|\lambda_{1}+\lambda_{2}| 1.\displaystyle\leq 1\ .

And to avoid double counting, we take 0θijπ/40\leq\theta_{ij}\leq\pi/4. Finally we define

λ~=Nc1/4λ,D~=Nc1/4D,Δ~ij=Nc1/4Δij\tilde{\lambda}=N_{c}^{1/4}\lambda\ ,\ \ \ \tilde{D}=N_{c}^{1/4}D\ ,\ \ \ \tilde{\Delta}_{ij}=N_{c}^{1/4}\Delta_{ij} (28)

to scale out the number of dark colors as in the other cases.

4.3.1 Real Coupling Matrix

We consider a real matrix λ\lambda, i.e. all the δij\delta_{ij} are close to 0 or π\pi. From the CPCP-conserving constraints of Table 1, we plot in the first row of Figure 8 the allowed regions for the mixing angles θij\theta_{ij} as functions of Δ~ij\tilde{\Delta}_{ij}. To do so, we randomly generated all the parameters and subjected each point of the parameter space to the flavor constraints. Our plots differ slightly from ABG014 and we have confirmed that when using the same input data as ABG014 and setting Nc=1N_{c}=1 we are able to precisely reproduce their results. Therefore, our Figure is an update to Figure 5 of ABG014 using data summarized in Table 4. We also studied the specific scenarios shown in Figure 5 of RennerSchwaller018 with Nc=3N_{c}=3, and our results are similar.

Refer to caption
Refer to caption
Refer to caption
Figure 8: Case of three dark flavors with MX=1M_{X}=1 TeV. Allowed values for each mixing angle sijs_{ij} as a function of Δ~ij\tilde{\Delta}_{ij} defined in equations (25) and (28). All other mixing angles and Δ~\tilde{\Delta} parameters are randomly scanned. The upper plot represents the scenario of a real SM-DM mixing matrix. The lower left plot corresponds to the scenario where one of the CPV phases δij\delta_{ij} is close to π/4\pi/4, and the two others are close to zero. Finally, the lower right plot represents the scenarios where the argument of one Wilson coefficient of HeffNPH_{\rm eff}^{\rm NP} is close to π/2\pi/2. Note that |Δ~ij||\tilde{\Delta}_{ij}| can take values up to 2, we just stopped at 1 for compactness.

4.3.2 Complex Coupling Matrix

When the matrix λ\lambda is complex, all the ΔF=2\Delta F=2 constraints of Table 1 apply. To find the parameter space, we randomly scan all the parameters and impose the flavor constraints on each generated point. The CPV phases were scanned between 0 and 2π2\pi. While the CPCP-violating constraints are stronger for generic values of the phases, the CPCP-conserving ones are important when the phases are accidentally small. We see that if Δ~ij\tilde{\Delta}_{ij} and sinθij\sin\theta_{ij} are both 𝒪(1)\mathcal{O}(1) then the scenario is always excluded regardless of the other parameters.

In the scenarios where one δij\delta_{ij} is close to π/2\pi/2 or 3π/23\pi/2 and the two others are close to zero the allowed region is slightly smaller than the real case. In the scenarios, shown in the lower left of Figure 8, where one δij\delta_{ij} is close to π/4\pi/4, 3π/43\pi/4, 5π/45\pi/4, or 7π/47\pi/4 and the two others are close to zero, we notice that for given k,lk,l, when δkl=π/4\delta_{kl}=\pi/4, only the corresponding skls_{kl} is more constrained than it is in the real case.

There is large CPCP-violation when the argument of only one ξM\xi^{\ast}_{M} approaches π/4\pi/4, 3π/43\pi/4, 5π/45\pi/4, or 7π/47\pi/4. These phases are: Arg(ξM)=(1/2)Arg(Wilson coefficient)\text{Arg}(\xi^{\ast}_{M})=-(1/2)\text{Arg(Wilson coefficient)} of the effective Hamiltonian (6), and they are combinations of the CPV phases δij\delta_{ij}. So these scenarios correspond to the cases where the Wilson coefficients are purely imaginary. In each of these cases, the CPCP-violating constraint on (ξM)2(\xi^{\ast}_{M})^{2} from Table 1 is the strongest. The lower right plot of Figure 8 shows these scenarios, where we took the argument of one ξM\xi^{\ast}_{M} term close to π/4\pi/4. To produce these plots, we scanned all the parameters, including the CPV phases δij\delta_{ij}, and we imposed to the generated points the value of one Wilson coefficient’s argument, in addition to the flavor constraints. We find the narrowest allowed region for (s12s_{12}, s13s_{13}, s23s_{23}) when (Arg(ξK)=π/4\text{Arg}(\xi^{\ast}_{K})=\pi/4, Arg(ξBd)=π/4\text{Arg}(\xi^{\ast}_{B_{d}})=\pi/4, Arg(ξBs)=π/4\text{Arg}(\xi^{\ast}_{B_{s}})=\pi/4), and among them, the constraints on s12s_{12} are the strongest. Only about one in every 300 thousand (|Δ~23|,s23)(|\tilde{\Delta}_{23}|,s_{23}) points in the scan are allowed by the constraints. This gives an idea of the tuning required in order not to be excluded, and explains the scattered purple scan in the lower right plot of Figure 8.

Like in the two dark flavor case, the case where the argument of at least one ξM\xi^{\ast}_{M} (or all of them) approaches π/4\pi/4, 3π/43\pi/4, 5π/45\pi/4, or 7π/47\pi/4, with the others near zero, are excluded or extremely tuned because a scan of 10810^{8} did not find any allowed points.

We now consider the ijij-degeneracy scenario, where the ithi^{th} and jthj^{th} generations of dark quarks are quasi-degenerate in their coupling to SM quarks and Δij=0\Delta_{ij}=0, for some fixed values of ii and jj. In that case, the sijs_{ij} mixing parameter as well as the corresponding CPV phase δij\delta_{ij} can be rotated away. The allowed regions for the two other mixing parameters are smaller than those of the real non-degenerate case. For example, if λ1λ2\lambda_{1}\simeq\lambda_{2}, then we are in the 1212-degeneracy scenario, s13s_{13} and s23s_{23} are constrained in regions narrower than those of the real λ\lambda case.

Let us mention that ξM,M=K,Bd,Bs{\xi}_{M},\ M=K,B_{d},B_{s}, are independent of θ12\theta_{12} and δ12\delta_{12} in the 1212-degeneracy case, where we have equal first two elements of the matrix DD in equation (21), which happens when λ1λ2\lambda_{1}\approx\lambda_{2}. Then no constraints apply on s12s_{12} as well as δ12\delta_{12}, for any values of the other parameters. This is because the dependence on the elements of U12U_{12} drops from ξM{\xi}_{M} in this case. However, the situation is different in the 1313- (2323-) degeneracy case, which happens when λ22λ1\lambda_{2}\approx-2\lambda_{1} (λ2λ1/2\lambda_{2}\approx-\lambda_{1}/2). In this case, ξM{\xi}_{M} terms still depend on the elements of U13U_{13} (U23U_{23}) but all values s13s_{13} and δ13\delta_{13} (s23s_{23} and δ23\delta_{23}) can still be allowed when scanning all the other parameters. The special property of the 1212-degeneracy case is due to the parameterization of equation (23), where U12U_{12} multiplies DD directly in equation (21). If we change the order of the UijU_{ij} in UU, then, the analysis of the constraints on the parameters will differ.

We will now focus on the 1212-degeneracy scenario (λ1=λ2\lambda_{1}=\lambda_{2}). The ξM\xi_{M} terms have the following simple expressions

=12deg\displaystyle{}_{12-\text{deg}}= 3λ1(λ12λ0)ei(δ13δ23)s13c13s23\displaystyle\ 3\lambda_{1}(\lambda_{1}-2\lambda_{0})e^{-i(\delta_{13}-\delta_{23})}s_{13}c_{13}s_{23} (29)
[ξBd]12deg=\displaystyle[\xi_{B_{d}}]_{12-\text{deg}}= 3λ1(λ12λ0)eiδ13s13c13c23\displaystyle\ 3\lambda_{1}(\lambda_{1}-2\lambda_{0})e^{-i\delta_{13}}s_{13}c_{13}c_{23}
[ξBs]12deg=\displaystyle[\xi_{B_{s}}]_{12-\text{deg}}= 3λ1(λ12λ0)eiδ23c132s23c23.\displaystyle\ 3\lambda_{1}(\lambda_{1}-2\lambda_{0})e^{-i\delta_{23}}c_{13}^{2}s_{23}c_{23}\ .

In our choice of the mixing angles’ domain, 0θijπ/40\leq\theta_{ij}\leq\pi/4, so cij1/2c_{ij}\geq 1/\sqrt{2}. Like in the two dark flavor case, all the ξM\xi_{M} terms vanish, thus there are constraints, if s13=0=s23s_{13}=0=s_{23}, so the bb quark does couple to the first and second generations of dark quarks, and the third generation of dark quarks does not couple to dd and ss quarks.

If only s13=0s_{13}=0, and the dd quark does not couple to the third generation of dark quarks, then ξK=0=ξBd\xi_{K}=0=\xi_{B_{d}}, and only ξBs0\xi_{B_{s}}\neq 0, so only s23s_{23} and δ23\delta_{23} are constrained. If s23=0s_{23}=0 so the ss does not couple to the third generation of dark quarks , then ξK=0=ξBs\xi_{K}=0=\xi_{B_{s}}, and only ξBd0\xi_{B_{d}}\neq 0, so only s13s_{13} and δ13\delta_{13} are constrained. Finally, let us mention that from the expression in equation (26), we see that if λ1λ0\lambda_{1}\approx-\lambda_{0}, then all the elements of the first column of the matrix λ\lambda are zero and ddd_{d} does not couple to SM particles, so we can use the two flavour analysis. The same scenario happens to sds_{d} if λ2λ0\lambda_{2}\approx-\lambda_{0}, and to bdb_{d} if λ1+λ2λ0\lambda_{1}+\lambda_{2}\approx\lambda_{0}.

4.4 What if 𝒏𝒇>𝟑n_{f}>3 ?

Let us now consider the case of more than three flavors of dark quarks, Q1,Q2,Q3,Q4,,QnfQ_{1},Q_{2},Q_{3},Q_{4},...,Q_{n_{f}}, and compute the number of unknown parameters. The SM-DM mixing λ\lambda is a 3×nf3\times n_{f} matrix. We apply to it the singular value decomposition:

λ=UDV,\lambda=UDV^{\dagger}\ , (30)

where UU and VV are respectively 3×33\times 3 and nf×nfn_{f}\times n_{f} unitary matrices, and DD is a diagonal 3×nf3\times n_{f} matrix with positive entries. We use the following parametrization for DD:

D=(D1000.00D200.000D30.0),D=\begin{pmatrix}D_{1}&0&0&0&....&0\\ 0&D_{2}&0&0&....&0\\ 0&0&D_{3}&0&....&0\end{pmatrix}, (31)

where there are nfn_{f} columns. The matrix UU has three real parameters, and six complex phases. We can reduce these phases to three thanks to the following symmetry that keeps λ\lambda invariant

UU(eiα1000eiα2000eiα3),V(eiα1000.00eiα200.000eiα30.0000100000001)V.U\longrightarrow U\begin{pmatrix}e^{i\alpha_{1}}&0&0\\ 0&e^{i\alpha_{2}}&0\\ 0&0&e^{i\alpha_{3}}\end{pmatrix}\ ,\ \ \ V^{\dagger}\longrightarrow\begin{pmatrix}e^{-i\alpha_{1}}&0&0&0&....&0\\ 0&e^{-i\alpha_{2}}&0&0&....&0\\ 0&0&e^{-i\alpha_{3}}&0&....&0\\ 0&0&0&1&0...&0\\ ...\\ 0&0&0&0&0...&1\end{pmatrix}V^{\dagger}. (32)

Then provided that the nfn_{f} dark quarks are mass degenerate, VV^{\dagger} can be rotated away using the U(nf)U(n_{f}) dark flavor symmetry. Therefore, we are left with λ=UD\lambda=UD, and we can take for UU the parametrization of equation (23, 24) since it is the same number of real and complex parameters. In summary, as long as the quarks are approximately degenerate in mass, the flavour constraints on the nf>3n_{f}>3 case are equivalent to those from the nf=3n_{f}=3 case.

There is, however, a remnant of the U(nf)U(n_{f}) flavour symmetry that rotates the dark pions among themselves that is left unbroken if nf>3n_{f}>3. In particular, the Yukawa couplings of equation (1) explicitly break U(nf)U(nf3)U(n_{f})\rightarrow U(n_{f}-3), so the dark pions charged under the remnant symmetry will be stable. This could lead to new phenomenology and constraints from missing energy searches. Small quark mass splittings and/or higher dimensional operators could destabilize the dark pions, but if they are very long lived or stable, there will also be constraints from cosmology.

5 𝚫𝑭=𝟏\Delta F=1 Phenomenology and 𝑪𝑷CP-Violation

The high energy collider signatures of this class of dark QCD models are explored in EmergingJets ; RennerSchwaller018 ; Mies:2020mzw ; Linthorne:2021oiz , and direct detection constrains are also discussed in BaiSchwaller014 ; RennerSchwaller018 . In this section we will consider some novel phenomenology, focusing on rare meson decays to dark sector states and the study of large CPCP-violating phases. Our main results are summarized in Tables 2 and 3 at the end of this section.

If the number of dark flavours nf>1n_{f}>1, then the dark pions can be considered as pseudo Nambu-Goldstone bosons (pNGBs) resulting from the breaking of the chiral symmetry, SU(nf)L×SU(nf)RSU(n_{f})_{L}\times SU(n_{f})_{R} in the dark sector BaiSchwaller014 ; RennerSchwaller018 analogous to SM pions. Therefore, their mass is generically smaller than the dark baryon masses and is proportional to the dark quark masses. As we have done throughout, we will work in mass degenerate limit for the dark quarks, so there is a multiplet of nf21n_{f}^{2}-1 degenerate dark pions. In order for dark pions to appear in meson decays, we consider the parameter space MD4M_{D}\lesssim 4 GeV where MDM_{D} is a generic dark pion mass. Decays of SM mesons to dark sector states are thus dominated by dark pions in the final state because they are generically the lightest dark sector hadrons. Furthermore, heavier mesons will typically decay rapidly down to dark pions, analogous to ρππ\rho\rightarrow\pi\pi in the SM. We will consider the case of a single dark quark flavor below, after discussing the multi-flavor scenario.

To better understand the phenomenology, we now estimate the lifetime of the dark pions and compare it to a typical detector size. If decays to kaons are kinematically allowed, MD2MKM_{D}\gtrsim 2M_{K}, which means that we are in the mass range 1 GeVMD4\lesssim M_{D}\lesssim 4 GeV, the lifetime of such dark pions (composed of dark quark-antiquark pairs such as QQ¯Q\bar{Q^{\prime}}) can be estimated by computing decays into SM quark-antiquark pairs. For this mass range, πDss¯\pi_{\text{D}}\rightarrow s\bar{s}, and the decay rate is

Γ(πDss¯)3|λsQλsQ|2128πMX4FD2MDms2:MD2MK,\Gamma(\pi_{\text{D}}\rightarrow s\bar{s})\simeq\frac{3|\lambda_{sQ}\lambda_{sQ^{\prime}}^{\ast}|^{2}}{128\pi M_{X}^{4}}F_{D}^{2}M_{D}m_{s}^{2}\ :\;\;M_{D}\gtrsim 2M_{K}, (33)

where FDF_{D} is the decay constant of πD\pi_{\text{D}}. The dark pion’s lifetime is then

τ(πDss¯)104 s(MX1 TeV)4(0.01|λsQλsQ|)2(1 GeVFD)2(1 GeVMD),\tau(\pi_{\text{D}}\rightarrow s\bar{s})\simeq 10^{-4}\text{ s}\left(\frac{M_{X}}{1\text{ TeV}}\right)^{4}\left(\frac{0.01}{|\lambda_{sQ}\lambda_{sQ^{\prime}}^{\ast}|}\right)^{2}\left(\frac{1\text{ GeV}}{F_{D}}\right)^{2}\left(\frac{1\text{ GeV}}{M_{D}}\right)\ , (34)

which translates to a flight distance on the kilometer scale, much longer than typical detectors for this choice of parameters.

If the dark pions are in the mass range 300 MeV MD1\lesssim M_{D}\lesssim 1 GeV, then they can decay to different final states such as, 2 or 3 pions, and 1 or 2 pions with one kaon. These decays have either (πDdd¯\pi_{\text{D}}\rightarrow d\bar{d}) or (πDds¯\pi_{\text{D}}\rightarrow d\bar{s}) as quark level modes. We can estimate Γ(πDdd¯)\Gamma(\pi_{\text{D}}\rightarrow d\bar{d}) from equation (33) by making the appropriate changes, and for (πDds¯\pi_{\text{D}}\rightarrow d\bar{s}), we have

Γ(πDds¯)3|λdQλsQ|2256πMX4FD2MD(ms2ms4MD2):  300 MeVMD1 GeV.\Gamma(\pi_{\text{D}}\rightarrow d\bar{s})\simeq\frac{3|\lambda_{dQ}\lambda_{sQ^{\prime}}^{\ast}|^{2}}{256\pi M_{X}^{4}}F_{D}^{2}M_{D}\left(m_{s}^{2}-\frac{m_{s}^{4}}{M_{D}^{2}}\right)\ :\;\;300\text{ MeV}\lesssim M_{D}\lesssim 1\text{ GeV}\ . (35)

The corresponding lifetimes are then:

τ(πDdd¯)\displaystyle\tau(\pi_{\text{D}}\rightarrow d\bar{d})\simeq  1 s(MX1 TeV)4(0.01|λdQλdQ|)2(350 MeVFD)2(350 MeVMD),\displaystyle\;1\text{ s}\left(\frac{M_{X}}{1\text{ TeV}}\right)^{4}\left(\frac{0.01}{|\lambda_{dQ}\lambda_{dQ^{\prime}}^{\ast}|}\right)^{2}\left(\frac{350\text{ MeV}}{F_{D}}\right)^{2}\left(\frac{350\text{ MeV}}{M_{D}}\right)\ , (36)
τ(πDds¯)\displaystyle\tau(\pi_{\text{D}}\rightarrow d\bar{s})\simeq  4×104 s(MX1 TeV)4(0.01|λdQλsQ|)2(800 MeVFD)2(800 MeVMD).\displaystyle\;4\times 10^{-4}\text{ s}\left(\frac{M_{X}}{1\text{ TeV}}\right)^{4}\left(\frac{0.01}{|\lambda_{dQ}\lambda_{sQ^{\prime}}^{\ast}|}\right)^{2}\left(\frac{800\text{ MeV}}{F_{D}}\right)^{2}\left(\frac{800\text{ MeV}}{M_{D}}\right)\ .

Therefore, a typical flight distance for a final state that can decay to dd¯d\bar{d} (ds¯d\bar{s}) is on the 10510^{5} kilometer (kilometer) scale. If decays to kaons or pions are not kinematically allowed, MD300M_{D}\lesssim 300 MeV, then the leading decay will be a loop decay to two photons. We estimate the decay rate of the mode (πDγγ)(\pi_{\text{D}}\rightarrow\gamma\gamma) via a πDπ0\pi_{\text{D}}-\pi^{0} mixing followed by the SM decay (π0γγ)(\pi^{0}\rightarrow\gamma\gamma). We find777This expression assumes |λdQλdQ|FDMD3MX2|MD2Mπ2|\frac{|\lambda_{dQ}\lambda_{dQ^{\prime}}^{\ast}|F_{D}M^{3}_{D}}{M^{2}_{X}}\ll|M^{2}_{D}-M^{2}_{\pi}|. If the two states are very nearly degenerate, then the mixing angle is approximately 1/21/\sqrt{2}.

Γ(πDγγ)αem24096π3|λdQλdQ|2MX4FD2MD7(MD2Mπ2)2:MD300 MeV.\Gamma(\pi_{\text{D}}\rightarrow\gamma\gamma)\approx\frac{\alpha^{2}_{em}}{4096\pi^{3}}\frac{|\lambda_{dQ}\lambda_{dQ^{\prime}}^{\ast}|^{2}}{M^{4}_{X}}\frac{F^{2}_{D}M^{7}_{D}}{(M^{2}_{D}-M^{2}_{\pi})^{2}}\ :\;\;M_{D}\lesssim 300\text{ MeV}\ . (37)

Then, for MD150M_{D}\simeq 150 MeV, the dark pion’s lifetime is

τ(πDγγ)0.8 s(MX1 TeV)4(1|λdQλdQ|)2(150 MeVFD)2,\tau(\pi_{\text{D}}\rightarrow\gamma\gamma)\simeq 0.8\text{ s}\left(\frac{M_{X}}{1\text{ TeV}}\right)^{4}\left(\frac{1}{|\lambda_{dQ}\lambda_{dQ^{\prime}}^{\ast}|}\right)^{2}\left(\frac{150\text{ MeV}}{F_{D}}\right)^{2}\ , (38)

and it drops to 0.40.4 s, for MD300M_{D}\simeq 300 MeV. Note that this lifetime is for 𝒪(1)\mathcal{O}(1) couplings, as opposed to the previous estimates that used 𝒪(0.1)\mathcal{O}(0.1).

We see for almost all of the parameter space, the lifetimes are significantly larger than the size of detectors, so most dark pions will decay outside of the detector volume and only contribute to missing energy. The case where nf>3n_{f}>3 and some of dark pions are stable can thus be treated the same way. This differs from the assumptions of EmergingJets where the dark pions are at the GeV scale and all the couplings are 𝒪(1)\mathcal{O}(1), leading to lifetimes in the meter range.

On the lighter side of the parameter space, the lifetimes can be close to the limit from Big Bang Nucleosynthesis (BBN), which excludes pion lifetimes longer than 1\sim 1 second RennerSchwaller018 . Therefore we also restrict ourselves to MD150M_{D}\gtrsim 150 MeV. We have assumed throughout that all the entries of λ\lambda are the same order of magnitude, but if this is not the case, then dark pions can have vastly different lifetimes, potentially leading to interesting phenomenology RennerSchwaller018 .

So far, we have been discussing the lifetimes of the dark pions when nf2n_{f}\geq 2, let us now discuss the nf=1n_{f}=1 scenario. A (spontaneously broken) chiral symmetry as well as PNGBs are absent in this case of a single flavor. A study of a QCD with one flavour found 1FlavorQCD that the lightest hadrons are a pseudoscalar meson η\eta which is a bound state of a quark and an antiquark, and a corresponding scalar meson σ\sigma about a factor 1.5 heavier, so decays of the scalar to the pseudo-scalar are kinematically forbidden. We take those two states to be the only relevant ones for our one flavour dark QCD. These states will decay mostly to ss¯s\bar{s}, and we estimate their decay rate as

Γ(η(σ)ss¯)3|λsQ|4128πMX4Fη(σ)2Mη(σ)ms2,\Gamma(\eta(\sigma)\rightarrow s\bar{s})\simeq\frac{3|\lambda_{sQ}|^{4}}{128\pi M_{X}^{4}}F_{\eta(\sigma)}^{2}M_{\eta(\sigma)}\,m_{s}^{2}\ , (39)

where Fη(σ)F_{\eta(\sigma)} is the decay constant of η(σ)\eta\,(\sigma), defined by:

0|Q¯γμγ5Q|η=iFηpμ,\displaystyle\bra{0}\bar{Q}\gamma^{\mu}\gamma_{5}Q\ket{\eta}=iF_{\eta}p^{\mu}\ , (40)
0|Q¯γμQ|σ=iFσpμ,\displaystyle\bra{0}\bar{Q}\gamma^{\mu}Q\ket{\sigma}=iF_{\sigma}p^{\mu}\ ,

pμp^{\mu} being the 4-momentum of η(σ)\eta\,(\sigma). The lifetimes are then

τ(ηss¯)1×105 s(MX1 TeV)4(0.1|λsQ|)4(2 GeVFη)2(2 GeVMη),\displaystyle\tau(\eta\rightarrow s\bar{s})\simeq 1\times 10^{-5}\text{ s}\left(\frac{M_{X}}{1\text{ TeV}}\right)^{4}\left(\frac{0.1}{|\lambda_{sQ}|}\right)^{4}\left(\frac{2\text{ GeV}}{F_{\eta}}\right)^{2}\left(\frac{2\text{ GeV}}{M_{\eta}}\right)\ , (41)
τ(σss¯)4×106 s(MX1 TeV)4(0.1|λsQ|)4(3 GeVFσ)2(3 GeVMσ),\displaystyle\tau(\sigma\rightarrow s\bar{s})\simeq 4\times 10^{-6}\text{ s}\left(\frac{M_{X}}{1\text{ TeV}}\right)^{4}\left(\frac{0.1}{|\lambda_{sQ}|}\right)^{4}\left(\frac{3\text{ GeV}}{F_{\sigma}}\right)^{2}\left(\frac{3\text{ GeV}}{M_{\sigma}}\right)\ ,

which translate to flight distances of order 1 km. Therefore the dark hadrons in the nf=1n_{f}=1 scenario can also be treated as missing energy.

As most the dark hadrons have long lifetimes in most of the parameter space, they can be searched for in invisible or semi-visible decays of SM hadrons. Below, we consider various such possibilities.

5.1 𝑩𝒅(𝒔)B_{d(s)}\rightarrow\not{E} decays

Our first candidate decay is the fully invisible decay of BdB_{d} and BsB_{s} mesons. We will first study the scenario where the DQCD confinement scale is below the BB meson masses (ΛDQCD<MB\Lambda_{\text{DQCD}}<M_{B}) where we can treat final states in the dark sector in the quark picture (Bd(s)QQ¯B_{d(s)}\rightarrow Q\bar{Q^{\prime}}). The two quark final state is the dominant NP invisible final state since the four dark quark state is suppressed by αD(MB)\alpha_{\text{D}}(M_{B}) in addition to a phase space factor. The dark quarks will then hadronize either to dark pions or to heavier dark hadrons which will then decay to dark pions. In the 1 DF scenario, the dark quarks will hadronize to η\eta or σ\sigma mesons or to heavier dark hadrons which will then decay to η\eta or σ\sigma. There is also the possibility of production of dark baryons which are absolutely stable, but that does not change the picture. The leading Feynman diagram for the decays (Bd(s)QQ¯B_{d(s)}\rightarrow Q\bar{Q^{\prime}}) is the tree-level one shown in Figure 9 with qd(s)q\equiv d(s).

Refer to caption
Figure 9: Leading diagram for the modes BqQQ¯B_{q}\rightarrow Q\bar{Q^{\prime}}, as well as the inclusive modes bqQQ¯b\rightarrow qQ\bar{Q^{\prime}}. QQ and QQ^{\prime} are dark quarks, and qq is a dd or an ss SM quark. If we replace bb by ss and q=dq=d, then the diagram represents the inclusive modes of KππDK\rightarrow\pi\pi_{\text{D}}.

Searches for invisible BdB_{d} decays done by Belle Belle and BaBar BaBar collaborations have not observed any signals, and the strongest limit is from BaBar, (Bd)exp<2.4×105\mathcal{B}(B_{d}\rightarrow\not{E})_{\text{exp}}<2.4\times 10^{-5} at 90%90\% CL BaBar . Belle II is expected to improve the upper limit to 1.5×1061.5\times 10^{-6} Belle2 . Experimental searches for invisible BsB_{s} decays have not been done yet, and Belle II collaboration expects to reach an upper limit of order 10510^{-5} for (Bs)\mathcal{B}(B_{s}\rightarrow\not{E}) Belle2 . All of these are many orders of magnitude above the SM predictions BadinPetrov ; PetrovEtAl , so the observation of (Bd(s))(B_{d(s)}\rightarrow\not{E}) is a direct manifestation of new physics.

We can estimate the branching ratios (BRs) of the decays of Bd(s)B_{d(s)} to dark quark-antiquark pairs from the tree diagram of Figure 9. Since we can not experimentally discern the different dark flavors, all being invisible, our calculation of the BRs can be done by summing over all possible dark flavours (DFs):

Q,Q(BqQQ¯)=Ncχqb128πMX4FBq2mQ2MBqΓBq14mQ2MBq2,\sum\limits_{Q,Q^{\prime}}\mathcal{B}(B_{q}\rightarrow Q\bar{Q^{\prime}})=N_{c}\frac{\chi_{qb}}{128\pi M_{X}^{4}}\frac{F_{B_{q}}^{2}m_{Q}^{2}M_{B_{q}}}{\Gamma_{B_{q}}}\sqrt{1-\frac{4m_{Q}^{2}}{M_{B_{q}}^{2}}}\ , (42)

where q=bq=b or ss, and

χqq=Q,Q|λqQλqQ|2.\chi_{qq^{\prime}}=\sum\limits_{Q,Q^{\prime}}|\lambda_{qQ}\lambda_{q^{\prime}Q^{\prime}}^{\ast}|^{2}\ . (43)

FBqF_{B_{q}} is the decay constant of the meson, MBqM_{B_{q}} is its mass, and ΓBq\Gamma_{B_{q}} is its total decay width. All the experimental input data we use are given in Table 4. The dark sector parameters are NcN_{c}, the number of dark colors, mQm_{Q} the common mass of the dark quarks, and the combination of the Yukawa matrix elements parameterized by χ\chi. For mQ1m_{Q}\simeq 1 GeV, we have

Q,Q(BdQQ¯)\displaystyle\sum\limits_{Q,Q^{\prime}}\mathcal{B}(B_{d}\rightarrow Q\bar{Q^{\prime}})\simeq 1.01×103Nc(1 TeVMX)4χdb,\displaystyle\ 1.01\times 10^{-3}N_{c}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{4}\chi_{db}\ , (44)
Q,Q(BsQQ¯)\displaystyle\sum\limits_{Q,Q^{\prime}}\mathcal{B}(B_{s}\rightarrow Q\bar{Q^{\prime}})\simeq 1.50×103Nc(1 TeVMX)4χsb.\displaystyle\ 1.50\times 10^{-3}N_{c}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{4}\chi_{sb}\ .

Complementary bounds on the elements of the matrix λ\lambda from ΔF=2\Delta F=2 processes are computed in Section 4 and summarised in Table 1. Those constraints are on the matrix element of the flavour mixing and thus scale as

NcMX2|QλqQλqQ|2.\frac{N_{c}}{M_{X}^{2}}\left|\sum\limits_{Q}\lambda_{qQ}\lambda_{q^{\prime}Q}^{\ast}\right|^{2}\,. (45)

Therefore, the scaling with NcN_{c} is the same for ΔF=2\Delta F=2 and ΔF=1\Delta F=1, and predictions for the rare meson decay rates that saturate the ΔF=2\Delta F=2 bounds will be independent of NcN_{c}. On the other hand, the scaling with MXM_{X} differs in the two classes of processes, and predictions for rare meson decays will scale with 1/MX21/M_{X}^{2}.

For the dependence on the λij\lambda_{ij} couplings, we see that for ΔF=1\Delta F=1 we must square then sum on two indices over dark flavours, while for ΔF=2\Delta F=2 we sum only on one index, then square. These are identical with one dark flavour, but could be significantly different with more flavours. In particular, there could be destructive interference that makes the ΔF=2\Delta F=2 constraints weak and allows for relatively large rates in the processes considered in this section.

Case of 1 DF:

In this scenario, the dependence on the SM-DM couplings for ΔF=2\Delta F=2 and ΔF=1\Delta F=1 processes are the same. Thus we directly apply the second and third lines of Table 1 on the χqb\chi_{qb} factors of equation (44), and get upper bounds on the BRs. For mQ1m_{Q}\simeq 1 GeV, we obtain

(BdQQ¯)\displaystyle\mathcal{B}(B_{d}\rightarrow Q\bar{Q}) 6.62×107(1 TeVMX)2,\displaystyle\lesssim 6.62\times 10^{-7}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2}\ , (46)
(BsQQ¯)\displaystyle\mathcal{B}(B_{s}\rightarrow Q\bar{Q}) 1.97×105(1 TeVMX)2.\displaystyle\lesssim 1.97\times 10^{-5}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2}\ .

Both BdB_{d} and BsB_{s} decays to invisible are potentially within the reach of the Belle II experiment if MXM_{X} is somewhat less than 1 TeV.

Case of 2 DFs:

We will consider a few specific slices of parameter space in the two dark flavour scenario. One interesting case described at the end of Section 4.2, where d1=d2d_{1}=d_{2} and c13=0c_{13}=0, has no flavour constraints. In this case, χdb=0\chi_{db}=0888We do not need d1=d2d_{1}=d_{2} to have χdb=0\chi_{db}=0, we just need c13=0c_{13}=0. Adding d1=d2d_{1}=d_{2} guarantees the absence of constraints. , but χsb0\chi_{sb}\neq 0, so we can have non-zero contributions to (BsQQ¯)\mathcal{B}(B_{s}\rightarrow Q\bar{Q}).

Q,Q(BdQQ¯)(c13=0)=\displaystyle\sum\limits_{Q,Q^{\prime}}\mathcal{B}(B_{d}\rightarrow Q\bar{Q^{\prime}})_{(c_{13}=0)}= 0,\displaystyle\ 0\ , (47)
Q,Q(BsQQ¯)(d1=d2,c13=0)\displaystyle\sum\limits_{Q,Q^{\prime}}\mathcal{B}(B_{s}\rightarrow Q\bar{Q^{\prime}})_{(d_{1}=d_{2},\ c_{13}=0)}\simeq 1.50×103Nc(1 TeVMX)4χsbGeneric,\displaystyle\ 1.50\times 10^{-3}N_{c}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{4}\chi_{sb}^{\text{\tiny{Generic}}}\ ,

where χsb\chi_{sb} is defined in equation 43, and “Generic” means there are no constraints on it from ΔF=2\Delta F=2 processes described in section 4. In this case, an experimental measurement of the BsB_{s} invisible decay would be a measurement of Ncχsb/MX4N_{c}\chi_{sb}/M_{X}^{4}.

Another case with no flavor constraints is when d1=d2d_{1}=d_{2}, s13=0=s23s_{13}=0=s_{23}. This latter (even if d1d2d_{1}\neq d_{2}) gives χdb=0=χsb\chi_{db}=0=\chi_{sb}, thus,

Q,Q(Bd(s)QQ¯)(s13=0=s23)=0.\sum\limits_{Q,Q^{\prime}}\mathcal{B}(B_{d(s)}\rightarrow Q\bar{Q^{\prime}})_{(s_{13}=0=s_{23})}=0\ . (48)

An observation of the BdB_{d} invisible decay would impose c130c_{13}\neq 0; and an observation of only the BsB_{s} invisible decay would impose c13=0c_{13}=0 and s130s_{13}\neq 0 or s230s_{23}\neq 0, or the number of DFs is bigger than 2.

If we keep d1=d2d_{1}=d_{2} and now take s13=0s_{13}=0, then only constraints from BsB_{s} apply (ξK=0=ξBd\xi_{K}=0=\xi_{B_{d}}), and we have χdb=|ξBs|2/c232\chi_{db}=|\xi_{B_{s}}|^{2}/c_{23}^{2} and χsb=|ξBs|2\chi_{sb}=|\xi_{B_{s}}|^{2}. Applying the third line of Table 1, the BRs are then, for mQ1m_{Q}\simeq 1 GeV:

Q(BdQQ¯)(d1=d2,s13=0)\displaystyle\sum\limits_{Q}\mathcal{B}(B_{d}\rightarrow Q\bar{Q})_{(d_{1}=d_{2},\ s_{13}=0)} 1.33×105c232(1 TeVMX)2,\displaystyle\lesssim\frac{1.33\times 10^{-5}}{c_{23}^{2}}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2}\ , (49)
Q(BsQQ¯)(d1=d2,s13=0)\displaystyle\sum\limits_{Q}\mathcal{B}(B_{s}\rightarrow Q\bar{Q})_{(d_{1}=d_{2},\ s_{13}=0)} 1.97×105(1 TeVMX)2.\displaystyle\lesssim 1.97\times 10^{-5}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2}\ .

These bounds get weaker with decreasing MXM_{X}, and the first bound could increase considerably if s23s_{23} approaches 11. This scenario is also potentially within reach at Belle II.

Case of 3 or more DFs:

If the number of DFs is nf3n_{f}\geq 3, we can, like in the 2 DF case,999For the 3 DF case, we cannot have c13=0c_{13}=0, since 0θijπ/40\leq\theta_{ij}\leq\pi/4. escape the flavor constraints when the matrix DD is 1212-degenerate (Δ12=0\Delta_{12}=0) and s13=0=s23s_{13}=0=s_{23}, giving χdb=χsb0\chi_{db}=\chi_{sb}\neq 0.

Q(BdQQ¯)(12deg,s13=0=s23) 1.01×103Nc(1 TeVMX)2χdbGeneric,\displaystyle\sum\limits_{Q}\mathcal{B}(B_{d}\rightarrow Q\bar{Q})_{(12-\text{deg},\ s_{13}=0=s_{23})}\simeq\ 1.01\times 10^{-3}N_{c}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2}\chi_{db}^{\text{\tiny{Generic}}}\ , (50)
Q(BsQQ¯)(12deg,s13=0=s23) 1.50×103Nc(1 TeVMX)2χsbGeneric,\displaystyle\sum\limits_{Q}\mathcal{B}(B_{s}\rightarrow Q\bar{Q})_{(12-\text{deg},\ s_{13}=0=s_{23})}\simeq\ 1.50\times 10^{-3}N_{c}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2}\chi_{sb}^{\text{\tiny{Generic}}}\ ,

Here χdbGeneric\chi_{db}^{\rm Generic} is uncostrained from ΔF=2\Delta F=2 constraints but it is constrained by the BaBar constraint of (Bd)exp<2.4×105\mathcal{B}(B_{d}\rightarrow\not{E})_{\text{exp}}<2.4\times 10^{-5} BaBar . In general, a measurement of the BdB_{d} (BsB_{s}) invisible decay would induce a measurement of the parameter χdb\chi_{db} (χsb\chi_{sb}) for fixed NcN_{c} and MXM_{X}. If these latter are found equal, then we can conclude s13=0=s23s_{13}=0=s_{23} and λ1=λ2\lambda_{1}=\lambda_{2}.

We now turn to the scenario where the DQCD scale is above the BB meson masses (ΛDQCDMB\Lambda_{\text{DQCD}}\geq M_{B}). In this case, dark pions are the only kinematically allowed final states in BqB_{q} decays, since they are PNGBs. It should be noted that such decays are kinematically forbidden in the 1 DF case, since the lightest dark hadrons have mass ΛDQCD\simeq\Lambda_{\text{DQCD}}. For 2 or more DF scenarios, the dominant invisible modes are the decays of BqB_{q} to 2 dark pions (not necessarily flavor diagonal). Decays to more than 2 dark pions will be phase space suppressed. At the dark quark level, the decay (BqπDπD)(B_{q}\rightarrow\pi_{\text{D}}\pi_{\text{D}}) corresponds to (BQQ¯)(B\rightarrow Q\bar{Q^{\prime}}) studied above, and since the decay rate of the inclusive mode is always bigger than the rate of the corresponding exclusive mode, then the upper bounds of equations (47-50) still apply to (BqπDπD)(B_{q}\rightarrow\pi_{\text{D}}\pi_{\text{D}}).

𝑪𝑷CP-Asymmetries in 𝑩𝒅(𝒔)B_{d(s)}\rightarrow\not{E} decays:

We will now study the time-dependent mixing induced CPCP-asymmetries (defined in Appendix B) in invisible BB decays. Although such asymmetries are currently only measurable in fully visible decays of the BB mesons, we hope that, in the future, there will be experiments that have the capability to measure the asymmetries in the kinds of invisible decays discussed here.

We will focus on the scenario (ΛDQCD<MB\Lambda_{\text{DQCD}}<M_{B}) and 1 DF. So we restrict ourselves to the decays (BqQQ¯B_{q}\rightarrow Q\bar{Q}) in which the product is a CPCP-odd eigenstate.101010A bound state of a particle AA and its antiparticle A¯\bar{A} is a CPCP-eigenstate. The CP-parity of the system, whether the particle AA is a boson or a fermion, is: (PA)(PA¯)(1)S=(1)S+1(P_{A})(P_{\bar{A}})(-1)^{S}=(-1)^{S+1}, where PA(PA¯)P_{A}\ (P_{\bar{A}}) is the parity of AA (A¯\bar{A}) and SS is the total spin of the system. Since BqB_{q} has J=0J=0, then the system QQ¯Q\bar{Q} must have either (S=0andL=0)(S=0\ \text{and}\ L=0) or (S=1 and L=1). The first case, being the ground state, is dominant over the second one (an excited state); thus the CPCP-parity of QQ¯Q\bar{Q} is ζQQ¯=1\zeta_{Q\bar{Q}}=-1. The weak phase of decay from the dominant tree diagram of Figure 9 is, ϕD=Arg(λqQλbQ)\phi_{D}=\text{Arg}(\lambda_{qQ}\lambda_{bQ}^{\ast}) which we call δqbQ(q=dors)\delta_{qbQ}\ (q=d\ \text{or}\ s). Therefore, we are in the special case where the CPCP-Asymmetry described in Appendix B is “clean” from hadronic uncertainties and takes the simple form of equation (106), that is,

𝒜CP(t)=ζfsin(2ϕD2ϕM)sin(ΔMqt).\mathcal{A}_{CP}(t)=\zeta_{f}\sin(2\phi_{D}-2\phi_{M})\sin(\Delta M_{q}t)\ . (51)

ζf\zeta_{f} is the CPCP-parity of the decay product, and ΔMq\Delta M_{q} is the mass difference between the two BqB_{q} mass eigenstates. ϕM\phi_{M} is the weak phase of the BB¯B-\bar{B} mixing, which is dominated by the SM box diagram with an internal tt quark. The NP contribution to this phase is negligible from what we saw in Section 4, so we can write: ϕM=Arg(VtbVtd)Arg(Vtd)=β\phi_{M}=\text{Arg}(V_{tb}^{\ast}V_{td})\simeq\text{Arg}(V_{td})=-\beta, for BdB_{d}, and ϕM=Arg(VtbVts)Arg(Vts)=βs\phi_{M}=\text{Arg}(V_{tb}^{\ast}V_{ts})\simeq\text{Arg}(V_{ts})=-\beta_{s}, for BsB_{s}.111111VijV_{ij} are elements of the CKM matrix. More details about β\beta and βs\beta_{s} can be found in Appendices A and B. Their experimental values, as well as that of ΔMd\Delta M_{d} and ΔMs\Delta M_{s} are shown in Table 4.. Therefore one can measure δdbQ\delta_{dbQ} and δsbQ\delta_{sbQ} (Arg(λdQλbQ)\text{Arg}(\lambda_{dQ}\lambda_{bQ}^{\ast}) and Arg(λsQλbQ)\text{Arg}(\lambda_{sQ}\lambda_{bQ}^{\ast}))121212Note that while the CPV phases δij\delta_{ij} are convention dependent, δqqQ=Arg(λqQλqQ)\delta_{qq^{\prime}Q}=\text{Arg}(\lambda_{qQ}\lambda_{q^{\prime}Q}^{\ast}), the arguments of the Wilson coefficients, are not, in the 1 DF case. via the asymmetries:

𝒜CP(BqQQ¯)\displaystyle\mathcal{A}_{CP}(B_{q}\rightarrow Q\bar{Q}) =Γ(Bq0(t)QQ¯)Γ(B¯q0(t)QQ¯)Γ(Bq0(t)QQ¯)+Γ(B¯q0(t)QQ¯),\displaystyle=\frac{\Gamma(B_{q}^{0}(t)\rightarrow Q\bar{Q})-\Gamma(\bar{B}_{q}^{0}(t)\rightarrow Q\bar{Q})}{\Gamma(B_{q}^{0}(t)\rightarrow Q\bar{Q})+\Gamma(\bar{B}_{q}^{0}(t)\rightarrow Q\bar{Q})}\ , (52)
=sin[2(βq+δqbQ)]sin(ΔMqt).\displaystyle=-\sin\left[2(\beta_{q}+\delta_{qbQ})\right]\sin(\Delta M_{q}t)\ .

The value of the time tt is the duration between the creation of a Bq0B¯q0B_{q}^{0}-\bar{B}_{q}^{0} pair and the disappearance of either Bq0(t)B_{q}^{0}(t) or B¯q0(t)\bar{B}_{q}^{0}(t) into missing energy. Reconstructing the time in invisible decays is the biggest experimental challenge. The phases δdbQ\delta_{dbQ} and δsbQ\delta_{sbQ} coincide respectively with (δ)(-\delta^{\prime}) and (δδ)(\delta-\delta^{\prime}) if we use the parameterization of equation (8).

If there are nf2n_{f}\geq 2 dark flavors and still MBM_{B} is above ΛDQCD\Lambda_{DQCD}, but the λ\lambda matrix is hierarchical such that only one tree diagram involving one dark flavor (QQ for q=dq=d and QQ^{\prime} for q=sq=s) is dominant over the others then the situation can be mapped onto the nf=1n_{f}=1 case. We then have

χdb=Q,Q|λdQλbQ|2|λdQλbQ|2,\displaystyle\chi_{db}=\sum\limits_{Q,Q^{\prime}}|\lambda_{dQ}\lambda_{bQ^{\prime}}^{\ast}|^{2}\simeq|\lambda_{dQ}\lambda_{bQ}^{\ast}|^{2}\ , (53)
χsb=Q,Q|λsQλbQ|2|λsQλbQ|2.\displaystyle\chi_{sb}=\sum\limits_{Q,Q^{\prime}}|\lambda_{sQ}\lambda_{bQ^{\prime}}^{\ast}|^{2}\simeq|\lambda_{sQ^{\prime}}\lambda_{bQ^{\prime}}^{\ast}|^{2}\ .

Therefore, there will be the same asymmetry as equation (52). If ΛDQCD>MB>2MD\Lambda_{DQCD}>M_{B}>2M_{D}, then the decay is Bd(s)πD()πD()B_{d(s)}\rightarrow\pi^{(^{\prime})}_{\text{D}}\pi^{(^{\prime})}_{\text{D}} which has the same dominant mode (considering equation (53)) Bd(s)Q()Q¯()B_{d(s)}\rightarrow Q^{(^{\prime})}\bar{Q}^{(^{\prime})} at the quark level and again gives the same asymmetry as equation (52).

5.2 𝑩𝒅𝝅𝟎(𝑲S)B_{d}\rightarrow\pi^{0}(K_{\text{S}})\not{E}

In this section, we consider the scenario ΛDQCDMB\Lambda_{\text{DQCD}}\geq M_{B} and a number of DFs nf2n_{f}\geq 2 such that the only kinematically allowed dark final states are dark pions. We have calculated the BRs of (Bdπ0πD)(B_{d}\rightarrow\pi^{0}\pi_{\text{D}}) and (BdKSπD)(B_{d}\rightarrow K_{\text{S}}\pi_{\text{D}}) in DQCD, where πD\pi_{\text{D}} is not necessarily flavor diagonal (πDQQ¯\pi_{\text{D}}\equiv Q\bar{Q^{\prime}}). Using the factorization approximation Factorization on the tree diagram of Figure 9, we find, after summing over all dark flavors:

Q,Q(Bdπ0(KS)πD)\displaystyle\sum\limits_{Q,Q^{\prime}}\mathcal{B}(B_{d}\rightarrow\pi^{0}(K_{\text{S}})\pi_{\text{D}})\approx Ncχd(s)b2048πMX4[F0Bπ+(K0)(MD2)]2FD2ΓB(MB2Mπ(K)2)2MB3×\displaystyle\ N_{c}\frac{\chi_{d(s)b}}{2048\pi M_{X}^{4}}\frac{[F_{0}^{B\pi^{+}(K^{0})}(M_{D}^{2})]^{2}\,F_{D}^{2}}{\Gamma_{B}}\frac{(M_{B}^{2}-M_{\pi(K)}^{2})^{2}}{M_{B}^{3}}\times (54)
×[(MB+Mπ(K))2MD2][(MBMπ(K))2MD2],\displaystyle\times\sqrt{\left[(M_{B}+M_{\pi(K)})^{2}-M_{D}^{2}\right]\left[(M_{B}-M_{\pi(K)})^{2}-M_{D}^{2}\right]}\ ,

where χd(s)b\chi_{d(s)b} is defined in equation (43), MπM_{\pi} ( MKM_{K}) is the mass of the π0\pi^{0} (KSK_{S}PDG , MDM_{D} is the mass of the dark pion, and FDF_{D} is its decay constant. F0Bπ+(K0)(q2)F_{0}^{B\pi^{+}(K^{0})}(q^{2})131313qq is the momentum exchange between BB and π0\pi^{0} or KK. Hence, q2=MD2q^{2}=M_{D}^{2}. is a form factor of the hadronic matrix element π+(K0)|b¯γμd|B0\bra{\pi^{+}(K^{0})}\bar{b}\gamma^{\mu}d\ket{B^{0}} AliEtAl ; FormFactors , which can be calculated by using lattice QCD. From RBCandUKQCD ; FermilabLatticeAndMILC , we can find that for q210GeV2q^{2}\lesssim 10\ \text{GeV}^{2} (which corresponds to MD3M_{D}\lesssim 3 GeV), we have F0Bπ+(q2)0.2F_{0}^{B\pi^{+}}(q^{2})\approx 0.2; and from FermilabLatticeAndMILC2 , we can find that F0BK0(q210GeV2)0.3F_{0}^{BK^{0}}(q^{2}\lesssim 10\ \text{GeV}^{2})\approx 0.3. We recall that NcN_{c} is the number of dark colors. For FDMD1F_{D}\approx M_{D}\approx 1 GeV, we have

Q,Q(Bdπ0πD)\displaystyle\sum\limits_{Q,Q^{\prime}}\mathcal{B}(B_{d}\rightarrow\pi^{0}\pi_{\text{D}})\simeq 2.03×103Nc(FD1 GeV)2(1 TeVMX)4χdb,\displaystyle\ 2.03\times 10^{-3}N_{c}\left(\frac{F_{D}}{1\text{ GeV}}\right)^{2}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{4}\chi_{db}\ , (55)
Q,Q(BdKSπD)\displaystyle\sum\limits_{Q,Q^{\prime}}\mathcal{B}(B_{d}\rightarrow K_{\text{S}}\pi_{\text{D}})\simeq 4.46×103Nc(FD1 GeV)2(1 TeVMX)4χsb.\displaystyle\ 4.46\times 10^{-3}N_{c}\left(\frac{F_{D}}{1\text{ GeV}}\right)^{2}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{4}\chi_{sb}\ .

The most recent experimental limits have been established by Belle collaboration Belle2017 : (Bdπ0νν¯)exp<0.9×105\mathcal{B}(B_{d}\rightarrow\pi^{0}\nu\bar{\nu})_{\text{exp}}<0.9\times 10^{-5}, and (BdKSνν¯)exp <1.3×105\mathcal{B}(B_{d}\rightarrow K_{\text{S}}\nu\bar{\nu})_{\text{exp }}<1.3\times 10^{-5}, both at 90%90\% CL, so for those parameters, χsb=1\chi_{sb}=1 and χdb=1\chi_{db}=1 are excluded. The corresponding SM BRs are (Bdπ0νν¯)SM=(1.2±0.15)×107\mathcal{B}(B_{d}\rightarrow\pi^{0}\nu\bar{\nu})_{\text{SM}}=(1.2\pm 0.15)\times 10^{-7} HambrockEtAL and (BdKSνν¯)SM(2.00±0.25)×106\mathcal{B}(B_{d}\rightarrow K_{\text{S}}\nu\bar{\nu})_{\text{SM}}\simeq(2.00\pm 0.25)\times 10^{-6} BurasEtAl ,141414This reference gives (B+K+νν¯)SM(4.0±0.5)×106\mathcal{B}(B^{+}\rightarrow K^{+}\nu\bar{\nu})_{\text{SM}}\simeq(4.0\pm 0.5)\times 10^{-6}. Because τB+τB0\tau_{B^{+}}\simeq\tau_{B^{0}}, isospin implies (B0K0νν¯)SM (B+K+νν¯)SM\mathcal{B}(B^{0}\to K^{0}\nu\bar{\nu})_{\text{SM }}\simeq\mathcal{B}(B^{+}\to K^{+}\nu\bar{\nu})_{\text{SM}}. Then, using the fact that KSK0/2K_{\text{S}}\propto K^{0}/\sqrt{2} we get the quoted value. so the SM process with two neutrinos in the final state could have a comparable rate to the one with dark hadrons in the final state, as opposed to the processes considered in Section 5.1 where there is no SM background. As far as we know, there is no projection of the Belle II sensitivity for these modes. Belle II is expected to take roughly 100 times as much data as Belle, and the limits are expected to scale linearly with luminosity. Therefore, we can perform a naive luminosity scaling from the Belle result to estimate that Belle II should be sensitive to a branching ratio 𝒪(107)\mathcal{O}(10^{-7}) for Bdπ0νν¯B_{d}\rightarrow\pi^{0}\nu\bar{\nu}. For (BdKSνν¯)(B_{d}\rightarrow K_{\text{S}}\nu\bar{\nu}), a luminosity extrapolation implies Belle II should be able to collect 𝒪(10)\mathcal{O}(10) events if the rate is equal to the SM expectation, which implies a 30\sim 30% precision measurement of the branching ratio.

The NP final state differs from that of the SM as it is two body, so the SM hadron (π0/KS\pi^{0}/K_{\text{S}}) energy will be mono-chromatic and given by

Eπ(K)=MB2+Mπ(K)2MD22MB,E_{\pi(K)}=\frac{M_{B}^{2}+M_{\pi(K)}^{2}-M_{D}^{2}}{2M_{B}}\,, (56)

in the rest frame of the decaying BB. This feature would be a smoking gun for new physics, and could also allow experiments to distinguish the dark QCD signal from the SM background. Finally the location of the peak in the Eπ(K)E_{\pi(K)} distribution in the BB rest frame would provide a measurement of the dark pion mass MDM_{D}.

We can now explore specific parameterizations for χqb\chi_{qb}. If there are 2 DFs with c13=0c_{13}=0, then the sum over DFs of Γ(Bdπ0πD)\Gamma(B_{d}\rightarrow\pi^{0}\pi_{\text{D}}) is zero. If in addition, d1=d2d_{1}=d_{2}, then [see equation (20)] there are no ΔF=2\Delta F=2 flavor constraints on BdKSπDB_{d}\rightarrow K_{\text{S}}\pi_{\text{D}}. Finally, the sum over the DFs of the rates of both modes are zero if s13=0=s23s_{13}=0=s_{23} (because χdb=0=χsb\chi_{db}=0=\chi_{sb} in this case). For 3 DFs with a 1212-degeneracy and s13=0=s23s_{13}=0=s_{23} [see equation (29)], the ΔF=2\Delta F=2 flavor constraints disappear, and χdb=χsb\chi_{db}=\chi_{sb}. Therefore χd(s)b\chi_{d(s)b} are only constrained by the existing Belle upper limit of this process. Thus, if semi-invisible BdB_{d} decays are measured, and χdb\chi_{db} and χsb\chi_{sb} are found to be equal, then this means that λ1=λ2\lambda_{1}=\lambda_{2} and s13=0=s23s_{13}=0=s_{23}.

If we are not in these special scenarios, χd(s)b\chi_{d(s)b} will be affected by the ΔF=2\Delta F=2 flavor constraints on the ξM\xi_{M} terms. Although the bounds on the BRs from these constraints are not obvious, we estimate that χd(s)b\chi_{d(s)b} will have upper bounds of order 102\sim 10^{-2} at the most (the highest upper bound in Table 1).

The following equations summarize our results.

Q,Q(Bdπ0(KS)πD)𝒪(105)(FD1 GeV)2(1 TeVMX)2,\displaystyle\sum\limits_{Q,Q^{\prime}}\mathcal{B}(B_{d}\rightarrow\pi^{0}(K_{\text{S}})\pi_{\text{D}})\lesssim\ \mathcal{O}(10^{-5})\left(\frac{F_{D}}{1\text{ GeV}}\right)^{2}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2}\ , (57)
[Q,Q(Bdπ0πD)](2DF, c13=0)=0,\displaystyle\bigg{[}\sum\limits_{Q,Q^{\prime}}\mathcal{B}(B_{d}\rightarrow\pi^{0}\pi_{\text{D}})\bigg{]}_{(\text{2DF, }c_{13}=0)}=0\ ,
[Q,Q(BdKSπD)](2DF, d1=d2,c13=0)\displaystyle\bigg{[}\sum\limits_{Q,Q^{\prime}}\mathcal{B}(B_{d}\rightarrow K_{\text{S}}\pi_{\text{D}})\bigg{]}_{(\text{2DF, }d_{1}=d_{2},\ c_{13}=0)}
4.46×103Nc(FD1 GeV)2(1 TeVMX)4χsbGeneric,\displaystyle\hskip 105.2751pt\simeq\ 4.46\times 10^{-3}N_{c}\left(\frac{F_{D}}{1\text{ GeV}}\right)^{2}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{4}\chi_{sb}^{\text{\tiny{Generic}}}\ ,
[Q,Q(Bdπ0(KS)πD)](2DF,s13=0=s23)=0,\displaystyle\bigg{[}\sum\limits_{Q,Q^{\prime}}\mathcal{B}(B_{d}\rightarrow\pi^{0}(K_{\text{S}})\pi_{\text{D}})\bigg{]}_{(2\text{DF},\ s_{13}=0=s_{23})}=0\ ,
[Q,Q(Bdπ0πD)](3DF, 12deg, s13=0=s23)\displaystyle\bigg{[}\sum\limits_{Q,Q^{\prime}}\mathcal{B}(B_{d}\rightarrow\pi^{0}\pi_{\text{D}})\bigg{]}_{(3\text{DF, }12-\text{deg, }s_{13}=0=s_{23})}
= 2.03×103Nc(FD1 GeV)2(1 TeVMX)4χdbGeneric,\displaystyle\hskip 105.2751pt=\ 2.03\times 10^{-3}N_{c}\left(\frac{F_{D}}{1\text{ GeV}}\right)^{2}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{4}\chi_{db}^{\text{\tiny{Generic}}}\ ,
[Q,Q(BdKSπD)](3DF, 12deg, s13=0=s23)\displaystyle\bigg{[}\sum\limits_{Q,Q^{\prime}}\mathcal{B}(B_{d}\rightarrow K_{\text{S}}\pi_{\text{D}})\bigg{]}_{(3\text{DF, }12-\text{deg, }s_{13}=0=s_{23})}
= 4.46×103Nc(FD1 GeV)2(1 TeVMX)4χsbGeneric,\displaystyle\hskip 105.2751pt=\ 4.46\times 10^{-3}N_{c}\left(\frac{F_{D}}{1\text{ GeV}}\right)^{2}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{4}\chi_{sb}^{\text{\tiny{Generic}}}\ ,
[3DF, 12deg, s13=0=s23)]χsbGeneric=χdbGeneric=(λ0+λ1)2(λ02λ1)2,\displaystyle\big{[}3\text{DF, }12-\text{deg, }s_{13}=0=s_{23})\big{]}\Rightarrow\chi_{sb}^{\text{\tiny{Generic}}}=\chi_{db}^{\text{\tiny{Generic}}}=(\lambda_{0}+\lambda_{1})^{2}(\lambda_{0}-2\lambda_{1})^{2}\ ,

where χGeneric\chi^{\text{\tiny{Generic}}} means there are no bounds from ΔF=2\Delta F=2 process, but it is still constrainted by the Belle limit on Bπ0(KS)ννB\rightarrow\pi^{0}(K_{\text{S}})\nu\nu.

𝑪𝑷CP-Asymmetries in 𝑩𝒅𝝅𝟎(𝑲S)B_{d}\rightarrow\pi^{0}(K_{\text{S}})\not{E} decays:

Continuing to the scenario ΛDQCDMB\Lambda_{\text{DQCD}}\geq M_{B} and nf2n_{f}\geq 2, we now also restrict ourselves to the case where equation (53) applies, i.e. there is a hierarchy in the matrix λ\lambda that makes only one tree diagram dominant. Of course, the dark pions for (Bdπ0πD)(B_{d}\rightarrow\pi^{0}\pi_{\text{D}}) and (BdKSπD)(B_{d}\rightarrow K_{\text{S}}\pi_{\text{D}}) can be different. Let us call them πD\pi_{\text{D}} and πD\pi_{\text{D}}^{\prime} and their constituent dark quarks QQ and QQ^{\prime} respectively. The dark pions are PNGBs, so they are light pseudoscalars, which means they have an odd parity and spin zero. Because all the dark pions are degenerate, we can work in a basis of real fields where all pion states are their own antiparticles. Therefore, they are CPCP-eigenstates with the same CPCP-parity: ζπD=(PQ)(PQ¯)(1)S=(1)S+1=1\zeta_{\pi_{\text{D}}}=(P_{Q})(P_{\bar{Q}})(-1)^{S}=(-1)^{S+1}=-1. We know that π0(KS)\pi^{0}\ (K_{\text{S}}) is CPCP-odd (even),151515We can approximately consider the meson KSK_{\text{S}} as a CPCP-even eigenstate. This is a good approximation, where we neglect ϵK\epsilon_{K} which is of order 10310^{-3}. therefore, the final state of the decay (Bdπ0(KS)πDB_{d}\rightarrow\pi^{0}(K_{\text{S}})\pi_{\text{D}}) is a CPCP-even (odd) eigenstate.161616Since the final total spin is S=0S=0, then the CPCP-parity of the 2 body final state is simply the product of the CPCP-parities of the individual (dark) mesons.

Assuming that we can experimentally discern the difference between the NP and SM decay products by using the fact that the NP (SM)’s decay is a two (three) body final state and exploiting equation (56), we can separately consider the CPCP-asymmetries in NP and in the SM. For the mixing induced CPCP-asymmetries in (Bdπ0(KS)νν)(B_{d}\rightarrow\pi^{0}(K_{\text{S}})\nu\nu) in the SM, the decays are dominated by two types of diagrams at the quark level Buras2005 ; BurasRareDec , the ZZ-mediated penguins, and the box diagram, all with an internal top quark, as shown in Figure 10, with qd(s)q\equiv d(s).

Refer to caption
Figure 10: Dominant diagrams, in the SM, for the modes Bdπ0(KS)νν¯B_{d}\rightarrow\pi^{0}(K_{\text{S}})\nu\bar{\nu} and B+π+(K+)νν¯B^{+}\rightarrow\pi^{+}(K^{+})\nu\bar{\nu}. qq is a dd (ss) SM quark. The same diagrams hold for Kπνν¯K\rightarrow\pi\nu\bar{\nu} if we replace the bb quark by an ss quark, and qdq\equiv d.

We notice that there is only one weak phase of decay in each of the modes (Bdπ0(KS)νν¯)(B_{d}\rightarrow\pi^{0}(K_{\text{S}})\nu\bar{\nu}), that is, ϕD=Arg(VtbVtd(s))Arg(Vtd(s))=β(s)\phi_{D}=\text{Arg}(V_{tb}V_{td(s)}^{\ast})\simeq\text{Arg}(V_{td(s)}^{\ast})=\beta_{(s)}, and the weak phase of mixing is ϕM=β\phi_{M}=-\beta. In addition, the decay product is a CPCP-even (odd) eigenstate, so the conditions to get the simple form of equation (51) apply.171717There is a factor of 3 in the decay width from the sum over the neutrino flavors that cancels in the asymmetry.

𝒜CP(Bdπ0νν¯)SM\displaystyle\mathcal{A}_{CP}(B_{d}\rightarrow\pi^{0}\nu\bar{\nu})_{\text{SM}} =+sin(4β)sin(ΔMdt),\displaystyle=+\sin\left(4\beta\right)\sin(\Delta M_{d}t)\ , (58)
𝒜CP(BdKSνν¯)SM\displaystyle\mathcal{A}_{CP}(B_{d}\rightarrow K_{\text{S}}\nu\bar{\nu})_{\text{SM}} =sin[2(β+βs)]sin(ΔMdt).\displaystyle=-\sin\left[2(\beta+\beta_{s})\right]\sin(\Delta M_{d}t)\ .

In DQCD, the inclusive modes of (Bdπ0(KS)πD()B_{d}\rightarrow\pi^{0}(K_{\text{S}})\pi_{\text{D}^{(^{\prime})}}) are (bd(s)Q()Q¯())(b\rightarrow d(s)Q^{(^{\prime})}\bar{Q}^{(^{\prime})}), where we again have a unique phase of decay. Thus the asymmetries can take the simple form equation (51), where ϕD=Arg(λqQ()λbQ())δqbQ()(q=dors)\phi_{D}=\text{Arg}(\lambda_{qQ^{(^{\prime})}}\lambda_{bQ^{(^{\prime})}}^{\ast})\equiv\delta_{qbQ^{(^{\prime})}}\ (q=d\ \text{or}\ s). The weak phase of mixing is still ϕM=β\phi_{M}=-\beta for both decays. Thus we have:

𝒜CP(Bdπ0πD)\displaystyle\mathcal{A}_{CP}(B_{d}\rightarrow\pi^{0}\pi_{\text{D}}) =+sin[2(β+δdbQ)]sin(ΔMdt),\displaystyle=+\sin\left[2(\beta+\delta_{dbQ})\right]\sin(\Delta M_{d}t)\ , (59)
𝒜CP(BdKSπD)\displaystyle\mathcal{A}_{CP}(B_{d}\rightarrow K_{\text{S}}\pi_{\text{D}}) =sin[2(β+δsbQ)]sin(ΔMdt).\displaystyle=-\sin\left[2(\beta+\delta_{sbQ^{\prime}})\right]\sin(\Delta M_{d}t)\ .

Measuring such an asymmetry will enable us to measure the NP’s CPV phases δdbQ\delta_{dbQ} and δsbQ\delta_{sbQ^{\prime}}. As in the case of fully invisible decays, time dependant asymmetries in semi-visible decays have not yet been shown to be feasible, but we hope it will be possible with future detectors.

5.3 𝑪𝑷CP-Asymmetry in 𝑩+𝝅+(𝑲+)B^{+}\rightarrow\pi^{+}(K^{+})\not{E}

We consider again the scenario (ΛDQCDMB\Lambda_{\text{DQCD}}\geq M_{B}) and a number of dark flavors nf2n_{f}\geq 2. From isospin symmetry, the rate of the decay (Bdπ0(KS)πDB_{d}\rightarrow\pi^{0}(K_{\text{S}})\pi_{\text{D}}) is half the rate of (B+π+(K+)πDB^{+}\rightarrow\pi^{+}(K^{+})\pi_{\text{D}}). Dividing by the total widths, we find

(B+π+(K+)πD)(2.16)(Bdπ0(KS)πD),\mathcal{B}(B^{+}\rightarrow\pi^{+}(K^{+})\pi_{\text{D}})\simeq(2.16)\mathcal{B}(B_{d}\rightarrow\pi^{0}(K_{\text{S}})\pi_{\text{D}})\ , (60)

so we can quickly deduce the BR of the charged process from equations (55) and (LABEL:BR-BtoSPiD2). The most recent experimental limits are Belle2017 : (B+π+νν¯)exp<1.4×105\mathcal{B}(B^{+}\rightarrow\pi^{+}\nu\bar{\nu})_{\text{exp}}<1.4\times 10^{-5}, and (B+K+νν¯)exp <1.9×105\mathcal{B}(B^{+}\rightarrow K^{+}\nu\bar{\nu})_{\text{exp }}<1.9\times 10^{-5}, both at 90%90\% CL.181818For a more recent but weaker search, see Abudinen:2021emt . The corresponding SM BRs are (B+π+νν¯)SM=(2.39±0.30)×107\mathcal{B}(B^{+}\rightarrow\pi^{+}\nu\bar{\nu})_{\text{SM}}=(2.39\pm 0.30)\times 10^{-7} HambrockEtAL and (B+K+νν¯)SM=(4.0±0.5)×106\mathcal{B}(B^{+}\rightarrow K^{+}\nu\bar{\nu})_{\text{SM}}=(4.0\pm 0.5)\times 10^{-6} BurasEtAl , so they could constitute a background to the NP channels that must be distinguished. We can again estimate the reach at Belle II using naive luminosity scaling and find a sensitivity of 𝒪(107)\mathcal{O}(10^{-7}) for B+π+ννB^{+}\rightarrow\pi^{+}\nu\nu. For B+K+ννB^{+}\rightarrow K^{+}\nu\nu, Belle II should be able to make a roughly 20% measurement of this mode if the rate is equal to its SM value. This means that for a large swath of parameter space, the modes (Bdπ0(KS)πDB_{d}\rightarrow\pi^{0}(K_{\text{S}})\pi_{\text{D}}) are within the reach of Belle II.

For charged mesons, mixing effects are absent and we instead have direct CPCP-violation (DCPV) which has the advantage of being time independent. This type of asymmetry has the disadvantage of being dependent on strong phases and hadronic matrix elements, as we will see below. For the decays (B±f±B^{\pm}\rightarrow f^{\pm}), where f±π± or K±f^{\pm}\equiv\pi^{\pm}\not{E}\text{ or }K^{\pm}\not{E}, the asymmetry for DCPV is defined by

𝒜DCPV=Γ(B+f+)Γ(Bf)Γ(B+f+)+Γ(Bf).\mathcal{A}_{\text{DCPV}}=\frac{\Gamma(B^{+}\rightarrow f^{+})-\Gamma(B^{-}\rightarrow f^{-})}{\Gamma(B^{+}\rightarrow f^{+})+\Gamma(B^{-}\rightarrow f^{-})}\ . (61)

In the case where the amplitude of the decay (B+f+B^{+}\rightarrow f^{+}) is dominated by two diagrams with distinct strong phases (δ1\delta_{1} and δ2\delta_{2}) and distinct weak phases (ϕ1\phi_{1} and ϕ2\phi_{2}) , that is,

A(B±f±)=A1ei(δ1±ϕ1)+A2ei(δ2±ϕ2),A(B^{\pm}\rightarrow f^{\pm})=A_{1}e^{i(\delta_{1}\pm\phi_{1})}+A_{2}e^{i(\delta_{2}\pm\phi_{2})}\ , (62)

where AiA_{i} are real, the asymmetry equation (61) takes the form Buras2005

𝒜DCPV=2A1A2sin(δ1δ2)sin(ϕ1ϕ2)A12+A22+2A1A2cos(δ1δ2)cos(ϕ1ϕ2).\mathcal{A}_{\text{DCPV}}=\frac{-2A_{1}A_{2}\sin{(\delta_{1}-\delta_{2})}\sin{(\phi_{1}-\phi_{2})}}{A_{1}^{2}+A_{2}^{2}+2A_{1}A_{2}\cos{(\delta_{1}-\delta_{2})}\cos{(\phi_{1}-\phi_{2})}}\ . (63)

We now see how this asymmetry depends on the strong phases, in addition to its dependence on hadronic uncertainties included in AiA_{i}. This renders the measurement of the CPV phases ϕi\phi_{i} complicated.

In the SM, the decays (B+π+(K+)νν¯B^{+}\rightarrow\pi^{+}(K^{+})\nu\bar{\nu}) are dominated by the diagrams of Figure 10, where all the weak phases are equal. Hence,

𝒜DCPVSM(B+π+(K+)νν¯)0,\mathcal{A}_{\text{DCPV}}^{\text{SM}}(B^{+}\rightarrow\pi^{+}(K^{+})\nu\bar{\nu})\simeq 0\ , (64)

so that a measurement of an asymmetry 𝒜DCPV(B+π+(K+))\mathcal{A}_{\text{DCPV}}(B^{+}\rightarrow\pi^{+}(K^{+})\not{E}) is a direct manifestation of new physics.

In DQCD, the decays (B+π+(K+)πD)(B^{+}\rightarrow\pi^{+}(K^{+})\pi_{\text{D}}) are dominated by the tree diagrams of Figure 9. As there is a SU(nf)SU(n_{f}) flavour symmetry, the dark pion states will form a multiplet which is a representation of that symmetry. Let us assume that the dominant modes produce a dark pion that is a Cartan generator of the SU(nf)SU(n_{f}) group. For example, the T3T_{3} dark can be written as follows analogous to the π0\pi^{0} in the SM:

|πD=12[|Q1Q¯1|Q2Q¯2].\ket{\pi_{\text{D}}}=\frac{1}{\sqrt{2}}[\ket{Q_{1}\bar{Q}_{1}}-\ket{Q_{2}\bar{Q}_{2}}]\ . (65)

Therefore, two tree diagrams dominate those specific decay modes, one replacing QQ and Q¯\bar{Q^{\prime}} of Figure 9 with Q1Q_{1} and Q¯1\bar{Q}_{1} respectively, and the other replacing them with Q2Q_{2} and Q¯2\bar{Q}_{2}. Thus we can have relevant tree-tree interference, and we can apply equation (63),191919We just need to change the sign of A2A_{2}. where ϕ1\phi_{1} and ϕ2\phi_{2} are the weak phases of the two interfering trees. We have:

{ϕ1ϕ2}π+πD=δdbQ1δdbQ2Arg[λdQ1λbQ1]Arg[λdQ2λbQ2],\displaystyle\{\phi_{1}-\phi_{2}\}_{\pi^{+}\pi_{\text{D}}}=\delta_{dbQ_{1}}-\delta_{dbQ_{2}}\equiv\text{Arg}[\lambda_{dQ_{1}}\lambda_{bQ_{1}}^{\ast}]-\text{Arg}[\lambda_{dQ_{2}}\lambda_{bQ_{2}}^{\ast}]\ , (66)
{ϕ1ϕ2}K+πD=δsbQ1δsbQ2Arg[λsQ1λbQ1]Arg[λsQ2λbQ2].\displaystyle\{\phi_{1}-\phi_{2}\}_{K^{+}\pi_{\text{D}}}=\delta_{sbQ_{1}}-\delta_{sbQ_{2}}\equiv\text{Arg}[\lambda_{sQ_{1}}\lambda_{bQ_{1}}^{\ast}]-\text{Arg}[\lambda_{sQ_{2}}\lambda_{bQ_{2}}^{\ast}]\ .

Note that, while the phases δqbQ\delta_{qbQ} are convention dependent, their differences are not. The measurement of such an asymmetry will not only prove the presence of NP, but also, if the NP is DQCD, it will prove that the dark sector is multi-flavored, contains more than one new CPCP-violating phase, and has at least one dark pion that is a superposition of at least two dark quark-antiquark states.

5.4 𝑪𝑷CP-Asymmetry in 𝑲𝝅K\rightarrow\pi\not{E}

We now turn to rare kaon decays, specifically the mode (KLπ0K_{\text{L}}\rightarrow\pi^{0}\not{E}), and the related mode (K+π+K^{+}\rightarrow\pi^{+}\not{E}). In the SM, these modes are dominated by the diagrams of Figure 10 with a quark ss instead of bb and qdq\equiv d. These diagrams have the same CPV phase of decay, that is Arg(VtdVts)=βsβ(V_{td}V_{ts}^{\ast})=\beta_{s}-\beta. The branching ratios have been calculated to be: (KLπ0νν¯)SM=(3.00±0.31)×1011\mathcal{B}(K_{\text{L}}\rightarrow\pi^{0}\nu\bar{\nu})_{\text{SM}}=(3.00\pm 0.31)\times 10^{-11}, and (K+π+νν¯)SM =(9.11±0.72)×1011\mathcal{B}(K^{+}\rightarrow\pi^{+}\nu\bar{\nu})_{\text{SM }}=(9.11\pm 0.72)\times 10^{-11} BurasEtAlKtoPi . These flavor changing neutral currents (FCNCs) are very suppressed in the standard model because of the GIM mechanism, the smallness of the CKM matrix elements, and the loop suppression. At the experimental level, the KOTO and NA62 collaborations place limits on these processes. The latest upper bound from KOTO on the neutral Kaon process is, at 90%90\% CL Ahn:2020opg ,

(KLπ0νν¯)KOTO<4.9×109.\mathcal{B}(K_{\text{L}}\rightarrow\pi^{0}\nu\bar{\nu})_{\text{KOTO}}<4.9\times 10^{-9}\ . (67)

The NA62 upper limit for the charged mode is, at 90%90\% CL CortinaGil:2020vlo ,

(K+π+νν¯)NA62<1.78×1010.\mathcal{B}(K^{+}\rightarrow\pi^{+}\nu\bar{\nu})_{\text{NA62}}<1.78\times 10^{-10}\ . (68)

We consider the equivalent modes (KL(K+)π0(+)πDK_{\text{L}}(K^{+})\rightarrow\pi^{0(+)}\pi_{\text{D}}) in DQCD with 150 MeV MD350\lesssim M_{D}\lesssim 350 MeV. This is below the GeV scale where we have taken our DQCD confinement scale, but this can happen if nf2n_{f}\geq 2 and if the dark quark masses are small.

The (dark) quark level of these decays is dominated by the tree diagrams of Figure 9 with a quark ss instead of bb and qdq\equiv d. The neutral Kaon decay of this type is CPCP-violating because the KLK_{L} is CPCP-odd while the final state is CPCP-even. This is not the case for the charged Kaon decay which can proceed in the absence of CPCP-violation. We have calculated the branching ratio of the semi-invisible neutral kaon decay by using the factorization approximation. Summing over all dark flavors, we find:

Q,Q(KLπ0πD)\displaystyle\sum\limits_{Q,Q^{\prime}}\mathcal{B}(K_{\text{L}}\rightarrow\pi^{0}\pi_{\text{D}})\approx NcQ,Q|Im(λdQλsQ)|21024πMX4FD2[F0Kπ+(MD2)]2ΓKL(MK2Mπ2)2MK3×\displaystyle\frac{N_{c}\sum\limits_{Q,Q^{\prime}}|\text{Im}(\lambda_{dQ}\lambda_{sQ^{\prime}}^{\ast})|^{2}}{1024\pi M_{X}^{4}}\frac{F_{D}^{2}[F_{0}^{K\pi^{+}}(M_{D}^{2})]^{2}}{\Gamma_{K_{\text{L}}}}\frac{(M_{K}^{2}-M_{\pi}^{2})^{2}}{M_{K}^{3}}\times (69)
×[(MK+Mπ)2MD2][(MKMπ)2MD2],\displaystyle\hskip 42.67912pt\times\sqrt{\left[(M_{K}+M_{\pi})^{2}-M_{D}^{2}\right]\left[(M_{K}-M_{\pi})^{2}-M_{D}^{2}\right]}\ ,

where ΓKL\Gamma_{K_{\text{L}}} is the decay rate of KLK_{\text{L}}, which value is listed in Table 4 and F0Kπ+(q2)F_{0}^{K\pi^{+}}(q^{2}) (qq being the momentum exchange between KLK_{\text{L}} and π0\pi^{0}) is a form factor of the hadronic matrix element π+|s¯γμd|K0\bra{\pi^{+}}\bar{s}\gamma^{\mu}d\ket{K^{0}}. We can find from CarrascoEtal that F0Kπ+(q2)1F_{0}^{K\pi^{+}}(q^{2})\approx 1. The CPCP-violation is seen in the fact that if the effective coupling λdQλsQ\lambda_{dQ}\lambda_{sQ^{\prime}}^{\ast} were real, then this decay would not occur.

The constraint on λ\lambda from the CPCP-violating ΔF=2\Delta F=2 observable |ϵK||\epsilon_{K}| (see Table 1), is:

Nc|Im([Q(λdQλsQ)]2)|(1TeVMX)21.64×106.N_{c}\ |\ \text{Im}\Big{(}\big{[}\sum\limits_{Q}(\lambda_{dQ}^{\ast}\lambda_{sQ})\big{]}^{2}\Big{)}\ |\left(\frac{1\text{TeV}}{M_{X}}\right)^{2}\leq 1.64\times 10^{-6}\ . (70)

We notice that the bound is on the modulus of the imaginary part of the square of the sum over the same DF index, whereas equation (69) contains the sum over 2 DF indices of the squared moduli of the imaginary parts. Thus, the two types of constraints (i.e. from ΔF=2\Delta F=2 and ΔF=1\Delta F=1 processes) cannot be compared in a model independent way. Assuming that an upper bound of the same order of magnitude as equation (70) applies to the factor of equation (69), we get for MDFD0.2M_{D}\approx F_{D}\approx 0.2 GeV,

Q,Q(KLπ0πD)𝒪(107)(FD0.2 GeV)2(1 TeVMX)2,\sum\limits_{Q,Q^{\prime}}\mathcal{B}(K_{\text{L}}\rightarrow\pi^{0}\pi_{\text{D}})\lesssim\mathcal{O}(10^{-7})\left(\frac{F_{D}}{0.2\text{ GeV}}\right)^{2}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2}\ , (71)

implying that the ΔF=1\Delta F=1 bound from KOTO is significantly stronger than the one from |ϵK||\epsilon_{K}|.

The branching ratio of the semi-invisible charged kaon decay, after summing over all dark flavors is:

Q,Q(K+π+πD)χdsNc1024πMX4FD2[F0Kπ+(MD2)]2ΓK+(MK+2Mπ+2)2MK+3×\displaystyle\sum\limits_{Q,Q^{\prime}}\mathcal{B}(K^{+}\rightarrow\pi^{+}\pi_{\text{D}})\approx\chi_{ds}\ \frac{N_{c}}{1024\pi M_{X}^{4}}\frac{F_{D}^{2}[F_{0}^{K\pi^{+}}(M_{D}^{2})]^{2}}{\Gamma_{K^{+}}}\frac{(M_{K^{+}}^{2}-M_{\pi^{+}}^{2})^{2}}{M_{K^{+}}^{3}}\times (72)
×[(MK++Mπ+)2MD2][(MK+Mπ+)2MD2],\displaystyle\hskip 113.81102pt\times\sqrt{\left[(M_{K^{+}}+M_{\pi^{+}})^{2}-M_{D}^{2}\right]\left[(M_{K^{+}}-M_{\pi^{+}})^{2}-M_{D}^{2}\right]}\ ,

where χds=Q,Q|λdQλsQ|2\chi_{ds}=\sum\limits_{Q,Q^{\prime}}|\lambda_{dQ}\lambda_{sQ^{\prime}}^{\ast}|^{2}, and ΓK+\Gamma_{K^{+}}, given in Table 4, is the decay rate of K+K^{+}.

It has been shown in GNpaper , that in any lepton flavor conserving model, the following relation (from which the Grossman-Nir (GN) bound resulted) applies:

𝒜CPGN=(KLπ0νν¯)(K+π+νν¯)(4.3)sin2θ,\mathcal{A}_{CP}^{\text{GN}}=\frac{\mathcal{B}(K_{\text{L}}\rightarrow\pi^{0}\nu\bar{\nu})}{\mathcal{B}(K^{+}\rightarrow\pi^{+}\nu\bar{\nu})}\simeq(4.3)\sin^{2}{\theta}\ , (73)

where θ\theta is the CPV phase of decay. As mentioned at the beginning of this section, the phase of decay in the SM is θSM=βsβ\theta_{\text{SM}}=\beta_{s}-\beta.

We have verified that a similar relation holds in DQCD. The charged and neutral Kaon semi-invisible decays can be related to one another with a GN-like relation. Both processes have the same inclusive decay (sdQQ¯)(s\to dQ\bar{Q}^{\prime}) whose CPV phase is Arg(λdQλsQ)δdsQQ\text{Arg}(\lambda_{dQ}\lambda^{\ast}_{sQ^{\prime}})\equiv\delta_{dsQQ^{\prime}}. Thus we can define an asymmetry as follows:

𝒜CPNP=(KLπ0πD)(K+π+πD)(4.3)sin2(δdsQQ).\mathcal{A}_{CP}^{\text{NP}}=\frac{\mathcal{B}(K_{\text{L}}\rightarrow\pi^{0}\pi_{\text{D}})}{\mathcal{B}(K^{+}\rightarrow\pi^{+}\pi_{\text{D}})}\simeq(4.3)\sin^{2}{(\delta_{dsQQ^{\prime}})}\ . (74)

We can define the total CPV asymmetry as the sum of GN asymmetries of all contributing decays:

𝒜TotalNPQ,Q𝒜CPNP=Q,Q(KLπ0πD)(K+π+πD)(4.3)Q,Qsin2(δdsQQ).\mathcal{A}^{\text{NP}}_{\text{Total}}\equiv\sum\limits_{Q,Q^{\prime}}\mathcal{A}_{CP}^{\text{NP}}=\sum\limits_{Q,Q^{\prime}}\frac{\mathcal{B}(K_{\text{L}}\rightarrow\pi^{0}\pi_{\text{D}})}{\mathcal{B}(K^{+}\rightarrow\pi^{+}\pi_{\text{D}})}\simeq(4.3)\sum\limits_{Q,Q^{\prime}}\sin^{2}{(\delta_{dsQQ^{\prime}})}\ . (75)

On the experimental side, what can be measured is the quotient of the sums of BRs (whereas the theoretical asymmetry is the sum of the quotients). From equations (69) and (LABEL:BRK+toPi+PiD) we get:

𝒜Exp=Q,Q(KLπ0πD)Q,Q(K+π+πD)(4.3)Q,Q|Im(λdQλsQ)|2Q,Q|λdQλsQ|2.\mathcal{A}_{\text{Exp}}=\frac{\sum\limits_{Q,Q^{\prime}}\mathcal{B}(K_{\text{L}}\rightarrow\pi^{0}\pi_{\text{D}})}{\sum\limits_{Q,Q^{\prime}}\mathcal{B}(K^{+}\rightarrow\pi^{+}\pi_{\text{D}})}\simeq(4.3)\frac{\sum\limits_{Q,Q^{\prime}}|\text{Im}(\lambda_{dQ}\lambda_{sQ^{\prime}}^{\ast})|^{2}}{\sum\limits_{Q,Q^{\prime}}|\lambda_{dQ}\lambda_{sQ^{\prime}}^{\ast}|^{2}}\ . (76)

Let us now assume that only one inclusive decay mode, (sdQQ¯)(s\to dQ\bar{Q}^{\prime}) is dominant over all the others. This means that the kaon decays dominantly to a pion and a dark pion composed of the specific flavors QQ and Q¯\bar{Q}^{\prime}. In this case, both the theoretical and experimental asymmetries are given by equation (74). Therefore, a measurement of the GN asymmetry for (KππD)(K\rightarrow\pi\pi_{\text{D}}) would allow for the measurement of the new CPV phase δdsQQ\delta_{dsQQ^{\prime}}. As mentioned in Section 5.2, SM decays to neutrinos can potentially be distinguished from those NP decays to dark pions via the energy distribution of the visible SM pion using equation (56). The KOTO experiment is expected to be upgraded to gain significant sensitivity to (KLπ0K_{L}\rightarrow\pi^{0} invisible) decay KOTOfuture , potentially being able to make a 20% measurement of the SM rate. This could allow for significantly better sensitivity to this type of GN asymmetry.

Tables 2 and 3 summarize all the results of this phenomenology section. In these Tables, "BR", "Exp", "Asym", and "DF" stand respectively for, Branching Ratio, Experiment, Asymmetry, and Dark Flavor.

SM mode BR(SM) BR(Exp) BR(Projected Exp) NP modes
Bdνν¯B_{d}\rightarrow\nu\bar{\nu} 1.24×10251.24\times 10^{-25} BadinPetrov <2.4×105<2.4\times 10^{-5} <1.5×106<1.5\times 10^{-6} BdQQ¯B_{d}\rightarrow Q\bar{Q}
Bdνν¯νν¯B_{d}\rightarrow\nu\bar{\nu}\nu\bar{\nu} (1.51±0.28)×1016(1.51\pm 0.28)\times 10^{-16} PetrovEtAl BaBar BaBar Belle II Belle2 BdπDπDB_{d}\rightarrow\pi_{D}\pi_{D}
Bsνν¯B_{s}\rightarrow\nu\bar{\nu} 3.07×10243.07\times 10^{-24} BadinPetrov < 1.1×1051.1\times 10^{-5} BsQQ¯B_{s}\rightarrow Q\bar{Q}
Bsνν¯νν¯B_{s}\rightarrow\nu\bar{\nu}\nu\bar{\nu} (5.48±0.89)×1015(5.48\pm 0.89)\times 10^{-15} PetrovEtAl Belle II Belle2 BsπDπDB_{s}\rightarrow\pi_{D}\pi_{D}
Bdπ0νν¯B_{d}\rightarrow\pi^{0}\nu\bar{\nu} (1.2±0.15)×107(1.2\pm 0.15)\times 10^{-7} HambrockEtAL <0.9×105<0.9\times 10^{-5} 𝒪(107)\mathcal{O}(10^{-7}) Bdπ0QQ¯B_{d}\rightarrow\pi^{0}Q\bar{Q}
Belle Belle2017 Belle II Bdπ0πDB_{d}\rightarrow\pi^{0}\pi_{\text{D}}
BdKSνν¯B_{d}\rightarrow K_{\text{S}}\nu\bar{\nu} (2.00±0.25)×106(2.00\pm 0.25)\times 10^{-6} BurasEtAl <1.3×105<1.3\times 10^{-5} 𝒪(30%)\mathcal{O}(30\%) BdKSQQ¯B_{d}\rightarrow K_{\text{S}}Q\bar{Q}
Belle Belle2017 Belle II BdKSπDB_{d}\rightarrow K_{\text{S}}\pi_{\text{D}}
B+π+νν¯B^{+}\rightarrow\pi^{+}\nu\bar{\nu} (2.39±0.30)×107(2.39\pm 0.30)\times 10^{-7} HambrockEtAL <1.4×105<1.4\times 10^{-5} 𝒪(107)\mathcal{O}(10^{-7}) B+π+QQ¯B^{+}\rightarrow\pi^{+}Q\bar{Q}
Belle Belle2017 Belle II B+π+πDB^{+}\rightarrow\pi^{+}\pi_{\text{D}}
B+K+νν¯B^{+}\rightarrow K^{+}\nu\bar{\nu} (4.00±0.50)×106(4.00\pm 0.50)\times 10^{-6} BurasEtAl <1.9×105<1.9\times 10^{-5} 𝒪(20%)\mathcal{O}(20\%) B+K+QQ¯B^{+}\rightarrow K^{+}Q\bar{Q}
Belle Belle2017 Belle II B+K+πDB^{+}\rightarrow K^{+}\pi_{\text{D}}
KLπ0νν¯K_{\text{L}}\rightarrow\pi^{0}\nu\bar{\nu} (3.00±0.31)×1011(3.00\pm 0.31)\times 10^{-11} BurasEtAlKtoPi <4.9×109<4.9\times 10^{-9} 𝒪(20%)\mathcal{O}(20\%) KLπ0πDK_{\text{L}}\rightarrow\pi^{0}\pi_{\text{D}}
KOTO Ahn:2020opg KOTO Step2 KOTOfuture
K+π+νν¯K^{+}\rightarrow\pi^{+}\nu\bar{\nu} (9.11±0.72)×1011(9.11\pm 0.72)\times 10^{-11} BurasEtAlKtoPi <1.78×1010<1.78\times 10^{-10} K+π+πDK^{+}\rightarrow\pi^{+}\pi_{\text{D}}
NA62 CortinaGil:2020vlo
Table 2: Summary of the invisible and semi-invisible decays we studied. See text for more details, and for BRs of specific scenarios. All current limits are at 90%90\% CL. The projected branching ratios for semi-invisible BB decays (rows 3-6) are extrapolated from the Belle result. Those above the SM value (rows 3,5) use linear luminosity scaling, while those with a percentage (rows 4, 6, and 7) denote the expected precision on the measurement assuming an SM-like central value using 1/N1/\sqrt{N} estimate for the uncertainty.
NP mode Asym Type SM # DF Asym(NP)
BdQQ¯B_{d}\rightarrow Q\bar{Q} Mixing 0\simeq 0 11 sin[2(β+δdbQ)]sin(ΔMdt)-\sin\left[2(\beta+\delta_{dbQ})\right]\sin(\Delta M_{d}t)
BsQQ¯B_{s}\rightarrow Q\bar{Q} Mixing 0\simeq 0 11 sin[2(βs+δsbQ)]sin(ΔMst)-\sin\left[2(\beta_{s}+\delta_{sbQ})\right]\sin(\Delta M_{s}t)
Bdπ0πDB_{d}\rightarrow\pi^{0}\pi_{\text{D}} Mixing +sin(4β)sin(ΔMdt)+\sin\left(4\beta\right)\sin(\Delta M_{d}t) 2\geq 2 +sin[2(β+δdbQ)]sin(ΔMdt)+\sin\left[2(\beta+\delta_{dbQ})\right]\sin(\Delta M_{d}t)
BdKSπDB_{d}\rightarrow K_{\text{S}}\pi_{\text{D}} Mixing sin[2(β+βs)]sin(ΔMdt)-\sin\left[2(\beta+\beta_{s})\right]\sin(\Delta M_{d}t) 2\geq 2 sin[2(β+δsbQ)]sin(ΔMdt)-\sin\left[2(\beta+\delta_{sbQ^{\prime}})\right]\sin(\Delta M_{d}t)
B+π+πDB^{+}\rightarrow\pi^{+}\pi_{\text{D}} Direct 0\simeq 0 2\geq 2 sin(δdbQ1δdbQ2)\propto\sin(\delta_{dbQ_{1}}-\delta_{dbQ_{2}})
B+K+πDB^{+}\rightarrow K^{+}\pi_{\text{D}} Direct 0\simeq 0 2\geq 2 sin(δsbQ1δsbQ2)\propto\sin(\delta_{sbQ_{1}}-\delta_{sbQ_{2}})
KLπ0πDK_{\text{L}}\rightarrow\pi^{0}\pi_{\text{D}} Grossman-Nir (4.3)sin2(βsβ)(4.3)\sin^{2}{(\beta_{s}-\beta)} 2\geq 2 (4.3)sin2(δdsQQ)(4.3)\sin^{2}{(\delta_{dsQQ^{\prime}})}
Table 3: Summary of the CPCP-asymmetries studied (see text for details). We recall that δqqQArg(λqQλqQ)\delta_{qq^{\prime}Q}\equiv\text{Arg}(\lambda_{qQ}\lambda_{q^{\prime}Q}^{\ast}) and δdsQQArg(λdQλsQ)\delta_{dsQQ^{\prime}}\equiv\text{Arg}(\lambda_{dQ}\lambda_{sQ^{\prime}}^{\ast}). The fourth column shows the number of dark flavours for which the expressions in the last column apply.

6 Combination of 𝚫𝑭=𝟏\Delta F=1 and 𝚫𝑭=𝟐\Delta F=2 Constraints

We will study in this section the constraints on the DQCD model from the experimental measurements of the BRs of the (semi-)invisible decays considered in the previous section and listed in Table 2. The ΔF=1\Delta F=1 constraints apply to the χqq\chi_{qq^{\prime}} terms - defined in equation (43) - while the ΔF=2\Delta F=2 constraints studied in Section 4 apply to the ξM\xi_{M} terms - defined in equation (7). These last, summarised in Table 1, are valid for any dark quark/pion mass, and any value of the decay constants of the dark pions. The ΔF=1\Delta F=1 constraints have on-shell dark pions in the final state, so they will only be kinematically allowed for certain values of MDM_{D}. The matrix element also depends on FDF_{D} which can have a significant effect on the constraint. For simplicity we will take MD=FDM_{D}=F_{D} in our calculations of the ΔF=1\Delta F=1 constraints.

In this study, we will consider two dark pion mass regimes: first, we will take MDM_{D} and FDF_{D} at the GeV order, where only (semi-)invisible BB meson decays contribute (KK decays to dark pions being kinematically forbidden); and second, we will take MDM_{D} and FDF_{D} at the 0.1 GeV order, where KK decays contribute. We will evaluate the ΔF=1\Delta F=1 constraints in the three scenarios of one, two, and three DFs, then combine them to the ΔF=2\Delta F=2 constraints and plot the results. We will consider the real Yukawa matrix case as well as scenarios of maximum CPV. We recall that in the case of 1 DF, χds,χdb\chi_{ds},\chi_{db} and χsb\chi_{sb} coincide respectively with |ξK|2,|ξBd|2|\xi_{K}|^{2},|\xi_{B_{d}}|^{2} and |ξBs|2|\xi_{B_{s}}|^{2}. In order to obtain our allowed parameter space in the cases of 2 and 3 DFs, we randomly generated all the parameters and subjected each point of the parameter space to the ΔF=1\Delta F=1 and ΔF=2\Delta F=2 flavor constraints.

6.1 0.5 GeV𝑴𝑫𝑭𝑫𝟒\lesssim M_{D}\approx F_{D}\lesssim 4 GeV

In this regime the KK decays of the last column of Table 2 do not apply, therefore there are no bounds on χds\chi_{ds}. The strongest bound on χdb\chi_{db} (χsb\chi_{sb}) is from (B+π+(K+)πDB^{+}\rightarrow\pi^{+}(K^{+})\pi_{\text{D}}). For FDMD1F_{D}\approx M_{D}\approx 1 GeV, we have

[Nc(FD1 GeV)2(1 TeVMX)4χdb][MD1 GeV]3.19×103,\displaystyle\left[N_{c}\left(\frac{F_{D}}{1\text{ GeV}}\right)^{2}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{4}\chi_{db}\right]_{{}_{{}_{[M_{D}\approx 1\text{ GeV}]}}}\ \leq 3.19\times 10^{-3}\ , (77)
[Nc(FD1 GeV)2(1 TeVMX)4χsb][MD1 GeV]1.97×103.\displaystyle\left[N_{c}\left(\frac{F_{D}}{1\text{ GeV}}\right)^{2}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{4}\chi_{sb}\right]_{{}_{{}_{[M_{D}\approx 1\text{ GeV}]}}}\ \leq 1.97\times 10^{-3}\ .

Combining these constraints to those of Table 1, we plot Figures 11 and 12 for 2 DFs and 3 DFs respectively. In the 1 DF scenario, the ΔF=1\Delta F=1 constraints do not affect χds\chi_{ds}. They are stronger (weaker) than the ΔF=2\Delta F=2 constraints for χsb\chi_{sb} (χdb\chi_{db})|ξBs|2\equiv|\xi_{B_{s}}|^{2} (|ξBd|2)|\xi_{B_{d}}|^{2}). We have considered the same scenarios as those of Figure 5, that is, the case where the Yukawa matrix λ\lambda is real, and the case where it is complex, with maximum CPV. The red and blue regions of Figure 5 remain the same, but the green regions shrink more than those of all the panels of this Figure.

In the 2 DF scenario, s12s_{12} remains generic in the real Yukawa case. In the complex case, the orange regions of all the panels of Figure 7 remain the same. This is why we only show s13s_{13} and s23s_{23} in Figure 11, where the plots for d~2=1\tilde{d}_{2}=1 are about the same as those for d~1=1\tilde{d}_{1}=1 in the real Yukawa case (the 2 upper panels). For the complex Yukawa case (the 2 lower panels), we have considered scenarios of maximum CPV, where the Wilson coefficients are imaginary (like in Section 4.2). We observe that the parameter spaces are strongly reduced when we add the ΔF=1\Delta F=1 constraints, for example, when d~1=d~2\tilde{d}_{1}=\tilde{d}_{2}, s23s_{23} (s13s_{13}) does not exceed 0.09 (0.015).

The 3 DF scenario with a real Yukawa matrix is presented in Figure 12. s12s_{12} is not shown because the yellow allowed region of the upper panel of Figure 8 is unchanged. We observe that s13s_{13} and s23s_{23} do not exceed 0.02 and 0.03 respectively. In the case of a complex Yukawa coupling, we considered the same maximum CPV scenarios as those of the lower right panel of Figure 8, and zero points were generated out of 1 billion scans! This result suggests that these scenarios may be excluded when the dark pions’ mass and decay constant are \sim 1 GeV.

Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 11: Combined ΔF=2\Delta F=2 and ΔF=1\Delta F=1 Constraints, for FDMD1F_{D}\approx M_{D}\approx 1 GeV and MX=1M_{X}=1 TeV, in the case of 2 DFs. The upper panels represent the case of a real Yukawa matrix, and the lower ones represent the complex case in a scenario of maximum CPV. The very small allowed region in the lower left panel is zoomed in.
Refer to caption
Refer to caption
Figure 12: Combined ΔF=2\Delta F=2 and ΔF=1\Delta F=1 Constraints, for FDMD1F_{D}\approx M_{D}\approx 1 GeV and MX=1M_{X}=1 TeV, in the case of 3 DFs and a real Yukawa matrix. In these plots the very small allowed regions are zoomed in.

6.2 0.15 GeV𝑴𝑫𝑭𝑫0.3\lesssim M_{D}\approx F_{D}\lesssim 0.3 GeV

Here we do the same analysis we did in Section 6.1 in a lighter DM regime where all the decays of the last column of Table 2 apply. The strongest constraint on χds\chi_{ds} is from (K+π+πDK^{+}\rightarrow\pi^{+}\pi_{\text{D}}), and again, the strongest bound on χdb\chi_{db} (χsb\chi_{sb}) is from (B+π+(K+)πDB^{+}\rightarrow\pi^{+}(K^{+})\pi_{\text{D}}). For FDMD0.2F_{D}\approx M_{D}\approx 0.2 GeV:

[Nc(FD0.2 GeV)2(1 TeVMX)4χdb][MD0.2 GeV]0.077,\displaystyle\left[N_{c}\left(\frac{F_{D}}{0.2\text{ GeV}}\right)^{2}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{4}\chi_{db}\right]_{{}_{{}_{[M_{D}\approx 0.2\text{ GeV}]}}}\ \leq 0.077\ , (78)
[Nc(FD0.2 GeV)2(1 TeVMX)4χsb][MD0.2 GeV]0.048,\displaystyle\left[N_{c}\left(\frac{F_{D}}{0.2\text{ GeV}}\right)^{2}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{4}\chi_{sb}\right]_{{}_{{}_{[M_{D}\approx 0.2\text{ GeV}]}}}\ \leq 0.048\ ,
[Nc(FD0.2 GeV)2(1 TeVMX)4χds][MD0.2 GeV]1.035×108.\displaystyle\left[N_{c}\left(\frac{F_{D}}{0.2\text{ GeV}}\right)^{2}\left(\frac{1\text{ TeV}}{M_{X}}\right)^{4}\chi_{ds}\right]_{{}_{{}_{[M_{D}\approx 0.2\text{ GeV}]}}}\ \leq 1.035\times 10^{-8}\ .

Figure 13 shows the combined flavor constraints in the 2 DFs case. In the 1 DF scenario, the ΔF=1\Delta F=1 constraints are weaker than the ΔF=2\Delta F=2 ones for χdb\chi_{db} and χsb\chi_{sb}. Therefore, the blue and green regions of Figure 5 remain the same. On the other hand, the constraint from NA62 is the strongest on χds\chi_{ds}, this restricts the parameter space, in the (λ~d,λ~s)(\tilde{\lambda}_{d},\tilde{\lambda}_{s}) plane to almost a red cross in the real Yukawa case as well as in the same cases of maximum CPV as those of Figure 5.

In the 2 DF scenario and a real Yukawa matrix, when d~1=1\tilde{d}_{1}=1, only a few points were generated out of a billion scans. These points have d~20.2\tilde{d}_{2}\lesssim 0.2, s120.9s_{12}\gtrsim 0.9, s130.9s_{13}\gtrsim 0.9, and s230.2s_{23}\lesssim 0.2. In the case where d~1=d~2\tilde{d}_{1}=\tilde{d}_{2} or d~2=1\tilde{d}_{2}=1, we have d~10.4\tilde{d}_{1}\lesssim 0.4, as we observe in the left and middle panels of Figure 13. If the Yukawa matrix is complex and d~2=1\tilde{d}_{2}=1, zero points were generated in the planes (d~1,sij)(\tilde{d}_{1},s_{ij}), out of a billion scans, in the same maximum CPV scenarios as those considered in the previous subsection. The case where d~1=d~2\tilde{d}_{1}=\tilde{d}_{2} is represented in the right panel of Figure 13 where only a few points were allowed out of one billion scans and all have d~10.07\tilde{d}_{1}\lesssim 0.07 .

In the 3 DF scenario, zero points were allowed in the planes (Δ~ij,sij)(\tilde{\Delta}_{ij},s_{ij}) out of 1 to 3 billion scans, either in the real Yukawa matrix case or in the maximum CPV cases considered in the previous subsection. Its likely that the constraint from NA62 excludes DQCD with 3 flavors, MX=1M_{X}=1 TeV and MD=FD=200M_{D}=F_{D}=200 MeV.

Refer to caption
Refer to caption
Refer to caption
Figure 13: Combined ΔF=2\Delta F=2 and ΔF=1\Delta F=1 Constraints, for FDMD0.2F_{D}\approx M_{D}\approx 0.2 GeV and MX=1M_{X}=1 TeV, in the case of 2 DFs. The left and middle panels represent the case of a real Yukawa matrix, and the right one, in which we zoomed in the very small allowed region, represents the complex case in a scenario of maximum CPV.

7 Summary and Conclusion

Dark QCD models that confine at the GeV scale with a TeV scale mediator charged under both QCD and dark QCD are a well motivated paradigm for asymmetric dark matter BaiSchwaller014 . This setup, however, requires a flavourful coupling between the mediator and the SM quarks of the form given in equation (1). This coupling generically mediates flavour and CPCP-violating processes at one-loop, and in this work we have quantitatively studied a broad range of such processes. We extend the analysis of RennerSchwaller018 and consider CPCP-violation for the first time. We also consider all possible number of dark flavours and enumerate the number of CPCP-conserving and violating parameters for all cases. The parameter counting for nf>3n_{f}>3 turns out to be equivalent to that of nf=3n_{f}=3 as long as the dark quarks are mass degenerate.

In most BSM theories with TeV scale new physics and 𝒪(1)\mathcal{O}(1) CPCP-violating phases, the strongest bounds come from null searches for electric dipole moments. We have shown, however, that even though this model can have 𝒪(1)\mathcal{O}(1) CPCP-violating phases, the contributions to EDMs cancel at one and two loops, and the constraints turn out to be quite weak. If there are multiple flavours of scalars, then there may be stronger constraints, and future more sensitive EDM experiments may have sensitivity to the vanilla model.

We have studied constraints from ΔF=2\Delta F=2 processes including meson mixing and CPCP-violation. We have found that generic 𝒪(1)\mathcal{O}(1) couplings are excluded and we performed a detailed numerical exploration of the allowed parameter space. We have found some slices of parameters where the constraints can be weak.

We have also explored ΔF=1\Delta F=1 processes from rare meson decays to dark sector states. For the parameter space we consider, the lightest dark sector states have long lifetimes and can be treated as missing energy. Therefore rare decays of mesons to missing energy can be used to place bounds that are complementary to those from ΔF=2\Delta F=2 processes with different scaling with the dark sector parameters. Some of these processes such as BB\rightarrow invisible have essentially no SM background and would be a smoking gun for new physics. Many measurements will be performed in the near future at Belle II and KOTO that could have sensitivity to decays to invisible dark sector states, and we have shown how these can be distinguished from SM backgrounds when they exist.

Finally, we explore novel CPCP-violating observables that can be used to probe the CPCP-violation in the dark sector. While some of these measurements are quite speculative, they could shed light on new sources of CPCP-violation in the universe.

Acknowledgements.
We thank Prateek Agrawal, Monika Blanke, Kevin Graham, Yuval Grossman, Maxim Pospelov, Alberto Tonero, and Yongcheng Wu for useful discussions. This work is supported in part by the Natural Sciences and Engineering Research Council (NSERC) of Canada, and the work of WB is supported in part by the M. Hildred Blewett Fellowship of the American Physical Society, and the Arthur B. McDonald Canadian Astroparticle Physics Research Institute.

Appendix A A Brief Review of Meson Mixing and 𝑪𝑷CP Violation

A.1 The 𝑲K-System

Let us first start with the neutral kaon system Buras2005 ; Chau1983 ; BurasGuadagnoliIsidori2010 ; NirCPV . The flavour eignestates are given by |K0\ket{K^{0}} and |K¯0\ket{\bar{K}^{0}}, but these differ from the mass eigenstates KK-long and KK-short, |KS0\ket{K_{\text{S}}^{0}} and |KL0\ket{K_{\text{L}}^{0}}. The time evolution of the kaon states in the flavour basis is given by the Schrödinger equation:

iddt|ψ=H^|ψ.i\frac{d}{dt}\ket{\psi}=\hat{H}\ket{\psi}\ . (79)

The Hamiltonian of weak interactions, H^\hat{H}, is given by

H^=(MiΓ/2M12iΓ12/2M12iΓ12/2MiΓ/2),\hat{H}=\begin{pmatrix}M-i\Gamma/2&M_{12}-i\Gamma_{12}/2\\ M_{12}^{\ast}-i\Gamma_{12}^{\ast}/2&M-i\Gamma/2\end{pmatrix}\ , (80)

where MM and Γ\Gamma are respectively the mass and the width of K0K^{0}. M12M_{12} is the transition matrix element between K0K^{0} and K¯0\bar{K}^{0} of the Hamiltonian of mixing, when the intermediate states are off-shell (virtual), and Γ12\Gamma_{12} is the matrix element when the intermediate states go on-shell (physical). Both M12M_{12} and Γ12\Gamma_{12} are complex because their coefficients are complex. The calculation of the eigenstates of H^\hat{H} gives

|KS,L0=p|K0±q|K¯0,\ket{K_{S,L}^{0}}=p\ket{K^{0}}\pm q\ket{\bar{K}^{0}}\ , (81)

with

M12iΓ12/2M12iΓ12/2=\displaystyle\sqrt{\frac{M_{12}^{\ast}-i\Gamma_{12}^{\ast}/2}{M_{12}-i\Gamma_{12}/2}}= qp,\displaystyle-\frac{q}{p}\ , (82)
|p|2+|q|2=\displaystyle|p|^{2}+|q|^{2}= 1.\displaystyle 1\ .

The physical states of weak interaction, |KS0\ket{K_{\text{S}}^{0}} and |KL0\ket{K_{\text{L}}^{0}}, oscillate in time between the flavor eigenstates K0K^{0} and K0¯\bar{K^{0}}.

We can also use H^\hat{H} to compute the masses and widths of the physical states:

ML,S=\displaystyle M_{L,S}= M±Re[Q],ΓL,S=Γ2Im[Q],\displaystyle M\pm\text{Re}[Q]\ ,\ \ \ \ \ \Gamma_{L,S}=\Gamma\mp 2\text{Im}[Q]\ , (83)
Q=\displaystyle Q= (M12iΓ12/2)(M12iΓ12/2),\displaystyle\sqrt{(M_{12}-i\Gamma_{12}/2)(M_{12}^{\ast}-i\Gamma_{12}^{\ast}/2)}\ ,

and from here, we can get the mass and width differences:

ΔMK=MLMS=2Re[Q],ΔΓK=ΓLΓS=4Im[Q].\Delta M_{K}=M_{L}-M_{S}=2\text{Re}[Q]\ ,\ \ \ \ \ \ \ \Delta\Gamma_{K}=\Gamma_{L}-\Gamma_{S}=-4\text{Im}[Q]. (84)

The flavour eignestates can also be rearranged into CPCP eignestates

|K10=\displaystyle\ket{K_{1}^{0}}= 12[|K0|K0¯],\displaystyle\frac{1}{\sqrt{2}}\left[\ket{K^{0}}-\ket{\bar{K^{0}}}\right]\ , (85)
|K20=\displaystyle\ket{K_{2}^{0}}= 12[|K0+|K0¯].\displaystyle\frac{1}{\sqrt{2}}\left[\ket{K^{0}}+\ket{\bar{K^{0}}}\right]\ .

with CP|K1,20=±|K1,20CP\ket{K_{1,2}^{0}}=\pm\ket{K_{1,2}^{0}}. As the weak interactions violate CPCP, the CPCP basis differs from the mass basis:

|KS0=\displaystyle\ket{K_{\text{S}}^{0}}= 11+|ϵ¯|2[|K10+ϵ¯|K20],\displaystyle\frac{1}{\sqrt{1+|\bar{\epsilon}|^{2}}}\left[\ket{K_{1}^{0}}+\bar{\epsilon}\ket{K_{2}^{0}}\right]\ , (86)
|KL0=\displaystyle\ket{K_{\text{L}}^{0}}= 11+|ϵ¯|2[ϵ¯|K10+|K20],\displaystyle\frac{1}{\sqrt{1+|\bar{\epsilon}|^{2}}}\left[\bar{\epsilon}\ket{K_{1}^{0}}+\ket{K_{2}^{0}}\right]\ ,

where ϵ¯\bar{\epsilon} parameterizes how much the physical states deviate from the CPCP eigenstates.

From equations (81), (85), and (86), we can find another way the weak interaction eigenstates are related to the flavor eigenstates:

|KS,L0=12(1+|ϵ¯|2)[(1+ϵ¯)|K0(1+ϵ¯)|K¯0],\ket{K_{S,L}^{0}}=\frac{1}{\sqrt{2(1+|\bar{\epsilon}|^{2})}}\left[(1+\bar{\epsilon})\ket{K^{0}}\mp(1+\bar{\epsilon})\ket{\bar{K}^{0}}\right]\ , (87)

and how ϵ¯\bar{\epsilon} is related to the pp and qq parameters, which in turn are related to the Hamiltonian off diagonal elements (equation (82)):

qp=1ϵ¯1+ϵ¯=M12iΓ12/2M12iΓ12/2.-\frac{q}{p}=\frac{1-\bar{\epsilon}}{1+\bar{\epsilon}}=\sqrt{\frac{M_{12}^{\ast}-i\Gamma_{12}^{\ast}/2}{M_{12}-i\Gamma_{12}/2}}\ . (88)

The deviation of (q/pq/p) from unity parameterizes the amount of CPCP violation. We will return to this quantity in the B-system section.

The parameter ϵ¯\bar{\epsilon} depends on the phase convention of the flavor states. In order to construct a phase independant parameter, we note that from equation (86) the KSK_{\text{S}} (KLK_{\text{L}}) is mostly CPCP-even (odd), therefore it will mostly decay to 2 (3) pions. This also explains the significant difference in their lifetimes as the decay to three pions is kinematically suppressed. The decay of KLK_{\text{L}} to 2 pions is CPCP-violating and can be used to construct a phase independent measure of CPCP violation. ϵK\epsilon_{K} is defined as the ratio of the amplitude of the decay (KLππK_{\text{L}}\rightarrow\pi\pi) to the amplitude of the decay (KSππK_{\text{S}}\rightarrow\pi\pi) when the final state’s isospin is zero, namely

ϵKA(KL(ππ)I=0)A(KS(ππ)I=0)Re(ϵK)=Re(ϵ¯).\epsilon_{K}\equiv\frac{A(K_{\text{L}}\rightarrow(\pi\pi)_{I=0})}{A(K_{\text{S}}\rightarrow(\pi\pi)_{I=0})}\ \ \Rightarrow\ \ \text{Re}(\epsilon_{K})=\text{Re}(\bar{\epsilon})\ . (89)

Thereby, the phase convention dependence is cancelled in ϵK\epsilon_{K}.

The simplest way ϵK\epsilon_{K} can be related to the Hamiltonian off diagonal elements is as follows BurasGuadagnoliIsidori2010

ϵK=κϵeiϕϵ2ΔMKIm[M12SD],\epsilon_{K}=\frac{\kappa_{\epsilon}e^{i\phi_{\epsilon}}}{\sqrt{2}\Delta M_{K}}\text{Im}[M_{12}^{\rm SD}]\ , (90)

where ϕϵ=(43.51±0.05)o\phi_{\epsilon}=(43.51\pm 0.05)^{o} and the phenomenological factor, κϵ=0.94±0.02\kappa_{\epsilon}=0.94\pm 0.02 BurasGirrbach014 , summarizes the corrections to ϵK\epsilon_{K} due to long distance (LD) effects BurasGuadagnoliIsidori2010 . M12SDM_{12}^{SD} is the short distance (SD) contribution to M12M_{12} defined in 80. This SD contribution is calculated from the box diagrams of the K0K¯0K^{0}-\bar{K}^{0} mixing.202020The box diagrams in DQCD are those of Figure 4. They are similar in the SM, but replacing XX by the WW boson and QQ by the up-type quarks. Equation (90) clearly shows how ϵK\epsilon_{K} represents CPCP violation due to mixing (ϵK\epsilon_{K} vanishes if M12SD=0M_{12}^{\rm SD}=0). The SD matrix element is given by

M12SD=12mKK¯0|HΔS=2Box|K0.M_{12}^{\rm SD}=\frac{1}{2m_{K}}\bra{\bar{K}^{0}}{H_{\Delta S=2}^{\rm Box}}\ket{K^{0}}^{\ast}. (91)

Here, HΔS=2BoxH_{\Delta S=2}^{\rm Box} is the effective Hamiltonian calculated from the box diagrams of the K0K¯0K^{0}-\bar{K}^{0} mixing. Finally, for the case of the KK mesons only, since ϵK\epsilon_{K} is very small, 𝒪(103)\mathcal{O}(10^{-3}), the imaginary parts of M12M_{12} and Γ12\Gamma_{12} are much smaller than their real parts, thus, from equation (84), we have the approximation

ΔMK2Re[M12],\Delta M_{K}\simeq 2\text{Re}\left[M_{12}\right]\ , (92)

where M12M_{12} contains both SD and LD contributions.

A.2 The 𝑩B-Systems

We now explore the basic meson mixing formalism for BdB_{d} and BsB_{s}. The equations are the same as equations (80)-(88) developed for KK mesons, except that the mass eigenstates are called BLB_{\text{L}} and BHB_{\text{H}} for the light and heavy state, respectively. Since Γ12M12\Gamma_{12}\ll M_{12} for the BB-system BurasEtAlBBbar , we have, from equation (84Buras2005 ,

ΔMB=MHML2M12B.\Delta M_{B}=M_{H}-M_{L}\approx 2\mid M_{12}^{B}\mid\ . (93)

Like equation (91), we have for the B-system

M12B=12mBB¯0|HΔB=2|B0M_{12}^{B}=\frac{1}{2m_{B}}\bra{\bar{B}^{0}}{H_{\Delta B=2}}\ket{B^{0}}^{\ast} (94)

Because the mass of the BB mesons is significantly above the QCD scale, the LD effects are negligible in the calculation of ΔMB\Delta M_{B} Buras1998 .

Now expanding equation (82), into powers of |Γ12/M12||\Gamma_{12}/M_{12}|, we can keep the leading term only, since |Γ12/M12||\Gamma_{12}/M_{12}| is estimated to be of order 10410^{-4} Buras2005 ; NirCPV , giving

(qp)BM12M12(93)2M12ΔMB.\left(\frac{q}{p}\right)_{B}\approx\frac{M_{12}^{\ast}}{\mid M_{12}\mid}\ \ \ \stackrel{{\scriptstyle\mathclap{\mbox{\text{(\ref{DeltaMB})}}}}}{{\simeq}}\ \ \ \frac{2M_{12}^{\ast}}{\Delta M_{B}}\ . (95)

Thus (q/p)B(q/p)_{B} is a pure phase to an excellent approximation, which means

(qp)B=e2iϕM2M12ΔMB,\left(\frac{q}{p}\right)_{B}=e^{2i\phi_{M}}\simeq\ \ \ \frac{2M_{12}^{\ast}}{\Delta M_{B}}\ , (96)

where ϕM\phi_{M} is a CPV phase due to mixing. By convention, ϕM=β\phi_{M}=-\beta for Bd0B^{0}_{d}, and ϕM=βs0\phi_{M}=-\beta^{0}_{s} for BsB_{s}.

(qp)Bd=e2iβ2M12(Bd)ΔMd,\left(\frac{q}{p}\right)_{B_{d}}=e^{-2i\beta}\approx\frac{2M_{12}^{\ast}(B_{d})}{\Delta M_{d}}\ , (97)
(qp)Bs=e2iβs2M12(Bs)ΔMs.\left(\frac{q}{p}\right)_{B_{s}}=e^{-2i\beta_{s}}\approx\frac{2M_{12}^{\ast}(B_{s})}{\Delta M_{s}}\ . (98)

Within the Standard Model, the contribution to the amplitudes of the BB¯B-\bar{B} mixing are dominated by the box diagrams with two WW propagators and 2 internal tt quarks, so the SM weak phase of mixing comes dominantly from the arguments of the CKM matrix elements. For Bd0B_{d}^{0} this comes from VtdV_{td}:

Arg(qp(SM))Bd=2Arg(Vtd)=2βSM,\text{Arg}\left(\frac{q}{p}(\text{SM})\right)_{B_{d}}=2\text{Arg}(V_{td})=-2\beta_{\text{SM}}\ , (99)

and for Bs0B_{s}^{0} this comes from VtsV_{ts}:

Arg(qp(SM))Bs=2Arg(Vts)=2(βs)SM.\text{Arg}\left(\frac{q}{p}(\text{SM})\right)_{B_{s}}=2\text{Arg}(V_{ts})=-2(\beta_{s})_{\text{SM}}\ . (100)

Both βSM\beta_{\text{SM}} and (βs)SM(\beta_{s})_{\text{SM}} are related to the unique phase of the CKM matrix. Their predicted SM values are reported in Table 4 from UTfit collaboration Bona2016Utfit2 . This same reference provides the experimental measurements of these angles, reported in Table 4 as well.

Appendix B Mixing Induced 𝑪𝑷CP-Asymmetry

In what follows, we will briefly introduce a very interesting class of CPCP-asymmetries which result from CPCP-violation in the interference between mixing and decay Buras2005 ; NirFPandCPV ; NirCPV ; CPasymExp which can be defined for neutral meson decays. Let B0B^{0} be any neutral meson; knowing that it oscillates in time between the flavour eigenstates B0B^{0} and B¯0\bar{B}^{0}, we define B0(t)B^{0}(t) as the meson at a time tt, starting as a B0B^{0} at t=0t=0. Similarly, B¯0(t)\bar{B}^{0}(t) is defined such as B¯0(0)=B¯0\bar{B}^{0}(0)=\bar{B}^{0}, the CPCP-conjugate of B0B^{0}. In a decay B0fB^{0}\rightarrow f, where ff is a CPCP-eigenstate, the time-dependent mixing induced CPCP-asymmetry is defined as:

𝒜CP(t)=Γ(B0(t)f)Γ(B¯0(t)f)Γ(B0(t)f)+Γ(B¯0(t)f).\mathcal{A}_{CP}(t)=\frac{\Gamma(B^{0}(t)\rightarrow f)-\Gamma(\bar{B}^{0}(t)\rightarrow f)}{\Gamma(B^{0}(t)\rightarrow f)+\Gamma(\bar{B}^{0}(t)\rightarrow f)}\ . (101)

This quantity can be separated into two terms, a decay only contribution with coefficient CfC_{f}, and a term due to the interference with coefficient SfS_{f}:

𝒜CP(t)=Cfcos(ΔMBt)Sfsin(ΔMBt),\mathcal{A}_{CP}(t)=C_{f}\cos(\Delta M_{B}t)-S_{f}\sin(\Delta M_{B}t)\ , (102)

where ΔMB\Delta M_{B} is the mass difference between the two B0B^{0} mass eigenstates. The expressions of the decay and mixing contributions can be calculated and found to be Buras2005 ; NirFPandCPV ; NirCPV :

Cf=\displaystyle C_{f}= 1|ξf|21+|ξf|2,\displaystyle\frac{1-|\xi_{f}|^{2}}{1+|\xi_{f}|^{2}}\ , (103)
Sf=\displaystyle S_{f}= 2Im(ξf)1+|ξf|2,\displaystyle\frac{-2\text{Im}(\xi_{f})}{1+|\xi_{f}|^{2}}\ ,
ξf=\displaystyle\xi_{f}= qpA(B¯0f)A(B0f),\displaystyle\frac{q}{p}\frac{A(\bar{B}^{0}\rightarrow f)}{A(B^{0}\rightarrow f)}\ ,

where AA is the decay amplitude of the flavour eigenstate at t=0t=0, and pp and qq are the mixing parameters defined in Appendix A.

In general, A(B0f)A(B^{0}\rightarrow f) has different terms coming from different Feynman diagrams. For example, if only two diagrams contribute to the decay then

A(B¯0f)A(B0f)=ζfA1ei(δ1ϕ1)+A2ei(δ2ϕ2)A1ei(δ1+ϕ1)+A2ei(δ2+ϕ2),\frac{A(\bar{B}^{0}\rightarrow f)}{A(B^{0}\rightarrow f)}=-\ \zeta_{f}\ \frac{A_{1}e^{i(\delta_{1}-\phi_{1})}+A_{2}e^{i(\delta_{2}-\phi_{2})}}{A_{1}e^{i(\delta_{1}+\phi_{1})}+A_{2}e^{i(\delta_{2}+\phi_{2})}}\ , (104)

where ϕi\phi_{i} are the CPV (or the weak) phases, δi\delta_{i} are the strong phases,212121The strong phases are complex phases that are not present in the Lagrangian. They appear in decay amplitudes when intermediate states go on-shell via CPCP-conserving processes, so they do not change sign under CPCP. They are called “strong phases” because they are usually due to strong interactions. ζf\zeta_{f} is the CPCP-parity of the decay product ff, and the AiA_{i} contain the hadronic matrix elements. If ϕ1ϕ2\phi_{1}\neq\phi_{2}, and the two diagrams contribute with similar strengths, then the asymmetry will suffer from hadronic uncertainties due to the presence of the strong phases δi\delta_{i}, and the hadronic matrix elements in AiA_{i}. However, a very interesting scenario happens when the decay is either dominated by one diagram, or all diagrams have the same CPV phase (ϕ1=ϕ2ϕD\phi_{1}=\phi_{2}\equiv\phi_{D} in the example). In these cases, the strong phases as well as the hadronic matrix elements cancel completely from A(B¯0f)/A(B0f)A(\bar{B}^{0}\rightarrow f)/A(B^{0}\rightarrow f), and we are left with:

[A(B¯0f)A(B0f)]sp=ζfei2ϕD,\left[\frac{A(\bar{B}^{0}\rightarrow f)}{A(B^{0}\rightarrow f)}\right]_{\text{sp}}=-\zeta_{f}e^{-i2\phi_{D}}\ , (105)

where we added the index “DD” to the weak phase ϕ\phi to express its decay origin, and we added the index “sp” to show that we are in the special case where either one diagram dominates the decay or all diagrams have the same CPV phase. In this special case, where equation (105) applies, since (q/p)(q/p) is almost a pure phase for both Bd0B^{0}_{d} and Bs0B^{0}_{s} (equations (97, 98)), then we have |ξf|2=1|\xi_{f}|^{2}=1 and thus, Cf=0C_{f}=0 and Sf=ζfsin(2ϕD2ϕM)S_{f}=-\zeta_{f}\sin(2\phi_{D}-2\phi_{M}). Thus we get from equations (102) and (103):

[𝒜CP(t)]sp=ζfsin(2ϕD2ϕM)sin(ΔMBt)[\mathcal{A}_{CP}(t)]_{\text{sp}}=\zeta_{f}\sin(2\phi_{D}-2\phi_{M})\sin(\Delta M_{B}t) (106)

We note that the difference between two weak phases, (ϕDϕM)(\phi_{D}-\phi_{M}), is convention-independent.

The decays (BdψKS)(B_{d}\rightarrow\psi K_{\text{S}}) and (Bsψϕ)(B_{s}\rightarrow\psi\phi), have the same inclusive mode bscc¯b\rightarrow sc\bar{c}. In the SM, it is dominated by the tree diagram with an internal WW boson. In NP, our DQCD model’s contribution starts only at the 2-loop level, so it is negligible. Therefore, we are in the special case of one dominant diagram, where equation (106) applies. For the considered decays, ϕD\phi_{D} is the weak phase of the SM tree diagram, that is, ϕD=Arg(VcsVcb)0\phi_{D}=\text{Arg}(V_{cs}V_{cb}^{\ast})\simeq 0. So the asymmetries in these decays depend only on the weak phase of the mixing ϕM\phi_{M}, which is (β)(-\beta) for BdB_{d} and (βs)(-\beta_{s}) for BsB_{s}. Therefore

𝒜CP(BdψKS)\displaystyle\mathcal{A}_{CP}(B_{d}\rightarrow\psi K_{\text{S}}) =ζψKSsin(2β)sin[(ΔMd)t]\displaystyle=\zeta_{\psi K_{\text{S}}}\sin(2\beta)\sin[(\Delta M_{d})t] (107)
𝒜CP(Bsψϕ)\displaystyle\mathcal{A}_{CP}(B_{s}\rightarrow\psi\phi) =ζψϕsin(2βs)sin[(ΔMs)t],\displaystyle=\zeta_{\psi\phi}\sin(2\beta_{s})\sin[(\Delta M_{s})t]\ ,

where ΔMd(s)\Delta M_{d(s)} is the mass difference between the two Bd(s)B_{d(s)} states, and the CPCP-parity ζψKS=1\zeta_{\psi K_{\text{S}}}=-1. The final state (ψϕ)(\psi\phi) is a mixture of CPCP-even and CPCP-odd states, nevertheless, its CPCP-parity can be resolved experimentally LinnPhD .

Appendix C Calculation of The 𝚫𝑭=𝟐\Delta F=2 Constraints

In this section we show the explicit calculation of the ΔF=2\Delta F=2 constraints on the DQCD scenario that are shown in Table 1. In the calculations of the new physics (NP) contributions to the flavor observables, the off-diagonal elements of the mixing mass matrix (see equations (91) and (94)) are involved. For all three mesons (M=K,Bd,BsM=K,\ B_{d},\ B_{s}), they can be written as

M12NP=12mMM¯0|HeffNP(ΔF=2)|M0=Nc384π2MX2mMFM2B^MηM(ξM)2,M_{12}^{\rm NP}=\frac{1}{2m_{M}}\bra{\bar{M}^{0}}H_{\rm eff}^{\rm NP}(\Delta F=2)\ket{M^{0}}^{\ast}=\frac{N_{c}}{384{\pi}^{2}M_{X}^{2}}m_{M}F_{M}^{2}\hat{B}_{M}\eta_{M}(\xi_{M}^{\ast})^{2}\ , (108)

where mMm_{M} is the experimental value of the meson’s mass, FMF_{M} is its decay constant, B^M\hat{B}_{M} is its bag parameter, and ηM\eta_{M} includes any RG and QCD corrections, and DQCD non-perturbative uncertainties, which, as mentioned in Section 4, we take to be 1±0.51\pm 0.5.

Table 4 contains all the experimental input data we use as well as the derived ΔF=2\Delta F=2 constraints, along with the corresponding references. These constraints will impose limits on the parameters of our model, whether the real ones, or the CPCP-violating phases, that we will abbreviate to “CPV phases.” The CMC_{M} parameters in Table 4 are defined by

CM=ΔMMexp/ΔMMSM,M=K,Bd,Bs,C_{M}=\Delta M_{M}^{\rm exp}/\Delta M_{M}^{\rm SM}\ ,\ M=K,B_{d},B_{s}\ , (109)

that is, the ratio of the experimental mass difference to the prediction from the SM.

Experimental values PDG Lattice QCD values
mK=497.611±0.013 MeVm_{K}=497.611\pm 0.013\text{ MeV} FK=155.8±1.7 MeVF_{K}=155.8\pm 1.7\text{ MeV} QCDlatticeUT
mBd=5279.62±0.15 MeVm_{B_{d}}=5279.62\pm 0.15\text{ MeV} B^K=0.7625±0.0097\hat{B}_{K}=0.7625\pm 0.0097 FLAG016
mBs=5366.82±0.22 MeVm_{B_{s}}=5366.82\pm 0.22\text{ MeV} FBdB^Bd=219±14 MeVF_{B_{d}}\sqrt{\hat{B}_{B_{d}}}=219\pm 14\text{ MeV} FLAG016
ΔMK=(3.484±0.006)×1012 MeV\Delta M_{K}=(3.484\pm 0.006)\times 10^{-12}\text{ MeV} FBsB^Bs=270±16 MeVF_{B_{s}}\sqrt{\hat{B}_{B_{s}}}=270\pm 16\text{ MeV} FLAG016
ΔMd=(3.354±0.022)×1010 MeV\Delta M_{d}=(3.354\pm 0.022)\times 10^{-10}\text{ MeV} FBd=192.0±4.3 MeVF_{B_{d}}=192.0\pm 4.3\text{ MeV} FLAG016
ΔMs=(1.1688±0.0014)×108 MeV\Delta M_{s}=(1.1688\pm 0.0014)\times 10^{-8}\text{ MeV} FBs=228.4±3.7 MeVF_{B_{s}}=228.4\pm 3.7\text{ MeV} FLAG016
ΓKL=(1.286±0.005)×1017\Gamma_{K_{\text{L}}}=(1.286\pm 0.005)\times 10^{-17} GeV ΔF=2\Delta F=2 constraints
ΓK+=(5.315±0.009)×1017\Gamma_{K^{+}}=(5.315\pm 0.009)\times 10^{-17} GeV CK[0.51,2.07]C_{K}\in[0.51,2.07] UTFit2008
ΓBs=(4.358±0.014)×1013\Gamma_{B_{s}}=(4.358\pm 0.014)\times 10^{-13} GeV CBd[0.77,1.35]C_{B_{d}}\in[0.77,1.35] UTfit2016
ΓBd=(4.329±0.011)×1013\Gamma_{B_{d}}=(4.329\pm 0.011)\times 10^{-13} GeV CBs[0.87,1.30]C_{B_{s}}\in[0.87,1.30] UTfit2016
|ϵK|=(2.228±0.011)×103|\epsilon_{K}|=(2.228\pm 0.011)\times 10^{-3} 103|ϵK|SM[1.76,2.33]10^{3}|\epsilon_{K}|^{\rm SM}\in[1.76,2.33] BurasGirrbach014
sin2βd[0.634,0.726]\sin 2\beta_{d}\in[0.634,0.726] Bona2016Utfit2 sin2βdSM[0.665,0.785]\sin 2\beta_{d}^{\rm SM}\in[0.665,0.785] Bona2016Utfit2
βs[o][0.91,2.85]\beta_{s}[^{o}]\in[-0.91,2.85] Bona2016Utfit2 βsSM[o][0.97,1.13]\beta_{s}^{\rm SM}[^{o}]\in[0.97,1.13] Bona2016Utfit2
Table 4: Summary of quantities and constraints used. All values are taken at 95% confidence level (CL).

C.1 Meson Mass Differences

We show in this section how we get the constraints on the ξM\xi_{M} terms, due to the mass difference data, for the KK, BB, and BsB_{s} mesons.

The CPCP conserving constraint, at the 2σ\sigma level, from the KK¯K-\bar{K} mixing is UTFit2008

0.51CKΔMKexp/ΔMKSM2.07,0.51\leq\ C_{K}\equiv\Delta M_{K}^{\rm exp}/\Delta M_{K}^{\rm SM}\ \leq 2.07\ , (110)

from which we can derive the allowed interval for the new physics contribution:

ΔMKNP=ΔMKexpΔMKSM±σexp2+σSM2.\Delta M_{K}^{\rm NP}=\Delta M_{K}^{\rm exp}-\Delta M_{K}^{\rm SM}\pm\sqrt{\sigma_{\rm exp}^{2}+\sigma_{SM}^{2}}\ . (111)

From equation (92), we have the relation

ΔMKNP=2Re(M12NP),\Delta M_{K}^{\rm NP}=2{\rm Re}(M_{12}^{\rm NP})\ , (112)

then we use equation (108) for M12NPM_{12}^{\rm NP}. Using the values given in Table 4, we can constrain ΔMKNP\Delta M_{K}^{NP}, and obtain:

6.93×104NcRe[(ξK)2](1 TeVMX)23.77×104,-6.93\times 10^{-4}\leq N_{c}\text{Re}\left[({\xi}_{K}^{*})^{2}\right]\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2}\leq 3.77\times 10^{-4}, (113)

where ξK{\xi}_{K} is defined in equation (7), and NcN_{c} is the number of dark colors.

Moving to the BdB_{d} system, the BdB¯dB_{d}-\bar{B}_{d} mixing mass difference constraint, at the 2σ\sigma level, is UTfit2016

0.77CBd1.35.0.77\leq C_{B_{d}}\leq 1.35\ . (114)

From equation (93), the relation between the new physics contribution to ΔMBd(s)\Delta M_{B_{d(s)}} and M12NPM_{12}^{NP}, the NP’s contribution to M12M_{12}, is given by:

ΔMBd(s)NP=2M12NP=B¯d(s)0|HeffNP(ΔB=2)|Bd(s)0/mBd(s).\Delta M_{B_{d(s)}}^{\rm NP}=2\mid M_{12}^{\rm NP}\mid\,=\,\mid\bra{\bar{B}_{d(s)}^{0}}H_{\rm eff}^{\rm NP}(\Delta B=2)\ket{B_{d(s)}^{0}}\mid/m_{B_{d(s)}}. (115)

Using the same strategy as in the KK-system, we find

NcξBd2(1 TeVMX)26.55×104.N_{c}\mid{\xi}_{B_{d}}^{2}\mid\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2}\leq 6.55\times 10^{-4}. (116)

Similarly, for the BsB_{s} system the bound is given by

0.87CBs1.3.0.87\leq C_{B_{s}}\leq 1.3\ . (117)

which then leads to

NcξBs2(1 TeVMX)213.15×103.N_{c}\mid{\xi}_{B_{s}}^{2}\mid\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2}\leq 13.15\times 10^{-3}. (118)

C.2 The 𝚫𝑭=𝟐𝑪𝑷\Delta F=2\ CP-Violating Constraints

Now we briefly show how we get the constraints from the CPCP violating observables in the KK¯K-\bar{K}, BdB¯dB_{d}-\bar{B}_{d}, and BsB¯sB_{s}-\bar{B}_{s} mixings.

We start with the KK¯K-\bar{K} mixing, where we consider the CPCP violating observable ϵK\mid\epsilon_{K}\mid which is the modulus of equation (90). From the SM prediction at 95% CL BurasGirrbach014

1.76×103|ϵKSM|2.33×103,1.76\times 10^{-3}\leq|\epsilon_{K}^{\rm SM}|\leq 2.33\times 10^{-3}\ , (119)

and the experimental value PDG is |ϵKexp|=2.228(11)×103|\epsilon_{K}^{\rm exp}|=2.228(11)\times 10^{-3}. We evaluate the constraint on the new physics contribution to |ϵK||\epsilon_{K}| at 95% CL is

ϵKNP 0.75×103.\mid\epsilon_{K}\mid_{\rm NP}\ \leq\ 0.75\times 10^{-3}. (120)

Taking the modulus of ϵK\epsilon_{K} in equation (90) and using equation (108), we find

ϵKNP\displaystyle\mid\epsilon_{K}\mid_{\rm NP} κϵ2(ΔMK)expIm[M12NP]\displaystyle\approx\frac{\kappa_{\epsilon}}{\sqrt{2}(\Delta M_{K})_{\rm exp}}\mid\text{Im}[M_{12}^{\rm NP}]\mid (121)
=κϵmKFK2B^KηK3842π2(ΔMK)expMX2NcIm[(ξK)2],\displaystyle=\frac{\kappa_{\epsilon}m_{K}F_{K}^{2}\hat{B}_{K}\eta_{K}}{384\sqrt{2}{\pi}^{2}(\Delta M_{K})_{\rm exp}M_{X}^{2}}N_{c}\mid\text{Im}\left[(\xi_{K}^{\ast})^{2}\right]\mid\ ,
κϵ=0.94±0.02.\displaystyle\ \ \kappa_{\epsilon}=0.94\pm 0.02\ .

With the data of Table 4 we then get

NcIm[(ξK)2](1 TeVMX)21.64×106.N_{c}\mid\text{Im}\left[({\xi}_{K}^{*})^{2}\right]\mid\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2}\leq 1.64\times 10^{-6}. (122)

Let us now move to the constraints from the CPCP-violating observables in the BB- system, that is, β\beta and βs\beta_{s}. These parameters can be extracted from global fits HFAG and are also measured directly from the mixing-induced CPCP asymmetries (defined in the previous section) in the decays of BB mesons. This allows one to place a constraint on new physics contributing to these processes. For example, the asymmetry in (BdψKS)(B_{d}\rightarrow\psi K_{\text{S}}) measures β\beta and the asymmetry in (Bsψϕ)(B_{s}\rightarrow\psi\phi) measures βs\beta_{s}, as shown in equation (107) . These decay modes provide “clean” measurements of those phases, because the hadronic matrix elements and the strong phases drop out from their CPCP-asymmetries, so the measurements of the CPV phases are free from hadronic uncertainties. From equations (97)-(100), we can write the relations

SψKS=sin2βexp2ΔMdIm[M12(NP)+M12(SM)]Bd,S_{\psi K_{\text{S}}}=\sin 2\beta_{\text{exp}}\approx-\frac{2}{\Delta M_{d}}\text{Im}\left[M_{12}^{\ast}({\rm NP})+M_{12}^{\ast}({\rm SM})\right]_{B_{d}}\ , (123)
Sψϕ=ζψϕsin2(βs)exp2ΔMsIm[M12(NP)+M12(SM)]Bs,S_{\psi\phi}=-\zeta_{\psi\phi}\sin 2(\beta_{s})_{\text{exp}}\approx-\frac{2}{\Delta M_{s}}\text{Im}\left[M_{12}^{\ast}({\rm NP})+M_{12}^{\ast}({\rm SM})\right]_{B_{s}}\ , (124)

and the SM terms in equations (123) and (124) represent respectively sin2βSM\sin 2\beta_{\text{SM}} and sin2(βs)SM\sin 2(\beta_{s})_{\text{SM}}. Thus from equations (123) and (108), we can easily find

sin[2βexp]sin[2βSM]=\displaystyle\sin[2\beta_{\text{exp}}]-\sin[2\beta_{\text{SM}}]= 2ΔMdIm[M12(NP)]\displaystyle-\frac{2}{\Delta M_{d}}\text{Im}\left[M_{12}^{\ast}({\rm NP})\right] (125)
=\displaystyle= 1mBdΔMdIm[Bd0|HeffNP(ΔB=2)|Bd0]\displaystyle-\frac{1}{m_{B_{d}}\Delta M_{d}}\text{Im}\left[\bra{B_{d}^{0}}H_{\rm eff}^{\rm NP}(\Delta B=2)\ket{B_{d}^{0}}^{\ast}\right]
=\displaystyle= mBdFBd2B^BdηBd192π2ΔMdMX2NcIm[(ξBd)2],\displaystyle-\frac{m_{B_{d}}F_{B_{d}}^{2}\hat{B}_{B_{d}}\eta_{B_{d}}}{192{\pi}^{2}\Delta M_{d}M_{X}^{2}}N_{c}\text{Im}\left[(\xi_{B_{d}}^{\ast})^{2}\right]\ ,

where we take the experimental values for mBdm_{B_{d}} and ΔMd\Delta M_{d}. Using the numerical values of Table 4, we find the constraint

0.86×104NcIm[(ξBd)2](1 TeVMX)23.12×104.-0.86\times 10^{-4}\leq N_{c}\text{Im}\left[({\xi}_{B_{d}}^{*})^{2}\right]\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2}\leq 3.12\times 10^{-4}. (126)

We apply the same procedure for the BsB¯sB_{s}-\bar{B}_{s} mixing, and we find the following constraint from the difference between the experimental and the SM values of the CPCP-violating observable βs\beta_{s}:

3.54×103NcIm[(ξBs)2](1 TeVMX)23.88×103.-3.54\times 10^{-3}\leq N_{c}\text{Im}\left[({\xi}_{B_{s}}^{*})^{2}\right]\left(\frac{1\text{ TeV}}{M_{X}}\right)^{2}\leq 3.88\times 10^{-3}. (127)

All the constraints are summarized in Table 1 in Section 4. From these results we can infer model independent bounds on any new-physics model, contributing to flavor observables, and which ΔF=2\Delta F=2 effective Hamiltonian, at some scale Λ\Lambda, contains (V+A)(V+A) (or (V-A)(V-A), since strong interactions conserve CPCP) operators in the form:

HeffNP(ΔF=2)=cqqNPΛ2[(q¯γμPR(L)q)(q¯γμPR(L)q)]+h.c..H_{\rm eff}^{\rm NP}(\Delta F=2)=\frac{c_{qq^{\prime}}^{NP}}{\Lambda^{2}}\left[(\bar{q}\gamma_{\mu}P_{R(L)}q^{\prime})(\bar{q}\gamma^{\mu}P_{R(L)}q^{\prime})\right]+{\rm h.c.}. (128)

The scale MXM_{X} can be mapped to the scale suppressing the dimension 6 operator, for example cdsNP=NcξK2/(128π2)c_{ds}^{\text{NP}}=N_{c}{\xi}_{K}^{2}/(128{\pi}^{2}).

Before closing this section, we compare our results to the work in IsidoriEtAL010 which performed a similar analysis. At a scale ΛMX1 TeV\Lambda\approx M_{X}\approx 1\text{ TeV}, equation (113) yields:

Re[cdsNP](Λ=1TeV)2.98×107,\text{Re}[c_{ds}^{\rm NP}]\left(\Lambda=1\text{TeV}\right)\leq 2.98\times 10^{-7}, (129)

which is at the same order of magnitude, but three times stronger than that of reference IsidoriEtAL010 . In addition, the CPCP-violating constraint we find in equation (122) is also about three times stronger than the constraint of reference IsidoriEtAL010 . We believe these disagreements originate from the fact that this reference took the SM leading contribution to KK¯K-\bar{K} mixing amplitude with only the top quark running inside the loop Isidori015 ; NirFPandCPV . This is only true for the BB- system, while for the KK-system, the dominant contribution to the real part of the amplitude is from an internal cc quark, and the dominant contribution to the imaginary part is from both cc and tt internal quarks (See section 10.2 and 10.4 of reference Buras1998 ).

The constraints we find in equations (116), (118), and (126), are all about one order of magnitude stronger than the ones of reference IsidoriEtAL010 . We believe this is due to the improvement in the experimental data, which have significantly changed for the BB-system. We find a result that is the same order of magnitude as the one in IsidoriEtAL010 when using the same input data.

References