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

\thankstext

e1e-mail: [email protected] \thankstexte2e-mail: [email protected] \thankstexte3e-mail: [email protected] \thankstexte4e-mail: [email protected]

11institutetext: Sydney Consortium for Particle Physics and Cosmology, School of Physics, The University of New South Wales, Sydney NSW 2052, Australia 22institutetext: Centre for Cosmology, Particle Physics and Phenomenology, Université catholique de Louvain, Chemin du cyclotron, 2, Louvain-la-Neuve B-1348, Belgium

Weaker yet again: mass spectrum-consistent cosmological constraints on the neutrino lifetime

Joe Zhiyu Chen\thanksrefaddr1,e1    Isabel M. Oldengott\thanksrefaddr2,e2    Giovanni Pierobon\thanksrefaddr1,e3    Yvonne Y. Y. Wong\thanksrefaddr1,e4
Abstract

We consider invisible neutrino decay νHνl+ϕ\nu_{H}\to\nu_{l}+\phi in the ultra-relativistic limit and compute the neutrino anisotropy loss rate relevant for the cosmic microwave background (CMB) anisotropies. Improving on our previous work which assumed massless νl\nu_{l} and ϕ\phi, we reinstate in this work the daughter neutrino mass mνlm_{\nu l} in a manner consistent with the experimentally determined neutrino mass splittings. We find that a nonzero mνlm_{\nu l} introduces a new phase space factor in the loss rate ΓT\Gamma_{\rm T} proportional to (Δmν2/mνH2)2(\Delta m_{\nu}^{2}/m_{\nu_{H}}^{2})^{2} in the limit of a small squared mass gap between the parent and daughter neutrinos, i.e., ΓT(Δmν2/mνH2)2(mνH/Eν)5(1/τ0)\Gamma_{\rm T}\sim(\Delta m_{\nu}^{2}/m_{\nu H}^{2})^{2}(m_{\nu H}/E_{\nu})^{5}(1/\tau_{0}), where τ0\tau_{0} is the νH\nu_{H} rest-frame lifetime. Using a general form of this result, we update the limit on τ0\tau_{0} using the Planck 2018 CMB data. We find that for a parent neutrino of mass mνH0.1m_{\nu H}\lesssim 0.1 eV, the new phase space factor weakens the constraint on its lifetime by up to a factor of 50 if Δmν2\Delta m_{\nu}^{2} corresponds to the atmospheric mass gap and up to 10510^{5} if the solar mass gap, in comparison with naïve estimates that assume mνl=0m_{\nu l}=0. The revised constraints are (i) τ0(610)×105\tau^{0}\gtrsim(6\to 10)\times 10^{5} s and τ0(400500)\tau^{0}\gtrsim(400\to 500) s if only one neutrino decays to a daughter neutrino separated by, respectively, the atmospheric and the solar mass gap, and (ii) τ0(26)×107\tau^{0}\gtrsim(2\to 6)\times 10^{7} s in the case of two decay channels with one near-common atmospheric mass gap. In contrast to previous, naïve limits which scale as mνH5m_{\nu H}^{5}, these mass spectrum-consistent τ0\tau_{0} constraints are remarkably independent of the parent mass and open up a swath of parameter space within the projected reach of IceCube and other neutrino telescopes in the next two decades.

journal: Eur. Phys. J. C

1 Introduction

Precision measurements of the cosmic microwave background (CMB) anisotropies and the large-scale matter distribution have in the past two decades yielded some of the tightest constraints on particle physics. The most widely known amongst these are upper limits on the neutrino mass sum, which at mν0.12\sum m_{\nu}\lesssim 0.12 eV for a one-parameter extension of the standard Λ\LambdaCDM model Planck:2018vyg ,11195% credible limit derived from a 7-parameter fit to the data combination Planck TT,TE,EE+lowE+lensing+BAO Planck:2018vyg . supersedes at face value current laboratory β\beta-decay end-point spectrum measurements by a factor of 30 Aker:2019uuj . Of lesser prominence albeit equal significance are CMB constraints on the neutrino lifetime.

Relativistic invisible neutrino decay occurring on time scales of CMB formation leave an interesting signature on the CMB anisotropies. In the cosmological context, Standard-Model neutrinos decouple at temperatures of T1T\sim 1 MeV and free-stream thereafter. Free-streaming could be inhibited, however, if non-standard collisional processes such as neutrino decay and especially its concurrent inverse decay—the latter of which is kinematically feasible only in the limit of an ultra-relativistic neutrino ensemble—should become efficient at T1T\lesssim 1 MeV. At CMB formation times, the absence of neutrino free-streaming prevents the transfer of power from the monopole (density) and dipole (velocity divergence) fluctuations of the neutrino fluid to higher multipole moments (e.g., anisotropic stress) Hannestad:2004qu . Such a suppression of higher-order anisotropies manifests itself predominantly in the CMB primary anisotropies as an enhancement of power at multipoles 200\ell\gtrsim 200 in the CMB temperature power spectrum, which can be exploited to place constraints on the non-standard interaction(s) responsible for the phenomenon Hannestad:2005ex ; Basboll:2008fx ; Cyr-Racine:2013jua ; Archidiacono:2013dua ; Escudero:2019gfk ; Barenboim:2020vrr ; Lancaster:2017ksf ; Oldengott:2014qra ; Oldengott:2017fhy ; Kreisch:2019yzn ; Forastieri:2019cuf ; Barenboim:2019tux ; Venzor:2022hql .

Following this line of argument, measurements of the Planck mission (2018 data release) currently constrain the rest-frame neutrino lifetime to τ0(4×1054×106)(mν/50meV)5\tau_{0}\gtrsim(4\times 10^{5}\to 4\times 10^{6})\ (m_{\nu}/50\,{\rm meV})^{5} s, assuming invisible decay of a parent neutrino not exceeding mν0.2m_{\nu}\simeq 0.2 eV in mass into a massless particles Barenboim:2020vrr .222It is also possible to invoke invisible neutrino decay in the non-relativistic limit as a means to relax cosmological neutrino mass bounds. See, e.g., Refs. Lorenz:2021alz ; Abellan:2021rfq for recent studies. The rest-frame lifetimes required are typically of order 0.010.10.01\to 0.1 of the universe’s age, leading to a phenomenology that differs completely from the ultra-relativistic case considered in this work. This lower bound is to be compared with laboratory limits obtained from analyses of the neutrino disappearance rate in JUNO and KamLAND+JUNO, τ0/mν>7.5×1011\tau_{0}/m_{\nu}>7.5\times 10^{-11} (s/eV) and τ0/mν>1.1×109\tau_{0}/m_{\nu}>1.1\times 10^{-9} (s/eV) for a normal and an inverted mass ordering respectively Porto-Silva:2020gma , as well as astrophysical limits from solar neutrinos τ0/mν105103\tau_{0}/m_{\nu}\gtrsim 10^{-5}\to 10^{-3} (s/eV) SNO:2018pvg ; Funcke:2019grs , SN1987A τ0(110)\tau_{0}\gtrsim(1\to 10) s Kachelriess:2000qc , and IceCube τ0/mν2.4×103\tau_{0}/m_{\nu}\gtrsim 2.4\times 10^{3} (s/eV) Song:2020nfh .

Central to the extraction of τ0\tau_{0} from cosmological data is the neutrino anisotropy loss rate or transport rate ΓT\Gamma_{\rm T}, particularly how this rate relates to τ0\tau_{0} itself and other fundamental properties of the particles participating in the interaction. Some of us have recently considered this issue via a rigorous computation of the transport rate from the full Boltzmann hierarchies incorporating the two-body decay νHνl+ϕ\nu_{H}\leftrightarrow\nu_{l}+\phi and its inverse process induced by a Yukawa interaction Barenboim:2020vrr . For decay into massless daughter particles, Ref. Barenboim:2020vrr finds a transport rate ΓT(mν/Eν)5(1/τ0)\Gamma_{\rm T}\sim(m_{\nu}/E_{\nu})^{5}(1/\tau_{0}) under the assumption of linear response. This result is in contrast to the rate ΓT(mν/Eν)3(1/τ0)\Gamma_{\rm T}\sim(m_{\nu}/E_{\nu})^{3}(1/\tau_{0}) employed in previous analyses Hannestad:2005ex ; Basboll:2008fx ; Archidiacono:2013dua ; Escudero:2019gfk , which is based upon a heuristic but (as we shall show) incorrect random walk argument.

While representing a considerable step forward, the result of Ref. Barenboim:2020vrr is nonetheless incomplete in that the mass difference between the parent neutrino νH\nu_{H} and daughter neutrino νl\nu_{l} must respect the neutrino mass spectra allowed by neutrino oscillations experiments. Global three-flavour analyses of oscillation data currently find the squared mass differences to be deSalas:2020pgw ; Esteban:2020cvm ; Capozzi:2017ipn

Δm212\displaystyle\Delta m^{2}_{21} =\displaystyle= 7.500.20+0.22×105eV2,\displaystyle 7.50^{+0.22}_{-0.20}\times 10^{-5}~{}{\rm eV}^{2}, (1)
|Δm312|N\displaystyle|\Delta m^{2}_{31}|_{\rm N} =\displaystyle= 2.550.03+0.02×103eV2,\displaystyle 2.55^{+0.02}_{-0.03}\times 10^{-3}~{}{\rm eV}^{2}, (2)
|Δm312|I\displaystyle|\Delta m^{2}_{31}|_{\rm I} =\displaystyle= 2.450.03+0.02×103eV2,\displaystyle 2.45^{+0.02}_{-0.03}\times 10^{-3}~{}{\rm eV}^{2}, (3)

where |Δm312|N|\Delta m^{2}_{31}|_{\rm N} applies to a normal mass ordering (NO; m3>m2>m1m_{3}>m_{2}>m_{1}), and |Δm312|I|\Delta m^{2}_{31}|_{\rm I} to an inverted mass ordering (IO; m2>m1>m3m_{2}>m_{1}>m_{3}). Relative to the benchmark parent neutrino mass of 0.20.2 eV, these squared mass differences are clearly small enough that the assumption of a massless daughter neutrino may become untenable and consequently alter the relationship between the transport rate ΓT\Gamma_{\rm T} and the rest-frame decay rate τ0\tau_{0} away from ΓT(mν/Eν)5(1/τ0)\Gamma_{\rm T}\sim(m_{\nu}/E_{\nu})^{5}(1/\tau_{0}).

In this work, we improve upon the original calculation of Ref. Barenboim:2020vrr to explicitly allow for a massive daughter neutrino νl\nu_{l}. We furthermore extend the computation of the anisotropic stress (i.e., multipole =2\ell=2) damping rate to >2\ell>2 multipole moments—for compatibility with the neutrino Boltzmann hierarchy Ma:1995ey solved in the CMB code class Blas:2011rf —and put the generalisation of the calculation to other interaction structures (besides Yukawa) on firmer grounds. We find that, in the presence of a massive νl\nu_{l}, a consistent transport rate ΓT\Gamma_{\rm T} is suppressed by an extra phase space factor proportional to (Δmν2/mν2)2(\Delta m_{\nu}^{2}/m_{\nu}^{2})^{2} in the limit of a small squared mass difference between the parent and daughter neutrinos, i.e., ΓT(Δmν2/mν2)2(mν/Eν)5(1/τ0)\Gamma_{\rm T}\sim(\Delta m_{\nu}^{2}/m_{\nu}^{2})^{2}(m_{\nu}/E_{\nu})^{5}(1/\tau_{0}), and this factor is in addition to the phase space suppression (Δmν2/mν2\sim\Delta m_{\nu}^{2}/m_{\nu}^{2}) already inherent in the lifetime τ0\tau_{0}.

Using a general version of this result valid for all Δmν2\Delta m_{\nu}^{2}, we fit the Planck 2018 CMB data to derive a new set of cosmological constraints on the neutrino lifetime as functions of the lightest neutrino mass (i.e., m1m_{1} in NO and m3m_{3} in IO) that are consistent with mass difference measurements. Readers interested in a quick number can jump directly to Fig. 3 where the new constraints on τ0\tau_{0} are presented. Here, we note that for a parent neutrino of mν0.1m_{\nu}\lesssim 0.1 eV, the new phase space suppression factor weakens the CMB constraint on its lifetime by as much as a factor of 50 if Δmν2\Delta m_{\nu}^{2} corresponds to the atmospheric mass gap and by five orders of magnitude if the solar mass gap, compared with naïve limits that do not account for the daughter neutrino mass.

The paper is organised as follows. We begin with a description of the physical system in Sect. 2. We then introduce the basic equations of motion for the individual νH\nu_{H}, νl\nu_{l} and ϕ\phi component in Sect. 3, before condensing them into a single set of effective equations of motion for the combined neutrino+ϕ\phi system in Sect. 4. Using standard statistical inference techniques presented in Sect. 5, we derive in Sect. 6 new CMB constraints on the neutrino lifetime that are consistent with the experimentally determined neutrino mass splittings. We conclude in Sect. 7. Four appendices contain respectively full expressions of the collision integrals (A), computational details of the 2\ell\geq 2 effective damping rates (B), a revised random walk picture explaining the (mν/Eν)5\propto(m_{\nu}/E_{\nu})^{5} dependence of the transport rate and why the old (mν/Eν)3\propto(m_{\nu}/E_{\nu})^{3} rate is incorrect (C), and summary statistics of our parameter estimation analyses (D).

2 The physical system

We consider the two-body decay of a parent neutrino νH\nu_{H} into a massive daughter neutrino νl\nu_{l} and a massless particle ϕ\phi, whose transition probability is described by a Lorentz-invariant squared matrix element ||2|{\cal M}|^{2}. Previously in Ref. Barenboim:2020vrr we had assumed ϕ\phi to be a scalar and the decay described by a Yukawa interaction, motivated by Majoron models Gelmini:1980re ; Chikashige:1980ui ; Schechter:1981cv in which a new Goldstone boson of a spontaneously broken global U(1)BLU(1)_{B-L} symmetry couples to neutrinos. Another possibility arises within gauged LiLjL_{i}-L_{j} models, where a new vector boson plays the role of the massless state Dror:2020fbh ; Ekhterachian:2021rkx ; Chen:2021qaf ; Alonso-Alvarez:2021pgy . Models of neutrinos decaying on cosmological timescales can be found in Refs. Gelmini:1983ea ; Joshipura:1992vn ; Akhmedov:1995wd ; Escudero:2020ped . Here, in order to keep our analysis as general as possible, apart from the quantum statistical requirement that ϕ\phi must be boson, we shall leave its nature and the nature of the interaction unspecified.

Because cosmological observables do not measure neutrino spins, it is not possible to define a reference direction in the decaying neutrino’s rest-frame. Thus, for an ensemble of neutrinos with randomly aligned spins, we can effectively consider the decay to be isotropic in the decaying neutrino’s rest-frame, with a decay rate Γdec01/τ0\Gamma_{\rm dec}^{0}\equiv 1/\tau_{0} related to the squared matrix element via

Γdec0=Δ(mνH,mνl,mϕ)16πmνH3||2,\Gamma^{0}_{\rm dec}=\frac{\Delta(m_{\nu H},m_{\nu l},m_{\phi})}{16\pi m_{\nu H}^{3}}|{\cal M}|^{2}, (4)

where

Δ(x,y,z)[x2(y+z)2][x2(yz)2]\Delta(x,y,z)\equiv\sqrt{\left[x^{2}-\left(y+z\right)^{2}\right]\left[x^{2}-\left(y-z\right)^{2}\right]}\\ (5)

is the Källén function, and it is understood that ||2|{\cal M}|^{2} needs to be evaluated at particle energies and momenta consistent with conservation laws.

In the cosmological context, the decay process can be expected to come into effect around scale factors aadeca\sim a_{\rm dec}, where adeca_{\rm dec} is defined via Γdec(adec)=H(adec)\Gamma_{\rm dec}(a_{\rm dec})=H(a_{\rm dec}), with Γdec=mνH/EνHΓdec0\Gamma_{\rm dec}=\left\langle m_{\nu H}/E_{\nu H}\right\rangle\Gamma_{\rm dec}^{0} the ensemble-averaged Lorentz-boosted decay rate. We are interested in the decay of νH\nu_{H} occurring (i) up to the time of recombination but substantially after neutrino decoupling, i.e., 1010adec10310^{-10}\ll a_{\rm dec}\lesssim 10^{-3}, and (ii) while the bulk of the νH\nu_{H} ensemble is ultra-relativistic. Two observations are in order:

  1. 1.

    The ultra-relativistic requirement guarantees that the inverse decay process νl+ϕνH\nu_{l}+\phi\to\nu_{H} is kinematically allowed and kicks in on roughly the same time scale as νH\nu_{H} decay, enabling νH\nu_{H}, νl\nu_{l}, and ϕ\phi to form a coupled system whose combined anisotropic stress can be suppressed through collisional damping. The same requirement also effectively limits the parent neutrino mass to the ballpark mνH3Tν(arec)3×(4/11)1/3Tγ(arec)0.2m_{\nu H}\lesssim 3T_{\nu}(a_{\rm rec})\sim 3\times(4/11)^{1/3}T_{\gamma}(a_{\rm rec})\ \sim 0.2 eV, if the phenomenology of anisotropic stress loss is to remain unambiguously applicable up to the recombination era when the temperature of the photon bath drops to Tγ(arec)0.1T_{\gamma}(a_{\rm rec})\sim 0.1 eV.

  2. 2.

    Since decay and inverse decay occur by construction only after neutrino decoupling, our scenario does not generate an excess of radiation. Rather, the (νH,νl,ϕ)(\nu_{H},\nu_{l},\phi)-system merely shares the energy that was in the original νH\nu_{H} and νl\nu_{l} populations. Consequently, in the time frame of interest cosmology is unaffected at the background level, and the phenomenology of the (νH,νl,ϕ)(\nu_{H},\nu_{l},\phi)-system vis-à-vis the CMB primary anisotropies is at leading order limited to anisotropic stress loss.

