Interest in searches for heavy neutral leptons (HNLs) at the LHC has increased considerably in the past few years. In the minimal scenario, HNLs are produced and decay via their mixing with active neutrinos in the Standard Model (SM) spectrum. However, many SM extensions with HNLs have been discussed in the literature, which sometimes change expectations for LHC sensitivities drastically. In the NRSMEFT, one extends the SM effective field theory with operators including SM singlet fermions, which allows to study HNL phenomenology in a “model independent” way. In this paper, we study the sensitivity of ATLAS to HNLs in the NRSMEFT for four-fermion operators with a single HNL. These operators might dominate both production and decay of HNLs, and we find that new physics scales in excess of 20 TeV could be probed at the high-luminosity LHC.

In the framework of the low-energy effective field theory of the Standard Model extended with heavy neutral leptons (HNLs), we calculate the production rates of HNLs from meson decays triggered by dimension-six operators. We consider both lepton-number-conserving and lepton-number-violating four-fermion operators involving either a pair of HNLs or a single HNL. Assuming that HNLs are long-lived, we perform simulations and investigate the reach of the proposed far detectors at the high-luminosity LHC to (i) active-heavy neutrino mixing and (ii) the Wilson coefficients associated with the effective operators, for HNL masses below the mass of the B-meson. We further convert the latter to the associated new-physics scales. Our results show that scales in excess of hundreds of TeV and the active-heavy mixing squared as small as 10−15 can be probed by these experiments.

Many models beyond the Standard Model predict light and feebly interacting particles that are often long-lived. These long-lived particles (LLPs) in many cases can be produced from meson decays. In this work, we propose a simple and quick reinterpretation method for models predicting LLPs produced from meson decays. With the method, we are not required to run Monte-Carlo simulation, implement detector geometries and efficiencies, or apply experimental cuts in an event analysis, as typically done in recasting and reinterpretation works. The main ingredients our method requires are only the theoretical input, allowing for computation of the production and decay rates of the LLPs. There are two conditions for the method to work: firstly, the LLPs in the models considered should be produced from a set of mesons with similar mass and lifetime (or the same meson) and second, the LLPs should, in general, have a lab-frame decay length much larger than the distance between the interaction point and the detector. As an example, we use this method to reinterpret exclusion bounds on heavy neutral leptons (HNLs) in the minimal “3+1” scenario, into those for HNLs in the general effective-field-theory framework as well as for axion-like particles. We are able to reproduce existing results, and obtain new bounds via reinterpretation of past experimental results, in particular, from CHARM and Belle.