1 Introduction

The LSND [1], MiniBooNE [2], and Neutrino-4 [3, 4] collaborations have made observations consistent with anomalous neutrino flavour oscillations. Other, related anomalies have been measured with gallium detectors [5] and reactor neutrinos [6]. These observations suggest that additional neutrino flavours may exist at a mass scale of \({\mathcal {O}}(1\hbox { eV})\), beyond the three flavours of the Standard Model.

Measurements of the decay width of the Z boson [7] conclusively show that only three neutrino flavours with \(m_{\nu }<m_{Z}/2\) couple through the weak interaction; these three flavours are termed “active”, and any additional flavours are therefore referred to as “sterile”. The existence of a sterile neutrino can have observable effects since neutrino oscillations allow the sterile flavour states to mix with the active flavour states. Such mixing occurs as the neutrino mass eigenstates are related to the flavour eigenstates through a mixing matrix, the PMNS matrix [8,9,10]. The minimal phenomenological \(3+1\) model of sterile neutrinos adds a single sterile flavour state and a fourth mass eigenstate.

Limits on the existence of sterile neutrinos have been set by observations of the cosmic microwave background (CMB) [11] and by numerous neutrino oscillation experiments [12,13,14,15,16,17,18]. In a commonly used model, cosmological measurements set limits on the parameter \(\Delta N_{\mathrm {eff}}\), the additional number of relativistic degrees of freedom in the universe arising from the additional neutrino states, and \(m_{\mathrm {eff}}^{\mathrm {sterile}}\), the effective mass of the sterile neutrino. In a \(3+1\) model, neutrino oscillation experiments set limits on the mass splitting \(\Delta m^{2}_{41}=m_{4}^{2}-m_{1}^{2}\), the difference between the squared masses of the additional, fourth mass eigenstate and the lightest neutrino eigenstate, along with the elements of the \(4\times 4\) PMNS matrix.

Several previous studies [19,20,21,22] have made quantitative comparisons of cosmological and neutrino-oscillation limits on sterile neutrinos. For reviews of the field see, for example, Refs. [23,24,25]. Such comparisons are complicated due to this difference in parameterization. In a previous article [26], a comparison using a phenomenological model in which only the muon-neutrino flavour mixes into the fourth mass eigenstate was presented. This \(1+1\) model allows only comparisons of \(\nu _{\mu }\) disappearance measurements to the cosmological limits. Other studies [27] have investigated the situation in which only the electron-neutrino flavour is assumed to mix into the fourth mass eigenstate. Studies [28,29,30,31] are now extending the treatment to the full \(3+1\) model that is favoured for phenomenological interpretations of sterile neutrino searches. In this article, we extend beyond our previous work in [26] to the \(3+1\) model, to allow a direct comparison of cosmological limits to the LSND and MiniBooNE \({\overline{\nu }}_{\mu } \rightarrow {\overline{\nu }}_{e} \) and \(\nu _{\mu } \rightarrow \nu _{e} \) observations, showing the comological limits in the parameter space used by LSND and MiniBooNE, and also showing the LSND and MiniBooNE allowed regions in the parameter space of cosmological limits. In doing this, we develop a novel method that allows us to extend our comparisons into the degenerate region in which the sterile mass-splitting \(\Delta m^{2}_{41}\) becomes equal to the mass splitting \(\Delta m^{2}_{31}\).

2 Sterile neutrinos in oscillation experiments

In the \(3+1\) model, four neutrino flavour eigenstates, \(\nu _{l}\) (\(l=e,\mu ,\tau ,s)\), are related to four neutrino mass eigenstates, \(\nu _{i}\) (\(i=1,2,3,4\)), with masses \(m_{i}\), by a \(4\times 4\) extension of the PMNS matrix, U:

$$\begin{aligned} \left| \nu _{l}\right\rangle =\sum _{i=1}^{4}U_{li}\left| \nu _{i}\right\rangle . \end{aligned}$$
(1)

Throughout this paper, we assume all neutrino and antineutrino oscillation probabilities are equal and therefore use the symbol \(\nu \) to also refer to \({\overline{\nu }}\). If a neutrino of energy E is produced in a flavour eigenstate \(\nu _{l}\), the probability that it is detected in flavour eigenstate \(\nu _{l^{\prime }}\) after traveling a distance L is

$$\begin{aligned} P_{\nu _{l}\rightarrow \nu _{l^{\prime }}} = \left| \sum _{i=1}^{4}U_{li}U^{*}_{l^{\prime }i}e^{-im_{i}^{2}L/2E} \right| ^{2}. \end{aligned}$$
(2)

An experiment searching for \(\nu _{e}\) or \(\nu _{\mu }\) disappearance thus measures

