Simulating and searching for Heavy Neutral Leptons in IceCube

Heavy Neutral Leptons (HNLs) are Standard Model (SM) singlets posited as an explanation for light neutrino masses. IceCube is uniquely capable of searching for an HNL in the hundreds of MeV to single GeV range by looking for atmospheric tau neutrinos upscattering to HNLs in the detector. The HNLs produced in IceCube would decay quickly, leading to Cherenkov radiation in both production and decay separated by a few meters, producing a "double cascade" signature in the detector. A simulation based on the most up-to-date calculations of HNL decay modes and cross-sections is required to explore the hundreds of MeV to single GeV parameter space for an HNL search. This work outlines the capabilities of the first HNL simulation for neutrino observatories, and presents sensitivities for IceCube's HNL search.