These observations tell us that, as far as the CMB primary anisotropies are concerned, the (νH,νl,ϕ)(\nu_{H},\nu_{l},\phi)-system can be modelled at leading order as a single massless fluid whose energy density is equivalent to that of the original νH\nu_{H} and νl\nu_{l} populations at a<adeca<a_{\rm dec}. What remains to be specified is the rate at which the fluid’s anisotropic stress and higher-order multipole moments are lost via decay and inverse decay; this is the subject of Sects. 3 and 4.

3 Basic equations of motion

A complete set of evolution equations for the individual νH\nu_{H}, νl\nu_{l}, and ϕ\phi phase space density under the influence of gravity and decay/inverse decay has been presented in Ref. Barenboim:2020vrr . We briefly describe the relevant ones below.

We work in the synchronous gauge defined by the invariant ds2=a2(τ)[dτ2+(δij+hij)dxidxj]{\rm d}s^{2}=a^{2}(\tau)\left[-{\rm d}\tau^{2}+(\delta_{ij}+h_{ij}){\rm d}x^{i}{\rm d}x^{j}\right], and split the Fourier-transformed phase space density of species ii into a homogeneous and isotropic component and a perturbed part, i.e., fi(𝐤,𝐪,τ)=f¯i(|𝐪|,τ)+Fi(𝐤,𝐪,τ)f_{i}(\mathbf{k},\mathbf{q},\tau)=\bar{f}_{i}(|\mathbf{q}|,\tau)+F_{i}(\mathbf{k},\mathbf{q},\tau), where τ\tau is conformal time, 𝐪|𝐪|q^\mathbf{q}\equiv|\mathbf{q}|\hat{q} the comoving 3-momentum, and 𝐤|𝐤|k^\mathbf{k}\equiv|\mathbf{k}|\hat{k} is the Fourier wave vector conjugate to the comoving spatial coordinates 𝐱\mathbf{x} of the line element.

Because for the scenario at hand the (νH,νl,ϕ)(\nu_{H},\nu_{l},\phi)-system behaves at leading order essentially as a single massless fluid whose energy density remains constant in the time frame of interest, the evolution of the individual homogeneous phase space density f¯i(|𝐪|,τ)\bar{f}_{i}(|\mathbf{q}|,\tau) is not a main concern. In fact, in Sect. 4 we shall approximate all f¯i\bar{f}_{i}’s with equilibrium distributions in order to derive closed-form expressions for the effective damping rates.

Of greater interest to us is the perturbed component Fi(𝐤,𝐪,τ)F_{i}(\mathbf{k},\mathbf{q},\tau). Following standard practice Ma:1995ey , we decompose FiF_{i} in terms of a Legendre series,

Fi(|𝐤|,|𝐪|,x)\displaystyle F_{i}(|\mathbf{k}|,|\mathbf{q}|,x) =0(i)(2+1)Fi,(|𝐤|,|𝐪|)P(x),\displaystyle\equiv\sum_{\ell=0}^{\infty}(-{\rm i})^{\ell}(2\ell+\!1)F_{i,\ell}(|\mathbf{k}|,|\mathbf{q}|)P_{\ell}(x), (6)
Fi,(|𝐤|,|𝐪|)\displaystyle F_{i,\ell}(|\mathbf{k}|,|\mathbf{q}|) i211dxFi(|𝐤|,|𝐪|,x)P(x),\displaystyle\equiv\frac{{\rm i}^{\ell}}{2}\int_{-1}^{1}\mathrm{d}x\,F_{i}(|\mathbf{k}|,|\mathbf{q}|,x)P_{\ell}(x),

where xk^q^x\equiv\hat{k}\cdot\hat{q}, and P(x)P_{\ell}(x) is a Legendre polynomial of degree \ell. Then, the equations of motion for the Legendre moments Fi,{F}_{i,\ell} can be written as

F˙i,0\displaystyle\dot{F}_{i,0} =|𝐪||𝐤|ϵiFi,1+16f¯iln|𝐪|h˙+(dfidτ)C,0(1),\displaystyle=-\frac{|\mathbf{q}||\mathbf{k}|}{\epsilon_{i}}F_{i,1}+\frac{1}{6}\frac{\partial\bar{f}_{i}}{\partial\ln|\mathbf{q}|}\dot{h}+\left(\frac{{\rm d}f_{i}}{{\rm d}\tau}\right)_{C,0}^{(1)}, (7)
F˙i,1\displaystyle\dot{F}_{i,1} =|𝐪||𝐤|ϵi(23Fi,2+13Fi,0)+(dfidτ)C,1(1),\displaystyle=\frac{|\mathbf{q}||\mathbf{k}|}{\epsilon_{i}}\left(-\frac{2}{3}F_{i,2}+\frac{1}{3}F_{i,0}\right)+\left(\frac{{\rm d}f_{i}}{{\rm d}\tau}\right)_{C,1}^{(1)},
F˙i,2\displaystyle\dot{F}_{i,2} =|𝐪||𝐤|ϵi(35Fi,3+25Fi,1)\displaystyle=\frac{|\mathbf{q}||\mathbf{k}|}{\epsilon_{i}}\left(-\frac{3}{5}F_{i,3}+\frac{2}{5}F_{i,1}\right)
f¯iln|𝐪|(25η˙+115h˙)+(dfidτ)C,2(1),\displaystyle\qquad-\frac{\partial\bar{f}_{i}}{\partial\ln|\mathbf{q}|}\left(\frac{2}{5}\dot{\eta}+\frac{1}{15}\dot{h}\right)+\left(\frac{{\rm d}f_{i}}{{\rm d}\tau}\right)_{C,2}^{(1)},
F˙i,>2\displaystyle\dot{F}_{i,\ell>2} =|𝐤|2+1|𝐪|ϵi[Fi,1(+1)Fi,+1]\displaystyle=\,\frac{|\mathbf{k}|}{2\ell+1}\frac{|\mathbf{q}|}{\epsilon_{i}}\left[\ell F_{i,\ell-1}-(\ell+1)F_{i,\ell+1}\right]
+(dfidτ)C,(1).\displaystyle\qquad\qquad+\left(\frac{{\rm d}f_{i}}{{\rm d}\tau}\right)_{C,\ell}^{(1)}.

Here, /τ\cdot\equiv\partial/\partial\tau, ϵi(|𝐪|)(|𝐪|2+a2mi2)1/2\epsilon_{i}(|\mathbf{q}|)\equiv(|\mathbf{q}|^{2}+a^{2}m_{i}^{2})^{1/2} is the comoving energy of the particle species ii of mass mim_{i}, hδijhij(𝐤,τ)h\equiv\delta^{ij}h_{ij}(\mathbf{k},\tau) and η=η(𝐤,τ)kikjhij/(4k2)+h/12\eta=\eta(\mathbf{k},\tau)\equiv-k^{i}k^{j}h_{ij}/(4k^{2})+h/12 are the trace and traceless components of hijh_{ij} in Fourier space respectively, and (dfi/dτ)C,(1)\left({\rm d}f_{i}/{\rm d}\tau\right)_{C,\ell}^{(1)} represents the \ellth Legendre moment of the linear-order Boltzmann collision integral.

The linear-order decay/inverse decay collision integrals have been derived in Ref. Barenboim:2020vrr assuming a Yukawa interaction. However, following the arguments of Sect. 2 and using the fact that the squared matrix element is Lorentz-invariant, it is straightforward to generalise the integrals of Ref. Barenboim:2020vrr to any interaction structure. The same argument also allows us to recast the collision integrals in favour of the rest-frame decay rate Γdec0\Gamma_{\rm dec}^{0} as a fundamental parameter (over the squared matrix element ||2|{\cal M}|^{2}). The interested reader can find the full expressions in Eqs. (38)–(40) in A.

The equations of motion (7) together with the collision integrals (38)–(40) can be programmed directly into and solved by a CMB code such as class Blas:2011rf . In practice, however, numerical solutions particularly in the ultra-relativistic limit can be highly non-trivial, because of the vastly different time scales at play: the basic decay time scale 1/Γdec1/\Gamma_{\rm dec} and the emergent transport time scale 1/ΓT(Eν/mν)4(1/Γdec)1/\Gamma_{\rm T}\sim(E_{\nu}/m_{\nu})^{4}(1/\Gamma_{\rm dec}). In Sect. 4 we show how these equations of motion can be condensed in the ultra-relativistic limit into a single set of equations for the combined (νH,νl,ϕ)(\nu_{H},\nu_{l},\phi)-system under certain reasonable simplifying assumptions.

4 Effective equations of motion for the neutrino+ϕ\phi system

We are interested in the evolution of perturbations in the combined (νH,νl,ϕ)(\nu_{H},\nu_{l},\phi)-system in the ultra-relativistic limit. To this end we define the integrated Legendre moment,

(|𝐤|)\displaystyle{\cal F}_{\ell}(|\mathbf{k}|)\equiv (2π2a4)1ρ¯νϕi=νH,νl,ϕgi\displaystyle\frac{(2\pi^{2}a^{4})^{-1}}{\bar{\rho}_{\nu\phi}}\sum_{i=\nu_{H},\nu_{l},\phi}g_{i} (8)
×d|𝐪||𝐪|2ϵi(|𝐪|ϵi)Fi,(|𝐪|),\displaystyle\quad\quad\times\int{\rm d}|\mathbf{q}|\;|\mathbf{q}|^{2}\epsilon_{i}\left(\frac{|\mathbf{q}|}{\epsilon_{i}}\right)^{\ell}F_{i,\ell}(|\mathbf{q}|),

where gig_{i} is the internal degree of freedom of the iith particle species, and ρ¯νϕ\bar{\rho}_{\nu\phi} represents the total background energy density of the (νH,νl,ϕ)(\nu_{H},\nu_{l},\phi)-system which we take to be ultra-relativistic, i.e., ρ¯νϕa4\bar{\rho}_{\nu\phi}\propto a^{-4}, and equal to the energy density in the pre-decay νH\nu_{H} and νl\nu_{l} populations.

Summing and integrating the equations of motion, Eq. (7), as per the definition (8) and taking the ultra-relativistic limit everywhere except the collision terms, we obtain

˙0\displaystyle\dot{\cal F}_{0} =|𝐤|123h˙,\displaystyle=-|\mathbf{k}|{\cal F}_{1}-\frac{2}{3}\dot{h}, (9)
˙1\displaystyle\dot{\cal F}_{1} =|𝐤|3(022),\displaystyle=\frac{|\mathbf{k}|}{3}\left({\cal F}_{0}-2{\cal F}_{2}\right),
˙2\displaystyle\dot{\cal F}_{2} =|𝐤|5(2133)+415h˙+85η˙+(ddτ)C,2,\displaystyle=\frac{|\mathbf{k}|}{5}\left(2{\cal F}_{1}-3{\cal F}_{3}\right)+\frac{4}{15}\dot{h}+\frac{8}{5}\dot{\eta}+\left(\frac{{\rm d}{\cal F}}{{\rm d}\tau}\right)_{C,2},
˙>2\displaystyle\dot{\cal F}_{\ell>2} =|𝐤|2+1[1(+1)+1]+(ddτ)C,,\displaystyle=\,\frac{|\mathbf{k}|}{2\ell+1}\left[\ell{\cal F}_{\ell-1}-(\ell+1){\cal F}_{\ell+1}\right]+\left(\frac{{\rm d}{\cal F}}{{\rm d}\tau}\right)_{C,\ell},

where

(ddτ)C,\displaystyle\left(\frac{\mathrm{d}{\cal F}}{\mathrm{d}\tau}\right)_{C,\ell} (2π2a4)1ρ¯νϕi=νH,νl,ϕgi\displaystyle\equiv\,\frac{(2\pi^{2}a^{4})^{-1}}{\bar{\rho}_{\nu\phi}}\sum_{i=\nu_{H},\nu_{l},\phi}g_{i} (10)
×d|𝐪||𝐪|2ϵi(|𝐪|ϵi)(dfidτ)C,(1)(|𝐪|)\displaystyle\times\int{\rm d}|\mathbf{q}|\;|\mathbf{q}|^{2}\epsilon_{i}\left(\frac{|\mathbf{q}|}{\epsilon_{i}}\right)^{\ell}\left(\frac{\mathrm{d}f_{i}}{\mathrm{d}\tau}\right)_{C,\ell}^{(1)}(|\mathbf{q}|)

are the effective collision integrals constructed from the individual collision integrals (38)–(40). Note that the effective collision integrals for =0,1\ell=0,1 integrated moments must vanish exactly because of energy and momentum conservation in the (νH,νl,ϕ)(\nu_{H},\nu_{l},\phi)-system.

4.1 Effective collision integrals

Equations (9) and (10) are not yet in a closed form. To put them into a closed form, several simplifying approximations to the effective collision integrals are in order Barenboim:2020vrr :

  1. 1.

    We assume equilibrium Maxwell-Boltzmann statistics, meaning that the background phase space density of each particle species can be described at any instant by f¯i(|𝐪|)=e(ϵiμi)/T0\bar{f}_{i}(|\mathbf{q}|)=e^{-(\epsilon_{i}-\mu_{i})/T_{0}}, with a common comoving temperature T0T_{0} and chemical potentials satisfying μνH=μνl+μϕ\mu_{\nu H}=\mu_{\nu l}+\mu_{\phi}. Physically, this means we take the background equilibration rate Γdec\Gamma_{\rm dec} to be much larger than the loss rates of the anisotropic stress and higher-order anisotropies we are interested to compute. As demonstrated in Ref. Barenboim:2020vrr , relativistic νH\nu_{H} decay and inverse decay attain a steady-state/quasi-equilibrium regime in which the above equilibrium conditions are reasonably well satisfied.

  2. 2.

    We take the individual species’ Legendre moments Fi,(|𝐤|,|𝐪|)F_{i,\ell}(|\mathbf{k}|,|\mathbf{q}|) to be separable functions of |𝐤||\mathbf{k}| and |𝐪||\mathbf{q}|, given by Oldengott:2017fhy

    Fi,(|𝐤|,|𝐪|)14df¯idln|𝐪|i,(|𝐤|),F_{i,\ell}(|\mathbf{k}|,|\mathbf{q}|)\simeq-\frac{1}{4}\frac{{\rm d}\bar{f}_{i}}{{\rm d}\ln|\mathbf{q}|}\,{\cal F}_{i,\ell}(|\mathbf{k}|), (11)

    where i,{\cal F}_{i,\ell} is the analogue of the integrated Legendre moment {\cal F}_{\ell} of Eq. (8) but for the iith species alone. In the absence of collisions, this so-called separable ansatz (11) is exact in the ultra-relativistic limit and reflects the fact that, for massless particles, gravity is achromatic and all |𝐪||\mathbf{q}|-modes evolve in the same way. For collisional systems near equilibrium, i.e., where the momentum-dependence of the background phase space densities is largely constant in time, the ansatz also appears to capture the evolution of i,2(|𝐤|){\cal F}_{i,\ell\leq 2}(|\mathbf{k}|) well in the ultra-relativistic limit, across a range of |𝐤||\mathbf{k}|-modes and redshifts Oldengott:2017fhy .

  3. 3.

    In standard cosmology, all 2\ell\geq 2 anisotropies are induced by gravity after a Fourier 𝐤\mathbf{k}-mode enters the horizon. Gravity induces the same perturbation contrast i,{\cal F}_{i,\ell} in all particle species at the same point in space, which immediately leads us to our third approximation

    νH,(|𝐤|)νl,(|𝐤|)ϕ,(|𝐤|)(|𝐤|),{\cal F}_{\nu H,\ell}(|\mathbf{k}|)\simeq{\cal F}_{\nu l,\ell}(|\mathbf{k}|)\simeq{\cal F}_{\phi,\ell}(|\mathbf{k}|)\simeq{\cal F}_{\ell}(|\mathbf{k}|), (12)

    where (|𝐤|){\cal F}_{\ell}(|\mathbf{k}|) is identically the \ellth integrated Legendre moment of Eq. (8).

Note that by making these reasonable assumptions, we have essentially recast the problem of establishing the effective transport rate into a relaxation time calculation in terms of the system’s linear response to a small external perturbation.

Under the above approximations and assuming further that mϕ=0m_{\phi}=0, explicit evaluation of the effective collision integral (10) yields

(ddτ)C,=\displaystyle\left(\frac{{\rm d}{\cal F}}{{\rm d}\tau}\right)_{C,\ell}= αaΓ~dec(amνHT0)4\displaystyle-\alpha_{\ell}\,a\,\tilde{\Gamma}_{\rm dec}\left(\frac{am_{\nu H}}{T_{0}}\right)^{4} (13)
×(amνHT0)Φ(mνlmνH).\displaystyle\quad\quad\times\mathscr{F}\left(\frac{am_{\nu H}}{T_{0}}\right)\,\Phi\left(\frac{m_{\nu l}}{m_{\nu H}}\right)\,{\cal F}_{\ell}.