$$\begin{aligned} 1-P_{\nu _{l}\rightarrow \nu _{l}} = 4\sum _{i=1}^{3}\sum _{j>i}^{4}\left| U_{li}\right| ^{2}\left| U_{lj}\right| ^{2} \sin ^{2}\left( \frac{\Delta m^{2}_{ji}L}{4E}\right) , \end{aligned}$$
(3)

where \(\Delta m^{2}_{ji}=m^{2}_{j}-m^{2}_{i}\) are the mass splittings. Each mass splitting therefore defines an observable oscillation wavelength, with the elements of the PMNS matrix governing the amplitudes of those oscillations.

Over the majority of the parameter space relevant to sterile-neutrino searches, \(|\Delta m^{2}_{41}|\gg |\Delta m^{2}_{31}|>|\Delta m^{2}_{21}|\). Thus, we can choose L and E to probe only the oscillations at the \(\Delta m^{2}_{41}\) wavelength, allowing us to approximate the disappearance probabilities in Eq. 3 to

$$\begin{aligned} 1-P_{\nu _{e}\rightarrow \nu _{e}}\approx & {} \sin ^{2}(2\theta _{14})\sin ^{2} \left( \frac{\Delta m^{2}_{41}L}{4E}\right) , \end{aligned}$$
(4)
$$\begin{aligned} 1-P_{\nu _{\mu }\rightarrow \nu _{\mu }}\approx & {} \sin ^{2}(2\theta _{24})\sin ^{2} \left( \frac{\Delta m^{2}_{41}L}{4E}\right) . \end{aligned}$$
(5)

Here, we have introduced the mixing angles \(\theta _{ij}\) that are used to parameterize the PMNS matrix. We refer to this approximation of the oscillation probabilities as a \(1+1\) model since it assumes only one mass splitting, neglecting the effects of \(\Delta m^{2}_{31}\) and \(\Delta m^{2}_{21}\), and assuming only one flavour state at a time (either electron or muon) mixes into the fourth mass eigenstate. The mixing angle \(\theta _{14}\) quantifies how much electron flavour mixes into the fourth mass eigenstate, and the angle \(\theta _{24}\) quantifies this mixing for the muon flavour. In this paper, we use the \(1+1\) model for an analysis of \(\nu _{e} \) disappearance.

In our analysis of \(\nu _{\mu } \rightarrow \nu _{e} \) appearance we use a \(3+1\) model, in which there are three independent mass splittings (\(\Delta m^{2}_{21}\), \(\Delta m^{2}_{31}\) and \(\Delta m^{2}_{41}\)), six mixing angles (\(\theta _{12}\), \(\theta _{13}\), \(\theta _{23}\), \(\theta _{14}\), \(\theta _{24}\), and \(\theta _{34}\)), and three complex phases (\(\delta _{13}\), \(\delta _{14}\) and \(\delta _{34}\)). Still, only the angles \(\theta _{14}\) and \(\theta _{24}\) and the mass-splitting \(\Delta m^{2}_{41}\) are relevant to this work. We set \(\theta _{34}=\delta _{14}=\delta _{34}=0\), as these parameters have no impact on our results. The remaining oscillation parameters we set to the best-fit values from a global fit [32], assuming normal mass ordering: \(\Delta m^{2}_{21}=7.50\times 10^{-5}{\hbox {eV}^{2}}\), \(\Delta m^{2}_{21}=2.524\times 10^{-3}{\hbox {eV}^{2}}\), \(\sin ^{2}\theta _{12}=0.306\), \(\sin ^{2}\theta _{13}=0.02166\), \(\sin ^{2}\theta _{23}=0.441\), and \(\delta _{13}=0\).

We use the exact oscillation formula for our analysis of \(\nu _{e} \) appearance. Since in the region of large \(\Delta m^{2}_{41}\) the relevant oscillation probability for \(\nu _{\mu } \rightarrow \nu _{e} \) is, to a good approximation,

$$\begin{aligned} P_{\nu _{\mu } \rightarrow \nu _{e}} \approx \sin ^{2}(2\theta _{14})\sin ^{2}\theta _{24}\sin ^{2}\left( \frac{\Delta m^{2}_{41}L}{4E}\right) , \end{aligned}$$
(6)

we express limits as a function of \(\Delta m^{2}_{41}\) and \(\sin ^{2}(2\theta _{14})\sin ^{2}\theta _{24} \equiv \sin ^{2}(2\theta _{\mu e})\).

3 Data from oscillation experiments

We use data from collaborations that report allowed regions consistent with sterile neutrino oscillations. Such regions have been reported by the LSND, MiniBooNE, and Neutrino-4 collaborations, in addition to the regions allowed by the reactor and gallium anomalies. We then compare to the exclusion region from Daya Bay, combined with Bugey-3 and MINOS data, which provides stronger exclusion at lower values of the mass of the fourth mass eigenstate, where the sensitivity of the Planck results decreases.

3.1 LSND

