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

Implementing asymmetric dark matter and dark electroweak baryogenesis in a mirror two-Higgs-doublet model

Alexander C. Ritter rittera@student.unimelb.edu.au (corresponding author)    Raymond R. Volkas raymondv@unimelb.edu.au ARC Centre of Excellence for Dark Matter Particle Physics, School of Physics,
The University of Melbourne, Victoria 3010, Australia
Abstract

Models of asymmetric dark matter (ADM) seek to explain the apparent coincidence between the present-day mass densities of visible and dark matter, ΩDM5ΩVM\Omega_{\mathrm{DM}}\simeq 5\Omega_{\mathrm{VM}}. However, most ADM models only relate the number densities of visible and dark matter without motivating the similar particle masses. We expand upon a recent work that obtained a natural mass relationship in a mirror matter ADM model with two Higgs doublets in each sector, by looking to implement dark electroweak baryogenesis as the means of asymmetry generation. We explore two aspects of the mechanism: the nature of the dark electroweak phase transition, and the transfer of particle asymmetries between the sectors by the use of portal interactions. We find that both aspects can be implemented successfully for various regions of the parameter space. We also analyse one portal interaction – the neutron portal – in greater detail, in order to satisfy the observational constraints on dark radiation.

I Introduction

Determining the particle nature of dark matter (DM) remains one of the most important problems in fundamental physics. While there are some important constraints on its nature – for example, it cannot be hot DM because large-scale structure formation then yields incorrect results – DM is famous, or notorious, for being anything from “fuzzy” scalars at the 102210^{-22} eV mass scale [1], to several solar-mass primordial black holes [2], with many different kinds of possibilities at intermediate mass scales [3]. It therefore makes sense to carefully examine what we do know observationally about DM, because there may be clues already lurking in the data about what its fundamental nature is.

One fact that may be important is the apparent coincidence in the present-day cosmological mass densities of visible and dark matter, which obey

ΩDM5ΩVM,\Omega_{\textrm{DM}}\simeq 5\,\Omega_{\textrm{VM}}, (1)

where ΩX\Omega_{X} is the mass density of XX divided by the critical density [4]. Cosmologically one would expect different relic species to have very different mass and/or number densities unless there are fundamental reasons for it to be otherwise. For example, the equal number densities of protons and electrons is a consequence of the basic requirement of electric charge neutrality for the universe. It is thus worth exploring the hypothesis that Eq. (1) is the result of a deep connection between visible and dark matter rather than being a true coincidence.

For most DM candidates, the physics determining the relic density – for example, the freeze out process for a thermal relic – has no connection with the physics driving the mass density of visible matter: baryogenesis, which sets the proton number density, and the confinement scale of quantum chromodynamics (QCD), which sets the proton mass.

Asymmetric DM (ADM) is an exception to this general rule, since the relic number density of DM particles is then determined by an asymmetry in the dark sector that is chemically related to the baryon asymmetry. Asymmetric DM is a paradigm, and many different models have been proposed (for reviews, see [5, 6, 7]). The vast majority of these proposals provide specific dynamics to relate the number density asymmetries, but are silent on why the DM mass seems apparently to be related to the proton mass. Yet without such a connection, ADM models fail to explain the cosmological coincidence. Instead the factor of five in Eq. (1) is used to “predict” the DM mass within schemes that only relate the number densities. Clearly, this is unsatisfactory. The purpose of this paper is to continue analysing ways to connect the DM and proton masses within an ADM model. Note that it is not our goal to explain exactly why the approximate ratio is the specific value of five. Rather, our goal is to construct a theory where a ratio of order one is relatively generic, and the precise value can be fitted by choosing parameters appropriately.

We are faced with the task of explaining why the DM mass should have anything to do with the confinement scale of QCD. The most obvious idea is that DM is a baryonlike bound state of an interaction in the dark sector that resembles QCD. Several such schemes have been proposed and analysed in the literature, though only a few of them have the DM-proton mass connection as a motivation [8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24]. Indeed, with an arbitrary confining gauge force in the dark sector and a general particle content, there is no reason for the confinement scale to be near that of visible QCD. Two exceptions to this have been proposed: (i) the dark gauge group mirrors QCD by being SU(3), and the two confinement scales are related through either an exact or somewhat broken symmetry that connects the two SU(3) sectors, and (ii) the particle content is chosen so that the two running coupling constants approach infrared fixed points whose magnitudes are similar [22, 23]. Both ideas have merit, and in this paper we consider option (i).

A priori, the two SU(3) sectors could be related by either a continuous or a discrete symmetry. But it is difficult to make the former work, because of the necessary appearance of multiplets that transform under both the dark SU(3) and the usual standard model (SM) gauge group GSMG_{\textrm{SM}}. We therefore focus on the discrete symmetry possibility, specifically the simplest case of Z2Z_{2}. We seek a theory where the DM is a baryonic bound state of “dark quarks” which are triplets under dark SU(3) and singlets under GSMG_{\textrm{SM}}. Because the usual quarks are in the (𝟑,𝟐,16)(\mathbf{3},\mathbf{2},\frac{1}{6}), (𝟑,𝟏,23)(\mathbf{3},\mathbf{1},\frac{2}{3}) and (𝟑,𝟏,13)(\mathbf{3},\mathbf{1},-\frac{1}{3}) representations of GSMG_{\textrm{SM}}, the only way their Z2Z_{2} partners can be singlets under SM forces is if we duplicate the electroweak sector as well. We are evidently driven to a mirror-matter type of gauge group,

G×GG\times G^{\prime} (2)

where GG^{\prime} is isomorphic to GG with prime denoting the dark sector.

In this paper we continue in the vein of Ref. [25] and consider the simplest case where GG is just the SM gauge group SU(3)×\timesSU(2)×\timesU(1), which is exactly the mirror-symmetric extension of the SM. The Z2Z_{2} symmetry interchanges the visible and dark sectors and enforces equal QCD and dark-QCD coupling constants when it is exact. To relate the DM mass to the proton mass we need some kind of a connection between the two QCD coupling constants. This connection may be the strict equality of the coupling constants and hence also the confinement scales, or some Z2Z_{2} breaking can be introduced so as to remove the exact equality but retain a relationship. The unbroken case has been extensively studied – see, for example, Refs. [26, 27, 28, 29, 30, 31, 10, 32, 33, 34, 35, 36, 37, 38, 39, 11, 40, 41, 12, 42, 43, 44]. We choose to follow Ref. [25] and explore a spontaneously broken Z2Z_{2} scenario (see also Refs. [45, 46, 47, 14, 48, 49, 50, 18, 19, 20, 21]). Part of the motivation for that is to permit the DM candidate to be a single dark-neutronlike particle, rather than having to deal with the complicated (though very interesting) situation of exact mirror-DM.

Reference [25] was based on the process of “asymmetric symmetry breaking (ASB).” This is a spontaneous symmetry breaking scheme that permits the two sectors to break quite differently despite the Z2Z_{2} symmetry of the Lagrangian. It is distinct from the idea of introducing a Z2Z_{2}-odd scalar whose vacuum expectation value (VEV) breaks the mirror symmetry, in that in general it affords more flexibility in the symmetry-breaking outcome.111The ASB mechanism really comes into its own when you want to break GG and GG^{\prime} to different subgroups. This will not be the case in the model analysed in this paper. However, the mirror-symmetric SM, rather than a mirror-symmetric theory with an extended gauge group such as a grand unified theory, permits us to focus on the DM physics rather than being distracted by the many unrelated issues that arise from SM gauge-group extensions. Ultimately, the proper context for ASB may well be a grand unified theory, as discussed in the original papers [51, 52]. The mirror-symmetric SM analysed here could then be the low-energy effective theory of a more ambitious model. Reference [25] analysed a mirror-symmetric model with two Higgs doublets in each sector. The ASB process was then employed to ensure that the doublets, one from each sector, that gain the dominant VEVs are not Z2Z_{2} partners. This allows the dark-fermion masses and mass ratios to be completely different from the usual quark and lepton masses and ratios. Reference [25] described an attempt at a full theory that saw visible and dark baryogenesis occur through the familiar sphaleron-reprocessed type I seesaw leptogenesis dynamics driven by the out-of-equilibrium decays of heavy neutral leptons.

The purpose of the present paper is:

  • To construct an alternative version of the theory where asymmetry generation occurs through dark electroweak baryogenesis, which is another reasonable mechanism that is worth exploring. We show that there is sufficient freedom to arrange for the dark electroweak phase transition to be strongly first order, as required for this mechanism. Such a phenomenon may give rise to gravitational waves that are detectable through future space-based interferometers [53].

  • To analyse some minimal possibilities for how the dark asymmetry may be reprocessed into a visible asymmetry through various higher dimension portal interactions222For previous applications of asymmetry transfer through effective operator portal interactions in ADM models, see [39, 54, 55]. We also note Ref. [24], in which the renormalisable neutrino portal is responsible for asymmetry transfer following dark electroweak baryogenesis in a dark sector with a mirror gauge group and two Higgs doublets.. We also discuss the generation of these asymmetries, and contend that there should be sufficient CPCP violation in the dark CKM matrix to produce the required baryon asymmetry.

  • To continue to analyse the quite difficult problem of how observational constraints on dark radiation may be obeyed in such a theory. One of our goals here is to present a clear account of the challenges in achieving this aim without introducing fine-tuning that is as bad or worse than the cosmological coincidence puzzle of Eq. 1.

The remainder of this paper is structured as follows: In Sec. II we outline the model and provide some theoretical and experimental constraints on the parameters of the theory. These will help guide our search in Sec. III, where we analyse the dynamics of the dark electroweak phase transition and identify areas of parameter space for which the transition is strongly first-order. Such a transition is necessary to allow for the generation of a dark baryon asymmetry through electroweak baryogenesis. In Sec. IV we discuss the generation of this asymmetry and consider its partial reprocessing into a visible baryon asymmetry through a number of effective operator portal interactions. In Sec. V we then analyse one of these possibilities – the “neutron portal” – in more detail, as it can also play a role in avoiding strong observational bounds on additional dark radiation. This introduces a number of difficulties, which we clearly outline, before providing some concluding remarks in Sec. VI.

II The Model and Constraints

As this work builds off the mirror two Higgs doublet model of Ref. [25], we do not provide a fully detailed description of the theory in this section. Rather, we summarise the salient details of the model so that the contents of this paper can be understood in isolation, as well as highlighting the points where we differ. We also provide some more specific restraints on the parameters of the model, and in particular on the couplings and mass terms in the scalar potential. These are especially relevant for Sec. III, where we determine whether the model can accommodate a strong first-order dark electroweak phase transition; the restrictions we discuss here will help guide our search through the large parameter space of the scalar sector.

The gauge group is SU(3)×\timesSU(2)×\timesU(1)×\timesSU(3)×{}^{\prime}\timesSU(2)×{}^{\prime}\timesU(1), where the mirror (dark) sector is a duplicated version of the standard model. The dark gauge groups and particles are indicated by primes. The dark particle content is a copy of the visible particle content, as required by a discrete Z2Z_{2} parity symmetry that exchanges SM particles with their dark counterparts. The particle transformation properties are given by

ϕϕ,GμGμ,fLfR,fRfL,\phi\leftrightarrow\phi^{\prime},\quad G^{\mu}\leftrightarrow G_{\mu}^{\prime},\quad f_{L}\leftrightarrow f_{R}^{\prime},\quad f_{R}\leftrightarrow f_{L}^{\prime}, (3)

where ϕ\phi, GμG^{\mu}, and ff are scalar, gauge, and fermion fields respectively. Note that as a parity symmetry, the Z2Z_{2} exchanges left-handed and right-handed particles. (The chirality flip feature is an aesthetic choice, and is not essential.)

qiLq_{iL} (𝟑,𝟐,16)(𝟏,𝟏,0)(\mathbf{3},\mathbf{2},-\frac{1}{6})(\mathbf{1},\mathbf{1},0) qiRq_{iR}^{\prime} (𝟏,𝟏,0)(𝟑,𝟐,16)(\mathbf{1},\mathbf{1},0)(\mathbf{3},\mathbf{2},-\frac{1}{6})
uiRu_{iR} (𝟑,𝟏,23)(𝟏,𝟏,0)(\mathbf{3},\mathbf{1},\frac{2}{3})(\mathbf{1},\mathbf{1},0) uiLu_{iL}^{\prime} (𝟏,𝟏,0)(𝟑,𝟏,23)(\mathbf{1},\mathbf{1},0)(\mathbf{3},\mathbf{1},\frac{2}{3})
diRd_{iR} (𝟑,𝟏,13)(𝟏,𝟏,0)(\mathbf{3},\mathbf{1},-\frac{1}{3})(\mathbf{1},\mathbf{1},0) diLd_{iL}^{\prime} (𝟏,𝟏,0)(𝟑,𝟏,13)(\mathbf{1},\mathbf{1},0)(\mathbf{3},\mathbf{1},-\frac{1}{3})
liLl_{iL} (𝟏,𝟐,12)(𝟏,𝟏,0)(\mathbf{1},\mathbf{2},-\frac{1}{2})(\mathbf{1},\mathbf{1},0) liRl_{iR}^{\prime} (𝟏,𝟏,0)(𝟏,𝟐,12)(\mathbf{1},\mathbf{1},0)(\mathbf{1},\mathbf{2},-\frac{1}{2})
eiRe_{iR} (𝟏,𝟏,1)(𝟏,𝟏,0)(\mathbf{1},\mathbf{1},-1)(\mathbf{1},\mathbf{1},0) eiLe_{iL}^{\prime} (𝟏,𝟏,0)(𝟏,𝟏,1)(\mathbf{1},\mathbf{1},0)(\mathbf{1},\mathbf{1},-1)
Φ1\Phi_{1} (𝟏,𝟐,0)(𝟏,𝟏,0)(\mathbf{1},\mathbf{2},0)(\mathbf{1},\mathbf{1},0) Φ1\Phi_{1}^{\prime} (𝟏,𝟏,0)(𝟏,𝟐,0)(\mathbf{1},\mathbf{1},0)(\mathbf{1},\mathbf{2},0)
Φ2\Phi_{2} (𝟏,𝟐,0)(𝟏,𝟏,0)(\mathbf{1},\mathbf{2},0)(\mathbf{1},\mathbf{1},0) Φ2\Phi_{2}^{\prime} (𝟏,𝟏,0)(𝟏,𝟐,0)(\mathbf{1},\mathbf{1},0)(\mathbf{1},\mathbf{2},0)
Table 1: The particle content and their representations under the mirror symmetric gauge group (SU(3)×\timesSU(2)×\timesU(1))×\times(SU(3)×{}^{\prime}\timesSU(2)×{}^{\prime}\timesU(1))

The total particle content of the model is given in Table 1. The fermion content consists of the standard model fermions and their dark partners. Note that unlike the original paper, we do not list right-handed singlet neutrinos and their partners. These were introduced to allow for asymmetry generation through thermal leptogenesis, whereas we will be considering dark electroweak baryogensis as the asymmetry creation mechanism.333Of course, we need to generate massive neutrinos somehow, but we may remain largely agnostic about the precise mechanism for present purposes, only requiring that it not dominate asymmetry generation and also not contribute significantly to washout. There are four scalars in the model: two Higgs doublets, Φ1\Phi_{1} and Φ2\Phi_{2}, along with their dark counterparts Φ1\Phi_{1}^{\prime} and Φ2\Phi_{2}^{\prime}. The additional Higgs doublets allow for the ASB mechanism [51] to be implemented; as a vital component of the model, understanding the mechanism will be central to constructing the scalar potential.

II.1 The scalar potential and asymmetric symmetry breaking

To introduce the ASB mechanism we first consider the scalar potential in an illustrative toy model. In addition to the mirror Z2Z_{2} symmetry exchanging Φ1\Phi_{1} and Φ2\Phi_{2} with Φ1\Phi_{1}^{\prime} and Φ2\Phi_{2}^{\prime}, we impose extra discrete Z2Z_{2} symmetries such that only terms with even numbers of a given scalar are allowed. Then, the scalar potential can be written in the form

VASB=λ1(Φ1Φ1+Φ1Φ1v22)2+λ2(Φ2Φ2+Φ2Φ2w22)2+κ1(Φ1Φ1)(Φ1Φ1)+κ2(Φ2Φ2)(Φ2Φ2)+σ1((Φ1Φ1)(Φ2Φ2)+(Φ1Φ1)(Φ2Φ2))+σ2(Φ1Φ1+Φ1Φ1+Φ2Φ2+Φ2Φ2v22w22)2.\begin{split}V_{\mathrm{ASB}}&=\lambda_{1}\left(\Phi_{1}^{\dagger}\Phi_{1}+\Phi_{1}^{\prime\dagger}\Phi_{1}^{\prime}-\frac{v^{2}}{2}\right)^{2}+\lambda_{2}\left(\Phi_{2}^{\dagger}\Phi_{2}+\Phi_{2}^{\prime\dagger}\Phi_{2}^{\prime}-\frac{w^{2}}{2}\right)^{2}\\ &+\kappa_{1}\left(\Phi_{1}^{\dagger}\Phi_{1}\right)\left(\Phi_{1}^{\prime\dagger}\Phi_{1}^{\prime}\right)+\kappa_{2}\left(\Phi_{2}^{\dagger}\Phi_{2}\right)\left(\Phi_{2}^{\prime\dagger}\Phi_{2}^{\prime}\right)\\ &+\sigma_{1}\left(\left(\Phi_{1}^{\dagger}\Phi_{1}\right)\left(\Phi_{2}^{\dagger}\Phi_{2}\right)+\left(\Phi_{1}^{\prime\dagger}\Phi_{1}^{\prime}\right)\left(\Phi_{2}^{\prime\dagger}\Phi_{2}^{\prime}\right)\right)\\ &+\sigma_{2}\left(\Phi_{1}^{\dagger}\Phi_{1}+\Phi_{1}^{\prime\dagger}\Phi_{1}^{\prime}+\Phi_{2}^{\dagger}\Phi_{2}+\Phi_{2}^{\prime\dagger}\Phi_{2}^{\prime}-\frac{v^{2}}{2}-\frac{w^{2}}{2}\right)^{2}.\end{split} (4)

In the parameter space region where each of [λ1,λ2,κ1,κ2,σ1,σ2][\lambda_{1},\lambda_{2},\kappa_{1},\kappa_{2},\sigma_{1},\sigma_{2}] are positive, the global minimum occurs when all terms are independently zero. This can be achieved by the following pattern of VEVs:

Φ1=[0v2],Φ1=0,Φ2=0,Φ2=[0w2].\begin{split}\expectationvalue{\Phi_{1}}=\begin{bmatrix}0\\ \frac{v}{\sqrt{2}}\end{bmatrix},\quad\expectationvalue{\Phi_{1}^{\prime}}=0,\\ \expectationvalue{\Phi_{2}}=0,\quad\expectationvalue{\Phi_{2}^{\prime}}=\begin{bmatrix}0\\ \frac{w}{\sqrt{2}}\end{bmatrix}.\end{split} (5)

This minimum clearly breaks the mirror Z2Z_{2} symmetry, with non-mirror partner Higgs doublets gaining nonzero VEVs in the two sectors. The motivation for breaking the mirror symmetry is to obtain differing particle masses in the visible and dark sectors. As the masses of the visible and dark baryons result from the QCD confinement energy of the SU(3) interaction in each sector, we want the QCD confinement scale in each sector – ΛQCD\Lambda_{\mathrm{QCD}} and ΛDM\Lambda_{\mathrm{DM}} – to differ.