See B for details of the derivation. Here, the rate Γ~dec\tilde{\Gamma}_{\rm{dec}} is approximately the boosted decay rate and is defined as in Ref. Barenboim:2020vrr via

Γ~dec\displaystyle\tilde{\Gamma}_{\rm dec}\equiv (4π2a4)1ρ¯νϕamνHT03gνHeμνH/T0Γdec0\displaystyle\frac{(4\pi^{2}a^{4})^{-1}}{\bar{\rho}_{\nu\phi}}\,am_{\nu H}T_{0}^{3}\,g_{\nu H}\,e^{\,\mu_{\nu H}/T_{0}}\,\Gamma^{0}_{\rm dec} (14)
=\displaystyle= 112(a4ρ¯νH)(a4ρ¯νϕ)amνHT0Γdec0,\displaystyle\frac{1}{12}\,\frac{(a^{4}\bar{\rho}_{\nu H})}{(a^{4}\bar{\rho}_{\nu\phi})}\,\frac{am_{\nu H}}{T_{0}}\,\Gamma^{0}_{\rm dec}\,,

where ρ¯νH(3gνHT04/a4π2)eμνH/T0\bar{\rho}_{\nu H}\equiv(3g_{\nu H}T_{0}^{4}/a^{4}\pi^{2})\,e^{\,\mu_{\nu H}/T_{0}} is the homogeneous, background energy density of νH\nu_{H} in the ultra-relativistic limit.

The dimensionless function (x)\mathscr{F}(x) in Eq. (13) is a decreasing function of xx given by

(x)=12ex[1+xex(x22)Γ(0,x)],\mathscr{F}(x)=\frac{1}{2}e^{-x}\Big{[}-1+x-e^{x}(x^{2}-2)\Gamma(0,x)\Big{]}, (15)

where Γ(0,x)\Gamma(0,x) denotes the incomplete gamma function. For x10100.1x\sim 10^{-10}\to 0.1, (x)\mathscr{F}(x) evaluates to 201\sim 20\to 1. Beyond x1x\sim 1, (x)\mathscr{F}(x) quickly drops to zero, reflecting the fact that after νH\nu_{H} becomes non-relativistic, inverse decay must also shut down so that the combined neutrino+ϕ\phi fluid reverts to a free-streaming system. In order to bypass the incomplete gamma function in our numerical solution, we find it convenient to use the small-xx expansion

sm(x)\displaystyle\mathscr{F}_{\rm sm}(x) 12+2xx2x39+x496x5900\displaystyle\simeq-\frac{1}{2}+2x-x^{2}-\frac{x^{3}}{9}+\frac{x^{4}}{96}-\frac{x^{5}}{900} (16)
+x68640+(γ+logx)(x221)+𝒪(x7),\displaystyle+\frac{x^{6}}{8640}+\left(\gamma+\log x\right)\left(\frac{x^{2}}{2}-1\right)+{\cal O}(x^{7}),

where γ0.57721\gamma\simeq 0.57721 is Euler-Mascheroni constant. The expansion is accurate to <7<7% for x2x\leq 2. For x>2x>2, we switch to the function lg(x)2.4ex/x1.5\mathscr{F}_{\rm lg}(x)\simeq 2.4\,e^{-x}/x^{1.5}, which approximates Eq. (15) to <10<10% at 2<x<172<x<17.

Relative to the result of Ref. Barenboim:2020vrr , the collision integral (13) also contains two new elements. Firstly, the phase space factor,

Φ(y)=11y2(1y4+4y2lny),\Phi(y)=\frac{1}{1-y^{2}}\left(1-y^{4}+4\,y^{2}\ln y\right), (17)

allows for the possibility of a nonzero mνlm_{\nu l} and takes on values 101\to 0 in the region 0y<10\leq y<1 (or, equivalently, 0mνl<mνH0\leq m_{\nu l}<m_{\nu H}). In the limit of a small squared mass gap, i.e., Δmν2mνH2mνl2mνH2\Delta m_{\nu}^{2}\equiv m_{\nu H}^{2}-m_{\nu l}^{2}\ll m_{\nu H}^{2}, it reduces to Φ(mνl/mνH)(1/3)(Δmν2/mνH2)2\Phi(m_{\nu l}/m_{\nu H})\to(1/3)(\Delta m_{\nu}^{2}/m_{\nu H}^{2})^{2} and traces its origin to the fact that the momentum carried by each decay product in the rest frame of νH\nu_{H} is in fact Δmν2/(2mνH)\Delta m_{\nu}^{2}/(2m_{\nu H}), not mνH/2m_{\nu H}/2 as in the case of massless decay products. Secondly, the \ell-dependent coefficients α\alpha_{\ell} are given by the expression

α=132(34+23112+6)\alpha_{\ell}=\frac{1}{32}\left(3\ell^{4}+2\ell^{3}-11\ell^{2}+6\ell\right) (18)

for all 0\ell\geq 0. These coefficients increase with \ell, reflecting the fact that, for a fixed decay opening angle, the decay and inverse decay processes become more efficient at wiping out anisotropies on progressively smaller angular scales.

Lastly, we highlight again that the effective collision rate in Eq. (13) has in total five powers of amνH/T0am_{\nu H}/T_{0}, one of which is the Lorentz boost appearing in the boosted decay rate (14). This result is in drastic contrast with the much larger (amνH/T0)3\propto(am_{\nu H}/T_{0})^{3} rate used in previous works Hannestad:2005ex ; Basboll:2008fx ; Archidiacono:2013dua ; Escudero:2019gfk , which we stress is not an ab initio result, but rather one based upon a heuristic random walk argument. C shows that this heuristic argument is in fact incomplete, and that a consistent random walk picture accounting for all same-order effects must yield the much smaller (amνH/T0)5\propto(am_{\nu H}/T_{0})^{5} rate derived from first principles in this work.

4.2 Three-state to two-state approximation

The decay scenario presented thus far concerns only two of the three Standard-Model neutrino mass states. Without model-specific motivations to exclude one particular mass state from the decay interaction, one might generally expect all three mass states to couple similarly at the Lagrangian level and participate in the decay/inverse decay process as parent particles and/or decay products. Then, kinematics largely determine the decay rates, and we can deduce from the measured neutrino squared mass differences that the rest-frame decay rates Γij0\Gamma^{0}_{i\to j} for the processes νiνj+ϕ\nu_{i}\to\nu_{j}+\phi follow the patterns

Γ310Γ320Γ210\Gamma_{3\to 1}^{0}\simeq\Gamma^{0}_{3\to 2}\gg\Gamma^{0}_{2\to 1} (19)

assuming a normal mass ordering, and

Γ230Γ130Γ210\Gamma_{2\to 3}^{0}\simeq\Gamma^{0}_{1\to 3}\gg\Gamma^{0}_{2\to 1} (20)

assuming an inverted mass ordering. All IO mass spectra and those NO mass spectra consistent with m10.03m_{1}\gtrsim 0.03 eV satisfy the condition (19) or (20) at better than 10%. For m10.03m_{1}\lesssim 0.03 eV in NO, the ratio Γ210/Γ320\Gamma^{0}_{2\to 1}/\Gamma^{0}_{3\to 2} rises to 0.25\sim 0.25 while Γ310/Γ320\Gamma^{0}_{3\to 1}/\Gamma^{0}_{3\to 2} approaches 0.850.85 Barenboim:2020vrr . Thus, Eq. (19) is still a reasonably well satisfied.

If the two larger (boosted) decay rates satisfy the equilibrium condition ΓijH\Gamma_{i\to j}\gtrsim H, then, irrespective of the mass ordering, we can expect the phenomenology of the three-flavour system to be similar to the two-flavour case discussed in Sect. 2, save for the understanding that it is now the ν1\nu_{1}, ν2\nu_{2}, ν3\nu_{3}, and ϕ\phi that form a single massless fluid system. It remains to determine the effective collision integral and hence the 2\ell\geq 2 anisotropy damping rates, which we approximate as follows.

Normal mass ordering

Here, we assume the two lightest mass states with masses m1m_{1} and m2m_{2} to be effectively degenerate and set Γ210=0\Gamma^{0}_{2\to 1}=0. Then, following the recipe laid down in Ref. Barenboim:2020vrr , the equations of motion can be condensed by multiplying by a factor of 2 (i) the νH\nu_{H} and ϕ\phi collision integrals (38) and (40), and (ii) all momentum-integrated quantities pertaining to νl\nu_{l}. This immediately leads to an effective collision integral

(ddτ)C,\displaystyle\left(\frac{\mathrm{d}{\cal F}}{\mathrm{d}\tau}\right)_{C,\ell} = 2(2π2a4)1ρ¯νϕi=νH,νl,ϕgi\displaystyle=\,2\,\frac{(2\pi^{2}a^{4})^{-1}}{\bar{\rho}_{\nu\phi}}\sum_{i=\nu_{H},\nu_{l},\phi}g_{i} (21)
×d|𝐪||𝐪|2ϵi(|𝐪|ϵi)(dfidτ)C,(1)(|𝐪|),\displaystyle\times\int{\rm d}|\mathbf{q}|\;|\mathbf{q}|^{2}\epsilon_{i}\left(\frac{|\mathbf{q}|}{\epsilon_{i}}\right)^{\ell}\,\left(\frac{\mathrm{d}f_{i}}{\mathrm{d}\tau}\right)_{C,\ell}^{(1)}(|\mathbf{q}|),

that differs from the original definition (10) and hence Eq. (13) by an overall factor of 2.

Inverted mass ordering

Here, we treat the two heaviest mass states as effectively degenerate and again set Γ210=0\Gamma^{0}_{2\to 1}=0. Then, multiplying by a factor of 2 (i) the νl\nu_{l} and ϕ\phi collision integrals (39) and (40), and (ii) all momentum-integrated quantities of νH\nu_{H}, it is straightforward to show the same overall factor of 2 appears again in front of the effective collision integral as in the normal mass ordering case in Eq. (LABEL:eq:NHdpidt).

4.3 Effective temperature and density ratio

We close this section with a brief discussion of the effective comoving temperature T0T_{0} and the νH\nu_{H} background energy density ρ¯νH\bar{\rho}_{\nu H} after equilibration, both of which appear in the effective collision integral (13).

The νH\nu_{H} background energy density appears in the energy density ratio (a4ρ¯νH)/(a4ρ¯νϕ)(a^{4}\bar{\rho}_{\nu H})/(a^{4}\bar{\rho}_{\nu\phi}), where we remind the reader that ρ¯νϕ\bar{\rho}_{\nu\phi} stands for the total energy density in the combined (νH,νl,ϕ)(\nu_{H},\nu_{l},\phi)-system and is, leaving aside dilution due to expansion, equal to the pre-decay energy density in νH\nu_{H} and νl\nu_{l} . This energy density ratio generally evolves with time, but at a rate much smaller than the Hubble expansion HH in the steady-state/quasi-equilibrium regime of our assumptions; Ref. Barenboim:2020vrr finds numerically a fairly constant

(a4ρ¯νH)(a4ρ¯νϕ)1312\frac{(a^{4}\bar{\rho}_{\nu H})}{(a^{4}\bar{\rho}_{\nu\phi})}\sim\frac{1}{3}\to\frac{1}{2} (22)

in the time frame of interest (i.e., where ΓdecH\Gamma_{\rm dec}\gg H and the ultra-relativistic approximation is well satisfied). In our analysis, we take this ratio to be 1/31/3.

The temperature T0T_{0} is the effective comoving temperature of the combined (νH,νl,ϕ)(\nu_{H},\nu_{l},\phi)-system, and should be lower than the pre-decay neutrino comoving temperature Tν,01.95K1.68×104T_{\nu,0}\simeq 1.95~{}{\rm K}\simeq 1.68\times 10^{-4} eV. To estimate T0T_{0}, we note that energy conservation imposes the relation apre4(ρ¯νH,pre+ρ¯νl,pre)=apost4(ρ¯νH,post+ρ¯νl,post+ρ¯ϕ)a_{\rm pre}^{4}\left(\bar{\rho}_{\nu H,{\rm pre}}+\bar{\rho}_{\nu l,{\rm pre}}\right)=a_{\rm post}^{4}\left(\bar{\rho}_{\nu H,{\rm post}}+\bar{\rho}_{\nu l,{\rm post}}+\bar{\rho}_{\phi}\right) between the pre-decay and post-decay energy densities. Assuming Maxwell-Boltzmann statistics (i.e., ρ¯=3T0n¯/a\bar{\rho}=3T_{0}\bar{n}/a), this leads to

T0Tν,0=apre3(n¯νH,pre+n¯νl,pre)apost3(n¯νH,post+n¯νl,post+n¯ϕ).\frac{T_{0}}{T_{\nu,0}}=\frac{a_{\rm pre}^{3}\left(\bar{n}_{\nu H,{\rm pre}}+\bar{n}_{\nu l,{\rm pre}}\right)}{a_{\rm post}^{3}\left(\bar{n}_{\nu H,{\rm post}}+\bar{n}_{\nu l,{\rm post}}+\bar{n}_{\phi}\right)}. (23)

The two-body decay also stipulates number conservation laws, namely, apre3n¯νH,pre=apost3(n¯νH,post+n¯ϕ)a_{\rm pre}^{3}\bar{n}_{\nu H,{\rm pre}}=a_{\rm post}^{3}\left(\bar{n}_{\nu H,{\rm post}}+\bar{n}_{\phi}\right) and apre3n¯νl,pre=apost3(n¯νl,postn¯ϕ)a_{\rm pre}^{3}\bar{n}_{\nu l,{\rm pre}}=a_{\rm post}^{3}\left(\bar{n}_{\nu l,{\rm post}}-\bar{n}_{\phi}\right), which, upon substitution into Eq. (23), yields

T0Tν,0\displaystyle\frac{T_{0}}{T_{\nu,0}} =1n¯ϕn¯νH,post+n¯νl,post+n¯ϕ\displaystyle=1-\frac{\bar{n}_{\phi}}{\bar{n}_{\nu H,{\rm post}}+\bar{n}_{\nu l,{\rm post}}+\bar{n}_{\phi}} (24)
1ρ¯ϕρ¯νϕ.\displaystyle\simeq 1-\frac{\bar{\rho}_{\phi}}{\bar{\rho}_{\nu\phi}}.

Numerically, Ref. Barenboim:2020vrr finds the energy density ratio to be at most ρ¯ϕ/ρ¯νϕ0.1\bar{\rho}_{\phi}/\bar{\rho}_{\nu\phi}\sim 0.1 in the steady-state regime of interest. Therefore, in this analysis, we take T0T_{0} to be the same as the pre-decay neutrino comoving temperature Tν,0T_{\nu,0}.

5 Statistical inference

Having derived the effective equations of motion in a way consistent with neutrino oscillation data, we wish now to put constraints on the neutrino rest-frame lifetime τ0\tau_{0} using cosmological data.

Before we describe our data analysis, observe that the effective collision integral (13) can be broken down in terms of its dependence on the scale factor aa into

(ddτ)C,=αa6Y(aX).\left(\frac{{\rm d}{\cal F}}{{\rm d}\tau}\right)_{C,\ell}=-\alpha_{\ell}\,a^{6}\,Y\,\mathscr{F}\left(aX\right){\cal F}_{\ell}. (25)

Here,

XmνHT0298(mνH0.05eV)(Tν,0T0)X\equiv\frac{m_{\nu H}}{T_{0}}\simeq 298\,\left(\frac{m_{\nu H}}{0.05~{}{\rm eV}}\right)\,\left(\frac{T_{\nu,0}}{T_{0}}\right) (26)

is an effective mass parameter, while

Y\displaystyle Y C12(a4ρ¯νH)(a4ρ¯νϕ)Φ(mνlmνH)(mνHT0)5Γdec0\displaystyle\equiv\,\frac{C}{12}\,\frac{(a^{4}\bar{\rho}_{\nu H})}{(a^{4}\bar{\rho}_{\nu\phi})}\,\Phi\left(\frac{m_{\nu l}}{m_{\nu H}}\right)\left(\frac{m_{\nu H}}{T_{0}}\right)^{5}\Gamma^{0}_{\rm dec} (27)
6.55C×1010((a4ρ¯νH)(a4ρ¯νϕ)/13)(Tν,0T0)5\displaystyle\simeq 6.55\,C\times 10^{10}\,\left(\frac{(a^{4}\bar{\rho}_{\nu H})}{(a^{4}\bar{\rho}_{\nu\phi})}\Big{/}\frac{1}{3}\right)\left(\frac{T_{\nu,0}}{T_{0}}\right)^{5}
×Φ(mνlmνH)(mνH0.05eV)5Γdec0\displaystyle\hskip 65.44133pt\times\Phi\left(\frac{m_{\nu l}}{m_{\nu H}}\right)\,\left(\frac{m_{\nu H}}{0.05~{}{\rm eV}}\right)^{5}\,\Gamma^{0}_{\rm dec}

is an effective transport rate, with C=1C=1 for the one parent/one daughter scenario (“one decay channel”), and C=2C=2 if we wish to use the three-state to two-state approximation to describe the case of two parents/one daughter or one parent/two daughters (“two decay channels”). Both XX and YY contain only quantities that are taken to be constant in time in our analysis (see Sect. 4.3), and together these two effective parameters determine completely the phenomenology of the effective collision integral (13).

5.1 Model parameter space