The Liquid Scintillator Neutrino Detector (LSND) took data from 1993–1998 at the Los Alamos Meson Physics Facility. A \(167\hbox { t}\) liquid scintillator detector was placed \(30\hbox { m}\) away from a stopped-pion source that produced \({\overline{\nu }}_{\mu }\) with energies up to \(52.8\hbox { MeV}\) [33]. Appearance of \({\overline{\nu }}_{e}\) was observed in the detector with a total excess of \(87.9\pm 22.4\mathrm {(stat.)}\pm 6.0\mathrm {(syst.)}\) \({\overline{\nu }}_{e}\) events above the expected background [1]. To explain this excess through oscillations, a mass splitting \(\Delta m^{2}_{41} > rsim 0.03{\hbox {eV}^{2}}\) is required.

We determine the \(90\%\) confidence level (Cl) allowed region by requiring \(\chi ^2-\chi ^2_{\mathrm{min}}=4.605\) between the observed positron energy spectrum and an estimated spectrum. The appearance spectrum is simulated with pseudo-experiments, producing a reconstructed neutrino energy from a reconstructed positron energy and angle, and integrating the reconstructed neutrino energy over the same binning as in Ref. [1]. The true positron energy, \(E_{e^+}\), is the difference between the true neutrino energy and the threshold energy of 1.806 MeV. The \({\overline{\nu }}_{e} \rightarrow e^+\) cross section is estimated to be linear in \(E_{e^+}\). The reconstructed positron energy is smeared by a Gaussian function of the form \(7\%/\sqrt{E_{e^{+}}/52.8\text {~MeV}}\), and its angle is Gaussian-smeared by \(12^{\circ }\). The distance L that the neutrino has travelled is uniformly spread in the range [25.85, 34.15] m, and a 14 cm Gaussian smearing is applied to produce a reconstructed distance. The flux is determined for pions decaying at rest to \({\overline{\nu }}_{\mu } \), with an \(L^{-2}\) weighting applied. The true neutrino energy and distance is used to calculate the oscillated \({\overline{\nu }}_{e} \) flux with Eq. 6.

3.2 MiniBooNE

The MiniBooNE experiment was an \(818\hbox { t}\) mineral oil Cherenkov detector [34] \(541\hbox { m}\) away from the neutrino-production target of the Booster Neutrino Beam [35]. The beam could be configured to produce either \(\nu _{\mu }\) or \({\overline{\nu }}_{\mu }\) with mean energy of \(\approx \!\! 800 \hbox { MeV}\). By searching for the appearance of either \(\nu _{e}\) or \({\overline{\nu }}_{e}\), the experiment was sensitive to oscillations driven by a similar range of \(\Delta m^{2}_{41}\) as LSND. An excess of activity consistent with \(\nu _{e}\) and \({\overline{\nu }}_{e}\) was observed. We use the Cl contours from the Collaboration’s public data release [36].

3.3 Neutrino-4

The Neutrino-4 experiment [3, 4] searches for the disappearance of \({\overline{\nu }}_{e}\) from the SM3 reactor in Russia. A gadolinium-doped liquid scintillator detector is divided into 50 sections that can be placed at various distances, from 6 to 12 m, from the reactor core. The data analysis yields an oscillatory pattern to the \({\overline{\nu }}_{e} \) detection rate as a function of L/E that is interpreted in terms of a sterile neutrino with best-fit oscillation parameters \(\Delta m^{2}_{41} = 7.34{\hbox {eV}^{2}}\), \(\sin ^{2}(2\theta _{14}) = 0.44\). We take the 95% Cl allowed region directly from Refs. [3, 4].

3.4 Reactor anomaly

The reactor anomaly, first described in Ref. [6], is the observation that, with more modern flux calculations, many short-baseline reactor-\({\overline{\nu }}_{e}\) searches show a deficit compared to the expected flux. This observation can be interpreted as \({\overline{\nu }}_{e}\) disappearance due to oscillations involving a sterile neutrino. We use the 95% Cl allowed region calculated in Ref. [37].

3.5 Gallium anomaly

The gallium anomaly, first described in Ref. [5], measured the \(\nu _{e}\) rate from radioactive calibration sources in the SAGE and GALLEX solar-neutrino detectors. A deficit in the measured rate compared to the expectation can be interpreted as \(\nu _{e}\) disappearance due to oscillations involving a sterile neutrino. We use the 95% Cl allowed region calculated in Ref. [37].

3.6 Daya Bay