This was explored in Ref. [51], which considered the evolution of the SU(3) gauge couplings α3\alpha_{3} and α3\alpha_{3}^{\prime}. At temperatures above the scale of mirror symmetry breaking, these couplings are equal; after the mirror symmetry is broken by the development of an asymmetric minimum, their running to low energies depends upon the spectrum of quark masses in each sector. Thanks to the asymmetric symmetry breaking minimum, these two spectra are independent, as the Higgs doublets that give masses to the quarks in each sector are not mirror partners. If the minimum is constructed such that wvw\gg v, then depending on the Yukawa couplings of the quarks to Φ2\Phi_{2}^{\prime}, a dark confinement scale ΛDM\Lambda_{\mathrm{DM}} a factor of a few higher than ΛQCD\Lambda_{\mathrm{QCD}} can be easily achieved. This is encapsulated in Fig. 1 of Ref. [25], which plots ΛDM\Lambda_{\mathrm{DM}} against the ratio between electroweak scales (ρw/v\rho\equiv w/v) for a selection of dark quark mass spectra.

While an asymmetric symmetry breaking minimum can be readily obtained for the toy scalar potential, the situation is more complex when the full scalar potential is considered. The most general mirror two-Higgs-doublet scalar potential – where we only impose the mirror Z2Z_{2} exchange symmetry – is given by

VM2HDM=m112(Φ1Φ1+Φ1Φ1)+m222(Φ2Φ2+Φ2Φ2)+(m122(Φ1Φ2+Φ1Φ2)+H.c.)+12z1((Φ1Φ1)2+(Φ1Φ1)2)+12z2((Φ2Φ2)2+(Φ2Φ2)2)+z3(Φ1Φ1Φ2Φ2+Φ1Φ1Φ2Φ2)+z4(Φ1Φ2Φ2Φ1+Φ1Φ2Φ2Φ1)+12z5((Φ1Φ2)2+(Φ1Φ2)2+H.c.)+[(z6Φ1Φ1+z7Φ2Φ2)Φ1Φ2+(z6Φ1Φ1+z7Φ2Φ2)Φ1Φ2+H.c.]+z8Φ1Φ1Φ1Φ1+z9Φ2Φ2Φ2Φ2+(z10Φ1Φ2Φ1Φ2+H.c.)+(z11Φ1Φ2Φ2Φ1+H.c.)+z12(Φ1Φ1Φ2Φ2+Φ1Φ1Φ2Φ2)+[(z13Φ1Φ1+z14Φ2Φ2)Φ1Φ2+(z13Φ1Φ1+z14Φ2Φ2)Φ1Φ2+H.c.].\begin{split}V_{\mathrm{M2HDM}}&=m_{11}^{2}\left(\Phi_{1}^{\dagger}\Phi_{1}+\Phi_{1}^{\prime\dagger}\Phi_{1}^{\prime}\right)+m_{22}^{2}\left(\Phi_{2}^{\dagger}\Phi_{2}+\Phi_{2}^{\prime\dagger}\Phi_{2}^{\prime}\right)\\ &+\left(m_{12}^{2}\left(\Phi_{1}^{\dagger}\Phi_{2}+\Phi_{1}^{\prime\dagger}\Phi_{2}^{\prime}\right)+H.c.\right)+\frac{1}{2}z_{1}\left(\left(\Phi_{1}^{\dagger}\Phi_{1}\right)^{2}+\left(\Phi_{1}^{\prime\dagger}\Phi_{1}^{\prime}\right)^{2}\right)\\ &+\frac{1}{2}z_{2}\left(\left(\Phi_{2}^{\dagger}\Phi_{2}\right)^{2}+\left(\Phi_{2}^{\prime\dagger}\Phi_{2}^{\prime}\right)^{2}\right)+z_{3}\left(\Phi_{1}^{\dagger}\Phi_{1}\Phi_{2}^{\dagger}\Phi_{2}+\Phi_{1}^{\prime\dagger}\Phi_{1}^{\prime}\Phi_{2}^{\prime\dagger}\Phi_{2}^{\prime}\right)\\ &+z_{4}\left(\Phi_{1}^{\dagger}\Phi_{2}\Phi_{2}^{\dagger}\Phi_{1}+\Phi_{1}^{\prime\dagger}\Phi_{2}^{\prime}\Phi_{2}^{\prime\dagger}\Phi_{1}^{\prime}\right)+\frac{1}{2}z_{5}\left(\left(\Phi_{1}^{\dagger}\Phi_{2}\right)^{2}+\left(\Phi_{1}^{\prime\dagger}\Phi_{2}^{\prime}\right)^{2}+H.c.\right)\\ &+\left[\left(z_{6}\Phi_{1}^{\dagger}\Phi_{1}+z_{7}\Phi_{2}^{\dagger}\Phi_{2}\right)\Phi_{1}^{\dagger}\Phi_{2}+\left(z_{6}\Phi_{1}^{\prime\dagger}\Phi_{1}^{\prime}+z_{7}\Phi_{2}^{\prime\dagger}\Phi_{2}^{\prime}\right)\Phi_{1}^{\prime\dagger}\Phi_{2}^{\prime}+H.c.\right]\\ &+z_{8}\Phi_{1}^{\dagger}\Phi_{1}\Phi_{1}^{\prime\dagger}\Phi_{1}^{\prime}+z_{9}\Phi_{2}^{\dagger}\Phi_{2}\Phi_{2}^{\prime\dagger}\Phi_{2}^{\prime}+\left(z_{10}\Phi_{1}^{\dagger}\Phi_{2}\Phi_{1}^{\prime\dagger}\Phi_{2}^{\prime}+H.c.\right)\\ &+\left(z_{11}\Phi_{1}^{\dagger}\Phi_{2}\Phi_{2}^{\prime\dagger}\Phi_{1}^{\prime}+H.c.\right)+z_{12}\left(\Phi_{1}^{\dagger}\Phi_{1}\Phi_{2}^{\prime\dagger}\Phi_{2}^{\prime}+\Phi_{1}^{\prime\dagger}\Phi_{1}^{\prime}\Phi_{2}^{\dagger}\Phi_{2}\right)\\ &+\left[\left(z_{13}\Phi_{1}^{\dagger}\Phi_{1}+z_{14}\Phi_{2}^{\dagger}\Phi_{2}\right)\Phi_{1}^{\prime\dagger}\Phi_{2}^{\prime}+\left(z_{13}\Phi_{1}^{\prime\dagger}\Phi_{1}^{\prime}+z_{14}\Phi_{2}^{\prime\dagger}\Phi_{2}^{\prime}\right)\Phi_{1}^{\dagger}\Phi_{2}+H.c.\right].\end{split} (6)

The large number of new terms prevents us from constructing the potential in such a way that its minimum exactly follows the asymmetric symmetry breaking pattern of Eq. 4. In general, the global minimum is given by

Φi=[0vi2],Φi=[0wi2]\expectationvalue{\Phi_{i}}=\begin{bmatrix}0\\ \frac{v_{i}}{\sqrt{2}}\end{bmatrix},\quad\expectationvalue{\Phi_{i}^{\prime}}=\begin{bmatrix}0\\ \frac{w_{i}}{\sqrt{2}}\end{bmatrix} (7)

meaning that all four doublets have nonzero VEVs. To recover the pattern of Eq. 4, we transform to a basis in which one Higgs doublet in each sector has a zero VEV. This “dual Higgs basis” is defined by

H1=v1Φ1+v2Φ2v,H2=v2Φ1+v1Φ2v,H1=w1Φ1+w2Φ2w,H2=w2Φ1+w1Φ2w,\begin{split}H_{1}=\frac{v_{1}^{*}\Phi_{1}+v_{2}^{*}\Phi_{2}}{v},\quad H_{2}=\frac{-v_{2}\Phi_{1}+v_{1}\Phi_{2}}{v},\\ H_{1}^{\prime}=\frac{w_{1}^{*}\Phi_{1}^{\prime}+w_{2}^{*}\Phi_{2}^{\prime}}{w},\quad H_{2}^{\prime}=\frac{-w_{2}\Phi_{1}^{\prime}+w_{1}\Phi_{2}^{\prime}}{w},\end{split} (8)

where

v=|v1|2+|v2|2,w=|w1|2+|w2|2.v=\sqrt{\absolutevalue{v_{1}}^{2}+\absolutevalue{v_{2}}^{2}},\quad w=\sqrt{\absolutevalue{w_{1}}^{2}+\absolutevalue{w_{2}}^{2}}. (9)

With these assignments, only H1H_{1} and H1H_{1}^{\prime} gain non-zero VEVs, and they will not be mirror partners if we have v1w1v_{1}\neq w_{1} and v2w2v_{2}\neq w_{2}.

We wish to maintain the desirable features of exact asymmetric symmetry breaking, where unrelated Higgs bosons are responsible for mass generation in each sector. Thus, we want H1H_{1} and H1H_{1}^{\prime} to be largely independent admixtures of Φ1()\Phi_{1}^{(\prime)} and Φ2()\Phi_{2}^{(\prime)}. This can be achieved by a global minimum that resembles the ASB minimum; that is, one where

v1v2,w1w2,w2v1.v_{1}\gg v_{2},\quad w_{1}\ll w_{2},\quad w_{2}\gg v_{1}. (10)

We will refer to this as the “ASB limit.”

To obtain it, we want to choose the parameters for VM2HDMV_{\mathrm{M2HDM}} such that the potential is of a similar form to VASBV_{\mathrm{ASB}}. Equating coefficients between the two potentials, we obtain

m112=λ1v2σ2(v2+w2),z1=2λ1+2σ2,z8=κ1+2λ1+2σ2,m222=λ2w2σ2(v2+w2),z2=2λ2+2σ2,z9=κ2+2λ2+2σ2,z3=σ1+2σ2,z12=2σ2.\begin{split}{m_{11}}^{2}=-\lambda_{1}v^{2}-\sigma_{2}(v^{2}+w^{2}),\quad z_{1}=2\lambda_{1}+2\sigma_{2},&\quad z_{8}=\kappa_{1}+2\lambda_{1}+2\sigma_{2},\\ {m_{22}}^{2}=-\lambda_{2}w^{2}-\sigma_{2}(v^{2}+w^{2}),\quad z_{2}=2\lambda_{2}+2\sigma_{2},&\quad z_{9}=\kappa_{2}+2\lambda_{2}+2\sigma_{2},\\ z_{3}=\sigma_{1}+2\sigma_{2},&\quad z_{12}=2\sigma_{2}.\\ \end{split} (11)

The other parameters in VM2HDMV_{\mathrm{M2HDM}} do not correspond with any terms in VASBV_{\mathrm{ASB}}. Thus, to approximately replicate the form of VASBV_{\mathrm{ASB}} in the full potential, we can initially apply a rough condition that these additional parameters are small with respect to those listed above; that is,

z1,z2,z3,z8,z9,z12z4,z5,z6,z7,z10,z11,z13,z14.z_{1},z_{2},z_{3},z_{8},z_{9},z_{12}\gg z_{4},z_{5},z_{6},z_{7},z_{10},z_{11},z_{13},z_{14}. (12)
Parameters Values
m112{m_{11}}^{2} (87GeV)2-(87~{}\mathrm{GeV})^{2}
m122{m_{12}}^{2} (90GeV)2-(90~{}\mathrm{GeV})^{2}
m222{m_{22}}^{2} (2600GeV)2-(2600~{}\mathrm{GeV})^{2}
z1z_{1}, z2z_{2} 0.129
z3z_{3}, z8z_{8}, z9z_{9}, z10z_{10} 0.8
z4z_{4}, z5z_{5}, z6z_{6}, z7z_{7}, z11z_{11}, z13z_{13}, z14z_{14} 0.01
z12z_{12} 1×1081\times 10^{-8}
Table 2: Benchmark parameter point for the full scalar potential, taken from Table 1 in Ref. [25].

To see how this might be applied, we consider the benchmark parameter point given in Table 1 of the original paper [25], which we reproduce in Table 2. Most of the parameters satisfy our rough condition, with two notable exceptions. First, z12z_{12} is by far the smallest coupling; this will be motivated when we consider the scalar masses of the theory. In addition, z10z_{10} is just as large as the other quartic couplings. Even though it does not correspond to any terms in the toy model potential, making z10z_{10} large does not alter the asymmetric symmetry breaking pattern of the minimum; the term (z10Φ1Φ2Φ1Φ2+H.c.)(z_{10}\Phi_{1}^{\dagger}\Phi_{2}\Phi_{1}^{\prime\dagger}\Phi_{2}^{\prime}+H.c.) contains both Higgs bosons that gain small VEVs, and thus only provides a small contribution to the potential at the asymmetric symmetry breaking minimum. By this logic, z4z_{4}, z5z_{5}, and z11z_{11} also do not necessarily have to be small. Thus, ensuring an asymmetric symmetry breaking pattern for the minimum of VM2HDMV_{\mathrm{M2HDM}} only requires

z1,z2,z3,z8,z9z6,z7,z11,z13,z14.z_{1},z_{2},z_{3},z_{8},z_{9}\gg z_{6},z_{7},z_{11},z_{13},z_{14}. (13)

This is rather a rough condition, and there will be more nuance in exactly how small these quartic couplings will need to be.

To conclude this discussion we note what happens for large values of the dark electroweak scale ww. As can be seen in Table 2, a valid parameter point can be achieved with only one to two orders of magnitude difference between the couplings (except for the aforementioned z12z_{12}). This benchmark point corresponds to w=7276w=7276 GeV, thirty times greater than the visible VEV v=246v=246 GeV. For values of ww one or more orders of magnitude larger than this, an issue will arise from the term (z14Φ1Φ2Φ2Φ2+h.c.)(z_{14}\Phi_{1}^{\dagger}\Phi_{2}\Phi_{2}^{\prime\dagger}\Phi_{2}^{\prime}+h.c.). Expanding around the VEV of Φ2\Phi_{2}^{\prime} we obtain the term (z14w22)Φ1Φ2(z_{14}{w_{2}}^{2})\Phi_{1}^{\dagger}\Phi_{2}, which will strongly alter the tree-level ASB minimum when z14w22z_{14}{w_{2}}^{2} is of the order of the larger scalar couplings. To preserve the asymmetric symmetry breaking pattern as we increase the value of ww, z14z_{14} must then be made smaller than 0.010.01.

II.2 Scalar masses

In deriving the masses of the scalar content of the model, we follow the original paper and define the field content of the doublets by

Φ1=[G1+12(v1+ϕ1+iG1)],Φ1=[I1+12(w1+ϕ1+ia1)],Φ2=[I2+12(v2+ϕ2+ia2)],Φ2=[G2+12(w2+ϕ2+iG2)].\begin{split}\Phi_{1}=\begin{bmatrix}G_{1}^{+}\\ \frac{1}{\sqrt{2}}(v_{1}+\phi_{1}+iG_{1})\end{bmatrix},&\quad\Phi_{1}^{\prime}=\begin{bmatrix}I_{1}^{+}\\ \frac{1}{\sqrt{2}}(w_{1}+\phi_{1}^{\prime}+ia_{1})\end{bmatrix},\\ \Phi_{2}=\begin{bmatrix}I_{2}^{+}\\ \frac{1}{\sqrt{2}}(v_{2}+\phi_{2}+ia_{2})\end{bmatrix},&\quad\Phi_{2}^{\prime}=\begin{bmatrix}{G_{2}^{+}}^{\prime}\\ \frac{1}{\sqrt{2}}(w_{2}+{\phi_{2}}^{\prime}+iG_{2})\end{bmatrix}.\end{split} (14)

Generically we obtain a 16 ×\times 16 mass matrix which produces 10 nonzero mass eigenstates when diagonalised. When working with real parameters in VM2HDMV_{\mathrm{M2HDM}}, there will only be mixing between fields at the same position in each doublet; thus, we only have to diagonalise four separate 4 ×\times 4 mass matrices. These four matrices each involve mixing between visible and dark fields, and thus the mass eigenstates are generically admixtures of visible and dark states.

This is an issue, as we require one of these states to serve as the SM Higgs boson hh, which must not mix strongly with any of the new scalars. We must especially avoid any dependence of the mass of hh on the dark scale ww. To see how this is achieved, we consider the mass mixing matrix for the ϕ\phi fields. These terms derive from Appendix A in the original paper, where we work in the ASB limit for the minimum; that is, we ignore terms involving the small VEVs v2v_{2} and w1w_{1}, and work only with real quartic couplings. We then obtain the mass matrix

12(ϕ1,ϕ2,ϕ1,ϕ2)(mϕ1ϕ1mϕ1ϕ2mϕ1ϕ1mϕ1ϕ2mϕ1ϕ2mϕ2ϕ2mϕ1ϕ2mϕ2ϕ2mϕ1ϕ1mϕ1ϕ2mϕ1ϕ1mϕ1ϕ2mϕ1ϕ2mϕ2ϕ2mϕ1ϕ2mϕ2ϕ2)(ϕ1ϕ2ϕ1ϕ2)\frac{1}{2}\left(\phi_{1},\phi_{2},\phi_{1}^{\prime},\phi_{2}^{\prime}\right)\begin{pmatrix}m_{\phi_{1}\phi_{1}}&m_{\phi_{1}\phi_{2}}&m_{\phi_{1}\phi_{1}^{\prime}}&m_{\phi_{1}\phi_{2}^{\prime}}\\ m_{\phi_{1}\phi_{2}}&m_{\phi_{2}\phi_{2}}&m_{\phi_{1}\phi_{2}^{\prime}}&m_{\phi_{2}\phi_{2}^{\prime}}\\ m_{\phi_{1}\phi_{1}^{\prime}}&m_{\phi_{1}\phi_{2}^{\prime}}&m_{\phi_{1}^{\prime}\phi_{1}^{\prime}}&m_{\phi_{1}^{\prime}\phi_{2}^{\prime}}\\ m_{\phi_{1}\phi_{2}^{\prime}}&m_{\phi_{2}\phi_{2}^{\prime}}&m_{\phi_{1}^{\prime}\phi_{2}^{\prime}}&m_{\phi_{2}^{\prime}\phi_{2}^{\prime}}\end{pmatrix}\begin{pmatrix}\phi_{1}\\ \phi_{2}\\ \phi_{1}^{\prime}\\ \phi_{2}^{\prime}\end{pmatrix} (15)

where

mϕ1ϕ1m112+32v12z1+12w22z12mϕ1ϕ2m122+32v12z6+12w22z14mϕ1ϕ1v1w2z13mϕ1ϕ2v1w2z12mϕ2ϕ2m222+12v12(z3+z4+z5)+12w22z9mϕ2ϕ112v1w2z10+12v1w2z11mϕ2ϕ2v1w2z14mϕ1ϕ1m112+12v12z8+12w22(z3+z4+z5)mϕ1ϕ2m122+12v12z13+32w22z7mϕ2ϕ2m222+12v12z12+32w22z2.\begin{split}m_{\phi_{1}\phi_{1}}&\simeq{m_{11}}^{2}+\frac{3}{2}v_{1}^{2}z_{1}+\frac{1}{2}w_{2}^{2}z_{12}\\ m_{\phi_{1}\phi_{2}}&\simeq{m_{12}}^{2}+\frac{3}{2}v_{1}^{2}z_{6}+\frac{1}{2}w_{2}^{2}z_{14}\\ m_{\phi_{1}\phi_{1}^{\prime}}&\simeq v_{1}w_{2}z_{13}\\ m_{\phi_{1}\phi_{2}^{\prime}}&\simeq v_{1}w_{2}z_{12}\\ m_{\phi_{2}\phi_{2}}&\simeq{m_{22}}^{2}+\frac{1}{2}v_{1}^{2}(z_{3}+z_{4}+z_{5})+\frac{1}{2}w_{2}^{2}z_{9}\\ \end{split}\quad\begin{split}m_{\phi_{2}\phi_{1}^{\prime}}&\simeq\frac{1}{2}v_{1}w_{2}z_{10}+\frac{1}{2}v_{1}w_{2}z_{11}\\ m_{\phi_{2}\phi_{2}^{\prime}}&\simeq v_{1}w_{2}z_{14}\\ m_{\phi_{1}^{\prime}\phi_{1}^{\prime}}&\simeq{m_{11}}^{2}+\frac{1}{2}v_{1}^{2}z_{8}+\frac{1}{2}w_{2}^{2}(z_{3}+z_{4}+z_{5})\\ m_{\phi_{1}^{\prime}\phi_{2}^{\prime}}&\simeq{m_{12}}^{2}+\frac{1}{2}v_{1}^{2}z_{13}+\frac{3}{2}w_{2}^{2}z_{7}\\ m_{\phi_{2}^{\prime}\phi_{2}^{\prime}}&\simeq{m_{22}}^{2}+\frac{1}{2}v_{1}^{2}z_{12}+\frac{3}{2}w_{2}^{2}z_{2}.\end{split} (16)

