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: For Majorana neutrino masses the lowest dimensional operator possible is the Weinberg operator at d = 5. Here we discuss the possibility that neutrino masses originate from higher dimensional operators. Specifically, we consider all tree-level decompositions of the d = 9, d = 11 and d = 13 neutrino mass operators. With renormalizable interactions only, we find 18 topologies and 66 diagrams for d = 9, and 92 topologies plus 504 diagrams at the d = 11 level. At d = 13 there are already 576 topologies and 4199 diagrams. However, among all these there are only very few genuine neutrino mass models: At d = (9, 11, 13) we find only (2,2,2) genuine diagrams and a total of (2,2,6) models. Here, a model is considered genuine at level d if it automatically forbids lower order neutrino masses without the use of additional symmetries. We also briefly discuss how neutrino masses and angles can be easily fitted in these high-dimensional models.

Abstract: All extensions of the standard model that generate Majorana neutrino masses at the electroweak scale introduce some heavy mediators, either fermions and/or scalars, weakly coupled to leptons. Here, by “heavy,” we mean implicitly the mass range between a few 100 GeV up to, say, roughly 2 TeV, such that these particles can be searched for at the LHC. We study decay widths of these mediators for several different tree-level neutrino mass models. The models we consider range from the simplest d = 5 seesaw up to d = 11 neutrino mass models. For each of the models, we identify the most interesting parts of the parameter space, where the heavy mediator fields are particularly long lived and can decay with experimentally measurable decay lengths. One has to distinguish two different scenarios, depending on whether fermions or scalars are the lighter of the heavy particles. For fermions, we find that the decay lengths correlate with the inverse of the overall neutrino mass scale. Thus, since no lower limit on the lightest neutrino mass exists, nearly arbitrarily long decay lengths can be obtained for the case in which fermions are the lighter of the heavy particles. For charged scalars, on the other hand, there exists a maximum value for the decay length in these models. This maximum value depends on the model and on the electric charge of the scalar under consideration but can at most be of the order of a few millimeters. Interestingly, independent of the model, this maximum occurs always in a region of parameter space, where leptonic and gauge boson final states have similar branching ratios, i.e., where the observation of lepton number-violating final states from scalar decays is possible.