The Daya Bay experiment consists of eight gadolinium-doped liquid scintillator detectors that measure the disappearance of electron antineutrinos from the Daya Bay and Ling Ao nuclear power plants in China [38]. The arrangement of eight detectors and six reactor cores provides a range of baselines between 358 m and 1925 m. The Daya Bay experiment was designed to be sensitive to oscillations driven by \(\Delta m^{2}_{31}\) and \(\theta _{13}\) [39]; however, by looking for non-standard \({\overline{\nu }}_{e}\) disappearance, Daya Bay can also search for oscillations driven by \(\Delta m^{2}_{41}\) and \(\theta _{14}\) in the range \(10^{-4} \lesssim \left| \Delta m^{2}_{41}\right| \lesssim 0.1{\hbox {eV}^{2}}\) [14]. We use the Daya Bay data release [40] to recreate the \(\chi ^{2}\) surface, and follow the prescribed approach [41], based on the \(\hbox {Cl}_{\mathrm {s}}\) method [42, 43], to produce the \(95\%\) Cl exclusion contour.

3.7 Bugey-3

The Bugey-3 experiment took data in the early 1990s. The experiment used two lithium-doped liquid-scintillator detectors [44] to search for the disappearance of \({\overline{\nu }}_{e}\) at distances of 15 m, 40 m and 95 m from the Bugey nuclear power plant in France [45]. The shorter baseline provides sensitivity to sterile neutrinos at a higher range of \(\left| \Delta m^{2}_{41}\right| \) compared to Daya Bay.

3.8 MINOS

The MINOS experiment used two steel-scintillator calorimeters [46] to search for the disappearance of muon neutrinos and antineutrinos from the NuMI beam at Fermilab [47] at baselines of 1.04 km and 735 km. MINOS was designed to be sensitive to oscillations driven by \(\Delta m^{2}_{31}\) and \(\theta _{23}\) [48]. By searching for non-standard \(\nu _{\mu }\) and \({\overline{\nu }}_{\mu }\) disappearance at higher energies, it is also sensitive to oscillations driven by the sterile-neutrino parameters \(\Delta m^{2}_{41}\) and \(\theta _{24}\) [12].

3.9 Combination of Daya Bay, Bugey-3, and MINOS Data

The Daya Bay limit was combined with that of Bugey-3 and MINOS to produce limits on the parameters \(\Delta m^{2}_{41}\) and \(\sin ^{2}(2\theta _{\mu e})\) that govern \(\nu _{\mu } \rightarrow \nu _{e} \) appearance [15]. In performing this combination, the analysis of the Bugey-3 data was updated to use a more recent calculation of the neutron lifetime in the cross-section of the inverse-\(\beta \) decay process that is used for \({\overline{\nu }}_{e}\) detection. In addition, the ILL+Vogel flux model [49, 50] was replaced with the Huber-Mueller model [51, 52]. We use the combined \(\hbox {Cl}_{\mathrm {s}}\) surface of Ref. [53] to reproduce the \(95\%\) Cl exclusion contour.

Fig. 1
figure 1

a, b Cosmological parameters \(\Delta N_{\mathrm{eff}}^\mathrm {sterile}\) and \(m_{\mathrm {eff}}^\mathrm {sterile}\) calculated, using LASAGNA, in the oscillation space of the \(1+1\) model that is relevant for \(\nu _{e}\) and \({\overline{\nu }}_{e}\) disappearance measurements. We use the thermal sterile neutrino mass (Eq. 8) and assume vanishing lepton asymmetry (\(L=0\)). We also show the Daya Bay exclusion contour; the region to the right of the contour is ruled out at the \(95\%\) Cl. c, d The oscillation parameters of the \(1+1\) electron-neutrino disappearance model, \(\Delta m^{2}_{41}\) and \(\sin ^{2} (2 \theta _{14})\), in the cosmological space \((m_{\mathrm {eff}}^{\mathrm {sterile}}\), \(\Delta N_{\mathrm {eff}})\). The region above the blue line is excluded by the Planck TT, TE, EE and low-multipole EE power spectra at the \(95\%\) Cl. A prior of \(m_{4} < 10 \hbox {eV}\) is applied, shown by the hatched region that has not been considered in our probability density estimation

4 Sterile neutrinos in cosmological measurements

The presence of one or more sterile neutrinos can affect the power spectrum of the CMB. The effective mass of the sterile neutrino is defined as \( m_{\mathrm {eff}}^{\mathrm {sterile}} = \left( 94.1\,\Omega _{\mathrm {sterile}}h^{2}\right) \,\mathrm {eV}, \) where \(h=H/100\) with the Hubble parameter H, and \(\Omega _{\mathrm {sterile}}\) is the contribution of sterile neutrinos to the matter energy-density in the Universe. The neutrino number density, \(n_{\nu }\), is expressed as a function of the number of effective neutrino species, \(N_{\mathrm {eff}}\), as

$$\begin{aligned} n_{\nu } = \left( \frac{3}{4}\right) N_{\mathrm {eff}} \left( \frac{4}{11}\right) n_{\gamma }, \end{aligned}$$
(7)