We consider the sizes of these terms given the constraint on relative parameter sizes from Eq. 13. We first note that the off-diagonal terms involving ϕ1\phi_{1} depend on couplings that we require to be small, with the exception of z12z_{12} in the term mϕ1ϕ2m_{\phi_{1}\phi_{2}^{\prime}}. In the diagonal mass term for ϕ1\phi_{1}, mϕ1ϕ1m_{\phi_{1}\phi_{1}}, z12z_{12} also controls the term’s dependence on w2w_{2}. So, setting z12z_{12} to be very small – as was done in the original paper’s benchmark point shown in Table. 2 – ensures that ϕ1\phi_{1} is decoupled from the dark electroweak scale, and has minimal mixing with any other scalars. This then means that there is a mass eigenstate composed primarily of ϕ1\phi_{1}, which we denote as hh and identify as the SM Higgs boson.

With z12z_{12} small, the off-diagonal terms involving ϕ2\phi_{2}^{\prime} are also relatively small, so we identify the dark Higgs boson hh^{\prime} as the mass eigenstate composed predominantly of ϕ2\phi_{2}^{\prime}. The level of mixing between the remaining neutral real scalars, ϕ2\phi_{2} and ϕ1\phi_{1}^{\prime}, is controlled by z10z_{10}. As we noted earlier, this coupling is relatively large in the given benchmark point; this allows for the other two mass eigenstates to be heavy, as their masses depend on the dark electroweak scale ww. As in the original paper, we denote these eigenstates as J10J_{1}^{0} and J20J_{2}^{0}. We take a similar approach with the remaining mass eigenstates. Following the original paper, we name them A10A_{1}^{0}, A20A_{2}^{0}, H±H^{\pm}, and H±H^{\pm\prime}; they too couple to the dark electroweak scale ww and are thus much heavier than the visible Higgs boson hh. This allows the low-energy scalar sector of this theory to contain solely an SM Higgs state, and is also relevant for meeting constraints from flavour-changing neutral current measurements.

II.3 Yukawa couplings and flavour-changing neutral currents

The Yukawa sector of this theory is given by

Y=y1iju(qLi¯uRjΦ1+qRi¯uLjΦ1)+y1ijd(qLi¯dRjΦ~1+qRi¯dLjΦ~1)+y1ijl(lLi¯eRjΦ~1+lRi¯eLjΦ~1)+y2iju(qLi¯uRjΦ2+qRi¯uLjΦ2)+y2ijd(qLi¯dRjΦ~2+qRi¯dLjΦ~2)+y2ijl(lLi¯eRjΦ~2+lRi¯eLjΦ~2)+H.c.\begin{split}-\mathcal{L}_{Y}&=y_{1ij}^{u}(\bar{q_{L}^{i}}u_{R}^{j}\Phi_{1}+\bar{q_{R}^{i\prime}}u_{L}^{j\prime}\Phi_{1}^{\prime})+y_{1ij}^{d}(\bar{q_{L}^{i}}d_{R}^{j}\tilde{\Phi}_{1}+\bar{q_{R}^{i\prime}}d_{L}^{j\prime}\tilde{\Phi}_{1}^{\prime})+y_{1ij}^{l}(\bar{l_{L}^{i}}e_{R}^{j}\tilde{\Phi}_{1}+\bar{l_{R}^{i\prime}}e_{L}^{j\prime}\tilde{\Phi}_{1}^{\prime})\\ &+y_{2ij}^{u}(\bar{q_{L}^{i}}u_{R}^{j}\Phi_{2}+\bar{q_{R}^{i\prime}}u_{L}^{j\prime}\Phi_{2}^{\prime})+y_{2ij}^{d}(\bar{q_{L}^{i}}d_{R}^{j}\tilde{\Phi}_{2}+\bar{q_{R}^{i\prime}}d_{L}^{j\prime}\tilde{\Phi}_{2}^{\prime})+y_{2ij}^{l}(\bar{l_{L}^{i}}e_{R}^{j}\tilde{\Phi}_{2}+\bar{l_{R}^{i\prime}}e_{L}^{j\prime}\tilde{\Phi}_{2}^{\prime})+H.c.\end{split} (17)

where Φ~=iτ2Φ\tilde{\Phi}=i\tau_{2}\Phi^{\star}. We note that the mirror symmetry enforces the Yukawa couplings of a doublet and its mirror counterpart to be equal.

We are interested in how these couplings generate quark masses, as it is the quark mass spectrum in each sector that affects the running of α3\alpha_{3} and α3\alpha_{3}^{\prime} and allows us to achieve different visible and dark QCD scales after the mirror symmetry is broken. So, we work in the Higgs basis of Eq. 8, where only H1H_{1} and H1H_{1}^{\prime} gain VEVs. Then, the relevant Yukawa matrices are given by

y~1q=VLq(v1y1q+v2y2qv)VRq,y~2q=VLq(v2y1q+v1y2qv)VRq,y~1q=WLq(w1y1q+w2y2qw)WRq,y~2q=WLq(w2y1q+w1y2qw)WRq,\begin{split}\tilde{y}_{1}^{q}=V_{L}^{q}\left(\frac{v_{1}y_{1}^{q}+v_{2}y_{2}^{q}}{v}\right)V_{R}^{q\dagger},\quad&\tilde{y}_{2}^{q}=V_{L}^{q}\left(\frac{-v_{2}y_{1}^{q}+v_{1}y_{2}^{q}}{v}\right)V_{R}^{q\dagger},\\ \tilde{y}_{1}^{q\prime}=W_{L}^{q}\left(\frac{w_{1}y_{1}^{q}+w_{2}y_{2}^{q}}{w}\right)W_{R}^{q\dagger},\quad&\tilde{y}_{2}^{q\prime}=W_{L}^{q}\left(\frac{-w_{2}y_{1}^{q}+w_{1}y_{2}^{q}}{w}\right)W_{R}^{q\dagger},\end{split} (18)

where q=u,dq=u,d, and y~iq()\tilde{y}_{i}^{q(\prime)} is the Yukawa matrix for couplings between Hi()H_{i}^{(\prime)} and either up- or down-type quarks. VL,RqV_{L,R}^{q} and WL,RqW_{L,R}^{q} are the left- and right-handed matrices that respectively diagonalise y~1q\tilde{y}_{1}^{q} and y~1q\tilde{y}_{1}^{q\prime}.

The Yukawa matrices relevant for generating quark masses in each sector are y~1q\tilde{y}_{1}^{q} and y~1q\tilde{y}_{1}^{q\prime}. In the ASB limit of Eq. 10, we see that the visible and dark quark masses depend primarily on y1qy_{1}^{q} and y2qy_{2}^{q}, respectively. This is just the statement that Φ1\Phi_{1} and Φ2\Phi_{2}^{\prime} are the doublets primarily responsible for mass generation in their respective sectors, allowing the quark mass spectrum in each sector to be largely independent.

The secondary Yukawa matrices in each sector are not diagonal. This leads to flavour-changing neutral currents at tree-level, which are strongly suppressed in the SM and are subject to strict experimental constraints [56]. This is often controlled in 2HDMs by introducing additional discrete symmetries to restrict which types of quarks each doublet can couple to; in effect, this equates to setting some of y1qy_{1}^{q} and y2qy_{2}^{q} to zero. However, in our case all of these matrices are relevant for mass generation, and must be nonzero. Thus, in the visible sector Φ1\Phi_{1} and Φ2\Phi_{2} will both couple to all quarks; this corresponds to a type III 2HDM, in which tree-level FCNCs are present, and must be sufficiently suppressed.

The original paper quoted an approximate result from [57], where FCNC bounds were avoided in a Type III 2HDM for mH2150m_{H_{2}}\gtrsim 150 TeV. However, this bound was obtained under the assumptions that all Yukawa couplings of H2H_{2} were the size of the SM top quark coupling. The more realistic Yukawa coupling selection in this model leads to much less stringent bounds [58, 59]; we follow the guide of the original paper, in which all stated mass values for the additional scalars are heavy enough to sufficiently suppress FCNCs. We then ensure that we consider parameter points where all additional scalars have masses at least as large as those given in Table 1 of Ref. [25].

III Dark Electroweak Phase Transition

To address the apparent coincidence of cosmological mass densities of Eq. 1, a comprehensive dark matter theory must explain why both the particle masses and number densities of visible and dark matter are similar. As outlined in the previous section, the asymmetric symmetry breaking structure of the mirror two Higgs doublet model allows for a dark neutron-like particle with a mass a factor of a few larger than the visible proton. With the particle masses thus linked, we now need to produce related number densities nVMn_{\mathrm{VM}} and nDMn_{\mathrm{DM}}.

In this section we implement electroweak baryogenesis (EWBG) as the asymmetry generation mechanism [60]. EWBG occurs at a first-order electroweak phase transition (EWPT), where the transition proceeds by bubble nucleation. The Sakharov conditions [61] are satisfied by out-of-equilibrium CC- and CPCP-violating Yukawa interactions at the bubble walls together with BB-violating electroweak sphaleron processes, and thus a baryon asymmetry is generated during the transition.

While all these ingredients are present within the SM, the visible electroweak phase transition (vEWPT) is crossover, not first-order [62]. Even if that was not so, the CPCP-violation in the SM Yukawa matrix would be insufficient to generate the required asymmetry [63]. In our model, however, there will be a dark electroweak phase transition (dEWPT) in which the Φ2\Phi_{2}^{\prime} gains a VEV of order ww. Its dynamics are controlled by the scalar and Yukawa couplings of the second Higgs doublet, which are only very weakly constrained by SM measurements. So, we should have the flexibility to successfully implement EWBG at the dEWPT, thus generating an asymmetry in the dark baryon number BB^{\prime} and/or dark lepton number LL^{\prime}.

In this section we analyse the dynamics of the dEWPT, searching for parameter selections for the scalar potential VM2HDMV_{\mathrm{M2HDM}} of Eq. 6 such that we obtain a first-order electroweak phase transition that could allow for EWBG in the dark sector. We begin by constructing the finite temperature effective potential, and then specify the method by which we search for valid dark phase transitions. We find that for a number of regions of parameter space, a viable first-order EWPT can be readily achieved in the dark sector.

III.1 The finite temperature effective potential

We begin by constructing the finite temperature effective potential (FTEP) [64, 65], our perturbative tool for analysing the dEWPT.

The one-loop effective potential is calculated in terms of a constant background classical field φ\varphi, and is given in general by

Veff(φ,T)=V0(φ)+V1(φ,0)+ΔV1(φ,T),V_{\mathrm{eff}}(\varphi,T)=V_{0}(\varphi)+V_{1}(\varphi,0)+\Delta V_{1}(\varphi,T), (19)

where the zero-loop contribution V0(φ)V_{0}(\varphi) is just the classical tree-level potential and the one-loop contributions are split into zero-temperature and finite temperature corrections.

For our mirror two-Higgs-doublet model, the FTEP will be a function of four variables – φ1\varphi_{1}, φ2\varphi_{2}, φ1\varphi_{1}^{\prime}, and φ2\varphi_{2}^{\prime} – as we require a real constant classical background field for each field that gains a VEV. We define the shorthand notation f(φ)f(φ1,φ2,φ1,φ2)f(\varphi)\equiv f(\varphi_{1},\varphi_{2},\varphi_{1}^{\prime},\varphi_{2}^{\prime}) for any function ff. The background fields are incorporated by defining

Φ1=[G1+12(φ1+ϕ1+iG1)],Φ1=[I1+12(φ1+ϕ1+ia1)],Φ2=[I2+12(φ2+ϕ2+ia2)],Φ2=[G2+12(φ2+ϕ2+iG2)].\begin{split}\Phi_{1}=\begin{bmatrix}G_{1}^{+}\\ \frac{1}{\sqrt{2}}(\varphi_{1}+\phi_{1}+iG_{1})\end{bmatrix},&\quad\Phi_{1}^{\prime}=\begin{bmatrix}I_{1}^{+}\\ \frac{1}{\sqrt{2}}(\varphi_{1}^{\prime}+\phi_{1}^{\prime}+ia_{1})\end{bmatrix},\\ \Phi_{2}=\begin{bmatrix}I_{2}^{+}\\ \frac{1}{\sqrt{2}}(\varphi_{2}+\phi_{2}+ia_{2})\end{bmatrix},&\quad\Phi_{2}^{\prime}=\begin{bmatrix}{G_{2}^{+}}^{\prime}\\ \frac{1}{\sqrt{2}}(\varphi_{2}^{\prime}+{\phi_{2}}^{\prime}+iG_{2})\end{bmatrix}.\end{split} (20)

Expanding VM2HDMV_{\mathrm{M2HDM}} using the above definitions and assuming real parameters, the tree-level component of the FTEP is given by

V0(φ)=12m112(φ12+φ12)+12m222(φ22+φ22)+m122(φ1φ2+φ1φ2)+18z1(φ14+φ14)+18z2(φ24+φ24)+14(z3+z4+z5)(φ12φ22+φ12φ22)+12z6(φ13φ2+φ13φ2)+12z7(φ1φ23+φ1φ23)+14z8φ12φ12+14z9φ22φ22+12(z10+z11)φ1φ2φ1φ2+14z12(φ12φ22+φ12φ22)+12z13(φ12φ1φ2+φ12φ1φ2)+12z14(φ22φ1φ2+φ22φ1φ2).\begin{split}V_{0}(\varphi)&=\frac{1}{2}m_{11}^{2}\left({\varphi_{1}}^{2}+{\varphi_{1}^{\prime}}^{2}\right)+\frac{1}{2}m_{22}^{2}\left({\varphi_{2}}^{2}+{\varphi_{2}^{\prime}}^{2}\right)+m_{12}^{2}\left(\varphi_{1}\varphi_{2}+\varphi_{1}^{\prime}\varphi_{2}^{\prime}\right)\\ &+\frac{1}{8}z_{1}\left({\varphi_{1}}^{4}+{\varphi_{1}^{\prime}}^{4}\right)+\frac{1}{8}z_{2}\left({\varphi_{2}}^{4}+{\varphi_{2}^{\prime}}^{4}\right)+\frac{1}{4}\left(z_{3}+z_{4}+z_{5}\right)\left({\varphi_{1}}^{2}{\varphi_{2}}^{2}+{\varphi_{1}^{\prime}}^{2}{\varphi_{2}^{\prime}}^{2}\right)\\ &+\frac{1}{2}z_{6}\left({\varphi_{1}}^{3}\varphi_{2}+{\varphi_{1}^{\prime}}^{3}\varphi_{2}^{\prime}\right)+\frac{1}{2}z_{7}\left(\varphi_{1}{\varphi_{2}}^{3}+\varphi_{1}^{\prime}{\varphi_{2}^{\prime}}^{3}\right)+\frac{1}{4}z_{8}{\varphi_{1}}^{2}{\varphi_{1}^{\prime}}^{2}+\frac{1}{4}z_{9}{\varphi_{2}}^{2}{\varphi_{2}^{\prime}}^{2}\\ &+\frac{1}{2}\left(z_{10}+z_{11}\right)\varphi_{1}\varphi_{2}\varphi_{1}^{\prime}\varphi_{2}^{\prime}+\frac{1}{4}z_{12}\left({\varphi_{1}}^{2}{\varphi_{2}^{\prime}}^{2}+{\varphi_{1}^{\prime}}^{2}{\varphi_{2}}^{2}\right)\\ &+\frac{1}{2}z_{13}\left({\varphi_{1}}^{2}\varphi_{1}^{\prime}\varphi_{2}^{\prime}+{\varphi_{1}^{\prime}}^{2}\varphi_{1}\varphi_{2}\right)+\frac{1}{2}z_{14}\left({\varphi_{2}}^{2}\varphi_{1}^{\prime}\varphi_{2}^{\prime}+{\varphi_{2}^{\prime}}^{2}\varphi_{1}\varphi_{2}\right).\end{split} (21)

III.1.1 One-loop corrections and renormalisation

The one-loop corrections V1(φ,0)V_{1}(\varphi,0) and ΔV1(φ,T)\Delta V_{1}(\varphi,T) are calculated using the Coleman-Weinberg [66] and finite temperature [67] methods respectively, and are given by

V1(φ,0)=i±ni2d4p(2π)4log(p2+mi2(φ)),ΔV1(φ,T)=T42π2i±niJ±(mi2(φ)T2),\begin{split}V_{1}(\varphi,0)&=\sum_{i}\pm\frac{n_{i}}{2}\int\frac{d^{4}p}{(2\pi)^{4}}\log\left(p^{2}+m_{i}^{2}(\varphi)\right),\\ \Delta V_{1}(\varphi,T)&=\frac{T^{4}}{2\pi^{2}}\sum_{i}\pm n_{i}J_{\pm}\left(\frac{{m_{i}}^{2}(\varphi)}{T^{2}}\right),\end{split} (22)

where ii counts over all particle species with ++ for bosons and - for fermions, and nin_{i} and mi(φ)m_{i}(\varphi) are the multiplicity and field-dependent mass of species ii. The thermal functions J±(y2)J_{\pm}(y^{2}) are given by

J±(y2)0𝑑xx2log(1ex2+y2),J_{\pm}(y^{2})\equiv\int_{0}^{\infty}dx\;x^{2}\log\left(1\mp e^{-\sqrt{x^{2}+y^{2}}}\right), (23)

and will be calculated numerically via the package CosmoTransitions [68].

Before specifying a renormalisation scheme for the UV-divergent integral V1(φ,0)V_{1}(\varphi,0), we calculate the field-dependent masses mi2(φ){m_{i}}^{2}(\varphi). The scalar boson mass matrix is obtained from VM2HDMV_{\mathrm{M2HDM}} given the field definitions from Eq. 20. The Goldstone bosons that are massless at the tree-level minimum will not be massless in general when we expand around the background fields, and thus must be included in the one-loop corrections. In total, 16 scalars are included: the six neutral mass eigenstates hh, hh^{\prime}, A10A_{1}^{0}, A20A_{2}^{0}, J10J_{1}^{0}, and J20J_{2}^{0}, four charged scalars H±H^{\pm} and H±{H^{\pm}}^{\prime}, and six Goldstone bosons G0G^{0}, G±G^{\pm}, G0{G^{0}}^{\prime}, and G±{G^{\pm}}^{\prime}, each with a multiplicity of one.

In the visible sector the gauge boson mass matrix with respect to the basis W±W^{\pm}, W3W^{3}, BB is [69]

gauge=φ12+φ224(g20000g20000g2gg00ggg2)\mathcal{M}_{\mathrm{gauge}}=\frac{{\varphi_{1}}^{2}+{\varphi_{2}}^{2}}{4}\begin{pmatrix}g^{2}&0&0&0\\ 0&g^{2}&0&0\\ 0&0&g^{2}&gg^{\prime}\\ 0&0&gg^{\prime}&{g^{\prime}}^{2}\end{pmatrix} (24)

By mirror symmetry, the dark gauge bosons have an equivalent mass matrix with respect to the basis W±{W^{\pm}}^{\prime}, W3{W^{3}}^{\prime}, BB^{\prime}, with φ1\varphi_{1}^{\prime} and φ2\varphi_{2}^{\prime} replacing φ1\varphi_{1} and φ2\varphi_{2}. All gauge bosons have multiplicity three, corresponding to one longitudinal and two transverse modes.

