Search for Heavy Neutral Leptons with IceCube DeepCore

TL;DR

This paper reports the first search for heavy neutral leptons using IceCube data, setting new constraints on their mixing with tau neutrinos at GeV-scale masses, and establishing a foundation for future searches.

Contribution

It introduces a novel search method for heavy neutral leptons in IceCube, extending the neutrino model and developing a dedicated event generator for future studies.

Findings

No significant heavy neutral lepton signals detected.

Constraints on mixing parameter |U_{τ4}|^2 established for three mass points.

Proof-of-concept for heavy neutral lepton searches in IceCube.

Abstract

The observation of neutrino oscillations has established that neutrinos have non-zero masses. This phenomenon is not explained by the Standard Model of particle physics, but one viable explanation to this dilemma involves the existence of heavy neutral leptons in the form of right-handed neutrinos. This work presents the first search for heavy neutral leptons with the IceCube Neutrino Observatory. The standard three flavor neutrino model is extended by adding a fourth GeV-scale mass state allowing mixing with the $\tau$ sector through the parameter $|U_{\tau4}|^2$. The analysis is performed by searching for signatures of heavy neutral leptons that are directly produced via up-scattering of atmospheric $\nu_\tau$'s inside the IceCube detection volume. Three heavy neutral lepton mass values, $m_4$, of 0.3 GeV, 0.6 GeV, and 1.0 GeV are tested using ten years of data, collected between 2011 and 2021. No significant signal of heavy neutral leptons is observed for any of the tested masses. The resulting constraints for the mixing parameter are $|U_{\tau4}|^2 < 0.19$ ($m_4 = 0.3$ GeV), $|U_{\tau4}|^2 < 0.36$ ($m_4 = 0.6$ GeV), and $|U_{\tau4}|^2 < 0.40$ ($m_4 = 1.0$ GeV) at the 90% confidence level. This analysis serves as proof-of-concept for heavy neutral lepton searches in IceCube. The heavy neutral lepton event generator, developed in this work, and the analysis of the expected signatures lay the fundamental groundwork for future searches thereof.