where \(n_{\gamma }\) is the number density of photons in the CMB. Standard cosmology predicts \(N_{\mathrm {eff}}=3.046\), since the process of neutrino decoupling from the CMB was not instantaneous, and neutrinos still interacted with leptons in the primordial plasma [54]. This allows us to define the effective number of additional radiative degrees of freedom, equivalent to the effective number of additional neutrino species, as \( \Delta N_{\mathrm {eff}} = N_{\mathrm {eff}}-3.046. \)

We relate \(m_{\mathrm {eff}}^{\mathrm {sterile}}\) and the mass of the fourth neutrino mass eigenstate, \(m_{4}\), using the standard relationship [11]

$$\begin{aligned} m_{\mathrm {eff}}^{\mathrm {sterile}} = \left( \frac{T_{s}}{T_{\nu }}\right) ^{3}m_{4} =(\Delta N_{\mathrm {eff}})^{3/4}m_{4}. \end{aligned}$$
(8)

Here, we assume a thermally distributed sterile neutrino with a temperature \(T_{s}\) that may differ from the active neutrino thermalisation temperature \(T_{\nu }\)

A fully thermalized sterile neutrino with temperature \(T_{s}=T_{\nu }\) corresponds to a measured \(\Delta N_{\mathrm {eff}}=1\) and \(m_{\mathrm {eff}}^{\mathrm {sterile}}=m_{4}\). An alternative relationship between \(m_{\mathrm {eff}}^{\mathrm {sterile}}\) and \(m_{4}\), the Dodelson-Widrow mechanism [55], assumes that \(\Delta N_{\mathrm {eff}}\) acts as a linear scaling factor, \( m_{\mathrm {eff}}^{\mathrm {sterile}}=\Delta N_{\mathrm {eff}}m_{4}.\) The choice of this function does not significantly impact our results.

5 The Planck experiment

The Planck satellite made detailed observations of anisotropies of the CMB between 2009 and 2013, over a frequency range from 30 to 857 GHz [56, 57]. The Planck Collaboration combines data from the TT, TE and EE power spectra, the low-multipole EE power spectrum (LowE), CMB lensing, and baryon acoustic oscillations (BAO) to set limits of \(N_{\mathrm {eff}} < 3.29\) and \(m_{\mathrm {eff}}^{\mathrm {sterile}} < 0.23\) eV [11]. These results arise from the use of a flat prior in the range \(0<m_{\mathrm {eff}}^{\mathrm {sterile}}<10~\)eV. A more restrictive prior results in more constraining limits. A flat prior in the range \(0<\Delta N_{\mathrm {eff}}<1\) is also used. The Planck analysis assumes a normal neutrino-mass ordering and active states with masses \(m_{1}=m_{2}=0\) and \(m_{3}=0.06 \hbox { eV}\).

To obtain these limits on sterile neutrinos, we used data sets provided by the Planck Collaboration. They fit the data using the CosmoMC software [58, 59], based on a \(\Lambda \text {CDM}+m_{\mathrm {eff}}^{\mathrm {sterile}}+\Delta N_{\mathrm {eff}}\) model. Neutrino and nuisance parameters are varied to build a large number of points in the parameter space. The cosmological priors used are described in Section 2.1 of Ref [11]. The Planck Collaboration provides the Markov Chain Monte Carlo (MCMC) points in Ref. [60]. We derive exclusion limits in the \((\Delta N_{\mathrm {eff}}, m_{\mathrm {eff}}^{\mathrm {sterile}})\) space by using kernel density estimation (implemented in scipy [61]) over the MCMC points to find the most probable point in the two-dimensional space, as well as the region around it that contains \(95\%\) of the integrated probability when ordered by probability density.

6 Electron neutrino disappearance in a \(1+1\) model

To translate from the parameter space (\(\Delta N_{\text {eff}}\), \(m_{\text {eff}}^{\text {sterile}}\)) to the parameter space (\(\sin ^{2} 2\theta _{14}\), \(|\Delta m^{2}_{41}|\)), we use LASAGNA [62] for calculating \(\Delta N_{\text {eff}}\) as a function of the mass splitting \(|\Delta m^{2}_{41}|\) and mixing angle \(\sin ^{2} 2\theta _{14}\). LASAGNA solves the quantum kinetic equations describing neutrino thermalization in the early universe by evolving the equations over a temperature range for input values of \(|\Delta m^{2}_{41}|\) and \(\sin ^{2} (2\theta _{14})\).

Fig. 2
figure 2