The mass of the top quark dominates the contributions from the visible fermions, and is given by

mt2(φ)=12(y1tφ12+y2tφ22),{m_{t}}^{2}(\varphi)=\frac{1}{2}(y_{1}^{t}{\varphi_{1}}^{2}+y_{2}^{t}{\varphi_{2}}^{2}), (25)

where yity_{i}^{t} indicates the Yukawa coupling of the doublet Φi\Phi_{i} to the top quark. In the dark sector, the heaviest quark is not necessarily the mirror partner of the visible top quark. We denote the Yukawa couplings of the heaviest dark quark by yihy_{i}^{h}, and obtain its mass by replacing yity_{i}^{t}, φ1\varphi_{1} and φ2\varphi_{2} with yihy_{i}^{h}, φ1\varphi_{1}^{\prime} and φ2\varphi_{2}^{\prime} respectively in the above equation. Since only Φ2\Phi_{2}^{\prime} gains a VEV during the dEWPT, y2hy_{2}^{h} is the relevant parameter when considering the fermionic contributions to the FTEP; its value depends on the choice of dark Yukawa couplings. The multiplicities of the top quark and heaviest dark quark are both 12.

With the field-dependent masses determined, the next point to address is the choice of renormalisation scheme for the zero-temperature one-loop corrections. We will use a cutoff regularisation scheme444This scheme differs from the standard MS¯\overline{MS} dimensional regularisation commonly applied in two-Higgs-doublet models. This is due to the disparate electroweak scales in our model, vv and ww, which lead to the FTEP being highly sensitive to the choice of renormalisation scale μ\mu. In particular, the tree-level minimum will change drastically for differing values of μ\mu, whereas cutoff regularisation automatically preserves tree-level minima. given by

V1(φ,0)=i±ni64π2[mi4(φ)(logmi2(φ)mi2(v)32)+mi2(φ)mi2(v)],V_{1}(\varphi,0)=\sum_{i}\pm\frac{n_{i}}{64\pi^{2}}\left[{m_{i}}^{4}(\varphi)\left(\log\frac{{m_{i}}^{2}(\varphi)}{{m_{i}}^{2}(v)}-\frac{3}{2}\right)+{m_{i}}^{2}(\varphi){m_{i}}^{2}(v)\right], (26)

where mi2(v){m_{i}}^{2}(v) indicates that the mass is calculated at the tree-level minimum given by φi=vi\varphi_{i}=v_{i} and φi=wi\varphi_{i}^{\prime}=w_{i}.

However, log(mi2(φ)/mi2(v))\log({m_{i}}^{2}(\varphi)/{m_{i}}^{2}(v)) is logarithmically divergent for i=G0i=G^{0}, G±G^{\pm}, G0{G^{0}}^{\prime}, and G±{G^{\pm}}, as the Goldstone bosons are massless at the tree-level minimum, . This has been addressed in both the standard model [70] and a two-Higgs-doublet model [71]; the issue is alleviated by adjusting the Goldstone contributions to be

i=G0,G±ni64π2[mi4(φ)(logmi2(φ)mIR2(v)32)],\sum_{i=G^{0},G^{\pm}}\frac{n_{i}}{64\pi^{2}}\left[{m_{i}}^{4}(\varphi)\left(\log\frac{{m_{i}}^{2}(\varphi)}{{m_{\mathrm{IR}}}^{2}(v)}-\frac{3}{2}\right)\right], (27)

where mIR2(v){m_{\mathrm{IR}}}^{2}(v) is some infrared mass scale that both references take to be mh2(v){m_{h}}^{2}(v), the mass of the SM Higgs boson. We adapt this condition to our situation by choosing mIR2(v){m_{\mathrm{IR}}}^{2}(v) to be mh2(v){m_{h}}^{2}(v) for the visible Goldstone bosons G0{G^{0}} and G±{G^{\pm}}, and mh2(v){m_{h}^{\prime}}^{2}(v) for the dark Goldstone bosons G0{G^{0}}^{\prime} and G±{G^{\pm}}^{\prime}.

So, altogether, the one-loop corrections are given at zero temperature by

V1(φ,0)=i±ni64π2[mi4(φ)(logmi2(φ)mi2(v)32)+mi2(φ)mi2(v)]+i=G0,G±ni64π2[mi4(φ)(logmi2(φ)mh2(v)32)]+i=G0,G±ni64π2[mi4(φ)(logmi2(φ)mh2(v)32)],\begin{split}V_{1}(\varphi,0)&=\sum_{i\in\mathcal{F}}\pm\frac{n_{i}}{64\pi^{2}}\left[{m_{i}}^{4}(\varphi)\left(\log\frac{{m_{i}}^{2}(\varphi)}{{m_{i}}^{2}(v)}-\frac{3}{2}\right)+{m_{i}}^{2}(\varphi){m_{i}}^{2}(v)\right]\\ &+\sum_{i=G^{0},G^{\pm}}\frac{n_{i}}{64\pi^{2}}\left[{m_{i}}^{4}(\varphi)\left(\log\frac{{m_{i}}^{2}(\varphi)}{{m_{h}}^{2}(v)}-\frac{3}{2}\right)\right]\\ &+\sum_{i={G^{0}}^{\prime},{G^{\pm}}^{\prime}}\frac{n_{i}}{64\pi^{2}}\left[{m_{i}}^{4}(\varphi)\left(\log\frac{{m_{i}}^{2}(\varphi)}{{m_{h}^{\prime}}^{2}(v)}-\frac{3}{2}\right)\right],\end{split} (28)

where =[h,h,A10,A20,J10,J20,H±,H±,W±,Z,W±,Z,t,t]\mathcal{F}=[h,h^{\prime},A_{1}^{0},A_{2}^{0},J_{1}^{0},J_{2}^{0},H^{\pm},{H^{\pm}}^{\prime},W^{\pm},Z,{W^{\pm}}^{\prime},Z^{\prime},t,t^{\prime}] lists all species except the Goldstone bosons.

III.1.2 Thermal masses

To be able to trust our perturbative calculations at the critical temperature, we need to apply a daisy resummation procedure to account for higher-loop corrections. Considering the one-loop corrections as a function of the field-dependent masses,

V1(mi2(φ),T)V1(φ,0)+ΔV1(φ,T),V_{1}({m_{i}}^{2}(\varphi),T)\equiv V_{1}(\varphi,0)+\Delta V_{1}(\varphi,T), (29)

the standard resummation methods according to Parwani [72] and Arnold and Espinosa [73]) produce

V1,P=V1(mi2(φ,T),T)V_{1,\mathrm{P}}=V_{1}({m_{i}}^{2}(\varphi,T),T) (30)

and

V1,AE=V1(mi2(φ),T)+T12πi=bosonsni[mi3(φ)mi3(φ,T)]V_{1,\mathrm{A-E}}=V_{1}({m_{i}}^{2}(\varphi),T)+\frac{T}{12\pi}\sum_{i=\mathrm{bosons}}n_{i}\left[{m_{i}}^{3}(\varphi)-{m_{i}}^{3}(\varphi,T)\right] (31)

respectively.

These expressions require the calculation of the thermal masses mi2(φ,T){m_{i}}^{2}(\varphi,T). Only scalars and the longitudinal components of the gauge bosons gain thermal masses. These are calculated by adding thermal correction matrices to the scalar and gauge boson mass matrices prior to diagonalisation [74]. For the scalars, this is given by

(δscalar)ij=T224icini2mi2(φ)φiφj(\delta\mathcal{M}_{\mathrm{scalar}})_{ij}=\frac{T^{2}}{24}\sum_{i}c_{i}n_{i}\frac{\partial^{2}{m_{i}}^{2}(\varphi)}{\partial\varphi_{i}\partial\varphi_{j}} (32)

where cic_{i} is 11 for bosons and 1/2-1/2 for fermions, and φi\varphi_{i} runs over all four background fields φ1\varphi_{1}, φ2\varphi_{2}, φ1\varphi_{1}^{\prime}, and φ2\varphi_{2}^{\prime}. For the gauge bosons, the thermal correction matrix is

δgauge=2T2(g20000g20000g20000g2).\delta\mathcal{M}_{\mathrm{gauge}}=2T^{2}\begin{pmatrix}g^{2}&0&0&0\\ 0&g^{2}&0&0\\ 0&0&g^{2}&0\\ 0&0&0&{g^{\prime}}^{2}\end{pmatrix}. (33)

III.2 Characterising the phase transition

With the effective potential in hand, we can now determine the properties of the dEWPT. To allow for electroweak baryogenesis, we search for phase transitions that are first-order – that is, where the effective potential develops multiple minima separated by energy barriers. Such a transition is characterised by the critical temperature TCT_{C}, determined by

Veff(0)|T=TC=Veff(ϕC)|T=TC,V_{\mathrm{eff}}(0)|_{T=T_{C}}=V_{\mathrm{eff}}(\phi_{C})|_{T=T_{C}}, (34)

where ϕC\phi_{C} indicates the field values at the symmetry-breaking minimum at T=TCT=T_{C}. The other relevant parameter of the phase transition is its strength, given by ξ=ϕC/TC\xi=\phi_{C}/T_{C}. For the dark baryon asymmetry to avoid being washed out following the dEWPT, the sphaleron rate must be sufficiently suppressed; this corresponds to the condition ξ1\xi\gtrsim 1, or that the phase transition is strongly first-order555While this is the conventional criterion used to avoid sphaleron washout in electroweak baryogenesis theories, it is not gauge invariant; both ϕC\phi_{C} and TCT_{C} suffer gauge dependence when calculated to a finite order of perturbation theory [75, 76]. Despite this, it remains in use in the literature, including in 2HDM implementations of EWBG (see e.g. [77, 78])..

In this section we describe our method for calculating these properties and identifying strong first-order phase transitions. A number of difficulties arise in this discussion that produce non-negligible theoretical uncertainties in our calculations; however, we find that these are manageable, as we are not aiming to precisely calculate the strength of phase transition, but are merely ensuring that the bound ξ1\xi\gtrsim 1 is satisfied.

III.2.1 Finding the critical temperature

The actual temperature at which a first-order EWPT commences is the nucleation temperature TNT_{N}, where tunnelling between the minima occurs at a sufficient rate for bubbles of broken phase to be nucleated. This is a difficult quantity to precisely determine, and requires calculation of tunnelling probabilities and bubble profiles that are beyond the scope of this analysis [79]. TCT_{C} is much easier to determine, and is a common stand-in when analysing first-order phase transitions, as it usually lies just above TNT_{N}.

We now describe an algorithm for finding TCT_{C}. At T=0T=0, the global minimum of the effective potential is given by the ASB limit φi=vi\varphi_{i}=v_{i}, φi=wi\varphi_{i}^{\prime}=w_{i} where v1v2v_{1}\gg v_{2}, w2w1w_{2}\gg w_{1}, and w2v1w_{2}\gg v_{1}. At very high temperatures, the only minimum of the effective potential is at the origin. To identify a dark first-order transition, we track the value of φ2\varphi_{2}^{\prime} at the minimum of Veff(φ,T)V_{\mathrm{eff}}(\varphi,T), denoting this quantity as w2(T)w_{2}(T). As TT increases, we observe that w2(T)w_{2}(T) decreases from w2w_{2} at T=0T=0 until a given temperature at which it has a sudden discontinuity and drops to the symmetric phase where w2(T)0w_{2}(T)\sim 0. The temperature at which this drop occurs is the critical temperature TCT_{C}. We take the transition strength to be

ξ=w2(TC)/TC,\xi=w_{2}(T_{C})/T_{C}, (35)

as all other background field values are much smaller than φ2\varphi_{2}^{\prime} at the asymmetric minimum near the dEWPT.

To find the temperature at which the drop occurs, we start at T=0T=0 and begin by increasing the temperature with a large step size (on the order of w2w_{2}). At each new temperature TT, we calculate w2(T)w_{2}(T) by numerically finding the minimum of the effective potential using the methods provided by the coding package CosmoTransitions. When w2(T)w_{2}(T) jumps to being very small (we use the condition that w2(T)<1w_{2}(T)<1 GeV), the symmetric minimum is now the global minimum. We then decrease the step size by an order of magnitude and begin decreasing the temperature until the asymmetric minimum becomes the global minimum again and w2(T)w_{2}(T) jumps back up to a large value. Repeating this process, we zero in with increasing accuracy on the temperature at which there is a discontinuity in w2(T)w_{2}(T), and we terminate the process when the step size is small enough that the critical temperature has been determined to a desired precision.

However, when we apply this algorithm we run into an issue: for many parameter values of interest, w2(T)w_{2}(T) undergoes not one but two discontinuities as the temperature changes. This corresponds to the presence of a second asymmetric minimum between the symmetric minimum and the main asymmetric minimum in regions near the critical temperature. This extra minimum can be seen in Fig. 1, where we plot the effective potential as a function of φ2\varphi_{2}^{\prime} for a range of temperatures around the critical temperature, setting φ1=φ2=φ1=0\varphi_{1}=\varphi_{2}=\varphi_{1}^{\prime}=0. This secondary minimum was identified in Ref. [77] as an anomalous effect due to the presence of small or negative field-dependent particle masses. To explain and account for the presence of this artifact, we must address the perturbative validity of our daisy-resummed effective potential.

Refer to caption
Figure 1: The effective potential VeffV_{\mathrm{eff}} as a function of φ2\varphi_{2}^{\prime} for a range of temperatures around the critical temperature at TC1500T_{C}\sim 1500 GeV. The other background fields have been set to φ1=φ2=φ1=0\varphi_{1}=\varphi_{2}=\varphi_{1}^{\prime}=0. The potentials at different temperatures have been vertically translated such that they coincide at the origin in order to more clearly illustrate the anomalous behaviour of VeffV_{\mathrm{eff}} for small values of φ2\varphi_{2}^{\prime}.

III.2.2 The perturbative validity of the effective potential

In Ref. [67], the perturbative validity of the daisy resummation scheme was discussed in the context of a simple model involving a scalar singlet ϕ\phi with a quartic coupling λ\lambda. They identified an expansion parameter λT/m(ϕ)\lambda T/m(\phi) that must be small for daisy resummation to be valid. Since m(ϕ)|ϕ|m(\phi)\propto|\phi|, the expansion parameter will be larger for smaller values of ϕ\phi, and indeed it is at low values of the background field that the anomalous minimum appears – we suggest that its presence implies that our perturbative calculations are not valid when background field values are too small.

To quantify this, we need to adapt the expansion parameter for the simple case to our more complex theory. This was done in a two-Higgs-doublet model in Ref. [77]; their expansion parameter was of the same form as for the simple case, with λ\lambda chosen to be largest quartic coupling in their potential, and m(ϕ)m(\phi) taken to be the mass of the lightest of the additional scalars in the Higgs sector. Their argument for considering only the masses of the new scalars was that these provided the dominant corrections to the one-loop potential. In our case, we have a similar situation, where the heavy additional scalars – A10A_{1}^{0}, A20A_{2}^{0}, J10J_{1}^{0}, J20J_{2}^{0}, H±H^{\pm}, and H±{H^{\pm}}^{\prime} – give the strongest contributions to the effective potential. So, by analogy, we define the perturbative expansion parameter ϵ\epsilon for our model to be

ϵmax(zi)Tmin(mj(φ)),\epsilon\equiv\frac{\max(z_{i})T}{\min(m_{j}(\varphi))}, (36)

where ziz_{i} is any of the fourteen quartic couplings in VM2HDMV_{\mathrm{M2HDM}}, and jj counts over the heavy scalar species listed above.

So, for a given value of TT, and with φ1=φ2=φ1\varphi_{1}=\varphi_{2}=\varphi_{1}^{\prime} = 0, there is a specific value of |φ2||\varphi_{2}^{\prime}| at which ϵ=1\epsilon=1, which we call the perturbative boundary. For values of |φ2||\varphi_{2}^{\prime}| below this, the expansion parameter will be greater than one and we can not trust the perturbative techniques used to calculate Veff(φ,T)V_{\mathrm{eff}}(\varphi,T). To account for this, we adjust the algorithm to find the temperature at which w2(T)w_{2}(T) drops discontinuously not to a value close to zero, but to a value below this perturbative boundary. This gives only an estimate for TCT_{C}, as we cannot measure the true critical temperature directly if we do not trust the effective potential at the origin. However, as noted before, we are not looking to calculate the specific value of the strength; as we are only identifying phase transitions satisfying the condition ξ1\xi\gtrsim 1, our new method for calculating TCT_{C} is sufficiently accurate for our purposes.

III.3 Results

We begin our search for a strong dark electroweak phase transition at a parameter point given by Table 3. This corresponds to the parameter selection from the original paper that we considered in Sec. II, but with z1z_{1} and z2z_{2} each increased by a factor of two to account for an erratum in Ref. [25]. These values provide a good starting point as they satisfy all conditions from Sec. II, producing an asymmetric symmetry breaking minimum with v=246v=246 GeV and w=7276w=7276 GeV. We also note that we set y2h=1y_{2}^{h}=1 and do not change this throughout the search. This is due to considerations from Section IV, where we require 𝒪(1)\mathcal{O}(1) dark Yukawa couplings to generate a sufficient asymmetry.

The phase transition at this parameter point is second-order. In the following sections, we alter these parameters to find regions of parameter space in which the dark electroweak phase transition is strongly first-order. We identify a number of qualitatively different regions for which this is possible, guided by considerations from Sec. IV in which extra requirements are placed on the VEVs and particle masses of the scalar sector to ensure the feasibility of certain portal interactions.

Parameters Values
m112{m_{11}}^{2} (87GeV)2-(87~{}\mathrm{GeV})^{2}
m122{m_{12}}^{2} (90GeV)2-(90~{}\mathrm{GeV})^{2}
m222{m_{22}}^{2} (2600GeV)2-(2600~{}\mathrm{GeV})^{2}
z1z_{1}, z2z_{2} 0.2580.258
z3z_{3}, z8z_{8}, z9z_{9}, z10z_{10} 0.80.8
z4z_{4}, z5z_{5}, z6z_{6}, z7z_{7}, z11z_{11}, z13z_{13}, z14z_{14} 0.010.01
z12z_{12} 1×1081\times 10^{-8}
Table 3: The initial parameter selection for the scalar potential VM2HDMV_{\mathrm{M2HDM}} at which we start the search of the parameter space.

III.3.1 Decreasing the mass of the dark Higgs boson

Refer to caption
Figure 2: Plots of the phase transition strength ξ\xi (triangles) and perturbative expansion parameter ϵ\epsilon (squares) at the critical temperature for different values of the quartic coupling z2z_{2}. The left-hand plot uses the Parwani daisy resummation scheme, and right-hand plot uses the Arnold-Espinosa resummation scheme. These values are calculated for ρ=30\rho=30 and y2h=1y_{2}^{h}=1. Other unspecified parameters of the scalar potential are as described in the text.

In the standard model the EWPT is expected to be first-order for small values of the Higgs mass [62]. So, we adjust our parameters such that the dark Higgs mass mhm_{h}^{\prime} is reduced: the relevant coupling to consider is z2z_{2}. To keep ww the same when z2z_{2} is altered, we set m222=12z2w2{m_{22}}^{2}=-\frac{1}{2}z_{2}w^{2}. In Fig. 2, we plot the strength of the phase transition, ξ\xi, in red for small values of z2z_{2}. As expected, for low values of z2z_{2} the dEWPT is sufficiently strong, and gets stronger as z2z_{2} gets smaller. This general behaviour remains true for both and the Parwani and Arnold-Espinosa resummation procedures – given by the left-hand and right-hand plots, respectively – with the latter method producing slightly stronger transitions for the same value of z2z_{2}. In the same figure we also plot the value of the perturbative expansion parameter ϵ\epsilon at the critical temperature in blue. Since we can only trust our calculation of Veff(φ,T)V_{\mathrm{eff}}(\varphi,T) for ϵ<1\epsilon<1, we only extend the graph until the value of z2z_{2} at which ϵ\epsilon becomes too large. The inverse relationship between ϵ\epsilon and ξ\xi implies that our perturbative methods are most reliable when the phase transition is very strong, which allows us to be confident in our results in the relevant regions of parameter space.