To derive credible limits on the rest-frame lifetime τ0\tau_{0}, we consider two one-variable extensions to the standard six-variable ΛCDM\Lambda\textrm{CDM} fit, scenarios A and B, whose parameter spaces are spanned respectively by

𝜽A={ωb,ωc,θs,τreio,ns,ln(1010As),Y},\displaystyle{\boldsymbol{\theta}}_{A}=\{\omega_{b},\omega_{c},\theta_{s},\tau_{\rm reio},n_{s},\ln(10^{10}A_{s}),Y\}, (28)
𝜽Afixed={Nfs=1,Nint=2.0440,X=Xscan},\displaystyle{\boldsymbol{\theta}_{A}}^{\rm fixed}=\{N_{\rm fs}=1,N_{\rm int}=2.0440,X=X_{\rm scan}\},

and

𝜽B={ωb,ωc,θs,τreio,ns,ln(1010As),Y},\displaystyle\boldsymbol{\theta}_{B}=\{\omega_{b},\omega_{c},\theta_{s},\tau_{\rm reio},n_{s},\ln(10^{10}A_{s}),Y\}, (29)
𝜽Bfixed={Nfs=0,Nint=3.0440,X=Xscan}.\displaystyle{\boldsymbol{\theta}_{B}}^{\rm fixed}=\{N_{\rm fs}=0,N_{\rm int}=3.0440,X=X_{\rm scan}\}.

In both scenarios, the variables are the physical baryon density parameter ωb\omega_{b}, the physical cold dark matter density parameter ωc\omega_{c}, the angular sound horizon θs\theta_{s}, the optical depth to reionisation τreio\tau_{\rm reio}, the spectral index of the primordial curvature power spectrum nsn_{s} and its amplitude AsA_{s} at the pivot scale kpiv=0.05Mpc1k_{\rm piv}=0.05~{}{\rm Mpc}^{-1}, and the effective transport rate YY. The scenarios differ in the choices of fixed parameters in the neutrino sector.

Scenario A

Here, the numbers of free-streaming and interacting neutrinos are always fixed at Nfs=1N_{\rm fs}=1 and Nint=2.0440N_{\rm int}=2.0440 respectively (such that NfsN_{\rm fs} and NintN_{\rm int} add up to the standard NeffSM=3.0440N_{\rm eff}^{\rm SM}=3.0440 Froustey:2020mcq ; Bennett:2020zkv ), while the effective mass parameter XX is fixed at a value XscanX_{\rm scan} to be discussed below. We model all neutrinos as massless states in class, in keeping with the limits of validity of our effective equations of motion (13). Planck 2018 CMB data alone currently constrain the neutrino mass sum to mν0.3\sum m_{\nu}\lesssim 0.3 eV (95%C.I.) in a Λ\LambdaCDM+mνm_{\nu} 7-variable fit Planck:2018vyg ; in combination with non-CMB data, the bound tightens to mν0.12\sum m_{\nu}\lesssim 0.12 eV (95%C.I.) Planck:2018vyg . Therefore, as long as we fit CMB data only and cap the parent neutrino mass at mνH0.1m_{\nu H}\simeq 0.1 eV in the interpretation of our fit outcomes, our modelling is internally consistent. Note that this is a lower cap than the limit mνH0.2m_{\nu H}\lesssim 0.2 eV established in Sect. 2, which, we remind the reader, stems from requiring that the neutrinos stay ultra-relativistic up to recombination.333We do not consider the case of one massive free-streaming and two massless interacting neutrinos, because given current sensitivities, any bound on the neutrino mass derived under these assumptions cannot have an internally consistent interpretation that is also compatible with the mass spectra established by oscillations experiments. To see this, suppose for instance the fit returns an upper limit of 0.30.3 eV on the mass of the free-streaming neutrino. Then, by oscillation measurements the other two (interacting) neutrinos must also have masses in the 0.30.3 eV ball park, which immediately conflicts with the mνH0.2m_{\nu H}\lesssim 0.2 eV limit of validity of our simplified modelling. Furthermore, adding up the three masses gives a neutrino mass sum of 0.90.9 eV—not the 0.30.3 eV indicated by the modelling and hence the fit—and this is unlikely to be compatible with CMB data. In other words, the 0.30.3 eV mass limit we started with in this example is actually meaningless.

The mass cap also sets an upper limit on the value of XscanX_{\rm scan} that can be unambiguously explored with our modelling. Specifically, for the choice of T0=Tν,0T_{0}=T_{\nu,0}, we are limited to the parameter range

Xscan[52,595],X_{\rm scan}\in[52,595], (30)

where the lower end corresponds to the smallest possible mass gap consistent with oscillation measurements, i.e., Δm212=0.0087\sqrt{\Delta m_{21}^{2}}=0.0087 eV, and the upper limit is the mass cap discussed immediately above. Then, with appropriate post-processing, scenario A can be interpreted to represent six physically distinct cases, summarised in Table 1.

FS Decay Gap Min mνH2m_{\nu H}^{2}

Scenario A: one decay channel

A1 NO ν1\nu_{1} ν3ν2\nu_{3}\to\nu_{2} Δm322|N\Delta m_{32}^{2}|_{\rm N} |Δm312|N|\Delta m_{31}^{2}|_{\rm N}
ν2\nu_{2} ν3ν1\nu_{3}\to\nu_{1} |Δm312|N|\Delta m_{31}^{2}|_{\rm N}
IO ν2\nu_{2} ν1ν3\nu_{1}\to\nu_{3} |Δm312|I|\Delta m_{31}^{2}|_{\rm I} |Δm312|I|\Delta m_{31}^{2}|_{\rm I}
ν1\nu_{1} ν2ν3\nu_{2}\to\nu_{3} Δm232|I\Delta m_{23}^{2}|_{\rm I} Δm232|I\Delta m_{23}^{2}|_{\rm I}
A2 NO ν3\nu_{3} ν2ν1\nu_{2}\to\nu_{1} Δm212\Delta m_{21}^{2} Δm212\Delta m_{21}^{2}
A3 IO ν3\nu_{3} ν2ν1\nu_{2}\to\nu_{1} Δm232|I\Delta m_{23}^{2}|_{\rm I}

Scenario B: two decay channels

B1 NO ν3ν2,ν1\nu_{3}\to\nu_{2},\nu_{1} |Δm312|N|\Delta m_{31}^{2}|_{\rm N} |Δm312|N|\Delta m_{31}^{2}|_{\rm N}
B2 IO ν1,ν2ν3\nu_{1},\nu_{2}\to\nu_{3} |Δm312|I|\Delta m_{31}^{2}|_{\rm I} |Δm312|I|\Delta m_{31}^{2}|_{\rm I}
Table 1: All decay and free-streaming (FS) scenarios considered in this work, and their corresponding mass ordering (NO or IO), decay mass gap, and minimum allowed parent neutrino mass mνHm_{\nu H}. We use the convention m3>m2>m1m_{3}>m_{2}>m_{1} for normal mass ordering and m2>m1>m3m_{2}>m_{1}>m_{3} for inverted mass ordering, and a common value Δm212=7.50×105\Delta m_{21}^{2}=7.50\times 10^{-5}. Note that numerically we do not distinguish between |Δm312|N|\Delta m_{31}^{2}|_{\rm N}, |Δm312|I|\Delta m_{31}^{2}|_{\rm I}, Δm322|N|Δm312|NΔm212\Delta m_{32}^{2}|_{\rm N}\equiv|\Delta m_{31}^{2}|_{\rm N}-\Delta m_{21}^{2}, and |Δm232|I|Δm312|I+Δm212|\Delta m_{23}^{2}|_{\rm I}\equiv|\Delta m_{31}^{2}|_{\rm I}+\Delta m_{21}^{2}: the difference between them is less than 5% deSalas:2020pgw ; Esteban:2020cvm ; Capozzi:2017ipn . This allows us to lump four physically distinct cases into one single scenario A1 and to use a single representative mass splitting |Δm312|=2.5×103eV2|\Delta m_{31}^{2}|=2.5\times 10^{-3}~{}{\rm eV}^{2}. The same is in principle also true for two physical cases of scenario B. Nonetheless, we distinguish between B1 and B2, because the former comprises two decay modes, while the latter has only one: this makes the definitions of the particle lifetime differ by a factor of two between the two cases.

Scenario B

This scenario has Nint=3.0440N_{\rm int}=3.0440 interacting neutrinos in the three-state to two-state approximation and no free-streaming neutrinos. It represents two physically distinct cases, as summarised in Table 1. Again, as with scenario A, to consistently interpret the fit outcomes requires that we limit the parent neutrino masses to mνH0.1m_{\nu H}\lesssim 0.1 eV. This in turn limits the range of effective mass XX to

Xscan[298,595]X_{\rm scan}\in[298,595] (31)

for the choice of T0=Tν,0T_{0}=T_{\nu,0}, where the lower bound corresponds to the mass gap |Δm312|=0.05\sqrt{|\Delta m_{31}^{2}|}=0.05 eV.

Refer to caption
Refer to caption
Figure 1: CMB TT power spectra of ultra-relativistic invisible neutrino decay scenarios relative to the Planck 2018 best-fit Λ\LambdaCDM cosmology. In each case, we vary only the effective mass parameter XX [Eq. (26)] and effective transport rate YY [Eq. (27)], while keeping all other cosmological parameters fixed at their best-fit Λ\LambdaCDM values. Top: Variations between scenarios A (solid line) and B (dashed line) for a range of YY values, with XX fixed at X=298X=298 or, equivalently, mνH=0.05m_{\nu H}=0.05 eV assuming T0=Tν,0T_{0}=T_{\nu,0}. Bottom: Variations in scenario B with respect to the decaying neutrino mass mνHm_{\nu H}, with T0=Tν,0T_{0}=T_{\nu,0} and at a fixed the effective transport rate Y=104Y=10^{4} s-1.

Figure 1 shows a selection of CMB TTTT power spectra computed using our implementation of the effective equations of motion (25) in class Blas:2011rf ,444Our modified version of class is available for download at https://github.com/gpierobon/Class_NuDecay. relative to the prediction for a reference Λ\LambdaCDM cosmology. For a fixed effective mass parameter X=298X=298 or, equivalently, mνH=0.05m_{\nu H}=0.05 eV assuming T0=Tν,0T_{0}=T_{\nu,0}, the top panel contrasts the signatures of ultra-relativistic neutrino decay for a range of effective transport rates YY in both scenarios A and B. Observe that for the same value of YY, the signature of decay in scenario A is approximately a factor of 2/32/3 times that of scenario B. This is consistent with expectation, as only two out of three neutrinos interact in the former scenario, while all three neutrinos participate in the interaction in the latter case. We can therefore expect constraints on YY to be stronger in scenario B than in scenario A.

The bottom panel of Fig. 1 shows variations in the decay signature with respect to the effective mass parameter XX, or mνHm_{\nu H} at a fixed T0T_{0}, for a fixed effective transport rate Y=104s1Y=10^{4}~{}{\rm s}^{-1} in scenario B. Here, we see that the signature is weaker for larger values of XX. This is because XX appears only in the prefactor (aX)\mathscr{F}(aX) in the effective equation of motion (25). Since (aX)\mathscr{F}(aX) is a decreasing function of its argument, for a fixed evolution history a(t)a(t), larger values of XX will generally lead to smaller prefactors and hence weaker signatures in the CMB anisotropies. This also means that we can expect constraints on YY to weaken with increasing XX.

5.2 Data and analysis

We compute the CMB temperature and polarisation anisotropies for a large sample of parameter values in the parameter spaces defined in Eqs. (LABEL:eq:fitparamsA) and (LABEL:eq:fitparamsB) using our modified version of class. We test these outputs against the Planck 2018 data Planck:2018vyg using

  1. 1.

    the TTTEEE likelihood at 30\ell\geq 30,

  2. 2.

    the Planck low-\ell temperature+polarisation likelihood, and

  3. 3.

    the Planck lensing likelihood,

a combination labelled “TTTEEE+lowE+lensing” in Ref. Planck:2018vyg . The parameter spaces of Eqs. (LABEL:eq:fitparamsA) and (LABEL:eq:fitparamsB) are sampled as Monte Carlo Markov Chains (MCMC) generated with the package MontePython-3 Brinckmann:2018cvx . We construct credible intervals using GetDist Lewis:2019xzd .

The prior probability densities employed in the analysis are always flat and linear in each parameter directions, with prior boundaries as follows:

  • For the variables ωb,ωc,θs,ns\omega_{b},\omega_{c},\theta_{s},n_{s}, and ln(1010As)\ln(10^{10}A_{s}), the priors are unbounded at both ends.

  • For the optical depth to reionisation, we impose τreio[0.01,)\tau_{\rm reio}\in[0.01,\infty).

  • For the effective transport rate, we use Y[0,)Y\in[0,\infty) in scenario A and Y[0,4000]Y\in[0,4000] in scenario B.

We generate in excess of 250,000250,000 samples in each case (and over a million samples in some cases). Convergence of the chains is defined by the Gelman-Rubin convergence criterion R1<0.015R-1<0.015.

6 Results and discussions

Refer to caption
Refer to caption
Figure 2: 1D marginalised posteriors for the effective transport rate YY [Eq. (27)] obtained from our MCMC analysis for a range of fixed effective mass values X=XscanX=X_{\rm scan} in scenarios A (top panel) and B (bottom panel), whose parameter spaces are defined in Eqs. (LABEL:eq:fitparamsA) and (LABEL:eq:fitparamsB) respectively. The data used are the TTTEEE+lowE+lensing combination from the Planck 2018 data release Planck:2018vyg

Figure 2 shows the 1D marginal posteriors for the effective transport rate YY for a range of fixed effective mass parameter values X=XscanX=X_{\rm scan} in both scenarios A (top panel) and B (bottom panel). The corresponding one-sided 95% credible limits on YY and the equivalent free-streaming redshift zfsz_{\rm fs} in each case are summarised in Table 2. This redshift is defined via the condition

ΓT(zfs)=H(zfs),\Gamma_{\rm T}(z_{\rm fs})=H(z_{\rm fs}), (32)

where we have identified the transport rate ΓT\Gamma_{\rm T} with the =2\ell=2 damping rate, i.e.,

ΓTa5Y(aX).\Gamma_{\rm T}\equiv a^{5}Y\mathscr{F}(aX). (33)

Physically, zfsz_{\rm fs} characterises the time at which the combined (νH,νl,ϕ)(\nu_{H},\nu_{l},\phi)-system switches from a free-streaming gas to a tightly-coupled fluid Basboll:2008fx .

XX YY (s-1) zfsz_{\rm fs}
Fixed mνHm_{\nu H} (eV) 95% C.L. 95% C.L.
A 5252 0.00870.0087 <18611.32<18611.32 <2457<2457
300300 0.050.05 <41490.24<41490.24 <2450<2450
595 0.1 <76221.34<76221.34 <2476<2476
B 298 0.05 <2286.08<2286.08 <1509<1509
595 0.1 <2287.58<2287.58 <1338<1338
Table 2: Marginalised one-sided 95% credible limits on the effective transport rate YY and the equivalent free-streaming redshift zfsz_{\rm fs} [Eq. (32)] for fixed values of the effective mass parameter XX (and their equivalent parent neutrino mass mνHm_{\nu H} assuming T0=Tν,0T_{0}=T_{\nu,0}) in scenarios A and B.

Firstly, we observe that within each scenario, the constraint on YY weakens with increasing XX and that for the same XX, the scenario B constraint is typically an order of magnitude tighter than its scenario A counterpart. Both trends are consistent with expectations (see Sect. 5.1). Likewise, the constraints on the free-streaming redshift zfsz_{\rm fs} are independent of the choice of XX within each scenario—to better than 1% in scenario A and about 10% in scenario B—as one would expect from the definition (32).

Having established these zfsz_{\rm fs} bounds also allows us to roughly map our bounds on YY in Table 2 to a simple expression

Y5.3×104/(X/2460)s1Y\lesssim 5.3\times 10^{4}/\mathscr{F}(X/2460)~{}{\rm s}^{-1} (34)

in scenario A, and

Y2×103/(X/1500)s1Y\lesssim 2\times 10^{3}/\mathscr{F}(X/1500)~{}{\rm s}^{-1} (35)

in scenario B. In the case of the latter, our new constraint zfs1500z_{\rm fs}\lesssim 1500 is clearly tighter than the previous limit zfs1965z_{\rm fs}\lesssim 1965 Archidiacono:2013dua . The difference is likely attributable to improved precision of the Planck 2018 CMB data over the 2013 data used in Ref. Archidiacono:2013dua , although of course the different time dependences of the transport rates assumed in the analyses—a3\propto a^{3} in Archidiacono:2013dua vs our a5(aX)\propto a^{5}\mathscr{F}(aX) in Eq. (33)—as well as the assumption of instantaneous recoupling in Ref. Archidiacono:2013dua could also have played a role.

Secondly, while we have quoted in Table 2 one-sided 95% credible limits on YY and zfsz_{\rm fs}, it is evident in Fig. 2 that in almost all cases the 1D posterior for YY peaks at a nonzero value. Indeed, Ref. Escudero:2019gfk also found a similar feature, despite using a transport rate with a a3\propto a^{3} time dependence [as opposed to our a5(aX)\propto a^{5}\mathscr{F}(aX) rate]. Reference Archidiacono:2013dua likewise found a shifted peak in their analysis of the Planck 2013 data for zfs>0z_{\rm fs}>0, notwithstanding the assumption of instantaneous recoupling.