a Shows, in the neutrino-oscillation parameter space, limits on the electron flavour mixing with the fourth mass state, using a \(1+1\) model. The exclusion region from the Daya Bay oscillation experiment, and the allowed regions from the Neutrino-4 experiment and the reactor anomaly, come from searches for \({\overline{\nu }}_{e}\) disappearance. The allowed region from the gallium anomaly comes from a search for \(\nu _{e}\) disappearance. For the Daya Bay line, everything to the right is ruled out at 95% Cl. The solid blue line labeled ‘Planck’ shows the exclusion using the Planck TT, TE, EE and low-multipole EE power spectra, using Eq. 8 to relate \(m_{\mathrm {eff}}^{\mathrm {sterile}}\) to \(m_{4}\), with the region to the right ruled out at 95% Cl. The dashed blue line shows the impact of further including CMB and BAO data into the Planck limit, again using Eq. 8. The dashed grey line illustrates the impact on the Planck limit (the solid blue) of using the mean momentum approximation (MMA). Graph b shows the same set of limits (minus the MMA line) in the cosmological parameter space. The Neutrino-4 and gallium-anomaly lines are no longer visible as they are compressed up along the \(\Delta N_\mathrm {eff}=1\) axis. The hatched region corresponds to the prior of \(m_{4}<10\hbox { eV}\) assumed in the Planck analysis

Limits from neutrino disappearance experiments can be interpreted in the \(1+1\) model, which assumes that only one active flavour state mixes into the fourth mass state and that the three other mass states form a single, mass-degenerate state, \(\nu _{d}\). For \(\nu _{e}\) disappearance experiments, we allow only the \(\nu _{e}\) flavour to mix into the fourth mass state. This is equivalent to varying \(\theta _{14}\) whilst fixing \(\theta _{24}=\theta _{34}=0\). In this model, we can write

$$\begin{aligned} \nu _{e}= & {} \cos \theta _{14}\nu _{d}-\sin \theta _{14}\nu _{4}, \end{aligned}$$
(9)
$$\begin{aligned} \nu _{s}= & {} \sin \theta _{14}\nu _{d}+\cos \theta _{14}\nu _{4}. \end{aligned}$$
(10)

LASAGNA calculates the Bloch vectors

$$\begin{aligned} (P_{0},\mathbf{P})=(P_{0}, P_{x}, P_{y}, P_{z}) \end{aligned}$$
(11)

for neutrinos and \(({\overline{P}}_{0}, \overline{\mathbf{P}})\) for anti-neutrinos using the \(1+1\) model. The resulting vector \(P_{s}^{+} = (P_{0}+{\overline{P}}_{0}) + (P_{z}+{\overline{P}}_{z})\) enters the expression

$$\begin{aligned} \Delta N_\mathrm {eff}=\frac{\int (p/T)^{3}(1+e^{p/T})^{-1}P_{s}^{+}\,\mathrm {d}(\frac{p}{T})}{4\int (p/T)^{3}(1+e^{p/T})^{-1}\,\mathrm {d}(\frac{p}{T})}, \end{aligned}$$
(12)

where the momentum distribution, p, of the neutrinos is assumed to obey a Fermi-Dirac distribution at temperature T. A temperature range of \(T=[40,1]\,\mathrm {MeV}\) covers the period from the beginning to the end of decoupling. We assume the lepton asymmetry, \(L=(n_{l}-n_{{\overline{l}}})/n_{\gamma }\), to be zero. It was shown in Ref. [26] that the Planck exclusion region is significantly reduced in a 1+1 model for \(\nu _{\mu }\) disappearance for large lepton asymmetries (\(L = 10^{-2}\)).

We use LASAGNA to calculate \(\Delta N_{\mathrm {eff}}\) for a grid in the oscillation parameter space of \(|\Delta m^{2}_{41}| \equiv |m_{4}^{2}-m_{d}^{2}|\) and \(\sin ^{2}(2\theta _{14})\), as shown in Fig. 1a. Equation 8 allows us to express this result for all relevant combinations of \(\Delta N_{\mathrm {eff}}\), \(m_{\mathrm {eff}}^{\mathrm {sterile}}\), \(\sin ^{2}(2\theta _{14}),\) and \(|\Delta m^{2}_{41}|\) (Fig. 1b–d). The figures show that the impact of the sterile state on \(\Delta N_\mathrm {eff}\) is minimal for small \(\sin ^{2}(2\theta _{14})\) and \(|\Delta m^{2}_{41}|\), increasing to a full extra degree of freedom, \(\Delta N_\mathrm {eff}=1\), at larger values of the mixing angle and mass splitting. This is related to the amount of thermalisation of the fourth neutrino state in the early universe: a larger mixing angle allows a higher thermalisation rate, and a larger effective sterile neutrino mass (corresponding to a larger mass splitting) increases the temperature at which the thermalisation occurs. More explanation of this can be found in Refs. [19, 63].

In Fig. 2a we express the Planck exclusion limit in the parameter space \((\sin ^{2}(2\theta _{14}), |\Delta m^{2}_{41}|)\) and overlay the limit from Daya Bay, and the allowed regions from Neutrino-4 and the gallium and reactor anomalies. The equivalent contours translated into the cosmological parameter space \((m_{\mathrm {eff}}^{\mathrm {sterile}}, \Delta N_{\mathrm {eff}})\) are shown in Fig. 2b. In both figures, we show the Planck limit with and without the BAO and CMB lensing data.

