Heavy neutral lepton searches at an ICARUS-like detector using NuMI beam

The discovery of non-zero neutrino masses and mixings that the Standard Model (SM) cannot accommodate opens up the possibility of the existence of Heavy Neutral Leptons (HNLs). In minimal models, the HNL production and decay are controlled by SM interactions and the mixing between HNLs and the active neutrino and typically result in relatively long lifetimes if the masses are in the MeV–GeV range. We have studied the physics case and technical feasibility for a dedicated HNL search using the NuMI beam at an ICARUS-like detector. Our analysis demonstrates that the constraints on the mixing of the HNL as a function of its mass for an ICARUS-like detector with NuMI beam are highly competitive with the limits obtained from present experiments.