III.3.2 Increasing the dark electroweak scale

Refer to caption
Figure 3: Plots of the phase transition strength ξ\xi (triangles) and perturbative expansion parameter ϵ\epsilon (squares) at the critical temperature for different values of the quartic coupling z2z_{2}. The left-hand plot uses the Parwani daisy resummation scheme, and right-hand plot uses the Arnold-Espinosa resummation scheme. These values are calculated for ρ=1000\rho=1000 and y2h=1y_{2}^{h}=1. Other unspecified parameters of the scalar potential are as described in the text.

We now explore what happens when we alter the dark electroweak scale ww. This is motivated by the upcoming discussion in Sec. IV, where varying the dark electroweak scale gives us greater freedom in choosing portal interactions. From now on we follow the lead of the original paper and work primarily with the quantity ρw/v\rho\equiv w/v. Since the value of vv is fixed by the VEV of the SM Higgs boson, we have that ww = (246ρ)(246\rho) GeV.

When we increase ρ\rho, the only necessary change to make to the parameters of Table 3 to satisfy the constraints of Sec. II is to decrease z14z_{14}. For ρ=1000\rho=1000, we set z14=1×104z_{14}=1\times 10^{-4}. As before, we calculate the strength and expansion parameter of the phase transition for small z2z_{2}; these are shown in Fig. 3, and are qualitatively very similar to the results of Fig. 2, where ρ=30\rho=30. So, for a given selection of quartic couplings, altering ρ\rho has minimal effect on the strength of the phase transition.

III.3.3 Decreasing the masses of the additional scalars

Refer to caption
Figure 4: Plots of the ratio of the critical temperature TCT_{C} and heaviest additional scalar mass MHM_{H} (left-most column), phase transition strength ξ\xi (middle column), and perturbative expansion parameter ϵ\epsilon at the critical temperature (right-most column) for parameter points with a varying scalar coupling z2z_{2} and scaling factor kk. The upper (lower) plot in each column corresponds to calculations using the Parwani (Arnold-Espinosa) daisy resummation scheme. These values were calculated for ρ=300\rho=300 and y2h=1y_{2}^{h}=1. Other unspecified parameters of the scalar potential are as described in the text.

In these regions of parameter space, while the small values of z2z_{2} lower the mass of the dark Higgs boson hh^{\prime}, the additional scalars – A10A_{1}^{0}, A20A_{2}^{0}, J10J_{1}^{0}, J20J_{2}^{0}, H±H^{\pm}, and H±{H^{\pm}}^{\prime} – remain heavy. This allows for the FCNC constraints to be met; however, the lepton portal interactions in Sec. IV require these heavy scalars to be in thermal equilibrium, and thus they must have masses lower than the critical temperature of the dark electroweak phase transition, TCT_{C}. This cannot be achieved with the parameter selections we have identified so far. For example, consider a strong first-order dEWPT phase transition at which z2=0.02z_{2}=0.02, ρ=30\rho=30, m222=12z2w2{m_{22}}^{2}=-\frac{1}{2}z_{2}w^{2}, and all other parameters are given as in Table 3. At this parameter point we have a strong-first order transition with ξ=2.2\xi=2.2 and TC=1715T_{C}=1715 GeV, while the heavy scalar masses range between 45004500 and 48004800 GeV; so, we must identify new regions of parameter space for these masses to lie under TCT_{C}.

The masses of the additional scalars depend primarily on z3z_{3} and z9z_{9}, so we must reduce these parameters. However, to maintain an asymmetric symmetry breaking structure for the scalar potential, we must satisfy the constraint that z3,z8,z9z6,z7,z11,z13,z14z_{3},z_{8},z_{9}\gg z_{6},z_{7},z_{11},z_{13},z_{14}. To roughly achieve both requirements in way that can be easily parametrised, we divide all scalar couplings ziz_{i} (with ii counting from 3 to 14) by a scaling factor kk. This leaves z1z_{1} and z2z_{2} unchanged – z1z_{1} must remain fixed to preserve the tree-level mass of the visible Higgs boson at the standard model value of 125 GeV, and we vary z2z_{2} independently from kk to find parameter points for which the phase transition is strongly first-order and the additional scalars are sufficiently light.

As the additional scalars are now lighter, we have a potential conflict with the FCNC constraints. We can avoid this concern by working in regions with large values of ρ\rho, as the higher dark electroweak scale ww raises both the critical temperature and the masses of the additional scalars. This allows these masses to be large enough to suppress the FCNCs while still being smaller than the temperature of the dEWPT.

For our search we choose ρ=300\rho=300; this necessitates that prior to being divided by the scaling factor kk, z14z_{14} is set to 1×1031\times 10^{-3}. The eleven scalar couplings from z3z_{3} to z13z_{13} again have their values before scaling given by those from Table 3. We vary the scaling factor kk from 1 up to 75, and work in a region of very small values for z2z_{2} given by 5×104z25×1035\times 10^{-4}\leq z_{2}\leq 5\times 10^{-3}. The results of this scan are given in Fig. 4, where all calculations are performed using both the Parwani and Arnold-Espinosa daisy resummation schemes. The left-most column of figures gives the value of the ratio TC/MHT_{C}/M_{H}, where TCT_{C} is the critical temperature of the dEWPT and MHM_{H} is the mass of the heaviest additional scalar. Regions in white have TC/MH<1T_{C}/M_{H}<1, indicating parameter selections for which the additional scalars are not lighter than the dEWPT temperature. The middle column of figures show the strength of the phase transition; here, white regions indicate that ξ<1\xi<1, and thus give parameters for which the phase transition is not sufficiently strong. The final column of figures give the perturbative expansion parameter ϵ\epsilon at TCT_{C}. The black regions of these plots correspond to ϵ>1\epsilon>1, and thus indicate regions where we cannot trust the calculations at the critical temperature. So, the valid parameter points in this region of parameter space are those that are not contained in any of these forbidden regions.

These results display some features that we expect to see, and some that are more curious. Increasing the scaling factor kk allows for the masses of the additional scalars to be below the critical temperature; decreasing z2z_{2} both strengthens the phase transition and increases the validity of the perturbative expansion, as expected. However, there are notable artifacts in our results: points where the perturbative expansion parameter unexpectedly becomes large again for low values of z2z_{2}. While similar features occur when using both daisy resummation schemes, they do not occur at the same parameter points, so we take them to be anomalous effects.

III.3.4 Summary of results

In this section we identified a number of regions of parameter space for which the dark electroweak phase transition is strongly first-order, providing the out-of-equilibrium dynamics that allow for electroweak baryogenesis to occur in the dark sector. To summarise these results, in Table 4 we give an example parameter selection for each region, along with a link to the subsection in which that region was motivated. To keep the results concise, we only state the parameters of VM2HDMV_{\mathrm{M2HDM}} that differ from those listed in Table 3, noting that m222m_{22}^{2} is given by 12z2(vρ)2-\frac{1}{2}z_{2}(v\rho)^{2}. The exception to this is when the scaling factor kk is increased. Then, the quoted values of all parameters from z3z_{3} to z14z_{14} must be reduced by this scaling factor, with the value of z14z_{14} given prior to scaling. For each parameter point we list the strength of the phase transition as well as two parameters relevant to the discussions of the following section: the critical temperature TCT_{C} and heaviest scalar mass MHM_{H}.

Section z2z_{2} z14z_{14} kk ρ\rho ξ\xi TCT_{C} [GeV] MHM_{H} [GeV]
III.3.1 0.010.01 0.010.01 11 3030 2.72.7 1.5×1031.5\times 10^{3} 4.8×1034.8\times 10^{3}
III.3.2 0.020.02 0.00010.0001 11 10001000 2.62.6 5.0×1045.0\times 10^{4} 1.6×1051.6\times 10^{5}
III.3.3 0.00350.0035 0.0010.001 2525 300300 2.32.3 1.7×1041.7\times 10^{4} 8.8×1038.8\times 10^{3}
Table 4: Example parameter points for each of the regions of parameter space discussed in the sections indicated in the first column.

IV Asymmetry Reprocessing

Following electroweak baryogenesis at the dark electroweak phase transition, asymmetries are produced in the dark particle numbers BB^{\prime} and/or LL^{\prime}. In this section we briefly discuss the generation of these asymmetries and investigate the cross-sector portal interactions through which these asymmetries may be transferred to the visible sector. Our goal is to transfer the asymmetries in such a way that we reproduce the 5:1 ratio between the present-day cosmological mass densities of visible and dark matter, ΩDM5ΩVM\Omega_{\mathrm{DM}}\simeq 5\Omega_{\mathrm{VM}}, where ΩX=nXmX/ρc\Omega_{X}=n_{X}m_{X}/\rho_{c}. Since both visible and dark matter are predominantly comprised of stable baryonic matter, then nVMn_{\mathrm{VM}} and nDMn_{\mathrm{DM}} are proportional to the net baryon numbers BB and BB^{\prime} and mVMm_{\mathrm{VM}} and mDMm_{\mathrm{DM}} are proportional to the confinement scales ΛQCD\Lambda_{\mathrm{QCD}} and ΛDM\Lambda_{\mathrm{DM}}. We can then recast the mass density relationship as

BBΛDMΛQCD5.\frac{B^{\prime}}{B}\frac{\Lambda_{\mathrm{DM}}}{\Lambda_{\mathrm{QCD}}}\simeq 5. (37)

In the original paper [25], the thermal leptogenesis mechanism produced equal baryon asymmetries between the two sectors, and so only the relative sizes of the confinement scales could reproduce the ratio. As the standard model confinement scale ΛQCD200\Lambda_{\mathrm{QCD}}\sim 200 MeV, this required ΛDM1\Lambda_{\mathrm{DM}}\sim 1 GeV. In our work, the transfer of baryon asymmetry from the visible sector to the dark sector can produce a range of different values for the ratio B/BB^{\prime}/B, and thus allow for greater variance in ΛDM\Lambda_{\mathrm{DM}}. However, we require that ΛDM>ΛQCD\Lambda_{\mathrm{DM}}>\Lambda_{\mathrm{QCD}}, as this is necessary to lower the temperature of the dark sector relative to the visible sector and satisfy bounds from big bang nucleosynthesis. So, the asymmetry reprocessing must be able to produce a baryon number ratio satisfying

BB5.\frac{B^{\prime}}{B}\lesssim 5. (38)

Directly after the dEWPT phase transition, the initial conditions are B,L=0B,L=0 and B,L0B^{\prime},L^{\prime}\neq 0, with the initial dark particle asymmetries determined by the specifics of dark EWBG. In this paper we consider dark EWBG proceeding solely through CPCP-violating Yukawa interactions involving the dark Higgs doublet H1H_{1}^{\prime}. We do not provide a full calculation of the asymmetry generation, but show that this new source of CPCP violation can readily reproduce a sufficiently large dark asymmetry if at least one dark Yukawa coupling is 𝒪(1)\mathcal{O}(1). Since we do not investigate the specifics of the asymmetry, we leave the initial asymmetry in BB^{\prime} and LL^{\prime} as free parameters. Their relative sizes can then be restricted by the condition Eq. 38.

In this section we analyse the asymmetry transfer by working with chemical potentials, where for a relativistic species ii, its chemical potential μi\mu_{i} is related to its number density asymmetry (for |μi|T|\mu_{i}|\ll T) by