However, in all cases the peak shift of either YY or zfsz_{\rm fs} from zero is statistically insignificant (i.e., <2σ<2\sigma) and appears to be driven by CMB polarisation data Escudero:2019gfk . We therefore dwell no further on the subject, except to note that the shifted YY peak is accompanied by a marginal increase in the inferred scalar spectral index nsn_{s}—a trend also observed in Ref. Escudero:2019gfk —and consequently the small-scale RMS fluctuation σ8\sigma_{8}, in comparison with their Y=0Y=0 counterparts derived from the same data combination. There are otherwise no strong degeneracies between YY and other base Λ\LambdaCDM parameters. The interested reader may consult D for more summary statistics of our parameter estimation analyses. Here, we conclude in view of the degeneracy directions that adding baryon acoustics oscillations measurements to the analysis is unlikely to improve the bound on YY, while a low-redshift small-scale σ8\sigma_{8} measurement could conceivably tighten the bound.555Note that we have had to apply a prior on the effective transport parameter YY in scenario B of Y[0,4000]Y\in[0,4000], as opposed to allowing YY to be unbounded, i.e., Y[0,)Y\in[0,\infty), as in scenario A. This is because, had we not applied the restrictive prior, the YY parameter in the case of X=298X=298 would have exhibited a strong but accidental degeneracy with the spectral index nsn_{s} in the high-YY tail. The tail region is extensive, with χ2\chi^{2} values hovering around Δχ220\Delta\chi^{2}\simeq 20 worse than the best-fit, but presents no meaningful second peak. Had we used low-redshift σ8\sigma_{8} measurements this tail would likely have been cut off naturally. This tail feature is not present in the X=595X=595 case. But we have nonetheless applied the same restrictive prior on YY here for consistency within scenario B. Without the prior the 1D marginalised 95% bound on YY in the X=595X=595 case would relax from Y2288Y\lesssim 2288 to Y2546Y\lesssim 2546.

6.1 Constraints on the neutrino lifetime

Refer to caption
Figure 3: Lower bounds on the neutrino lifetime converted from the 95% credible limits on the effective transport rate YY (Table 2) for the three single-decay-channel cases of scenario A and the two two-decay-channel cases of scenario B (see Table 1), as functions of the lightest neutrino mass m1m_{1} (NO) or m3m_{3} (IO). Orange (black) solid lines denote the revised bounds of this work for scenarios A (B), while the dotted lines represent the naïve constraints we would have obtained had we assumed a massless daughter neutrino mνl=0m_{\nu l}=0 in the phase space factor Φ(mνl/mνH)\Phi(m_{\nu l}/m_{\nu H}) [Eq. (17)]. The interpretation of these bounds in conjunction with Table 1 is unambiguous in scenario A. In scenario B1 the bounds apply to ν3\nu_{3}, while in B2 they apply to both ν1\nu_{1} and ν2\nu_{2} assuming equal lifetimes. We additionally show currents bounds from SN1987A Kachelriess:2000qc and from the IceCube 2015 data analysed in Ref. Song:2020nfh (“IC 2015”) assuming the flavour composition of a full pion decay scenario, i.e., (fe,fμ,fτ)=(1,2,0)(f_{e},f_{\mu},f_{\tau})=(1,2,0), at the source, as well as the projected reach of future IceCube runs (“IceCube 8 yr”) and a combination of future neutrino telescopes (including Baikal-GVD, KM3NeT, P-ONE, TAMBO, and IceCube-Gen2), the latter of which also assumes improved oscillations parameter measurements from JUNO, DUNE, and Hyper-Kamiokande. See Ref. Song:2020nfh for details. Also displayed in red in the left panel is the invisible decay scenario proposed in Ref.Denton:2018aml that would solve the tension between cascade and track data sets of IceCube.

To reinterpret our marginalised one-sided 95% credible limits on the effective transport rate YY (Table 2) as limits on the rest-frame neutrino lifetime τ0\tau_{0}, we first interpolate the constraints on YY as a function of the effective mass parameter XX (or, equivalently, the mass of the decaying neutrino mνHm_{\nu H}) within each scenario. Then, using Eq. (27) these upper limits on YY constraints can be converted into lower bounds on τ0=1/Γdec0\tau_{0}=1/\Gamma_{\rm dec}^{0} for any neutrino mass spectrum desired. Alternatively, we can use Eq. (27) to directly translate the approximate limits of Eqs. (34) and (35) into

τ0\displaystyle\tau_{0}\gtrsim 1.2×106[0.12(mνH0.05eV)]\displaystyle 1.2\times 10^{6}\,\mathscr{F}\left[0.12\left(\frac{m_{\nu H}}{0.05{\rm eV}}\right)\right] (36)
×Φ(mνlmνH)(mνH0.05eV)5s\displaystyle\hskip 65.44133pt\times\Phi\left(\frac{m_{\nu l}}{m_{\nu H}}\right)\,\left(\frac{m_{\nu H}}{0.05~{}{\rm eV}}\right)^{5}~{}{\rm s}

for scenario A, and

τ0\displaystyle\tau_{0}\gtrsim 6.6×107[0.2(mνH0.05eV)]\displaystyle 6.6\times 10^{7}\,\mathscr{F}\left[0.2\left(\frac{m_{\nu H}}{0.05{\rm eV}}\right)\right] (37)
×Φ(mνlmνH)(mνH0.05eV)5s\displaystyle\hskip 65.44133pt\times\Phi\left(\frac{m_{\nu l}}{m_{\nu H}}\right)\,\left(\frac{m_{\nu H}}{0.05~{}{\rm eV}}\right)^{5}~{}{\rm s}

for scenario B2.

Note that in the case of B1, the lifetime of ν3\nu_{3} needs to be computed from τ0=1/(2Γdec0)\tau_{0}=1/(2\Gamma_{\rm dec}^{0}), because of its two distinct decay modes. See Table 1.

Figure 3 shows the limits on τ0\tau_{0} constructed from interpolation for the physical cases listed in Table 1, as functions of the lightest neutrino masses m1m_{1} (NO) or m3m_{3} (IO). Also displayed in the same plots are the naïve constraints on τ0\tau_{0} we would have obtained had we set the mass of the daughter neutrino to zero in the phase space factor Φ\Phi. For reference we also show current constraints from SN1987A Kachelriess:2000qc and IceCube Song:2020nfh , as well as projected constraints from future measurements by IceCube and other neutrino telescopes Song:2020nfh .666The present and projected constraints from IceCube and other neutrino telescopes shown in Fig. 3 assume (i) normal mass ordering, (ii) two decaying neutrinos ν2\nu_{2} and ν3\nu_{3}, and (iii) rest-frame lifetime-to-mass ratios satisfying τ3/m3=τ2/m2\tau_{3}/m_{3}=\tau_{2}/m_{2}. These assumptions imply a hierarchy of the associated transport rates, i.e., ΓT,31,ΓT,32ΓT,21\Gamma_{{\rm T},3\to 1},\Gamma_{{\rm T},3\to 2}\gg\Gamma_{{\rm T},2\to 1}, and are hence largely consistent with the modelling of the NO cases of our scenarios A1 (if only one of ν3ν1\nu_{3}\to\nu_{1} and ν3ν2\nu_{3}\to\nu_{2} is present) and B1 (if both are present). Less clear, however, is how to reconcile these assumptions with those behind our scenarios A2 and A3, as well as the IO cases of scenarios A1 and B2. Nonetheless, the decay modelling of Ref. Song:2020nfh suggests that switching the model assumption from two decaying and one stable neutrinos to one decaying and two stable neutrinos will not likely have a drastic effect [i.e., no more than 𝒪(1){\cal O}(1)] on the resulting constraints on τ0\tau_{0}. We therefore opt to show the neutrino telescope constraints in the middle and right panels of Fig. 3 despite the inconsistency, but caution the reader that these constraints must be taken as indicative only.