The limits obtained using the Planck data with and without the BAO and CMB lensing data are strongly constraining in both parameter spaces in the region above \(|\Delta m^{2}_{41}|\approx 0.1{\hbox {eV}^{2}}\) and \(m_{\mathrm {eff}}^{\mathrm {sterile}}\approx 0.2 \hbox {eV}\), and exclude the allowed regions from the Neutrino-4 experiment, and from the gallium and reactor anomalies. The Daya Bay experiment is sensitive to the regions of low \(|\Delta m^{2}_{41}|\) and \(m_{\mathrm {eff}}^{\mathrm {sterile}}\), where the cosmological data are less constraining.

Fig. 3
figure 3

The cosmological parameters a \(\Delta N_{\mathrm{eff}}\) and b \(m_\mathrm {eff}^\mathrm {sterile}\) calculated in the oscillation parameter space (\(\Delta m^{2}_{41}\), \(\sin ^{2} (2 \theta _{\mu e}))\) using the mean momentum approximation as described in the text

7 Electron neutrino appearance in a \(3+1\) model

When considering \(\sin ^{2}(2\theta _{\mu e})\), both mixing angles \(\theta _{14}\) and \(\theta _{24}\) must be allowed to be non-zero to allow both \(\nu _{e}\) and \(\nu _{\mu }\) flavours to mix into the \(\nu _{4}\) state, and so we work in the \(3+1\) model with one sterile and three active neutrino flavours, albeit setting \(\theta _{34}=0\). This model can be solved exactly [31] but working with the full momentum dependence of the quantum kinetic equations is computationally very intensive. Hence, we use the mean momentum approximation (MMA) following the prescription of Ref. [28] summarized below.

The neutrino density matrix,

$$\begin{aligned} \rho (x,y)=\left( \begin{array}{cccc} \rho _{ee} &{} \rho _{e\mu } &{} \rho _{e\tau } &{} \rho _{es}\\ \rho _{\mu e} &{} \rho _{\mu \mu } &{} \rho _{\mu \tau } &{} \rho _{\mu s}\\ \rho _{\tau e} &{} \rho _{\tau \mu } &{} \rho _{\tau \tau } &{} \rho _{\tau s}\\ \rho _{se} &{} \rho _{s\mu } &{} \rho _{s\tau } &{} \rho _{ss}\\ \end{array} \right) , \end{aligned}$$
(13)

depends on the mixing angles and mass splittings. It can be written as a function of reduced time, \(x\equiv m/T\), and reduced momentum, \(y\equiv p/T\), where m is an arbitrary mass scale and T is the initial temperature of the thermal, active neutrinos. This matrix is used to calculate \(\Delta N_{\mathrm {eff}}\) for any required values of \(\theta _{14}\), \(\theta _{24}\) and \(\Delta m^{2}_{41}\) as

$$\begin{aligned} \Delta N_{\mathrm {eff}}=\frac{1}{2}\left( \mathrm {Tr}(\rho )+\mathrm {Tr}({\overline{\rho }}) -6\right) . \end{aligned}$$
(14)

The MMA assumes that the momentum dependence of \(\rho (x,y)\) can be factorized out as a Fermi-Dirac distribution, \(\rho (x,y)\rightarrow f_{\mathrm {FD}}(y)\rho (x)\). The equations of motion for the neutrino and anti-neutrino density matrices is then written assuming that all neutrinos have the same momentum, \(\left<y\right>\).

Fig. 4
figure 4

Limits on the parameters governing \(\nu _\mu \rightarrow \nu _e\) appearance in a \(3+1\) model, shown in the neutrino-oscillation parameter space. Solid regions are the allowed regions from the MiniBooNE and LSND measurements. The light blue line is an exclusion region from the Daya Bay/Bugey/MINOS combined analysis. The dark blue lines show the Planck exclusion region, expressed in this parameter space, with (dashed) and without (solid) the BAO and CMB lensing data included

We solve the resulting differential equations of motion numerically with an implicit Runge-Kutta algorithm of order 5, RADAU5 [64], using a publicly available C++ implementation [65]. To evaluate \(\Delta N_{\mathrm {eff}}\), we evolve the density matrix from \(T=100\;\hbox {MeV}\) to \(T=1\;\hbox {MeV}\). To project the cosmological limits onto the \(\sin ^{2}(2\theta _{\mu e})\) axis, we minimise the value of \(\Delta N_{\mathrm {eff}}\) as a function of \(\theta _{14}\) and \(\theta _{24}\) along a contour of constant \(\sin ^{2}(2\theta _{\mu e})\); the derived 95% confidence limits therefore assume the maximum possible thermalisation for a given value of \(\theta _{\mu e}\). The resulting values of \(\Delta N_\mathrm {eff}\) as a function of \(\Delta m^{2}_{41}\) and \(\sin ^{2}(2\theta _{\mu e})\) are shown in Fig 3.

