Abstract:Heavy neutral leptons (HNLs) are motivated by attempts to explain neutrino masses and dark matter. If their masses are in the MeV to several GeV range, HNLs are light enough to be copiously produced at collider and accelerator facilities, but also heavy enough to decay to visible particles on length scales that can be observed in particle detectors. Previous studies evaluating the sensitivities of experiments have often focused on simple but not particularly well-motivated models in which the HNL mixes with only one active neutrino flavor. In this work, we accurately simulate models for HNL masses between 100 MeV and 10 GeV and arbitrary couplings to e , μ , and τ leptons. We include over 150 HNL production channels and over 100 HNL decay modes, including all of the processes that can be dominant in some region of the general parameter space. The result is HNLCalc , a user-friendly, fast, and flexible library to compute the properties of HNL models. As examples, we implement HNLCalc to extend the FORESEE package to evaluate the prospects for HNL discovery at forward LHC experiments. We present sensitivity reaches for FASER and FASER2 in five benchmark scenarios with coupling ratios |Ue|2∶|Uμ|2∶|Uτ|2=1∶0∶0 , 0∶1∶0 , 0∶0∶1 , 0∶1∶1 , and 1∶1∶1 , where the latter two have not been studied previously. Comparing these to current constraints, we identify regions of parameter space with significant discovery prospects. https://doi.org/10.1103/PhysRevD.110.035029 Published by the American Physical Society under the terms of the Creative Commons Attribution 4.0 International license. Further distribution of this work must maintain attribution to the author(s) and the published article's title, journal citation, and DOI. Funded by SCOAP 3 . Published by the American Physical Society

Probing the dipole portal to heavy neutral leptons via meson decays at the high-luminosity LHC

Probing the dipole portal to heavy neutral leptons via meson decays at the high-luminosity LHC

Search for the dipole portal of heavy neutral leptons at future colliders

Testing Neutrino Dipole Portal by Long-lived Particle Detectors at the LHC

Neutrino dipole portal at electron colliders

Simulating heavy neutral leptons with general couplings at collider and fixed target experiments

Heavy Neutral Leptons via Axion-Like Particles at Neutrino Facilities

Heavy neutral leptons at beam dump experiments of future lepton colliders

Mass Reconstruction of Heavy Neutral Leptons from Stopped Mesons

Heavy neutral leptons from kaons in effective field theory

mediated right-handed neutrinos from meson decays at the FASER

Searching for heavy neutral leptons coupled to axion-like particles at the LHC far detectors and SHiP

ALPs and HNLs at LHC and Muon Colliders: Uncovering New Couplings and Signals

The LHC as a Neutrino-Ion Collider

Probing some photon portals to new physics at intensity frontier experiments

Z' Mediated right-handed Neutrinos from Meson Decays at the FASER

Probing the Nature of Heavy Neutral Leptons in Direct Searches and Neutrinoless Double Beta Decay