Phases of Dark Matter from Inverse Decays

Ronny Frumkin1,2ronny.frumkin@weizmann.ac.il  Yonit Hochberg1,3yonit.hochberg@mail.huji.ac.il  Eric Kuflik1,3eric.kuflik@mail.huji.ac.il  Hitoshi Murayama4,5,6hitoshi@berkeley.edu, hitoshi.murayama@ipmu.jp1Racah Institute of Physics, Hebrew University of Jerusalem, Jerusalem 91904, Israel 2Department of Particle Physics and Astrophysics, Weizmann Institute of Science, Rehovot 7610001, Israel 3Laboratory for Elementary Particle Physics, Cornell University, Ithaca, NY 14853, USA 4Ernest Orlando Lawrence Berkeley National Laboratory, University of California, Berkeley, CA 94720, USA 5Department of Physics, University of California, Berkeley, CA 94720, USA 6Kavli Institute for the Physics and Mathematics of the Universe (WPI),
University of Tokyo, Kashiwa 277-8583, Japan
Abstract

Inverse decays are an interesting avenue for producing dark matter in the early universe. We study in detail various phases of dark matter parameter space where inverse decays control its abundance, expanding on our work of INDY dark matter and going beyond. The role of initial conditions and the impact of departure from kinetic equilibrium are investigated as well. We show how these inverse decay phases can arise in theories of a kinetically mixed dark photon and dark Higgs, with promising prospects for detection at upcoming experiments.

I Introduction

The identity of dark matter (DM) remains one of the most pressing puzzles of modern day physics. Recent years have seen a surge of new ideas suggesting various processes in the early universe that could control the DM relic abundance, including SIMPs Hochberg et al. (2014, 2015), ELDERs Kuflik et al. (2016), forbidden channels Griest and Seckel (1991); D’Agnolo and Ruderman (2015), coscattering D’Agnolo et al. (2017), zombies Kramer et al. (2021) and more, where in some cases decay interactions play a role in the evolution over time of the DM abundance Dror et al. (2016, 2018); Kopp et al. (2016); D’Agnolo et al. (2018); Fitzpatrick et al. (2022); Kim and Kuflik (2019); Asadi et al. (2021a, b); Dror et al. (2016, 2018); Berlin et al. (2016); Morrissey et al. (2009); Cohen et al. (2010); Bandyopadhyay et al. (2011); Farina et al. (2016); Kim and Kuflik (2019); Hochberg et al. (2019); Feng et al. (2003); Kaplinghat (2005); Moroi and Randall (2000); Acharya et al. (2009); Hall et al. (2010); Berlin et al. (2016); Morrissey et al. (2009); Azatov et al. (2021); Garny et al. (2017); Yaguna (2008); Garny et al. (2019). Among these, an exciting possibility is for inverse decays of the DM to control its relic abundance. Ref. Frumkin et al. (2023a) proposed a new thermal DM candidate whose abundance is determined by the freezeout of inverse decays, dubbed ‘INDY’ DM. In this work, we elaborate on the INDY mechanism and study in detail the various phases that arise when considering such inverse decays.

This paper is organized as follows. We begin in Section II by setting up the basic mechanism and in Section III we identify the relevant theory phases. In Section IV we scrutinize the effects of departure from kinetic equilibrium. Section V presents a model that realizes these phases, along with its phenomenological prospects. We conclude in Section VI.

Refer to caption
Figure 1: Phases of DM. Annihilations versus decays phase diagram, for various mass splittings and DM masses, and different initial conditions. The solid lines in the right (where αdecay>1024subscript𝛼decaysuperscript1024\alpha_{\rm decay}>10^{-24}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT > 10 start_POSTSUPERSCRIPT - 24 end_POSTSUPERSCRIPT) are the same as in Ref. Frumkin et al. (2023a), with initial condition of chemical equilibrium at x=1𝑥1x=1italic_x = 1. The two phases are evident: The first is the horizontal branch, where the relic abundance of the DM is set through the annihilations of another dark particle, with which it is in chemical equilibrium via decays and inverse decays, denoted by ‘coannihilation’. The second is the vertical branch, where the relic abundance of the DM is set by the freezeout of the inverse decay of the DM particle. We dub this case as ‘INDY’ DM. The lighter-colored solid lines in the right represent the ‘Freeze-in-Freeze-out’ (FIFO) case, where the initial conditions taken are Yχ=0subscript𝑌𝜒0Y_{\chi}=0italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT = 0 at x=0𝑥0x=0italic_x = 0, and the χ𝜒\chiitalic_χ abundance grows and decreases. The FIFO case coincide with INDY for most of the parameters, or otherwise very close to it. In the left side of the figure (αdecay>1024subscript𝛼decaysuperscript1024\alpha_{\rm decay}>10^{-24}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT > 10 start_POSTSUPERSCRIPT - 24 end_POSTSUPERSCRIPT) the lines represent the ‘Freeze-in’ (FI) case, where the initial conditions taken are Yχ=0subscript𝑌𝜒0Y_{\chi}=0italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT = 0 at x=0𝑥0x=0italic_x = 0, and the χ𝜒\chiitalic_χ abundance grows with time, as well as the ‘FO & Decay’ phase, where ψ𝜓\psiitalic_ψ freezes out and later decays to the DM.

II The Basic System

We begin by setting up the system of interest. Consider the decay and inverse decay processes ψχ+ϕ𝜓𝜒italic-ϕ\psi\longleftrightarrow\chi+\phiitalic_ψ ⟷ italic_χ + italic_ϕ of a DM candidate χ𝜒\chiitalic_χ and an unstable particle ψ𝜓\psiitalic_ψ, along with the self-annihilation process ψψϕ~ϕ~𝜓𝜓~italic-ϕ~italic-ϕ\psi\psi\longleftrightarrow\tilde{\phi}\tilde{\phi}\ italic_ψ italic_ψ ⟷ over~ start_ARG italic_ϕ end_ARG over~ start_ARG italic_ϕ end_ARG, with ϕitalic-ϕ\phiitalic_ϕ and ϕ~~italic-ϕ\tilde{\phi}over~ start_ARG italic_ϕ end_ARG indicating particles in equilibrium with the Standard Model (SM) bath. The relative strength between these two processes will determine which reaction controls the relic abundance of DM χ𝜒\chiitalic_χ and will lead to various phases of this simple system.

The Boltzmann equations (BEs) for this system, assuming detailed balance, can be written as Frumkin et al. (2023a)

dYχdx𝑑subscript𝑌𝜒𝑑𝑥\displaystyle\frac{dY_{\chi}}{dx}divide start_ARG italic_d italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_x end_ARG=\displaystyle==ΓxH(YψeqYχeqYχYψ),delimited-⟨⟩Γ𝑥𝐻superscriptsubscript𝑌𝜓eqsuperscriptsubscript𝑌𝜒eqsubscript𝑌𝜒subscript𝑌𝜓\displaystyle-\frac{\langle\Gamma\rangle}{xH}\left(\frac{Y_{\psi}^{\rm eq}}{Y_% {\chi}^{\rm eq}}Y_{\chi}-Y_{\psi}\right)\,,- divide start_ARG ⟨ roman_Γ ⟩ end_ARG start_ARG italic_x italic_H end_ARG ( divide start_ARG italic_Y start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT end_ARG start_ARG italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT end_ARG italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT - italic_Y start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT ) ,(1)
dYψdx𝑑subscript𝑌𝜓𝑑𝑥\displaystyle\frac{dY_{\psi}}{dx}divide start_ARG italic_d italic_Y start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_x end_ARG=\displaystyle==dYχdxsσvxH(Yψ2Yψeq2),𝑑subscript𝑌𝜒𝑑𝑥𝑠delimited-⟨⟩𝜎𝑣𝑥𝐻superscriptsubscript𝑌𝜓2superscriptsubscript𝑌𝜓superscripteq2\displaystyle-\frac{dY_{\chi}}{dx}-\frac{s\langle\sigma v\rangle}{xH}\left(Y_{% \psi}^{2}-Y_{\psi}^{{\rm eq}^{2}}\right)\,,- divide start_ARG italic_d italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_x end_ARG - divide start_ARG italic_s ⟨ italic_σ italic_v ⟩ end_ARG start_ARG italic_x italic_H end_ARG ( italic_Y start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_Y start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) ,

where x=mχ/T𝑥subscript𝑚𝜒𝑇x=m_{\chi}/Titalic_x = italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT / italic_T, Y=n/s𝑌𝑛𝑠Y=n/sitalic_Y = italic_n / italic_s is the yield, s𝑠sitalic_s is the entropy density, H𝐻Hitalic_H is the Hubble rate, Γdelimited-⟨⟩Γ\langle\Gamma\rangle⟨ roman_Γ ⟩ represents the thermally averaged (time dilation included) decay rate of ψχϕ𝜓𝜒italic-ϕ\psi\to\chi\phiitalic_ψ → italic_χ italic_ϕ, and σvdelimited-⟨⟩𝜎𝑣\langle\sigma v\rangle⟨ italic_σ italic_v ⟩ represents the thermally averaged cross section for the annihilation ψψϕ~ϕ~𝜓𝜓~italic-ϕ~italic-ϕ\psi\psi\to\tilde{\phi}\tilde{\phi}italic_ψ italic_ψ → over~ start_ARG italic_ϕ end_ARG over~ start_ARG italic_ϕ end_ARG. (The changes in the effective number of degrees of freedom for radiation density gsubscript𝑔g_{*}italic_g start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT and for entropy gssubscript𝑔absent𝑠g_{*s}italic_g start_POSTSUBSCRIPT ∗ italic_s end_POSTSUBSCRIPT are taken into account by dividing H𝐻Hitalic_H by a factor of (1+13dlngs(T)dlnT)113𝑑lnsubscript𝑔absent𝑠𝑇𝑑𝑇\left(1+\frac{1}{3}\frac{d{\rm ln}g_{*s}(T)}{d\ln T}\right)( 1 + divide start_ARG 1 end_ARG start_ARG 3 end_ARG divide start_ARG italic_d roman_ln italic_g start_POSTSUBSCRIPT ∗ italic_s end_POSTSUBSCRIPT ( italic_T ) end_ARG start_ARG italic_d roman_ln italic_T end_ARG ); values are taken from Ref. Hindmarsh and Philipsen (2005).)

We parameterize the decay width and the thermally averaged cross-section of the ψ𝜓\psiitalic_ψ self-annihilations by

Γαdecaymψβ¯Γsubscript𝛼decaysubscript𝑚𝜓¯𝛽\Gamma\equiv\alpha_{\rm decay}m_{\psi}\bar{\beta}roman_Γ ≡ italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT over¯ start_ARG italic_β end_ARG(2)

and

σvαann2mψ2delimited-⟨⟩𝜎𝑣superscriptsubscript𝛼ann2superscriptsubscript𝑚𝜓2\langle\sigma v\rangle\equiv\frac{\alpha_{\rm ann}^{2}}{m_{\psi}^{2}}\,⟨ italic_σ italic_v ⟩ ≡ divide start_ARG italic_α start_POSTSUBSCRIPT roman_ann end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG(3)