In the region \(|\Delta m^{2}_{41}|\lesssim |\Delta m^{2}_{31}|\), the mass splitting \(\Delta m^{2}_{41}\) is driving neutrino oscillations at wavelengths similar to those driven by the active-neutrino mass splittings. This is referred to as the degenerate region, and in this region the RADAU5 solver slows down drastically due to the stiffness of the problem when degeneracies are crossed. To mitigate this, we increase the tolerance by a factor of 10 after every 100,000 steps of the algorithm, starting from a default tolerance of \(10^{-10}\), reaching a maximum tolerance of \(10^{-4}\) required for certain parameters to converge quickly.

We evaluate the impact of the MMA by repeating the \(\nu _{e}\) disappearance analysis in the \(1+1\) model using this approximation. The result of this is shown in Fig. 2a, illustrating that, under the MMA, the cosmological exclusion contours expressed in the \((\Delta m^{2}_{41},\sin ^{2}(2\theta _{14}))\) parameter space become slightly weaker.

In Fig. 4, we show the Planck exclusion contours, with and without the BAO and CMB lensing data, in the \((\Delta m^{2}_{41},\sin ^{2}(2\theta _{\mu e}))\) parameter space. We compare this to the limits from the Daya Bay/Bugey/MINOS combination, and the allowed regions from the LSND and MiniBooNE \(\nu _{e} \rightarrow \nu _{\mu } \) searches. The Planck exclusion region strongly excludes the entirety of the LSND and MiniBooNE allowed regions. The Daya Bay/Bugey/MINOS combined exclusion region is comparable in its exclusion power to that from the Planck data for mass splittings below \(\Delta m^{2}_{41}\approx 5\times 10^{-2}{\hbox {eV}^{2}}\) and becomes more constraining below \(\Delta m^{2}_{41}\approx 10^{-3}{\hbox {eV}^{2}}\).

8 Conclusions

The discovery of a sterile neutrino would have major implications for the field of particle physics. The presence of both possible observations from neutrino oscillation experiments such as LSND and MiniBooNE, negative results from other oscillation experiments, and negative results from cosmological experiments, have left the field in an ambiguous situation. A particular challenge in drawing conclusions is quantitative comparison of limits from neutrino oscillation data with those from cosmology, due to the different parameter spaces in which measurements from these two sets are expressed.

In this article, we discuss a procedure to convert limits on sterile neutrinos between the \((|\Delta m^{2}_{41}|,\theta _{14},\theta _{24})\) parameter space of neutrino oscillation physics and the \((m^{\mathrm {sterile}}_{\mathrm {eff}},\Delta N_{\mathrm {eff}})\) parameter space of cosmology. We use the LASAGNA software package to solve the quantum kinetic equations of neutrinos in the early universe in a \(1+1\) model, allowing us to compare the exclusion regions obtained from Planck data with both allowed regions and exclusion regions from \(\nu _{e}\) and \({\overline{\nu }}_{e}\) disappearance searches. In a \(3+1\) model, we use a mean momentum approximation to solve the quantum kinetic equations, allowing us to compare the Planck exclusion with allowed regions and exclusion regions corresponding to \(\nu _{\mu } \rightarrow \nu _{e} \) searches. We find that the Planck data strongly excludes the allowed regions from the Neutrino-4, LSND and MiniBooNE experiments, as well as from the gallium and reactor anomalies. Compared to the Daya Bay exclusion region from \(\nu _{e}\) disappearance, Planck is much more constraining above \(|\Delta m^{2}_{41}|\approx 0.1{\hbox {eV}^{2}}\) and \(m^\mathrm {sterile}_\mathrm {eff}\approx 0.2 \hbox {eV}\), whereas at lower values, Daya Bay provides a more stringent exclusion on \(\theta _{14}\). The Planck data provide the strongest exclusion on the \(\theta _{\mu e}\) parameter that describes \(\nu _{\mu } \rightarrow \nu _{e} \) appearance above \(\Delta m^{2}_{41}\approx 5\times 10^{-2}{\hbox {eV}^{2}}\); below this value, the Daya Bay/Bugey/MINOS combination becomes comparable in terms of its exclusion power.

Experimental and theoretical efforts are ongoing to relieve the tension between positive signals from appearance experiments and the strong exclusions from disappearance measurements and cosmology. Appearance experiments such as MicroBooNE [66] and the SBN programme [67] have the potential to rule out or confirm the previous appearance signals. Theoretical work on the cosmological side has to limit thermalisation of the sterile neutrino state in order to maintain \(N_\mathrm {eff}\approx 3\). Examples include the introduction of new interactions for the sterile neutrino [68,69,70,71], a large lepton-antilepton asymmetry in the early universe [72,73,74], and the introduction of reheating at low temperatures [75,76,77].