nin¯i=giT36{βμi,(fermions)2βμi,(bosons)n_{i}-\bar{n}_{i}=\frac{g_{i}T^{3}}{6}\begin{cases}\beta\mu_{i},&(\mathrm{fermions})\\ 2\beta\mu_{i},&(\mathrm{bosons})\end{cases} (39)

where gig_{i} is the multiplicity of the particle species and β=1/T\beta=1/T [80]. At a given temperature, constraints on these potentials arise from the reactions that are in thermal equilibrium. If there are fewer constraints than chemical potentials, then there is a conserved charge associated with each free parameter, and we can determine the ratio B/BB^{\prime}/B in terms of the initial values of the conserved charges.

We consider cross-sector effective operators that conserve a total particle number – that is, some combination of particle numbers from each sector – to avoid the washout of the initial dark asymmetries. There is no restriction on whether viable operators need to involve just leptonic species, just baryonic species, or both, in either sector. However, operators involving just leptonic species in the visible sector must be active prior to the vEWPT to allow electroweak sphaleron reprocessing to generate a visible baryon asymmetry.

IV.1 CP violation and asymmetry generation

We begin by briefly discussing the generation of the dark baryon asymmetry through electroweak baryogenesis at the dark electroweak phase transition. In this work we take the the source of CPCP violation to be the ‘dark CKM matrix’,

WCKM=WLuWLdW_{\mathrm{CKM}}=W_{L}^{u}W_{L}^{d\dagger} (40)

where WLuW_{L}^{u}, WLdW_{L}^{d} are the left-handed diagonalisation matrices for the dark quark mass matrix as given in Eq. 18. This mirrors the implementation of EWBG in the minimal standard model, where CPCP violation is only present in the SM CKM matrix.

We note that this differs from the standard approach to electroweak baryogenesis in two-Higgs-doublet models, where the complex terms in the scalar potential provide the new source of CPCP violation. In this work we take the scalar potential to be real, and so do not consider this possibility; however, it is a valid alternative that is worth exploring. Complex scalar couplings would indeed provide a strong source of CPCP violation, while also altering the scalar mass spectrum of the theory and potentially contributing sizable electric dipole moments.

In the minimal SM implementation of electroweak baryogenesis, the CPCP violation in the CKM matrix is insufficient to generate the required asymmetry [63, 81]. The standard rough argument presented in the literature is that the size of CPCP violation in the CKM matrix can be characterised by the invariant

dCP=J(mt2mu2)(mt2mc2)(mc2mu2)(mb2md2)(mb2ms2)(ms2md2),d_{CP}=J\left({m_{t}}^{2}-{m_{u}}^{2}\right)\left({m_{t}}^{2}-{m_{c}}^{2}\right)\left({m_{c}}^{2}-{m_{u}}^{2}\right)\left({m_{b}}^{2}-{m_{d}}^{2}\right)\left({m_{b}}^{2}-{m_{s}}^{2}\right)\left({m_{s}}^{2}-{m_{d}}^{2}\right), (41)

where J105J\sim 10^{-5} is the Jarlskog invariant and mqm_{q} are the quark masses. In order to make a comparison to the baryon asymmetry, we consider the dimensionless parameter

δCP=dCPT12\delta_{CP}=\frac{d_{CP}}{T^{12}} (42)

where TT is taken to be 100100 GeV, the typical temperature scale of electroweak baryogenesis. This then gives δCP1020\delta_{CP}\sim 10^{-20}, far smaller than the baryon asymmetry η1010\eta\sim 10^{-10}.666The validity of this naive argument has been questioned [82], as it treats the Yukawa interactions as perturbations at T100T\sim 100 GeV. For quarks with momentum pmqp\sim m_{q}, this estimate will not be valid and a larger asymmetry may be realised. However, this effect was found to be largely suppressed by the damping of the quarks into the plasma after their reflection off the bubble wall [63]. These more detailed analyses of CPCP violation in the SM did indeed find very small asymmetries close to 102010^{-20}.

The CPCP violation in the dark CKM matrix is characterised by a similar invariant dCPd_{CP}^{\prime} which we now write as

dCP=J(vρ2)12i>j(yui2yuj2)(ydi2ydj2),d_{CP}^{\prime}=J^{\prime}\left(\frac{v\rho}{\sqrt{2}}\right)^{12}\prod_{i>j}\left(y_{u_{i}^{\prime}}^{2}-y_{u_{j}^{\prime}}^{2}\right)\left(y_{d_{i}^{\prime}}^{2}-y_{d_{j}^{\prime}}^{2}\right), (43)

where JJ^{\prime} is the Jarlskog invariant for the dark CKM matrix and y~qi\tilde{y}_{q_{i}^{\prime}} is the Yukawa coupling of the dark quark qiq_{i}^{\prime} with generation index i{1,2,3}i\in\{1,2,3\}. We then consider the dimensionless parameter

δCP=dCPT12\delta_{CP}^{\prime}=\frac{d_{CP}^{\prime}}{T^{\prime 12}} (44)

where TT^{\prime} is the relevant temperature scale for dark EWBG, which we take to be TCT_{C}, the critical temperature of the dEWPT.

As there are no observational constraints on the values of the dark CKM matrix, we are able to alter JJ^{\prime} and the dark Yukawa couplings. We consider ρ\rho and TCT_{C} values given by the parameter points from Sec. III.3. Using the SM values for the Jarlskog invariant and Yukawa couplings, we obtain δCP1017\delta_{CP}^{\prime}\sim 10^{-17}. However, taking JJ^{\prime} to be 10110^{-1}, and increasing yd3y_{d_{3}^{\prime}} and yu2y_{u_{2}^{\prime}} each by a factor of 10, we then obtain δCP107\delta_{CP}^{\prime}\sim 10^{-7}. So, given the freedom we have in the dark CKM matrix, this naive estimate suggests that we can readily achieve sufficient CPCP violation to generate a large dark baryon asymmetry as long as at least one Yukawa coupling is 𝒪(1)\mathcal{O}(1). This is the only restriction we apply as a result of this discussion; it informed our choice of parameter points in Sec. III, and will inform our discussion in the remainder of this section.

As with any new source of CPCP violation, the main phenomenological consideration is its effect on various electric dipole moments. The CPCP violation in the dark CKM matrix generates EDMs for the dark electron and neutron similarly to the SM contributions to the visible electron and neutron EDMs. In the SM these contributions arise at a high loop order and are many orders of magnitude smaller than the current experimental limits [83, 84]. In the dark sector, the dominant diagrams that contribute to the dark EDMs could differ slightly – depending on the dark Yukawa coupling structure – but we expect them to produce similar contributions. The main enhancement to the dark sector EDM contributions will come from the larger Jarlskog invariant we are assuming, which is at most an increase of around four orders of magnitude.

However, we have no constraints on the dark EDMs, and so can only consider the extra contribution they may provide to the visible EDMs. The EDMs for the dark electron and neutron will produce EDMs for their visible counterparts through diagrams involving mixing between the sectors. This will generically introduce large suppression factors: for example, any diagram involving photon-dark photon mixing will be suppressed by the kinetic mixing parameter ϵ\epsilon which is constrained by experiment [85] to be smaller than 1.55×1071.55\times 10^{-7}. Other forms of mixing between sectors – say by the cross-sector portal interactions we will consider later in this section – will provide less drastic suppression factors, but will nevertheless only suppress the visible EDM contributions, not enhance them. Additionally, to avoid kinetic mixing in these diagrams, one must introduce extra loops involving charged visible particles, further reducing these terms. Taken all together, we then argue that the additional CPCP violation in the dark CKM matrix will only provide negligible contributions to the observable visible EDMs.

IV.2 Chemical equilibrium conditions

Before addressing any specific cross-sector portal interactions, we list the general chemical potential constraints that hold separately in each sector. We also discuss the temperatures at which these interactions will be in thermal equilibrium.

IV.2.1 The visible sector

For the effective operators we consider later in this section, the asymmetry transfer will occur before the vEWPT. We assign chemical potentials to the Higgs doublets Φa\Phi_{a}, the left-handed lepton doublets liLl_{iL}, the right-handed leptons eiRe_{iR}, the left-handed quark doublets qiLq_{iL}, and the right-handed quarks uiRu_{iR} and diRd_{iR}777Note that each doublet only receives one chemical potential. This is due to weak interactions involving the W±W^{\pm} gauge bosons, which are massless above the scale of electroweak symmetry breaking and thus have μW±=0\mu_{W^{\pm}}=0., where a=1,2a=1,2 and i=1,2,3i=1,2,3 are generation indices. We choose to work in the diagonal Yukawa basis for the quark fields as in Eq. 18; thus Cabibbo mixing between left-handed quarks of different generations implies that μq1L=μq2L=μq3LμqL\mu_{q_{1L}}=\mu_{q_{2L}}=\mu_{q_{3L}}\equiv\mu_{q_{L}}888PMNS mixing would imply an equivalent relationship for left-handed leptons. However, as we do not specify a neutrino mass generation mechanism in this work, we keep the analysis general by maintaining independent chemical potentials for left-handed leptons of different generations, as in Refs. [38, 39].. When both Higgs doublets are in thermal equilibrium, mixing between them sets μΦ1=μΦ2μΦ\mu_{\Phi_{1}}=\mu_{\Phi_{2}}\equiv\mu_{\Phi}.

When in thermal equilibrium, Yukawa interactions provide the following restrictions [80]:

μqL+μΦμuiR=0,μqLμΦμdiR=0,μliLμΦμeiR=0.\begin{split}&\mu_{q_{L}}+\mu_{\Phi}-\mu_{u_{iR}}=0,\quad\mu_{q_{L}}-\mu_{\Phi}-\mu_{d_{iR}}=0,\\ &\mu_{l_{iL}}-\mu_{\Phi}-\mu_{e_{iR}}=0.\end{split} (45)

There are also restrictions from sphaleron processes – above the vEWPT transition, both electroweak and QCD sphalerons will be in equilibrium, leading to the conditions [86, 87]

9μqL+i=13μliL=0,6μqLi=13(μuiR+μdiR)=0.9\mu_{q_{L}}+\sum_{i=1}^{3}\mu_{l_{iL}}=0,\quad 6\mu_{q_{L}}-\sum_{i=1}^{3}(\mu_{u_{iR}}+\mu_{d_{iR}})=0. (46)

The final condition to consider above the EWPT is the hypercharge neutrality of the universe, which gives the relation

2NΦμΦ+3μqL+i=13(2μuiRμdiRμliLμeiR)=0,2N_{\Phi}\mu_{\Phi}+3\mu_{q_{L}}+\sum_{i=1}^{3}(2\mu_{u_{iR}}-\mu_{d_{iR}}-\mu_{l_{iL}}-\mu_{e_{iR}})=0, (47)

where NΦN_{\Phi} is the number of Higgs bosons that are in thermal equilibrium.

While hypercharge neutrality applies at all temperatures above the vEWPT, the other relations quoted above only apply when the interaction is in thermal equilibrium. Above the vEWPT temperature, both sphaleron processes are in thermal equilibrium for all temperatures T<1012T<10^{12} GeV [80]. For a Yukawa interaction with dimensionless coupling λ\lambda, the approximate rate Γλ2T\Gamma\sim\lambda^{2}T implies that a given Yukawa interaction is in equilibrium for Tλ21016T\lesssim\lambda^{2}10^{16} GeV. Lighter fermions thus enter thermal equilibrium at lower temperatures.

Finally, we give the combinations of chemical potentials that correspond to the visible baryon and lepton numbers, BB and L=i=13LiL=\sum_{i=1}^{3}L_{i}:

B6μqL+i=13(μuiR+μdiR),Li2μliL+μeiR.\begin{split}B&\leftrightarrow 6\mu_{q_{L}}+\sum_{i=1}^{3}(\mu_{u_{iR}}+\mu_{d_{iR}}),\\ L_{i}&\leftrightarrow 2\mu_{l_{iL}}+\mu_{e_{iR}}.\end{split} (48)

IV.3 The dark sector

In the dark sector we only consider asymmetry transfer at temperatures below the dEWPT. At this transition, the W±{W^{\pm}}^{\prime} gauge bosons will become massive and initially gain a chemical potential; thus, we assign a different chemical potential for each field in a doublet. Due to the parity symmetry between the visible and dark sectors, these doublets will be right-handed, and we define their field content by

qiR=(uiRdiR),liR=(νiReiR),ΦjR=(ϕj+ϕj0),q_{iR}^{\prime}=\begin{pmatrix}u_{iR}^{\prime}\\ d_{iR}^{\prime}\end{pmatrix},\quad l_{iR}^{\prime}=\begin{pmatrix}\nu_{iR}^{\prime}\\ e_{iR}^{\prime}\end{pmatrix},\quad\Phi_{jR}^{\prime}=\begin{pmatrix}{\phi_{j}^{+}}^{\prime}\\ {\phi_{j}^{0}}^{\prime}\end{pmatrix}, (49)

where ii and jj are generation indices. We assign a chemical potential to each of these fields, as well as to the left-handed leptons eiLe_{iL}^{\prime} and left-handed quarks uiLu_{iL}^{\prime} and diLd_{iL}^{\prime}. Here we work in the diagonal Yukawa basis for the dark quarks999In this basis the dark fields we assign chemical potentials to are not the mirror partners of the visible fields that are assigned potentials. Thus, when we refer to dark fermion generations and flavours, we are not referring to the mirror counterparts of the visible fermion generations. Instead, the “dark top” and “dark bottom” quarks, for example, refer to the most massive dark quarks with dark electric charge +2/3+2/3 and 1/3-1/3, respectively. and thus Cabibbo mixing sets μu1R=μu2R=μu3RμuR\mu_{u_{1R}^{\prime}}=\mu_{u_{2R}^{\prime}}=\mu_{u_{3R}^{\prime}}\equiv\mu_{u_{R}^{\prime}} and μd1R=μd2R=μd3RμdR\mu_{d_{1R}^{\prime}}=\mu_{d_{2R}^{\prime}}=\mu_{d_{3R}^{\prime}}\equiv\mu_{d_{R}^{\prime}}. If both Higgs doublets are in thermal equilibrium, mixing between them sets μϕ1+=μϕ2+μϕ+\mu_{{\phi_{1}^{+}}^{\prime}}=\mu_{{\phi_{2}^{+}}^{\prime}}\equiv\mu_{{\phi^{+}}^{\prime}} and μϕ10=μϕ20μϕ0\mu_{{\phi_{1}^{0}}^{\prime}}=\mu_{{\phi_{2}^{0}}^{\prime}}\equiv\mu_{{\phi^{0}}^{\prime}}. The formation of a vacuum condensate of ϕ0\phi^{0} bosons also sets μϕ0= 0\mu_{{\phi^{0}}^{\prime}}\>=\>0 [88].

Below the dEWPT, all dark particles are now massive. So, at temperatures below a particle’s mass, Boltzmann suppression leads the reactions which involve it to fall out of thermal equilibrium. If the particle is unstable, it then decays into other species, sending its chemical potential to zero. We thus will not consider the chemical potential of species that fall out of equilibrium. In the dark sector, this will always apply to the W±{W^{\pm}}^{\prime} gauge bosons, as for all the parameter selections in Sec. III, they will be more massive than the phase transition temperature TCT_{C}, and thus will swiftly fall out of thermal equilibrium below the dEWPT101010Although μW±=0\mu_{{W^{\pm}}^{\prime}}=0, the fields in each doublet do not need to have equal potentials as in the visible sector. This is because the W±{W^{\pm}}^{\prime} bosons have fallen out of thermal equilibrium and so the weak interactions that related the relevant chemical potentials have now frozen out..

With independent chemical potentials for the fields in each doublet, the Yukawa interactions provide twice as many constraints:

μuR+μϕ0μuiL=0,μdRμϕ0μdiL=0,μeiRμϕ0μeiL=0,μdR+μϕ+μuiL=0,μuRμϕ+μdiL=0,μνiRμϕ+μeiL=0.\begin{split}&\mu_{u_{R}^{\prime}}+\mu_{{\phi^{0}}^{\prime}}-\mu_{u_{iL}^{\prime}}=0,\quad\mu_{d_{R}^{\prime}}-\mu_{{\phi^{0}}^{\prime}}-\mu_{d_{iL}^{\prime}}=0,\quad\mu_{e_{iR}^{\prime}}-\mu_{{\phi^{0}}^{\prime}}-\mu_{e_{iL}^{\prime}}=0,\\ &\mu_{d_{R}^{\prime}}+\mu_{{\phi^{+}}^{\prime}}-\mu_{u_{iL}^{\prime}}=0,\quad\mu_{u_{R}^{\prime}}-\mu_{{\phi^{+}}^{\prime}}-\mu_{d_{iL}^{\prime}}=0,\quad\mu_{\nu_{iR}^{\prime}}-\mu_{{\phi^{+}}^{\prime}}-\mu_{e_{iL}^{\prime}}=0.\end{split} (50)

Below the dEWPT the dark electroweak sphaleron process is strongly suppressed while the dark QCD sphaleron remains active down until the dark quark-hadron phase transition and provides the constraint:

3(μuR+μdR)i=13(μuiL+μdiL)=0.3(\mu_{u_{R}^{\prime}}+\mu_{d_{R}^{\prime}})-\sum_{i=1}^{3}(\mu_{u_{iL}^{\prime}}+\mu_{d_{iL}^{\prime}})=0. (51)

Even though the W±{W^{\pm}}^{\prime} bosons are too heavy for gauge interactions with on-shell W±{W^{\pm}}^{\prime} to be in equilibrium, they can act as a mediator for four-lepton and four-quark interactions. We only consider the four-lepton interactions eiR+ν¯iRejR+ν¯jRe_{iR}^{\prime}+\bar{\nu}_{iR}^{\prime}\to e_{jR}^{\prime}+\bar{\nu}_{jR}^{\prime}, as the four-quark interactions involve dark right-handed quark fields that already have equal chemical potentials between generations and thus introduce no new constraints. A reaction mediated by a massive gauge boson of mass mm is in thermal equilibrium for T(m/100GeV)4/3T\gtrsim(m/100~{}\mathrm{GeV})^{4/3} MeV [89]. So, for even the largest values of mW±m_{{W^{\pm}}^{\prime}} that we consider, these interactions are in thermal equilibrium from at least T=1T=1 GeV. This is far below the temperature ranges we are interested in, so the four-lepton reactions provide the additional constraints:

μeiRμνiRμejR+μνjR=0.\mu_{e_{iR}^{\prime}}-\mu_{\nu_{iR}^{\prime}}-\mu_{e_{jR}^{\prime}}+\mu_{\nu_{jR}^{\prime}}=0. (52)

Below the dEWPT, dark hypercharge is broken to dark electric charge QQ^{\prime}. The dark charge neutrality of the universe then enforces [88]:

6μuR3μdR+2NΦμϕ++i=13(2μuiLμdiLμeiRμeiL)=0,6\mu_{u_{R}^{\prime}}-3\mu_{d_{R}^{\prime}}+2N_{\Phi^{\prime}}\mu_{{\phi^{+}}^{\prime}}+\sum_{i=1}^{3}(2\mu_{u_{iL}^{\prime}}-\mu_{d_{iL}^{\prime}}-\mu_{e_{iR}^{\prime}}-\mu_{e_{iL}^{\prime}})=0, (53)

where NΦN_{\Phi^{\prime}} is the number of dark Higgs doublets in thermal equilibrium.

Lastly, we state the chemical potentials combinations that correspond to the dark baryon and lepton numbers, BB^{\prime} and L=i=13LiL^{\prime}=\sum_{i=1}^{3}L_{i}^{\prime}:

B3(μuR+μdR)+i=13(μuiL+μdiL),LiμeiR+μνiR+μeiL.\begin{split}B^{\prime}&\leftrightarrow 3(\mu_{u_{R}^{\prime}}+\mu_{d_{R}^{\prime}})+\sum_{i=1}^{3}(\mu_{u_{iL}^{\prime}}+\mu_{d_{iL}^{\prime}}),\\ L_{i}^{\prime}&\leftrightarrow\mu_{e_{iR}^{\prime}}+\mu_{\nu_{iR}^{\prime}}+\mu_{e_{iL}^{\prime}}.\end{split} (54)

IV.4 The neutron portal

The neutron portal operators are dimension-9 quark interactions involving one singlet up-type and two singlet down-type quarks from each sector, for example:

1M5u¯d¯d¯uds+h.c.\frac{1}{M^{5}}\bar{u}\bar{d}\bar{d}u^{\prime}d^{\prime}s^{\prime}+h.c. (55)

where we have simplified our notation by defining uu1Ru\equiv u_{1R}, dd1Rd\equiv d_{1R}, uu1Lu^{\prime}\equiv u_{1L}^{\prime} dd1Ld^{\prime}\equiv d_{1L}^{\prime}, and sd2Ls^{\prime}\equiv d_{2L}^{\prime}. This specific neutron portal operator111111We note the flavour structure of this operator, involving uu^{\prime}, dd^{\prime}, and ss^{\prime} quarks in the dark sector. If this portal instead involved one uu^{\prime} and two dd^{\prime} quarks, then the dark neutron would be unstable to decay into visible neutrons. As the dark neutron comprises the dark matter in the dark sector, we cannot permit this to occur. was already considered in the original paper [25] in the context of satisfying bounds on dark radiation from big bang nucleosynthesis. Satisfying these phenomenological constraints is a vitally important aspect of the original model; thus, we briefly review and summarise the mechanism by which this is achieved, and in so doing motivate the neutron portal as the asymmetry transfer mechanism.

IV.4.1 Dark radiation and thermal decoupling

The presence of dark relativistic degrees of freedom is a generic feature of ADM models that faces strong constraints from BBN and CMB measurements. These constraints can be satisfied if the temperature of the dark sector is sufficiently less than that of the visible sector at the time of BBN; to achieve this, the original paper considered a situation where the two sectors decouple between the visible and dark confinement scales (also see Ref. [18]). In this temperature region, the dark quark-hadron phase transition has taken place and dark-colour confinement reduces the number of dark degrees of freedom. This allows for a large transfer of entropy from the dark to the visible sector while they are still in thermal equilibrium, causing the dark sector to cool at a faster rate than the visible sector and leading to the necessary temperature difference between the sectors.

For this process to naturally take place, there must be interactions that maintain thermal equilibrium between the visible and dark sectors down to a decoupling temperature between the two confinement sectors, Tdec1T_{\mathrm{dec}}\sim 1 GeV. While it is not the only suggestion given for this interaction, the neutron portal of Eq. 55 is the most promising candidate proposed in the original paper; once the dark quarks become confined into hadrons, they can decay through the neutron portal into unconfined visible quarks, naturally providing the mechanism through which to transfer entropy between the sectors. This portal also allows for the apparently fine-tuned decoupling temperature TdecT_{\mathrm{dec}} to arise naturally; the large masses for the dark hadrons – gained below the dark quark-hadron phase transition by dark QCD confinement – cause these particles to become Boltzmann suppressed, thus decoupling the neutron portal interaction in the desired temperature range.

IV.4.2 Thermal equilibrium

The approximate rate of the neutron portal interaction is ΓT11/M10\Gamma\sim T^{11}/M^{10}. Comparing this to the expansion rate HT2/mPlH\sim T^{2}/m_{\mathrm{Pl}}, we find that the interaction is in thermal equilibrium for the temperature range

M>T>(M10mPl)19.M>T>\left(\frac{M^{10}}{m_{\mathrm{Pl}}}\right)^{\frac{1}{9}}. (56)

where the upper bound is from the region of validity of the effective field theory. The lower bound only applies if all quarks involved in the portal interaction have masses below the lower bound temperature; otherwise, the heaviest quark involved in the portal (of mass mqm_{q}) becomes Boltzmann suppressed for T<mqT<m_{q} and the interaction falls out of thermal equilibrium.

In this section, we perform a simplified analysis in which we only consider neutron portals active at temperatures above the vEWPT temperature. This captures some of the general properties of the asymmetry transfer that this portal can achieve. However, we also lose the strong motivation from the thermal decoupling considerations, as these require neutron portals to be active down to the quark-hadron phase transition, well below the vEWPT temperature121212The high-scale neutron portal we consider here can still be possible in this model if one of the other interactions from the original paper is implemented to maintain thermal equilibrium below the vEWPT temperature. The CPCP-odd Higgs-mediated interactions, for example, could fulfill this role as they do not violate lepton or baryon number within a given sector, and so could maintain thermal equilibrium down to the decoupling temperature without affecting the asymmetry transfer.. Analysing the asymmetry transfer down to this level of around 11 GeV introduces a large number of difficulties, which we outline in Sec. V.

To find a neutron portal that operates in this temperature range, we either take MM to be large enough that (M10/mPl)1/9>TC(M^{10}/m_{\mathrm{Pl}})^{1/9}>T_{C}, where TC200T_{C}\sim 200 GeV is the critical temperature of the vEWPT; or, we choose a flavour structure for the specific portal operator such that it involves at least one dark quark species with a mass greater than the vEWPT temperature. Given the freedom we have in choosing the dark quark masses, the latter case is easy to implement; for example, for ρ50\rho\sim 50 a dark quark with a Yukawa coupling on the order of the bottom quark coupling has a mass over 200200 GeV.

IV.4.3 Equilibrium conditions

The additional chemical potential constraint due to the neutron portal operator of Eq. 55 is given by

μu+2μdμuμdμs=0.\mu_{u}+2\mu_{d}-\mu_{u^{\prime}}-\mu_{d^{\prime}}-\mu_{s^{\prime}}=0. (57)

Similar constraints arise from neutron portal operators with different flavour structures. We note that when all Yukawa interactions involving non-Boltzmann suppressed quarks are in thermal equilibrium, the right-handed visible singlet quarks (uiRu_{iR}, diRd_{iR}) and the left-handed dark singlet quarks (uiLu_{iL}^{\prime}, diLd_{iL}^{\prime}) have equal chemical potentials between the various generations, and so the final value for B/BB^{\prime}/B does not depend on the specific flavour structure of the operator.

In the visible sector, the electron is in thermal equilibrium for T105T\lesssim 10^{5} GeV, and so for temperatures below 10510^{5} GeV all visible Yukawa interactions are in equilibrium in addition to the electroweak and QCD spahlerons. Assuming that the mass of the additional heavy scalars is above 10510^{5} GeV, Φ2\Phi_{2} will have fallen out of equilibrium by the temperatures of interest and so for the hypercharge neutrality condition Eq. 47 we set NΦN_{\Phi} = 1.

In the dark sector, the dark quarks are massive and thus have the potential to become Boltzmann suppressed in our temperature range of interest. As we have at least one 𝒪(1)\mathcal{O}(1) dark Yukawa coupling, the heaviest dark quark has a mass greater than the dEWPT temperature, and so falls out of thermal equilibrium by the temperature at which the portal is active. So, all dark sector Yukawa constraints will apply, except for the Yukawa interaction involving the dark top quarks. The charge neutrality and QCD sphaleron conditions must also be altered by removing the chemical potentials associated with the top quarks – that is, removing the μu3L\mu_{u_{3L}^{\prime}} terms entirely and reducing the μuR\mu_{u_{R}^{\prime}} terms by a factor of 1/3. We similarly alter the definition of BB^{\prime}. Similarly to the visible sector, we set NΦN_{\Phi^{\prime}} = 1 in the charge neutrality condition.

There are 6 unconstrained chemical potentials, corresponding to six conserved charges. Not considering the portal interaction, the conserved charges in each sector are given by B/3LiB/3-L_{i} for the visible sector and BB^{\prime} and LiL_{i}^{\prime} for the dark sector. As the portal conserves B+BB+B^{\prime}, the six conserved charges will then be given by:

1=13(B+B)L1,2=13(B+B)L2,3=13(B+B)L3,4=L1,5=L2,6=L3.\begin{split}\mathcal{L}_{1}&=\frac{1}{3}(B+B^{\prime})-L_{1},\\ \mathcal{L}_{2}&=\frac{1}{3}(B+B^{\prime})-L_{2},\\ \mathcal{L}_{3}&=\frac{1}{3}(B+B^{\prime})-L_{3},\\ \end{split}\quad\begin{split}\mathcal{L}_{4}&=L_{1}^{\prime},\\ \mathcal{L}_{5}&=L_{2}^{\prime},\\ \mathcal{L}_{6}&=L_{3}^{\prime}.\end{split} (58)

The various particle numbers in the two sectors can then be expressed as a linear combination of these conserved charges, as per

B=i=16aii,L=i=16bii,B=i=16cii,L=i=16dii.B=\sum_{i=1}^{6}a_{i}\mathcal{L}_{i},\quad L=\sum_{i=1}^{6}b_{i}\mathcal{L}_{i},\quad B^{\prime}=\sum_{i=1}^{6}c_{i}\mathcal{L}_{i},\quad L^{\prime}=\sum_{i=1}^{6}d_{i}\mathcal{L}_{i}. (59)

Solving the linear system of chemical potential constraints then allows us to calculate the values of the coefficients in these expressions. As an example, we give the results of this calculation in Table 5.

ii aia_{i} bib_{i} cic_{i} did_{i}
1 4761959\frac{476}{1959} 289653\frac{-289}{653} 1585877\frac{158}{5877} 0
2 4761959\frac{476}{1959} 289653\frac{-289}{653} 1585877\frac{158}{5877} 0
3 4761959\frac{476}{1959} 289653\frac{-289}{653} 1585877\frac{158}{5877} 0
4 565877\frac{-56}{5877} 341959\frac{-34}{1959} 1585877\frac{158}{5877} 0
5 565877\frac{-56}{5877} 341959\frac{-34}{1959} 1585877\frac{158}{5877} 0
6 565877\frac{-56}{5877} 341959\frac{-34}{1959} 1585877\frac{158}{5877} 11
Table 5: The values of the coefficients defined in Eq. 59.

To obtain the final ratios of particle numbers, we simply specify the initial conditions for the particle asymmetries. For example, we may assume that we start only with an asymmetry in dark baryon number BB^{\prime}, and call this value XX. Then, the only nonzero conserved charges are 1=2=3=X/3\mathcal{L}_{1}=\mathcal{L}_{2}=\mathcal{L}_{3}=X/3, and we obtain

B=i=13aiX3,L=i=13biX3,B=i=13ciX3,L=i=13diX3.\begin{split}&B=\sum_{i=1}^{3}\frac{a_{i}X}{3},\quad L=\sum_{i=1}^{3}\frac{b_{i}X}{3},\\ &B^{\prime}=\sum_{i=1}^{3}\frac{c_{i}X}{3},\quad L^{\prime}=\sum_{i=1}^{3}\frac{d_{i}X}{3}.\end{split} (60)

Although we can now directly calculate B/BB^{\prime}/B from these results, that only gives the ratio of particle numbers directly after the portal falls out of thermal equilibrium. As this occurs at a temperature that is still above the visible electroweak phase transition, BB is violated by the visible electroweak sphaleron process. BLB-L is preserved, however, and we can relate it to BB after the freeze-out of the neutron portal operation by the standard relationship [80]

B=2879(BL).B=\frac{28}{79}(B-L). (61)

Below the visible electroweak phase transition, BB is conserved, and the ratio between the final baryon numbers BfB_{f}^{\prime} and BfB_{f} is given by

BfBf=7928BBL=7928c1+c2+c3a1+a2+a3b1b2b3.\begin{split}\frac{B_{f}^{\prime}}{B_{f}}&=\frac{79}{28}\frac{B^{\prime}}{B-L}\\ &=\frac{79}{28}\frac{c_{1}+c_{2}+c_{3}}{a_{1}+a_{2}+a_{3}-b_{1}-b_{2}-b_{3}}.\end{split} (62)

IV.4.4 Results

The results for the neutron portal are given in Table 6. We note that the ratio satisfies the rough condition of Eq. 38 that B/B5B^{\prime}/B\lesssim 5, ensuring that the dark confinement scale lies above the visible confinement scale. From Eq. 37, and taking ΛQCD200\Lambda_{\mathrm{QCD}}\sim 200 MeV, we can also calculate the dark confinement scale ΛDM\Lambda_{\mathrm{DM}}. This then allows us to restrict the permissible values of ρ\rho, as given in the last column of the table. This restriction is determined from Fig. 1 in the original paper [25], which plots ΛDM\Lambda_{\mathrm{DM}} against ρ\rho for a selection of different choices for the spectrum of Yukawa couplings to Φ2\Phi_{2}. For the given value of ΛDM\Lambda_{\mathrm{DM}}, we can only choose values of ρ\rho for which the necessary Yukawa spectrum matches the requirement that y2h=1y_{2}^{h}=1. We note that in this simplified analysis, the neutron portal successfully reprocess the asymmetries for smaller values of ρ\rho, due to the requirements on the dark Yukawa couplings.

Bf/BfB_{f}^{\prime}/B_{f} ΛDM\Lambda_{\mathrm{DM}} ρ\rho
1.29 0.77 GeV 100\lesssim 100
Table 6: The results for the neutron portal. Bf/BfB_{f}^{\prime}/B_{f} is the final ratio of BB^{\prime} to BB following the asymmetry transfer, ΛDM\Lambda_{\mathrm{DM}} is the dark confinement scale then required to reproduce the 5:1 ratio of dark and visible mass densities, and ρ\rho gives the possible ratios of electroweak scales for which this value of ΛDM\Lambda_{\mathrm{DM}} is achievable.

IV.5 The lepton portal

The effective interaction mediating this portal involves a lepton doublet and a Higgs doublet from each sector, and is given by

1Mabl¯iLΦacljRΦb+H.c.\frac{1}{M_{ab}}\bar{l}_{iL}\Phi_{a}^{c}l_{jR}^{\prime}\Phi_{b}^{\prime}+H.c. (63)

where the indices i,j=1,2,3i,j=1,2,3 and a,b=1,2a,b=1,2 specify the lepton generation and Higgs doublet number, respectively.

These interactions allow for neutrino mass terms after electroweak symmetry breaking; the Higgs doublets gain VEVs given by Φa=va/2\expectationvalue{\Phi_{a}}=v_{a}/\sqrt{2} and Φb=wb/2\expectationvalue{\Phi_{b}^{\prime}}=w_{b}/\sqrt{2} and a mass term is produced with

mν=vawb2Mab.m_{\nu}=\frac{v_{a}w_{b}}{2M_{ab}}. (64)

The observational data for neutrino masses give an upper bound of mν0.12m_{\nu}\lesssim 0.12 eV [4]. This translates to a lower bound on MabM_{ab} given by

Mabvawb0.5eVM_{ab}\gtrsim\frac{v_{a}w_{b}}{0.5\mathrm{eV}} (65)

IV.5.1 Thermal equilibrium

The approximate rate of the lepton portal interaction is ΓT3/Mab2\Gamma\sim T^{3}/M_{ab}^{2}. Γ>H\Gamma>H then implies that a given lepton portal is in thermal equilibrium for T>Mab2/mPlT>{M_{ab}}^{2}/m_{\mathrm{Pl}}. Combining this with Eqs. 64 and 65, we recast the condition as

T0.25(vawbGeV2)2GeV.T\gtrsim 0.25\left(\frac{v_{a}w_{b}}{\mathrm{GeV}^{2}}\right)^{2}\mathrm{GeV}. (66)

Thus, the temperature range for which a given lepton portal is in thermal equilibrium depends on which Higgs doublets take part in the interaction. Consider the lepton portal involving Φ1\Phi_{1} and Φ2\Phi_{2}^{\prime} – the two doublets which gain large VEVs v1vv_{1}\approx v and w2ww_{2}\approx w. For a given value of ρ\rho, we have v=246v=246 GeV and w=246ρw=246\rho GeV, so this lepton portal is only in thermal equilibrium for T>109ρ2T>10^{9}\rho^{2} GeV. This is a temperature range well above the dEWPT temperature, and so this lepton portal operator cannot serve to reprocess the asymmetries.

The other Higgs doublets in each sector have VEVs that are much smaller than vv and ww, typically on the order of at most 1 GeV. Thus, ignoring Boltzmann suppression, the lepton portal involving Φ2\Phi_{2} and Φ1\Phi_{1}^{\prime} remains in thermal equilibrium down to at least 1 GeV – well below the temperature ranges we consider. However, these doublets are comprised of the heavy additional scalars, which become Boltzmann suppressed at high temperatures near the dark electroweak phase transition. For this portal to remain in thermal equilibrium long enough to reprocess the particle asymmetries between the sectors, we must work at a point in parameter space where the additional scalars have masses lower than the dEWPT temperature. In Sec. III, we found such parameter selections; for example, see the parameter point for region 3 in Table 4. We analyse the asymmetry transfer at this parameter point, and thus work in an approximate temperature range between the critical temperature, TC=1.7×104T_{C}=1.7\times 10^{4} GeV, and the mass of the heaviest additional scalar, MH=8.8×103M_{H}=8.8\times 10^{3} GeV.

IV.5.2 Equilibrium conditions

The lepton portal in Eq. 63 induces chemical potential constraints given by

μliL+μΦμνjRμϕ0=0,μliL+μΦμejRμϕ+=0.\mu_{l_{iL}}+\mu_{\Phi}-\mu_{\nu_{jR}^{\prime}}-\mu_{{\phi^{0}}^{\prime}}=0,\quad\mu_{l_{iL}}+\mu_{\Phi}-\mu_{e_{jR}^{\prime}}-\mu_{{\phi^{+}}^{\prime}}=0. (67)

As we are also working in a temperature regime below 10510^{5} GeV where all Yukawa interactions are in equilibrium, the discussion of the additional constraints in the visible and dark sectors is very similar to the neutron portal. The only difference is that the additional scalars are in equilibrium while the portals are active, and so we must set NΦ=NΦ=2N_{\Phi}=N_{\Phi^{\prime}}=2 in the visible hypercharge and dark charge neutrality conditions. As we must have at least one 𝒪(1)\mathcal{O}(1) dark Yukawa coupling, we consider a case where the dark top quark is Boltzmann suppressed in our temperature region of interest. We alter the charge neutrality and QCD sphaleron conditions as in the neutron portal case.

Recall that the visible lepton mass eigenstates are not mirror partners of the dark lepton mass eigenstates. So, a lepton portal respecting the mirror symmetry will induce interactions between all pairs of visible and dark lepton mass eigenstates. As we assign chemical potentials to the mass eigenstates in each sector, the lepton portal thus introduces all possible constraints of the form given in Eq. 67. This has the effect of setting the chemical potentials to be equal for all left-handed visible leptons and for all right-handed dark leptons; that is, μl1L=μl2L=μl3LμlL\mu_{l_{1L}}=\mu_{l_{2L}}=\mu_{l_{3L}}\equiv\mu_{l_{L}}, μe1R=μe2R=μe3RμeR\mu_{e_{1R}^{\prime}}=\mu_{e_{2R}^{\prime}}=\mu_{e_{3R}^{\prime}}\equiv\mu_{e_{R}^{\prime}} and μν1R=μν2R=μν3RμνR\mu_{\nu_{1R}^{\prime}}=\mu_{\nu_{2R}^{\prime}}=\mu_{\nu_{3R}^{\prime}}\equiv\mu_{\nu_{R}^{\prime}}. This then sets L1L_{1} = L2L_{2} = L3L_{3} = L/3L/3 and L1L_{1}^{\prime} = L2L_{2}^{\prime} = L3L_{3}^{\prime} = L/3L^{\prime}/3; thus, when the lepton portal is active, there are only two conserved charges:

1=BLL,2=B.\mathcal{L}_{1}=B-L-L^{\prime},\quad\mathcal{L}_{2}=B^{\prime}. (68)

As before, we define the visible and dark particle numbers as linear combinations of the conserved charges,

B=i=12aii,L=i=12bii,B=i=12cii,L=i=12dii.B=\sum_{i=1}^{2}a_{i}\mathcal{L}_{i},\quad L=\sum_{i=1}^{2}b_{i}\mathcal{L}_{i},\quad B^{\prime}=\sum_{i=1}^{2}c_{i}\mathcal{L}_{i},\quad L^{\prime}=\sum_{i=1}^{2}d_{i}\mathcal{L}_{i}. (69)

We define XX and YY as the initial asymmetries in BB^{\prime} and LL^{\prime} respectively, leading to the conserved charges 1=Y\mathcal{L}_{1}=-Y and 2=X\mathcal{L}_{2}=X. The same behaviour occurs as before with the final visible baryon asymmetry depending on the BLB-L asymmetry transferred to the visible sector, and so we obtain

BfBf=7928c1Y+c2Xa1Y+a2X+b1Yb2X.\frac{B_{f}^{\prime}}{B_{f}}=\frac{79}{28}\frac{-c_{1}Y+c_{2}X}{-a_{1}Y+a_{2}X+b_{1}Y-b_{2}X}. (70)

IV.5.3 Results

For this section we give results as the range of relative sizes between XX and YY that produce appropriate baryon ratios. To roughly identify the allowed range of baryon ratios, we again look to Fig. 1 from the original paper [25]. We are working at a parameter point where ρ=300\rho=300, and the heaviest of the new Yukawa couplings is on the order of the standard model top quark Yukawa coupling. Thus, we have a value of ΛDM\Lambda_{\mathrm{DM}} between 0.90.9 and 22 GeV. To reproduce the 5:1 ratio between the dark and visible mass densities, from Eq. 37 it follows that we need a value for the baryon ratio satisfying 0.5Bf/Bf1.10.5\lesssim B_{f}^{\prime}/B_{f}\lesssim 1.1.

The asymmetry transfer by our lepton portal produces a valid baryon ratio for

3.6<YX<1.6,-3.6<\frac{Y}{X}<-1.6, (71)

where Y/XY/X is the ratio of the initial dark lepton and baryon asymmetries. Thus we favour a dark EWBG which generates a lepton asymmetry of slightly larger magnitude than and opposite sign to the baryon asymmetry. While we have not provided a detailed calculation of the initial asymmetry generation dynamics in this work, to achieve similar initial asymmetries we expect that the heaviest dark quarks and leptons should have masses of similar sizes. This then requires at least one 𝒪(1)\mathcal{O}(1) dark lepton Yukawa coupling. To make any more precise statements about the viability of this portal would require a detailed analysis of the dark electroweak baryogenesis dynamics.

V Dark Radiation and the Neutron Portal

So far, we have investigated the transfer of particle number asymmetries at temperatures well above the visible electroweak scale, providing a general analysis of effective operators which preserve a total particle number. Of these, the neutron portal was especially promising, as it could also naturally allow for the stringent bounds on dark radiation to be alleviated. However, to serve this dual role the neutron portal must remain in equilibrium until a decoupling temperature TdecT_{\mathrm{dec}} that lies between the visible and dark quark-hadron phase transition (QHPT) temperatures; in addition, this must be achieved in a way that does not introduce excessive fine-tuning to the extent that the model can no longer serve as a natural explanation of the cosmological coincidence ΩDM5ΩVM\Omega_{\mathrm{DM}}\simeq 5\Omega_{\mathrm{VM}}. In this section we discuss the difficulties that arise when attempting to implement the neutron portal at these low temperatures, in particular: (i) specifying a valid UV completion of the neutron portal and (ii) tracking the asymmetry transfer over a larger temperature range.

V.1 UV-completing the neutron portal

For the neutron portal to be active below the dark QHPT, it must remain in thermal equilibrium down to a temperature below ΛDM\Lambda_{\mathrm{DM}}. While the specific value of ΛDM\Lambda_{\mathrm{DM}} depends on the spectrum of dark quark masses, it is at most a few GeV. From Eq. 56, the neutron portal effective operator falls out of equilibrium at T(M10/mPl)1/9T\approx(M^{10}/m_{\mathrm{Pl}})^{1/9}. So, for the neutron portal to remain in operation at T1T\sim 1 GeV, we require a cutoff scale M63M\lesssim 63 GeV. At temperatures above this scale the effective operator description will be invalid, and so to properly analyse the asymmetry transfer we must provide a renormalisable realisation of the neutron portal effective operator.

A UV completion for this operator was given in Ref. [90], and a similar interaction was given in Ref. [91] in the context of neutron-antineutron oscillation. Similarly to these papers, we introduce a scalar diquark S(𝟑,𝟏,23)S\sim(\bm{3},\bm{1},\frac{2}{3}) with baryon number B=23B=-\frac{2}{3} and a gauge singlet fermion NR(𝟏,𝟏,0)N_{R}\sim(\bm{1},\bm{1},0) with baryon number B=1B=-1, as well as their mirror partners SS^{\prime} and NLN_{L}^{\prime}. Assuming BBB-B^{\prime} conservation, the new Yukawa and mass terms are given by

λi(Su¯RiNRc+Su¯LiNLc)+κij(Sdc¯RidRj+Sdc¯LidLj)+MS2(SS+SS)+MNNRNL.\begin{split}\mathcal{L}&\supset\lambda_{i}(S\bar{u}_{Ri}N_{R}^{c}+S^{\prime}\bar{u}_{Li}^{\prime}N_{L}^{c\prime})+\kappa_{ij}(S\bar{d^{c}}_{Ri}d_{Rj}+S^{\prime}\bar{d^{c}}_{Li}^{\prime}d_{Lj}^{\prime})\\ &+M_{S}^{2}(S^{\ast}S+S^{\ast\prime}S^{\prime})+M_{N}N_{R}N_{L}^{\prime}.\end{split} (72)

BBB-B^{\prime} conservation forbids Majorana mass terms for the singlet fermions, preventing the washout of any dark or visible baryon number asymmetry carried by the respective singlet fermion. While the mirror symmetry gives equal mass terms for SS and SS^{\prime}, they can obtain differing masses following symmetry breaking through their couplings to the Higgs doublets. In the ASB limit, the relevant couplings are given by

η1(SSΦ1Φ1+SSΦ1Φ1)+η2(SSΦ2Φ2+SSΦ2Φ2)+η3(SSΦ1Φ1+SSΦ1Φ1)+η4(SSΦ2Φ2+SSΦ2Φ2),\begin{split}\mathcal{L}&\supset\eta_{1}(S^{\ast}S\Phi_{1}^{\dagger}\Phi_{1}+S^{\prime\ast}S^{\prime}\Phi_{1}^{\prime\dagger}\Phi_{1}^{\prime})+\eta_{2}(S^{\ast}S\Phi_{2}^{\dagger}\Phi_{2}+S^{\prime\ast}S^{\prime}\Phi_{2}^{\prime\dagger}\Phi_{2}^{\prime})\\ &+\eta_{3}(S^{\ast}S\Phi_{1}^{\prime\dagger}\Phi_{1}^{\prime}+S^{\prime\ast}S^{\prime}\Phi_{1}^{\dagger}\Phi_{1})+\eta_{4}(S^{\ast}S\Phi_{2}^{\prime\dagger}\Phi_{2}^{\prime}+S^{\prime\ast}S^{\prime}\Phi_{2}^{\dagger}\Phi_{2}),\end{split} (73)

producing scalar diquark masses

mS2=MS2+v22(η1+ρ2η4),mS2=MS2+v22(η3+ρ2η2).\begin{split}m_{S}^{2}=M_{S}^{2}+\frac{v^{2}}{2}(\eta_{1}+\rho^{2}\eta_{4}),\\ m_{S^{\prime}}^{2}=M_{S}^{2}+\frac{v^{2}}{2}(\eta_{3}+\rho^{2}\eta_{2}).\end{split} (74)

The neutron portal operators are induced by diagrams such as that given in Fig. 5. As before, to ensure the stability of the dark neutron – our dark matter candidate – we cannot allow the neutron portal to involve only the lightest dark quarks, uu^{\prime} and dd^{\prime}. We thus need to introduce some additional flavour structure to the Yukawa interactions, such that one of λ1\lambda_{1} or κ11\kappa_{11} is equal to zero.

Refer to caption
Figure 5: Diagram inducing the neutron portal effective operator for temperatures T<mS,mS,MNT<m_{S},m_{S^{\prime}},M_{N}.

At temperatures T<mS,mS,MNT<m_{S},m_{S^{\prime}},M_{N}, and assuming 𝒪(1)\mathcal{O}(1) Yukawa couplings, the cutoff scale for the neutron portal effective operator is given by M(mS2mS2MN)15M\sim(m_{S}^{2}m_{S^{\prime}}^{2}M_{N})^{\frac{1}{5}}. Visible scalar diquarks at masses below a few TeV have been disfavoured by collider searches [92], so we take mS104m_{S}\sim 10^{4} GeV, which can be easily achieved with ρ100\rho\sim 100 and 𝒪(1)\mathcal{O}(1) values of η4\eta_{4}. Then, for the cutoff scale to satisfy M63M\lesssim 63 GeV, we require mS2MN10m_{S^{\prime}}^{2}M_{N}\lesssim 10 GeV3. For mS210m_{S^{\prime}}^{2}\gtrsim 10 GeV2 we then require MN1M_{N}\lesssim 1 GeV, which means that at the dark QHPT NRN_{R} and NLN_{L}^{\prime} remain in equilibrium and the neutron portal is not described by a single portal operator. Achieving mS210m_{S^{\prime}}^{2}\lesssim 10 GeV2 is not feasible without significant fine-tuning, requiring η3103\eta_{3}\lesssim 10^{-3} and η2107\eta_{2}\lesssim 10^{-7} for ρ100\rho\sim 100. Thus, we do have to consider the situation where NRN_{R} and NLN_{L}^{\prime} have masses smaller than the dark QHPT temperature T1T\sim 1 GeV.

In this case, for the neutron portal to be active at the dark QHPT, we need the effective operators induced by the SS-/SS^{\prime}-mediated interactions of Fig. 6 to be in thermal equilibrium at T1T\sim 1 GeV. Assuming 𝒪(1)\mathcal{O}(1) Yukawa couplings, these operators are in thermal equilibrium for T(mS()4/mPl)1/3=200T\gtrsim(m_{S^{(\prime)}}^{4}/m_{\mathrm{Pl}})^{1/3}=200 MeV assuming mS,mS104m_{S},m_{S^{\prime}}\sim 10^{4} GeV. So, the given completion for the neutron portal allows it to be active at the dark QHPT temperature for mS,mS104m_{S},m_{S^{\prime}}\sim 10^{4} GeV and MNM_{N} small enough for NRN_{R} and NLN_{L}^{\prime} to remain in thermal equilibrium.

Refer to caption
Figure 6: Diagrams inducing effective operators for temperatures given by MN<T<mS,mSM_{N}<T<m_{S},m_{S^{\prime}}.

However, this situation introduces an issue for the stability of our dark matter candidate, the dark neutron: if MNM_{N} is lower than mnm_{n^{\prime}}, then the decay mode nNLγn^{\prime}\rightarrow N_{L}^{\prime}\gamma^{\prime} becomes available. The dark neutron mass is a factor of a few times ΛQCD\Lambda_{\mathrm{QCD}}, which also approximately gives the dark QHPT temperature. So, if MNM_{N} is smaller than the dark QHPT temperature to allow the neutron portal to decouple between the visible and dark QHPTs, then it will be lighter than nn^{\prime} and the dark matter will not be stable. The flavour structure of the Yukawa couplings does prevent this decay occurring at tree-level; however, the kinematically-allowed decay can still occur at one-loop level.

This instability could be avoided if MNM_{N} is greater than mnm_{n}^{\prime}, at a value around a few GeV, and if the singlet fermions do not fall out of thermal equilibrium until a temperature a factor of 10 or so smaller than their mass. While possible, this places quite a tight restriction on the MNM_{N}, as it must be only slightly higher than mnm_{n}^{\prime} to be able to remain in thermal equilibrium down to a temperature between the visible and dark QHPT temperatures. If this is the case, however, then the neutron portal can remain active down to the desired decoupling temperature.

V.2 Asymmetry transfer

We now analyse the asymmetry transfer due to this specific neutron portal. As this cross-sector interaction is active from the dEWPT at around 10510^{5} GeV down to the decoupling temperature between the visible and dark QHPTS at around 11 GeV, determining the final baryon ratio B/BB^{\prime}/B is more complicated than the cases considered in Sec. IV.

Recall that at a given temperature, our process is to (i) identify which particle species are in equilibrium and assign them chemical potentials, (ii) identify the interactions in thermal equilibrium that constrain these chemical potentials, (iii) identify the conserved charges that correspond to the remaining free parameters, and (iv) solve for the chemical potentials in terms of the initial conditions on these conserved charges. Since the neutron portal is now active over a large temperature range, the chemical potentials reequilibrate and new charges become conserved as various particle species and interactions fall out of equilibrium.

To account for this reequilibration, we first identify the new conserved charges as well as the temperatures at which they begin to be conserved following the freeze-out of particular particle species and interactions. When each new charge begins to be conserved, we can calculate its asymmetry in terms of the other conserved charges at that temperature. So, beginning at the dEWPT temperature T105T\sim 10^{5} GeV with initial asymmetries given by B=XB^{\prime}=X and L=YL^{\prime}=Y, we can calculate each new conserved charge in terms of XX and YY. Continuing this process down to 11 GeV, we obtain the final baryon ratio B/BB^{\prime}/B immediately prior to the dark QHPT.

Although the neutron portal freezes out between the visible and dark QHPT temperatures due to the Boltzmann suppression of the quarks involved, we do not continue to track the baryon ratio after the dark QHPT commences. This is due to the nonperturbative strong dynamics of the dark QHPT, which cannot be handled by our approximate calculation method. While this introduces additional uncertainty to our calculations, our goal is not to calculate a precise ratio, but just to show that a reasonable ratio of B/B<5B^{\prime}/B<5 can be obtained by the neutron portal operator acting until low temperatures. Additionally, given that the neutron portal freezes out shortly after the dark QHPT commences, we claim that the final baryon number ratio should not change after the transition by more than a factor of a few.

V.2.1 Conserved charges

To simplify the analysis further, we will drop generational indices from our chemical potentials, setting equal chemical potentials for the particles of each type in thermal equilibrium. We first work at a temperature on the order of 10410^{4} GeV where the scalar diquarks SS and SS^{\prime} have frozen out but the dark Higgs boson hh^{\prime} is still in equilibrium. The particle species and interactions in equilibrium are then the same as in Sec. IV.4, but with the neutron portal constraint replaced by constraints from the SS- and SS^{\prime}-mediated effective operators

μuR+μNR+2μdR=0,μuL+μNL+2μdL=0\mu_{u_{R}}+\mu_{N_{R}}+2\mu_{d_{R}}=0,\quad\mu_{u_{L}^{\prime}}+\mu_{N_{L}^{\prime}}+2\mu_{d_{L}^{\prime}}=0 (75)

and the gauge singlet mass term setting μNR=μNl\mu_{N_{R}}=\mu_{N_{l}^{\prime}}. Then there are only two conserved charges,

1=B+BL,2=L,\mathcal{L}_{1}=B+B^{\prime}-L,\quad\mathcal{L}_{2}=L^{\prime}, (76)

with initial conditions 1=X\mathcal{L}_{1}=X and 2=Y\mathcal{L}_{2}=Y.

After the dark Higgs boson hh^{\prime} freezes out at around 10410^{4} GeV, the dark Yukawa interactions are replaced by four-fermion interactions mediated by the dark Higgs doublets,

μuRμuL+μeRμeL=0,μuRμuL+μdRμdL=0,μdRμdLμeR+μeL=0,\mu_{u_{R}^{\prime}}-\mu_{u_{L}^{\prime}}+\mu_{e_{R}^{\prime}}-\mu_{e_{L}^{\prime}}=0,\quad\mu_{u_{R}^{\prime}}-\mu_{u_{L}^{\prime}}+\mu_{d_{R}^{\prime}}-\mu_{d_{L}^{\prime}}=0,\quad\mu_{d_{R}^{\prime}}-\mu_{d_{L}^{\prime}}-\mu_{e_{R}^{\prime}}+\mu_{e_{L}^{\prime}}=0, (77)

and there is a new conserved charge given by 3=μuRμdR+μνRμeR\mathcal{L}_{3}=\mu_{u_{R}^{\prime}}-\mu_{d_{R}^{\prime}}+\mu_{\nu_{R}^{\prime}}-\mu_{e_{R}^{\prime}}; that is, uRu_{R}^{\prime} and νR\nu_{R}^{\prime} have 3\mathcal{L}_{3} charge 1 and dRd_{R}^{\prime} and eRe_{R}^{\prime} have 3\mathcal{L}_{3} charge -1.

These Higgs-mediated interactions remain in equilibrium for temperatures given by T>((mhw)4/(4m12m22mPl))1/3T>\left((m_{h^{\prime}}w)^{4}/(4{m_{1}}^{2}{m_{2}}^{2}m_{\mathrm{Pl}})\right)^{1/3}, where m1m_{1} and m2m_{2} are the masses of the fermion species involved and we have used the Cheng-Sher Ansatz [58] for the dark Yukawa couplings.

We work at a benchmark scenario with ρ100\rho\simeq 100, z20.025z_{2}\simeq 0.025, and selected dark quark masses of mc50m_{c^{\prime}}\simeq 50 GeV, mμ50m_{\mu^{\prime}}\simeq 50 GeV, and mb500m_{b^{\prime}}\simeq 500 GeV. Then the Higgs-mediated interaction constraints of Eq. 77 apply until T60T\simeq 60 GeV (for cL+cRμL+μRc_{L}^{\prime}+c_{R}^{\prime}\leftrightarrow\mu_{L}^{\prime}+\mu_{R}^{\prime}), T500T\simeq 500 GeV (for cL+cRbL+bRc_{L}^{\prime}+c_{R}^{\prime}\leftrightarrow b_{L}^{\prime}+b_{R}^{\prime}), and T500T\simeq 500 GeV (for bL+bRμL+μRb_{L}^{\prime}+b_{R}^{\prime}\leftrightarrow\mu_{L}^{\prime}+\mu_{R}^{\prime}), respectively.

So, after the constraints μuRμuL+μdRμdL=0\mu_{u_{R}^{\prime}}-\mu_{u_{L}^{\prime}}+\mu_{d_{R}^{\prime}}-\mu_{d_{L}^{\prime}}=0 and μdRμdLμeR+μeL=0\mu_{d_{R}^{\prime}}-\mu_{d_{L}^{\prime}}-\mu_{e_{R}^{\prime}}+\mu_{e_{L}^{\prime}}=0 freeze out at T500T\sim 500 GeV, the conserved charge 3=μuRμdR+μνRμeR\mathcal{L}_{3}=\mu_{u_{R}^{\prime}}-\mu_{d_{R}^{\prime}}+\mu_{\nu_{R}^{\prime}}-\mu_{e_{R}^{\prime}} splits into two conserved charges 3=μuRμeR\mathcal{L}_{3}=\mu_{u_{R}^{\prime}}-\mu_{e_{R}^{\prime}} and 4=μdRμνR\mathcal{L}_{4}=\mu_{d_{R}^{\prime}}-\mu_{\nu_{R}^{\prime}}.

The next stage is shortly after the vEWPT at the electroweak sphaleron freeze out temperature T150T\sim 150 GeV. This assumes the vEWPT is crossover as it is in the SM [62]; we make this assumption since the dynamics of the vEWPT are controlled by the couplings of Φ1\Phi_{1} which are very similar to that of the SM Higgs doublet. After this point, the charge 1=B+BL\mathcal{L}_{1}=B+B^{\prime}-L splits into two conserved charges, 1=B+B\mathcal{L}_{1}=B+B^{\prime} and 5=L\mathcal{L}_{5}=L.

After the freeze out of the visible Higgs around its mass of 125125 GeV, there is a new conserved charge 6=μuLμdL+μνLμeL\mathcal{L}_{6}=\mu_{u_{L}}-\mu_{d_{L}}+\mu_{\nu_{L}}-\mu_{e_{L}}. The final new conserved charge is 7=μuR+μdR\mathcal{L}_{7}=\mu_{u_{R}^{\prime}}+\mu_{d_{R}^{\prime}}, which becomes conserved following the freeze out of the dark Higgs-mediated constraint μuRμuL+μeRμeL=0\mu_{u_{R}^{\prime}}-\mu_{u_{L}^{\prime}}+\mu_{e_{R}^{\prime}}-\mu_{e_{L}^{\prime}}=0 at 6060 GeV. A summary of these conserved charges and the temperatures at which they are first conserved is presented in Table 7.

TT [GeV] Conserved Charges
10510^{5} {B+BL\{B+B^{\prime}-L^{\prime}, L}L^{\prime}\}
10410^{4} {B+BL\{B+B^{\prime}-L^{\prime}, LL^{\prime}, μuRμdR+μνRμeR}\mu_{u_{R}^{\prime}}-\mu_{d_{R}^{\prime}}+\mu_{\nu_{R}^{\prime}}-\mu_{e_{R}^{\prime}}\}
500500 {B+BL\{B+B^{\prime}-L^{\prime}, LL^{\prime}, μuRμeR\mu_{u_{R}^{\prime}}-\mu_{e_{R}^{\prime}}, μdRμνR}\mu_{d_{R}^{\prime}}-\mu_{\nu_{R}^{\prime}}\}
150150 {B+B\{B+B^{\prime}, LL^{\prime}, μuRμeR\mu_{u_{R}^{\prime}}-\mu_{e_{R}^{\prime}}, μdRμνR\mu_{d_{R}^{\prime}}-\mu_{\nu_{R}^{\prime}}, L}L\}
125125 {B+B\{B+B^{\prime}, LL^{\prime}, μuRμeR\mu_{u_{R}^{\prime}}-\mu_{e_{R}^{\prime}}, μdRμνR\mu_{d_{R}^{\prime}}-\mu_{\nu_{R}^{\prime}}, LL, μuLμdL+μνLμeL}\mu_{u_{L}}-\mu_{d_{L}}+\mu_{\nu_{L}}-\mu_{e_{L}}\}
6060 {B+B\{B+B^{\prime}, LL^{\prime}, μuRμeR\mu_{u_{R}^{\prime}}-\mu_{e_{R}^{\prime}}, μdRμνR\mu_{d_{R}^{\prime}}-\mu_{\nu_{R}^{\prime}}, LL, μuLμdL+μνLμeL\mu_{u_{L}}-\mu_{d_{L}}+\mu_{\nu_{L}}-\mu_{e_{L}}, μuR+μdR}\mu_{u_{R}^{\prime}}+\mu_{d_{R}^{\prime}}\}
Table 7: The set of conserved charges {i}\{\mathcal{L}_{i}\} along with the approximate temperature TT at which each new charge first becomes conserved.

V.2.2 Results

At around 11 GeV, just before the dark QHPT commences, we can calculate BB^{\prime} and BB in terms of the seven conserved charges. Starting with the initial conditions 1=X\mathcal{L}_{1}=X and 2\mathcal{L}_{2}, we determine each new conserved charge in terms of XX and YY; continuing all the way to 11 GeV, we obtain

Bf0.28X+0.07YBf0.24X0.003Y.\begin{split}B^{\prime}_{f}&\simeq 0.28X+0.07Y\\ B_{f}&\simeq 0.24X-0.003Y.\end{split} (78)

Consider a case where no dark lepton asymmetry is generate during dark EWBG and thus Y=0Y=0; this could easily arise if the Yukawa couplings of the dark leptons are all smaller than 𝒪(1)\mathcal{O}(1), as they are in the SM. Then, the final ratio of baryon numbers is given by

BfBf|Y=01.1\frac{B^{\prime}_{f}}{B_{f}}|_{Y=0}\simeq 1.1 (79)

So, the neutron portal scenario we consider can naturally generate similar asymmetries in visible and dark baryon number. We also check when the constraint B/B<5B^{\prime}/B<5 applies in terms of the relative sizes of the initial dark baryon and lepton asymmetries, finding that is it satisfied for Y/X11.4Y/X\lesssim 11.4. Thus, we can remain fairly agnostic about the specifics of the asymmetry generation through dark EWBG, as a reasonable and related baryon ratio can be obtained for an initial lepton asymmetry up to an order of magnitude larger than the initial baryon asymmetry.

VI Conclusion

The 5:1 ratio between the present-day mass densities of dark matter and visible matter is one of the few tantalising hints we have toward the fundamental nature of dark matter. This apparent coincidence of both cosmological number densities and mass scales between dark and visible relic species suggests a deep link between the two forms of matter, motivating the search for a comprehensive dark matter model where this relationship arises naturally.

While asymmetric dark matter models provide a variety of ways to relate the number densities of visible and dark matter, relating the particle masses presents a challenge that is more difficult and thus less frequently addressed. In this work we focused on extending the mirror two Higgs doublet model of Ref. [25], where the dark matter consists of neutrons of a dark QCD whose confinement scale is related to ΛQCD\Lambda_{\mathrm{QCD}} by a discrete symmetry that is spontaneously broken at a high scale. While this earlier work generated related visible and dark baryon number densities through thermal leptogenesis, we sought to implement electroweak baryogenesis at the dark electroweak phase transition as the method for generating a particle asymmetry.

In this work we did not present a fully detailed theory of electroweak baryogenesis; rather, we completed some preliminary steps to demonstrate the feasibility of such a model, and to show that it could be naturally realised within the mirror 2HDM framework of Ref. [25]. We first showed in Sec. III that for a number of regions of parameter space the dark electroweak phase transition is strongly first-order, as is necessary to provide the out-of-equilibrium dynamics in EWBG. In Sec. IV we then considered the generation and reprocessing of the dark baryon asymmetry generated through dark EWBG by cross-sector effective operator interactions. For both interactions we analysed – the neutron portal and the lepton portal – the final visible and dark baryon number densities obtained were of a similar order. However, in the case of the lepton portal, the present-day baryon asymmetry ratio depended on the relative sizes of the dark lepton and baryon asymmetries generated at the dEWPT. Determining these initial conditions requires a full calculation of the EWBG dynamics.

In addition to providing the initial conditions for the lepton portal, a full EWBG calculation would also show whether a sufficiently large dark baryon asymmetry can be generated; that is, large enough that the correct visible baryon number density is reproduced following the asymmetry transfer. Using a rough condition we showed that, given at least one 𝒪(1)\mathcal{O}(1) dark quark Yukawa coupling, a sufficiently large baryon asymmetry should be able to be generated through CPCP violation in the dark CKM matrix. A quantitative EWBG analysis is necessary to turn this work into a complete theory.

Lastly in Sec. V we considered the tricky issue of alleviating the BBN bounds on dark radiation, which presents a common challenge in ADM theories. The most promising and natural solution given in the original paper was a neutron portal operator holding the visible and dark sectors in thermal equilibrium until a point shortly after the dark quark-hadron phase transition. The notion of the neutron portal serving a dual role by transferring asymmetries and addressing the dark radiation issue is greatly appealing; however, we showed it is difficult to implement the neutron portal down to temperatures around 11 GeV. In particular, we identified a UV completion that allowed the neutron portal to operate successfully, but only if the gauge singlet fermions NRN_{R} and NLN_{L}^{\prime} have a mass just larger than the dark neutron. This is quite a tight restriction, and presents an unwanted source of fine-tuning. Given this UV completion, we then calculated the asymmetry transfer – noting the large uncertainty introduced by the non-perturbative dynamics of the dark QHPT – and showed that the neutron portal can generate visible and dark baryon asymmetries of a similar order while also helping to obey the dark radiation constraints.

Acknowledgements

We thank Stephen Lonsdale for helpful correspondence. This work was supported in part by the Australian Research Council and the Australian Government Research Training Program Scholarship initiative.

References