respectively, where αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT and αannsubscript𝛼ann\alpha_{\rm ann}italic_α start_POSTSUBSCRIPT roman_ann end_POSTSUBSCRIPT are dimensionless couplings constants we use to parameterize the system and β¯=12(mϕ2+mχ2)mψ2+(mϕ2mχ2)2mψ4¯𝛽12superscriptsubscript𝑚italic-ϕ2superscriptsubscript𝑚𝜒2superscriptsubscript𝑚𝜓2superscriptsuperscriptsubscript𝑚italic-ϕ2superscriptsubscript𝑚𝜒22superscriptsubscript𝑚𝜓4\bar{\beta}=\sqrt{1-2\frac{\left(m_{\phi}^{2}+m_{\chi}^{2}\right)}{m_{\psi}^{2% }}+\frac{\left(m_{\phi}^{2}-m_{\chi}^{2}\right)^{2}}{m_{\psi}^{4}}}over¯ start_ARG italic_β end_ARG = square-root start_ARG 1 - 2 divide start_ARG ( italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG ( italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG end_ARG is a phase space factor. The thermally averaged decay rate obtained by using Maxwell-Boltzmann statistics is given by

Γ=ΓK1(mψT)K2(mψT),delimited-⟨⟩ΓΓsubscript𝐾1subscript𝑚𝜓𝑇subscript𝐾2subscript𝑚𝜓𝑇\left\langle\Gamma\right\rangle=\Gamma\frac{K_{1}\left(\frac{m_{\psi}}{T}% \right)}{K_{2}\left(\frac{m_{\psi}}{T}\right)}\,,⟨ roman_Γ ⟩ = roman_Γ divide start_ARG italic_K start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( divide start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_ARG start_ARG italic_T end_ARG ) end_ARG start_ARG italic_K start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( divide start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_ARG start_ARG italic_T end_ARG ) end_ARG ,(4)

with K1,2subscript𝐾12K_{1,2}italic_K start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT the modified Bessel functions of the second kind.

In what follows we use

Δmψmχmχandrmϕmχformulae-sequenceΔsubscript𝑚𝜓subscript𝑚𝜒subscript𝑚𝜒and𝑟subscript𝑚italic-ϕsubscript𝑚𝜒\Delta\equiv\frac{m_{\psi}-m_{\chi}}{m_{\chi}}\quad\text{and}\quad r\equiv% \frac{m_{\phi}}{m_{\chi}}roman_Δ ≡ divide start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT - italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG and italic_r ≡ divide start_ARG italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG(5)

to denote the masses mψsubscript𝑚𝜓m_{\psi}italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT and mϕsubscript𝑚italic-ϕm_{\phi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT compared to the mass of the DM mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT. We further take the number of degrees of freedom of the dark particles to be gχ=gψ=4subscript𝑔𝜒subscript𝑔𝜓4g_{\chi}=g_{\psi}=4italic_g start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT = italic_g start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT = 4 for concreteness. The BEs (1) depend on mϕsubscript𝑚italic-ϕm_{\phi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT only through the decay rate ΓΓ\Gammaroman_Γ; we thus take r=0𝑟0r=0italic_r = 0 in upcoming sections unless specified otherwise, and note that the massive ϕitalic-ϕ\phiitalic_ϕ case (i.e.r0𝑟0r\neq 0italic_r ≠ 0) can be inferred by augmenting the coupling αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT of Eq. (2) by the ratio of the relative allowed phase spaces.

The BEs (1) admit several distinct phases that reproduce the observed DM relic abundance, depending on masses, couplings, and initial conditions. These phases are illustrated in Fig. 1, showing the values of couplings αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT and αannsubscript𝛼ann\alpha_{\rm ann}italic_α start_POSTSUBSCRIPT roman_ann end_POSTSUBSCRIPT that reproduce the observed abundance of DM, Yobssubscript𝑌obsY_{\rm obs}italic_Y start_POSTSUBSCRIPT roman_obs end_POSTSUBSCRIPT, for various cases. Throughout this paper, we parameterize the observed DM abundance as Yobs=cTeq/mχsubscript𝑌obs𝑐subscript𝑇eqsubscript𝑚𝜒Y_{\rm obs}=c\;T_{\rm eq}/m_{\chi}italic_Y start_POSTSUBSCRIPT roman_obs end_POSTSUBSCRIPT = italic_c italic_T start_POSTSUBSCRIPT roman_eq end_POSTSUBSCRIPT / italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT, with Teq=0.8subscript𝑇eq0.8T_{\rm eq}=0.8italic_T start_POSTSUBSCRIPT roman_eq end_POSTSUBSCRIPT = 0.8 eV the temperature at matter-radiation equality and c=0.54𝑐0.54c=0.54italic_c = 0.54Hochberg et al. (2014).

III Phases

We now delve into each of the phases that appear in Fig. 1.

Refer to caption
Figure 2: BE evolution. Examples of solutions to the BEs  (1) that reproduce the observed DM relic abundance for different parameters. In each panel, we present the calculated (solid) and equilibrium (dashed) abundances for χ𝜒\chiitalic_χ (blue) and ψ𝜓\psiitalic_ψ (orange) as a function of x𝑥xitalic_x, along with the observed relic abundance (green). Both panels represent the vertical branch in which the freeze out of inverse decay determines the relic abundance. The left panel represents coannihilations via decay. The middle panel corresponds to INDY DM that is out of chemical equilibrium, while the right panel corresponds to an INDY that is in chemical equilibrium.

III.1 Coannihilating via decays

First, we consider the phase obtained for large αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT, which is demonstrated by the horizontal curves of constant αannsubscript𝛼ann\alpha_{\rm ann}italic_α start_POSTSUBSCRIPT roman_ann end_POSTSUBSCRIPT towards the right side of Fig. 1, where αdecay>1024subscript𝛼decaysuperscript1024\alpha_{\rm decay}>10^{-24}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT > 10 start_POSTSUPERSCRIPT - 24 end_POSTSUPERSCRIPT.111In Fig. 1 we take initial conditions of equilibrium number density at x=1𝑥1x=1italic_x = 1; note that this assumption does not effect this phase since the fast annihilation rate thermalizes the particles before freezeout. Here, the relic abundance of χ𝜒\chiitalic_χ is being set by the annihilations of ψ𝜓\psiitalic_ψ into other particles. The rapid decay and inverse decay rates, due to the large coupling αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT, keep the particles χ𝜒\chiitalic_χ and ψ𝜓\psiitalic_ψ in chemical equilibrium (CE) with each other, balancing their number density ratios to be as in equilibrium nχ/nψ=nχeq/nψeqsubscript𝑛𝜒subscript𝑛𝜓superscriptsubscript𝑛𝜒eqsuperscriptsubscript𝑛𝜓eqn_{\chi}/n_{\psi}=n_{\chi}^{\rm eq}/n_{\psi}^{\rm eq}italic_n start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT / italic_n start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT = italic_n start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT / italic_n start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT Griest and Seckel (1991). This enables one to write the system as a single BE for the sum of the number densities,

dndt+3Hn=σv(1+nχeqnψeq)2(n2(neq)2),𝑑𝑛𝑑𝑡3𝐻𝑛delimited-⟨⟩𝜎𝑣superscript1superscriptsubscript𝑛𝜒eqsuperscriptsubscript𝑛𝜓eq2superscript𝑛2superscriptsuperscript𝑛eq2\frac{dn}{dt}+3Hn=-\frac{\langle\sigma v\rangle}{\left(1+\frac{n_{\chi}^{\rm eq% }}{n_{\psi}^{\rm eq}}\right)^{2}}\left(n^{2}-(n^{{\rm eq}})^{2}\right)\,,divide start_ARG italic_d italic_n end_ARG start_ARG italic_d italic_t end_ARG + 3 italic_H italic_n = - divide start_ARG ⟨ italic_σ italic_v ⟩ end_ARG start_ARG ( 1 + divide start_ARG italic_n start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT end_ARG start_ARG italic_n start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - ( italic_n start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ,(6)

with nnψ+nχ𝑛subscript𝑛𝜓subscript𝑛𝜒n\equiv n_{\psi}+n_{\chi}italic_n ≡ italic_n start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT + italic_n start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT. Eq. (6) is general for any strongly coupled two-particle system and is not unique for inverse decays. Indeed, a similar equation is found for the well-studied case of coannhilations Griest and Seckel (1991); the difference is that here the CE between the two particles is maintained via decays and inverse decays, rather than annihilations.

The instantaneous freezeout approximation provides an estimated solution for the requisite cross section explaining the observed DM abundance, or said another way, provides a relationship between the mass mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT and the annihilation coupling αannsubscript𝛼ann\alpha_{\rm ann}italic_α start_POSTSUBSCRIPT roman_ann end_POSTSUBSCRIPT:

mχαann22+Δ(mplTeq1+Δ)12+Δ,similar-to-or-equalssubscript𝑚𝜒superscriptsubscript𝛼ann22Δsuperscriptsubscript𝑚plsuperscriptsubscript𝑇eq1Δ12Δm_{\chi}\simeq\alpha_{\rm ann}^{\frac{2}{2+\Delta}}\left(m_{\rm pl}T_{\rm eq}^% {1+\Delta}\right)^{\frac{1}{2+\Delta}}\,,italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≃ italic_α start_POSTSUBSCRIPT roman_ann end_POSTSUBSCRIPT start_POSTSUPERSCRIPT divide start_ARG 2 end_ARG start_ARG 2 + roman_Δ end_ARG end_POSTSUPERSCRIPT ( italic_m start_POSTSUBSCRIPT roman_pl end_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT roman_eq end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 + roman_Δ end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 + roman_Δ end_ARG end_POSTSUPERSCRIPT ,(7)

where mpl=2.4×1018subscript𝑚pl2.4superscript1018{m_{\rm pl}=2.4\times 10^{18}}italic_m start_POSTSUBSCRIPT roman_pl end_POSTSUBSCRIPT = 2.4 × 10 start_POSTSUPERSCRIPT 18 end_POSTSUPERSCRIPT GeV is the reduced Planck mass Griest and Seckel (1991); Frumkin et al. (2023b). The left panel of Fig. 2 shows an example of the evolution of Yχsubscript𝑌𝜒Y_{\chi}italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT and Yψsubscript𝑌𝜓Y_{\psi}italic_Y start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT over time along this phase. Here both particles are in equilibrium before freezeout occurs, since ψ𝜓\psiitalic_ψ is coupled to the SM via annihilation and χ𝜒\chiitalic_χ via strong coupling to ψ𝜓\psiitalic_ψ, and both particles depart from equilibrium simultaneously when the effective annihilation reaction rate is comparable to the Hubble rate, nσv/(1+nχeq/nψeq)2Hsimilar-to𝑛delimited-⟨⟩𝜎𝑣superscript1superscriptsubscript𝑛𝜒eqsuperscriptsubscript𝑛𝜓eq2𝐻n\langle\sigma v\rangle/\left(1+{n_{\chi}^{\rm eq}}/{n_{\psi}^{\rm eq}}\right)% ^{2}\sim Hitalic_n ⟨ italic_σ italic_v ⟩ / ( 1 + italic_n start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT / italic_n start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∼ italic_H.

The power law relation of Eq. (7) agrees well with numerical results, as is shown in the left panel of Fig. 3. The right panel of Fig. 3 shows the mass splitting ΔΔ\Deltaroman_Δ versus the DM mass mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT at fixed values of αannsubscript𝛼ann\alpha_{\rm ann}italic_α start_POSTSUBSCRIPT roman_ann end_POSTSUBSCRIPT that reproduce the observed DM yield. αannsubscript𝛼ann\alpha_{\rm ann}italic_α start_POSTSUBSCRIPT roman_ann end_POSTSUBSCRIPT is generally constrained by unitarity arguments, which in turn places an upper limit on the possible DM masses along this phase.

III.2 INDY DM

We now move to the phase obtained for large αannsubscript𝛼ann\alpha_{\rm ann}italic_α start_POSTSUBSCRIPT roman_ann end_POSTSUBSCRIPT values, demonstrated by the vertical curves of constant αdecay>1024subscript𝛼decaysuperscript1024\alpha_{\rm decay}>10^{-24}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT > 10 start_POSTSUPERSCRIPT - 24 end_POSTSUPERSCRIPT towards the right side of Fig. 1. In this phase, first proposed in Ref. Frumkin et al. (2023a), the relic abundance of χ𝜒\chiitalic_χ is set by the freeze out of inverse decays. We dub this ‘INverse DecaY’ (INDY) dark matter.222Note that the right panel of Fig. 3 sets an upper bound on the mass allowed for INDY DM as well, since the INDY phase requires an annihilation coupling larger than the coannihilation phase. Such mass limit can be altered by the use of different mechanisms for the ψ𝜓\psiitalic_ψ dilution; one such example is a chain of inverse decays of dark sector particles, as recently introduced in Ref. Frumkin et al. (2023b).

For large values of αannsubscript𝛼ann\alpha_{\rm ann}italic_α start_POSTSUBSCRIPT roman_ann end_POSTSUBSCRIPT (compared to the values obtained in the coannihilating-via-decays phase), ψ𝜓\psiitalic_ψ preserves CE throughout the relevant times,333Or ψ𝜓\psiitalic_ψ is much closer to CE than χ𝜒\chiitalic_χ (nχ/nψnχeq/nψeqmuch-greater-thansubscript𝑛𝜒subscript𝑛𝜓superscriptsubscript𝑛𝜒eqsuperscriptsubscript𝑛𝜓eqn_{\chi}/n_{\psi}\gg n_{\chi}^{\rm eq}/n_{\psi}^{\rm eq}italic_n start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT / italic_n start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT ≫ italic_n start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT / italic_n start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT). and the BEs for the yield can be approximated by a simple linear differential equation,

dYχdx+𝐚(x)Yχ=𝐛(x),𝑑subscript𝑌𝜒𝑑𝑥𝐚𝑥subscript𝑌𝜒𝐛𝑥\frac{dY_{\chi}}{dx}+\mathbf{a}(x)Y_{\chi}=\mathbf{b}(x)\,,divide start_ARG italic_d italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_x end_ARG + bold_a ( italic_x ) italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT = bold_b ( italic_x ) ,(8)

with

𝐚(x)ΓxHYψeqYχeq,𝐛(x)ΓxHYψeqformulae-sequence𝐚𝑥delimited-⟨⟩Γ𝑥𝐻superscriptsubscript𝑌𝜓eqsuperscriptsubscript𝑌𝜒eq𝐛𝑥delimited-⟨⟩Γ𝑥𝐻superscriptsubscript𝑌𝜓eq\mathbf{a}(x)\equiv\frac{\langle\Gamma\rangle}{xH}\frac{Y_{\psi}^{\rm eq}}{Y_{% \chi}^{\rm eq}},\quad\mathbf{b}(x)\equiv\frac{\langle\Gamma\rangle}{xH}Y_{\psi% }^{\rm eq}bold_a ( italic_x ) ≡ divide start_ARG ⟨ roman_Γ ⟩ end_ARG start_ARG italic_x italic_H end_ARG divide start_ARG italic_Y start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT end_ARG start_ARG italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT end_ARG , bold_b ( italic_x ) ≡ divide start_ARG ⟨ roman_Γ ⟩ end_ARG start_ARG italic_x italic_H end_ARG italic_Y start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT(9)

denoting the (normalized) inverse decay and decay rates for Yχsubscript𝑌𝜒Y_{\chi}italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT, respectively.

Refer to caption
Refer to caption
Figure 3: Coannihilating via decays.Left: The annihilation coupling that reproduces the observed DM abundance along the horizontal phase as a function of DM mass, for various mass splittings. We show the numerical solution (solid), the instantaneous freezeout Kolb and Turner (1990) (dotted) and Griest-Seckel Griest and Seckel (1991) (dashed) approximations. Right: The mass splitting that reproduces the observed DM abundance along the coannihilation-via-decay phase as a function of DM mass, for fixed annihilation couplings. It is evident that increasing the mass or the mass splitting increases the required annihilation strength.

Eq. (8) can be integrated into the form

Yχ(x)=e𝐀(x)Yχ(1)+1xe𝐀(η)𝐀(x)𝐛(η)𝑑η,subscript𝑌𝜒𝑥superscript𝑒𝐀𝑥subscript𝑌𝜒1superscriptsubscript1𝑥superscript𝑒𝐀𝜂𝐀𝑥𝐛𝜂differential-d𝜂Y_{\chi}(x)=e^{-\mathbf{A}(x)}Y_{\chi}\left(1\right)+\intop_{1}^{x}e^{\mathbf{% A}(\eta)-\mathbf{A}(x)}\mathbf{b}(\eta)d\eta\,,italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( italic_x ) = italic_e start_POSTSUPERSCRIPT - bold_A ( italic_x ) end_POSTSUPERSCRIPT italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( 1 ) + ∫ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT bold_A ( italic_η ) - bold_A ( italic_x ) end_POSTSUPERSCRIPT bold_b ( italic_η ) italic_d italic_η ,(10)

where the initial condition used throughout this section is an equilirubium yield at T=mχ𝑇subscript𝑚𝜒T=m_{\chi}italic_T = italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT, namely Yχ(1)=Yχeq(1)subscript𝑌𝜒1superscriptsubscript𝑌𝜒eq1Y_{\chi}\left(1\right)=Y_{\chi}^{\rm eq}\left(1\right)italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( 1 ) = italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT ( 1 ) and

𝐀(x)1x𝐚(ξ)𝑑ξ.𝐀𝑥superscriptsubscript1𝑥𝐚𝜉differential-d𝜉\mathbf{A}(x)\equiv\intop_{1}^{x}\mathbf{a}(\xi)d\xi\,.bold_A ( italic_x ) ≡ ∫ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT bold_a ( italic_ξ ) italic_d italic_ξ .(11)

The relic abundance is obtained by taking the limit x𝑥{x\rightarrow\infty}italic_x → ∞ in Eq. (10), producing

Yχ,=e𝐀Yχ(1)+1e𝐀(η)𝐀𝐛(η)𝑑η,subscript𝑌𝜒superscript𝑒subscript𝐀subscript𝑌𝜒1superscriptsubscript1superscript𝑒𝐀𝜂subscript𝐀𝐛𝜂differential-d𝜂Y_{\chi,\infty}=e^{-\mathbf{A}_{\infty}}Y_{\chi}\left(1\right)+\intop_{1}^{% \infty}e^{\mathbf{A}(\eta)-\mathbf{A}_{\infty}}\mathbf{b}(\eta)d\eta\,,italic_Y start_POSTSUBSCRIPT italic_χ , ∞ end_POSTSUBSCRIPT = italic_e start_POSTSUPERSCRIPT - bold_A start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( 1 ) + ∫ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT bold_A ( italic_η ) - bold_A start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT bold_b ( italic_η ) italic_d italic_η ,(12)

where 𝐀𝐀()subscript𝐀𝐀\mathbf{A}_{\infty}\equiv\mathbf{A}(\infty)bold_A start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT ≡ bold_A ( ∞ ).

Eq. (12) can be understood intuitively. For a short interval dx𝑑𝑥dxitalic_d italic_x, the probability of a χ𝜒\chiitalic_χ particle to undergo inverse decay is 𝐚(x)dx𝐚𝑥𝑑𝑥\mathbf{a}(x)dxbold_a ( italic_x ) italic_d italic_x. Therefore, the probability for particles at x=1𝑥1x=1italic_x = 1 not to inverse decay at all is given by e1𝐚(ξ)𝑑ξsuperscript𝑒superscriptsubscript1𝐚𝜉differential-d𝜉e^{-\intop_{1}^{\infty}\mathbf{a}\left(\xi\right)d\xi}italic_e start_POSTSUPERSCRIPT - ∫ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT bold_a ( italic_ξ ) italic_d italic_ξ end_POSTSUPERSCRIPT. Decays of ψ𝜓\psiitalic_ψ are another source of χ𝜒\chiitalic_χ particles. For a short interval dη𝑑𝜂d\etaitalic_d italic_η at the time η𝜂\etaitalic_η, the number of χ𝜒\chiitalic_χ particles created by ψ𝜓\psiitalic_ψ decays is 𝐛(η)dη𝐛𝜂𝑑𝜂\mathbf{b}(\eta)d\etabold_b ( italic_η ) italic_d italic_η, and the probability of each not to inverse decay again is given by eη𝐚(ξ)𝑑ξsuperscript𝑒superscriptsubscript𝜂𝐚𝜉differential-d𝜉e^{-\intop_{\eta}^{\infty}\mathbf{a}\left(\xi\right)d\xi}italic_e start_POSTSUPERSCRIPT - ∫ start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT bold_a ( italic_ξ ) italic_d italic_ξ end_POSTSUPERSCRIPT. The total contribution of the decays is given by summing over all relevant times from η=1𝜂1\eta=1italic_η = 1 to η=𝜂\eta=\inftyitalic_η = ∞, which explains Eq. (12).

The two sources of χ𝜒\chiitalic_χ particles—from early times x<1𝑥1x<1italic_x < 1 (through initial conditions) and from ψ𝜓\psiitalic_ψ decays at later times x>1𝑥1x>1italic_x > 1—yield two types of INDY dark matter. When the contribution from the former dominates the relic abundance, namely the Yχ(1)subscript𝑌𝜒1Y_{\chi}\left(1\right)italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( 1 ) term in Eq. (12) is dominant, the INDY DM candidate is out of CE. When the contributions from the subsequent ψ𝜓\psiitalic_ψ decays are most relevant, the second 𝐛(x)𝐛𝑥\mathbf{b}(x)bold_b ( italic_x ) term in Eq. (12) dominates the relic, and the INDY DM candidate follows CE. For a given DM mass and splitting, we determine numerically what kind of INDY DM arises by examining the ratio w𝑤witalic_w,

w1e𝐀(η)𝐛(η)𝑑ηYχeq(1),𝑤superscriptsubscript1superscript𝑒𝐀𝜂𝐛𝜂differential-d𝜂superscriptsubscript𝑌𝜒eq1w\equiv\frac{\intop_{1}^{\infty}e^{\mathbf{A}(\eta)}\mathbf{b}(\eta)d\eta}{Y_{% \chi}^{\rm eq}\left(1\right)}\,,italic_w ≡ divide start_ARG ∫ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT bold_A ( italic_η ) end_POSTSUPERSCRIPT bold_b ( italic_η ) italic_d italic_η end_ARG start_ARG italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT ( 1 ) end_ARG ,(13)

and establishing whether w>1𝑤1w>1italic_w > 1 (in CE) or w<1𝑤1w<1italic_w < 1 (out of CE).

The left panel of Fig. 4 shows αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT as a function of mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT for various mass splittings ΔΔ\Deltaroman_Δ, where the observed abundance is obtained and DM is an INDY. The right panel of Fig. 4 depicts w𝑤witalic_w along the DM solutions, indicating that for small mass splittings (e.g.Δ=0.05Δ0.05\Delta=0.05roman_Δ = 0.05) the initial χ𝜒\chiitalic_χ particles dominate the relic abundance, while for large mass splittings (e.g.Δ=0.25Δ0.25\Delta=0.25roman_Δ = 0.25) the later ψ𝜓\psiitalic_ψ decays are more significant contributors to the χ𝜒\chiitalic_χ abundance.

We can understand the slope and shape of the curves in the left panel of Fig. 4 of the INDY DM solutions by examining when the INDYs are either in or out of chemical equilibrium, as we now discuss.

Refer to caption
Refer to caption
Figure 4: INDY DM.Left: The decay coupling that reproduces the observed DM relic abundance along the vertical branches (for αdecay>1024subscript𝛼decaysuperscript1024\alpha_{\rm decay}>10^{-24}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT > 10 start_POSTSUPERSCRIPT - 24 end_POSTSUPERSCRIPT) as a function of DM mass, for various mass splittings. We show the numerical solution to the Boltzmann equations; the dashed region of the curves indicates where the effective coupling αannsubscript𝛼ann\alpha_{\rm ann}italic_α start_POSTSUBSCRIPT roman_ann end_POSTSUBSCRIPT that we use to parameterize the ψ𝜓\psiitalic_ψ annihilation cross section exceeds 100100100100 along the horizontal phase. Right: The ratio w𝑤witalic_w in Eq. (13) as a function of DM mass, for fixed mass splitting, along the solutions of INDY DM shown in the left panel. The dashed gray curve indicates w=1𝑤1w=1italic_w = 1, where w>1𝑤1w>1italic_w > 1 (or w<1𝑤1w<1italic_w < 1) indicates where ψ𝜓\psiitalic_ψ decays (or initial conditions) dominate the χ𝜒\chiitalic_χ abundance.

III.2.1 INDYs out of chemical equilibrium (w<1𝑤1w<1italic_w < 1)

Here ψ𝜓\psiitalic_ψ decays can be neglected, and the relic abundance of χ𝜒\chiitalic_χ is determined by the Yχ(1)subscript𝑌𝜒1Y_{\chi}\left(1\right)italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( 1 ) term in Eq. (12). Yχsubscript𝑌𝜒Y_{\chi}italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT departs from chemical equilibrium early on, and the reaction rate is maximal at x=Δ1subscript𝑥superscriptΔ1x_{*}=\Delta^{-1}italic_x start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT = roman_Δ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT. This can be seen by approximating 𝐚(x)𝐚𝑥\mathbf{a}(x)bold_a ( italic_x ) in the non-relativistic (NR) limit as

𝐚(x)3π10ggψgχβ¯(1+Δ)5/2αdecaymplmχxeΔx,𝐚𝑥3𝜋10subscript𝑔subscript𝑔𝜓subscript𝑔𝜒¯𝛽superscript1Δ52subscript𝛼decaysubscript𝑚plsubscript𝑚𝜒𝑥superscript𝑒Δ𝑥\mathbf{a}(x)\approx\frac{3}{\pi}\sqrt{\frac{10}{g_{*}}}\frac{g_{\psi}}{g_{% \chi}}\bar{\beta}\left(1+\Delta\right)^{5/2}\frac{\alpha_{\rm decay}m_{\rm pl}% }{m_{\chi}}xe^{-\Delta x}\,,bold_a ( italic_x ) ≈ divide start_ARG 3 end_ARG start_ARG italic_π end_ARG square-root start_ARG divide start_ARG 10 end_ARG start_ARG italic_g start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT end_ARG end_ARG divide start_ARG italic_g start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_ARG start_ARG italic_g start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG over¯ start_ARG italic_β end_ARG ( 1 + roman_Δ ) start_POSTSUPERSCRIPT 5 / 2 end_POSTSUPERSCRIPT divide start_ARG italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT roman_pl end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG italic_x italic_e start_POSTSUPERSCRIPT - roman_Δ italic_x end_POSTSUPERSCRIPT ,(14)

which is small at x=1𝑥1x=1italic_x = 1, and so the reaction rate is not fast enough to bring χ𝜒\chiitalic_χ toward equilibrium. A visual realization of such behavior is shown in the middle panel of Fig. 2.

The approximated relic abundance in this case is given by Yχ,e𝐀Yχeq(1)subscript𝑌𝜒superscript𝑒subscript𝐀superscriptsubscript𝑌𝜒eq1Y_{\chi,\infty}\approx e^{-\mathbf{A}_{\infty}}Y_{\chi}^{\rm eq}\left(1\right)italic_Y start_POSTSUBSCRIPT italic_χ , ∞ end_POSTSUBSCRIPT ≈ italic_e start_POSTSUPERSCRIPT - bold_A start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT ( 1 ), where 𝐀subscript𝐀\mathbf{A}_{\infty}bold_A start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT is obtained by integrating Eq. (14),

𝐀3π10ggψgχβ¯(1+Δ)7/2eΔΔ2αdecaymplmχ.subscript𝐀3𝜋10subscript𝑔subscript𝑔𝜓subscript𝑔𝜒¯𝛽superscript1Δ72superscript𝑒ΔsuperscriptΔ2subscript𝛼decaysubscript𝑚plsubscript𝑚𝜒\mathbf{A}_{\infty}\approx\frac{3}{\pi}\sqrt{\frac{10}{g_{*}}}\frac{g_{\psi}}{% g_{\chi}}\bar{\beta}\frac{\left(1+\Delta\right)^{7/2}e^{-\Delta}}{\Delta^{2}}% \frac{\alpha_{\rm decay}m_{\rm pl}}{m_{\chi}}\,.bold_A start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT ≈ divide start_ARG 3 end_ARG start_ARG italic_π end_ARG square-root start_ARG divide start_ARG 10 end_ARG start_ARG italic_g start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT end_ARG end_ARG divide start_ARG italic_g start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_ARG start_ARG italic_g start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG over¯ start_ARG italic_β end_ARG divide start_ARG ( 1 + roman_Δ ) start_POSTSUPERSCRIPT 7 / 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - roman_Δ end_POSTSUPERSCRIPT end_ARG start_ARG roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT roman_pl end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG .(15)

Since the logarithm of the ratio between the initial and observed abundance 𝐀ln(Yχeq(1)Yobs)subscript𝐀superscriptsubscript𝑌𝜒eq1subscript𝑌obs\mathbf{A}_{\infty}\approx\ln\left(\frac{Y_{\chi}^{\rm eq}\left(1\right)}{Y_{% \rm obs}}\right)bold_A start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT ≈ roman_ln ( divide start_ARG italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT ( 1 ) end_ARG start_ARG italic_Y start_POSTSUBSCRIPT roman_obs end_POSTSUBSCRIPT end_ARG ) is of order unity, using Eq. (15) we find that the decay coupling which reproduces the observed abundance scales as

αdecaymχmpl.similar-tosubscript𝛼decaysubscript𝑚𝜒subscript𝑚pl\alpha_{\rm decay}\sim\frac{m_{\chi}}{m_{\rm pl}}\,.italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT ∼ divide start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT roman_pl end_POSTSUBSCRIPT end_ARG .(16)

This linear dependence between the αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT and mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT explains the linear shape and slope of the small splitting Δ=0.05, 0.1Δ0.050.1\Delta=0.05,\;0.1roman_Δ = 0.05 , 0.1 curves in the left panel of Fig. 4. The dependence on ΔΔ\Deltaroman_Δ comes only through the unwritten prefactor in Eq. (16) and not through the exponent of a mass scale as in Eq. (7). Note that since the relation in Eq. (16) is independent of Teqsubscript𝑇eqT_{\rm eq}italic_T start_POSTSUBSCRIPT roman_eq end_POSTSUBSCRIPT, the couplings that reproduce the DM relic abundance for this case are much smaller than in other mechanisms (compare e.g. Eq. (7)).

A comment is in order regarding initial conditions. Annihilation mechanisms (e.g. WIMP, SIMP and co-annihilation) are generally independent of initial conditions, since their reaction rate decreases with time up until freezeout occurs. However, for inverse decays initial conditions may play a role, since the reaction rate does not monotonically decrease. The potential initial condition dependence in this case is also manifested by the explicit dependence on Yχ(1)subscript𝑌𝜒1Y_{\chi}\left(1\right)italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( 1 ) in Eq. (12) for INDY dark matter.

The left panel of Fig. 5 demonstrates the above discussion. The colored curves show the relic abundance for a fixed DM mass mχ=1subscript𝑚𝜒1m_{\chi}=1italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT = 1 GeV and splitting Δ=0.05Δ0.05\Delta=0.05roman_Δ = 0.05, corresponding to the solid orange curve in Fig. 1, as we vary the yield at x=1𝑥1x=1italic_x = 1 from its equilibrium value. The larger values of αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT correspond to the coannihilating-via-decays phase, where the annihilation of ψ𝜓\psiitalic_ψ’s controls the χ𝜒\chiitalic_χ abundance, and as expected is insensitive to the initial conditions. In contrast, for the smaller values of αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT that correspond to INDY DM, we see that the initial conditions can potentially impact the DM relic abundance.

The right panel of Fig. 5 shows the impact that the change in initial conditions has on the value of the coupling αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT along INDY DM. As is evident, while the relic abundance might vary as the initial conditions are changed, the change to the coupling required to reproduce the observed relic abundance is minimal. The reason can be traced to the exponential dependence on αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT when the INDY is out of chemical equilibrium, as discussed earlier: large changes in the prefactor can be compensated by small relative changes in the exponent, namely small changes to the coupling (see Eq. (12)).

We learn that the impact of initial conditions on the coupling αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT for INDY DM is at worst logarithmic in the ratio of the initial abundance to the equilibrium one.

Refer to caption
Refer to caption
Figure 5: INDY DM.Left: The relic abundance obtained versus the couplings presented in Fig. 1 for mχ=1GeVsubscript𝑚𝜒1GeVm_{\chi}=1\ {\rm GeV}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT = 1 roman_GeV and Δ=0.05Δ0.05\Delta=0.05roman_Δ = 0.05, with different initial condition values. Right: The ratio of the decay couplings obtained for various ratios of initial conditions to equilibrium initial conditions, as a function of DM mass.

III.2.2 INDYs in chemical equilbrium (w>1𝑤1w>1italic_w > 1)

For large values of mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT and ΔΔ\Deltaroman_Δ, the coupling αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT is large enough such that the inverse decay rate 𝐚(x)𝐚𝑥\mathbf{a}(x)bold_a ( italic_x ) keeps the abundance Yχsubscript𝑌𝜒Y_{\chi}italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT close to its equilibrium value at x1similar-to𝑥1x\sim 1italic_x ∼ 1. This can be seen for example in the right panel of Fig. 2. Thus, the vast majority of the initial χ𝜒\chiitalic_χ particles at x=1𝑥1x=1italic_x = 1 are removed, and the relic abundance is controlled by the ψ𝜓\psiitalic_ψ decay term in Eq. (12).

In the NR limit,

𝐛(x)=3353/222π9/2gψβ¯(1+Δ)5/2gsgαdecaymplmχx5/2e(1+Δ)x.𝐛𝑥superscript33superscript532superscript22superscript𝜋92subscript𝑔𝜓¯𝛽superscript1Δ52subscript𝑔absent𝑠subscript𝑔subscript𝛼decaysubscript𝑚plsubscript𝑚𝜒superscript𝑥52superscript𝑒1Δ𝑥\mathbf{b}(x)=\frac{3^{3}5^{3/2}}{2^{2}\pi^{9/2}}\frac{g_{\psi}\bar{\beta}% \left(1+\Delta\right)^{5/2}}{g_{*s}\sqrt{g_{*}}}\frac{\alpha_{\rm decay}m_{\rm pl% }}{m_{\chi}}x^{5/2}e^{-\left(1+\Delta\right)x}\,.bold_b ( italic_x ) = divide start_ARG 3 start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT 5 start_POSTSUPERSCRIPT 3 / 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_π start_POSTSUPERSCRIPT 9 / 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_g start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT over¯ start_ARG italic_β end_ARG ( 1 + roman_Δ ) start_POSTSUPERSCRIPT 5 / 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_g start_POSTSUBSCRIPT ∗ italic_s end_POSTSUBSCRIPT square-root start_ARG italic_g start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT end_ARG end_ARG divide start_ARG italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT roman_pl end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG italic_x start_POSTSUPERSCRIPT 5 / 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - ( 1 + roman_Δ ) italic_x end_POSTSUPERSCRIPT .(17)

By using the saddle point approximation, as detailed in Appendix A, one can show that the relic abundance of DM scales with DM mass and decay coupling (up to logarithmic corrections) as

Yχ,(αdecaymplmχ)1Δ.similar-tosubscript𝑌𝜒superscriptsubscript𝛼decaysubscript𝑚plsubscript𝑚𝜒1ΔY_{\chi,\infty}\sim\left(\frac{\alpha_{\rm decay}m_{\rm pl}}{m_{\chi}}\right)^% {-\frac{1}{\Delta}}\,.italic_Y start_POSTSUBSCRIPT italic_χ , ∞ end_POSTSUBSCRIPT ∼ ( divide start_ARG italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT roman_pl end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG roman_Δ end_ARG end_POSTSUPERSCRIPT .(18)

Matching the relic abundance in Eq. (18) with the observed value yields the relation

αdecaymχ1+ΔTeqΔmpl.similar-tosubscript𝛼decaysuperscriptsubscript𝑚𝜒1Δsuperscriptsubscript𝑇eqΔsubscript𝑚pl\alpha_{\rm decay}\sim\frac{m_{\chi}^{1+\Delta}}{T_{\rm eq}^{\Delta}m_{\rm pl}% }\,.italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT ∼ divide start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 + roman_Δ end_POSTSUPERSCRIPT end_ARG start_ARG italic_T start_POSTSUBSCRIPT roman_eq end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_Δ end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT roman_pl end_POSTSUBSCRIPT end_ARG .(19)

This explains the linear shape and slope of the larger mass splitting Δ0.1Δ0.1\Delta\geq 0.1roman_Δ ≥ 0.1 curves in Fig. 4. In INDY dark matter, even for larger DM masses one obtains small decay couplings, significantly smaller than couplings for the WIMP.

III.3 FI and FIFO

As shown in Ref. Hall et al. (2010), there is theoretical motivation to consider DM with a negligibly small abundance at very early times. This case, which corresponds to initial conditions of Yχ(0)=0subscript𝑌𝜒00Y_{\chi}\left(0\right)=0italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( 0 ) = 0, leads to two more possible classes of solutions of the BEs (1), as indicated by the vertical curves in Fig. 1 which are not the INDY phase.

The left panel of Fig. 6 presents the relic abundance obtained for different αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT, in the limit of large annihilation values (i.eψ𝜓\psiitalic_ψ is in CE), for initial conditions of Yχ(0)=0subscript𝑌𝜒00Y_{\chi}\left(0\right)=0italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( 0 ) = 0 (blue). As a reference, the INDY case, Yχ(1)=Yχeq(1)subscript𝑌𝜒1superscriptsubscript𝑌𝜒eq1Y_{\chi}\left(1\right)=Y_{\chi}^{\rm eq}\left(1\right)italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( 1 ) = italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT ( 1 ), is plotted as well (orange). As can be seen, there are two possibilities of αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT values which reproduce the relic abundance, beyond the INDY solution. The first, indicated by the crossing of the black and blue curves at small αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT, is a freeze-in (FI) mechanism Hall et al. (2010). The second, indicated by the crossing of the black and blue curves at larger values of αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT, presents the case of the DM abundance growing at first and then decreasing—for some masses never tracking the equilibrium abundance. This is a freeze-in and freeze-out (FIFO) scenario. Examples of the evolution over time of the DM abundance for the cases of FI and FIFO DM are presented in Ref. Frumkin et al. (2023a).

Refer to caption
Refer to caption
Figure 6: FIFO, FI and INDY.Left: The relic abundance produced versus the decay coupling for different initial conditions for Yψ=Yψ,eqsubscript𝑌𝜓subscript𝑌𝜓eqY_{\psi}=Y_{\psi,{\rm eq}}italic_Y start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT = italic_Y start_POSTSUBSCRIPT italic_ψ , roman_eq end_POSTSUBSCRIPT. The intersections between the calculated curves (blue and orange) and the observed abundance line (black) provide the relevant couplings for the FI, FIFO and INDY cases. Right: The ratio between the decay couplings, which reproduce the observed abundance for FIFO and INDY cases, as a function of DM mass, for different mass splittings.

For FI or FIFO to occur for a given DM mass and mass splitting, there must exist a value of αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT which is large enough to create a sufficient number of χ𝜒\chiitalic_χ particles (through ψ𝜓\psiitalic_ψ decays), but small enough so that inverse decays do not eliminate all DM particles and the observed abundance remains. To check when these conditions can be met in the high αannsubscript𝛼ann\alpha_{\rm ann}italic_α start_POSTSUBSCRIPT roman_ann end_POSTSUBSCRIPT limit, one can examine the maximal value of Yχ,subscript𝑌𝜒Y_{\chi,\infty}italic_Y start_POSTSUBSCRIPT italic_χ , ∞ end_POSTSUBSCRIPT as a function of αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT, with initial conditions of Yχ(0)=0subscript𝑌𝜒00Y_{\chi}\left(0\right)=0italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( 0 ) = 0. By taking the relic abundance obtained in this case,

Yχ,=0eη𝐚(ξ)𝑑ξ𝐛(η)𝑑η,subscript𝑌𝜒superscriptsubscript0superscript𝑒superscriptsubscript𝜂𝐚𝜉differential-d𝜉𝐛𝜂differential-d𝜂Y_{\chi,\infty}=\intop_{0}^{\infty}e^{-\intop_{\eta}^{\infty}\mathbf{a}\left(% \xi\right)d\xi}\mathbf{b}(\eta)d\eta\,,italic_Y start_POSTSUBSCRIPT italic_χ , ∞ end_POSTSUBSCRIPT = ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - ∫ start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT bold_a ( italic_ξ ) italic_d italic_ξ end_POSTSUPERSCRIPT bold_b ( italic_η ) italic_d italic_η ,(20)

matching its derivative with respect to αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT to zero,

0[eη𝐚(ξ)𝑑ξ𝐛(η)(1η𝐚(ξ)𝑑ξ)]𝑑η=0superscriptsubscript0delimited-[]superscript𝑒superscriptsubscript𝜂𝐚𝜉differential-d𝜉𝐛𝜂1superscriptsubscript𝜂𝐚𝜉differential-d𝜉differential-d𝜂0\intop_{0}^{\infty}\left[e^{-\intop_{\eta}^{\infty}\mathbf{a}\left(\xi\right)d% \xi}\mathbf{b}(\eta)\left(1-\intop_{\eta}^{\infty}\mathbf{a}\left(\xi\right)d% \xi\right)\right]d\eta=0\,∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT [ italic_e start_POSTSUPERSCRIPT - ∫ start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT bold_a ( italic_ξ ) italic_d italic_ξ end_POSTSUPERSCRIPT bold_b ( italic_η ) ( 1 - ∫ start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT bold_a ( italic_ξ ) italic_d italic_ξ ) ] italic_d italic_η = 0(21)

solving for αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT and comparing the value of the relic abundance obtained with this αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT to Yobssubscript𝑌obsY_{\rm obs}italic_Y start_POSTSUBSCRIPT roman_obs end_POSTSUBSCRIPT, it is possible to determine if FI or FIFO can occur for each choice of mass and mass splitting. Visually, this condition is equivalent to requiring that the blue and black curves in Fig. 6 intersect. Numerically we find that the condition for either FI or FIFO is not fulfilled when Δ<0.1Δ0.1\Delta<0.1roman_Δ < 0.1 and mχkeVsimilar-tosubscript𝑚𝜒keVm_{\chi}\sim{\rm keV}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ∼ roman_keV.

A comparison between the decay couplings yielding the FIFO case αFIFOsubscript𝛼FIFO\alpha_{\rm FIFO}italic_α start_POSTSUBSCRIPT roman_FIFO end_POSTSUBSCRIPT and those yielding INDY DM αINDYsubscript𝛼INDY\alpha_{\rm INDY}italic_α start_POSTSUBSCRIPT roman_INDY end_POSTSUBSCRIPT is shown in the right panel of Fig. 6. As expected, the ratio is close to unity, in agreement with the discussion of the previous section that the coupling for freeze out has only a small dependence on initial conditions. The dips in the curves at 𝒪(MeV)𝒪MeV{\cal O}({\rm MeV})caligraphic_O ( roman_MeV ) and 100MeV100MeV100~{}{\rm MeV}100 roman_MeV to GeV DM masses correspond to variations in gsubscript𝑔g_{*}italic_g start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT, dominantly from electron-positron annihilation and the QCD phase transition, respectively. On the other hand, the decays couplings for the FI case are almost independent of the mass scale, as in Ref. Hall et al. (2010). This is because for small couplings, as occurs in FI, the inverse decays can be neglected, and the relic abundance in Eq. (20) is approximated to

Yχ,0𝐛(η)𝑑η.subscript𝑌𝜒superscriptsubscript0𝐛𝜂differential-d𝜂Y_{\chi,\infty}\approx\intop_{0}^{\infty}\mathbf{b}(\eta)d\eta\,.italic_Y start_POSTSUBSCRIPT italic_χ , ∞ end_POSTSUBSCRIPT ≈ ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT bold_b ( italic_η ) italic_d italic_η .(22)

Since both Yobssubscript𝑌obsY_{\rm obs}italic_Y start_POSTSUBSCRIPT roman_obs end_POSTSUBSCRIPT and 𝐛(η)𝐛𝜂\mathbf{b}(\eta)bold_b ( italic_η ) are explicitly inversely proportional to mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT, the coupling values depend on the mass scale only via gsubscript𝑔g_{*}italic_g start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT and gssubscript𝑔absent𝑠g_{*s}italic_g start_POSTSUBSCRIPT ∗ italic_s end_POSTSUBSCRIPT.

III.4 Freezeout and Decay

The last phase presented in Fig. 1, which is manifested by the horizontal curves towards the left, is obtained by extremely low αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT values, and initial conditions of Yχ(0)=0subscript𝑌𝜒00Y_{\chi}\left(0\right)=0italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( 0 ) = 0. In this case, the ψ𝜓\psiitalic_ψ annihilation is entirely identical to the WIMP, and the abundance of χ𝜒\chiitalic_χ before and during the ψ𝜓\psiitalic_ψ freezeout is negligible. Once ψ𝜓\psiitalic_ψ freezes out, it decays into χ𝜒\chiitalic_χ, providing a similar relic abundance to the corresponding WIMP case, up to a factor of (1+Δ)1superscript1Δ1\left(1+\Delta\right)^{-1}( 1 + roman_Δ ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT.

Note that the monotonic increase of αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT with αannsubscript𝛼ann\alpha_{\rm ann}italic_α start_POSTSUBSCRIPT roman_ann end_POSTSUBSCRIPT for the curves in the left side of Fig. 1 is easily understood. For higher αannsubscript𝛼ann\alpha_{\rm ann}italic_α start_POSTSUBSCRIPT roman_ann end_POSTSUBSCRIPT values, fewer ψ𝜓\psiitalic_ψ particles remain after their freezeout. To compensate, more χ𝜒\chiitalic_χ particles must be created before ψ𝜓\psiitalic_ψ’s freezeout, and thus αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT must be larger. In this sense, this freezeout-and-decay phase is a continuation of the FI phase, with χ𝜒\chiitalic_χ particles generated in different regions of the ψ𝜓\psiitalic_ψ evolution.

IV Departure from Kinetic Equilibrium

In this section, we discuss non-kinetic equilibrium (NKE) corrections to INDY DM. Thus far, all the results shown and discussed were obtained by solving the integrated BEs (1) for various parameters and initial conditions. Using these equations, we assumed that χ𝜒\chiitalic_χ is in kinetic equilibrium (KE) with the SM. While this assumption is valid when the decay and inverse decay rates are relatively large (in the coannihilation-via-decays phase), it is not necessarily valid for INDY DM, where the decay coupling is small and the corresponding rates are slow.444Note that in a given model that realizes the INDY mechanism, additional interactions that can bring the DM into kinetic equilibrium may occur. (For a discussion of the impact of non-kinetic equilibrium, see e.g Refs. Binder et al. (2017); D’Agnolo et al. (2017); Garny et al. (2017).)

In this section, we relax the assumption of KE after x=1𝑥1x=1italic_x = 1 and study its impact on INDY DM and the obtained couplings, in the limit of Yψ=Yψeqsubscript𝑌𝜓superscriptsubscript𝑌𝜓eqY_{\psi}=Y_{\psi}^{\rm eq}italic_Y start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT = italic_Y start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT (αannsubscript𝛼ann\alpha_{\rm ann}\rightarrow\inftyitalic_α start_POSTSUBSCRIPT roman_ann end_POSTSUBSCRIPT → ∞). We show that the solution of the NKE case provides small corrections to the values of αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT in the relevant parameter space, rendering the previously presented results valid. We further provide mathematical insight for these results. A reader interested directly in a QFT model realizing the phases discussed thus far can advance directly to the next section.

IV.1 Non-integrated Boltzmann Equation

We now study the system in the limit of large αannsubscript𝛼ann\alpha_{\rm ann}italic_α start_POSTSUBSCRIPT roman_ann end_POSTSUBSCRIPT values, without the assumption of KE. For this, we solve the non-integrated BE for the distribution function fχsubscript𝑓𝜒f_{\chi}italic_f start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT, which is given by

fχtHpfχp=12Eχ𝑑Πψ𝑑Πϕδ(4)(pψpϕpχ)×(2π)4||2¯ψϕχ(fψ(pψ)fϕ(pϕ)fχ(pχ)).subscript𝑓𝜒𝑡𝐻𝑝subscript𝑓𝜒𝑝12subscript𝐸𝜒differential-dsubscriptΠ𝜓differential-dsubscriptΠitalic-ϕsuperscript𝛿4subscript𝑝𝜓subscript𝑝italic-ϕsubscript𝑝𝜒superscript2𝜋4subscript¯superscript2𝜓italic-ϕ𝜒subscript𝑓𝜓subscript𝑝𝜓subscript𝑓italic-ϕsubscript𝑝italic-ϕsubscript𝑓𝜒subscript𝑝𝜒\frac{\partial f_{\chi}}{\partial t}-Hp\frac{\partial f_{\chi}}{\partial p}=% \frac{1}{2E_{\chi}}\intop d\Pi_{\psi}d\Pi_{\phi}\delta^{(4)}\left(p_{\psi}-p_{% \phi}-p_{\chi}\right)\\ \times\left(2\pi\right)^{4}\overline{\left|\mathcal{M}\right|^{2}}_{\psi% \rightarrow\phi\chi}\left(f_{\psi}\left(p_{\psi}\right)-f_{\phi}\left(p_{\phi}% \right)f_{\chi}\left(p_{\chi}\right)\right)\,.start_ROW start_CELL divide start_ARG ∂ italic_f start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_t end_ARG - italic_H italic_p divide start_ARG ∂ italic_f start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_p end_ARG = divide start_ARG 1 end_ARG start_ARG 2 italic_E start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ∫ italic_d roman_Π start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT italic_d roman_Π start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT italic_δ start_POSTSUPERSCRIPT ( 4 ) end_POSTSUPERSCRIPT ( italic_p start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT - italic_p start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT - italic_p start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ) end_CELL end_ROW start_ROW start_CELL × ( 2 italic_π ) start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT over¯ start_ARG | caligraphic_M | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_ψ → italic_ϕ italic_χ end_POSTSUBSCRIPT ( italic_f start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT ( italic_p start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT ) - italic_f start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ( italic_p start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ) italic_f start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( italic_p start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ) ) . end_CELL end_ROW(23)

By change of variables from (t,pχ)𝑡subscript𝑝𝜒\left(t,p_{\chi}\right)( italic_t , italic_p start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ) to (x,q)𝑥𝑞\left(x,q\right)( italic_x , italic_q ) such that x=mχT(t)𝑥subscript𝑚𝜒𝑇𝑡x=\frac{m_{\chi}}{T\left(t\right)}italic_x = divide start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_T ( italic_t ) end_ARG is the same as before and q=a(x)pχ𝑞𝑎𝑥subscript𝑝𝜒q=a(x)p_{\chi}italic_q = italic_a ( italic_x ) italic_p start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT is the comoving momentum (with a(x)𝑎𝑥a(x)italic_a ( italic_x ) the scale factor), Eq. (23) turns into a simple ordinary differential equation for each q𝑞qitalic_q,

xHdf¯χ,qdx=c(x,q)(f¯χ,q(x)f¯χ,qeq(x)),𝑥𝐻𝑑subscript¯𝑓𝜒𝑞𝑑𝑥𝑐𝑥𝑞subscript¯𝑓𝜒𝑞𝑥superscriptsubscript¯𝑓𝜒𝑞eq𝑥xH\frac{d\bar{f}_{\chi,q}}{dx}=-c\left(x,q\right)\left(\bar{f}_{\chi,q}(x)-% \bar{f}_{\chi,q}^{\rm eq}(x)\right)\,,italic_x italic_H divide start_ARG italic_d over¯ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_χ , italic_q end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_x end_ARG = - italic_c ( italic_x , italic_q ) ( over¯ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_χ , italic_q end_POSTSUBSCRIPT ( italic_x ) - over¯ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_χ , italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT ( italic_x ) ) ,(24)

where

c(x,q)=2gψmψ2αdecayTgχpχEχeδEχTsinh(β¯mψ2pχ2mχ2T),𝑐𝑥𝑞2subscript𝑔𝜓superscriptsubscript𝑚𝜓2subscript𝛼decay𝑇subscript𝑔𝜒subscript𝑝𝜒subscript𝐸𝜒superscript𝑒𝛿subscript𝐸𝜒𝑇¯𝛽superscriptsubscript𝑚𝜓2subscript𝑝𝜒2superscriptsubscript𝑚𝜒2𝑇c\left(x,q\right)=\frac{2g_{\psi}m_{\psi}^{2}\alpha_{\rm decay}T}{g_{\chi}p_{% \chi}E_{\chi}}e^{-\delta\frac{E_{\chi}}{T}}\sinh\left(\frac{\bar{\beta}m_{\psi% }^{2}p_{\chi}}{2m_{\chi}^{2}T}\right)\,,italic_c ( italic_x , italic_q ) = divide start_ARG 2 italic_g start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT italic_T end_ARG start_ARG italic_g start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG italic_e start_POSTSUPERSCRIPT - italic_δ divide start_ARG italic_E start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_T end_ARG end_POSTSUPERSCRIPT roman_sinh ( divide start_ARG over¯ start_ARG italic_β end_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_T end_ARG ) ,(25)

with the notation f¯χ,q(x)=fχ(t(x),pχ(x,q))subscript¯𝑓𝜒𝑞𝑥subscript𝑓𝜒𝑡𝑥subscript𝑝𝜒𝑥𝑞\bar{f}_{\chi,q}(x)=f_{\chi}\left(t(x),p_{\chi}\left(x,q\right)\right)over¯ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_χ , italic_q end_POSTSUBSCRIPT ( italic_x ) = italic_f start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( italic_t ( italic_x ) , italic_p start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( italic_x , italic_q ) ), f¯χ,qeq(x)exp(Eχ(x,q)T(x))superscriptsubscript¯𝑓𝜒𝑞eq𝑥subscript𝐸𝜒𝑥𝑞𝑇𝑥\bar{f}_{\chi,q}^{\rm eq}(x)\equiv\exp\left(-\frac{E_{\chi}\left(x,q\right)}{T% (x)}\right)over¯ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_χ , italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT ( italic_x ) ≡ roman_exp ( - divide start_ARG italic_E start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( italic_x , italic_q ) end_ARG start_ARG italic_T ( italic_x ) end_ARG ) and

δmψ2mϕ2mχ22mχ2.𝛿superscriptsubscript𝑚𝜓2superscriptsubscript𝑚italic-ϕ2superscriptsubscript𝑚𝜒22superscriptsubscript𝑚𝜒2\delta\equiv\frac{m_{\psi}^{2}-m_{\phi}^{2}-m_{\chi}^{2}}{2m_{\chi}^{2}}\,.italic_δ ≡ divide start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG .(26)

The complete derivation can be found in Appendix B and in Refs. D’Agnolo et al. (2017); Garny et al. (2017).

Eq. (24) can be integrated in a similar way as the yield in the KE case in Eqs. (8) and (10):

f¯χ,q(x)=e𝐀q(x)(f¯q,χ(1)+1xe𝐀q(η)𝐛q(η)𝑑η)subscript¯𝑓𝜒𝑞𝑥superscript𝑒subscript𝐀q𝑥subscript¯𝑓𝑞𝜒1superscriptsubscript1𝑥superscript𝑒subscript𝐀q𝜂subscript𝐛q𝜂differential-d𝜂\bar{f}_{\chi,q}(x)=e^{-\mathbf{A}_{\rm q}(x)}\left(\bar{f}_{q,\chi}\left(1% \right)+\intop_{1}^{x}e^{\mathbf{A}_{\rm q}(\eta)}\mathbf{b}_{\rm q}(\eta)d% \eta\right)\,over¯ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_χ , italic_q end_POSTSUBSCRIPT ( italic_x ) = italic_e start_POSTSUPERSCRIPT - bold_A start_POSTSUBSCRIPT roman_q end_POSTSUBSCRIPT ( italic_x ) end_POSTSUPERSCRIPT ( over¯ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_q , italic_χ end_POSTSUBSCRIPT ( 1 ) + ∫ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT bold_A start_POSTSUBSCRIPT roman_q end_POSTSUBSCRIPT ( italic_η ) end_POSTSUPERSCRIPT bold_b start_POSTSUBSCRIPT roman_q end_POSTSUBSCRIPT ( italic_η ) italic_d italic_η )(27)

with

𝐚q(x)c(x,q)xH,𝐛q(x)c(x,q)xHf¯χ,qeq(x)formulae-sequencesubscript𝐚q𝑥𝑐𝑥𝑞𝑥𝐻subscript𝐛q𝑥𝑐𝑥𝑞𝑥𝐻superscriptsubscript¯𝑓𝜒𝑞eq𝑥\mathbf{a}_{\rm q}(x)\equiv\frac{c\left(x,q\right)}{xH},\quad\mathbf{b}_{\rm q% }(x)\equiv\frac{c\left(x,q\right)}{xH}\bar{f}_{\chi,q}^{\rm eq}(x)bold_a start_POSTSUBSCRIPT roman_q end_POSTSUBSCRIPT ( italic_x ) ≡ divide start_ARG italic_c ( italic_x , italic_q ) end_ARG start_ARG italic_x italic_H end_ARG , bold_b start_POSTSUBSCRIPT roman_q end_POSTSUBSCRIPT ( italic_x ) ≡ divide start_ARG italic_c ( italic_x , italic_q ) end_ARG start_ARG italic_x italic_H end_ARG over¯ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_χ , italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT ( italic_x )(28)

and

𝐀q(x)1x𝐚q(ξ)𝑑ξ.subscript𝐀q𝑥superscriptsubscript1𝑥subscript𝐚q𝜉differential-d𝜉\mathbf{A}_{\rm q}(x)\equiv\intop_{1}^{x}\mathbf{a}_{\rm q}\left(\xi\right)d% \xi\,.bold_A start_POSTSUBSCRIPT roman_q end_POSTSUBSCRIPT ( italic_x ) ≡ ∫ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT bold_a start_POSTSUBSCRIPT roman_q end_POSTSUBSCRIPT ( italic_ξ ) italic_d italic_ξ .(29)

Eqs. (28) and  (29) are analogous to Eqs. (9) and (11). We assume that at x=1𝑥1x=1italic_x = 1 all the particles are at kinetic and chemical equilibrium with the SM bath.

Finally, the particle number density nχ(x)subscript𝑛𝜒𝑥n_{\chi}(x)italic_n start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( italic_x ) is given by integration over all momenta, and the yield can be written as

Yχ(x)=1s(x=1)gχ2π2q2f¯χ,q(x)𝑑q.subscript𝑌𝜒𝑥1𝑠𝑥1subscript𝑔𝜒2superscript𝜋2superscript𝑞2subscript¯𝑓𝜒𝑞𝑥differential-d𝑞Y_{\chi}(x)=\frac{1}{s\left(x=1\right)}\frac{g_{\chi}}{2\pi^{2}}\intop q^{2}% \bar{f}_{\chi,q}(x)dq\,.italic_Y start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( italic_x ) = divide start_ARG 1 end_ARG start_ARG italic_s ( italic_x = 1 ) end_ARG divide start_ARG italic_g start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∫ italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over¯ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_χ , italic_q end_POSTSUBSCRIPT ( italic_x ) italic_d italic_q .(30)

The integral is dominated by the region of qmχsimilar-to𝑞subscript𝑚𝜒q\sim m_{\chi}italic_q ∼ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT. This can be understood by the following arguments:

  • For small momenta (qmχmuch-less-than𝑞subscript𝑚𝜒q\ll m_{\chi}italic_q ≪ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT) the distribution function at x=1𝑥1x=1italic_x = 1 is similar (f¯χ,qeq(1)f¯χ,mχeq(1)similar-tosuperscriptsubscript¯𝑓𝜒𝑞eq1superscriptsubscript¯𝑓𝜒subscript𝑚𝜒eq1\bar{f}_{\chi,q}^{\rm eq}\left(1\right)\sim\bar{f}_{\chi,m_{\chi}}^{\rm eq}% \left(1\right)over¯ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_χ , italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT ( 1 ) ∼ over¯ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_χ , italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT ( 1 )) and the collision rate is similar (c(x,q)c(x,mχ)similar-to𝑐𝑥𝑞𝑐𝑥subscript𝑚𝜒c\left(x,q\right)\sim c\left(x,m_{\chi}\right)italic_c ( italic_x , italic_q ) ∼ italic_c ( italic_x , italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT )555Since for small momenta Eχmχsimilar-tosubscript𝐸𝜒subscript𝑚𝜒E_{\chi}\sim m_{\chi}italic_E start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ∼ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT and sinh(αp)/pα𝛼𝑝𝑝𝛼\sinh{\left(\alpha p\right)}/p\approx\alpharoman_sinh ( italic_α italic_p ) / italic_p ≈ italic_α for αp1much-less-than𝛼𝑝1\alpha p\ll 1italic_α italic_p ≪ 1.), but the contribution to the integral is small because of the q2dqsuperscript𝑞2𝑑𝑞q^{2}dqitalic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_d italic_q measure.

  • For high momenta (qmχmuch-greater-than𝑞subscript𝑚𝜒q\gg m_{\chi}italic_q ≫ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT) the initial value is exponentially smaller (f¯χ,qeq(1)f¯χ,mχeq(1)much-less-thansuperscriptsubscript¯𝑓𝜒𝑞eq1superscriptsubscript¯𝑓𝜒subscript𝑚𝜒eq1\bar{f}_{\chi,q}^{\rm eq}\left(1\right)\ll\bar{f}_{\chi,m_{\chi}}^{\rm eq}% \left(1\right)over¯ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_χ , italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT ( 1 ) ≪ over¯ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_χ , italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT ( 1 )), and the collision term exponentially increases with q𝑞qitalic_q.

Thus, the region qmχsimilar-to𝑞subscript𝑚𝜒q\sim m_{\chi}italic_q ∼ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT is the most dominant one in the integral evaluation.

Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 7: Impact of kinetic equilibrium. The ratio between the decay couplings obtained without and with kinetic equilibrium, as a function of DM mass. The various panels are for different mass splittings ΔΔ\Deltaroman_Δ, while the curves inside each panel are obtained for different ϕitalic-ϕ\phiitalic_ϕ masses, represented by various values of r=mϕ/mχ𝑟subscript𝑚italic-ϕsubscript𝑚𝜒r=m_{\phi}/m_{\chi}italic_r = italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT / italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT relative to rmax=Δsubscript𝑟maxΔr_{\rm max}=\Deltaitalic_r start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT = roman_Δ (see Eq. (5)). The calculations in this figure are made with constant gsubscript𝑔g_{*}italic_g start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT. Note that for Δ=0.5Δ0.5\Delta=0.5roman_Δ = 0.5, unitarity considerations typically limit the DM mass to mχ <104 <subscript𝑚𝜒superscript104m_{\chi}\mathrel{\hbox to0.0pt{\lower 4.0pt\hbox{\hskip 1.0pt$\sim$}\hss}% \raise 1.0pt\hbox{$<$}}10^{4}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ∼< 10 start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT MeV, see Fig. 3.

IV.2 Numerical Evaluation of the Decay Coupling

Fig. 7 presents the ratio αNKE/αKEsubscript𝛼NKEsubscript𝛼KE\alpha_{\rm NKE}/\alpha_{\rm KE}italic_α start_POSTSUBSCRIPT roman_NKE end_POSTSUBSCRIPT / italic_α start_POSTSUBSCRIPT roman_KE end_POSTSUBSCRIPT, namely the ratio between the couplings that reproduce the observed DM relic abundance without and with kinetic equilibrium, assuming equilibrium initial conditions, as a function of mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT, for various fixed values of ΔΔ\Deltaroman_Δ and r𝑟ritalic_r.666Note that the collision function in Eq. (25) has non-trivial dependence on mϕsubscript𝑚italic-ϕm_{\phi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT and so unlike the KE case, here we explicitly show the results for massive ϕitalic-ϕ\phiitalic_ϕ.

For all the curves with Δ0.2Δ0.2\Delta\leq 0.2roman_Δ ≤ 0.2, the NKE corrections to the coupling are relatively small (up to 20%percent2020\%20 %). For Δ=0.5Δ0.5\Delta=0.5roman_Δ = 0.5, the corrections to the coupling might be up to an order of magnitude for high DM masses mχ107108similar-tosubscript𝑚𝜒superscript107superscript108m_{\chi}\sim 10^{7}-10^{8}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ∼ 10 start_POSTSUPERSCRIPT 7 end_POSTSUPERSCRIPT - 10 start_POSTSUPERSCRIPT 8 end_POSTSUPERSCRIPT MeV, but such high masses for this large mass splitting are unlikely in the mechanism due to the unitarity bound on the annihilation cross section (see Section III.1 and Fig. 3, which restricts to mχ <104 <subscript𝑚𝜒superscript104m_{\chi}\mathrel{\hbox to0.0pt{\lower 4.0pt\hbox{\hskip 1.0pt$\sim$}\hss}% \raise 1.0pt\hbox{$<$}}10^{4}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ∼< 10 start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT MeV for large mass splittings). Moreover, the couplings ratio is close to unity around 1keV1keV1\,{\rm keV}1 roman_keV and grows up to 10101010 only after eleven orders of magnitude in DM mass for massless ϕitalic-ϕ\phiitalic_ϕ (r=0𝑟0r=0italic_r = 0). For massive ϕitalic-ϕ\phiitalic_ϕ (0<r<Δ0𝑟Δ0<r<\Delta0 < italic_r < roman_Δ), which is the case in the model we present latter in Section V, the slope in Fig. 7 decreases with the increase of mϕsubscript𝑚italic-ϕm_{\phi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT. We learn that the NKE corrections to the coupling values are rather small.

The following paragraphs are dedicated to explaining the proximity of the obtained couplings along with other features in Fig. 7. Since Eq. (27) has the same functional form as Eq. (10), comparison between the KE and NKE cases is discussed separately for the two INDY types of DM— the out of chemical equilibrium case which is relevant for small DM mass and small mass splittings; and the in chemical equilibrium case, relevant for large DM mass or large mass splittings.

IV.2.1 Small Mass Splitting Case

For low ΔΔ\Deltaroman_Δ values, the initial condition terms in Eqs. (12) and (27) dominate the relic abundance. To examine analytically such case and explaining why αKEαNKEsubscript𝛼KEsubscript𝛼NKE\alpha_{{\rm KE}}\approx\alpha_{{\rm NKE}}italic_α start_POSTSUBSCRIPT roman_KE end_POSTSUBSCRIPT ≈ italic_α start_POSTSUBSCRIPT roman_NKE end_POSTSUBSCRIPT, we look at the ratio between the inverse decay rates 𝐚qsubscript𝐚q\mathbf{a}_{\rm q}bold_a start_POSTSUBSCRIPT roman_q end_POSTSUBSCRIPT of relevant q𝑞qitalic_q mods (qmχsimilar-to𝑞subscript𝑚𝜒q\sim m_{\chi}italic_q ∼ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT) to the inverse decay rate of the yield in the KE case 𝐚𝐚\mathbf{a}bold_a.

For the KE case, the inverse decay rate in the NR approximation is

xH𝐚(x)αKEβ¯mψgψgχ(mψmχ)3/2eΔx.𝑥𝐻𝐚𝑥subscript𝛼KE¯𝛽subscript𝑚𝜓subscript𝑔𝜓subscript𝑔𝜒superscriptsubscript𝑚𝜓subscript𝑚𝜒32superscript𝑒Δ𝑥xH\mathbf{a}(x)\approx\alpha_{\rm KE}\bar{\beta}m_{\psi}\frac{g_{\psi}}{g_{% \chi}}\left(\frac{m_{\psi}}{m_{\chi}}\right)^{3/2}e^{-\Delta x}\,.italic_x italic_H bold_a ( italic_x ) ≈ italic_α start_POSTSUBSCRIPT roman_KE end_POSTSUBSCRIPT over¯ start_ARG italic_β end_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT divide start_ARG italic_g start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_ARG start_ARG italic_g start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ( divide start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 3 / 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - roman_Δ italic_x end_POSTSUPERSCRIPT .(31)

Assuming constant gsubscript𝑔g_{*}italic_g start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT and gssubscript𝑔absent𝑠g_{*s}italic_g start_POSTSUBSCRIPT ∗ italic_s end_POSTSUBSCRIPT for simplicity (which provides a=x𝑎𝑥a=xitalic_a = italic_x and q=pχx𝑞subscript𝑝𝜒𝑥q=p_{\chi}xitalic_q = italic_p start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_x), the NKE inverse decay rate is

xH𝐚q(x)2gψmψ2αNKEgχqsinh(mψ2q2mχ3β¯)eδxδ2xq2mχ2,𝑥𝐻subscript𝐚q𝑥2subscript𝑔𝜓superscriptsubscript𝑚𝜓2subscript𝛼NKEsubscript𝑔𝜒𝑞superscriptsubscript𝑚𝜓2𝑞2superscriptsubscript𝑚𝜒3¯𝛽superscript𝑒𝛿𝑥𝛿2𝑥superscript𝑞2superscriptsubscript𝑚𝜒2xH\mathbf{a}_{\rm q}(x)\approx\frac{2g_{\psi}m_{\psi}^{2}\alpha_{\rm NKE}}{g_{% \chi}q}\sinh{\left(\frac{m_{\psi}^{2}q}{2m_{\chi}^{3}}\bar{\beta}\right)}e^{-% \delta x-\frac{\delta}{2x}\frac{q^{2}}{m_{\chi}^{2}}}\,,italic_x italic_H bold_a start_POSTSUBSCRIPT roman_q end_POSTSUBSCRIPT ( italic_x ) ≈ divide start_ARG 2 italic_g start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_α start_POSTSUBSCRIPT roman_NKE end_POSTSUBSCRIPT end_ARG start_ARG italic_g start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_q end_ARG roman_sinh ( divide start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_q end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG over¯ start_ARG italic_β end_ARG ) italic_e start_POSTSUPERSCRIPT - italic_δ italic_x - divide start_ARG italic_δ end_ARG start_ARG 2 italic_x end_ARG divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_POSTSUPERSCRIPT ,(32)

where we used NR approximations for the energy - Eχmχ+12pχ2mχsubscript𝐸𝜒subscript𝑚𝜒12superscriptsubscript𝑝𝜒2subscript𝑚𝜒E_{\chi}\approx m_{\chi}+\frac{1}{2}\frac{p_{\chi}^{2}}{m_{\chi}}italic_E start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≈ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG divide start_ARG italic_p start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG in the exponent, and Eχmχsubscript𝐸𝜒subscript𝑚𝜒E_{\chi}\approx m_{\chi}italic_E start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≈ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT in the denominator.

Since β¯β¯mϕ=0=mψmχmψmψ+mχmψ¯𝛽subscript¯𝛽subscript𝑚italic-ϕ0subscript𝑚𝜓subscript𝑚𝜒subscript𝑚𝜓subscript𝑚𝜓subscript𝑚𝜒subscript𝑚𝜓\bar{\beta}\leq\bar{\beta}_{m_{\phi}=0}=\frac{m_{\psi}-m_{\chi}}{m_{\psi}}% \frac{m_{\psi}+m_{\chi}}{m_{\psi}}over¯ start_ARG italic_β end_ARG ≤ over¯ start_ARG italic_β end_ARG start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT = 0 end_POSTSUBSCRIPT = divide start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT - italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_ARG divide start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT + italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_ARG, the term inside the hyperbolic sine function is small,777 The term inside the hyperbolic sine in Eq. (32) obeys mψ22mχ2qmχβ¯qmχmψ+mχ2mχΔΔsuperscriptsubscript𝑚𝜓22superscriptsubscript𝑚𝜒2𝑞subscript𝑚𝜒¯𝛽𝑞subscript𝑚𝜒subscript𝑚𝜓subscript𝑚𝜒2subscript𝑚𝜒Δsimilar-toΔ\frac{m_{\psi}^{2}}{2m_{\chi}^{2}}\frac{q}{m_{\chi}}\bar{\beta}\leq\frac{q}{m_% {\chi}}\frac{m_{\psi}+m_{\chi}}{2m_{\chi}}\Delta\,\sim\Delta\,divide start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_q end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG over¯ start_ARG italic_β end_ARG ≤ divide start_ARG italic_q end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG divide start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT + italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG roman_Δ ∼ roman_Δ(33) because mψ+mχ2mχ1similar-tosubscript𝑚𝜓subscript𝑚𝜒2subscript𝑚𝜒1\frac{m_{\psi}+m_{\chi}}{2m_{\chi}}\sim 1divide start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT + italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ∼ 1, the concerning momenta are qmχsimilar-to𝑞subscript𝑚𝜒q\sim m_{\chi}italic_q ∼ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT, and ΔΔ\Deltaroman_Δ is small. and a linear approximation can be made, providing

xH𝐚q(x)gψgχαNKEeδxδ2xq2mχ2mψ4mχ3β¯.𝑥𝐻subscript𝐚q𝑥subscript𝑔𝜓subscript𝑔𝜒subscript𝛼NKEsuperscript𝑒𝛿𝑥𝛿2𝑥superscript𝑞2superscriptsubscript𝑚𝜒2superscriptsubscript𝑚𝜓4superscriptsubscript𝑚𝜒3¯𝛽xH\mathbf{a}_{\rm q}(x)\approx\frac{g_{\psi}}{g_{\chi}}\alpha_{\rm NKE}e^{-% \delta x-\frac{\delta}{2x}\frac{q^{2}}{m_{\chi}^{2}}}\frac{m_{\psi}^{4}}{m_{% \chi}^{3}}\bar{\beta}\,.italic_x italic_H bold_a start_POSTSUBSCRIPT roman_q end_POSTSUBSCRIPT ( italic_x ) ≈ divide start_ARG italic_g start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_ARG start_ARG italic_g start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG italic_α start_POSTSUBSCRIPT roman_NKE end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - italic_δ italic_x - divide start_ARG italic_δ end_ARG start_ARG 2 italic_x end_ARG divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_POSTSUPERSCRIPT divide start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG over¯ start_ARG italic_β end_ARG .(34)

In the case of mϕ=0subscript𝑚italic-ϕ0m_{\phi}=0italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT = 0, the ratio between the rates in Eqs. (34) and (31) is

𝐚q(x)𝐚(x)αNKEαKEeΔ2xe12xmψ+mχ2mχΔq2mχ2(mψmχ)3/2,subscript𝐚q𝑥𝐚𝑥subscript𝛼NKEsubscript𝛼KEsuperscript𝑒superscriptΔ2𝑥superscript𝑒12𝑥subscript𝑚𝜓subscript𝑚𝜒2subscript𝑚𝜒Δsuperscript𝑞2superscriptsubscript𝑚𝜒2superscriptsubscript𝑚𝜓subscript𝑚𝜒32\frac{\mathbf{a}_{\rm q}(x)}{\mathbf{a}(x)}\approx\frac{\alpha_{{\rm NKE}}}{% \alpha_{{\rm KE}}}e^{-\Delta^{2}x}e^{-\frac{1}{2x}\frac{m_{\psi}+m_{\chi}}{2m_% {\chi}}\Delta\frac{q^{2}}{m_{\chi}^{2}}}\left(\frac{m_{\psi}}{m_{\chi}}\right)% ^{3/2}\,,divide start_ARG bold_a start_POSTSUBSCRIPT roman_q end_POSTSUBSCRIPT ( italic_x ) end_ARG start_ARG bold_a ( italic_x ) end_ARG ≈ divide start_ARG italic_α start_POSTSUBSCRIPT roman_NKE end_POSTSUBSCRIPT end_ARG start_ARG italic_α start_POSTSUBSCRIPT roman_KE end_POSTSUBSCRIPT end_ARG italic_e start_POSTSUPERSCRIPT - roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 italic_x end_ARG divide start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT + italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG roman_Δ divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_POSTSUPERSCRIPT ( divide start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 3 / 2 end_POSTSUPERSCRIPT ,(35)

and substituting x=Δ1subscript𝑥superscriptΔ1x_{*}=\Delta^{-1}italic_x start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT = roman_Δ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT provides

𝐚q(x)𝐚(x)αNKEαKEeΔe12mψ+mχ2mχΔ2q2mχ2(1+Δ)3/2.subscript𝐚qsubscript𝑥𝐚subscript𝑥subscript𝛼NKEsubscript𝛼KEsuperscript𝑒Δsuperscript𝑒12subscript𝑚𝜓subscript𝑚𝜒2subscript𝑚𝜒superscriptΔ2superscript𝑞2superscriptsubscript𝑚𝜒2superscript1Δ32\frac{\mathbf{a}_{\rm q}\left(x_{*}\right)}{\mathbf{a}\left(x_{*}\right)}% \approx\frac{\alpha_{{\rm NKE}}}{\alpha_{{\rm KE}}}e^{-\Delta}e^{-\frac{1}{2}% \frac{m_{\psi}+m_{\chi}}{2m_{\chi}}\Delta^{2}\frac{q^{2}}{m_{\chi}^{2}}}\left(% 1+\Delta\right)^{3/2}\,.divide start_ARG bold_a start_POSTSUBSCRIPT roman_q end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT ) end_ARG start_ARG bold_a ( italic_x start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT ) end_ARG ≈ divide start_ARG italic_α start_POSTSUBSCRIPT roman_NKE end_POSTSUBSCRIPT end_ARG start_ARG italic_α start_POSTSUBSCRIPT roman_KE end_POSTSUBSCRIPT end_ARG italic_e start_POSTSUPERSCRIPT - roman_Δ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG divide start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT + italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_POSTSUPERSCRIPT ( 1 + roman_Δ ) start_POSTSUPERSCRIPT 3 / 2 end_POSTSUPERSCRIPT .(36)

It follows from Eq. (36) that the ratio between the rates at xxsimilar-to𝑥subscript𝑥x\sim x_{*}italic_x ∼ italic_x start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT is close to the ratio between the couplings 𝐚q(x)𝐚(x)αNKEαKEsimilar-tosubscript𝐚qsubscript𝑥𝐚subscript𝑥subscript𝛼NKEsubscript𝛼KE\frac{\mathbf{a}_{\rm q}\left(x_{*}\right)}{\mathbf{a}\left(x_{*}\right)}\sim% \frac{\alpha_{{\rm NKE}}}{\alpha_{{\rm KE}}}divide start_ARG bold_a start_POSTSUBSCRIPT roman_q end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT ) end_ARG start_ARG bold_a ( italic_x start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT ) end_ARG ∼ divide start_ARG italic_α start_POSTSUBSCRIPT roman_NKE end_POSTSUBSCRIPT end_ARG start_ARG italic_α start_POSTSUBSCRIPT roman_KE end_POSTSUBSCRIPT end_ARG. Since this region of x𝑥xitalic_x is contributes the most in evaluating the total probability to inverse decay, we have 𝐀q𝐀αNKEαKEsimilar-tosubscript𝐀q𝐀subscript𝛼NKEsubscript𝛼KE\frac{\mathbf{A}_{\rm q}}{\mathbf{A}}\sim\frac{\alpha_{{\rm NKE}}}{\alpha_{{% \rm KE}}}divide start_ARG bold_A start_POSTSUBSCRIPT roman_q end_POSTSUBSCRIPT end_ARG start_ARG bold_A end_ARG ∼ divide start_ARG italic_α start_POSTSUBSCRIPT roman_NKE end_POSTSUBSCRIPT end_ARG start_ARG italic_α start_POSTSUBSCRIPT roman_KE end_POSTSUBSCRIPT end_ARG.

Thus, the same probability for a particle to inverse decay is obtained when close values of decay coupling are taken, which provide the same (observed) relic abundance in both KE and NKE cases, as discussed above.

In the massive ϕitalic-ϕ\phiitalic_ϕ case, the ratio is the same as in Eq. (35), up to an additional factor of exp((12x+14xq2mχ2)mϕ2mχ2)12𝑥14𝑥superscript𝑞2superscriptsubscript𝑚𝜒2superscriptsubscript𝑚italic-ϕ2superscriptsubscript𝑚𝜒2\exp\left(\left(\frac{1}{2}x+\frac{1}{4x}\frac{q^{2}}{m_{\chi}^{2}}\right)% \frac{m_{\phi}^{2}}{m_{\chi}^{2}}\right)roman_exp ( ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_x + divide start_ARG 1 end_ARG start_ARG 4 italic_x end_ARG divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) divide start_ARG italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ). For x=x𝑥subscript𝑥x=x_{*}italic_x = italic_x start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT, this factor equals

e(12x+14xq2mχ2)mϕ2mχ2=e12Δmϕ2mχ2eΔ4q2mχ2mϕ2mχ2.superscript𝑒12subscript𝑥14subscript𝑥superscript𝑞2superscriptsubscript𝑚𝜒2superscriptsubscript𝑚italic-ϕ2superscriptsubscript𝑚𝜒2superscript𝑒12Δsuperscriptsubscript𝑚italic-ϕ2superscriptsubscript𝑚𝜒2superscript𝑒Δ4superscript𝑞2superscriptsubscript𝑚𝜒2superscriptsubscript𝑚italic-ϕ2superscriptsubscript𝑚𝜒2e^{\left(\frac{1}{2}x_{*}+\frac{1}{4x_{*}}\frac{q^{2}}{m_{\chi}^{2}}\right)% \frac{m_{\phi}^{2}}{m_{\chi}^{2}}}=e^{\frac{1}{2\Delta}\frac{m_{\phi}^{2}}{m_{% \chi}^{2}}}e^{\frac{\Delta}{4}\frac{q^{2}}{m_{\chi}^{2}}\frac{m_{\phi}^{2}}{m_% {\chi}^{2}}}\,.italic_e start_POSTSUPERSCRIPT ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_x start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 4 italic_x start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT end_ARG divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) divide start_ARG italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_POSTSUPERSCRIPT = italic_e start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 roman_Δ end_ARG divide start_ARG italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT divide start_ARG roman_Δ end_ARG start_ARG 4 end_ARG divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_POSTSUPERSCRIPT .(37)

Since 1Δmϕmχ<11Δsubscript𝑚italic-ϕsubscript𝑚𝜒1\frac{1}{\Delta}\frac{m_{\phi}}{m_{\chi}}<1divide start_ARG 1 end_ARG start_ARG roman_Δ end_ARG divide start_ARG italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG < 1, we obtain 1Δ(mϕmχ)2<Δ1Δsuperscriptsubscript𝑚italic-ϕsubscript𝑚𝜒2Δ\frac{1}{\Delta}\left(\frac{m_{\phi}}{m_{\chi}}\right)^{2}<\Deltadivide start_ARG 1 end_ARG start_ARG roman_Δ end_ARG ( divide start_ARG italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT < roman_Δ and Δ4q2mχ2mϕ2mχ2<Δ34q2mχ2Δ4superscript𝑞2superscriptsubscript𝑚𝜒2superscriptsubscript𝑚italic-ϕ2superscriptsubscript𝑚𝜒2superscriptΔ34superscript𝑞2superscriptsubscript𝑚𝜒2\frac{\Delta}{4}\frac{q^{2}}{m_{\chi}^{2}}\frac{m_{\phi}^{2}}{m_{\chi}^{2}}<% \frac{\Delta^{3}}{4}\frac{q^{2}}{m_{\chi}^{2}}divide start_ARG roman_Δ end_ARG start_ARG 4 end_ARG divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG < divide start_ARG roman_Δ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG 4 end_ARG divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG and so the two exponents are small. Again, the ratio between the rates is close to the ratio between the couplings, and the same augment as in the massless ϕitalic-ϕ\phiitalic_ϕ case is valid, providing αNKEαKEsimilar-tosubscript𝛼NKEsubscript𝛼KE\alpha_{\rm NKE}\sim\alpha_{\rm KE}italic_α start_POSTSUBSCRIPT roman_NKE end_POSTSUBSCRIPT ∼ italic_α start_POSTSUBSCRIPT roman_KE end_POSTSUBSCRIPT. Moreover, since in Eq. (37) the additional factor increases with mϕsubscript𝑚italic-ϕm_{\phi}italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT, αNKEsubscript𝛼NKE\alpha_{\rm NKE}italic_α start_POSTSUBSCRIPT roman_NKE end_POSTSUBSCRIPT should decrease to obtain the same rate, thus explaining why in Fig. 7 the Δ=0.05Δ0.05\Delta=0.05roman_Δ = 0.05 curves decrease slightly as r𝑟ritalic_r increases.

As a final remark, we note that the maximum of 𝐚qsubscript𝐚q\mathbf{a}_{\rm q}bold_a start_POSTSUBSCRIPT roman_q end_POSTSUBSCRIPT is q𝑞qitalic_q dependent and not exactly at xsubscript𝑥x_{*}italic_x start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT , but the qualitative analysis presented above is not affected by the slight maximal rate time change.

IV.2.2 Large Mass Splitting Case

Here, we aim to understand why αNKEαKEsimilar-tosubscript𝛼NKEsubscript𝛼KE\alpha_{{\rm NKE}}\sim\alpha_{{\rm KE}}italic_α start_POSTSUBSCRIPT roman_NKE end_POSTSUBSCRIPT ∼ italic_α start_POSTSUBSCRIPT roman_KE end_POSTSUBSCRIPT even for relatively high ΔΔ\Deltaroman_Δ values. In this case, ψ𝜓\psiitalic_ψ’s decays dominate the relic abundance. Using the saddle point approximation, it can be shown that the phase space distribution function dependence on the mass scale (up to logarithmic corrections) is

f¯χ,q,(αNKEmplq)1δ.similar-tosubscript¯𝑓𝜒𝑞superscriptsubscript𝛼NKEsubscript𝑚pl𝑞1𝛿\bar{f}_{\chi,q,\infty}\sim\left(\frac{\alpha_{\rm NKE}m_{\rm pl}}{q}\right)^{% -\frac{1}{\delta}}\,.over¯ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_χ , italic_q , ∞ end_POSTSUBSCRIPT ∼ ( divide start_ARG italic_α start_POSTSUBSCRIPT roman_NKE end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT roman_pl end_POSTSUBSCRIPT end_ARG start_ARG italic_q end_ARG ) start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG italic_δ end_ARG end_POSTSUPERSCRIPT .(38)

The complete derivation is given in Appendix A. Using Eq.  (30), the relic abundance’s dependence on mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT is

Yχ,(αNKEmplmχ)1δ,similar-tosubscript𝑌𝜒superscriptsubscript𝛼NKEsubscript𝑚plsubscript𝑚𝜒1𝛿Y_{\chi,\infty}\sim\left(\frac{\alpha_{\rm NKE}m_{\rm pl}}{m_{\chi}}\right)^{-% \frac{1}{\delta}}\,,italic_Y start_POSTSUBSCRIPT italic_χ , ∞ end_POSTSUBSCRIPT ∼ ( divide start_ARG italic_α start_POSTSUBSCRIPT roman_NKE end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT roman_pl end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG italic_δ end_ARG end_POSTSUPERSCRIPT ,(39)

and by matching the relic abundance in Eq. (39) with the observed value we produce the power-law relation

αNKEmχ1+δ.similar-tosubscript𝛼NKEsuperscriptsubscript𝑚𝜒1𝛿\alpha_{\rm NKE}\sim m_{\chi}^{1+\delta}.italic_α start_POSTSUBSCRIPT roman_NKE end_POSTSUBSCRIPT ∼ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 + italic_δ end_POSTSUPERSCRIPT .(40)

Finally, Comparing the NKE and KE cases (Eqs.  (19) and (40)) provides

αNKEαKEmχδΔ=mχΔ22r22.similar-tosubscript𝛼NKEsubscript𝛼KEsuperscriptsubscript𝑚𝜒𝛿Δsuperscriptsubscript𝑚𝜒superscriptΔ22superscript𝑟22\frac{\alpha_{\rm NKE}}{\alpha_{\rm KE}}\sim m_{\chi}^{\delta-\Delta}=m_{\chi}% ^{\frac{\Delta^{2}}{2}-\frac{r^{2}}{2}}\,.divide start_ARG italic_α start_POSTSUBSCRIPT roman_NKE end_POSTSUBSCRIPT end_ARG start_ARG italic_α start_POSTSUBSCRIPT roman_KE end_POSTSUBSCRIPT end_ARG ∼ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_δ - roman_Δ end_POSTSUPERSCRIPT = italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT divide start_ARG roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG - divide start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT .(41)

This remarkable result explains the low growth rate of the ratio for high ΔΔ\Deltaroman_Δ values observed in Fig. 7. For Δ=0.5,r=0formulae-sequenceΔ0.5𝑟0\Delta=0.5,r=0roman_Δ = 0.5 , italic_r = 0, the expected power is 1818\frac{1}{8}divide start_ARG 1 end_ARG start_ARG 8 end_ARG, which is a small power by itself, and close to the slope in the figure, 111similar-toabsent111\sim\frac{1}{11}∼ divide start_ARG 1 end_ARG start_ARG 11 end_ARG. For Δ=0.2Δ0.2\Delta=0.2roman_Δ = 0.2, the expected power reduces to an even smaller number 150150\frac{1}{50}divide start_ARG 1 end_ARG start_ARG 50 end_ARG, explaining the growth of only 25%similar-toabsentpercent25\sim 25\%∼ 25 % after eleven orders of magnitude.

Additionally, increasing r𝑟ritalic_r reduces the power, in correspondence with the Δ=0.5Δ0.5\Delta=0.5roman_Δ = 0.5 curves at Fig. 7. For Δ=0.1,0.2Δ0.10.2\Delta=0.1,0.2roman_Δ = 0.1 , 0.2, the power is so low that the leading term in Eq. (39) is not enough to explain the results, and a more subtle approach is needed.

In summary, we have verified that the results for αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT for INDY DM, which were obtained in the previous sections assuming kinetic equilibrium, are in close proximity to the obtained values in the absence of such an assumption, rendering our analysis valid.

V Model

The system considered in this work, described by the BEs (1), can be realized by a simple renormalizable toy model Frumkin et al. (2023a). We now present such a model and discuss its relevant parameter space which manifests the phases of INDY DM and coannihilation via decays, and discuss possible phenomenology.

We consider a dark sector with internal gauge symmetry U(1)d𝑈subscript1𝑑U(1)_{d}italic_U ( 1 ) start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT with gauge field Adsubscript𝐴𝑑A_{d}italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT (dark photon) and gauge coupling edsubscript𝑒𝑑e_{d}italic_e start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT (dark charge). It contains two Dirac fermions χ𝜒\chiitalic_χ and ψ𝜓\psiitalic_ψ, and a complex scalar Hdsubscript𝐻𝑑H_{d}italic_H start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT with charges 00, 1111, and 1111 respectively. Note that χ𝜒\chiitalic_χ and ψ𝜓\psiitalic_ψ take the same role as in the previous sections (ψ𝜓\psiitalic_ψ decays to χ𝜒\chiitalic_χ), while Hdsubscript𝐻𝑑H_{d}italic_H start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT does not explicitly appear in the mechanism as presented thus far. The general renormalizable Lagrangian contains mass terms for the fermions

Dirac=mχχ¯χmψψ¯ψ,subscriptDiracsubscript𝑚𝜒¯𝜒𝜒subscript𝑚𝜓¯𝜓𝜓\mathcal{L}_{\rm Dirac}=-m_{\chi}\bar{\chi}\chi-m_{\psi}\bar{\psi}\psi\,,caligraphic_L start_POSTSUBSCRIPT roman_Dirac end_POSTSUBSCRIPT = - italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT over¯ start_ARG italic_χ end_ARG italic_χ - italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT over¯ start_ARG italic_ψ end_ARG italic_ψ ,(42)

spontaneous symmetry breaking (SSB) potential for the scalar

V(ϕ)=12μ2HdHd+14λ(HdHd)2,𝑉italic-ϕ12superscript𝜇2superscriptsubscript𝐻𝑑subscript𝐻𝑑14𝜆superscriptsuperscriptsubscript𝐻𝑑subscript𝐻𝑑2V\left(\phi\right)=-\frac{1}{2}\mu^{2}H_{d}^{*}H_{d}+\frac{1}{4}\lambda\left(H% _{d}^{*}H_{d}\right)^{2}\,,italic_V ( italic_ϕ ) = - divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_μ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 4 end_ARG italic_λ ( italic_H start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ,(43)

and a Yukawa interaction

Yukawa=yHdχ¯ψ+h.c.formulae-sequencesubscriptYukawa𝑦superscriptsubscript𝐻𝑑¯𝜒𝜓𝑐\mathcal{L}_{\text{Yukawa}}=-yH_{d}^{*}\bar{\chi}\psi+h.c\,.caligraphic_L start_POSTSUBSCRIPT Yukawa end_POSTSUBSCRIPT = - italic_y italic_H start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT over¯ start_ARG italic_χ end_ARG italic_ψ + italic_h . italic_c .(44)

The connection to the SM is through mixing between the dark photon and the photon (A𝐴Aitalic_A) fields,

ϵ2FdμνFμν.italic-ϵ2superscriptsubscript𝐹𝑑𝜇𝜈subscript𝐹𝜇𝜈\mathcal{L}\supset-\frac{\epsilon}{2}F_{d}^{\mu\nu}F_{\mu\nu}\,.caligraphic_L ⊃ - divide start_ARG italic_ϵ end_ARG start_ARG 2 end_ARG italic_F start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT italic_F start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT .(45)

The field Hdsubscript𝐻𝑑H_{d}italic_H start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT acquires a vacuum expectation value vHdHd=μλsubscript𝑣subscript𝐻𝑑delimited-⟨⟩subscript𝐻𝑑𝜇𝜆v_{H_{d}}\equiv\left\langle H_{d}\right\rangle=\frac{\mu}{\sqrt{\lambda}}italic_v start_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT ≡ ⟨ italic_H start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ⟩ = divide start_ARG italic_μ end_ARG start_ARG square-root start_ARG italic_λ end_ARG end_ARG through SSB, providing a real scalar field hdsubscript𝑑h_{d}italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT with hd=0delimited-⟨⟩subscript𝑑0\left\langle h_{d}\right\rangle=0⟨ italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ⟩ = 0 and mhd=μsubscript𝑚subscript𝑑𝜇m_{h_{d}}=\muitalic_m start_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT = italic_μ, and mass term to the dark photon of Peskin and Schroeder (1995); Cheng and Li (1984)

mAd2=2ed2vHd2.superscriptsubscript𝑚subscript𝐴𝑑22superscriptsubscript𝑒𝑑2superscriptsubscript𝑣subscript𝐻𝑑2m_{A_{d}}^{2}=2e_{d}^{2}v_{H_{d}}^{2}\,.italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 2 italic_e start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_v start_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT .(46)

Additionally, the Yukawa interaction term after SSB yields a mass between the fermions yvHdχ¯ψ+h.cformulae-sequence𝑦subscript𝑣subscript𝐻𝑑¯𝜒𝜓𝑐\mathcal{L}\supset-yv_{H_{d}}\bar{\chi}\psi+h.ccaligraphic_L ⊃ - italic_y italic_v start_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT over¯ start_ARG italic_χ end_ARG italic_ψ + italic_h . italic_c. A rotation to the mass diagonalized fields χsuperscript𝜒\chi^{\prime}italic_χ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and ψsuperscript𝜓\psi^{\prime}italic_ψ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, using the rotation angle ϑitalic-ϑ\varthetaitalic_ϑ defined by

sin2ϑ=2yvHd(mψmχ),2italic-ϑ2𝑦subscript𝑣subscript𝐻𝑑subscript𝑚superscript𝜓subscript𝑚superscript𝜒\sin 2\vartheta=\frac{2yv_{H_{d}}}{\left(m_{\psi^{\prime}}-m_{\chi^{\prime}}% \right)}\,,roman_sin 2 italic_ϑ = divide start_ARG 2 italic_y italic_v start_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG ( italic_m start_POSTSUBSCRIPT italic_ψ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT - italic_m start_POSTSUBSCRIPT italic_χ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ) end_ARG ,(47)

removes the mass mixing. The term edψ¯dψsubscript𝑒𝑑¯𝜓subscriptitalic-A̸𝑑𝜓\mathcal{L}\supset-e_{d}\bar{\psi}\not{A}_{d}\psicaligraphic_L ⊃ - italic_e start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT over¯ start_ARG italic_ψ end_ARG italic_A̸ start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT italic_ψ after the rotation yields an explicit interaction between ψsuperscript𝜓\psi^{\prime}italic_ψ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, χsuperscript𝜒\chi^{\prime}italic_χ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and Adsubscript𝐴𝑑A_{d}italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT:

edcosϑsinϑχ¯dψ+h.c.formulae-sequencesubscript𝑒𝑑italic-ϑitalic-ϑsuperscript¯𝜒subscriptitalic-A̸𝑑superscript𝜓𝑐\mathcal{L}\supset e_{d}\cos\vartheta\sin\vartheta\bar{\chi}^{\prime}\not{A}_{% d}\psi^{\prime}+h.c\,.caligraphic_L ⊃ italic_e start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT roman_cos italic_ϑ roman_sin italic_ϑ over¯ start_ARG italic_χ end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_A̸ start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT italic_ψ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + italic_h . italic_c .(48)

Since only the mass eigenstates (χsuperscript𝜒\chi^{\prime}italic_χ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and ψsuperscript𝜓\psi^{\prime}italic_ψ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT) are considered, in what follows we neglect the prime in denoting the fields.

V.1 Parameter restrictions

We impose several conditions on the parameters of the model, such that the decay ψχAd𝜓𝜒subscript𝐴𝑑\psi\rightarrow\chi A_{d}italic_ψ → italic_χ italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT and annihilation 2ψ2Ad2𝜓2subscript𝐴𝑑2\psi\rightarrow 2A_{d}2 italic_ψ → 2 italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT processes dominate the relic abundance.

First, for the decay to the dark photon to occur, the restriction mχ+mAd<mψsubscript𝑚𝜒subscript𝑚subscript𝐴𝑑subscript𝑚𝜓m_{\chi}+m_{A_{d}}<m_{\psi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT + italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT < italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT must be imposed. Additionally, to prevent the decay to the dark Higgs ψχhd𝜓𝜒subscript𝑑\psi\rightarrow\chi h_{d}italic_ψ → italic_χ italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT from occurring (else it would dominate the relic abundance), we take mχ+mhd>mψsubscript𝑚𝜒subscript𝑚subscript𝑑subscript𝑚𝜓m_{\chi}+m_{h_{d}}>m_{\psi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT + italic_m start_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT > italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT. The inequalities over the masses can be rewritten as a constraint over the dark charge

ed<λ2min{mψmχmhd,mAdmψmχ}.subscript𝑒𝑑𝜆2subscript𝑚𝜓subscript𝑚𝜒subscript𝑚subscript𝑑subscript𝑚subscript𝐴𝑑subscript𝑚𝜓subscript𝑚𝜒e_{d}<\sqrt{\frac{\lambda}{2}}\min\left\{\frac{m_{\psi}-m_{\chi}}{m_{h_{d}}}\;% ,\frac{m_{A_{d}}}{m_{\psi}-m_{\chi}}\right\}\,.italic_e start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT < square-root start_ARG divide start_ARG italic_λ end_ARG start_ARG 2 end_ARG end_ARG roman_min { divide start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT - italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG , divide start_ARG italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT - italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG } .(49)

Next, for the dark sector to thermalize with the SM, the reaction rate Ade+esubscript𝐴𝑑superscript𝑒superscript𝑒A_{d}\leftrightarrow e^{+}e^{-}italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ↔ italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT must be fast enough along the evolution of the DM abundance. This provides a lower bound on ϵitalic-ϵ\epsilonitalic_ϵ which is imposed later in this section by requiring ΓAde+eHsubscriptΓsubscript𝐴𝑑superscript𝑒superscript𝑒𝐻\Gamma_{A_{d}\rightarrow e^{+}e^{-}}\geq Hroman_Γ start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT → italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ≥ italic_H at x=1𝑥1x=1italic_x = 1.

Finally, hdsubscript𝑑h_{d}italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT must follow equilibrium (to avoid co-scattering of χ𝜒\chiitalic_χ with hdsubscript𝑑h_{d}italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT that is out of CE) and decay into lighter particles (otherwise it is a DM candidate by itself). This can be achieved in two ways. If ed<12λ2subscript𝑒𝑑12𝜆2e_{d}<\frac{1}{2}\sqrt{\frac{\lambda}{2}}italic_e start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT < divide start_ARG 1 end_ARG start_ARG 2 end_ARG square-root start_ARG divide start_ARG italic_λ end_ARG start_ARG 2 end_ARG end_ARG the reaction hd2Adsubscript𝑑2subscript𝐴𝑑h_{d}\rightarrow 2A_{d}italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT → 2 italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT is permitted and no further restriction is added. If 12λ2<ed<λ212𝜆2subscript𝑒𝑑𝜆2\frac{1}{2}\sqrt{\frac{\lambda}{2}}<e_{d}<\sqrt{\frac{\lambda}{2}}divide start_ARG 1 end_ARG start_ARG 2 end_ARG square-root start_ARG divide start_ARG italic_λ end_ARG start_ARG 2 end_ARG end_ARG < italic_e start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT < square-root start_ARG divide start_ARG italic_λ end_ARG start_ARG 2 end_ARG end_ARG, the reaction hdAde+esubscript𝑑subscript𝐴𝑑superscript𝑒superscript𝑒h_{d}\rightarrow A_{d}e^{+}e^{-}italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT → italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT is responsible for the dark Higgs decay. For hdsubscript𝑑h_{d}italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT to follow CE in the latter case, we demand ΓhdAde+eHsubscriptΓsubscript𝑑subscript𝐴𝑑superscript𝑒superscript𝑒𝐻\Gamma_{h_{d}\rightarrow A_{d}e^{+}e^{-}}\geq Hroman_Γ start_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT → italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ≥ italic_H at T=mhd𝑇subscript𝑚subscript𝑑T=m_{h_{d}}italic_T = italic_m start_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT, which provides again a lower bound on ϵitalic-ϵ\epsilonitalic_ϵ.

Refer to caption
Refer to caption
Figure 8: Model.Left: The dark charge edsubscript𝑒𝑑e_{d}italic_e start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT verses the Yukawa coupling y𝑦yitalic_y, which reproduces the observed abundance for the model, for different DM masses. The lighter colored solid curves in the plot show the values obtained with decay and annihilation reactions only, without co-scattering. Here we set λ=1𝜆1\lambda=1italic_λ = 1. Right: Allowed dark photon parameter space. Solid thick colored curves indicate the minimal kinetic mixing as a function of dark photon mass within the model, for various values of mass splitting ΔΔ\Deltaroman_Δ with λ=1,μ=2(mψmχ),ed=0.32formulae-sequence𝜆1formulae-sequence𝜇2subscript𝑚𝜓subscript𝑚𝜒subscript𝑒𝑑0.32\lambda=1,\mu=2\left(m_{\psi}-m_{\chi}\right),e_{d}=0.32italic_λ = 1 , italic_μ = 2 ( italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT - italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ) , italic_e start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT = 0.32. In this case, the constraint on ϵitalic-ϵ\epsilonitalic_ϵ comes from the thermalization of the sectors through the Ade+esubscript𝐴𝑑superscript𝑒superscript𝑒A_{d}\leftrightarrow e^{+}e^{-}italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ↔ italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT reaction. The dashed thick lines indicate the minimal kinetic mixing for different parameter choice: λ=1,μ=1.1(mψmχ),ed=0.58formulae-sequence𝜆1formulae-sequence𝜇1.1subscript𝑚𝜓subscript𝑚𝜒subscript𝑒𝑑0.58\lambda=1,\mu=1.1\left(m_{\psi}-m_{\chi}\right),e_{d}=0.58italic_λ = 1 , italic_μ = 1.1 ( italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT - italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ) , italic_e start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT = 0.58. Here, the constraint on ϵitalic-ϵ\epsilonitalic_ϵ comes from the hdAde+esubscript𝑑subscript𝐴𝑑superscript𝑒superscript𝑒h_{d}\rightarrow A_{d}e^{+}e^{-}italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT → italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT reaction rate (see Section V.1). In both cases the connection between the masses of the dark photon and the DM is mAd=0.9Δmχsubscript𝑚subscript𝐴𝑑0.9Δsubscript𝑚𝜒m_{A_{d}}=0.9\,\Delta m_{\chi}italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT = 0.9 roman_Δ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT. We show existing limits Fradette et al. (2014); Alexander et al. (2016); Chang et al. (2017); Hardy and Lasenby (2017); Pospelov and Tsai (2018); Banerjee et al. (2018); Aaij et al. (2018, 2020); Parker et al. (2018); Tsai et al. (2021) in shaded gray, with future projections Celentano (2014); Altmannshofer et al. (2019); Ilten et al. (2015); Alekhin et al. (2016); Ilten et al. (2016); Alexander et al. (2016); Caldwell et al. (2018); Berlin et al. (2018, 2019); Ariga et al. (2019); NA62 (2018); Tsai et al. (2021) indicated by the colored thin dashed curves.

V.2 Interactions

We now relate the model’s parameters to the couplings αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT and αannsubscript𝛼ann\alpha_{\rm ann}italic_α start_POSTSUBSCRIPT roman_ann end_POSTSUBSCRIPT in Eq. (2) and Eq. (3).

At the tree-level approximation, the decay coupling is given by Shtabovenko et al. (2020, 2016); Mertig et al. (1991)

αdecay=y2((mχmψ)2mAd2)((mχ+mψ)2+2mAd2)32πmψ2(mχmψ)2.subscript𝛼decaysuperscript𝑦2superscriptsubscript𝑚𝜒subscript𝑚𝜓2superscriptsubscript𝑚subscript𝐴𝑑2superscriptsubscript𝑚𝜒subscript𝑚𝜓22superscriptsubscript𝑚subscript𝐴𝑑232𝜋superscriptsubscript𝑚𝜓2superscriptsubscript𝑚𝜒subscript𝑚𝜓2\alpha_{\rm decay}=\frac{y^{2}\left(\left(m_{\chi}-m_{\psi}\right)^{2}-m_{A_{d% }}^{2}\right)\left(\left(m_{\chi}+m_{\psi}\right)^{2}+2m_{A_{d}}^{2}\right)}{3% 2\pi m_{\psi}^{2}\left(m_{\chi}-m_{\psi}\right)^{2}}\,.italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT = divide start_ARG italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( ( italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT - italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ( ( italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT + italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 2 italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG start_ARG 32 italic_π italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT - italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG .(50)

Since the relevant values of αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT are very small (see Fig. 4), y𝑦yitalic_y must be small as well.

By neglecting diagrams and terms with high orders of y𝑦yitalic_y, calculating the thermally averaged cross-section in the s-wave approximation provides Shtabovenko et al. (2020, 2016); Mertig et al. (1991)

αann2=ed41mAd2mψ2(mψ2mAd2)32π(mψ212mAd2)2mψ2.superscriptsubscript𝛼ann2superscriptsubscript𝑒𝑑41superscriptsubscript𝑚subscript𝐴𝑑2superscriptsubscript𝑚𝜓2superscriptsubscript𝑚𝜓2superscriptsubscript𝑚subscript𝐴𝑑232𝜋superscriptsuperscriptsubscript𝑚𝜓212superscriptsubscript𝑚subscript𝐴𝑑22superscriptsubscript𝑚𝜓2\alpha_{\rm ann}^{2}=\frac{e_{d}^{4}\sqrt{1-\frac{m_{A_{d}}^{2}}{m_{\psi}^{2}}% }\left(m_{\psi}^{2}-m_{A_{d}}^{2}\right)}{32\pi\left(m_{\psi}^{2}-\frac{1}{2}m% _{A_{d}}^{2}\right)^{2}}m_{\psi}^{2}\,.italic_α start_POSTSUBSCRIPT roman_ann end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG italic_e start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT square-root start_ARG 1 - divide start_ARG italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG ( italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG start_ARG 32 italic_π ( italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT .(51)

Additional reactions involving χ𝜒\chiitalic_χ occur in the model, but their effect is small. Since y𝑦yitalic_y is small, all the reactions with matrix element squared of order 𝒪(y3)𝒪superscript𝑦3\mathcal{O}\left(y^{3}\right)caligraphic_O ( italic_y start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ) or above are insignificant, leaving only nine reaction types with ||2¯y2proportional-to¯superscript2superscript𝑦2\overline{\left|\mathcal{M}\right|^{2}}\propto y^{2}over¯ start_ARG | caligraphic_M | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∝ italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. In the following, we show that the affect of those nine reactions is small as well.

The fastest of the nine interactions is co-scattering with the dark photon χAdψAd𝜒subscript𝐴𝑑𝜓subscript𝐴𝑑\chi A_{d}\rightarrow\psi A_{d}italic_χ italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT → italic_ψ italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT, since it is proportional to the dark photon number density nAdsubscript𝑛subscript𝐴𝑑n_{A_{d}}italic_n start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT. The ratio between its rate to inverse decay is

RateχAdψAdRateχAdψ=σvψAdχAdnAd,eqΓψχAdnAd,eqmψ3.subscriptRate𝜒subscript𝐴𝑑𝜓subscript𝐴𝑑subscriptRate𝜒subscript𝐴𝑑𝜓subscriptdelimited-⟨⟩𝜎𝑣𝜓subscript𝐴𝑑𝜒subscript𝐴𝑑subscript𝑛subscript𝐴𝑑eqsubscriptdelimited-⟨⟩Γ𝜓𝜒subscript𝐴𝑑similar-tosubscript𝑛subscript𝐴𝑑eqsuperscriptsubscript𝑚𝜓3\frac{\text{Rate}_{\chi A_{d}\rightarrow\psi A_{d}}}{\text{Rate}_{\chi A_{d}% \rightarrow\psi}}=\frac{\left\langle\sigma v\right\rangle_{\psi A_{d}% \rightarrow\chi A_{d}}n_{A_{d},{\rm eq}}}{\left\langle\Gamma\right\rangle_{% \psi\rightarrow\chi A_{d}}}\sim\frac{n_{A_{d},{\rm eq}}}{m_{\psi}^{3}}\,.divide start_ARG Rate start_POSTSUBSCRIPT italic_χ italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT → italic_ψ italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG Rate start_POSTSUBSCRIPT italic_χ italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT → italic_ψ end_POSTSUBSCRIPT end_ARG = divide start_ARG ⟨ italic_σ italic_v ⟩ start_POSTSUBSCRIPT italic_ψ italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT → italic_χ italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT , roman_eq end_POSTSUBSCRIPT end_ARG start_ARG ⟨ roman_Γ ⟩ start_POSTSUBSCRIPT italic_ψ → italic_χ italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG ∼ divide start_ARG italic_n start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT , roman_eq end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG .(52)

In the parameter space considered in this work, the dark photon mass is settled near its threshold mdmψmχless-than-or-similar-tosubscript𝑚𝑑subscript𝑚𝜓subscript𝑚𝜒m_{d}\lesssim m_{\psi}-m_{\chi}italic_m start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ≲ italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT - italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT (see next subsection). From Eq.  (52), the ratio between the rates (and the co-scattering rate itself) decreases rapidly at xmχmAdsimilar-to𝑥subscript𝑚𝜒subscript𝑚subscript𝐴𝑑x\sim\frac{m_{\chi}}{m_{A_{d}}}italic_x ∼ divide start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG, which is near the temperature at which the inverse decay rate is maximal x=Δ1subscript𝑥superscriptΔ1x_{*}=\Delta^{-1}italic_x start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT = roman_Δ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT (see Eq. (14)). Thus, the inverse decays dominate the freeze-out process in such parameter choices, and co-scattering serves as a secondary process.

It is worth mentioning that since for x<x𝑥subscript𝑥x<x_{*}italic_x < italic_x start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT the co-scattering rate might be higher, it can change the ‘effective’ initial conditions for the inverse decay process (a possibility mentioned in Garny et al. (2017)); however, we have not found significant change to the obtained coupling y𝑦yitalic_y in the calculations done for this work. The small effect of initial conditions on y𝑦yitalic_y is in correspondence with the results shown in Section III.2, which discusses the effect on changing the initial conditions on αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT.

The remaining eight reactions have a lower rate compared to co-scattering with the dark photon. The rates of co-scattering involving the scalar hdsubscript𝑑h_{d}italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT (χAdψhd𝜒subscript𝐴𝑑𝜓subscript𝑑\chi A_{d}\rightarrow\psi h_{d}italic_χ italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT → italic_ψ italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT, χhdψhd𝜒subscript𝑑𝜓subscript𝑑\chi h_{d}\rightarrow\psi h_{d}italic_χ italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT → italic_ψ italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT and χhdψAd𝜒subscript𝑑𝜓subscript𝐴𝑑\chi h_{d}\rightarrow\psi A_{d}italic_χ italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT → italic_ψ italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT) are slower than the rate of co-scattering with Adsubscript𝐴𝑑A_{d}italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT only by a factor of nhdeq/nAdeqsimilar-toabsentsuperscriptsubscript𝑛subscript𝑑eqsuperscriptsubscript𝑛subscript𝐴𝑑eq\sim n_{h_{d}}^{\rm eq}/n_{A_{d}}^{\rm eq}∼ italic_n start_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT / italic_n start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT or (nhdeq/nAdeq)2similar-toabsentsuperscriptsuperscriptsubscript𝑛subscript𝑑eqsuperscriptsubscript𝑛subscript𝐴𝑑eq2\sim\left(n_{h_{d}}^{\rm eq}/n_{A_{d}}^{\rm eq}\right)^{2}∼ ( italic_n start_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT / italic_n start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. The reactions with rate containing a factor of nψsubscript𝑛𝜓n_{\psi}italic_n start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT (χψψψ𝜒𝜓𝜓𝜓\chi\psi\rightarrow\psi\psiitalic_χ italic_ψ → italic_ψ italic_ψ , χψ¯ψψ¯𝜒¯𝜓𝜓¯𝜓\chi\bar{\psi}\rightarrow\psi\bar{\psi}italic_χ over¯ start_ARG italic_ψ end_ARG → italic_ψ over¯ start_ARG italic_ψ end_ARG, χψ¯AdAd𝜒¯𝜓subscript𝐴𝑑subscript𝐴𝑑\chi\bar{\psi}\rightarrow A_{d}A_{d}italic_χ over¯ start_ARG italic_ψ end_ARG → italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT, χψ¯hdAd𝜒¯𝜓subscript𝑑subscript𝐴𝑑\chi\bar{\psi}\rightarrow h_{d}A_{d}italic_χ over¯ start_ARG italic_ψ end_ARG → italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT and χψ¯hd𝜒¯𝜓subscript𝑑\chi\bar{\psi}\rightarrow h_{d}italic_χ over¯ start_ARG italic_ψ end_ARG → italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT) are exponentially suppressed as well (χψ¯hd𝜒¯𝜓subscript𝑑\chi\bar{\psi}\rightarrow h_{d}italic_χ over¯ start_ARG italic_ψ end_ARG → italic_h start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT is also forbidden in our parameter space choice).

V.3 Results

For the model to avoid cosmological constraints from Neffsubscript𝑁effN_{\rm eff}italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT and Big Bang Nucleosynthesis Parker et al. (2018); Banerjee et al. (2019); Lees et al. (2017); Andreas et al. (2012); Blümlein and Brunner (2014); Collaboration (2015); Tsai et al. (2022); Ibe et al. (2020); Sabti et al. (2020); Bauer et al. (2018), the parameters are chosen such that the dark photon (which is chosen to be the lightest particle) has mass of mAd18MeVsubscript𝑚subscript𝐴𝑑18MeVm_{A_{d}}\geq 18\ {\rm MeV}italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT ≥ 18 roman_MeV. High values of αannsubscript𝛼ann\alpha_{\rm ann}italic_α start_POSTSUBSCRIPT roman_ann end_POSTSUBSCRIPT are needed for high mass scales (see Fig. 3), which translates to a requirement of high edsubscript𝑒𝑑e_{d}italic_e start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT values and large mAdsubscript𝑚subscript𝐴𝑑m_{A_{d}}italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT masses (see Eqs. (51) and (46)).

The left panel of Fig. 8 shows y𝑦yitalic_y and edsubscript𝑒𝑑e_{d}italic_e start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT values that reproduce the observed DM relic abundance for different DM masses, mass splittings and values of r𝑟ritalic_r. Co-scattering with the dark photon plays little role, as is evident from the proximity of the results with and without co-scattering. The analogy of Fig. 8 to Fig. 1 emphasizes how the model manifests the INDY and coannihilation via decay mechanisms, through Eqs. (51) and (50), for various parameters.

INDY DM can be expected to evade conventional searches such as direct and indirect detection of DM. The reason is that in the dark sector, all χ𝜒\chiitalic_χ interactions are suppressed by factors of y108similar-to𝑦superscript108y\sim 10^{-8}italic_y ∼ 10 start_POSTSUPERSCRIPT - 8 end_POSTSUPERSCRIPT, and for interaction with the SM, additional factors of ϵ1much-less-thanitalic-ϵ1\epsilon\ll 1italic_ϵ ≪ 1 are present. For example, the obtained cross-section of χeχe𝜒𝑒𝜒𝑒\chi e\rightarrow\chi eitalic_χ italic_e → italic_χ italic_e elastic scattering, which is given by Shtabovenko et al. (2020, 2016); Mertig et al. (1991); Peskin and Schroeder (1995)

σe=y4ϵ2e2me2mχ24πed2(me+mχ)2(mχmψ)4,subscript𝜎𝑒superscript𝑦4superscriptitalic-ϵ2superscript𝑒2superscriptsubscript𝑚𝑒2superscriptsubscript𝑚𝜒24𝜋superscriptsubscript𝑒𝑑2superscriptsubscript𝑚𝑒subscript𝑚𝜒2superscriptsubscript𝑚𝜒subscript𝑚𝜓4\sigma_{e}=\frac{y^{4}\epsilon^{2}e^{2}m_{e}^{2}m_{\chi}^{2}}{4\pi e_{d}^{2}% \left(m_{e}+m_{\chi}\right)^{2}\left(m_{\chi}-m_{\psi}\right)^{4}}\,,italic_σ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = divide start_ARG italic_y start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_ϵ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_π italic_e start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT + italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT - italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ,(53)

where mesubscript𝑚𝑒m_{e}italic_m start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT and e𝑒eitalic_e are the mass and electric charge of the electron, is smaller by several orders of magnitude than current reach of direct direction experiments Kuflik et al. (2017); Alexander et al. (2016); Essig et al. (2017); Liu et al. (2017); Essig et al. (2022). Note that while Eq. (53) is model dependent, the low values of αdecaysubscript𝛼decay\alpha_{\rm decay}italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT obtained in the general case (Fig. 4) suggests that χ𝜒\chiitalic_χ interactions are expected to be weak in any model which realizes the mechanism.

The dark photon can, however, be searched for directly. The right panel of Fig. 8 shows the minimal value of ϵitalic-ϵ\epsilonitalic_ϵ needed for each mAdsubscript𝑚subscript𝐴𝑑m_{A_{d}}italic_m start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_POSTSUBSCRIPT, for three choices of parameters within the model. Experimental constraints on a visibly decaying dark photon in the mass range 𝒪(101000)𝒪101000\mathcal{O}(10-1000)caligraphic_O ( 10 - 1000 ) MeV currently constrain ϵ103104less-than-or-similar-toitalic-ϵsuperscript103superscript104\epsilon\lesssim{10^{-3}-10^{-4}}italic_ϵ ≲ 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT - 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT Fradette et al. (2014); Alexander et al. (2016); Chang et al. (2017); Hardy and Lasenby (2017); Pospelov and Tsai (2018); Banerjee et al. (2018); Aaij et al. (2018, 2020); Parker et al. (2018); Tsai et al. (2021), and most of the relevant parameter space is expected to be probed by future experiments, as demonstrated in the plot  Celentano (2014); Altmannshofer et al. (2019); Ilten et al. (2015); Alekhin et al. (2016); Ilten et al. (2016); Alexander et al. (2016); Caldwell et al. (2018); Berlin et al. (2018, 2019); Ariga et al. (2019); NA62 (2018); Tsai et al. (2021) (see Ref. Tsai et al. (2022) for a recent compilation of existing searches and future projections for visibly decaying dark photons). Additionally, the INDY dark matter candidate should be detectable through the direct production of ψ𝜓\psiitalic_ψ particles that decay into χ𝜒\chiitalic_χ and either additional invisible products or SM particles. We leave a detailed study of such a signal to future work.

VI Conclusions

In this work, we studied in detail the possibility that inverse decays play a meaningful role in setting the abundance of DM. We considered a framework of inverse decay interactions along with a self-annihilation process of the unstable particle, and examined the different phases which emerge in this setup. This includes a coannihilations via decay phase, in which the freezeout of the annihilation determines the relic abundance; an INDY phase, in which the freezeout of inverse decays determines the relic abundance; a FI phase, in which only the unstable particle decays account for the observed DM abundance; a FIFO phase, in which the DM abundance is given by freeze in and then freezeout of the DM; and a freezeout and decay phase, in which the decay plays a role only after the unstable particle freezes out.

We showed both numerically and by analytical approximations that when inverse decay reactions control the relic abundance of DM, much smaller couplings are required compared to other mechanisms such as the WIMP. (Interestingly, a chain of inverse decays can allow very heavy DM with larger couplings of 𝒪(1)𝒪1{\cal O}(1)caligraphic_O ( 1 ); for details see Ref. Frumkin et al. (2023b).) We further verified that relaxing the assumption of kinetic equilibrium does not impact (conceptually or numerically) the couplings or parameter space of INDY DM. Finally, we presented a renormalizable model that can realize the phases of DM described in this paper We mapped out the relevant parameter space within the model for the coannihilation via decays and INDY mechanisms presented in this work, and discussed the possible phenomenology for such DM. There is much room for further model-building efforts where inverse decays control the DM abundance. Interesting experimental signals at accelerators are anticipated from the long-lived particles of such theories, which could be used as a probe for inverse decaying dark sectors.

Acknowledgements.
The work of YH is supported by the Israel Science Foundation (grant No. 1818/22), by the Binational Science Foundation (grants No. 2018140 and No. 2022287) and by an ERC STG grant (“Light-Dark”, grant No. 101040019). The work of EK was supported by the Israel Science Foundation (grant No. 1111/17) and by the Binational Science Foundation (grants No. 2016153 and 2020220). The work of H. M. is supported by the Director, Office of Science, Office of High Energy Physics of the U.S. Department of Energy under the Contract No. DE-AC02-05CH11231, by the NSF grant PHY-2210390, by the JSPS Grant-in-Aid for Scientific Research JP23K03382, MEXT Grant-in-Aid for Transformative Research Areas (A) JP20H05850, JP20A203, Hamamatsu Photonics, K.K, and Tokyo Dome Corportation. In addition, H. M. is supported by the World Premier International Research Center Initiative (WPI) MEXT, Japan. This project has received funding from the European Research Council (ERC) under the European Union’s Horizon Europe research and innovation programme (grant agreement No. 101040019). Views and opinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union. The European Union cannot be held responsible for them.

Appendix A Saddle Point Approximation for INDY DM In Chemical Equilibrium

In this Appendix, we show how we use the saddle point approximation to obtain Eqs. (18) and (38).

The relic abundance with kinetic equilibrium for an INDY DM that is in CE is dominated by the ψ𝜓\psiitalic_ψ’s decays term of Eq. (12),

Yχ,=1eη𝐚(ξ)𝑑ξ𝐛(η)𝑑η,subscript𝑌𝜒superscriptsubscript1superscript𝑒superscriptsubscript𝜂𝐚𝜉differential-d𝜉𝐛𝜂differential-d𝜂Y_{\chi,\infty}=\intop_{1}^{\infty}e^{-\intop_{\eta}^{\infty}\mathbf{a}\left(% \xi\right)d\xi}\mathbf{b}(\eta)d\eta\,,italic_Y start_POSTSUBSCRIPT italic_χ , ∞ end_POSTSUBSCRIPT = ∫ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - ∫ start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT bold_a ( italic_ξ ) italic_d italic_ξ end_POSTSUPERSCRIPT bold_b ( italic_η ) italic_d italic_η ,(54)

where the NR approximations for 𝐚(x)𝐚𝑥\mathbf{a}(x)bold_a ( italic_x ) and 𝐛(x)𝐛𝑥\mathbf{b}(x)bold_b ( italic_x ) can be written as

𝐚(x)=𝐚0xeΔx,𝐛(x)=𝐛0x5/2e(1+Δ)xformulae-sequence𝐚𝑥subscript𝐚0𝑥superscript𝑒Δ𝑥𝐛𝑥subscript𝐛0superscript𝑥52superscript𝑒1Δ𝑥\mathbf{a}(x)=\mathbf{a}_{0}xe^{-\Delta x},\quad\mathbf{b}(x)=\mathbf{b}_{0}x^% {5/2}e^{-\left(1+\Delta\right)x}\,bold_a ( italic_x ) = bold_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_x italic_e start_POSTSUPERSCRIPT - roman_Δ italic_x end_POSTSUPERSCRIPT , bold_b ( italic_x ) = bold_b start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_x start_POSTSUPERSCRIPT 5 / 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - ( 1 + roman_Δ ) italic_x end_POSTSUPERSCRIPT(55)

with

𝐚0subscript𝐚0\displaystyle\mathbf{a}_{0}bold_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT=\displaystyle==3π10ggψgχβ¯(1+Δ)5/2αdecaymplmχ,3𝜋10subscript𝑔subscript𝑔𝜓subscript𝑔𝜒¯𝛽superscript1Δ52subscript𝛼decaysubscript𝑚plsubscript𝑚𝜒\displaystyle\frac{3}{\pi}\sqrt{\frac{10}{g_{*}}}\frac{g_{\psi}}{g_{\chi}}\bar% {\beta}\left(1+\Delta\right)^{5/2}\frac{\alpha_{\rm decay}m_{\rm pl}}{m_{\chi}% }\,,divide start_ARG 3 end_ARG start_ARG italic_π end_ARG square-root start_ARG divide start_ARG 10 end_ARG start_ARG italic_g start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT end_ARG end_ARG divide start_ARG italic_g start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_ARG start_ARG italic_g start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG over¯ start_ARG italic_β end_ARG ( 1 + roman_Δ ) start_POSTSUPERSCRIPT 5 / 2 end_POSTSUPERSCRIPT divide start_ARG italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT roman_pl end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ,(56)
𝐛0subscript𝐛0\displaystyle\mathbf{b}_{0}bold_b start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT=\displaystyle==3353/222π9/2gψgsgβ¯(1+Δ)5/2αdecaymplmχ,superscript33superscript532superscript22superscript𝜋92subscript𝑔𝜓subscript𝑔absent𝑠subscript𝑔¯𝛽superscript1Δ52subscript𝛼decaysubscript𝑚plsubscript𝑚𝜒\displaystyle\frac{3^{3}\cdot 5^{3/2}}{2^{2}\pi^{9/2}}\frac{g_{\psi}}{g_{*s}% \sqrt{g_{*}}}\bar{\beta}\left(1+\Delta\right)^{5/2}\frac{\alpha_{\rm decay}m_{% \rm pl}}{m_{\chi}}\,,divide start_ARG 3 start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ⋅ 5 start_POSTSUPERSCRIPT 3 / 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_π start_POSTSUPERSCRIPT 9 / 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_g start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_ARG start_ARG italic_g start_POSTSUBSCRIPT ∗ italic_s end_POSTSUBSCRIPT square-root start_ARG italic_g start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT end_ARG end_ARG over¯ start_ARG italic_β end_ARG ( 1 + roman_Δ ) start_POSTSUPERSCRIPT 5 / 2 end_POSTSUPERSCRIPT divide start_ARG italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT roman_pl end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ,

Substituting the above into Eq. (54) yields

Yχ,=𝐛01e𝐚0Δ2eηΔ(1+ηΔ)(1+Δ)η+52lnη𝑑η.subscript𝑌𝜒subscript𝐛0superscriptsubscript1superscript𝑒subscript𝐚0superscriptΔ2superscript𝑒𝜂Δ1𝜂Δ1Δ𝜂52𝜂differential-d𝜂Y_{\chi,\infty}=\mathbf{b}_{0}\intop_{1}^{\infty}e^{-\frac{\mathbf{a}_{0}}{% \Delta^{2}}e^{-\eta\Delta}\left(1+\eta\Delta\right)-\left(1+\Delta\right)\eta+% \frac{5}{2}\ln\eta}d\eta\,.italic_Y start_POSTSUBSCRIPT italic_χ , ∞ end_POSTSUBSCRIPT = bold_b start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - divide start_ARG bold_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG start_ARG roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_e start_POSTSUPERSCRIPT - italic_η roman_Δ end_POSTSUPERSCRIPT ( 1 + italic_η roman_Δ ) - ( 1 + roman_Δ ) italic_η + divide start_ARG 5 end_ARG start_ARG 2 end_ARG roman_ln italic_η end_POSTSUPERSCRIPT italic_d italic_η .(57)

This integral can be approximated by the saddle point approximation,

ef(x)𝑑ηef(ηs)2πf′′(ηs),superscriptsubscriptsuperscript𝑒𝑓𝑥differential-d𝜂superscript𝑒𝑓subscript𝜂𝑠2𝜋superscript𝑓′′subscript𝜂𝑠\intop_{-\infty}^{\infty}e^{f(x)}d\eta\approx e^{f\left(\eta_{s}\right)}\sqrt{% \frac{2\pi}{-f^{\prime\prime}\left(\eta_{s}\right)}}\,,∫ start_POSTSUBSCRIPT - ∞ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_f ( italic_x ) end_POSTSUPERSCRIPT italic_d italic_η ≈ italic_e start_POSTSUPERSCRIPT italic_f ( italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT square-root start_ARG divide start_ARG 2 italic_π end_ARG start_ARG - italic_f start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT ( italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ) end_ARG end_ARG ,(58)

where we note ηssubscript𝜂𝑠\eta_{s}italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT as the distinct maxima of f(x)𝑓𝑥f(x)italic_f ( italic_x ): ddηf(ηs)=0𝑑𝑑𝜂𝑓subscript𝜂𝑠0\frac{d}{d\eta}f\left(\eta_{s}\right)=0divide start_ARG italic_d end_ARG start_ARG italic_d italic_η end_ARG italic_f ( italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ) = 0. As long as ηs>1subscript𝜂𝑠1\eta_{s}>1italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT > 1, which is the case for an INDY that is in CE, the lower bound of the integral in Eq. (57) can be extended from 1111 to -\infty- ∞ and Eq. (57) has the same form as Eq. (58) with

f(η)=𝐚0Δ2eηΔ(1+ηΔ)(1+Δ)η+52lnη.𝑓𝜂subscript𝐚0superscriptΔ2superscript𝑒𝜂Δ1𝜂Δ1Δ𝜂52𝜂f(\eta)=-\frac{\mathbf{a}_{0}}{\Delta^{2}}e^{-\eta\Delta}\left(1+\eta\Delta% \right)-\left(1+\Delta\right)\eta+\frac{5}{2}\ln\eta\,.italic_f ( italic_η ) = - divide start_ARG bold_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG start_ARG roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_e start_POSTSUPERSCRIPT - italic_η roman_Δ end_POSTSUPERSCRIPT ( 1 + italic_η roman_Δ ) - ( 1 + roman_Δ ) italic_η + divide start_ARG 5 end_ARG start_ARG 2 end_ARG roman_ln italic_η .(59)

The saddle point ηssubscript𝜂𝑠\eta_{s}italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT obeys

e(1+Δ)ηs=𝐚0(1+Δ)Δ((1+Δ)521ηsηs)(1+Δ)Δ,superscript𝑒1Δsubscript𝜂𝑠superscriptsubscript𝐚01ΔΔsuperscript1Δ521subscript𝜂𝑠subscript𝜂𝑠1ΔΔe^{-\left(1+\Delta\right)\eta_{s}}=\mathbf{a}_{0}^{-\frac{\left(1+\Delta\right% )}{\Delta}}\left(\frac{\left(1+\Delta\right)-\frac{5}{2}\frac{1}{\eta_{s}}}{% \eta_{s}}\right)^{\frac{\left(1+\Delta\right)}{\Delta}}\,,italic_e start_POSTSUPERSCRIPT - ( 1 + roman_Δ ) italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_POSTSUPERSCRIPT = bold_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - divide start_ARG ( 1 + roman_Δ ) end_ARG start_ARG roman_Δ end_ARG end_POSTSUPERSCRIPT ( divide start_ARG ( 1 + roman_Δ ) - divide start_ARG 5 end_ARG start_ARG 2 end_ARG divide start_ARG 1 end_ARG start_ARG italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG end_ARG start_ARG italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG ( 1 + roman_Δ ) end_ARG start_ARG roman_Δ end_ARG end_POSTSUPERSCRIPT ,(60)

and using Eqs. (57), (58), (59) and (60) one can approximate the relic abundance to

Yχ,𝐛0𝐚0(1+Δ)Δηs52(1+Δ)Δ((1+Δ)521ηs)(1+Δ)Δ×e1Δ2ηs+521Δ2ηs21Δ1+321Δηs2πΔ+Δ2+5ηs272Δηs1ηs.subscript𝑌𝜒subscript𝐛0superscriptsubscript𝐚01ΔΔsuperscriptsubscript𝜂𝑠521ΔΔsuperscript1Δ521subscript𝜂𝑠1ΔΔsuperscript𝑒1superscriptΔ2subscript𝜂𝑠521superscriptΔ2superscriptsubscript𝜂𝑠21Δ1321Δsubscript𝜂𝑠2𝜋ΔsuperscriptΔ25superscriptsubscript𝜂𝑠272Δsubscript𝜂𝑠1subscript𝜂𝑠Y_{\chi,\infty}\approx\mathbf{b}_{0}\mathbf{a}_{0}^{-\frac{\left(1+\Delta% \right)}{\Delta}}\eta_{s}^{\frac{5}{2}-\frac{\left(1+\Delta\right)}{\Delta}}% \left(\left(1+\Delta\right)-\frac{5}{2}\frac{1}{\eta_{s}}\right)^{\frac{\left(% 1+\Delta\right)}{\Delta}}\times\\ e^{-\frac{1}{\Delta^{2}\eta_{s}}+\frac{5}{2}\frac{1}{\Delta^{2}\eta_{s}^{2}}-% \frac{1}{\Delta}-1+\frac{3}{2}\frac{1}{\Delta\eta_{s}}}\sqrt{\frac{2\pi}{% \Delta+\Delta^{2}+\frac{5}{\eta_{s}^{2}}-\frac{7}{2}\frac{\Delta}{\eta_{s}}-% \frac{1}{\eta_{s}}}}\,.start_ROW start_CELL italic_Y start_POSTSUBSCRIPT italic_χ , ∞ end_POSTSUBSCRIPT ≈ bold_b start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT bold_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - divide start_ARG ( 1 + roman_Δ ) end_ARG start_ARG roman_Δ end_ARG end_POSTSUPERSCRIPT italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT divide start_ARG 5 end_ARG start_ARG 2 end_ARG - divide start_ARG ( 1 + roman_Δ ) end_ARG start_ARG roman_Δ end_ARG end_POSTSUPERSCRIPT ( ( 1 + roman_Δ ) - divide start_ARG 5 end_ARG start_ARG 2 end_ARG divide start_ARG 1 end_ARG start_ARG italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG ( 1 + roman_Δ ) end_ARG start_ARG roman_Δ end_ARG end_POSTSUPERSCRIPT × end_CELL end_ROW start_ROW start_CELL italic_e start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG + divide start_ARG 5 end_ARG start_ARG 2 end_ARG divide start_ARG 1 end_ARG start_ARG roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG 1 end_ARG start_ARG roman_Δ end_ARG - 1 + divide start_ARG 3 end_ARG start_ARG 2 end_ARG divide start_ARG 1 end_ARG start_ARG roman_Δ italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT square-root start_ARG divide start_ARG 2 italic_π end_ARG start_ARG roman_Δ + roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG 5 end_ARG start_ARG italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG 7 end_ARG start_ARG 2 end_ARG divide start_ARG roman_Δ end_ARG start_ARG italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG - divide start_ARG 1 end_ARG start_ARG italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG end_ARG end_ARG . end_CELL end_ROW(61)

Since the dependence of ηssubscript𝜂𝑠\eta_{s}italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT on mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT is logarithmic (because mχsubscript𝑚𝜒m_{\chi}italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT appears only in 𝐚0subscript𝐚0\mathbf{a}_{0}bold_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT in Eq. (60)), the dependence of Yχ,subscript𝑌𝜒Y_{\chi,\infty}italic_Y start_POSTSUBSCRIPT italic_χ , ∞ end_POSTSUBSCRIPT on the DM mass (up to logarithmic corrections) is given by

Yχ,𝐛0𝐚0(1+Δ)Δ(αdecaymplmχ)1Δ,similar-tosubscript𝑌𝜒subscript𝐛0superscriptsubscript𝐚01ΔΔsimilar-tosuperscriptsubscript𝛼decaysubscript𝑚plsubscript𝑚𝜒1ΔY_{\chi,\infty}\sim\mathbf{b}_{0}\mathbf{a}_{0}^{-\frac{\left(1+\Delta\right)}% {\Delta}}\sim\left(\frac{\alpha_{\rm decay}m_{\rm pl}}{m_{\chi}}\right)^{-% \frac{1}{\Delta}},italic_Y start_POSTSUBSCRIPT italic_χ , ∞ end_POSTSUBSCRIPT ∼ bold_b start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT bold_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - divide start_ARG ( 1 + roman_Δ ) end_ARG start_ARG roman_Δ end_ARG end_POSTSUPERSCRIPT ∼ ( divide start_ARG italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT roman_pl end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG roman_Δ end_ARG end_POSTSUPERSCRIPT ,(62)

which is Eq. (18) of the main text.

The case without kinetic equilibrium is almost identical. Assuming the NR approximation Eχmχsubscript𝐸𝜒subscript𝑚𝜒E_{\chi}\approx m_{\chi}italic_E start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ≈ italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT (note that here we neglect the energy dependence on the momenta in the exponent of 𝐚qsubscript𝐚q\mathbf{a}_{\rm q}bold_a start_POSTSUBSCRIPT roman_q end_POSTSUBSCRIPT, which is a more crude approximation than in Eq. (32)), one can write

𝐚q(x,q)𝐚1xeδx,𝐛q(x,q)𝐚1xe(δ+1)xformulae-sequencesubscript𝐚q𝑥𝑞subscript𝐚1𝑥superscript𝑒𝛿𝑥subscript𝐛q𝑥𝑞subscript𝐚1𝑥superscript𝑒𝛿1𝑥\mathbf{a}_{\rm q}\left(x,q\right)\approx\mathbf{a}_{1}xe^{-\delta x},\quad% \mathbf{b}_{\rm q}\left(x,q\right)\approx\mathbf{a}_{1}xe^{-(\delta+1)x}\,bold_a start_POSTSUBSCRIPT roman_q end_POSTSUBSCRIPT ( italic_x , italic_q ) ≈ bold_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_x italic_e start_POSTSUPERSCRIPT - italic_δ italic_x end_POSTSUPERSCRIPT , bold_b start_POSTSUBSCRIPT roman_q end_POSTSUBSCRIPT ( italic_x , italic_q ) ≈ bold_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_x italic_e start_POSTSUPERSCRIPT - ( italic_δ + 1 ) italic_x end_POSTSUPERSCRIPT(63)

with

𝐚1=6π10ggψgχmψ2αNKEmplmχ2sinh(mψ22mχ2qmχβ¯)q.subscript𝐚16𝜋10subscript𝑔subscript𝑔𝜓subscript𝑔𝜒superscriptsubscript𝑚𝜓2subscript𝛼NKEsubscript𝑚plsuperscriptsubscript𝑚𝜒2superscriptsubscript𝑚𝜓22superscriptsubscript𝑚𝜒2𝑞subscript𝑚𝜒¯𝛽𝑞\mathbf{a}_{1}=\frac{6}{\pi}\sqrt{\frac{10}{g_{*}}}\frac{g_{\psi}}{g_{\chi}}% \frac{m_{\psi}^{2}\alpha_{\rm NKE}m_{\rm pl}}{m_{\chi}^{2}}\frac{\sinh\left(% \frac{m_{\psi}^{2}}{2m_{\chi}^{2}}\frac{q}{m_{\chi}}\bar{\beta}\right)}{q}\,.bold_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = divide start_ARG 6 end_ARG start_ARG italic_π end_ARG square-root start_ARG divide start_ARG 10 end_ARG start_ARG italic_g start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT end_ARG end_ARG divide start_ARG italic_g start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_ARG start_ARG italic_g start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG divide start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_α start_POSTSUBSCRIPT roman_NKE end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT roman_pl end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG roman_sinh ( divide start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_q end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG over¯ start_ARG italic_β end_ARG ) end_ARG start_ARG italic_q end_ARG .(64)

Substituting the definitions in Eq. (63) into Eq. (27) gives

f¯χ,q,=𝐚1x0eη𝐚NKE(ξ)𝑑ξ(δ+1)x+lnx𝑑η.subscript¯𝑓𝜒𝑞subscript𝐚1superscriptsubscriptsubscript𝑥0superscript𝑒superscriptsubscript𝜂subscript𝐚NKE𝜉differential-d𝜉𝛿1𝑥𝑥differential-d𝜂\bar{f}_{\chi,q,\infty}=\mathbf{a}_{1}\intop_{x_{0}}^{\infty}e^{-\intop_{\eta}% ^{\infty}\mathbf{a}_{\rm NKE}\left(\xi\right)d\xi-(\delta+1)x+\ln x}d\eta\,.over¯ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_χ , italic_q , ∞ end_POSTSUBSCRIPT = bold_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - ∫ start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT bold_a start_POSTSUBSCRIPT roman_NKE end_POSTSUBSCRIPT ( italic_ξ ) italic_d italic_ξ - ( italic_δ + 1 ) italic_x + roman_ln italic_x end_POSTSUPERSCRIPT italic_d italic_η .(65)

The saddle point ηssubscript𝜂𝑠\eta_{s}italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT in this case obeys

e(δ+1)ηs=𝐚1δ+1δ(1+δ1ηsηs)δ+1δ,superscript𝑒𝛿1subscript𝜂𝑠superscriptsubscript𝐚1𝛿1𝛿superscript1𝛿1subscript𝜂𝑠subscript𝜂𝑠𝛿1𝛿e^{-\left(\delta+1\right)\eta_{s}}=\mathbf{a}_{1}^{-\frac{\delta+1}{\delta}}% \left(\frac{1+\delta-\frac{1}{\eta_{s}}}{\eta_{s}}\right)^{\frac{\delta+1}{% \delta}}\,,italic_e start_POSTSUPERSCRIPT - ( italic_δ + 1 ) italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_POSTSUPERSCRIPT = bold_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - divide start_ARG italic_δ + 1 end_ARG start_ARG italic_δ end_ARG end_POSTSUPERSCRIPT ( divide start_ARG 1 + italic_δ - divide start_ARG 1 end_ARG start_ARG italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG end_ARG start_ARG italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG italic_δ + 1 end_ARG start_ARG italic_δ end_ARG end_POSTSUPERSCRIPT ,(66)

and the approximations provide

f¯χ,q,=𝐚11δ(1+δ1ηs)δ+1δηs1δe1δ2(1+δ1ηs)(δ+1ηs)×2π(1ηs(1+δ1ηs)(1ηsδ)1ηs2).subscript¯𝑓𝜒𝑞superscriptsubscript𝐚11𝛿superscript1𝛿1subscript𝜂𝑠𝛿1𝛿superscriptsubscript𝜂𝑠1𝛿superscript𝑒1superscript𝛿21𝛿1subscript𝜂𝑠𝛿1subscript𝜂𝑠2𝜋1subscript𝜂𝑠1𝛿1subscript𝜂𝑠1subscript𝜂𝑠𝛿1superscriptsubscript𝜂𝑠2\bar{f}_{\chi,q,\infty}=\mathbf{a}_{1}^{-\frac{1}{\delta}}\left(1+\delta-\frac% {1}{\eta_{s}}\right)^{\frac{\delta+1}{\delta}}\eta_{s}^{-\frac{1}{\delta}}e^{-% \frac{1}{\delta^{2}}\left(1+\delta-\frac{1}{\eta_{s}}\right)\left(\delta+\frac% {1}{\eta_{s}}\right)}\times\\ \sqrt{\frac{2\pi}{-\left(\frac{1}{\eta_{s}}\left(1+\delta-\frac{1}{\eta_{s}}% \right)\left(\frac{1}{\eta_{s}}-\delta\right)-\frac{1}{\eta_{s}^{2}}\right)}}\,.start_ROW start_CELL over¯ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_χ , italic_q , ∞ end_POSTSUBSCRIPT = bold_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG italic_δ end_ARG end_POSTSUPERSCRIPT ( 1 + italic_δ - divide start_ARG 1 end_ARG start_ARG italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG italic_δ + 1 end_ARG start_ARG italic_δ end_ARG end_POSTSUPERSCRIPT italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG italic_δ end_ARG end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( 1 + italic_δ - divide start_ARG 1 end_ARG start_ARG italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG ) ( italic_δ + divide start_ARG 1 end_ARG start_ARG italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG ) end_POSTSUPERSCRIPT × end_CELL end_ROW start_ROW start_CELL square-root start_ARG divide start_ARG 2 italic_π end_ARG start_ARG - ( divide start_ARG 1 end_ARG start_ARG italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG ( 1 + italic_δ - divide start_ARG 1 end_ARG start_ARG italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG ) ( divide start_ARG 1 end_ARG start_ARG italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG - italic_δ ) - divide start_ARG 1 end_ARG start_ARG italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) end_ARG end_ARG . end_CELL end_ROW(67)

Again, the ηssubscript𝜂𝑠\eta_{s}italic_η start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT dependence on the mass is logarithmic and the f¯χ,q,subscript¯𝑓𝜒𝑞\bar{f}_{\chi,q,\infty}over¯ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_χ , italic_q , ∞ end_POSTSUBSCRIPT dependence on the mass scale (up to logarithmic corrections) is given by the 𝐚1subscript𝐚1\mathbf{a}_{1}bold_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT term

f¯χ,q,(αNKEmplq)1δ.similar-tosubscript¯𝑓𝜒𝑞superscriptsubscript𝛼NKEsubscript𝑚pl𝑞1𝛿\bar{f}_{\chi,q,\infty}\sim\left(\frac{\alpha_{\rm NKE}m_{\rm pl}}{q}\right)^{% -\frac{1}{\delta}}\,.over¯ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_χ , italic_q , ∞ end_POSTSUBSCRIPT ∼ ( divide start_ARG italic_α start_POSTSUBSCRIPT roman_NKE end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT roman_pl end_POSTSUBSCRIPT end_ARG start_ARG italic_q end_ARG ) start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG italic_δ end_ARG end_POSTSUPERSCRIPT .(68)

Using Eq. (68) and Eq. (30), it is possible to estimate the DM relic abundance in the NKE equilibruim case, as done in Eq. (39) in Section IV.

Appendix B Non-integrated Boltzmann Equation for χ𝜒\chiitalic_χ

In this Appendix, we derive Eq. (24) from Eq. (23). The approach used here is similar to that in Refs. D’Agnolo et al. (2017); Garny et al. (2017).

Simplifying the left hand side (LHS) of Eq. (23) is done by changes of variables, from (t,pχ)𝑡subscript𝑝𝜒\left(t,p_{\chi}\right)( italic_t , italic_p start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ) to (x,q)𝑥𝑞\left(x,q\right)( italic_x , italic_q ), with a conversion defined by t=t(x)𝑡𝑡𝑥t=t(x)italic_t = italic_t ( italic_x ) and pχ=q/a(x)subscript𝑝𝜒𝑞𝑎𝑥p_{\chi}=q/a(x)italic_p start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT = italic_q / italic_a ( italic_x ). Here, q𝑞qitalic_q is the comoving momentum, and in these variables the LHS is

LHS=(tHpχpχ)fχ=xH(1+13dlngs(T)dlnT)ddxf¯χ,q,LHS𝑡𝐻subscript𝑝𝜒subscript𝑝𝜒subscript𝑓𝜒𝑥𝐻113𝑑lnsubscript𝑔absent𝑠𝑇𝑑𝑇𝑑𝑑𝑥subscript¯𝑓𝜒𝑞{\rm LHS}=\left(\frac{\partial}{\partial t}-Hp_{\chi}\frac{\partial}{\partial p% _{\chi}}\right)f_{\chi}=x\frac{H}{\left(1+\frac{1}{3}\frac{d{\rm ln}g_{*s}(T)}% {d\ln T}\right)}\frac{d}{dx}\bar{f}_{\chi,q}\,,roman_LHS = ( divide start_ARG ∂ end_ARG start_ARG ∂ italic_t end_ARG - italic_H italic_p start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT divide start_ARG ∂ end_ARG start_ARG ∂ italic_p start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ) italic_f start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT = italic_x divide start_ARG italic_H end_ARG start_ARG ( 1 + divide start_ARG 1 end_ARG start_ARG 3 end_ARG divide start_ARG italic_d roman_ln italic_g start_POSTSUBSCRIPT ∗ italic_s end_POSTSUBSCRIPT ( italic_T ) end_ARG start_ARG italic_d roman_ln italic_T end_ARG ) end_ARG divide start_ARG italic_d end_ARG start_ARG italic_d italic_x end_ARG over¯ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_χ , italic_q end_POSTSUBSCRIPT ,(69)

where we ignore the (1+13dlngs(T)dlnT)113𝑑lnsubscript𝑔absent𝑠𝑇𝑑𝑇\left(1+\frac{1}{3}\frac{d{\rm ln}g_{*s}(T)}{d\ln T}\right)( 1 + divide start_ARG 1 end_ARG start_ARG 3 end_ARG divide start_ARG italic_d roman_ln italic_g start_POSTSUBSCRIPT ∗ italic_s end_POSTSUBSCRIPT ( italic_T ) end_ARG start_ARG italic_d roman_ln italic_T end_ARG ) factor afterwords in Section IV.

Simplifying the right hand side (RHS) of Eq. (23) is done in four steps. The first step is integrating over 𝒑ϕsubscript𝒑italic-ϕ\boldsymbol{p}_{\phi}bold_italic_p start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT, using the delta function over the 3-momentum. We obtain

RHS=gϕ2Eχ12EϕdΠψ(2π)δ(EψEϕEχ)×||2¯ψϕχ(fψ(Eψ)fϕ(Eϕ)fχ(Eχ)),RHSsubscript𝑔italic-ϕ2subscript𝐸𝜒12subscript𝐸italic-ϕ𝑑subscriptΠ𝜓2𝜋𝛿subscript𝐸𝜓subscript𝐸italic-ϕsubscript𝐸𝜒subscript¯superscript2𝜓italic-ϕ𝜒subscript𝑓𝜓subscript𝐸𝜓subscript𝑓italic-ϕsubscript𝐸italic-ϕsubscript𝑓𝜒subscript𝐸𝜒{\rm RHS}=\frac{g_{\phi}}{2E_{\chi}}\intop\frac{1}{2E_{\phi}}d\Pi_{\psi}\left(% 2\pi\right)\delta\left(E_{\psi}-E_{\phi}-E_{\chi}\right)\times\\ \overline{\left|\mathcal{M}\right|^{2}}_{\psi\rightarrow\phi\chi}\left(f_{\psi% }\left(E_{\psi}\right)-f_{\phi}\left(E_{\phi}\right)f_{\chi}\left(E_{\chi}% \right)\right)\,,start_ROW start_CELL roman_RHS = divide start_ARG italic_g start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_E start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ∫ divide start_ARG 1 end_ARG start_ARG 2 italic_E start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT end_ARG italic_d roman_Π start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT ( 2 italic_π ) italic_δ ( italic_E start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ) × end_CELL end_ROW start_ROW start_CELL over¯ start_ARG | caligraphic_M | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_ψ → italic_ϕ italic_χ end_POSTSUBSCRIPT ( italic_f start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT ) - italic_f start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ) italic_f start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ) ) , end_CELL end_ROW(70)

where (𝒑ϕ)2=(𝒑ψ)2+(𝒑χ)22𝒑ψ𝒑χsuperscriptsubscript𝒑italic-ϕ2superscriptsubscript𝒑𝜓2superscriptsubscript𝒑𝜒22subscript𝒑𝜓subscript𝒑𝜒\left(\boldsymbol{p}_{\phi}\right)^{2}=\left(\boldsymbol{p}_{\psi}\right)^{2}+% \left(\boldsymbol{p}_{\chi}\right)^{2}-2\boldsymbol{p}_{\psi}\cdot\boldsymbol{% p}_{\chi}( bold_italic_p start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ( bold_italic_p start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( bold_italic_p start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 bold_italic_p start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT ⋅ bold_italic_p start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT.

The second step is integrating over dΩ𝒑ψ𝑑subscriptΩsubscript𝒑𝜓d\Omega_{\boldsymbol{p}_{\psi}}italic_d roman_Ω start_POSTSUBSCRIPT bold_italic_p start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_POSTSUBSCRIPT, where the z𝑧zitalic_z-axis is chosen to be in the direction of 𝒑χsubscript𝒑𝜒\boldsymbol{p}_{\chi}bold_italic_p start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT. Since ||2¯¯superscript2\overline{\left|\mathcal{M}\right|^{2}}over¯ start_ARG | caligraphic_M | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG and the energies do not depend on ϕ𝒑ψsubscriptitalic-ϕsubscript𝒑𝜓\phi_{\boldsymbol{p}_{\psi}}italic_ϕ start_POSTSUBSCRIPT bold_italic_p start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_POSTSUBSCRIPT, the integration over this angle is trivial and provides a factor of 2π2𝜋2\pi2 italic_π. Additionally, since ||2¯¯superscript2\overline{\left|\mathcal{M}\right|^{2}}over¯ start_ARG | caligraphic_M | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG does not depend on θ𝒑ψsubscript𝜃subscript𝒑𝜓\theta_{\boldsymbol{p}_{\psi}}italic_θ start_POSTSUBSCRIPT bold_italic_p start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_POSTSUBSCRIPT the remaining delta function over the energy can be analytically integrated, obtaining

RHS=gψgϕ16πEχpψ=0pψ=pψdpψEψpχ×Θ(1|mϕ2mψ2mχ2+2EψEχ2pψpχ|)×||2¯ψϕχ(fψ(Eψ)fϕ(EψEχ)fχ(Eχ)),RHSsubscript𝑔𝜓subscript𝑔italic-ϕ16𝜋subscript𝐸𝜒superscriptsubscriptsubscript𝑝𝜓0subscript𝑝𝜓subscript𝑝𝜓𝑑subscript𝑝𝜓subscript𝐸𝜓subscript𝑝𝜒Θ1superscriptsubscript𝑚italic-ϕ2superscriptsubscript𝑚𝜓2superscriptsubscript𝑚𝜒22subscript𝐸𝜓subscript𝐸𝜒2subscript𝑝𝜓subscript𝑝𝜒subscript¯superscript2𝜓italic-ϕ𝜒subscript𝑓𝜓subscript𝐸𝜓subscript𝑓italic-ϕsubscript𝐸𝜓subscript𝐸𝜒subscript𝑓𝜒subscript𝐸𝜒{\rm RHS}=\frac{g_{\psi}g_{\phi}}{16\pi E_{\chi}}\intop_{p_{\psi}=0}^{p_{\psi}% =\infty}\frac{p_{\psi}dp_{\psi}}{E_{\psi}p_{\chi}}\times\\ \Theta\left(1-\left|\frac{m_{\phi}^{2}-m_{\psi}^{2}-m_{\chi}^{2}+2E_{\psi}E_{% \chi}}{2p_{\psi}p_{\chi}}\right|\right)\times\\ \overline{\left|\mathcal{M}\right|^{2}}_{\psi\rightarrow\phi\chi}\left(f_{\psi% }\left(E_{\psi}\right)-f_{\phi}\left(E_{\psi}-E_{\chi}\right)f_{\chi}\left(E_{% \chi}\right)\right)\,,start_ROW start_CELL roman_RHS = divide start_ARG italic_g start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT end_ARG start_ARG 16 italic_π italic_E start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ∫ start_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT = ∞ end_POSTSUPERSCRIPT divide start_ARG italic_p start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT italic_d italic_p start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_ARG start_ARG italic_E start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG × end_CELL end_ROW start_ROW start_CELL roman_Θ ( 1 - | divide start_ARG italic_m start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 2 italic_E start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_p start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG | ) × end_CELL end_ROW start_ROW start_CELL over¯ start_ARG | caligraphic_M | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_ψ → italic_ϕ italic_χ end_POSTSUBSCRIPT ( italic_f start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT ) - italic_f start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ) italic_f start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ) ) , end_CELL end_ROW(71)

where ΘΘ\Thetaroman_Θ is the Heaviside function.

The third step is changing the remaining integration variable from pψsubscript𝑝𝜓p_{\psi}italic_p start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT to Eψsubscript𝐸𝜓E_{\psi}italic_E start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT. This provides

RHS=gψgϕ16π1pχEχEψ=EminEψ=EmaxdEψ||2¯ψϕχ×(fψ(Eψ)fϕ(EψEχ)fχ(Eχ)),RHSsubscript𝑔𝜓subscript𝑔italic-ϕ16𝜋1subscript𝑝𝜒subscript𝐸𝜒superscriptsubscriptsubscript𝐸𝜓subscript𝐸minsubscript𝐸𝜓subscript𝐸max𝑑subscript𝐸𝜓subscript¯superscript2𝜓italic-ϕ𝜒subscript𝑓𝜓subscript𝐸𝜓subscript𝑓italic-ϕsubscript𝐸𝜓subscript𝐸𝜒subscript𝑓𝜒subscript𝐸𝜒{\rm RHS}=\frac{g_{\psi}g_{\phi}}{16\pi}\frac{1}{p_{\chi}E_{\chi}}\intop_{E_{% \psi}=E_{\rm min}}^{E_{\psi}=E_{\rm max}}dE_{\psi}\overline{\left|\mathcal{M}% \right|^{2}}_{\psi\rightarrow\phi\chi}\times\\ \left(f_{\psi}\left(E_{\psi}\right)-f_{\phi}\left(E_{\psi}-E_{\chi}\right)f_{% \chi}\left(E_{\chi}\right)\right)\,,start_ROW start_CELL roman_RHS = divide start_ARG italic_g start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT end_ARG start_ARG 16 italic_π end_ARG divide start_ARG 1 end_ARG start_ARG italic_p start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG ∫ start_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT = italic_E start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_E start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT = italic_E start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_d italic_E start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT over¯ start_ARG | caligraphic_M | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_ψ → italic_ϕ italic_χ end_POSTSUBSCRIPT × end_CELL end_ROW start_ROW start_CELL ( italic_f start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT ) - italic_f start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ) italic_f start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ) ) , end_CELL end_ROW(72)

where (it can be shown that Eminmψsubscript𝐸subscript𝑚𝜓E_{\min}\geq m_{\psi}italic_E start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT ≥ italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT)

Emin,max=δEχ±mψ2β¯pχ2mχ2.subscript𝐸plus-or-minus𝛿subscript𝐸𝜒superscriptsubscript𝑚𝜓2¯𝛽subscript𝑝𝜒2superscriptsubscript𝑚𝜒2E_{\min,\max}=\delta E_{\chi}\pm\frac{m_{\psi}^{2}\bar{\beta}p_{\chi}}{2m_{% \chi}^{2}}\,.italic_E start_POSTSUBSCRIPT roman_min , roman_max end_POSTSUBSCRIPT = italic_δ italic_E start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ± divide start_ARG italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over¯ start_ARG italic_β end_ARG italic_p start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG .(73)

The fourth step is integrating over the energy Eψsubscript𝐸𝜓E_{\psi}italic_E start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT. Since ||2¯ψϕχsubscript¯superscript2𝜓italic-ϕ𝜒\overline{\left|\mathcal{M}\right|^{2}}_{\psi\rightarrow\phi\chi}over¯ start_ARG | caligraphic_M | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_ψ → italic_ϕ italic_χ end_POSTSUBSCRIPT does not depend on the energies of the particles and assuming both ψ𝜓\psiitalic_ψ and ϕitalic-ϕ\phiitalic_ϕ are in chemical equilibrium in the Maxwell-Boltzmann distributions, Eq. (72) is simplified to

RHS=c(x=mχT,q=pχa(x))(fχ(Eχ)fχeq(Eχ)),RHS𝑐formulae-sequence𝑥subscript𝑚𝜒𝑇𝑞subscript𝑝𝜒𝑎𝑥subscript𝑓𝜒subscript𝐸𝜒superscriptsubscript𝑓𝜒eqsubscript𝐸𝜒{\rm RHS}=-c\left(x=\frac{m_{\chi}}{T},q=p_{\chi}a(x)\right)\left(f_{\chi}% \left(E_{\chi}\right)-f_{\chi}^{\rm eq}\left(E_{\chi}\right)\right)\,,roman_RHS = - italic_c ( italic_x = divide start_ARG italic_m start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_T end_ARG , italic_q = italic_p start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_a ( italic_x ) ) ( italic_f start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ) - italic_f start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT ( italic_E start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT ) ) ,(74)

with c(x,q)𝑐𝑥𝑞c\left(x,q\right)italic_c ( italic_x , italic_q ) defined in Eq. (25) in the main text.

Note that there is no need to assume a Maxwell-Boltzmann distribution for both ψ𝜓\psiitalic_ψ and ϕitalic-ϕ\phiitalic_ϕ. Since the final result must be of the form df¯q,χdx(f¯q,χf¯q,χeq)proportional-to𝑑subscript¯𝑓𝑞𝜒𝑑𝑥subscript¯𝑓𝑞𝜒superscriptsubscript¯𝑓𝑞𝜒eq\frac{d\bar{f}_{q,\chi}}{dx}\propto-\left(\bar{f}_{q,\chi}-\bar{f}_{q,\chi}^{% \rm eq}\right)divide start_ARG italic_d over¯ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_q , italic_χ end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_x end_ARG ∝ - ( over¯ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_q , italic_χ end_POSTSUBSCRIPT - over¯ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_q , italic_χ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_eq end_POSTSUPERSCRIPT ), assuming the distribution of one particle determines the proper approximation for the second, such that the BE would be consistent.

Finally, the connection between the averaged matrix element squared and the decay rate is

Γ=12mψgχgϕ||2¯ψχϕβ¯8π,Γ12subscript𝑚𝜓subscript𝑔𝜒subscript𝑔italic-ϕsubscript¯superscript2𝜓𝜒italic-ϕ¯𝛽8𝜋\Gamma=\frac{1}{2m_{\psi}}g_{\chi}g_{\phi}\overline{\left|\mathcal{M}\right|^{% 2}}_{\psi\rightarrow\chi\phi}\frac{\bar{\beta}}{8\pi}\,,roman_Γ = divide start_ARG 1 end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT end_ARG italic_g start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT over¯ start_ARG | caligraphic_M | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_ψ → italic_χ italic_ϕ end_POSTSUBSCRIPT divide start_ARG over¯ start_ARG italic_β end_ARG end_ARG start_ARG 8 italic_π end_ARG ,(75)

and so in the language of the parameterization of Eq.  (2), we have

||2¯ψχϕ=16πmψ2αdecaygχgϕ.subscript¯superscript2𝜓𝜒italic-ϕ16𝜋superscriptsubscript𝑚𝜓2subscript𝛼decaysubscript𝑔𝜒subscript𝑔italic-ϕ\overline{\left|\mathcal{M}\right|^{2}}_{\psi\rightarrow\chi\phi}=\frac{16\pi m% _{\psi}^{2}\alpha_{\rm decay}}{g_{\chi}g_{\phi}}\,.over¯ start_ARG | caligraphic_M | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_ψ → italic_χ italic_ϕ end_POSTSUBSCRIPT = divide start_ARG 16 italic_π italic_m start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_α start_POSTSUBSCRIPT roman_decay end_POSTSUBSCRIPT end_ARG start_ARG italic_g start_POSTSUBSCRIPT italic_χ end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT end_ARG .(76)

References

close