Abstract: In the framework of the low -energy effective theory containing, in addition to the Standard -Model fields, heavy neutral leptons (HNLs), we compute the decay rates of neutral and charged kaons into HNLs. We consider both lepton -number -conserving and lepton -number -violating four-fermion operators, taking into account also the contribution of active -heavy neutrino mixing. Assuming that the produced HNLs are longlived, we perform simulations and calculate the sensitivities of future long -lived -particle (LLP) detectors at the high -luminosity LHC as well as the near detector of the Deep Underground Neutrino Experiment (DUNE -ND) to the considered scenario. When applicable, we also recast the existing bounds on the minimal mixing case obtained by NA62, T2K, and PS191. Our findings show that, while the future LHC LLP detectors can probe currently allowed parameter space only in certain benchmark scenarios, DUNE -ND should be sensitive to parameter space beyond the current bounds in almost all the benchmark scenarios, and, for some of the effective operators considered, it can even probe new -physics scales in excess of 3000 TeV.

Abstract: 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.

Abstract: It is well-known that at tree-level the d = 5 Weinberg operator can be generated in exactly three different ways, the famous seesaw models. In this paper we study the related question of how many phenomenologically consistent 1-loop models one can construct at d=5. First, we discuss that there are two possible classes of 1-loop neutrino mass models, that allow avoiding stable charged relics: (i) models with dark matter candidates and (ii) models with “exits”. Here, we define “exits” as particles that can decay into standard model fields. Considering 1-loop models with new scalars and fermions, we find in the dark matter class a total of (115+203) models, while in the exit class we find (38+368) models. Here, 115 is the number of DM models, which require a stabilizing symmetry, while 203 is the number of models which contain a dark matter candidate, which maybe accidentally stable. In the exit class the 38 refers to models, for which one (or two) of the internal particles in the loop is a SM field, while the 368 models contain only fields beyond the SM (BSM) in the neutrino mass diagram. We then study the RGE evolution of the gauge couplings in all our 1-loop models. Many of the models in our list lead to Landau poles in some gauge coupling at rather low energies and there is exactly one model which unifies the gauge couplings at energies above 10(15) GeV in a numerically acceptable way.