Relative to our previous estimate of τ0(4×1054×106(mνH/0.05eV)5\tau_{0}\gtrsim(4\times 10^{5}\to 4\times 10^{6}(m_{\nu H}/0.05{\rm eV})^{5} s Barenboim:2020vrr , the new naïve (i.e., mνl=0m_{\nu l}=0) constraints are comparable to the high end at mνH0.05m_{\nu H}\simeq 0.05 eV in scenario A (one decay channel) and a factor of 50 tighter than the high end in scenario B (two decay channels) at the same mass point. These differences can be attributed to (i) different prefactors in the relation between the effective transport rate and the rest-frame decay rate [Eq. (27)], and (ii) the fact that the old estimate had been obtained from a rough conversion of the zfsz_{\rm fs} bound of Ref. Archidiacono:2013dua —itself derived from older CMB data—using the ΓT(zfs)=H(zfs)\Gamma_{\rm T}(z_{\rm fs})=H(z_{\rm fs}) condition. Furthermore, because the constraints on YY weaken with mνm_{\nu} [due to (amν/T0)\mathscr{F}(am_{\nu}/T_{0}) in Eq. (25)], the scaling of the naïve τ0\tau_{0} bounds with mνHm_{\nu H} in fact follows more closely mνH4\propto m_{\nu H}^{4} than mνH5\propto m_{\nu H}^{5} in the mass range of interest (as can be seen most clearly in the middle panel of Fig. 3).

However, once a finite mνlm_{\nu l} has been accounted for via the new phase space factor Φ\Phi in accordance with oscillation measurements, the lifetime bounds on the decaying neutrino relax significantly in all physical cases. Specifically, if the parent-daughter neutrino mass gap corresponds to the atmospheric mass splitting (i.e., scenarios A1 and B), then irrespective of the neutrino mass ordering we see that the bound on τ0\tau_{0} at any one mass point weakens by up to a factor of 50 relative to the naïve bound for a lightest neutrino mass m1m_{1} (NO) or m3m_{3} (IO) not exceeding 0.10.1 eV.

Even more dramatic relaxations can be seen in those cases in which the mass gap is determined by the solar mass splitting, i.e., scenarios A2 and A3. Here, the τ0\tau_{0} constraints weaken by four to five orders relative to the naïve bounds in the case of IO (i.e., scenario A3) across the whole m3m_{3} range of interest. In the case of NO (i.e., scenario A2), the relaxation also reaches five orders of magnitude, although for a smaller range of m1m_{1}.

Interestingly, inclusion of the new phase space factor Φ\Phi also translates into revised lifetime constraints that are remarkably independent of the neutrino mass. We have seen previously in Sect. 4.1 that Φ\Phi asymptotes to (1/3)(Δmν2/mνH2)2(1/3)(\Delta m_{\nu}^{2}/m_{\nu H}^{2})^{2} in the limit Δmν2mνH2mνl2mνH2\Delta m_{\nu}^{2}\equiv m_{\nu H}^{2}-m_{\nu l}^{2}\ll m_{\nu H}^{2}. Since the naïve bounds on τ0\tau_{0} scale effectively as mνH4m_{\nu H}^{4} in the mass range of interest, we see immediately that including Φ\Phi must reduce the dependence of the final τ0\tau_{0} bounds to (Δmν2)2\propto(\Delta m_{\nu}^{2})^{2}, which, depending on the neutrino pair participating in the decay, is always fixed by either the solar or the atmospheric squared neutrino mass splitting. Indeed, we find in scenarios A2 and A3 a fairly mass-independent revised constraint of τ0(400500)\tau_{0}\gtrsim(400\to 500) s, while in scenario A1 the bound is some (|Δm312|/Δm212)2103(|\Delta m_{31}^{2}|/\Delta m_{21}^{2})^{2}\sim 10^{3} times tighter at τ0(610)×105\tau_{0}\gtrsim(6\to 10)\times 10^{5} s. The two scenario B bounds are tighter still at τ0(26)×107\tau_{0}\gtrsim(2\to 6)\times 10^{7} s, but apply to two decay channels with a near-common atmospheric mass gap.

In the case of A2 and A3, we note while bearing in mind the caveats of Footnote 6 that our revised CMB constraints on τ0\tau_{0} are merely a factor of a few more stringent than current bounds derived in Ref. Song:2020nfh from the 2015 IceCube measurements of the flavour composition of TeV–PeV-energy astrophysical neutrinos IceCube:2015gsk , assuming the flavour ratio of a full pion decay scenario, i.e., (fe,fμ,fτ)=(1,2,0)(f_{e},f_{\mu},f_{\tau})=(1,2,0), at the source. Indeed, according to the projections of Ref. Song:2020nfh , the sensitivity to the neutrino lifetime of IceCube alone based on a combination 8 years of starting events and through-going track will likely already supersede our CMB constraints entirely in scenario A3 and partially in scenario A2 in the mass range presented. Together with improved measurements of the neutrino mixing parameters by JUNO JUNO:2015zny , DUNE DUNE:2020lwj , and Hyper-Kamiokande Hyper-Kamiokande:2018ofw , even the A2 CMB constraints could become be entirely overtaken in the next two decades Song:2020nfh by data collected at an array of future neutrino telescopes such as Baikal-GVD Baikal-GVD:2019fko , KM3NeT KM3Net:2016zxf , P-ONE P-ONE:2020ljt , TAMBO Romero-Wolf:2020pzh , and IceCube-Gen2 IceCube-Gen2:2020qha . In light of this possibility, it would be interesting to see if the neutrino telescope constraints on and projected sensitivities to τ0\tau_{0} would vary significantly if derived under model assumptions more consistent with our scenarios A2 and A3. Likewise, it remains to be determined if future CMB measurements on a comparable timeline such as CMB-S4 Abazajian:2019eic will be competitive in this space.

Lastly, one may be tempted to use Eqs. (36) and (37) to extrapolate our lifetime limits to parent neutrino mass values beyond our scan range, i.e., mνH0.1m_{\nu H}\gtrsim 0.1 eV. Leaving aside that such large masses might run into problems with CMB bounds, it is interesting to note the function (x)\mathscr{F}(x) naturally shuts down the anisotropy loss when the condition of ultra-relativistic decay cannot be satisfied, which translates in turn into a rapid deterioration of the lifetime bounds at large values of mνHm_{\nu H}. In fact, for mνH1m_{\nu H}\gtrsim 1 eV in scenario A and mνH0.5m_{\nu H}\gtrsim 0.5 eV in scenario B, we expect the lifetime bounds to deteriorate as exp(x)/x0.5\sim\exp(-x)/x^{0.5}, where x=xA0.12×(mνH/0.05eV)x=x_{A}\simeq 0.12\times(m_{\nu H}/0.05~{}{\rm eV}) and x=xB0.2×(mνH/0.05eV)x=x_{B}\simeq 0.2\times(m_{\nu H}/0.05~{}{\rm eV}) for scenarios A and B respectively. In other words, at such large mνHm_{\nu H} values, there are no neutrino lifetime constraints from free-streaming requirements.

7 Conclusions

We have considered in this work invisible neutrino decay νHνl+ϕ\nu_{H}\to\nu_{l}+\phi and its inverse process in the ultra-relativistic limit, and derived the effective Boltzmann hierarchy and associated \ellth anisotropy loss rate (or, equivalently, the transport rate ΓT\Gamma_{\rm T}) for the coupled (νH,νl,ϕ)(\nu_{H},\nu_{l},\phi)-system relevant for CMB anisotropy computations. Relative to our previous work Barenboim:2020vrr which assumed both decay products to be massless, we have in this work allowed the daughter neutrino νl\nu_{l} to remain massive.

We find that a nonzero mνlm_{\nu l} introduces a new phase space suppression factor Φ(mνl/mνH)\Phi(m_{\nu l}/m_{\nu H}) [Eq. (17)] in the transport rate, which in the limit of a small squared mass gap, Δmν2mνH2mνl2mνH2\Delta m_{\nu}^{2}\equiv m_{\nu H}^{2}-m_{\nu l}^{2}\ll m_{\nu H}^{2}, asymptotes to (1/3)(Δmν2/mνH2)2(1/3)(\Delta m_{\nu}^{2}/m_{\nu H}^{2})^{2}. Thus, the transport rate ΓT\Gamma_{\rm T} is related to the rest-frame lifetime τ0\tau_{0} of the parent neutrino νH\nu_{H} roughly as ΓT(Δmν2/mνH2)2(mνH/Eν)5(1/τ0)\Gamma_{\rm T}\sim(\Delta m_{\nu}^{2}/m_{\nu H}^{2})^{2}(m_{\nu H}/E_{\nu})^{5}(1/\tau_{0}), where the factor (mνH/Eν)5(m_{\nu H}/E_{\nu})^{5} was established previously in Ref. Barenboim:2020vrr . Note that while we have derived our transport rates rigorously from first principles under a reasonable set of assumptions, it is possible to attribute the various components that make up the expressions to physical quantities such as the opening angle and the momenta of the decay products. We have dedicated C to interpreting our transport rate in terms of a random walk using these physical quantities, as well as explaining why the old random walk argument of Ref. Hannestad:2005ex is incomplete and hence yields a transport rate that is too large. We emphasise that the new phase space factor Φ\Phi is in addition to the phase space suppression already inherent in the lifetime τ0\tau_{0}, and traces its origin to the momenta carried by the decay products in the decay rest frame.

Implementing our effective Boltzmann hierarchy (9) and transport rates (25) into the CMB code class Blas:2011rf , we have performed a series of MCMC fits to the CMB temperature and polarisation anisotropy measurements by the Planck mission (2018 data release) and determined a new set of constraints on the neutrino lifetime τ0\tau_{0} in a manner consistent with the neutrino mass splittings established by oscillation experiments. These new constraints are presented in Fig. 3 as functions of the lightest neutrino mass, i.e., m1m_{1} in the normal mass ordering (m3>m2>m1m_{3}>m_{2}>m_{1}) and m3m_{3} in the inverted mass ordering (m2>m1>m3)(m_{2}>m_{1}>m_{3}). For a parent neutrino mass up to about mνH0.1m_{\nu H}\simeq 0.1 eV, we find that the presence of the new phase space factor weakens the CMB constraint on its lifetime by as much as a factor of 50 if the daughter neutrino mass mνlm_{\nu l} is separated from mνHm_{\nu H} by the atmospheric mass gap, and by up to five orders of magnitude if separated by the solar mass gap, in comparison with naïve limits that assume mνl=0m_{\nu l}=0.

The revised constraints are (i) τ0(610)×105\tau^{0}\gtrsim(6\to 10)\times 10^{5} s and τ0(400500)\tau^{0}\gtrsim(400\to 500) s if only one neutrino decays to a daughter neutrino separated by, respectively, the atmospheric and the solar mass gap, and (ii) τ0(26)×107\tau^{0}\gtrsim(2\to 6)\times 10^{7} s in the case of two decay channels with one near-common atmospheric mass gap. Relative to existing constraints derived from other probes, these CMB limits are, despite significant revision, still globally the most stringent. However, we note that the relaxation of the bounds has also opened up a swath of parameter space likely within the projected reach of IceCube and other telescopes in the next two decades Song:2020nfh . This may in turn call for closer scrutiny of the neutrino anisotropy loss modelling upon which the derivation of the CMB constraints of this work is based. For example, where cosmological and astrophysical constraints meet, a more consistent treatment of neutrinos masses and quantum statistics may be required to accurately delineate the viable decay parameter space. We defer this investigation to a future work.

Finally, we remind the reader that while we have consistently accounted for the daughter neutrino mass according to experimentally measured mass splittings, we have assumed mϕ=0m_{\phi}=0 in the determination of the lifetime constraints. This assumption need not be true, and a choice of mϕm_{\phi} satisfying mνH>mϕmνlm_{\nu H}>m_{\phi}\gg m_{\nu l} in the regions (i) m1,m3102m_{1},m_{3}\lesssim 10^{-2} eV in scenarios A1 and B and (ii) m12×103m_{1}\lesssim 2\times 10^{-3} eV in A2 may in fact also relax the cosmological constraints on τ0\tau_{0} presented in Fig. 3. (Phase space considerations limit the range of permissible mϕm_{\phi} values to mϕ<mνHmνlm_{\phi}<m_{\nu H}-m_{\nu l} and hence their effects on the τ0\tau_{0} constraints where a finite mνlm_{\nu l} already produces a significant suppression, except for a few finely-tuned values in the vicinity of mϕ=Δmνm_{\phi}=\Delta m_{\nu}.) Such a relaxation may be similarly modelled using the phase space factor Φ\Phi [Eq. (17)] with mνlmϕm_{\nu l}\to m_{\phi}, although the resulting limits on τ0\tau_{0} would depend strongly on the choice of mass for the hypothetical ϕ\phi particle. We leave the exploration of mϕm_{\phi}-dependent neutrino lifetime constraints as an exercise to the interested reader.

Acknowledgements.
We thank Jan Hamann for useful discussions on random walks. JZC acknowledges support from an Australian Government Research Training Program Scholarship. IMO is supported by Fonds de la recherche scientifique (FRS-FNRS). GP is supported by a UNSW University International Postgraduate Award. Y3W is supported in part by the Australian Government through the Australian Research Council’s Future Fellowship (project FT180100031). This research is enabled by the Australian Research Council’s Discovery Project (project DP170102382) funding scheme, and includes computations using the computational cluster Katana supported by Research Technology Services at UNSW Sydney.

References

Appendix A Collision integrals

The individual linear-order decay/inverse decay collision integrals for the (νH,νl,ϕ)(\nu_{H},\nu_{l},\phi)-system have been derived in Ref. Barenboim:2020vrr assuming a Yukawa interaction. Here, we present a generalised version of the result valid for any interaction structure, recast following the arguments of Sect. 2 such that the rest-frame decay rate Γdec0\Gamma_{\rm dec}^{0} (rather than the squared matrix element ||2|{\cal M}|^{2}) appears in the integrals as a fundamental parameter.

Decomposed in terms of a Legendre series, the \ellth moments of the three collision integrals are given respectively by

(dfνHdτ)C,(1)(|𝐪1|)=\displaystyle\left(\frac{{\rm d}f_{\nu H}}{{\rm d}\tau}\right)_{C,\ell}^{(1)}(|\mathbf{q}_{1}|)= 2a2mνH3Γdec0Δ(mνH,mνl,mϕ)ϵ1|𝐪1|{FνH,(|𝐪1|)q2(νH)q2+(νH)d|𝐪2||𝐪2|ϵ2Ω1\displaystyle\,\frac{2a^{2}m_{\nu H}^{3}\Gamma^{0}_{\rm dec}}{\Delta(m_{\nu H},m_{\nu l},m_{\phi})\epsilon_{1}|\mathbf{q}_{1}|}\left\{-F_{\nu H,\ell}(|\mathbf{q}_{1}|)\int_{q_{2-}^{(\nu H)}}^{q_{2+}^{(\nu H)}}\mathrm{d}|\mathbf{q}_{2}|\,\frac{|\mathbf{q}_{2}|}{\epsilon_{2}}\,\Omega_{1}\right. (38)
+q2(νH)q2+(νH)d|𝐪2||𝐪2|ϵ2P(cosα)Fνl,(|𝐪2|)Ω2+q3(νH)q3+(νH)d|𝐪3||𝐪3|ϵ3P(cosβ)Fϕ,(|𝐪3|)Ω3},\displaystyle\left.+\int^{q_{2+}^{(\nu H)}}_{q_{2-}^{(\nu H)}}\mathrm{d}|\mathbf{q}_{2}|\frac{|\mathbf{q}_{2}|}{\epsilon_{2}}\,P_{\ell}(\cos\alpha^{*})\,F_{\nu l,\ell}(|\mathbf{q}_{2}|)\,\Omega_{2}+\int^{q_{3+}^{(\nu H)}}_{q_{3-}^{(\nu H)}}\mathrm{d}|\mathbf{q}_{3}|\,\frac{|\mathbf{q}_{3}|}{\epsilon_{3}}\,P_{\ell}(\cos\beta^{*})\,F_{\phi,\ell}(|\mathbf{q}_{3}|)\,\Omega_{3}\right\},
(dfνldτ)C,(1)(|𝐪2|)=\displaystyle\left(\frac{{\rm d}f_{\nu l}}{{\rm d}\tau}\right)_{C,\ell}^{(1)}(|\mathbf{q}_{2}|)= 2a2mνH3Γdec0Δ(mνH,mνl,mϕ)ϵ2|𝐪2|{q1(νl)q1+(νl)d|𝐪1||𝐪1|ϵ1P(cosα)FνH,(|𝐪1|)Ω1\displaystyle\,\frac{2a^{2}m_{\nu H}^{3}\Gamma^{0}_{\rm dec}}{\Delta(m_{\nu H},m_{\nu l},m_{\phi})\epsilon_{2}|\mathbf{q}_{2}|}\left\{\int_{q_{1-}^{(\nu l)}}^{q_{1+}^{(\nu l)}}\mathrm{d}|\mathbf{q}_{1}|\,\frac{|\mathbf{q}_{1}|}{\epsilon_{1}}\,P_{\ell}(\cos\alpha^{*})F_{\nu H,\ell}(|\mathbf{q}_{1}|)\,\Omega_{1}\right. (39)
Fνl,(|𝐪2|)q1(νl)q1+(νl)d|𝐪1||𝐪1|ϵ1Ω2q3(νl)q3+(νl)d|𝐪3||𝐪3|ϵ3P(cosγ)Fϕ,(|𝐪3|)Ω3},\displaystyle\left.-F_{\nu l,\ell}(|\mathbf{q}_{2}|)\int_{q_{1-}^{(\nu l)}}^{q_{1+}^{(\nu l)}}\mathrm{d}|\mathbf{q}_{1}|\,\frac{|\mathbf{q}_{1}|}{\epsilon_{1}}\,\Omega_{2}-\int_{q_{3-}^{(\nu l)}}^{q_{3+}^{(\nu l)}}\mathrm{d}|\mathbf{q}_{3}|\,\frac{|\mathbf{q}_{3}|}{\epsilon_{3}}\,P_{\ell}(\cos\gamma^{*})F_{\phi,\ell}(|\mathbf{q}_{3}|)\,\Omega_{3}\right\},
(dfϕdτ)C,(1)(|𝐪3|)=\displaystyle\left(\frac{{\rm d}f_{\phi}}{{\rm d}\tau}\right)_{C,\ell}^{(1)}(|\mathbf{q}_{3}|)= 4a2mνH3Γdec0Δ(mνH,mνl,mϕ)ϵ3|𝐪3|{q1(ϕ)q1+(ϕ)d|𝐪1||𝐪1|ϵ1P(cosβ)FνH,(|𝐪1|)Ω1\displaystyle\,\frac{4a^{2}m_{\nu H}^{3}\Gamma^{0}_{\rm dec}}{\Delta(m_{\nu H},m_{\nu l},m_{\phi})\epsilon_{3}|\mathbf{q}_{3}|}\left\{\int_{q_{1-}^{(\phi)}}^{q_{1+}^{(\phi)}}\mathrm{d}|\mathbf{q}_{1}|\,\frac{|\mathbf{q}_{1}|}{\epsilon_{1}}\,P_{\ell}(\cos\beta^{*})F_{\nu H,\ell}(|\mathbf{q}_{1}|)\,\Omega_{1}\right. (40)
q2(ϕ)q2+(ϕ)d|𝐪2||𝐪2|ϵ2P(cosγ)Fνl,(|𝐪2|)Ω2Fϕ,(|𝐪3|)q1(ϕ)q1+(ϕ)d|𝐪1||𝐪1|ϵ1Ω3}.\displaystyle\left.-\int_{q_{2-}^{(\phi)}}^{q_{2+}^{(\phi)}}\mathrm{d}|\mathbf{q}_{2}|\,\frac{|\mathbf{q}_{2}|}{\epsilon_{2}}\,P_{\ell}(\cos\gamma^{*})F_{\nu l,\ell}(|\mathbf{q}_{2}|)\,\Omega_{2}-F_{\phi,\ell}(|\mathbf{q}_{3}|)\int_{q_{1-}^{(\phi)}}^{q_{1+}^{(\phi)}}\mathrm{d}|\mathbf{q}_{1}|\,\frac{|\mathbf{q}_{1}|}{\epsilon_{1}}\,\Omega_{3}\right\}.

Here,

cosα=\displaystyle\cos{\alpha^{*}}= 2ϵ1ϵ2a2(mνH2+mνl2mϕ2)2|𝐪1||𝐪2|,\displaystyle\,\frac{2\epsilon_{1}\epsilon_{2}-a^{2}(m_{\nu H}^{2}+m_{\nu l}^{2}-m_{\phi}^{2})}{2|\mathbf{q}_{1}||\mathbf{q}_{2}|}, (41)
cosβ=\displaystyle\cos{\beta^{*}}= 2ϵ1ϵ3a2(mνH2mνl2+mϕ2)2|𝐪1||𝐪3|,\displaystyle\,\frac{2\epsilon_{1}\epsilon_{3}-a^{2}(m_{\nu H}^{2}-m_{\nu l}^{2}+m_{\phi}^{2})}{2|\mathbf{q}_{1}||\mathbf{q}_{3}|},
cosγ=\displaystyle\cos\gamma^{*}= 2ϵ2ϵ3a2(mνH2mνl2mϕ2)2|𝐪2||𝐪3|\displaystyle\,\frac{2\epsilon_{2}\epsilon_{3}-a^{2}(m_{\nu H}^{2}-m_{\nu l}^{2}-m_{\phi}^{2})}{2|\mathbf{q}_{2}||\mathbf{q}_{3}|}

originate purely from kinematics; the phase space factors including quantum statistics and their corresponding no-quantum-statistics approximations (qs\not{\rm qs}) are

Ω1(|𝐪2|,|𝐪3|)\displaystyle\Omega_{1}(|\mathbf{q}_{2}|,|\mathbf{q}_{3}|) =1f¯νl(|𝐪2|)+f¯ϕ(|𝐪3|)qs1,\displaystyle=1-\bar{f}_{\nu l}(|\mathbf{q}_{2}|)+\bar{f}_{\phi}(|\mathbf{q}_{3}|)\underset{\not{\rm qs}}{\to}1, (42)
Ω2(|𝐪1|,|𝐪3|)\displaystyle\Omega_{2}(|\mathbf{q}_{1}|,|\mathbf{q}_{3}|) =f¯νH(|𝐪1|)+f¯ϕ(|𝐪3|)qsf¯ϕ(|𝐪3|),\displaystyle=\bar{f}_{\nu H}(|\mathbf{q}_{1}|)+\bar{f}_{\phi}(|\mathbf{q}_{3}|)\underset{\not{\rm qs}}{\to}\bar{f}_{\phi}(|\mathbf{q}_{3}|),
Ω3(|𝐪1|,|𝐪2|)\displaystyle\Omega_{3}(|\mathbf{q}_{1}|,|\mathbf{q}_{2}|) =f¯νl(|𝐪2|)f¯νH(|𝐪1|)qsf¯νl(|𝐪2|);\displaystyle=\bar{f}_{\nu l}(|\mathbf{q}_{2}|)-\bar{f}_{\nu H}(|\mathbf{q}_{1}|)\underset{\not{\rm qs}}{\to}\bar{f}_{\nu l}(|\mathbf{q}_{2}|);

and

qi±(j)=\displaystyle q_{i\pm}^{(j)}= |ϵjΔ(mk,mi,mj)±|𝐪j|Δ2(mk,mi,mj)+4mi2mj22mj2|\displaystyle\left|\frac{\epsilon_{j}\Delta(m_{k},m_{i},m_{j})\pm|\mathbf{q}_{j}|\sqrt{\Delta^{2}(m_{k},m_{i},m_{j})+4m^{2}_{i}m^{2}_{j}}}{2m^{2}_{j}}\right| (43)

are the integration limits, with the understanding that ijki\neq j\neq k, and the mapping (1,2,3)(νH,νl,ϕ)(1,2,3)\leftrightarrow(\nu_{H},\nu_{l},\phi) applies.

Appendix B 2\ell\geq 2 effective collision integrals

We outline in this appendix the reduction of the 2\ell\geq 2 collision integrals (10) to the form (13). Firstly, we note that the effective collision integral (10) is a sum of three terms, which we label

(ddτ)C,(ddτ)C,(νH)+(ddτ)C,(νl)+(ddτ)C,(ϕ).\left(\frac{\mathrm{d}{\cal F}}{\mathrm{d}\tau}\right)_{C,\ell}\equiv\left(\frac{\mathrm{d}{\cal F}}{\mathrm{d}\tau}\right)_{C,\ell}^{(\nu H)}+\left(\frac{\mathrm{d}{\cal F}}{\mathrm{d}\tau}\right)_{C,\ell}^{(\nu l)}+\left(\frac{\mathrm{d}{\cal F}}{\mathrm{d}\tau}\right)_{C,\ell}^{(\phi)}. (44)

Using the νH\nu_{H} collision integral (38) and setting mϕ=0m_{\phi}=0, the νH\nu_{H} component evaluates straightforwardly to

(ddτ)C,(νH)=\displaystyle\left(\frac{\mathrm{d}{\cal F}}{\mathrm{d}\tau}\right)_{C,\ell}^{(\nu H)}= aΓ~dec(mνH2mνH2mνl2)T04d|𝐪1||𝐪1|+1ϵ1eϵ1/T0\displaystyle\,a\,\tilde{\Gamma}_{\rm dec}\,\left(\frac{m_{\nu H}^{2}}{m_{\nu H}^{2}-m_{\nu l}^{2}}\right)\,T_{0}^{-4}\,{\cal F}_{\ell}\int{\rm d}|\mathbf{q}_{1}|\;\frac{|\mathbf{q}_{1}|^{\ell+1}}{\epsilon_{1}^{\ell}}\,e^{-\epsilon_{1}/T_{0}} (45)
×{q2(νH)q2+(νH)d|𝐪2||𝐪2|ϵ2[|𝐪1|2ϵ1+|𝐪2|2ϵ2P(cosα)]+q3(νH)q3+(νH)d|𝐪3||𝐪3|P(cosβ)},\displaystyle\times\left\{\int_{q_{2-}^{(\nu H)}}^{q_{2+}^{(\nu H)}}\mathrm{d}|\mathbf{q}_{2}|\,\frac{|\mathbf{q}_{2}|}{\epsilon_{2}}\,\left[-\frac{|\mathbf{q}_{1}|^{2}}{\epsilon_{1}}+\frac{|\mathbf{q}_{2}|^{2}}{\epsilon_{2}}\,P_{\ell}(\cos\alpha^{*})\right]+\int^{q_{3+}^{(\nu H)}}_{q_{3-}^{(\nu H)}}\mathrm{d}|\mathbf{q}_{3}|\,|\mathbf{q}_{3}|\,P_{\ell}(\cos\beta^{*})\right\},

where Γ~dec\tilde{\Gamma}_{\rm dec} is defined in Eq. (14) and is approximately the boosted decay rate.

Observe that the \ell-dependence of the double integral (45) is contained entirely in (i) |𝐪1|/ϵ1|\mathbf{q}_{1}|^{\ell}/\epsilon_{1}^{\ell}, and (ii) the Legendre polynomials. Upon a small parameter expansion in a2mνH2a^{2}m_{\nu H}^{2} and a2mνl2a^{2}m_{\nu l}^{2} to 𝒪(a4mνH4,a4mνl4,a4mνH2mνl2){\cal O}(a^{4}m_{\nu H}^{4},a^{4}m_{\nu l}^{4},a^{4}m_{\nu H}^{2}m_{\nu l}^{2}), the former becomes a quadratic polynomial in \ell:

(|𝐪1|ϵ1)1a2mνH22|𝐪1|2+(+2)a4mνH48|𝐪1|4+.\left(\frac{|\mathbf{q}_{1}|}{\epsilon_{1}}\right)^{\ell}\simeq 1-\ell\frac{a^{2}m_{\nu H}^{2}}{2|\mathbf{q}_{1}|^{2}}+\ell(\ell+2)\frac{a^{4}m_{\nu H}^{4}}{8|\mathbf{q}_{1}|^{4}}+\cdots. (46)

For the benchmark mνH0.2m_{\nu H}\simeq 0.2 eV and a typical comoving momentum of |𝐪1|3Tν,05×104|\mathbf{q}_{1}|\simeq 3T_{\nu,0}\simeq 5\times 10^{-4} eV, this expansion is accurate at recombination (z=zrec1100z=z_{\rm rec}\simeq 1100) to 0.2%0.2\% and 1111% for =2\ell=2 and =10\ell=10, respectively, and improves to 0.030.03% and 11% at z1500z\simeq 1500. For the largest mνHm_{\nu H} value actually analysed in this work, i.e., mνH0.1m_{\nu H}\simeq 0.1 eV, sub-10% accuracy is possible even for =20\ell=20 at zzrecz\simeq z_{\rm rec}. The small parameter expansion therefore appears well justified in the time frame of interest.

On the other hand, the arguments of the Legendre polynomials expand to

cosα\displaystyle\cos\alpha^{*} 1+a2mνH22|𝐪1|2(1|𝐪1||𝐪2|)+a2mνl22|𝐪2|2(1|𝐪2||𝐪1|)+a4mνH2mνl24|𝐪1|2|𝐪2|2a4mνH48|𝐪1|4a4mνl48|𝐪2|4+,\displaystyle\simeq 1+\frac{a^{2}m_{\nu H}^{2}}{2|\mathbf{q}_{1}|^{2}}\left(1-\frac{|\mathbf{q}_{1}|}{|\mathbf{q}_{2}|}\right)+\frac{a^{2}m_{\nu l}^{2}}{2|\mathbf{q}_{2}|^{2}}\left(1-\frac{|\mathbf{q}_{2}|}{|\mathbf{q}_{1}|}\right)+\frac{a^{4}m_{\nu H}^{2}m_{\nu l}^{2}}{4|\mathbf{q}_{1}|^{2}|\mathbf{q}_{2}|^{2}}-\frac{a^{4}m_{\nu H}^{4}}{8|\mathbf{q}_{1}|^{4}}-\frac{a^{4}m_{\nu l}^{4}}{8|\mathbf{q}_{2}|^{4}}+\cdots, (47)
cosβ\displaystyle\cos\beta^{*} 1+a2mνH22|𝐪1|2(1|𝐪1||𝐪3|)+a2mνl22|𝐪1||𝐪3|a4mνH48|𝐪1|4+,\displaystyle\simeq 1+\frac{a^{2}m_{\nu H}^{2}}{2|\mathbf{q}_{1}|^{2}}\left(1-\frac{|\mathbf{q}_{1}|}{|\mathbf{q}_{3}|}\right)+\frac{a^{2}m_{\nu l}^{2}}{2|\mathbf{q}_{1}||\mathbf{q}_{3}|}-\frac{a^{4}m_{\nu H}^{4}}{8|\mathbf{q}_{1}|^{4}}+\cdots,

while the Legendre polynomials themselves expand again to polynomials in \ell:

P(1+x)1+12(+1)x+116(1)(+1)(+2)x2+.P_{\ell}(1+x)\simeq 1+\frac{1}{2}\ell(\ell+1)x+\frac{1}{16}(\ell-1)\ell(\ell+1)(\ell+2)x^{2}+\cdots. (48)

Substituting Eq. (47) into Eq. (48) and keeping terms to 𝒪(a4mνH4,a4mνl4,a4mνH2mνl2){\cal O}(a^{4}m_{\nu H}^{4},a^{4}m_{\nu l}^{4},a^{4}m_{\nu H}^{2}m_{\nu l}^{2}), we immediately find in combination with Eq. (46) that the double integral (45) must be a quartic polynomial in \ell with \ell-independent coefficients. We shall not write out the polynomial in full here, but suffice it to say that this is the origin of quartic \ell-dependence of the α\alpha_{\ell} coefficients (18). As with Eq. (46), for the benchmark mνH0.2m_{\nu H}\simeq 0.2 eV and typical comoving momenta |𝐪1||𝐪2|3Tν,05×104|\mathbf{q}_{1}|\simeq|\mathbf{q}_{2}|\simeq 3T_{\nu,0}\simeq 5\times 10^{-4} eV, the small parameter expansion (48) is sub-percent accurate at zzrecz\simeq z_{\rm rec} for 5\ell\leq 5 and incurs at most an error of 1515% for =10\ell=10. It is thus a very good approximation.

Similarly to Eq. (51), using the νl\nu_{l} collision integral (39) under the assumption of mϕ=0m_{\phi}=0 yields

(ddτ)C,(νl)=\displaystyle\left(\frac{\mathrm{d}{\cal F}}{\mathrm{d}\tau}\right)_{C,\ell}^{(\nu l)}= aΓ~dec(mνH2mνH2mνl2)T04gνlgνHd|𝐪2||𝐪2|+1ϵ22\displaystyle\,a\,\tilde{\Gamma}_{\rm dec}\,\left(\frac{m_{\nu H}^{2}}{m_{\nu H}^{2}-m_{\nu l}^{2}}\right)\,T_{0}^{-4}\frac{g_{\nu l}}{g_{\nu H}}{\cal F}_{\ell}\int{\rm d}|\mathbf{q}_{2}|\;\frac{|\mathbf{q}_{2}|^{\ell+1}}{\epsilon_{2}^{2}} (49)
×{q1(νl)q1+(νl)d|𝐪1||𝐪1|ϵ1[|𝐪1|2ϵ1P(cosα)|𝐪2|2ϵ2]eϵ1/T0q3(νl)q3+(νl)d|𝐪3||𝐪3|P(cosγ)eϵ1/T0}.\displaystyle\times\left\{\int_{q_{1-}^{(\nu l)}}^{q_{1+}^{(\nu l)}}\mathrm{d}|\mathbf{q}_{1}|\frac{|\mathbf{q}_{1}|}{\epsilon_{1}}\left[\frac{|\mathbf{q}_{1}|^{2}}{\epsilon_{1}}P_{\ell}(\cos\alpha^{*})-\frac{|\mathbf{q}_{2}|^{2}}{\epsilon_{2}}\right]e^{-\epsilon_{1}/T_{0}}-\int_{q_{3-}^{(\nu l)}}^{q_{3+}^{(\nu l)}}\mathrm{d}|\mathbf{q}_{3}|\,|\mathbf{q}_{3}|\,P_{\ell}(\cos\gamma^{*})e^{-\epsilon_{1}/T_{0}}\right\}.

To progress further, following Ref. Barenboim:2020vrr we swap the order of integration, so that the final momentum integration to perform is always over |𝐪1|[0,)|\mathbf{q}_{1}|\in[0,\infty). The swap between the |𝐪1||\mathbf{q}_{1}| and |𝐪2||\mathbf{q}_{2}| double integral is straightforward, and entails setting the new integration limits as per

d|𝐪2|q1(νl)q1+(νl)d|𝐪1|=d|𝐪1|q2(νH)q2+(νH)d|𝐪2|.\int{\rm d}|\mathbf{q}_{2}|\int_{q_{1-}^{(\nu l)}}^{q_{1+}^{(\nu l)}}{\rm d}|\mathbf{q}_{1}|=\int{\rm d}|\mathbf{q}_{1}|\int_{q_{2-}^{(\nu H)}}^{q_{2+}^{(\nu H)}}{\rm d}|\mathbf{q}_{2}|. (50)

To apply the same trick to the |𝐪2||\mathbf{q}_{2}| and |𝐪3||\mathbf{q}_{3}| pair, however, we first need to change of the integration variable |𝐪3||\mathbf{q}_{3}| to |𝐪1||\mathbf{q}_{1}| via |𝐪3|ϵ1ϵ2|\mathbf{q}_{3}|\to\epsilon_{1}-\epsilon_{2}. Then, recognising that integration limits can also be written as Heaviside functions, we can establish the relation Barenboim:2020vrr

Θ(|𝐪3|q3(νl))Θ(q3+(νl)|𝐪3|)||𝐪3|ϵ1ϵ2\displaystyle\left.\Theta(|\mathbf{q}_{3}|-{q}_{3-}^{(\nu l)})\Theta({q}_{3+}^{(\nu l)}-|\mathbf{q}_{3}|)\right|_{|\mathbf{q}_{3}|\to\epsilon_{1}-\epsilon_{2}} =Θ(1cos2γ)||𝐪3|ϵ1ϵ2\displaystyle=\left.\Theta(1-\cos^{2}\gamma^{*})\right|_{|\mathbf{q}_{3}|\to\epsilon_{1}-\epsilon_{2}} (51)
=Θ(1cos2α)\displaystyle=\Theta(1-\cos^{2}\alpha^{*})
=Θ(|𝐪2|q2(νH))Θ(q2+(νH)|𝐪2|).\displaystyle=\Theta(|\mathbf{q}_{2}|-{q}_{2-}^{(\nu H)})\Theta({q}_{2+}^{(\nu H)}-|\mathbf{q}_{2}|).

Note that, while we have assumed mϕ=0m_{\phi}=0 to simplify our calculations, the relation (51) follows from kinematics and holds for all mass values provided we define the change of variable more generally as ϵ3ϵ1ϵ2\epsilon_{3}\to\epsilon_{1}-\epsilon_{2}. Thus, Eq. (49) becomes

(ddτ)C,(νl)=\displaystyle\left(\frac{\mathrm{d}{\cal F}}{\mathrm{d}\tau}\right)_{C,\ell}^{(\nu l)}= aΓ~dec(mνH2mνH2mνl2)T04d|𝐪1||𝐪1|+1ϵ1eϵ1/T0\displaystyle\,a\,\tilde{\Gamma}_{\rm dec}\,\left(\frac{m_{\nu H}^{2}}{m_{\nu H}^{2}-m_{\nu l}^{2}}\right)\,T_{0}^{-4}\,{\cal F}_{\ell}\int{\rm d}|\mathbf{q}_{1}|\;\frac{|\mathbf{q}_{1}|^{\ell+1}}{\epsilon_{1}^{\ell}}\,e^{-\epsilon_{1}/T_{0}} (52)
×q2(νH)q2+(νH)d|𝐪2|ϵ12|𝐪1|2|𝐪2|+1ϵ2[P(cosα)|𝐪2|2ϵ1ϵ2|𝐪1|2ϵ1|𝐪1|2(ϵ1ϵ2)P(cosγ)||𝐪3|ϵ1ϵ2],\displaystyle\times\int_{q_{2-}^{(\nu H)}}^{q_{2+}^{(\nu H)}}\mathrm{d}|\mathbf{q}_{2}|\,\frac{\epsilon_{1}^{\ell-2}}{|{\bf q}_{1}|^{\ell-2}}\,\frac{|\mathbf{q}_{2}|^{\ell+1}}{\epsilon_{2}^{\ell}}\left[P_{\ell}(\cos\alpha^{*})-\frac{|\mathbf{q}_{2}|^{2}\epsilon_{1}}{\epsilon_{2}|\mathbf{q}_{1}|^{2}}-\frac{\epsilon_{1}}{|\mathbf{q}_{1}|^{2}}(\epsilon_{1}-\epsilon_{2})P_{\ell}(\cos\gamma^{*})\big{|}_{|\mathbf{q}_{3}|\to\epsilon_{1}-\epsilon_{2}}\right],

where we have used gνl=gνH=2g_{\nu l}=g_{\nu H}=2. Again, the term |𝐪2|/ϵ2|\mathbf{q}_{2}|^{\ell}/\epsilon_{2}^{\ell} can be expanded in the small parameters a2mνH2a^{2}m_{\nu H}^{2} and a2mνl2a^{2}m_{\nu l}^{2} to 𝒪(a4mνH4,a4mνl4,a4mνH2mνl2){\cal O}(a^{4}m_{\nu H}^{4},a^{4}m_{\nu l}^{4},a^{4}m_{\nu H}^{2}m_{\nu l}^{2}) as per Eq. (46) save for the replacements m1m2m_{1}\to m_{2} and |𝐪1||𝐪2||\mathbf{q}_{1}|\to|\mathbf{q}_{2}|, while the argument of the second Legendre polynomial expands to

cosγ1a2mνH22|𝐪2||𝐪3|+a2mνl22|𝐪2|2(1+|𝐪2||𝐪3|)a4mνl48|𝐪2|4+.\cos\gamma^{*}\simeq 1-\frac{a^{2}m_{\nu H}^{2}}{2|\mathbf{q}_{2}||\mathbf{q}_{3}|}+\frac{a^{2}m_{\nu l}^{2}}{2|\mathbf{q}_{2}|^{2}}\left(1+\frac{|\mathbf{q}_{2}|}{|\mathbf{q}_{3}|}\right)-\frac{a^{4}m_{\nu l}^{4}}{8|\mathbf{q}_{2}|^{4}}+\cdots. (53)

Then, by Eq. (48) we can again expect the \ell-dependence of the double integral (52) to simplify to that of a quartic polynomial in \ell.

Finally, the ϕ\phi component of the effective collision integral can be similarly established from the ϕ\phi collision integral (40) following the same procedure as above:

(ddτ)C,(ϕ)=\displaystyle\left(\frac{\mathrm{d}{\cal F}}{\mathrm{d}\tau}\right)_{C,\ell}^{(\phi)}= aΓ~dec(mνH2mνH2mνl2)T04d|𝐪1||𝐪1|+1ϵ1eϵ1/T0\displaystyle\,a\,\tilde{\Gamma}_{\rm dec}\,\left(\frac{m_{\nu H}^{2}}{m_{\nu H}^{2}-m_{\nu l}^{2}}\right)\,T_{0}^{-4}\,{\cal F}_{\ell}\int{\rm d}|\mathbf{q}_{1}|\;\frac{|\mathbf{q}_{1}|^{\ell+1}}{\epsilon_{1}^{\ell}}\,e^{-\epsilon_{1}/T_{0}} (54)
×q3(νH)q3+(νH)d|𝐪3|ϵ12|𝐪1|2|𝐪3|[P(cosβ)|𝐪3|ϵ1|𝐪1|2ϵ1|𝐪1|2(ϵ1|𝐪3|)2a2mνl2(ϵ1|𝐪3|)P(cosγ)|ϵ2ϵ1|𝐪3|],\displaystyle\times\int_{q_{3-}^{(\nu H)}}^{q_{3+}^{(\nu H)}}\mathrm{d}|\mathbf{q}_{3}|\frac{\epsilon_{1}^{\ell-2}}{|{\bf q}_{1}|^{\ell-2}}|\mathbf{q}_{3}|\bigg{[}P_{\ell}(\cos\beta^{*})-\frac{|\mathbf{q}_{3}|\epsilon_{1}}{|\mathbf{q}_{1}|^{2}}-\frac{\epsilon_{1}}{|\mathbf{q}_{1}|^{2}}\frac{(\epsilon_{1}-|\mathbf{q}_{3}|)^{2}-a^{2}m_{\nu l}^{2}}{(\epsilon_{1}-|\mathbf{q}_{3}|)}P_{\ell}(\cos\gamma^{*})\big{|}_{\epsilon_{2}\to\epsilon_{1}-|\mathbf{q}_{3}|}\bigg{]},

with gϕ=1g_{\phi}=1 as an input. A quartic polynomial in \ell again follows from a small parameter expansion in a2mνH2a^{2}m_{\nu H}^{2} and a2mνl2a^{2}m_{\nu l}^{2} to 𝒪(a4mνH4,a4mνl4,a4mνH2mνl2){\cal O}(a^{4}m_{\nu H}^{4},a^{4}m_{\nu l}^{4},a^{4}m_{\nu H}^{2}m_{\nu l}^{2}).

Then, collecting all terms (45), (52), and (54) yields the effective collision integral (13).

Appendix C A revised random walk picture of isotropisation

C.1 Preliminaries

Consider the process νHνl+ϕ\nu_{H}\to\nu_{l}+\phi in the rest-frame of νH\nu_{H}, which we denote 𝒮{\cal S}^{\prime}. Suppose the decay products are emitted along the yy-axis. Assuming mϕ=0m_{\phi}=0, the decay products have momentum

p=mνH2mνl22mνHΔmν22mνH.p^{*}=\frac{m_{\nu H}^{2}-m_{\nu l}^{2}}{2m_{\nu H}}\equiv\frac{\Delta m_{\nu}^{2}}{2m_{\nu H}}. (55)

Boosting the system in the xx-direction to the laboratory frame 𝒮{\cal S} at an ultra-relativistic speed vνHv_{\nu H}, we find that the decay product ii has momentum components in the xx- and yy-directions given respectively by

px(i)\displaystyle p^{(i)}_{x} =γνHvνHp2+mi2,\displaystyle=\gamma_{\nu H}v_{\nu H}\sqrt{{p^{*}}^{2}+m_{i}^{2}}, (56)
py(i)\displaystyle p^{(i)}_{y} =±p,\displaystyle=\pm p^{*},

where γνH(1vνH2)1/2=EνH/mνH\gamma_{\nu H}\equiv(1-v_{\nu H}^{2})^{-1/2}=E_{\nu H}/m_{\nu H} is the Lorentz factor, and tanθi=py(i)/px(i)\tan\theta_{i}=p_{y}^{(i)}/p^{(i)}_{x} gives the angle of the decay trajectory relative to the initial direction of νH\nu_{H}. For the massless ϕ\phi particle, this angle always evaluates |θϕ|γνH1|\theta_{\phi}|\simeq\gamma_{\nu H}^{-1} in the limit γνH1\gamma_{\nu H}\gg 1, while for a massive daughter neutrino νl\nu_{l} we find a suppressed emission angle of |θνl|[Δmν2/(2mνH2)]γνH1|\theta_{\nu l}|\simeq[\Delta m_{\nu}^{2}/(2m_{\nu H}^{2})]\,\gamma_{\nu H}^{-1} in the same limit. The latter, or more directly, pp^{*} in Eq. (55), is the origin of the new phase space factor (17) in the effective transport rate (13).

In the case of two massless decay products, Ref. Hannestad:2005ex argues that, because of the small decay opening angle, θ=θϕ=θνlγνH11\theta=\theta_{\phi}=\theta_{\nu l}\simeq\gamma_{\nu H}^{-1}\ll 1, it takes N1/θ2N\simeq 1/\theta^{2} number of decay/inverse decay events to turn a momentum vector by 90 degrees. This estimate comes from a standard random walk argument generalised to momentum space, where the random walker has a mean square displacement of (pνHθi)2\sim(p_{\nu H}\theta_{i})^{2} and equal probabilities of going +|θ|+|\theta| or |θ|-|\theta| after each decay or inverse decay event, while maintaining its absolute momentum pνHp_{\nu H}. Assuming further that each event occurs over a timescale of 1/Γdec\sim 1/\Gamma_{\rm dec}, where Γdec=γνH1Γdec0\Gamma_{\rm dec}=\gamma_{\nu H}^{-1}\Gamma_{\rm dec}^{0} is the boosted decay rate, one immediately establishes that the time required to execute this 90-degree turn must be

T2θ2γ/Γdec0.T_{2}\sim\theta^{-2}\gamma/\Gamma_{\rm dec}^{0}. (57)

Reference Hannestad:2005ex identifies T2T_{2} with the timescale over which the quadrupole of the (νH,νl,ϕ)(\nu_{H},\nu_{l},\phi)-system is lost through decay/inverse decay, in drastic contrast with the much longer isotropisation timescale,

T4θ4γ/Γdec0,T_{4}\sim\theta^{-4}\gamma/\Gamma_{\rm dec}^{0}, (58)

established from our relaxation time/linear response calculation in the same mνl=0m_{\nu l}=0 limit Barenboim:2020vrr .

It is not completely clear how one might generalise T2T_{2} in Eq. (57) to the case of a massive νl\nu_{l}, since the two decay products must now be emitted at different angles. One possibility might be to identify the emission angle θ\theta with the geometric mean, θ±|θνlθϕ|\theta\equiv\pm\sqrt{|\theta_{\nu l}\theta_{\phi}|}. At minimum, this choice of θ\theta yields a T4T_{4} from Eq. (58) to within 𝒪(1){\cal O}(1) factors of the timescale obtained via rigorous calculations in this work [Eq. (13)]. This identification also appears to be the only sensible choice if we must boil what is in principle a two-parameter problem (for two decay products) down to a description in terms of one angle θ\theta alone. Our task in this appendix, therefore, is to reconcile the two timescales T2T_{2} and T4T_{4}, and to supply a random walk interpretation for the latter in terms of θ\theta.

C.2 Coverage versus isotropisation

To reconcile the two timescales T2T_{2} and T4T_{4}, and to understand why it is the latter, not the former, that gives the isotropisation timescale, we observe first of all that as a representation of isotropisation of an anisotropic system via scattering, the random walk picture as presented above in fact contains a number of inconsistencies. For one, the same reasoning would lead us to conclude that the momentum vector of a single particle can be turned by 180 degrees in time 4×T2\sim 4\times T_{2}. This is in itself not an improbable outcome. It makes no physical sense, however, to associate this outcome with the timescale over which the dipole of the (νH,νl,ϕ)(\nu_{H},\nu_{l},\phi)-system is lost through decay/inverse decays, because as an isolated system, momentum conservation always preserves the system’s dipole. This simple consideration illustrates that one needs to be extremely cautious when identifying the behaviour of one single particle with changes to the bulk properties of a system. They are a priori not the same thing.

Next, we note that νH\nu_{H} decay always happens and isotropisation is limited only by inverse decay. However, in writing down Γdec\Gamma_{\rm dec} as a universal inverse decay rate without qualification, there is an implicit assumption that the scattering centres effecting the inverse decay are themselves isotropic in momentum space, such that the probability of νH\nu_{H} being emitted in the +|θ|+|\theta| or |θ|-|\theta| direction is everywhere the same. This assumption is not true for our (νH,νl,ϕ)(\nu_{H},\nu_{l},\phi)-system, which is constantly subject to tidal gravitational forces that generate 𝒪(105){\cal O}(10^{-5}) local momentum anisotropies. These anisotropies give rise to anisotropic probabilities in the emission direction of νH\nu_{H}, which in turn bias the random walk. At face value this bias is tiny—of order 10510^{-5}. However, we must keep in mind that it has the same physical origin as the momentum anisotropy we wish to wipe by inverse decay, i.e., the bias and the momentum anisotropy are of exactly the same order of magnitude. A consistent picture of isotropisation therefore cannot ignore the bias, and understanding how it influences the random walks is key to explaining why the isotropisation timescale is T4T_{4}, not T2T_{2}.

Refer to caption
Figure 4: Schematic illustrating how a quadrupole anisotropy in the background population can enhance the probability of νH\nu_{H} being emitted in a direction as aligned as possible with the principal axis of anisotropy. Observe in this example that the emitted νH\nu_{H} is misaligned with the principal axis of anisotropy by an angle θ\sim\theta. This small misalignment leads to a distribution of random walkers after one coverage time T2T_{2} [Eq. (57)] that is slightly dispersed relative to the distribution of the background population, i.e., the walker population (red line in the right plot) is slightly isotropised relative to the background population (yellow line) after one coverage time T2T_{2}. Then, by repeatedly updating the background anisotropy with the new walker population anisotropy (i.e., we “swap” the roles of the walker and the background populations) after every T2T_{2}, we will eventually after M1/θ2M\sim 1/\theta^{2} updates end up with a system that is completely isotropised (blue line). The total time this isotropisation process takes is T4M×T2T_{4}\sim M\times T_{2} [Eq. (58)].

To simplify the discussion, let us separate the system into a population of “walkers” and a population of “background” particles that recombine with the walkers to form νH\nu_{H}. As illustrated in Fig. 4, when a walker encounters a background with a quadrupole anisotropy, strict angular and momentum requirements for an inverse decay to happen favour the resulting νH\nu_{H} to be emitted in a direction as closely aligned as possible with the principal axis of anisotropy. The alignment is however never exact, as νH\nu_{H} is always emitted at an angle θ\sim\theta relative to both the trajectory of the walker and of the background particle that combines with it. In other words, we can think of the random walkers as “samplers” of an “emission direction function” \mathscr{E} that has a gradient in the angular direction following the anisotropy of the background, but with a small isotropic dispersion over the emission angle θ\theta—isotropic because the inverse decay interaction itself is invariant under rotation; any asymmetry in the νH\nu_{H} emission direction is due solely to the background anisotropies. This small isotropic dispersion is important, as it is precisely this dispersion that allows the 2\ell\geq 2 anisotropies of the system to be lost through decay/inverse decay, while preserving the dipole.

Now, as mentioned above, anisotropies in the cosmological context are typically no more than 105\sim 10^{-5}. We can therefore still expect a random walker to cover all angular directions in N1/θ2N\sim 1/\theta^{2} steps, or, equivalently, in a time T2T_{2}: for this reason we shall call T2T_{2} the coverage time. It is also over this timescale that the random walker “forgets” where it has come from. However, if we were to ask, what would happen to a whole population of random walkers after one coverage time T2T_{2}, then the answer would be we would find a walker population with no memory of its initial configuration but that is now distributed in a way that mimics the emission direction function \mathscr{E}, itself dictated by the underlying anisotropy of the background. Thus, we have not managed to wipe out the system’s anisotropy over time T2T_{2}; we have merely sampled the emission direction function \mathscr{E} and hence turned the random walker population into a slightly less anisotropic version of the background. At this point the reader may find our description reminiscent of a Markov Chain. It is indeed a Markov Chain, where the emission direction function \mathscr{E} plays the role of the likelihood function, and T2T_{2} is the burn-in time.

We can easily extend this picture to include updates to the emission direction function \mathscr{E} as the system loses its anisotropy, in order to estimate the isotropisation timescale, i.e., the time it takes to flatten \mathscr{E}. In reality the update must of course take place continuously, as the loss of anisotropy is itself a continuous process. In our discretised picture with one walker and one background population, however, we can mimic the update by swapping the roles of the walkers and the background after every coverage time T2T_{2}. That is, at every swap the new emission direction function new\mathscr{E}_{\rm new} is an isotropically smeared version of the old function old\mathscr{E}_{\rm old} over the emission angle θ\theta given by

new(φ)=dφold(φ)f(φφ,θ),\mathscr{E}_{\rm new}(\varphi)=\int{\rm d}\varphi^{\prime}\,\mathscr{E}_{\rm old}(\varphi^{\prime})f(\varphi^{\prime}-\varphi,\theta), (59)

where f(φ,θ)f(\varphi,\theta) is a normalised filter function of width θ\sim\theta. Then, for the quadrupole anisotropy of Fig. 4—given by old=(3cos2φ1)/2\mathscr{E}_{\rm old}=(3\cos^{2}\varphi-1)/2—and assuming a top-hat filter f(φ,θ)=Θ(φ+θ)Θ(θφ)/(2θ)f(\varphi,\theta)=\Theta(\varphi+\theta)\Theta(\theta-\varphi)/(2\theta), we see immediately that at its maximum point old(φ=0)=1\mathscr{E}_{\rm old}(\varphi=0)=1, the new emission direction function new(φ=0)\mathscr{E}_{\rm new}(\varphi=0) must reduce to

new(φ=0)\displaystyle\mathscr{E}_{\rm new}(\varphi=0) =14+3sin(2θ)8θ\displaystyle=\frac{1}{4}+\frac{3\sin(2\theta)}{8\theta} (60)
1θ22,θ1\displaystyle\simeq 1-\frac{\theta^{2}}{2},\quad\theta\ll 1

after the first swap, i.e., it reduces by an amount θ2/2\theta^{2}/2; had we used a normalised Gaussian filter of width θ\theta, we would have obtained a similar reduction of 3θ2/23\theta^{2}/2. Thus, we arrive at the conclusion that the number of swaps required to flatten \mathscr{E} must be M1/θ2M\sim 1/\theta^{2}. Then, together with the coverage timescale T2T_{2} from Eq. (57), we find an isotropisation timescale of M×T2θ4γ/Γdec0\sim M\times T_{2}\sim\theta^{-4}\gamma/\Gamma_{\rm dec}^{0}, which is precisely T4T_{4} of Eq. (58).

In conclusion, the random walk argument employed in Ref. Hannestad:2005ex to support an isotropisation timescale of T2T_{2} [Eq. (57)] carries a strong but unjustified assumption that the background on which a random walker scatters is already isotropised. Once this assumption is dropped, T2T_{2} is no longer sufficient time for isotropisation, and should be reinterpreted as the coverage time for a random walker to survey the system’s configuration once and to forget its previous state, while the anisotropy decreases only by a small amount θ2\theta^{2}. The true isotropisation timescale is a much longer T4T_{4} [Eq. (58)], stemming from the need for each random walker to survey and forget its own previous state another M1/θ2M\sim 1/\theta^{2} times, before all walkers will agree on their final configurations.

Appendix D Parameter estimation

Scenario A

X=52X=52 X=300X=300 X=595X=595
ωb\omega_{b} 0.02249±0.000160.02249\pm 0.00016 0.02248±0.000160.02248\pm 0.00016 0.02249±0.000160.02249\pm 0.00016
ωc\omega_{c} 0.1208±0.00130.1208\pm 0.0013 0.1208±0.00130.1208\pm 0.0013 0.1208±0.00120.1208\pm 0.0012
100θs100\theta_{s} 1.04178±0.000291.04178\pm 0.00029 1.04181±0.000301.04181\pm 0.00030 1.04179±0.000301.04179\pm 0.00030
τreio\tau_{\rm reio} 0.0561±0.00740.0561\pm 0.0074 0.0560±0.00800.0560\pm 0.0080 0.0567±0.007550.0567\pm 0.00755
nsn_{s} 0.9747±0.00450.9747\pm 0.0045 0.9751±0.00490.9751\pm 0.0049 0.9759±0.00490.9759\pm 0.0049
ln(1010As)\ln(10^{10}A_{s}) 3.0424±0.01453.0424\pm 0.0145 3.0431±0.01543.0431\pm 0.0154 3.0443±0.01493.0443\pm 0.0149
Y(s1)Y(s^{-1}) <18611<18611 <41636<41636 <74448<74448
hh 0.6768±0.05570.6768\pm 0.0557 0.6768±0.05680.6768\pm 0.0568 0.6768±0.05380.6768\pm 0.0538
σ8\sigma_{8} 0.8276±0.00630.8276\pm 0.0063 0.8280±0.00640.8280\pm 0.0064 0.8287±0.00620.8287\pm 0.0062

Scenario B

Λ\LambdaCDM Planck:2018vyg
X=298X=298 X=595X=595
ωb\omega_{b} 0.02229±0.000150.02229\pm 0.00015 0.02227±0.000150.02227\pm 0.00015 0.02237±0.000150.02237\pm 0.00015
ωc\omega_{c} 0.1200±0.001220.1200\pm 0.00122 0.1201±0.00120.1201\pm 0.0012 0.1200±0.00120.1200\pm 0.0012
100θs100\theta_{s} 1.04188±0.000301.04188\pm 0.00030 1.04191±0.000291.04191\pm 0.00029 1.04092±0.000311.04092\pm 0.00031
τreio\tau_{\rm reio} 0.0545±0.00720.0545\pm 0.0072 0.0539±0.00720.0539\pm 0.0072 0.0544±0.00730.0544\pm 0.0073
nsn_{s} 0.9690±0.00440.9690\pm 0.0044 0.9674±0.00430.9674\pm 0.0043 0.9649±0.00420.9649\pm 0.0042
ln(1010As)\ln(10^{10}A_{s}) 3.0424±0.01383.0424\pm 0.0138 3.0423±0.01403.0423\pm 0.0140 3.044±0.0143.044\pm 0.014
Y(s1)Y(s^{-1}) <2286<2286 <2288<2288
hh 0.6780±0.55920.6780\pm 0.5592 0.6778±0.55920.6778\pm 0.5592 0.6736±0.00540.6736\pm 0.0054
σ8\sigma_{8} 0.8245±0.00600.8245\pm 0.0060 0.8243±0.00600.8243\pm 0.0060 0.8111±0.00600.8111\pm 0.0060
Table 3: Mean and 1D marginalised 68% credible intervals for the base Λ\LambdaCDM parameters and the marginalised one-sided 95% credible limits on the effective transport rate YY derived from the Planck 2018 CMB data combination TTTEEE+lowE+lensing Planck:2018vyg , for fixed values of the effective mass parameter XX in scenarios A and B. The vanilla Λ\LambdaCDM estimates are taken from Ref. Planck:2018vyg .

We provide in this section summary statistics of our Markov Chains from Sect. 5.2. Table 3 shows the mean and 1D marginalised credible intervals for the variables of Eqs. (LABEL:eq:fitparamsA) (scenario A) and (LABEL:eq:fitparamsB) (scenario B), as well as for two derived parameters, the reduced Hubble expansion rate hh and the RMS fluctuation on 88 Mpc σ8\sigma_{8}, for all choices of fixed X=XscanX=X_{\rm scan} considered. For comparison we also provide the parameter estimates in a vanilla Λ\LambdaCDM fit to the same data combination taken from Ref. Planck:2018vyg . Figures 5 and 6 show the corresponding 2D marginalised contours.

Refer to caption
Figure 5: 2D marginalised 68% and 95% contours for the variables of Scenario A, for fixed values of the effective mass parameter XX. We show also the corresponding contours from a vanilla Λ\LambdaCDM fit.
Refer to caption
Figure 6: Same as Fig. 5, but for scenario B.