Abstract
The simplest extension of the SM to account for the observed neutrino masses and mixings is the addition of at least two singlet fermions (or right-handed neutrinos). If their masses lie at or below the GeV scale, such new fermions would be produced in meson decays. Similarly, provided they are sufficiently heavy, their decay channels may involve mesons in the final state. Although the couplings between mesons and heavy neutrinos have been computed previously, significant discrepancies can be found in the literature. The aim of this paper is to clarify such discrepancies and provide consistent expressions for all relevant effective operators involving mesons with masses up to 2 GeV. Moreover, the effective Lagrangians obtained for both the Dirac and Majorana scenarios are made publicly available as FeynRules models so that fully differential event distributions can be easily simulated. As an application of our setup, we numerically compute the expected sensitivity of the DUNE near detector to these heavy neutral leptons.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The evidence for neutrino masses and mixings from the neutrino oscillation phenomenon demands an extension of the Standard Model (SM) of particle physics so as to accommodate the experimental results. Arguably, the simplest of such extensions is to add fermion singlets to the SM particle content. Indeed, the inclusion of these right-handed neutrinos would make the neutrino sector equivalent to its charged-lepton counterpart and allow for neutrino Yukawa couplings in complete analogy to the other fermions of the SM. However, being complete singlets of the SM gauge group, the novel and distinct option of a Majorana mass term is also open for them. This Majorana mass term would not only include a new source of particle number violation, possibly related to the origin of the observed baryon asymmetry of the Universe (BAU), but also include a new energy scale in the Lagrangian, not connected with electroweak symmetry breaking. As such, there is no solid theoretical guideline for the value of this new physics scale.
An attractive possibility is that the Majorana mass scale is much larger than the electroweak scale, possibly close to the Grand Unification scale, leading to the celebrated type-I Seesaw mechanism [1,2,3,4]. Its most appealing feature is that the smallness of neutrino masses is very naturally explained even with order one Yukawa couplings, since it is inversely proportional to the large Majorana mass of the right-handed neutrinos. Furthermore, the Seesaw mechanism, unlike the SM, is also able to account for the observed BAU via leptogenesis [5]. Nevertheless, while a very high Majorana mass scale can very naturally accommodate the extreme lightness of neutrino masses, its presence would significantly destabilize the Higgs mass, worsening the Higgs hierarchy problem [6, 7]. Thus, while naturalness arguments favour large Majorana masses to explain the light neutrino masses, lighter scales are instead preferred to accommodate the observed Higgs mass.
Other variants of the original Seesaw mechanism, such as the inverse [8,9,10] or linear [11] Seesaws, naturally explain the lightness of neutrino masses through an approximate lepton number symmetry [12,13,14] instead. Thus, they can be realized at lower energy scales without introducing a Higgs hierarchy problem. Low-scale versions of the leptogenesis mechanism are also found to successfully account for the observed BAU [15,16,17]. Thus, the phenomenology associated to all possible options for the Majorana mass scale should be investigated and compared with experimental observations so as to probe the new physics underlying the observation of neutrino masses and mixings.
The main consequence of lowering the Majorana mass scale in a Seesaw mechanism is that mainly-sterile neutrinos or “heavy neutral leptons” (HNLs) appear in the particle spectrum. If sufficiently light, these HNLs will be kinematically accessible to experiments and can thus be produced and searched for. Given the singlet nature of the right-handed neutrinos, their only interactions are the weak ones, inherited from their left-handed neutrino counterparts via mixing. Thus, the mixing of the HNLs with the electron, muon and tau neutrinos can be probed and constrained as a function of the HNL mass by searching for their production and decay in association with the corresponding charged leptons. These searches range from studying their impact in neutrino oscillations [18,19,20,21,22,23,24,25,26] when they are too light to decay visibly, to collider signals [27,28,29,30,31,32,33,34,35,36,37,38] for the highest accessible HNL masses. For even higher masses, their mixing can still be constrained through deviations of unitarity of the PMNS matrix in flavor and electroweak precision observables [39,40,41,42,43,44,45,46,47,48].
For intermediate HNL masses M, between the MeV and GeV scales, searches at beam dump experiments or near detectors of neutrino oscillation facilities, where they can be produced via meson decays and detected through their visible decays, can set very stringent constraints [14, 28, 49,50,51,52,53,54,55,56,57,58,59,60,61,62]. Indeed, current bounds are even getting near the expectation for the “vanilla” type-I Seesaw without a lepton number symmetry protection of the light neutrino masses \(m_\nu \), where the mixing scales as \(\theta ^2 \sim m_\nu /M\). Furthermore, the masses and mixings leading to successful generation of the BAU via low-scale leptogenesis are also accessible through these searches [63,64,65]. In this regime, both the production and decay of the HNL depend crucially on its interactions with mesons. While these have been studied previously, significant discrepancies can be found in the literature [28, 49, 53, 66] in the branching ratios of the relevant channels. The aim of this work is to clarify such discrepancies and provide a tool for these important searches. With that goal in mind, we derive the effective theory description of the HNL interactions, with particular emphasis on the effective operators involving mesons, which control HNL production and decay via leptonic and semileptonic processes. We do this both for a Majorana HNL as well as for the Dirac scenario, motivated by the inverse and linear Seesaw variants. Furthermore, our results have been collected in two FeynRules [67] models that have been made publicly available (see ancillary files) so that not only the total branching ratios can be computed, but also differential event distributions can be easily simulated by interfacing the output of FeynRules with event generators such as MadGraph5 [68]. Finally, while the present work focuses on the low-energy theory, our FeynRules implementation is more general and includes an option to replace all mesons with quarks, so they may also be used to study HNL phenomenology in collider searches at higher energies.
As an application of our framework, we compute the expected flux of HNLs at the proposed DUNE [53, 54] near detector, and compare our full numerical simulation with the approximation of rescaling the massless neutrino fluxes. A significant enhancement due to the larger boost in the beam direction for the HNLs is found. We also compute the expected number of decays inside the DUNE near detector into several decay channels, and use that to estimate the sensitivity of DUNE to the HNL mixing with the charged leptons.
This paper is organized as follows. In Sect. 2 we introduce the Seesaw Lagrangians, both in the Majorana and Dirac cases, and review the weak interactions that the HNL will inherit from the left-handed neutrinos via mixing. In Sect. 3 we concentrate on the meson interactions and derive all the relevant effective operators containing HNLs. In Sects. 4 and 5 we summarize all the relevant production channels and subsequent decays of the HNLs. In Sect. 6 we present our results for the expected HNL fluxes at the DUNE near detector together with an estimate of its sensitivity. Finally, in Sect. 7 we draw our conclusions and summarize the results.
2 The full Lagrangian of the theory at high energies
Once the SM is extended with n extra right-handed neutrinos \(N_{R}\), Lorentz and gauge invariance allow the inclusion of Yukawa couplings to the lepton doublets (\(Y_\nu \)) as well as Majorana masses for the heavy singlets (M). In the basis where the Majorana mass terms are diagonal, the corresponding Lagrangian reads:
where \(L_{L,\alpha }\) stands for the SM left-handed lepton doublet of flavor \(\alpha \), \(\phi \) is the Higgs field, \({\tilde{\phi }} = i \sigma _2 \phi ^*\) and \(N^c_{R,j} \equiv C {\bar{N}}_{R,j}^t\), with \(C = i \gamma _0 \gamma _2\) in the Weyl representation we adopt. Once the Higgs develops its vacuum expectation value \(v/\sqrt{2}\) upon electroweak (EW) symmetry breaking, the full neutrino mass matrix in the basis \((\nu _L, N^c_R)\) can be written in blocks as:
The full unitary rotation U that diagonalizes the mass matrix will have dimensions \((3+n) \times (3+n)\). Neutrino masses are obtained upon diagonalization, as well as the mixing between the active SM neutrinos and the new heavy states introduced. In particular, the spectrum is composed of 3 light “SM-like” neutrino mass eigenstates (\(\nu _i\)), and n heavier and mostly sterile neutrinos (\(N_i\)).
Alternatively, and motivated by low-energy Seesaw realizations such as the inverse [8,9,10] or linear [11] versions, we will also consider the case in which the extra sterile neutrinos have Dirac (or pseudo-Dirac) masses. In these scenarios, 2n extra singlets are added in Dirac pairs \(N_{L,j}\), \(N_{R,j}\) (\(j=1,\dots n\)). Neglecting the small lepton-number violating terms (that would eventually source the light neutrino masses), we are left with the following Lagrangian:
In this case, the mass matrix in the basis \((\nu _L, N^c_R, N_L)\) would be given by:
Regardless of the Dirac or Majorana character of the heavy neutrinos, the flavor states will thus correspond to a combination of the light and heavy states:
where we have introduced the mass eigenbasis \(n = (\nu , N)\) with index i that runs over the light and heavy mass eigenstates. The leptonic part of the electroweak Lagrangian can be written as:
where \(P_L\) and \(P_R\) are respectively the left and right projectors, \(c_w \equiv \cos \theta _w\), \(s_w \equiv \sin \theta _w\) (\(\theta _w\) being the SM weak mixing angle), and
The heavy neutrinos can also interact with the quark sector through the charged and neutral current interactions. Thus, the corresponding weak interactions between quarks are reviewed below for convenience:
with
and
Here, \(Q^q\) and \(T_3^q\) stand for the electric charge and the isospin of quark q in the interaction vertex (from now on the index q will be dropped for simplicity), and \(V_{q q'}\) is the corresponding element of the CKM mixing matrix.
Finally, for the derivation of the effective theory in Sect. 3 it will be useful to separate both currents in their vector and axial parts. This way, the Z current can be decomposed as
with
Analogously, the W current may be written as
where its vector and axial parts are given by
3 Effective low-energy Lagrangian including mesons
In order to compute the production of the heavy neutrinos through meson decays, as well as neutrino decays to lighter mesons, we need to introduce effective interactions between the neutrino and meson fields. In this section we derive such interactions, integrating out the W and Z bosons and introducing the relevant meson decay constants and hadronic matrix elements. We compute the amplitudes for low-energy processes involving these vertices, so as to extract the corresponding effective operators. Moreover, FeynRules [67] models with these effective interactions have been made publicly available (as ancillary files to this work), making possible the generation of fully differential event distributions. Note that, while the formalism used in this section is applicable to any number of extra heavy states, only one heavy neutrino has been included in the FeynRules model files for the sake of simplicity. Although the introduction of just one heavy neutrino cannot explain the measured neutrino masses and mixing parameters, such simplified models are useful to study the phenomenology of HNLs, since it will be dominated by the lightest of the extra states.
As a first step, we review the relevant decay constants and matrix elements, and introduce our notation. Throughout this section, the formalism we use is suitable for mesons with masses up to approximately 1 GeV. However, leptonic and semileptonic decays of heavier charmed mesons can constitute a dominant contribution for heavy neutrino production, depending on its mass. Such processes will also be considered here, for the channels with a significant branching ratio into neutrinos (e.g., \(D_s \rightarrow N \ell \)). For even higher neutrino masses (produced typically at collider experiments), a perturbative description of the neutrino decay into quark-antiquark pairs (with subsequent hadronization) would be more suitable.
We adopt a definition of the meson decay constants such that \(f_\pi =130\) MeV, namely:
for the pseudoscalar (P) and vector (V) mesons respectively. Here, \(p_\mu \) stands for the momentum of the pseudoscalar meson and \(\epsilon _\mu \) for the polarization of the vector meson (note that, with this definition, the decay constants \(f_V\) have units of \([E]^2\)). The corresponding currents \(j_{a,\mu }^{A}, j_{a,\mu }^{V}\) are defined as:
where
In this notation, the set \(\{\lambda _a \}\) corresponds to linear combinations of the eight Gell-Mann matrices (generators of SU(3)) plus the identity, normalized such that
For convenience, explicit expressions for the generators are provided in Appendix A, while the decay constants most relevant for the effective couplings considered in this work are summarized in Table 1.
3.1 Pseudoscalar mesons
3.1.1 Neutral mesons: \(\pi ^0, \eta , \eta ^\prime \)
The quark content of the neutral pseudoscalar mesons will correspond to linear combinations of the diagonal generators \(\lambda _0, \lambda _3\) and \(\lambda _8\). Substituting the explicit expressions for the generators into Eq. (19) we obtain:
The neutral pion can be directly identified with the current \(j_{3,\mu }^{A}\), being the neutral member of the SU(2) triplet of pseudo-Goldstone bosons from the flavor symmetry between up- and down-quarks. Conversely, the \(\eta \) and \(\eta '\) mainly correspond to the currents \(j_{8,\mu }^{A}\) and \(j_{0,\mu }^{A}\) respectively, although with significant mixing among them, as discussed in detail below.
These neutral mesons can be produced or decay through neutral current interactions mediated by the Z boson. Thus, in order to obtain their effective interactions with neutrinos we start from the Fermi theory after integrating out the Z, inserting the decay constant of the corresponding meson. The Z axial current in Eq. (13) can be expressed as a linear combination of the neutral axial currents as:
At low energies, the amplitude, for example, for \(\pi ^0 \rightarrow n_i {\bar{n}}_j\) would read:
where \({\bar{u}}_i\) and \(v_j\) are the corresponding spinors for the neutrino mass eigenstates. Substituting the Z current from Eq. (24) and the corresponding hadronic matrix element from Eq. (17), and introducing Fermi’s constant,
the amplitude is given by:
where \(p_\mu \) is the 4-momentum carried by the pion. Translating the momentum into a derivative, we can write down, in configuration space, the effective operator that leads to the amplitude in Eq. (27):
Furthermore, if all particles are on-shell, it is possible to apply Dirac’s equation to obtain Yukawa couplings proportional to the neutrino masses:
Since the coupling is proportional to the masses of the neutrinos, the coupling to the heavy states will dominate the interaction, in complete analogy to the chiral enhancement of the charged pion decay \( \pi \rightarrow \mu \nu _\mu \) versus \(\pi \rightarrow e \nu _e\).
Similarly, the operators associated to the other neutral pseudoscalar currents, for on-shell particles, can be obtained as:
However, unlike in the \(\pi ^0\) case, the \(\eta \) and \(\eta ^\prime \) mesons mix significantly and do not correspond exactly with the quark content of the \(\eta _8\) and \(\eta _0\) defined through the corresponding currents in Eq. (23). Thus, a change of basis must be performed in order to obtain the effective vertices for the physical states. We adopt the usual parametrization for this change of basis, with two angles, \(\theta _0\) and \(\theta _8\) (see e.g. Ref. [70]), and define:
The values for \(f_0, f_8, \theta _0\) and \(\theta _8\) have been taken from Ref. [70] and are summarized in Table 1 for convenience. Through this change of basis, the currents for the \(\eta \) and \(\eta '\) can be obtained as combinations of the \(j_{0,\mu }^A,j_{8,\mu }^A\) currents as
Therefore, the relevant operators in the mass basis will read
3.1.2 Charged mesons: \(\pi ^\pm , K^\pm , D^\pm , D^\pm _s\)
The normalized combinations of generators that reproduce the quark content of the \(\pi ^\pm \) and \(K^\pm \) are:
Thus, from Eq. (16) we get that
The amplitude for \(\pi ^- \rightarrow \ell ^- {\bar{n}}\) is obtained after integrating out the W boson, following the same procedure used to derive the effective vertex for the \(\pi ^0 \rightarrow {\bar{n}} n\) decay in the previous section:
After introducing the W current defined in Eq. (39) and evaluating the hadronic matrix element, the amplitude reads:
In the same fashion as before, we translate this amplitude to an effective operator in configuration space, with the 4-momentum \(p_\mu \) as a derivative acting on the leptonic current:
Once again, if all the particles involved are on-shell, it is possible to obtain Yukawa couplings proportional to the fermion masses via Dirac’s equation:
This procedure can be repeated for the charged kaons, obtaining the same result once the corresponding decay constant and CKM element are introduced:
So far we have restricted ourselves to mesons which contain only the three lightest quark flavors. Nevertheless, these results can be generalized to the \(D^\pm \) and \(D_s^\pm \) mesons. The corresponding effective operators read:
3.2 Vector mesons
3.2.1 Neutral mesons: \(\rho , \omega , \phi \)
As for the pseudoscalar case, the vector currents associated to the generators can be expressed in terms of the u, d and s quarks as
Considering their respective quark contents, the corresponding normalized currents for the \(\rho ^0\), \(\omega \) and \(\phi \) mesons are given by:
The production and decay of the vector mesons take place via the vector component of the Z current, Eq. (12), which can be written as the following linear combination of the vector meson currents:
After integrating out the Z boson, the amplitude for the \(\rho ^0\rightarrow {\bar{n}}n\) process reads:
Introducing the vector Z current defined in Eq. (49) and evaluating the matrix element according to Eq. (18), we get:
where \(\epsilon _\mu \) is the polarization vector of the \(\rho ^0\) meson. It is then immediate to extract the effective operator in configuration space:
Analogously, for the other two neutral vector mesons we obtain:
3.2.2 Charged mesons: \(\rho ^\pm , K^{*, \pm }\)
In complete analogy to the charged pseudoscalars, the charged vector meson currents are given by:
and the vector component of the W current from Eq. (15) can be written as:
The computation of the effective operators is done exactly in the same way as for the charged pseudoscalar case. The amplitude for the \(\rho ^-\rightarrow {\bar{n}}\ell ^-\) process reads:
Thus, we finally obtain
and, equivalently, for the \(K^{*,\pm }\) meson we get
3.3 Semileptonic meson decays
Some mesons exhibit non-negligible branching ratios for semileptonic decay channels into neutrinos, charged leptons and lighter mesons. These can even dominate over the two-body leptonic decays if the mass of the heavy neutrino is not large enough to sufficiently enhance the latter, and thus must be taken into account.
After integrating out the W boson, the amplitude for the \(P\rightarrow D{\bar{n}}\ell \) decay (where P and D stand for generic parent and daughter mesons, respectively) reads:
where \(j_{W,\mu }^V\) is defined in Eq. (15). This hadronic matrix element is usually expressed in terms of two form factors, \(f_+\) and \(f_-\) [71]:
where \(V_{qq^\prime }\) is the CKM element corresponding to the quarks which interact with the W in the hadronic transition, while \(p_\mu \equiv p_\mu ^D+p_\mu ^P\) is the sum of the 4-momenta of the parent and daughter mesons and \(q_\mu \equiv p_\mu ^D-p_\mu ^P\) is the 4-momentum transfer between them. Thus, the amplitude can be written as:
In what follows, it becomes convenient to express this in terms of the 4-momenta of the daughter meson, \(p_\mu ^D\), and of the leptonic pair, \(p_\mu ^{n\ell }\):
Note that we have not specified the electric charges of the involved mesons. In fact, this amplitude describes all the processes allowed by charge conservation (\(P^-\rightarrow D^0{\bar{n}}\ell ^-\) and \(P^0\rightarrow D^+{\bar{n}}\ell ^-\), as well as their CP-conjugates). However, it should be stressed that, even though electromagnetic contributions to these hadronic form factors are generally small, in some cases the numerical parameters they contain might be slightly different depending on the charge of the mesons, since they come from fits to different datasets.
From this amplitude it is possible to extract the corresponding effective operator in configuration space, writing the 4-momenta as derivatives:
where \(\phi _P\) and \(\phi _D\) are the parent and daughter meson fields, respectively. Once more, if the involved fields are on-shell, it is possible to apply Dirac’s equation and substitute the derivative acting on the leptonic current by terms proportional to their masses. The resulting operator reads:
3.3.1 Form factors
Many parametrizations for the hadronic form factors are available in the literature, most of which are given in terms of \(f_+\) and \(f_0\). The former was defined together with \(f_-\) in Eq. (62), while the latter can be related to \(f_+\) and \(f_-\) via
The semileptonic decays we will be mostly interested in are \(K\rightarrow \pi n \ell \) and \(D\rightarrow K n \ell \). For the former we employ a linear parametrization, as in Ref. [72], according to which
Conversely, in the case of the \(D\rightarrow Kn\ell \) decay we make use of a “pole” parametrization [71]:
where
with
The numerical values used for the two parametrizations outlined above can be found in Appendix D (see Tables 6 and 7).
We have included these form factors in our FeynRules model, and numerically checked with MadGraph5 [68] that our implementation reaches an agreement of at least a 95% with the measured branching ratios for the SM decay channels \(K \rightarrow \pi \nu \ell \) and \(D \rightarrow K \nu \ell \) [69]. For convenience we provide two separate implementations for such couplings, as explained in detail in Appendix D.
4 Production of heavy neutral leptons from meson decays
In this section we provide the expressions for the production of a heavy neutrino \(N_4\) of mass \(M_4\) via meson decays. We have computed them employing the Feynman rules derived from the effective operators obtained in Sect. 3, and verified their agreement with the simulations generated via MadGraph5 using the implementation of our model in FeynRules. In order to do so, we have diagonalized explicitly the full mass matrix and expressed the ensuing mixing matrix in terms of the original Yukawa couplings. Further details on this diagonalization can be found in Appendix B.
4.1 Two-body leptonic decays
The generic expression for the leptonic decay of a charged pseudoscalar meson P of mass \(m_P\) is given by [28, 49, 66, 73, 74]
where the values of \(f_P\) are given in Table 1, and we have defined \( y_4 \equiv M_4/m_P\), \( y_\alpha \equiv m_{\ell _\alpha }/m_P\), and
4.2 Three-body semileptonic decays
The decay width for the semileptonic decay of a parent pseudoscalar meson P into a daughter pseudoscalar D, a charged lepton \(\ell _\alpha \) and a heavy neutrino \(N_4\) is given by [49, 66, 73, 74]
where \(C_D=1\) in all cases under consideration, except for \(K^\pm \rightarrow \pi ^0 N_4 \ell ^\pm _\alpha \), for which \(C_D = \frac{1}{\sqrt{2}}\). The integrals \(I_i^{PD}\) are expressed in terms of the form factors \(f^{PD}_+(q^2)\) and \(f^{PD}_0(q^2)\) defined in Sect. 3.3.1.
where \(\lambda (a,b,c)\) is defined in Eq. (76), \(y_D \equiv m_D/m_P\) and
5 Decays of heavy neutral leptons into SM particles
5.1 Two-body decays
Here we provide general expressions for the decay widths of a heavy neutrino \(N_4\) of mass \(M_4\) into final states including pseudoscalar and vector mesons separately. We have computed them employing the Feynman rules derived from the effective operators obtained in Sect. 3, and verified their agreement with the simulations generated via MadGraph5 using our model implementation in FeynRules. Throughout this section, we will neglect the masses of the light neutrinos for simplicity.
5.1.1 Pseudoscalar mesons
The generic expression for the heavy neutrino decay width into a neutral pseudoscalar meson P is given by
where we have defined \(x_P \equiv m_P/M_4\), and
according to the parametrization used to describe the \(\eta -\eta ^\prime \) mixing in Sect. 3.1.1. Using the parameters provided in Table 1, this leads to the “effective decay constants” \(f_\eta \simeq 81.6~\mathrm {MeV}\) and \(f_{\eta '} \simeq - \,94.6~\mathrm {MeV}\). Finally, note that the sum \(\sum _j\) in Eq. (82) runs over the three light neutrino mass eigenstates, since they cannot be individually identified. However, at leading order in \(U_{\alpha 4}\), this is equivalent to a sum running over the three active flavors, since
On the other hand, the decay width into a charged pseudoscalar meson \(P^\pm \) is given by
where \(x_\alpha \equiv m_{\ell _\alpha }/M_4\), and the relevant meson decay constants \(f_P\) are provided in Table 1.
5.1.2 Vector mesons
In the case of neutral vector mesons, the decay width reads:
with \(x_V \equiv m_V/M_4\), and where we have again summed over all light neutrinos in the final state. The values for the decay constants \(f_V\) are given in Table 1, while expressions for \(g_V\) in terms of the weak mixing angle are provided in Table 2.
On the other hand, for the decays into charged vector mesons we get
where the decay constants \(f_V\) are again summarized in Table 1.
5.2 Three-body decays
Heavy neutrinos may also decay into three body final states either purely leptonically or semileptonically. The latter include \(N_4 \rightarrow \pi ^+ \pi ^0 \ell ^- \), \(N_4 \rightarrow \pi ^0 \pi ^0 \nu \) and \(N_4 \rightarrow K^+ \pi ^0 \ell ^- \). However, their respective contributions are dominated by \(N_4 \rightarrow \rho ^+ \ell ^- \), \(N_4 \rightarrow \rho ^0 \nu \) and \(N_4 \rightarrow K^{*,+} \ell ^- \) respectively, already included in the previous section. This can be seen from the data from \(\tau \) decays, since the hadronic matrix elements involved in the semileptonic decays would be the same. Indeed, the branching ratio of \(\tau ^- \rightarrow \nu \pi ^- \pi ^0\) is \(25.49\%\), while the contribution which does not correspond to \(\tau ^- \rightarrow \nu \rho ^-\) is negligible: \(\left( 3.0 \pm 3.2 \right) \times 10^{-3}\) [69]. We will thus review here only the three-body purely leptonic decays \(N_4 \rightarrow \ell \ell \nu \) and \(N_4 \rightarrow \nu \nu \nu \), taken from Refs. [28, 49, 66, 73].
The invisible decay of the heavy neutrino reads [28, 49, 66, 73]
where we have summed over all possible light neutrinos in the final state.
For the three-body decays involving charged leptons in the final state, we will distinguish between two cases. If the heavy neutrino decays into two leptons of the same flavor \(\beta \), there are both W and Z mediated diagrams contributing to the amplitude. The total decay width can be expressed as [28, 49, 66, 73]
where
and we have defined the functions
with
On the other hand, the decay of the heavy neutrino into two leptons of different flavor is only mediated by the W interaction. In the limit in which one of the charged lepton masses can be neglected, the corresponding decay width simplifies to [49, 66]
where \(x_M=\mathrm {max}\left\{ x_\alpha ,x_\beta \right\} \). Note that this expression corresponds to a Dirac neutrino decay; for Majorana neutrinos there would be a second contribution proportional to \( |U_{\beta 4}|^2\) since there are two diagrams allowed, each of them proportional to a different mixing matrix element.
Branching ratios for the heavy \(N_4\) as a function of its mass, obtained under the assumption of same mixing to all flavors (\(\vert U_{e 4}\vert ^2 = \vert U_{\mu 4}\vert ^2 = \vert U_{\tau 4}\vert ^2\)). Left (right) panels correspond to decays without (with) light neutrinos in the final state. The decay channels into semileptonic final states are not shown, as their branching ratio is expected to be negligible for the range of masses considered here
5.3 Decays to 4 or more bodies
Finally, for HNL masses above 1 GeV, the appropriate description of the hadronic final states transitions from the effective theory with the different meson resonances included in the previous sections, to quark production in the final state with subsequent hadronization, more suitable for perturbative QCD. For reference, the \(\tau ^-\), with its 1.78 GeV mass, is precisely at the transition region. Indeed, it shows a \(10.8 \%\) and \(25.5 \%\) branching ratio to the \(\nu _\tau \pi ^-\) and \(\nu _\tau \rho ^-\) channels respectively. But also a \(9.3 \%\) branching ratio to both \(\nu _\tau \pi ^- 2 \pi ^0 \) and to \(\nu _\tau 2 \pi ^- \pi ^+\) and even \(4.6 \%\) and \(1.0 \%\) branching ratios to \(\nu _\tau 2 \pi ^- \pi ^+ \pi ^0\) and \(\nu _\tau \pi ^- 3\pi ^0\) respectively [69]. These last decay modes, with three or more mesons in the final state, are more suitably described from the underlying quark interactions with a subsequent correction to account for the hadronization process:
with [75]
Branching ratios for the heavy \(N_4\) as a function of its mass, obtained under the assumption that only its mixing to one lepton flavor is non-zero, as indicated by the labels in each row. Left (right) panels correspond to decays without (with) light neutrinos in the final state. The decay channels into semileptonic final states are not shown as their branching ratio is expected to be negligible in the range of masses considered here
We adopt the same approach as Ref. [66] (see also [59, 76]) and use Eq. (96) to account for the hadronization of the HNL decays \(N_4 \rightarrow \ell _\alpha u {\bar{d}}\) and \(N_4 \rightarrow \ell _\alpha u {\bar{s}}\) for HNL masses above 1 GeV. We also apply the same correction to the neutral current decays \(N_4 \rightarrow \nu q {\bar{q}}\) with \(q=u,d,s\). However, we add a phase space suppression factor \(\sqrt{1- 4 m_K^2/M_4^2}\) for the \(N_4\rightarrow \nu s {\bar{s}}\) channel since it would otherwise overestimate its importance for \(M_4 =1\) GeV, where the phase space prevents two K in the final state. For the running of \(\alpha _s\) we follow the dedicated review in Ref. [69]. The difference between these fully inclusive hadronic final states and the HNL decays to specific mesons discussed above will provide an estimate of the HNL decays to 3 or more mesons. We have tested this procedure for the \(\tau \) decays and reached good agreement with its tabulated branching ratios.
Figures 1 and 2 show the branching ratios for the different decay channels of the heavy neutrino, as a function of its mass, for two different cases: degenerate mixings to all lepton flavors (\(\vert U_{e 4}\vert ^2 = \vert U_{\mu 4}\vert ^2 = \vert U_{\tau 4}\vert ^2\)), and in the case when only one of the mixing matrix elements is non-zero. The labels \(\ell ^\mp \)hadr. and \(\nu \)hadr. stand for \(N_4\) decays, mediated by charged and neutral currents respectively, with 3 or more mesons in the final state.
5.4 Discrepancies with previous literature
The decay widths of a HNL into mesons, neutrinos and leptons have been derived several times in previous literature; for an incomplete list see e.g. Refs. [28, 39, 49, 53, 66, 73]. Here we summarize the main discrepancies and differences found between our results and some of these works:
-
1.
Overall, we find a relatively good agreement with Ref. [66] for the meson decay constants and for most vertices involving heavy neutrinos, with the exception of the couplings to \(\omega \) and \(\phi \) mesons, for which we find different expressions in terms of \(\sin ^2\theta _w\) (see our Table 2, in comparison with Table 9 in Ref. [66]).
-
2.
We find that the expressions in Ref. [49] for the HNL decay into vector mesons have an extra factor 2 with respect to our results, both for the neutral and the charged channels. Also, their expressions for the decay into neutral vector mesons seem not to include a dependence on \(\sin ^2\theta _w\) (see our definitions for \(g_V\) in Table 2). Finally, there are significant differences in the values reported in Ref. [49] for the neutral pseudoscalar meson decay constants \(f_\eta \) and \(f_{\eta '}\).
-
3.
We find that the expressions for the HNL decay into a light neutrino and a neutral pseudoscalar meson in Refs. [28, 73] have an extra factor 2 in the denominator, as the authors of Ref. [66] pointed out.
-
4.
We also find significant discrepancies with the HNL decays to neutral vector mesons in Ref. [28], which were also already pointed out in Ref. [66].
-
5.
Regarding Ref. [53], which was published more recently, we again find some discrepancies on the branching ratios for vector mesons: our results show a significantly higher branching ratio for the decay channels \(N_4 \rightarrow \rho \ell \), and lower branching ratios for the \(N_4 \rightarrow \omega \nu \) and \(N_4 \rightarrow \phi \nu \) decays (as can be seen from the comparison between our Fig. 1 and their Fig. 1). These discrepancies can be partially explained by the different couplings we obtain for the neutral vector meson couplings (see our Table 2, in comparison with the values given below Eq. (3.12) in Ref. [53]) and possibly by the different values used for the corresponding decay constants. Indeed, there are also significant discrepancies in the literature for the choices of the vector meson decay constants. We thus clarify our choice in Appendix C.
6 Heavy neutral leptons at DUNE
In the remainder of this work, we use the effective theory derived in the previous sections to compute the expected heavy neutrino flux at the DUNE near detector (ND), as well as the expected number of decays for different channels. From now on we will assume a Dirac HNL; in the Majorana case, the heavy neutrino decay widths, and thus the number of events, would increase in a factor of 2. In all our calculations, we consider a ND geometry as described in the DUNE Technical Design Report (TDR) [77]. The ND complex will be located 574 m downstream from the neutrino beam source, and will include three primary detector components: a liquid Argon Time Projection Chamber (LArTPC) called ArgonCube; a high-pressure gaseous TPC surrounded by an electromagnetic calorimeter (ECAL) in a 0.5 T magnetic field, called the Multi-Purpose Detector (MPD); and an on-axis beam monitor called System for on-Axis Neutrino Detection (SAND). We will consider the detector volume corresponding to the MPDFootnote 1 for which the beam-induced background is smaller given its lower density.
All calculations presented in this section have been performed using the nominal beam configuration and luminosity envisioned for DUNE [77]: 120 GeV protons and \(1.1\times 10^{21}\) protons on target (PoT) per year, divided equally into positive and negative horn focusing modes, which yields a total of \(7.7\times 10^{21}\) PoT over 7 years of data taking, which is expected to start in 2027. The simulation of the meson production in the target has been done as follows. For pions and kaons, we use the results of the detailed GEANT4 [80,81,82] based simulation (G4LBNF) of the LBNF beamline developed by the DUNE collaboration [77]. The simulation includes a detailed description of the geometry, including the 1.5 m long target, three focusing horns, decay region, and surrounding shielding. The DUNE collaboration provides both neutrino and antineutrino mode predictions, generated for a 120 GeV primary proton beam. For positive horn focusing mode (PHF) we use the results of the full simulation to calculate the predicted event rate at the DUNE ND, while for negative horn focusing (NHF) mode we scale the event rates from PHF mode based on the flux ratios between \(\pi ^-/\pi ^+\) and \(K^-/K^+\) as predicted by G4LBNF.
However, G4LBNF does not include the production of D, \(D_s\) and \(\tau \) leptons. Thus, in this case Pythia (v 8.2.44) [83] was used to create a pool of events and predict production rates for proton collisions at various momenta, and a GEANT4-based simulation was subsequently used to predict proton inelastic interactions with 120 GeV primary protons impinging on the target. For each inelastic interaction, we randomly pick a Pythia event from the pool of events generated at the corresponding momentum, with a weight proportional to the rate predicted by Pythia. In doing this, we neglect the effect of the magnetic horns since these heavy particles decay very promptly and, therefore, it is safe to assume that their production will be similar for the PHF and NHF modes. The average number of parent mesons and \(\tau \) leptons per PoT produced in the targetFootnote 2 are listed in Table 3.
Table 4 summarizes the different HNL production channels that have been included in our analysis. This set contains the dominant leptonic and semileptonic decays into heavy neutrinos of the parent mesons (\(\pi \), K, D and \(D_s\)) produced in the target. Moreover, since the D and \(D_s\) decay very promptly and have sizable branching ratios to \(\tau \) leptons, a significant \(\tau \) production rate is expected. This provides an additional production mechanism for HNL masses below the \(\tau \) mass controlled by \(\vert U_{\tau 4}\vert ^2\), allowing DUNE to significantly improve the sensitivity to this more elusive mixing matrix element. All decay modes of the \(\tau \) could allow to produce a HNL in the final state, provided that it is kinematically allowed. Nevertheless, we have opted to conservatively consider only the \(\tau \) decay modes \(\tau ^-\rightarrow \rho ^- N_4\), \(\tau ^-\rightarrow \pi ^- N_4\) and \(\tau ^-\rightarrow \ell _\alpha ^- N_4 {\bar{\nu }}\). Unlike for the production from meson decays, we did not provide their explicit expressions in Sect. 4, since they would be the same as for the corresponding \(N_4\) decays in Eqs. (87), (85) and (94), respectively. The decays with 3 or more mesons in the final state have been neglected since the phase space is reduced for the production of a massive particle and the simulation of the HNL kinematics is more challenging for these channels (see Sect. 5.3).
Once we have obtained an expected flux of HNL entering the detector, this is then matched to the 22 different decay modes into SM particles studied in Sect. 5 (and shown in Figs. 1, 2) according to their corresponding branching ratios to obtain the expected signal at the detector.
In the remainder of this section we first illustrate the impact on the detector acceptance due to the boost of the HNL, and then we compute the expected number of heavy neutrino decays inside the DUNE ND to estimate its sensitivity.
6.1 The effect of the HNL mass on the detector acceptance
The effect of the boost in the beam direction is more efficient for particles with smaller velocities. Therefore, a larger detector acceptance is obtained when the effect of the heavy neutrino mass is properly included in the flux simulations, compared to estimations of the HNL flux based on the massless neutrino distributions. In order to illustrate the effect of the boost on the detector acceptance, we simulate the heavy neutrino flux at the DUNE ND from meson decays, and we compare it to the result obtained for the light neutrino flux. Our results are shown in Fig. 3, for neutrinos produced from kaon decays (left panel, where \(M_4 = 200~\mathrm {MeV}\)) and from D decays (right panel, where \(M_4 = 1~\mathrm {GeV}\)). As can be seen in this figure, the increase in acceptance is considerable: up to a factor of two for 200 MeV neutrinos from kaon decays, and up to a factor of three for 1 GeV neutrinos coming from D decays. The effect of the boost will also lead to a distortion in the expected spectra due to the different dependence of the detector acceptance with the neutrino energy, which can be seen from the comparison of the shape of the light and dark histograms in each panel. The net result is a relative increase in the number of neutrinos at low energies that enter the ND, given their smaller velocities and hence stronger collimation.
Detector acceptance (dark blue in both panels) as a function of the neutrino energy, for neutrinos with a mass of 200 MeV, produced from \(K^+ \rightarrow e^+ N_4\) decays (left panel), and neutrinos with a mass of 1 GeV, produced from \(D^+ \rightarrow e^+ N_4\) decays (right panel). In both panels, the light blue histogram shows the detector acceptance when the neutrino mass is set to zero
Finally, Fig. 4 shows the total detector acceptance, after integrating over the neutrino energy, as a function of the HNL mass. Note that the acceptance is expected to be different depending on the parent meson that produced the neutrino due to the effect of the horns: while pions are typically very well-focused at a long-baseline experiment, this is not the case for heavier mesons, which are not only harder to focus due to their larger masses but also decay much faster. This effect is most significant for D and \(D_s\) mesons, which decay very promptly and therefore are practically unaffected by the horn focusing system. In Fig. 4 we show different lines for neutrinos obtained from different meson decays, as indicated by the labels. As can be seen, as the heavy neutrino mass approaches the production threshold and its velocity decreases accordingly, the acceptance grows very rapidly given the stronger boost in the beam direction. Notice however that also the phase space is decreasing and hence the number of total HNL events will also be reduced.
Total detector acceptance as a function of the heavy neutrino mass. For reference, the total acceptance of the detector in the light neutrino case is indicated by the shaded regions: \(3.2\times 10^{-3}\) for neutrinos produced from pion decays, \(1.7\times 10^{-3}\) for neutrinos from kaon decays, \(2.1\times 10^{-3}\) for neutrinos from D decays, and \(2.0\times 10^{-3}\) for neutrinos from \(D_s\) decays
6.2 Expected sensitivity to HNL decays
Once the flux of heavy neutrinos \(d\phi _N/dE_N\) that reach the ND has been computed numerically as a function of the neutrino energy \(E_N\), the total number of expected neutrino decays into a given decay channel c inside the DUNE ND can be expressed as
where BR\(_c\) is the branching ratio of the corresponding decay channel and \(P(E_N)\) stands for the probability of the heavy neutrino decaying inside the ND (which depends on the boost factor and therefore on the neutrino energy):
Here, \(\Gamma \) is the total decay width of the heavy neutrino in its rest frame, while \(\gamma = E_N/M_4\), \(\beta = |\mathbf {p_N}| / E_N\) and \(\mathbf {p_N}\) stands for the neutrino momentum. L is the distance between the HNL production and the ND while \(\Delta \ell _{\mathrm{det}}\) is the length of the HNL trajectory inside the detector.
From Eq. (98) it is easy to see that the neutrino must be sufficiently long-lived to reach the ND, or otherwise the number of decays will be exponentially suppressed. This will be the case for large enough energies and small enough matrix elements \(U_{\alpha 4}\), which correspond to the most interesting region of the parameter space. In this limit, \(\Gamma L \ll \gamma \beta \), and the decay probability can be further approximated as
Nevertheless, this approximation does not hold anymore for large masses and mixings, and thus we will employ Eq. (98) to compute the probability of the HNL decaying inside the detector.
Given that the neutrino flux entering the detector will be directly proportional to its aperture, and that the probability for the neutrino to decay inside the ND is proportional to \(\Delta \ell _{det}\), it is easy to see that the sensitivity to heavy neutrino decays will scale with the volume of the ND.
90% CL contour for the expected sensitivity to the mixing \(|U_{e4}|^2\) as a function of the heavy neutrino mass for a total amount of \( 7.7\times 10^{21}\) PoT. The different regions show the contributions obtained when the heavy neutrinos are produced from the decays of a given parent meson, as indicated by the labels
In order to compute the final sensitivity to HNLs, a detector simulation should be performed, including relevant background contributions from SM neutrino interactions in the ND. Such a fully detailed detector simulation is beyond the scope of this work, where we rather show an estimate to the sensitivity of DUNE as an application of the methods derived in the previous sections. The main source of background for this search comes from neutrino interactions in the detector volume, and is very significant. In Ref. [53] the background rates for Argon were estimated at \(\sim 3\times 10^5~\text {events/ton/}10^{20}~\text {PoT}\). Fortunately, SM neutrino events present a very different topology than that of heavy neutrino decays, and a series of kinematic cuts can heavily reduce the expected background and bring it down to a negligible level. This was the case, for example, for the T2K near detector HNL search performed in Ref. [84] (which also used a gas TPC). Therefore, following Refs. [53, 84], hereafter we will assume that this is achievable and show our expected sensitivity contours to heavy neutrino decays under the assumption of no background. We also assume that the cuts applied to reduce the background will translate into similar signal efficiencies in our case as those obtained in Ref. [84]. Although the efficiency will eventually depend on the mass of the HNL and the considered decay channel (see Fig. 4 in Ref. [84]), here we use 20% as an educated guess. Finally, for our sensitivity contours we estimate the 90 % confidence level (CL) sensitivity on the signal following the Feldman and Cousins [85] prescription for a Poisson distribution with no background and under the hypothesis of no events being observed, which corresponds to the expected number of signal events being smaller than 2.44.
Before showing our sensitivity contours, we show in Fig. 5 an example to illustrate the relative importance of the different HNL production mechanisms on the results. In this example, we show the contours obtained under the assumption that the heavy neutrino mixes primarily with the e sector. The different regions show the contributions obtained when the heavy neutrinos are produced from the decays of a given parent meson, as indicated by the labels. The signature in this case would be electron-positron pairs, corresponding to the decay \(N_4 \rightarrow \nu e^+ e^-\). As can be seen, for \(M_4 < m_\pi \) the leading production mechanism is \(\pi ^\pm \) decay. For masses in the region \(m_\pi< M_4 < m_K\), \(K^\pm \) dominates and, in fact, the sensitivity contour reaches lower values of \(U_{e4}\) at the best point (in spite of the smaller number of kaons produced, when compared to the number of pions). The reason for this is that for \(M_4 < m_\pi \) the heavy neutrino becomes very long-lived, leading to a reduced number of decays inside the detector and a consequent reduction in sensitivity. On the other hand, in the heavy mass region (\(M_4 > m_K\)) the heavy neutrino is predominantly produced from either D or \(D_s\) meson decays (although there is a subdominant contribution from \(\tau \) decays). While the \(D_s\) is heavier (and therefore more difficult to produce) than D mesons, its decay to heavy neutrinos is mediated by the CKM element \(V_{cs}\) instead of \(V_{cd}\). This compensates for the reduced meson production rate and, as a result, the sensitivity in this region is dominated by \(D_s\) decays. Finally, the different slope as a function of \(M_4\) for the D contribution is simply due to the fact that, unlike for the \(\pi \), K and \(D_s\) decays, the D meson production of \(N_4\) is dominated by three-body decays instead of two-body (see Sect. 4).
Figure 6 shows the sensitivity contours in the \(M_4 - \vert U_{\alpha 4}\vert ^2\) plane at 90% CL, for different decay channels as indicated. The upper, middle and lower panels in the figure show the results assuming that the heavy neutrino mixes predominantly with the e, \(\mu \) and \(\tau \) sectors respectively.
Expected DUNE sensitivity (at \(90\%\) CL) to the mixing matrix elements \(\vert U_{\alpha 4}\vert ^2\) as a function of the heavy neutrino mass, for a total of \(7.7 \times 10^{21}\) PoT collected. In each row, we assume that the HNL only couples to one of the charged leptons as indicated, while the other two mixings are set to zero. The different regions correspond to the results for different final states as indicated by the labels. Left panels correspond to signatures with charged leptons and missing energy, while middle (right) panels correspond to signatures with pseudoscalar (vector) mesons in the final state. In our analysis, we assume a negligible background level after cuts and a signal selection efficiency of 20%, see text for details
Expected DUNE sensitivity (at \(90\%\) CL) to the mixing matrix elements \(\vert U_{\alpha 4}\vert ^2\) as a function of the heavy neutrino mass, for a total of \(7.7 \times 10^{21}\) PoT collected, combining all possible decay channels for the HNL leading to visible final states in the detector. Results are shown for a HNL coupled to e (left panel), \(\mu \) (middle panel), and \(\tau \) (right panel). The shaded gray areas are disfavored at 90% CL by present experiments. The dotted gray lines enclose the region of parameter space where a type-I Seesaw model could generate light neutrino masses in agreement with oscillation experiments and upper bounds coming from \(\beta \)-decay searches, see text for details. In our analysis, we assume a negligible background level after cuts and a signal selection efficiency of \(20\%\)
Finally, Fig. 7 summarizes in blue the 90% CL expected sensitivities at the DUNE near detector to the heavy neutrino mixing \(\vert U_{\alpha 4}\vert ^2\) as a function of its mass, assuming a Dirac HNL. In the Majorana case, the increase in the number of events would translate into a slightly better sensitivity, although the results would be qualitatively very similar. In this last figure we combine the events from all the channels depicted in Fig. 6 under the same assumption of \(20\%\) signal efficiency and negligible background, following Ref. [84]. We again estimate the sensitivity following the Feldman and Cousins [85] prescription for a Poisson distribution under the hypothesis of no events being observed, which corresponds to the expected total number of signal events combining all channels leading to a visible final state in the detector being smaller than 2.44.
For comparison, the shaded gray areas indicate the parameter space disfavored by current experiments (at \(90\% CL\)). Relevant bounds on \(U_{e4}\) are obtained from results by the TRIUMF [86, 87], PIENU [88], NA62 [89], T2K [84], PS191 [90, 91], CHARM [92], BEBC [93] and DELPHI [94] collaborations; for \(U_{\mu 4}\), by PSI [95], PIENU [96], KEK [97], E949 [98], T2K [84], PS191 [90, 91], NuTeV [99] and DELPHI [94]; finally, \(U_{\tau 4}\) is much harder to probe experimentally and here the only available constraints come from CHARM [100] and DELPHI [28]. We find that DUNE is expected to improve over present constraints by several orders of magnitude in a large fraction of the parameter space and, in particular, for HNL masses between the K and D meson thresholds.
As a target region, we have also indicated in Fig. 7 the naive expectation for the mixing matrix elements from the Seesaw mechanism: \(\vert U_{\alpha 4}\vert ^2 \sim m_i/M_4\), where \(m_i\) stands for the SM neutrino masses. In particular, we set as the lower end of the band the minimum mass that at least one of the neutrinos must have to correctly reproduce the atmospheric mass splitting as measured in neutrino oscillations \(\sqrt{\Delta m^2_\text {atm}}= 0.05\) eV. The upper line has been set using the latest bound of 1.1 eV from the KATRIN experiment [101]. We find that DUNE will be able to start exploring this interesting region, for HNL masses close to the K mass. Notice that this is only a generic expectation from the Seesaw mechanism: individual elements of the mixing matrix could either exceed or fall below these limits.
If sufficiently long lived, HNLs could decay during Big Bang Nucleosynthesis (BBN), altering the prediction for the primordial abundance of light elements. Thus, too small mixings are disfavoured, especially at low masses, as they would imply too long lived HNLs. BBN constraints exclude squared mixings smaller than \(\sim 10^{-5}\) for a neutrino with a mass of 100 MeV, while the bounds are much looser for larger masses, only disfavouring squared mixings below \(10^{-10}\) for an HNL with a mass of 1 GeV [102,103,104,105,106].Footnote 3 Nevertheless, since these constraints rely on the cosmological history of the Universe, we choose not to display them together with direct laboratory tests in Fig. 7.
The number of HNL events depends on both their production rate and their decay probability inside the detector. At low masses the heavy neutrino production is dominated by pion decay, which is roughly proportional to \(\vert U_{\alpha 4}\vert ^2M_4^2\) (see Eq. (75)). In this region, the most important HNL decay channel is \(N_4\rightarrow \nu e^+e^-\), which is proportional to \(\vert U\vert ^2M_4^5\) (see Eq. (89)). Thus, according to Eq. (99), the number of events should scale as \(\vert U_{\alpha 4}\vert ^4M_4^8\) (an extra \(M_4\) power arises due to the \(1/\gamma \) factor, proportional to \(M_4\)). We have indeed verified that the slopes in the low mass regions of Fig. 7 fit well to \(\vert U_{\alpha 4}\vert ^2\propto M_4^{-4}\), as expected.
We have also compared our results to similar studies in the literature [53, 54, 56], after the corresponding rescaling of the number of events accounting for the different detector volumes, PoT and efficiencies assumed, we find a rather good agreement between the four estimations of the DUNE sensitivity. We find the best overall agreement with Ref. [56]. The main difference is a slightly better sensitivity to the \(U_{\tau 4}\) mixing in our results, in the small sensitivity peak we find around \(M_4 \sim 1\) GeV, corresponding to the closure of the \(\tau \rightarrow N_4 \rho ^-\) production channel. This peak also seems absent in the other references. Regarding Ref. [53], the main differences we find are at the peaks in sensitivity at the kinematic thresholds of the meson masses, where we find better sensitivity. We believe that these differences are due to the effect of the boost factor on the detector acceptance discussed in Sect. 6.1, which becomes most relevant close to the kinematic thresholds, as shown in Fig. 4. We also find that the sensitivity to \(U_{\mu 4}\) for values of \(M_4\) larger than the Kaon mass, is significantly smaller in Ref. [53] as compared to the other estimations, which find a similar behavior to that of \(U_{e 4}\), as expected from their similar branching ratios. Finally, we also find generally good agreement with Ref. [54]. The main differences are in the areas of parameter space were the HNL decays to \(\rho ^0\) and especially to \(\pi ^0\) are most relevant, since these decay modes were not included. The slope of the sensitivity curves is also slightly less steep than the \(\vert U_{\alpha 4}\vert ^2\propto M_4^{-4}\) found in the other references.
7 Summary and conclusions
The addition of at least two nearly-sterile neutrinos (or HNLs) to the SM particle content is the simplest extension of the SM capable of reproducing the observed pattern of neutrino masses and mixing. The Majorana mass scale, unlike the masses of the other elementary particles, is not related to the electroweak scale and is a priori a free parameter of the model. The phenomenological consequences due to the existence of such heavy neutrinos would be very diverse depending on its value. In fact, while traditional type-I Seesaw models set their Majorana masses at very high energies (experimentally inaccessible), lower-energy versions (with heavy neutrinos at around the GeV scale) have recently drawn a lot of attention in the community since they are testable, do not worsen the hierarchy problem, and are able to reproduce the observed Baryon Asymmetry of the Universe. In such low-scale Seesaw models, the new singlets may form a pseudo-Dirac pair and lepton number is approximately preserved in the theory.
The most promising avenues to look for MeV- to GeV-scale neutrinos are peak searches in meson decays, and searches for displaced vertices in fixed target experiments (produced when the neutrino travels a macroscopic distance before decaying back to SM particles). In both cases, an effective theory describing the interactions at low energies between mesons, neutrinos and charged leptons, obtained after the electroweak bosons have been integrated out, is the most suitable description. While most relevant vertices of the effective theory had been partially derived in previous literature, several inconsistencies remained. In this work, we have systematically derived all effective vertices involving mesons with masses of up to 2 GeV with significant branching ratios into HNLs. This allowed us to derive analytic expressions for the decay widths of the heavy neutrino into the different channels, and to clarify the inconsistencies found in previous literature (summarized in Sect. 5.4). For convenience, Table 5 summarizes the Feynman rules for the effective vertices involving charged leptons, mesons and neutrinos.
Our results have been made publicly available as FeynRules models [67] so that not only the total widths, but also fully differential event distributions, can be computed using Monte Carlo generators such as MadGraph5 [68]. This has been done separately for Dirac and Majorana HNLs. Moreover, note that, while the present work focuses on the low-energy theory, our FeynRules implementation is more general and includes an option to replace all mesons with quarks, so they may also be used to study HNL phenomenology in collider searches at higher energies.
To illustrate the applicability of the effective theory and its FeynRules implementation, we have performed numerical simulations to obtain the expected heavy neutrino flux that would reach the DUNE near detector (ND), as well as the expected number of HNL decays inside the detector into several decay channels. The very high beam intensity, combined with the availability of a ND located at a distance \(L\sim {\mathcal {O}}(500)\) m, puts the DUNE experiment in an ideal position to search for the decay signals of HNLs produced from meson decays. We have shown how a proper treatment of the boost of the heavy neutrino, accounting for its mass, leads to an increased detector acceptance for the heavy neutrino flux when compared to the light neutrino case, see Figs. 3 and 4.
Finally, while the computation of the expected sensitivity at DUNE eventually needs a detailed detector simulation to address background rejection, it has been shown that, applying proper kinematic cuts to the particles observed in the final state, it is possible to reduce the background to a negligible level while keeping most of the signal events. Under this assumption, we have estimated in Sect. 6 the expected sensitivities to the model as a function of the heavy neutrino mass. We find that DUNE is expected to reach sensitivities comparable to or even better than those of fixed target experiments (see Fig. 7). We also find that DUNE will be expected to start exploring the region of parameter space where neutrino masses can be explained using a type-I Seesaw model, for HNL masses around the K mass scale.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is a theoretical study and no experimental data were generated.]
Notes
The production rates reported in Tab 3.1 of version 1 of Ref. [54] are a factor 2–3 smaller. The reinteractions that we take into account lead to higher production of low energy pions, which do not have a significant impact in the final sensitivity given their low collimation. For the heavier mesons the discrepancy is due to the use of different Pythia versions. The authors of Pythia looked into the issue and confirmed a bug was introduced in version 8.240 of Pythia that led to the lower rates found in Ref. [54].
Note that BBN constraints do not significantly depend on the active flavor that dominates the mixing with HNLs.
The masses of the light neutrinos can be neglected for phenomenological purposes here.
References
P. Minkowski, \(\mu \rightarrow e\gamma \) at a rate of one out of \(10^{9}\) muon decays? Phys. Lett. 67B, 421–428 (1977). https://doi.org/10.1016/0370-2693(77)90435-X
R.N. Mohapatra, G. Senjanovic, Neutrino mass and spontaneous parity nonconservation. Phys. Rev. Lett. 44, 912 (1980). https://doi.org/10.1103/PhysRevLett.44.912
T. Yanagida, Horizontal gauge symmetry and masses of neutrinos. Conf. Proc. C 7902131, 95–99 (1979)
M. Gell-Mann, P. Ramond, R. Slansky, Complex spinors and unified theories. Conf. Proc. C 790927, 315–321 (1979). arXiv:1306.4669 [hep-th]
M. Fukugita, T. Yanagida, Baryogenesis without grand unification. Phys. Lett. B 174, 45–47 (1986). https://doi.org/10.1016/0370-2693(86)91126-3
F. Vissani, Do experiments suggest a hierarchy problem? Phys. Rev. D 57, 7027–7030 (1998). https://doi.org/10.1103/PhysRevD.57.7027. arXiv:hep-ph/9709409
J. Casas, J. Espinosa, I. Hidalgo, Implications for new physics from fine-tuning arguments. 1. Application to SUSY and seesaw cases. JHEP 11, 057 (2004). https://doi.org/10.1088/1126-6708/2004/11/057. arXiv:hep-ph/0410298
R.N. Mohapatra, Mechanism for understanding small neutrino mass in superstring theories. Phys. Rev. Lett. 56, 561–563 (1986). https://doi.org/10.1103/PhysRevLett.56.561
R.N. Mohapatra, J.W.F. Valle, Neutrino mass and baryon number nonconservation in superstring models. Phys. Rev. D 34, 1642 (1986). https://doi.org/10.1103/PhysRevD.34.1642
J. Bernabeu, A. Santamaria, J. Vidal, A. Mendez, J.W.F. Valle, Lepton flavor nonconservation at high-energies in a superstring inspired Standard Model. Phys. Lett. B 187, 303–308 (1987). https://doi.org/10.1016/0370-2693(87)91100-2
M. Malinsky, J.C. Romao, J.W.F. Valle, Novel supersymmetric SO(10) seesaw mechanism. Phys. Rev. Lett. 95, 161801 (2005). https://doi.org/10.1103/PhysRevLett.95.161801. arXiv:hep-ph/0506296
G.C. Branco, W. Grimus, L. Lavoura, The seesaw mechanism in the presence of a conserved lepton number. Nucl. Phys. B 312, 492 (1989). https://doi.org/10.1016/0550-3213(89)90304-0
J. Kersten, A.Y. Smirnov, Right-handed neutrinos at CERN LHC and the mechanism of neutrino mass generation. Phys. Rev. D 76, 073005 (2007). https://doi.org/10.1103/PhysRevD.76.073005. arXiv:0705.3221 [hep-ph]
A. Abada, C. Biggio, F. Bonnet, M.B. Gavela, T. Hambye, Low energy effects of neutrino masses. JHEP 12, 061 (2007). https://doi.org/10.1088/1126-6708/2007/12/061. arXiv:0707.4058 [hep-ph]
E.K. Akhmedov, V. Rubakov, A. Smirnov, Baryogenesis via neutrino oscillations. Phys. Rev. Lett. 81, 1359–1362 (1998). https://doi.org/10.1103/PhysRevLett.81.1359. arXiv:hep-ph/9803255
T. Asaka, M. Shaposhnikov, The \(\nu \)MSM, dark matter and baryon asymmetry of the universe. Phys. Lett. B 620, 17–26 (2005). https://doi.org/10.1016/j.physletb.2005.06.020. arXiv:hep-ph/0505013
M. Shaposhnikov, The nuMSM, leptonic asymmetries, and properties of singlet fermions. JHEP 08, 008 (2008). https://doi.org/10.1088/1126-6708/2008/08/008. arXiv:0804.4542 [hep-ph]
E. Fernandez-Martinez, M. Gavela, J. Lopez-Pavon, O. Yasuda, CP-violation from non-unitary leptonic mixing. Phys. Lett. B 649, 427–435 (2007). https://doi.org/10.1016/j.physletb.2007.03.069. arXiv:hep-ph/0703098
S. Antusch, M. Blennow, E. Fernandez-Martinez, J. Lopez-Pavon, Probing non-unitary mixing and CP-violation at a neutrino factory. Phys. Rev. D 80, 033002 (2009). https://doi.org/10.1103/PhysRevD.80.033002. arXiv:0903.3986 [hep-ph]
S. Parke, M. Ross-Lonergan, Unitarity and the three flavor neutrino mixing matrix. Phys. Rev. D 93(11), 113009 (2016). https://doi.org/10.1103/PhysRevD.93.113009. arXiv:1508.05095 [hep-ph]
O. Miranda, M. Tortola, J. Valle, New ambiguity in probing CP violation in neutrino oscillations. Phys. Rev. Lett. 117(6), 061804 (2016). https://doi.org/10.1103/PhysRevLett.117.061804. arXiv:1604.05690 [hep-ph]
S.-F. Ge, P. Pasquini, M. Tortola, J. Valle, Measuring the leptonic CP phase in neutrino oscillations with nonunitary mixing. Phys. Rev. D 95(3), 033005 (2017). https://doi.org/10.1103/PhysRevD.95.033005. arXiv:1605.01670 [hep-ph]
M. Blennow, P. Coloma, E. Fernandez-Martinez, J. Hernandez-Garcia, J. Lopez-Pavon, Non-unitarity, sterile neutrinos, and Non-Standard neutrino Interactions. JHEP 04, 153 (2017). https://doi.org/10.1007/JHEP04(2017)153. arXiv:1609.08637 [hep-ph]
F. Escrihuela, D. Forero, O. Miranda, M. Tórtola, J. Valle, Probing CP violation with non-unitary mixing in long-baseline neutrino oscillation experiments: DUNE as a case study. New J. Phys. 19(9), 093005 (2017). https://doi.org/10.1088/1367-2630/aa79ec. arXiv:1612.07377 [hep-ph]
T. Kosmas, D. Papoulias, M. Tortola, J. Valle, Probing light sterile neutrino signatures at reactor and spallation Neutron Source neutrino experiments. Phys. Rev. D 96(6), 063013 (2017). https://doi.org/10.1103/PhysRevD.96.063013. arXiv:1703.00054 [hep-ph]
O. Miranda, D. Papoulias, O. Sanders, M. Tórtola, J. Valle, Future CEvNS experiments as probes of lepton unitarity and light-sterile neutrinos. arXiv:2008.02759 [hep-ph]
F. del Aguila, J. Aguilar-Saavedra, Distinguishing seesaw models at LHC with multi-lepton signals. Nucl. Phys. B 813, 22–90 (2009). https://doi.org/10.1016/j.nuclphysb.2008.12.029. arXiv:0808.2468 [hep-ph]
A. Atre, T. Han, S. Pascoli, B. Zhang, The search for heavy Majorana neutrinos. JHEP 05, 030 (2009). https://doi.org/10.1088/1126-6708/2009/05/030. arXiv:0901.3589 [hep-ph]
S. Antusch, O. Fischer, Testing sterile neutrino extensions of the Standard Model at future lepton colliders. JHEP 05, 053 (2015). https://doi.org/10.1007/JHEP05(2015)053. arXiv:1502.05915 [hep-ph]
F.F. Deppisch, P. BhupalDev, A. Pilaftsis, Neutrinos and collider physics. New J. Phys. 17(7), 075019 (2015). https://doi.org/10.1088/1367-2630/17/7/075019. arXiv:1502.06541 [hep-ph]
S. Antusch, E. Cazzato, O. Fischer, Sterile neutrino searches at future \(e^-e^+\), \(pp\), and \(e^-p\) colliders. Int. J. Mod. Phys. A 32(14), 1750078 (2017). https://doi.org/10.1142/S0217751X17500786. arXiv:1612.02728 [hep-ph]
A. Das, N. Okada, Bounds on heavy Majorana neutrinos in type-I seesaw and implications for collider searches. Phys. Lett. B 774, 32–40 (2017). https://doi.org/10.1016/j.physletb.2017.09.042. arXiv:1702.04668 [hep-ph]
A. Das, P.S.B. Dev, C. Kim, Constraining sterile neutrinos from precision Higgs data. Phys. Rev. D 95(11), 115013 (2017). https://doi.org/10.1103/PhysRevD.95.115013. arXiv:1704.00880 [hep-ph]
Y. Cai, T. Han, T. Li, R. Ruiz, Lepton number violation: Seesaw models and their collider tests. Front. Phys. 6, 40 (2018). https://doi.org/10.3389/fphy.2018.00040. arXiv:1711.02180 [hep-ph]
A. Das, Searching for the minimal Seesaw models at the LHC and beyond. Adv. High Energy Phys. 2018, 9785318 (2018). https://doi.org/10.1155/2018/9785318. arXiv:1803.10940 [hep-ph]
P. Bhupal Dev, Y. Zhang, Displaced vertex signatures of doubly charged scalars in the type-II seesaw and its left-right extensions. JHEP 10, 199 (2018). https://doi.org/10.1007/JHEP10(2018)199. arXiv:1808.00943 [hep-ph]
S. Pascoli, R. Ruiz, C. Weiland, Heavy neutrinos with dynamic jet vetoes: multilepton searches at \( \sqrt{s}=14 \), 27, and 100 TeV. JHEP 06, 049 (2019). https://doi.org/10.1007/JHEP06(2019)049. arXiv:1812.08750 [hep-ph]
N. Liu, Z.-G. Si, L. Wu, H. Zhou, B. Zhu, Top quark as a probe of heavy Majorana neutrino at the LHC and future colliders. Phys. Rev. D 101(7), 071701 (2020). https://doi.org/10.1103/PhysRevD.101.071701. arXiv:1910.00749 [hep-ph]
R.E. Shrock, General theory of weak leptonic and semileptonic decays. 1. Leptonic pseudoscalar meson decays, with associated tests for, and bounds on, neutrino masses and lepton mixing. Phys. Rev. D 24, 1232 (1981). https://doi.org/10.1103/PhysRevD.24.1232
R.E. Shrock, General theory of weak processes involving neutrinos. 2. Pure leptonic decays. Phys. Rev. D 24, 1275 (1981). https://doi.org/10.1103/PhysRevD.24.1275
P. Langacker, D. London, Mixing between ordinary and exotic fermions. Phys. Rev. D 38, 886 (1988). https://doi.org/10.1103/PhysRevD.38.886
D. Tommasini, G. Barenboim, J. Bernabeu, C. Jarlskog, Nondecoupling of heavy neutrinos and lepton flavor violation. Nucl. Phys. B 444, 451–467 (1995). https://doi.org/10.1016/0550-3213(95)00201-3. arXiv:hep-ph/9503228
S. Antusch, C. Biggio, E. Fernandez-Martinez, M. Gavela, J. Lopez-Pavon, Unitarity of the leptonic mixing matrix. JHEP 10, 084 (2006). https://doi.org/10.1088/1126-6708/2006/10/084. arXiv:hep-ph/0607020
S. Antusch, J.P. Baumann, E. Fernandez-Martinez, Non-standard neutrino interactions with matter from physics beyond the Standard Model. Nucl. Phys. B 810, 369–388 (2009). https://doi.org/10.1016/j.nuclphysb.2008.11.018. arXiv:0807.1003 [hep-ph]
D. Forero, S. Morisi, M. Tortola, J. Valle, Lepton flavor violation and non-unitary lepton mixing in low-scale type-I seesaw. JHEP 09, 142 (2011). https://doi.org/10.1007/JHEP09(2011)142. arXiv:1107.6009 [hep-ph]
S. Antusch, O. Fischer, Non-unitarity of the leptonic mixing matrix: present bounds and future sensitivities. JHEP 10, 094 (2014). https://doi.org/10.1007/JHEP10(2014)094. arXiv:1407.6607 [hep-ph]
E. Fernandez-Martinez, J. Hernandez-Garcia, J. Lopez-Pavon, Global constraints on heavy neutrino mixing. JHEP 08, 033 (2016). https://doi.org/10.1007/JHEP08(2016)033. arXiv:1605.08774 [hep-ph]
A.M. Coutinho, A. Crivellin, C.A. Manzari, Global fit to modified neutrino couplings and the Cabibbo-angle anomaly. arXiv:1912.08823 [hep-ph]
D. Gorbunov, M. Shaposhnikov, How to find neutral leptons of the \(\nu \)MSM? JHEP 10, 015 (2007). https://doi.org/10.1088/1126-6708/2007/10/015. arXiv:0705.1729 [hep-ph]. [Erratum: JHEP 11, 101 (2013)]
A. Abada, D. Bečirević, O. Sumensari, C. Weiland, R. Zukanovich Funchal, Sterile neutrinos facing kaon physics experiments. Phys. Rev. D 95(7), 075023 (2017). https://doi.org/10.1103/PhysRevD.95.075023. arXiv:1612.04737 [hep-ph]
A. Abada, A.M. Teixeira, Heavy neutral leptons and high-intensity observables. Front. Phys. 6, 142 (2018). https://doi.org/10.3389/fphy.2018.00142. arXiv:1812.08062 [hep-ph]
A. Abada, N. Bernal, M. Losada, X. Marcano, Inclusive displaced vertex searches for heavy neutral leptons at the LHC. JHEP 01, 093 (2019). https://doi.org/10.1007/JHEP01(2019)093. arXiv:1807.10024 [hep-ph]
P. Ballett, T. Boschi, S. Pascoli, Heavy neutral leptons from low-scale seesaws at the DUNE near detector. JHEP 20, 111 (2020). https://doi.org/10.1007/JHEP03(2020)111. arXiv:1905.00284 [hep-ph]
J.M. Berryman, A. de Gouvea, P.J. Fox, B.J. Kayser, K.J. Kelly, J.L. Raaf, Searches for decays of new particles in the DUNE multi-purpose near detector. JHEP 02, 174 (2020). https://doi.org/10.1007/JHEP02(2020)174. arXiv:1912.07622 [hep-ph]
A. Abada, C. Hati, X. Marcano, A. Teixeira, Interference effects in LNV and LFV semileptonic decays: the Majorana hypothesis. JHEP 09, 017 (2019). https://doi.org/10.1007/JHEP09(2019)017. arXiv:1904.05367 [hep-ph]
I. Krasnov, DUNE prospects in the search for sterile neutrinos. Phys. Rev. D 100(7), 075023 (2019). https://doi.org/10.1103/PhysRevD.100.075023. arXiv:1902.06099 [hep-ph]
D. Bryman, R. Shrock, Improved constraints on sterile neutrinos in the MeV to GeV mass range. Phys. Rev. D 100(5), 053006 (2019). https://doi.org/10.1103/PhysRevD.100.053006. arXiv:1904.06787 [hep-ph]
D. Bryman, R. Shrock, Constraints on sterile neutrinos in the MeV to GeV mass range. Phys. Rev. D 100, 073011 (2019). https://doi.org/10.1103/PhysRevD.100.073011. arXiv:1909.11198 [hep-ph]
K. Bondarenko, A. Boyarsky, M. Ovchynnikov, O. Ruchayskiy, Sensitivity of the intensity frontier experiments for neutrino and scalar portals: analytic estimates. JHEP 08, 061 (2019). https://doi.org/10.1007/JHEP08(2019)061. arXiv:1902.06240 [hep-ph]
M. Drewes, B. Garbrecht, Combining experimental and cosmological constraints on heavy neutrinos. Nucl. Phys. B 921, 250–315 (2017). https://doi.org/10.1016/j.nuclphysb.2017.05.001. arXiv:1502.00477 [hep-ph]
M. Chrzaszcz, M. Drewes, T.E. Gonzalo, J. Harz, S. Krishnamurthy, C. Weniger, A frequentist analysis of three right-handed neutrinos with GAMBIT. Eur. Phys. J. C 80(6), 569 (2020). https://doi.org/10.1140/epjc/s10052-020-8073-9. arXiv:1908.02302 [hep-ph]
D. Gorbunov, I. Krasnov, Y. Kudenko, S. Suvorov, Heavy neutral leptons from kaon decays in the SHiP experiment. Phys. Lett. B 810, 135817 (2020). https://doi.org/10.1016/j.physletb.2020.135817. arXiv:2004.07974 [hep-ph]
P. Hernandez, M. Kekic, J. Lopez-Pavon, J. Racker, J. Salvado, Testable baryogenesis in seesaw models. JHEP 08, 157 (2016). https://doi.org/10.1007/JHEP08(2016)157. arXiv:1606.06719 [hep-ph]
A. Abada, G. Arcadi, V. Domcke, M. Drewes, J. Klaric, M. Lucente, Low-scale leptogenesis with three heavy neutrinos. JHEP 01, 164 (2019). https://doi.org/10.1007/JHEP01(2019)164. arXiv:1810.12463 [hep-ph]
J. Ghiglieri, M. Laine, Sterile neutrino dark matter via GeV-scale leptogenesis? JHEP 07, 078 (2019). https://doi.org/10.1007/JHEP07(2019)078. arXiv:1905.08814 [hep-ph]
K. Bondarenko, A. Boyarsky, D. Gorbunov, O. Ruchayskiy, Phenomenology of GeV-scale heavy neutral leptons. JHEP 11, 032 (2018). https://doi.org/10.1007/JHEP11(2018)032. arXiv:1805.08567 [hep-ph]
A. Alloul, N.D. Christensen, C. Degrande, C. Duhr, B. Fuks, FeynRules 2.0—a complete toolbox for tree-level phenomenology. Comput. Phys. Commun. 185, 2250–2300 (2014). https://doi.org/10.1016/j.cpc.2014.04.012. arXiv:1310.1921 [hep-ph]
J. Alwall, R. Frederix, S. Frixione, V. Hirschi, F. Maltoni, O. Mattelaer, H.S. Shao, T. Stelzer, P. Torrielli, M. Zaro, The automated computation of tree-level and next-to-leading order differential cross sections, and their matching to parton shower simulations. JHEP 07, 079 (2014). https://doi.org/10.1007/JHEP07(2014)079. arXiv:1405.0301 [hep-ph]
Particle Data Group Collaboration, M. Tanabashi et al., Review of particle physics (2019 update). Phys. Rev. D 98(3), 030001 (2018). https://doi.org/10.1103/PhysRevD.98.030001. 2019 update
R. Escribano, S. Gonzàlez-Solís, P. Masjuan, P. Sanchez-Puertas, \(\eta ^\prime \) transition form factor from space- and timelike experimental data. Phys. Rev. D 94(5), 054033 (2016). https://doi.org/10.1103/PhysRevD.94.054033. arXiv:1512.07520 [hep-ph]
ETM Collaboration, V. Lubicz, L. Riggio, G. Salerno, S. Simula, C. Tarantino, Scalar and vector form factors of \(D \rightarrow \pi (K) \ell \nu \) decays with \(N_f=2+1+1\) twisted fermions. Phys. Rev. D 96(5), 054514 (2017). https://doi.org/10.1103/PhysRevD.96.054514, https://doi.org/10.1103/PhysRevD.99.099902, arXiv:1706.03017 [hep-lat]. [erratum: Phys. Rev.D 99(9), 099902 (2019)]
J. Bijnens, G. Colangelo, G. Ecker, J. Gasser, Semileptonic kaon decays, in 2nd DAPHNE Physics Handbook:315-389, pp. 315–389 (1994). arXiv:hep-ph/9411311 [hep-ph]
J.C. Helo, S. Kovalenko, I. Schmidt, Sterile neutrinos in lepton number and lepton flavor violating decays. Nucl. Phys. B 853, 80–104 (2011). https://doi.org/10.1016/j.nuclphysb.2011.07.020. arXiv:1005.1607 [hep-ph]
A. Abada, A. Teixeira, A. Vicente, C. Weiland, Sterile neutrinos in leptonic and semileptonic decays. JHEP 02, 091 (2014). https://doi.org/10.1007/JHEP02(2014)091. arXiv:1311.2830 [hep-ph]
S. Gorishnii, A. Kataev, S. Larin, The \(O(\alpha ^{3}_{s})\)-corrections to \(\sigma _{tot}(e^{+}e^{-}\rightarrow hadrons)\) and \(\Gamma (\tau ^{-} \rightarrow \nu _{\tau } + hadrons)\) in QCD. Phys. Lett. B 259, 144–150 (1991). https://doi.org/10.1016/0370-2693(91)90149-K
SHiP Collaboration, C. Ahdida et al., Sensitivity of the SHiP experiment to heavy neutral leptons. JHEP 04 077 (2019). https://doi.org/10.1007/JHEP04(2019)077. arXiv:1811.00930 [hep-ph]
DUNE Collaboration, B. Abi et al., Deep Underground Neutrino Experiment (DUNE), Far Detector Technical Design Report, Volume I Introduction to DUNE. arXiv:2002.02967 [physics.ins-det]
T. A. Mohayai, High-pressure gas tpc (hpgtpc) for dune near detector. zenodo. (2018). Available online
J. Martin-Albo, Private communication, C. Adams et al., The long-baseline neutrino experiment: exploring fundamental symmetries of the universe. arXiv:1307.7335 [hep-ex]
GEANT4 Collaboration, S. Agostinelli et al., GEANT4-a simulation toolkit. Nucl. Instrum. Meth. A 506, 250–303 (2003). https://doi.org/10.1016/S0168-9002(03)01368-8
J. Allison et al., Geant4 developments and applications. IEEE Trans. Nucl. Sci. 53, 270 (2006). https://doi.org/10.1109/TNS.2006.869826
J. Allison et al., Recent developments in Geant4. Nucl. Instrum. Methods A 835, 186–225 (2016). https://doi.org/10.1016/j.nima.2016.06.125
T. Sjöstrand, S. Ask, J.R. Christiansen, R. Corke, N. Desai, P. Ilten, S. Mrenna, S. Prestel, C.O. Rasmussen, P.Z. Skands, An introduction to PYTHIA 8.2. Comput. Phys. Commun. 191, 159–177 (2015). https://doi.org/10.1016/j.cpc.2015.01.024. arXiv:1410.3012 [hep-ph]
T2K Collaboration, K. Abe et al., Search for heavy neutrinos with the T2K near detector ND280. Phys. Rev. D 100(5), 052006 (2019). https://doi.org/10.1103/PhysRevD.100.052006. arXiv:1902.07598 [hep-ex]
G.J. Feldman, R.D. Cousins, A unified approach to the classical statistical analysis of small signals. Phys. Rev. D 57, 3873–3889 (1998). https://doi.org/10.1103/PhysRevD.57.3873. arXiv:physics/9711021
D. Britton et al., Improved search for massive neutrinos in \(\pi ^+\rightarrow e^+\nu \) decay. Phys. Rev. D 46, 885–887 (1992). https://doi.org/10.1103/PhysRevD.46.R885
D. Britton et al., Measurement of the \(\pi ^{+} \rightarrow e^{+}\nu \) branching ratio. Phys. Rev. D 49, 28–39 (1994). https://doi.org/10.1103/PhysRevD.49.28
PIENU Collaboration, A. Aguilar-Arevalo et al., Improved search for heavy neutrinos in the decay \(\pi \rightarrow e\nu \). Phys. Rev. D 97(7), 072012 (2018). https://doi.org/10.1103/PhysRevD.97.072012. arXiv:1712.03275 [hep-ex]
NA62 Collaboration, E. Cortina Gil et al., Search for heavy neutral lepton production in \(K^+\) decays to positrons. arXiv:2005.09575 [hep-ex]
G. Bernardi et al., Search for neutrino decay. Phys. Lett. B 166, 479–483 (1986). https://doi.org/10.1016/0370-2693(86)91602-3
G. Bernardi et al., Further limits on heavy neutrinos couplings. Phys. Lett. B 203, 332–334 (1988). https://doi.org/10.1016/0370-2693(88)90563-1
CHARM Collaboration, F. Bergsma et al., A Search for Decays of Heavy Neutrinos in the Mass Range 0.5-2.8 GeV. Phys. Lett. B 166, 473–478 (1986). https://doi.org/10.1016/0370-2693(86)91601-1
WA66 Collaboration, A. M. Cooper-Sarkar et al., Search for Heavy Neutrino Decays in the BEBC Beam Dump Experiment. Phys. Lett. B 160, 207–211 (1985). https://doi.org/10.1016/0370-2693(85)91493-5
DELPHI Collaboration, P. Abreu et al., Search for neutral heavy leptons produced in Z decays. Z. Phys. C 74, 57–71 (1997). https://doi.org/10.1007/s002880050370. [Erratum: Z.Phys.C 75, 580 (1997)]
M. Daum, B. Jost, R. Marshall, R. Minehart, W. Stephens, K. Ziock, Search for admixtures of massive neutrinos in the decay \(\pi ^+ \rightarrow \mu ^++\nu \). Phys. Rev. D 36, 2624 (1987). https://doi.org/10.1103/PhysRevD.36.2624
PIENU Collaboration, A. Aguilar-Arevalo et al., Search for heavy neutrinos in \(\pi \rightarrow \mu \nu \) decay. Phys. Lett. B 798, 134980 (2019). https://doi.org/10.1016/j.physletb.2019.134980. arXiv:1904.03269 [hep-ex]
R. Hayano et al., Heavy-neutrino search using \(K_{\mu 2}\) decay. Phys. Rev. Lett. 49, 1305 (1982). https://doi.org/10.1103/PhysRevLett.49.1305
BNL-E949 Collaboration, A. Artamonov et al., Study of the decay \(K^+\rightarrow \pi ^+\nu {\bar{\nu }}\) in the momentum region \(140 < P_\pi < 199\) MeV/\(c\). Phys. Rev. D 79, 092004 (2009). https://doi.org/10.1103/PhysRevD.79.092004. arXiv:0903.0030 [hep-ex]
NuTeV, E815 Collaboration, A. Vaitaitis et al., Search for neutral heavy leptons in a high-energy neutrino beam. Phys. Rev. Lett. 83, 4943–4946 (1999). https://doi.org/10.1103/PhysRevLett.83.4943. arXiv:hep-ex/9908011
J. Orloff, A.N. Rozanov, C. Santoni, Limits on the mixing of tau neutrino to heavy neutrinos. Phys. Lett. B 550, 8–15 (2002). https://doi.org/10.1016/S0370-2693(02)02769-7. arXiv:hep-ph/0208075
KATRIN Collaboration, M. Aker et al., Improved Upper Limit on the Neutrino Mass from a Direct Kinematic Method by KATRIN. Phys. Rev. Lett. 123(22), 221802 (2019). https://doi.org/10.1103/PhysRevLett.123.221802. arXiv:1909.06048 [hep-ex]
A. Dolgov, S. Hansen, G. Raffelt, D. Semikoz, Cosmological and astrophysical bounds on a heavy sterile neutrino and the KARMEN anomaly. Nucl. Phys. B 580, 331–351 (2000). https://doi.org/10.1016/S0550-3213(00)00203-0. arXiv:hep-ph/0002223
O. Ruchayskiy, A. Ivashko, Restrictions on the lifetime of sterile neutrinos from primordial nucleosynthesis. JCAP 10, 014 (2012). https://doi.org/10.1088/1475-7516/2012/10/014. arXiv:1202.2841 [hep-ph]
G.B. Gelmini, M. Kawasaki, A. Kusenko, K. Murai, V. Takhistov, Big Bang Nucleosynthesis constraints on sterile neutrino and lepton asymmetry of the Universe. arXiv:2005.06721 [hep-ph]
N. Sabti, A. Magalich, A. Filimonova, An extended analysis of heavy neutral leptons during big bang nucleosynthesis. JCAP 11, 056 (2020). https://doi.org/10.1088/1475-7516/2020/11/056. arXiv:2006.07387 [hep-ph]
A. Boyarsky, M. Ovchynnikov, O. Ruchayskiy, V. Syvolap, Improved BBN constraints on heavy neutral leptons. arXiv:2008.00749 [hep-ph]
P. Maris, P.C. Tandy, Bethe–Salpeter study of vector meson masses and decay constants. Phys. Rev. C 60, 055214 (1999). https://doi.org/10.1103/PhysRevC.60.055214. arXiv:nucl-th/9905056
Flavour Lattice Averaging Group Collaboration, S. Aoki et al., FLAG Review 2019. arXiv:1902.08191 [hep-lat]
Acknowledgements
The authors warmly thank Mattias Blennow, Kyrylo Bondarenko, Andrea Caputo, Claudia Garcia-Garcia, Gregorio Herdoiza, Pilar Hernandez and Carlos Pena for very illuminating discussions, and Justo Martin-Albo for collaboration during the early stages of this work. They are also grateful to Olivier Mattelaer for support in the use of MadGraph5, Haifa Rejeb Sfar for her help with the treatment of pion decays, and Kevin Kelly and Albert de Roeck for useful discussions. PC acknowledges support from the Spanish MICINN through the “Ramón y Cajal” program with Grants RYC2018-024240-I. JHG acknowledges support by the Grant K125105 of the National Research, Development and Innovation Fund in Hungary. ZP has been supported by Fermi Research Alliance, LLC under Contract No. DE-AC02-07CH11359 with the U.S. Department of Energy, Office of Science, Office of High Energy Physics. The authors acknowledge the support of the Spanish Agencia Estatal de Investigacion and the EU “Fondo Europeo de Desarrollo Regional” (FEDER) through the projects PID2019-108892RB-I00/AEI/10.13039/501100011033 and FPA2016-78645-P as well as the“IFT Centro de Excelencia Severo Ochoa SEV-2016-0597”. They also acknowledge use of the HPC facilities at the IFT (Hydra cluster). This work was partially supported by Grants PROMETEO/2019/083, and the European projects H2020-MSCA-ITN-2015//674896- ELUSIVES and 690575-InvisiblesPlus-H2020-MSCA- RISE-2015.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Generators of SU(3)
As outlined in Sect. 3, the normalization for the SU(3) generators has been chosen to satisfy the trace conditions
For convenience, we provide explicit expressions for the SU(3) generators below:
Appendix B: Mixing matrices in a 3 + 1 scenario
It can be interesting to consider a case in which only one heavy neutrino is light enough or exhibits a sufficiently large mixing to play a role in the relevant phenomenology.Footnote 4 In this case, the model parameters will be four: the three leptonic Yukawa couplings \(Y_{\nu ,\alpha }\) and the heavy mass M, defined in Eqs. (1) or (3) (for the type-I and inverse Seesaw models, respectively). It is possible to write a \(4 \times 4\) mixing matrix U in terms of these parameters, which rotates from the flavor basis to the mass one. The shape of such matrix will depend on whether neutrinos are either Majorana or Dirac fermions.
For the Dirac case, the mixing matrix U relates the 4 left-handed neutrinos \((\nu _{L,e}\), \(\nu _{L,\mu }, \nu _{L,\tau }, N_L)\) to the 4 mass eigenstates \((n_1, n_2, n_3, N_4)\). In terms of the parameters mentioned above, the mixing matrix reads:
where \(\theta _{\alpha } \equiv Y_{\nu ,\alpha } v/\sqrt{2}M\), \(\theta ^2 \equiv |\theta _e|^2+|\theta _\mu |^2+|\theta _\tau |^2\) and \(r \equiv \sqrt{1+\theta ^2}\). In this case, only \(N_4\) is massive, with a Dirac mass \(M_4 = r M\). In the limit in which all the mixing parameters \(\theta _\alpha \) are small, \(r\sim 1\) and the mass of the heavy neutrino will be approximately M.
On the other hand, in the Majorana case the flavor eigenstates are \((\nu _{L,e}, \nu _{L,\mu }, \nu _{L,\tau }, N^c_R)\). The mixing matrix now takes the form:
with \(\theta _s \equiv \theta _e+\theta _\mu +\theta _\tau \) and \(\rho \equiv 1/\sqrt{1+4\theta ^2}\). The i factors are chosen to obtain positive masses when diagonalizing the mass matrix. Now only two mass eigenstates, \(n_1\) and \(n_2\), are massless, while \(n_3\) and \(N_4\) have Majorana masses of \(\frac{M}{2} \vert 1\mp \rho ^{-1}\vert \) respectively. If all the mixing parameters \(\theta _\alpha \) are small, then \(\rho \sim 1\) , so the mass of \(n_3\) is negligible and that of \(N_4\) is approximately equal to M.
Appendix C: Determination of the vector meson decay constants
Unlike pseudoscalar mesons, vector meson resonances are wide and unstable under QCD. Thus, the determination of their decay constants is generally challenging, with more variability among different estimations in the literature. In order to bypass this issue, a possibility is to compute the width for a decay channel mediated by the electroweak interaction that has been precisely measured, comparing the result to the experimental values from Ref. [69]. This way the corresponding value of the decay constant can be directly extracted for each of the resonances under consideration, ensuring that the notation and normalization conventions used are consistent.
1.1 1. Neutral vector mesons
In this case, a good choice is the decay channel \(V \rightarrow e^+ e^-\), which has been precisely measured and is dominated by photon exchange. Thus, we decompose the electromagnetic (EM) current
as a linear combination of the meson currents, as we did for the Z current in Sect. 3:
This allows to compute the width for the vector meson decays into \(e^- e^+\) pairs mediated by a photon, as
Comparing these results to the corresponding measurements [69, 107], we find the values for the decay constants \(f_V\) listed in Table 1.
1.2 2. Charged vector mesons
For the \(\rho ^\pm \) mesons, we will use the \(\rho ^0\) constant, already determined, since the isospin breaking corrections should be negligible.
However, for the \(K^{*,\pm }\) meson we must compute the decay width for an electroweak process, extracting the decay constant from there as we did for the neutral vector mesons. In this case, a good choice is the process \(\tau ^- \rightarrow K^{*,-} \nu _\tau \). The authors of Ref. [108] perform such calculation and report the value of the ratio between the \(\rho \) and \(K^*\) decay constants:
Therefore, using \(f_\rho = 0.171~\mathrm {GeV}^2\), we obtain \(f_{K^*} = 0.178~\mathrm {GeV}^2\) as listed in Table 1.
Appendix D: Implementation of semileptonic form factors into FeynRules
The form factors involved in semileptonic meson decays include a dependence on the squared momentum transfer between the involved mesons, \(q^2\), which is not trivial to implement in a UFO model. For this reason, we have included two different implementation choices into our FeynRules models: a simpler option, which neglects the \(q^2\) dependence and has been tuned to approximately reproduce the correct branching ratios for semileptonic decay channels; and a more sophisticated one, which includes the correct \(q^2\) dependence as described in Sect. 3.3.1.
As a first option, our FeynRules model files include by default constant form factors, evaluated at an average value of the (squared) momentum transfer, \(\langle q^2 \rangle \). This average value is determined by imposing that the correct total decay width is obtained, and depends mildly on the heavy neutrino mass \(M_4\) and the charged lepton mass. We are mostly interested in decays into electrons and muons, so the dependence on the charged lepton mass can be neglected as a good approximation (in fact, we have computed \(\langle q^2 \rangle \) for decays into electrons and muons and averaged over both cases). Regarding the dependence on the heavy neutrino mass, we compute \(\langle q^2\rangle \) in two cases, when \(M_4=0\) and when \(M_4=M_M\) (the maximum mass allowed by phase space), and then interpolate linearly between those values. Thus, we obtain a simple dependence of the average momentum transfer on the heavy neutrino mass, \(\langle q^2 \rangle (M_4)\). This dependence is explicit in the FeynRules models: if the heavy neutrino mass is modified, the average momentum transfer changes accordingly, and so do the form factors evaluated at \(\langle q^2 \rangle \). By employing this procedure, we have seen that the event distributions differ from the correct ones by at most a 4%. The goodness of this approximation relies on the fact that the dependence of the form factors on the momentum transfer is very mild in the allowed kinematic range.
As a second option, together with the FeynRules model files we provide a Python script that, upon running, modifies the relevant files in the output UFO. This way, the correct energy dependence of the vertices, according to the linear and pole parametrizations of the form factors described in Sect. 3.3.1., can be implemented, allowing for precise event generation in MadGraph5.
In short, if the provided Python script is run after generating the UFO file with FeynRules, the correct energy dependence of the form factors can be fully incorporated into MadGraph5. Otherwise, the constant form factors evaluated at \(\langle q^2 \rangle \) in the default FeynRules model allow for a good approximation also for the other formats into which the model may be exported to.
The values used for the form factor parameters, as well as those corresponding to \(\langle q^2 \rangle (M_4)\) used in the interpolation, are summarized in Tables 6 and 7.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Coloma, P., Fernández-Martínez, E., González-López, M. et al. GeV-scale neutrinos: interactions with mesons and DUNE sensitivity. Eur. Phys. J. C 81, 78 (2021). https://doi.org/10.1140/epjc/s10052-021-08861-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-021-08861-y