Heavy Neutral Leptons from low-scale seesaws at the DUNE Near Detector

Heavy nearly-sterile neutrinos are a common ingredient in extensions of the Standard Model which aim to explain neutrino masses, like for instance in Type I seesaw models, or one of its variants. If the scale of the new Heavy Neutral Leptons (HNLs) is sufficiently low, observable signatures can arise in a range of current and upcoming experiments, from the LHC to neutrino experiments. In this article, we discuss the phenomenology of sterile neutrinos in the MeV to GeV mass range, focusing on their decays. We embed our discussion in a realistic mass model and consider the resulting implications. We focus in particular on the impact on the signal of the strong polarisation effects in the beam for Majorana and (pseudo-)Dirac states, providing formulae to incorporate these in both production and decay. We study how the Near Detector of the upcoming Deep Underground Neutrino Experiment can constrain HNL states by searching for their de- cay products inside the detector. We conduct a Monte Carlo background analysis for the most promising signatures, incorporating the detector’s particle identification capabilities, and estimate the experimental sensitivity of DUNE to these particles. We also present an estimate of the ντ -derived HNL flux at DUNE, currently missing in the literature, which allows us to discuss searches for HNLs at higher masses.


JHEP03(2020)111
which they mix. Searches for kinks in Curie plots of β-decay spectra [50][51][52][53][54] have placed bounds on the electronic mixing for HNL masses between the keV and MeV scales. For masses from a few MeV to a few hundreds MeV, searches for monochromatic peaks in the lepton spectrum of decaying pions and kaons place important bounds on the muonic and electronic mixing angles [55][56][57][58][59]. Neutrinoless double beta decay indirectly constrains Majorana HNLs from the eV to the TeV scale and lepton number violating meson and tau decays can be used to set limits on the mixing angle in narrow ranges of HNLs masses [48]. The tightest constraints come from searches for the direct production and subsequent decays of heavy neutrinos in beam dump experiments and at colliders. The strongest limits were set by the PS191 experiment [60,61], a beam dump experiment which ran at CERN in 1984.
Its most stringent upper bounds on the novel mixing angles are |U e4 | 2 , |U µ4 | 2 ≤ 10 −8 -10 −9 for neutrino masses between the pion and the kaon mass. Other bounds of this type can be found in refs. [62][63][64][65][66][67][68] as well as collider ones, from LHCb [69], ATLAS [70], CMS [71,72], BELLE [73] (see also ref. [74]). It is exciting to note that current and upcoming neutrino oscillation experiments will be able to perform beam dump style measurements [75][76][77]. A crucial difference between oscillation detectors and dedicated beam dump searches of the past is that the former tries to maximise its Standard Model neutrino scattering rate, while the latter goes to lengths to suppress it in order to reduce backgrounds. However, for some of the current and future accelerator neutrino experiments, such as the Short Baseline Neutrino (SBN) program [43], the strong particle reconstruction capabilities of Liquid Argon detectors and distinctive kinematics of neutrino decays have been shown to allow competitive bounds on heavy neutrinos to be made despite naively large backgrounds [78]. Long baseline oscillation experiments, such as the upcoming Deep Underground Neutrino Experiment (DUNE) [79], will see a greatly diluted flux of nearly-sterile neutrinos at their far detectors and consequently poor sensitivity. However, the DUNE Near Detector (DUNE ND), placed 574 m from the target, has a great potential for searches for new physics [80]. Even if the final design of the ND has not been confirmed as yet, the options being considered combine a large active volume, in close proximity to a very intense neutrino beam and cutting-edge event reconstruction capabilities. These will allow DUNE ND to undertake valuable searches for BSM physics in a entirely complementary way to the central oscillation physics programme.
In this article, we present a detailed analysis of the sensitivity of DUNE ND to HNL in beam dump style searches. We ground our discussion in theoretically consistent models, in which sterile neutrinos are associated with neutrino mass generation via a low-scale seesaw mechanism. We extend and refine previous analyses [80,81], using the latest configuration of the DUNE ND [82,83]. We note that the range of masses and mixing angles testable at DUNE ND is of interest for the generation of the baryon asymmetry in the context of the ASR mechanism [12][13][14][15]18]. We consider both Majorana and pseudo-Dirac states and calculate their decay and production rates, with careful consideration given to helicity arguments. These formulae are then used to estimate the sensitivity of the experiment, taking into account the beam and detector performance capabilities thanks to simulations of both event and background signals. We stress that DUNE will be able to extend the current JHEP03(2020)111 limits on new fermionic singlets, including those with masses above 500 MeV, probing models of theoretical significance for the generation of neutrino mass. We show that bounds can be put also on the mixing with tau neutrinos, thanks to the high energy beam.
The article is organised as follows. In section 2 we discuss neutrino mass generation and its consequences for heavy neutrinos in the mass range of interest. In section 3 and section 4, we present the nearly-sterile neutrino decay and production rates accounting for both Majorana/(pseudo-)Dirac states and fully incorporating helicity effects and distributional information about the final-state observables. In section 5, we turn to DUNE ND, describing our assumptions about the experimental apparatus, our neutrino flux modelling, including a ν τ /ν τ simulation, the expected signal and the impact of backgrounds. In section 6, we quantify the sensitivity of DUNE ND to decays of heavy neutrino and, in section 7, its ability to constrain the parameter space of low-scale seesaw models. Our concluding remarks are made in section 8.

Heavy neutrinos in seesaw models
The lightness of the observed neutrino masses can be explained in a range of different scenarios. New SM-gauge singlet fermions are a feature common to many of them. The most general Lagrangian including a set of right-chiral gauge singlets {N i } is given by with L SM denoting the SM Lagrangian and the other symbols taking their conventional meaning. Without loss of generality, M R can be chosen to be diagonal. After electroweak symmetry breaking, a Dirac mass emerges for which we will use the notation m D ≡ vY / √ 2. This term appears, for instance, in the famous Type I seesaw mechanism [84][85][86][87]. Majorana masses for the light neutrinos arise and are given by The heavy neutrino masses are approximately given by the diagonal entries of M R and its corresponding eigenstates, the heavy nearly-sterile neutrinos N i , have suppressed mixing with active neutrinos and are mainly composed by sterile fields. Neglecting the matrix nature of these expressions for now, if m D takes values around the electroweak scale, acceptable neutrino masses are produced when M R has values around the GUT scale, suggestively connecting it to a high-scale breaking of U(1) B−L [84]. Low-scale solutions are also possible by taking the Yukawa couplings to be similar or smaller than the other SM lepton Yukawa couplings, e.g. if m D takes values in the keV range, new nearly-sterile states would exist with masses around a GeV. The resulting mixing is constrained by the contribution given to light neutrino masses and naively one can expect to have where we have taken m ν 0.1 eV. Specific models in which low energy neutrino masses and mixing angles are derived from the see-saw parameters allow for a broader range of JHEP03(2020)111 values, invoking specific structures for the Yukawa couplings. For example, it has been pointed out that in some cases a lower bound on different combinations of |U αN | 2 can be found, depending on the number and mass hierarchy of heavy neutrinos and the value of the lightest neutrino masses (see refs. [88,89]). Values larger than the ones naively expected from eq. (2.3) can be obtained by advocating specific cancellations in the heavy neutrino contribution to light neutrino masses. For instance, in analogy to ref. [90], one can use the Casas-Ibarra parametrisation [91] (2.4) where U is the usual 3 × 3 PMNS mixing matrix which diagonalises m ν into the diagonal matrix containing the three light neutrinos m diag , and R is an arbitrary complex orthogonal matrix. We notice that the values of the entries of R are not bounded and could be much larger than one. Consequently, the mixing angles between the active and heavy sterile neutrinos, which scale as m D M −1 R , can be enhanced without violating the bound from neutrino masses, in which R does not enter. Differently from ref. [90], one loop corrections are negligible at the GeV scale and do not introduce additional fine-tuning.
Without advocating specific forms of the Yukawa coupling, the bound in eq. (2.3) can be avoided in presence of more than three sterile neutrinos thanks to the cancellation between their contributions to neutrino masses. In recent years, a lot of interest has been focused on these type of models, e.g. the Inverse Seesaw (ISS) [92,93], extended seesaw [94] and linear seesaw models [95,96]. For definiteness, we will focus on the ISS model. In this case, a quasi-preserved lepton number guarantees the specific texture of M R and m D and its small breaking is natural in the 't Hooft sense [97].
The physical spectrum of heavy neutrinos can be best understood in the Lepton Number Conserving (LNC) limit. We use ISS (a, b) to denote the model with a (b), a, b = 0, new gauge singlets of lepton number +1 (−1). Following eq. (2.1) and eq. (2.2), the most general mass matrices are then given by m D = m, 0 and where we introduce the 3 × a complex matrix m and the b × a complex matrix M . The spectrum of physical states in the LNC limit for ISS (a, b) is given by min{3 + b, a} Dirac pairs and |3 + b − a| massless Weyl states.
The masses of the Dirac pairs are the non-zero singular values of the rectangular a × (3 + b) matrix (m T , M T ). Note that for a = b, in addition to a set of Dirac pairs of arbitrary masses, extra massless sterile states degenerate with the light neutrinos are present. Mixing involving these degenerate states is not defined in the LNC limit, as any unitary map in the degenerate subspace is permissible. On the contrary, the introduction of a small Lepton Number Violating (LNV) parameter perturbs the LNC spectrum as well as the mixing. In general there are only two possible origins for a low-scale heavy neutrino: • A massless Weyl fermion in the LNC limit which is given non-zero mass proportional to the perturbation. As the mixing between massless states is not defined in the LNC JHEP03(2020)111 limit, the perturbation controls the induced mixing between the nearly-sterile state and the active ones. We will refer to this state as a Majorana neutrino.
• A massive Dirac pair at the low scale in the LNC limit, becoming a pseudo-Dirac pair after the perturbation, which regulates the mass splitting of the pair. In the LNC limit, the mixing angles between Dirac pair and light neutrinos can be arbitrarily large, and this property remains after the perturbation.
The first case only arises in models with an imbalanced number of new fields, i.e. ISS (a, b) such that a = b, while the second option can occur in any ISS model. In this paper, we are interested in heavy states with masses in the MeV-GeV range. 1 Our discussion above suggests that both Majorana states and (pseudo-)Dirac states should be considered, covering all possible phenomenological aspects. In what follows, we will compute the production and decay rates for Majorana states and Dirac states and study their discovery potential at DUNE ND. We disregard lepton number violating effects and therefore the distinction between pseudo-Dirac and Dirac states will not be relevant.
Feynman rules for Majorana states derived from eq. (2.1) can be found in [48], or constructed using the techniques of ref. [98]. For an explicit comparison between Dirac versus Majorana Feynman rules for heavy neutrinos, see ref. [99].

Heavy neutrino decay
In this section we compute the heavy neutrino decay rates and polarised distributions necessary for the simulation of beam dump searches. We compute rates for both Majorana and (pseudo-)Dirac states, allowing us to consistently explore the parameter space of lowscale seesaw models.
This analysis can be simplified by noting the following equivalences. A Majorana neutrino N decaying via a charged current process has the same differential decay rate as the Dirac neutrino N D with the appropriate lepton number, where we assume identical mass and mixing angles for both Dirac and Majorana neutrinos. This equivalence can be seen directly from the Feynman rules for Dirac and Majorana fermions [98] (see also ref. [99]), but also explicitly in our formulae below. In a neutral current (NC) decay, however, the two contractions of the NC operator lead to another contribution, These relations hold at the differential level if the kinematic variables are reinterpreted in the obvious way. In this sense, we can view the Majorana process as the sum of Dirac

JHEP03(2020)111
Channel Threshold Channel Threshold Channel Threshold Table 1. All the available channels for a HNL with a mass below the D ± s mass are listed above, sorted by threshold mass. The active neutrino is considered massless, when compared to the masses of the other particles. particle and antiparticle decays. 2 Considering the total decay rates only, we find that the Majorana decay is larger by a factor of 2 compared to the Dirac case, Note that this is true only for the total decay rates with massless final-state neutrinos.
It is instructive to reconsider this result in the light of the practical Dirac-Majorana confusion theorem [100,101]. In ref. [100], the decomposition into particle and antiparticle processes was performed for Majorana neutrino-electron scattering via neutral current, leading to a factor of two enhancement in the total rate. However, this enhancement was shown to be absent in practice due to the polarisation of the incoming neutrino, which suppresses the ∆L = 2 contributions by factors of the neutrino mass. In the present case of nearly-sterile decay, where mass effects are large and essential to the calculation, there is no analogous effect: Dirac and Majorana neutrinos will have distinct total decay rates regardless of their polarisation. Therefore, the total decay rates of heavy neutrinos into observable final states could in principle allow us to determine the Majorana/Dirac nature of the initial state. This is not a trivial effect: a pure Majorana state decays with equal probability into e − π + as e + π − , one of its dominant and most experimentally distinctive branching decay modes, while a Dirac heavy neutrino will only decay into e − π + . Assuming charge-identification is possible in the detector, distinguishing between the two total decay rates should be possible with modest statistics. In a charge-blind search or for an NC channel, the total decay rate of Majorana neutrinos would appear to be twice as large as that of Dirac neutrinos. However, being the mixing usually an unknown quantity, the difference between Majorana and Dirac nature cannot be deduced as easily.
There is also a more subtle impact of the nature of the decaying neutrino. Even though the total decay rate is not affected by the helicity of the initial neutrino, the JHEP03(2020)111 Branching ratio (%) Figure 1. The branching ratios for HNL decays, integrated over the angular variables, are shown above as functions of the mass. They are grouped in CC-mediated decays (left) and NC-mediated decays (right), in the range from 0.01 MeV up to the maximum mass limit for neutrino production, near 2 GeV. A scenario in which |U eN | 2 = |U µN | 2 = |U τ N | 2 is chosen here for illustrative purposes. The branching ratios of Majorana neutrinos and Dirac neutrinos are mathematically identical and therefore no distinction is stressed. The decay into three light neutrinos is fundamental for a correct computation of the branching ratios, even though fully invisible from an experimental point of view.
helicity does affect the distributions of final state particles, which will in turn influence the observability of the signatures of neutrino decay. It is important that these polarisation effects are correctly implemented when studying the distributions of final state observables and subsequently when developing an analysis to tackle backgrounds.
In the remainder of this section, we present results for the polarised heavy neutrino decay rates and distributions for Majorana and (pseudo-)Dirac neutrinos. The decay modes considered are listed in table 1 and the respective branching ratios as functions of the neutrino mass are shown in figure 1. The differential widths have been computed using the massive spinor helicity formalism (see e.g. refs. [102,103]), and checked numerically using FeynCalc [104,105].

Polarised Majorana neutrino decay
Although spin-averaged Majorana neutrino decay rates are well known in the literature [48,106,107] (see also ref. [108]), to the best of our knowledge the polarised rates are not. These are necessary to correctly describe the distributions of observables in a beam dump experiment, and in this section we present formulae for these differential decay rates.
Note that we stay agnostic as to the final nature and flavours of outgoing neutrinos, and in all cases sum over any possible outgoing states to define a semi-inclusive decay rate into the visible particle(s) X , i.e.
The alternative, chosen by many other authors, is to treat light neutrinos as Dirac particles, and construct the full decay width using arguments of CP invariance, in practice amounting JHEP03(2020)111 to adding some judicious factors of two [48,108]. Following this approach, our summed decay rate for N → νX can be seen as The two approaches are identical mathematical procedures and can both be used to compute the differential decay rates; however, we avoid the latter as the light neutrinos in most seesaw models are Majorana fermions, and making a distinction between ν α and ν α is physically misleading. 3 We also find that the distribution of events, the role of helicity and the heavy neutrino nature are obscured by this approach. In contrast, by summing over all outgoing states, our formulae are insensitive to the Majorana/Dirac nature of the light neutrinos, and are the physically relevant rates necessary for comparison with beam dump experiments, as outgoing neutrinos are not reconstructed.

Pseudoscalar mesons
The semi-leptonic meson decays are some of the most important channels identified in previous studies [48,78] (see also ref. [76]) thanks to their large branching ratios and distinctive final state particles. Both charged and neutral pseudo-scalar mesons are viable final state particles, namely P ± and P 0 , and the decay widths are given in the Centre of Mass (CM) frame by where Γ h is the decay rate for neutrinos of helicity h, V qq is the appropriate CKM matrix element for the considered meson, f P is its decay constant and ξ i = m i /m N denotes the mass of the final state particle i as a fraction of the initial state mass. The solid angle elements Ω α and Ω P refer respectively to the charged lepton and pseudo-scalar meson angle with respect to the neutrino direction. The kinematic function I 1 (x, y) [48] and its angular generalisation accounting for helicity, I ± 1 (x, y; θ), are defined in appendix A. After integrating over the angular variables, we find that both the pseudo-scalar meson decay rates do not depend on helicity, as expected,

JHEP03(2020)111
These rates agree with those presented in refs. [107,108] (correcting a factor of two discrepancy in the νP 0 rate of refs. [48,106]). The decay into a neutral meson, in eq. (3.3), is isotropic in the rest frame, while the charged-pion modes, eqs. (3.1) and (3.2), inherit their angular dependence from I ± (x, y; θ α ), on the lepton angle to the beam line in the heavy neutrino rest frame θ α . The isotropy of the neutral current decay N → νP 0 is a manifestation of the Majorana nature of the particle, in agreement with the discussion of ref. [109]. It is worth noting that, if final states are not charge-identified, a similar isotropy is obtained for the total rate of charged semi-leptonic decays, The formulae above apply for all pseudo-scalar mesons which are kinematically allowed. For instance, below the K 0 mass, the heavy neutrino can decay only into pions, but above η and η are allowed in the final state.

Vector mesons
Although only for higher masses, HNL can also decay into vector mesons V , both via charged current, N → ∓ V ± , and neutral current, N → νV 0 . We find the following polarised differential distributions in the heavy neutrino rest frame, where I 2 (x, y) and I ± 2 (x, y; θ) are defined in appendix A. We find the total decay widths given by where the constants κ V are combinations of the Weinberg angle, depending on the flavour structure of V 0 (see below). Our charged pseudo-vector decay rates agrees with refs. [48,[106][107][108] while our neutral pseudo-scalar calculation agrees with the corrected version presented in ref. [108].
As with the pseudo-scalar meson decay rates, the Majorana nature leads to an isotropic decay into a neutral vector meson. An analogous effect holds for the charged vector meson JHEP03(2020)111 decay if we assume that the charges of final state particles are not distinguished. In this case, we find the physically relevant decay distribution in the particle rest frame to be given by There are no vector mesons lighter than the K 0 , and these decays become relevant only for higher masses for which decays into ρ ± and K * ± , and for the neutral mode into ρ 0 , ω, and φ would be relevant. For these neutral particles, the κ V factors read

Charged lepton pairs
We assign the momenta to the particles in the three-body decay as follows and denote k 2 i = m 2 i . The five-dimensional phase space of the final-state particles can be parameterised using two scaled invariant masses, as well as three lab-frame angular variables, (θ 3 , φ 3 ), giving the direction of − α and ϕ 43 denoting the relative azimuthal angle between − α and + β . Although cos θ 4 is not an independent element of our parametrisation, it is a physically relevant quantity and we use it to simplify the presentation of the distributions below. It can be easily related to the fundamental variables s 1 , s 2 , θ 3 , ϕ 3 , ϕ 43 . The differential decay rate is expressed as where Ω 3 assumes the conventional meaning and with 14) The coefficients {C i } are polynomials in chiral couplings and extended PMNS matrix elements, and are given for the decays of interest in appendix B. On integration over the angular coordinates, however, only the |A 0 | 2 terms remain and we recover the standard expression for the total decay rates through the identities given in eqs.

JHEP03(2020)111
The general expression for the total decay rate is again helicity independent and can be written as (3.16) The functions I 1 (x, y, z) and I 2 (x, y, z) are given in appendix A. Using the expressions for {C i } in appendix B, we find that the total decay rates are given to first order in the heavy-active mixing parameters U αN by where α = β, g L = −1/2 + sin 2 θ W and g R = sin 2 θ W . Our total decay rates agree with those in refs. [48,[106][107][108] and correct a typographical mistake in the rates presented in ref. [78]. All possible combinations of charged leptons except ντ − τ + are allowed for masses below m Ds . However, because of the limited phase space, the decays into ντ ∓ e ± and ντ ∓ µ ± can be neglected.

Other decays
There are some other decay rates relevant to this study but not as viable observable channels. First, the total decay width of the process N → ννν, mediated by the Z boson, reads Although this decay mode is experimentally invisible, it is the dominant channel up to the pion mass, when two-body semi-leptonic decays open up, and plays a significant role in defining the branching ratios of the observable channels. Our expression agrees with refs. [48,[106][107][108]. Secondly, there are other decay modes with small branching ratios and/or complicated final states which we do not study further. These include the one-loop decay into a photon which has received some interest as an observable signature in nonminimal models [38,39,110] where it may be enhanced. In the mass models considered in this work, it has a branching ratio smaller than 10 −3 and will not be considered. We also neglect the multi-pion decay modes discussed in ref. [108], which are estimated to have at most a percent level branching ratio and a challenging hadronic final state for reconstruction.

Polarised (pseudo-)Dirac neutrino decay
In this section we compute the decay rates for pseudo-Dirac pairs. It is unlikely that any effect driven by the LNV parameter will be relevant for the discovery potential of DUNE ND and the signatures of these particles will be dominated by the leading order LNC effects. Accordingly, we take the strict Dirac limit in our calculations, rather than treating the states as pseudo-Dirac pairs. JHEP03(2020)111

Dirac (anti)neutrino decays
The decay rates for a Dirac heavy (anti)neutrino are similar in form to those presented for the Majorana neutrino. The key differences are lepton number conservation, which acts to forbid certain channels, and differences in the angular distributions of the neutral current decays. For charged current-mediated processes, the distributions for Dirac neutrinos and antineutrinos are mathematically identical to the distributions for Majorana neutrinos.
The two-body semi-leptonic decays are the same of eqs. (3.1) and (3.7), The situation for NC processes is different with respect to Majorana neutrinos. The distribution of the final state particles is not isotropic anymore and it depends on the helicity state of the initial neutrino, in the way shown by the following differential rates For the three-body leptonic decays, the distribution is expressed in eq. (3.13) with the relevant coefficients from appendix B. The total decay rates are found to be where α = β, g L = −1/2 + sin 2 θ W and g R = sin 2 θ W . Our total decay rates agree with those in refs. [48,[106][107][108]. All decay rates not listed above are forbidden for a Dirac (anti)particle as the combination of production and decay would amount to a LNV process. For the available modes, all NC modes are smaller by a factor of two for a Dirac (anti)neutrino compared to the equivalent Majorana process; however, the major difference we see between the Dirac (anti)neutrino and Majorana distributions is that these NC channels are dependent on the angular variables. These differences in the distributions of the final state particles could be in principle exploited to identify the fermionic nature of the decaying HNL [109].

JHEP03(2020)111 4 Heavy neutrino production
Heavy neutrinos can be produced in a beam dump experiment via the same processes that generate light neutrinos. A proton beam hitting a fixed target typically yields a large number of pions and kaons, and also heavier mesons, the amount of which depends on the energy of the protons and the target choice. A set of magnetic horns is responsible for the focusing of charged pions into a decay pipe; the other short-lived particles are usually unaffected by the deflection. All these secondary particles decay leptonically or semileptonically via weak interactions thus creating a neutrino beam. In the standard case of light neutrinos, pions and kaons principally decay into ν µ because two-body electronic modes are disfavoured by helicity suppression. Muons decay in turn into equal numbers of ν e and ν µ . Other production sources of ν e are the three-body decays of K 0 and K + . Above the neutral kaon mass, the first sizeable source of neutrino is given by the D s meson, for which helicity suppression again favours the production of heavy charged-leptons, and so τ leptons and ν τ are more likely to be emitted than the other flavours. Each of the subsequent τ + decays produces a ν τ . We consider only the four most probable decay modes of the τ lepton, as they provide a sufficient description of their contribution to the overall flux. 4 If kinematically allowed, heavy neutrino states can be sourced from these decays of mesons and charged leptons. We show in table 2 all the neutrino production channels considered in this analysis, reporting the heaviest neutrino mass m N that is accessible by kinematics. The neutrino mass range we consider goes from a few MeV up to the D s meson mass. To estimate the flux of heavy neutrinos produced, we start from the flux of light neutrinos, scaling it by an energy-independent kinematic factor. Given a certain SM neutrino production process, Q → ν α Q , we use as scale factor the ratio between the decay width of the same process producing massive neutrinos, Q → N Q , and the rate of the SM decay with light neutrinos. The full flux of nearly-sterile neutrinos with a given helicity is therefore a linear combination of the different neutrino flux components, φ Q→να , summing over all existing parents and all allowed flavours: The ratio K is proportional to the mixing parameter |U αN | 2 and contains only kinematic functions of the involved masses. These are responsible for correcting phase space and helicity terms. The helicity state plays a fundamental role in the production rate, in contrast with the case of neutrino decays, since there is no arbitrariness in the polarisation direction this time: it is defined by the neutrino momentum in the rest frame of the parent particle.  Table 2. Production channels at beam dump facilities yielding neutrinos, with the respective branching ratios (taken from ref. [111]). The last column shows the maximum neutrino mass allowed if a massive state is produced. On the left, all the decays yielding ν e , ν µ , and ν µ up to the K 0 mass are shown. On the right, the neutrino sources which depends on the D + s decay chain are shown; only the first four decays of the τ lepton are considered in this work.

JHEP03(2020)111
We employ the massive spinor helicity formalism to compute the production decay rates for both Majorana and Dirac neutrinos, and these are used to build the scale factors for each neutrino helicity. Even though lepton number is preserved differently in the two cases and different Feynman rules hold, all the production channels of interest in this work are mediated by charge currents and therefore the rates are mathematically identical for Majorana and Dirac neutrinos. If the neutrino is Dirac, the production decay width for an antineutrino with given helicity is the same as the one of the neutrino, but with opposite helicity. The phenomenology of the scale factors is different for two-body decays and threebody decays and therefore we group them, respectively, in section 4.1 and section 4.2.

Two-body decays
A massless neutrino (antineutrino) has its chiral and helicity states degenerate, and so it is always produced with a negative (positive) helicity. It follows that the component of the light neutrino beam produced in two-body decays of pseudo-scalar mesons is polarised. The initial spin, which is zero, must be preserved in the decay, and since the helicity of the neutrino in the rest frame is fixed, the accompanying lepton is produced with a "wrong" helicity. This is permitted by the non-zero mass of the charged lepton and therefore final states with light flavour leptons undergo helicity suppression. As soon as the neutrino mass deviates from zero, the correspondence between chirality and helicity is lost and the neutrino can be produced with both polarisations. The main consequence is that the production of heavy neutrinos from light flavour mixings (electron) appears to be enhanced with respect to heavy flavours (muon and tau). The effect is particularly dramatic when the mass difference between parent meson and charged lepton widens, as it happens with the electron decay of D s , the enhancement of which is around 10 6 for neutrino masses near 1 GeV.  The scale factor K h for leptonic decays of a pseudo-scalar meson P into neutrinos with helicity h, is given by the analytic expression:

JHEP03(2020)111
and ξ i = m i /m X is the mass ratio of the final state particle i over the parent particle mass. When summing over the helicity states, the resulting factor coincides with the one computed in ref. [112]: In order to understand the effect of eq. (4.2), it is convenient to define the fraction of neutrinos produced with a certain helicity as In the limit of a massless neutrino, i.e. ξ N → 0, the fractions are S + → 0 and S − → 1, as expected: all neutrinos are produced with a negative helicity. The opposite is true JHEP03(2020)111 when the charged lepton is in the massless limit, and the neutrinos are produced with a positive helicity. The only two-body decay of a lepton considered in this work is τ → ν τ π, and the scale factor is: 3) The structure is similar to the scale factor for pseudo-scalar meson two-body decays, given in eq. (4.2), and analogous considerations as above can be deduced. This is explained by crossing symmetries, as the matrix element of the process is the same. In this case, however, the positive helicity component does not lead to any enhancement before the phase space cut-off.
The effect of the scale factors as a function of the neutrino mass can be appreciated in figure 2, where not only helicity terms are corrected, resulting in an enhancement of the production, but also the phase space is properly adjusted.

Three-body decays
Scale factors for three-body decays are defined in the same way as two-body decay ones. Because of the different number of degrees of freedom, the helicity of the outgoing neutrinos is not fixed by the spin of the parent particles. Hence, these factors are not responsible for any enhancement in the decay rate, but they only quench the process as the neutrino mass upper limit is approached (see table 2). The scale factors have nonetheless distinct behaviours depending on the helicity state involved. Their behaviour is plotted as a function of the heavy neutrino mass in figure 2.
The decay of a charged lepton (antilepton) of flavour α to a charged lepton (antilepton) of flavour β can be proportional to either |U αN | 2 or |U βN | 2 , producing a heavy Dirac neutrino (antineutrino) in the first case or an antineutrino (neutrino) in the second case. If the neutrino is Majorana, the decay can occur via both mixing matrix elements because lepton number can be violated. Decays of muons and taus yield massive neutrinos with the following decay rate where the integrals I , (x, y, z) are given in appendix A. The helicity decompositions in I and I are different, but the spin-averaged decay width is the same. Neutral and charged kaons produce neutrinos in three-body semi-leptonic decays. Both of them can decay into either a muon or an electron and a charged pion if the decaying kaon is neutral or a neutral pion if the kaon is charged. The decay width of a pseudo-scalar meson h 1 to a lighter meson h 2 is given by

JHEP03(2020)111
The integral I h (x, y, z) is reported in appendix A and consists of a combination of kinematic elements with terms of hadronic form factors as coefficients. The scale factor was checked numerically against the result of ref. [113]. The final three-body decay studied in this work is τ + → ν τ π + π 0 , however this channel is introduced only at the phase space level. The scale factors for the two helicity components are therefore assumed to be identical, K ± = 1 2 , such that the neutrino flux sub-component coming from this decay consists of equal number of heavy neutrinos with helicity h = +1 and h = −1.

Simulation of events at DUNE ND
DUNE [79] is a long-baseline oscillation experiment that will study neutrino physics in great detail, focusing mainly on the determination of the CP violating phase, δ CP , of the mass ordering, and on the precision measurement of other oscillation parameters, in particular θ 23 . These goals can be achieved thanks to both an intense neutrino beam and a highresolution Far Detector (FD), consisting of a 40 kt Liquid Argon Time Projection Chamber (LArTPC), situated 1300 km from the beam target. The drift velocity of ionised electrons in LAr, typically of the order of cm/µs, can be controlled with sufficient precision, by tuning the electric field, to result in high spatial resolution for event reconstruction [114]. A very sensitive FD alone, however, is not enough due to numerous uncertainties on neutrino flux and cross sections. A smaller and closer detector, called Near Detector (ND), is therefore adopted to normalise the flux of neutrinos reaching the FD and to help cancel out many of the neutrino-nucleon cross section systematics.
The DUNE ND will be placed 574 m from the target. Its definitive design has not been finalised yet, but it will likely be a hybrid concept, consisting of a small LArTPC placed in front of a magnetised high-pressure gaseous TPC [82,83]. This module is complementary to the front detector, controlling escaping or below-threshold particles from the LArTPC, but is also capable of performing standalone measurement. For its versatile nature, it is called Multi-Purpose Detector (MPD). The sub-system LArTPC/MPD will be movable inside the ND hall -following the DUNE-PRISM concept -for better profiling the neutrino flux at different angles. There will be a third module, a 3D Scintillation Tracker (3DST), on-axis, to monitor the stability of the beam flux and neutron contamination. Currently, the proposed fiducial volume for the LArTPC module is 36 m 3 and 50 t of LAr, employing the ArgonCube technology [115], whereas the design for the MPD is based on the TPC in ALICE [116], a cylinder of 102 m 3 with gas at a pressure of 10 atm and a fiducial mass of 1 t. The gas assumed for the studies in the TDR is a an 80-20 mixture of Ar-CH 4 . The 3DST is designed to have a fiducial mass of around 8.7 t of plastic scintillating material and wavelength shifting plates. For this analysis, we take only in account the two core sub-detectors, the LArTPC and the MPD. The main difference between these two ND modules is that the gaseous TPC has a larger volume than the LArTPC. This feature is favourable when studying rare events, like heavy neutrino decays, because more neutrinos enter the fiducial volume. Furthermore, the lower density of the MPD helps reduce the number of neutrino scattering events, which are background to rare signatures. Apart from JHEP03(2020)111 volume and density differences and relative positions in the detector hall, we treat the two ND units as with similar detection performances, on-axis, and do not take in account the magnetisation of the gaseous TPC.
Thanks to its proximity to the accelerator, the ND will be exposed to an extremely intense neutrino beam, with a flux peak around five million times greater than at the FD. The Long Baseline Neutrino Facility (LBNF) at Fermilab will deploy a very energetic beam of protons, extracted from the Main Injector (MI) and delivered to a graphite target. The collision produces secondary particles, which are collimated by a focusing horn system and then decay forming a neutrino beam. Assuming an 80 GeV proton beam at 1.2 MW for the first six years and at 2.4 MW for a second set of six years [79], the ND will collect a total of 2.65 × 10 22 protons on target (POT) over the lifespan of the experiment, running for the same amount of time in neutrino and antineutrino mode. The ND will be placed on-axis for half of the total runtime, whereas it will be positioned at different angles off-axis for the remaining acquisition period, enacting the DUNE-PRISM concept. The search for HNL decays can benefit to some extent at off-axis angles, as the SM neutrino background is particularly reduced, despite a reduced event rate. However, the modelling of the neutrino beam profile at different angles using only the on-axis spectrum is not trivial. Half of the total statistics will be collected with a reversed horn current configuration, but the parentage composition of the neutrino spectrum with the antineutrino-mode beam is not available to us, as well as the off-axis beam flux. In this work, we simply consider the on-axis configuration of the ND with a forward horn current configuration, which would correspond to a quarter of the runtime, or 0.66 × 10 22 POT. The same analysis of this study can nonetheless be applied equally to the beam in antineutrino mode, which should result in a sensitivity similar to the neutrino mode configuration, being wary of the different composition of the neutrino spectrum. Even though we cannot achieve an accurate estimate of the DUNE ND sensitivity, we make the naive assumption that, with the above caveats, the total sensitivity to HNL -including off-axis angles and antineutrino mode beamis equivalent to six years of data taking, i.e. 1.32 × 10 22 POT, with the beam in neutrino mode and the ND on-axis.
A summary of the features of the ND system is reported in table 3, where it is compared to other beam dump experiments: PS191 [60,61], SBND which is the detector of the SBN programme with the best sensitivity to HNL [78], NA62 [117], and SHiP [118]. We define the total exposure of the experiment as the proton accelerator beam power, integrated over the total run time, and scaled by the volume of the detector over its baseline squared. The beam power times the run time corresponds to the number of POT times the proton energy. With this definition, an exposure twelve times bigger is expected for the DUNE ND system with respect to SBND, and around two hundred times bigger than PS191. The NA62 and SHiP experiments have a different design and are not directly comparable to TPC and tracker experiments, but we report them here for thoroughness. The estimated exposure of NA62 is limited by its number of POT and by just one year of data taking; despite this fact, the experiment is optimised to study kaon decays and has good sensitivity to HNL [119]. The SHiP experiment presents an exposure thirty times bigger than DUNE ND, but the detector is specifically designed to search for BSM physics, including heavy  Table 3. Comparison between experiments mentioned in this work. The exposure is defined as POT×Energy×Volume×Baseline −2 with respect to PS191, where "Energy" is the proton beam energy. The NA62 and SHiP experiments are not directly comparable with SBND and DUNE ND, in that different technologies are involved; the RICH detectors are adopted as fiducial volume for NA62, whereas for SHiP, we estimate the volume as the cone contained in the "hidden sector" vacuum vessel. The volume is a driving feature in the definition of the total exposure and it is of utter importance for searches of decay-in-flight events.
neutrinos [120] (see also ref. [121]). The decay-in-flight search hugely benefits from its 50 m long decay vessel and short baseline.
On the collider physics frontier, the MATHUSLA [122] and the FASER [123] experiments will perform a dedicated search for extremely weakly-interacting and long lived particles, like HNLs for which they presents interesting sensitivity [122,124]. MATHUSLA will be a 800 × 10 3 m 3 hodoscope placed on the surface above the ATLAS or the CMS detectors. FASER will consist of a 10 m cylindrical decay volume located 480 m downstream of the ATLAS interaction point.

Flux prediction
In order to implement our analysis, the various components of the flux by parentage must be known separately. We study only the beam operating with a forward horn current, which selects positively charged secondary particles and results in a beam dominantly made of neutrinos with a smaller component of antineutrinos. The flux predictions for ν e , ν µ , and ν µ , provided by ref. [125] for the reference beam, are shown in figure 3 subdivided in their parent components. The ν µ flux is the dominant component and is principally originated by pion decays, whilst its long tail comes from kaon decays. Unsuccessfully deflected negative particles, like π − or K − , and the µ + are the main contributors to the ν µ components, and ν e comes predominately from the muon and both K + and K 0 decays. We consider only the energy range E < 20 GeV, because it is the most intense region of the flux and, as it will be explained in section 5.3, the most relevant for this study.
We highlight here the fact that we expect also an albeit-small flux of HNLs with masses above the kaon one. This could be inferred from the ν τ flux, but this is not available in the literature. In fact, the lightest meson with an interesting decay width to tau neutrinos is the charmed-strange meson D + s , which has a mass m Ds = 1968.34 ± 0.07 MeV [111]. It decays into τ + ν τ with a branching ratio of 5.48 ± 0.23 % [111]. HNL with masses above the K 0 can be produced via the tau mixing, but more importantly via the muonic and electronic ones which are enhanced, as shown in section 4. The meson D + also decays into τ + ν τ , but being lighter than the D + s , the decay is disfavoured by the smaller phase space, JHEP03(2020)111

Energy (GeV)
Ds → ντ τ → ντ e τ → ντ µ τ → ντ π τ → ντ ππ 0 with a branching ratio 50 times smaller. This meson presents three-body decay channels into ν e and ν µ with much higher branching ratio, but there is no enhancement for such channels into HNL, as explained in section 4, and so these subdominant components are not taken in account in the present study.
The proton beam has a relatively low energy for producing charm quarks with a high cross-section, so the prediction of ν τ has not been carried out by the collaboration to the best of our knowledge. For the reasons stated above, we make a prediction for the D + s production by an 80 GeV proton beam hitting a fixed graphite target. The distribution at the production site will be then used to estimate the ν τ flux at the ND system. In the literature, the following parametrisation has been successfully used to describe the charm JHEP03(2020)111 τ → ντ e τ → ντ µ τ → ντ π τ → ντ ππ 0

Mass (GeV)
τ → ντ e τ → ντ µ τ → ντ π τ → ντ ππ 0 meson production in proton-proton collision in the Centre of Mass frame [126] where x F = 2p z / √ s, with p z the longitudinal momentum in the CM frame. The parameters n and b were fitted from the E769 experiment and found to be n = 6.1 ± 0.7 and b = 1.08 ± 0.09 [127]. We assume that the D + s meson production at the target follows the same distribution. With the help of a Monte Carlo simulation, we generate the D + s four-momenta starting from eq. (5.1) and simulate the meson decay and the subsequent tau decays. A key simplification here is that because of the short lifetime of the D + s and τ + , of the order of 10 −13 s, their path is not affected by the horn system nor by interactions with other accelerator components. This results in no focusing of these secondary particles, and so only neutrinos emitted within the geometric acceptance of the ND are considered to form the ν τ and ν τ spectrum. The overall normalisation comes from an open charm calculation (see appendix C for details): the number of D + s per POT is found to be (2.8 ± 0.2) × 10 −6 . The result of the simulation is reported in the bottom right panel of figure 3, where the different contributions to the ν τ spectrum are shown. Thanks to the large number of POTs in DUNE, the total number of D + s mesons produced is comparable to other dedicated experiments [129]; however, the beamline design is not optimised for heavy mesons production and the ν τ flux seen at the ND is strongly attenuated.
Having knowledge of the parent meson distribution, we directly simulate the production of nearly-sterile neutrinos from the D s decays. The spectrum of heavy neutrinos is distorted when their mass approaches the various phase space thresholds, which appears as a further enhancement of the flux. This is because heavier neutrinos are more easily boosted inside the geometric acceptance of the detector. Besides the peak height, the start and the end   figure 3 with the CC and NC cross section predictions from genie [128]. Detector efficiencies are not applied. The first columns show the total number of events per tonne of argon, the second ones the proportion of CC or NC events with respect to the totality, and the last columns the event frequencies assuming 1 × 10 14 POT/s. point of the energy flux are also affected, as illustrated in figure 4. We take these effects in account, modifying the scaled neutrino flux using information retrieved by the ν τ and ν τ simulation.

Background evaluation
The number of SM neutrino-nucleon interactions expected at the DUNE ND, without considering detector effects, is calculated by integrating the Charged Current (CC) and Neutral Current (NC) total cross sections multiplied by the light neutrino spectrum dφ ν /dE : where σ CC (E) and σ NC (E) are the cross section predictions in argon calculated with genie [128], and N target is the total number of Ar targets. The event rates are shown in table 4. It turns out that less than one ν τ event is expected in the total run of the experiment. As a comparison, the number of ν µ events will be 10 10 times higher. This confirms the expectations that the ν τ component of the flux is negligible for standard oscillation physics in DUNE ND. On the other hand ν τ appearance is expected at the FD. These neutrino scatterings occurring within the fiducial volume of the detector could mimic the rare signal of neutrino in-flight decays, as some final state particles are common to both processes. A good estimate of the number of possible background events for each discovery channel is very important, since it dictates the true sensitivity of the experiment. We restrict our conservative background analysis to decay modes available for neutrino masses below m K 0 , being these the channels with the best discovery potential. They are N → νe + e − , νe ± µ ∓ , νµ + µ − , νπ 0 , e ∓ π ± , and µ ∓ π ± . Particles are typically tagged by studying the topology of the tracks and the energy loss dE/dx in the active medium, but instead of dealing with a full detector simulation, we perform a fast Monte Carlo analysis, using as input neutrino-nucleon scattering events in argon generated by the neutrino event generator genie [128]. The tracks are randomly placed inside the ND system and then smeared according to a normal distribution centred on the simulated JHEP03(2020)111 The table lists detection thresholds and energy/momentum and angular resolutions used in the fast MC, where "EM" delineates electro-magnetic showers and "Hadron" any other charged particle which is neither a lepton nor a pion. The momenta of pions and muons are smeared according to the containment of their tracks. If the particles enter the MPD in which they cover a length longer than the detector's diameter or if 80 % of the tracks are contained inside the LArTPC then the relative resolution on the momentum is 5 %, otherwise a resolution of 30 % is applied. Neutrons are treated with "Hadron" resolutions, but with a 90 % detection efficiency. value of energy/momentum; particles with a kinetic energy above the detection threshold are then assumed to be reconstructed. The relative position between the two detectors is taken into account, in that particle tracks exiting the LArTPC end entering the MPD are reconstructed as a single track. Escaping or partially reconstructed tracks are not discarded, but treated with a different energy/momentum resolution: the initial particle energy can be estimated, with some limitations, thanks to the energy dependence of the mean energy loss during the particle propagation. We then implement possible sources of background mis-identification which are channel specific. Detector resolutions and thresholds, from ref. [130] for both parts of the ND, are summarised in table 5.
A strong discriminant for background events is the presence of protons, neutrons, and other hadrons in the final states, which are the results of the nucleus recoil of the neutrino interaction. If hadronic activity is reconstructed as an interaction vertex, then the event is clearly originated by SM neutrino-nucleon scattering and tagged as background. In the case this does not happen, for instance when the hadrons are below threshold, the multiplicity of final state particles becomes fundamental to distinguish signal events from intrinsic background. However, this background can be worsened by mis-identification of certain tracks.
The main background to the pseudo-scalar meson channels, N → ∓ π ± , are resonance ν e or ν µ -CC interaction with single pion production or charged current incoherent and deep inelastic scatterings in which only a pair π is detected. Three-body lepton decays suffers from mis-identification of additional pions and photons emitted in CC neutrino scatterings which are mistaken for charged leptons. Despite having a similar mass, pion and muon tracks differ on average in length, as the meson track often culminates in a hadronic shower. In our implementation of the detector effects, if no hadronic shower is detected and the track length is longer than two metres, the pion is identified as a muon. Electromagnetic shower induced by photons are identified by looking at the vertex displacement and at the dE/dx , which is twice as large as the energy loss for e ± . If a photon converts within two centimetres from the interaction point, and either the electron or the positron of the pair is below threshold, the photon is reconstructed as a single electron. A pair of electrons JHEP03(2020)111 with a small separation angle, less than 3°, is tagged as an electron-positron pair and the parent photon is reconstructed. The main source of photons comes from the decay of the neutral pion, which is abundantly produced in NC neutrino-nucleon interactions. Certain hadronic transitions from secondary particles of deep inelastic scatterings also emit gammas. If a pair of photons shows an invariant mass comparable with the π 0 mass, the parent pion is identified. Interactions in which multiple neutral pions are produced, but only a pair of photons is detected and reconstructed, are background to the N → νπ 0 channel. The background events surviving particle identification are between 2.5 % down to 0.0025 % of the processed events.
The channels which open up for masses above the kaon mass are more challenging from an experimental point of view. The final state particles of these modes are mostly neutral pseudo-scalar mesons, which decay electromagnetically, or vector mesons, which usually decay into a multi-state of lighter mesons, depending on the initial flavour content, sometimes accompanied by photon emission. The correct identification of these short-lived states is non trivial. For very high masses, also τ leptons are yielded, but their precise reconstruction requires ad hoc techniques. These tasks are beyond the scope of the analysis presented here and are best left to the collaboration superior simulation tools. We also do not consider cosmogenic background, even though a rate of 2.7 Hz/m 2 cosmic rays is expected at the ND hall [131], which has very little over burden. Given an area of a few square meters, the number of cosmic rays per drift window can be non-negligible [79], but rejection techniques are being developed with good signal efficiencies [132].

HNL decay events and signal efficiency
Except for N decaying into three neutrinos, all the other decay channels are in principle detectable. For a given visible decay mode d, the number of signal events is where dφ N /dE is the number of heavy neutrinos expected at the ND, computed in the way described in section 4. The function Π d (E) accounts for the probability of a heavy neutrino of energy E to decay inside the ND after covering the baseline distance L. It is expressed in the following form: where λ is the length of the ND, Γ d the decay rate for the channel d and Γ tot the total decay rate. The total effect of Π d is to favour low-energy bins of the neutrino spectrum for which the relativistic factor γβ is small. The term W d (E) is a signal efficiency factor, estimated as the binned ratio of the true N energy spectrum after and before a background rejection procedure. This process aims at further reducing the number of background events still present after particle identification. It consists of simple data selection cuts optimised to reject the background while keeping an acceptable signal efficiency (typically above 30 %), exploiting differences in the energy JHEP03(2020)111 and angular distributions between signal and background events. The HNL decays inside the detector are simulated by a custom Monte Carlo code and the tracks are processed in the same way as it is done for background events (see section 5.2). The resulting signal efficiency therefore embeds also detector effects. If no background is expected for the channel d, there is no need for applying any rejection procedure and so the signal efficiency is maximal, i.e. W d (E) = 1 at all energies. The final number of background events B d and the number of signal events N d are eventually used to build the Confidence Level (C.L.) regions of sensitivity (see section 6). We leave a more detailed discussion on the background reduction cuts in appendix D, where we report the rates of background reduction and signal selection for all decay channels of both Majorana and Dirac neutrinos of a given mass. From our analysis, we note that selection cuts are slightly different for Dirac or Majorana HNL decays. This is a consequence of certain combinations of production and decay modes which are forbidden for Dirac neutrinos, as they would lead to LNV, and so the energy and angular distributions are not identical. NC-mediated decay mode have also intrinsically distinct decay widths in the heavy neutrino rest frame and the difference angular dependency can be reflected in the laboratory frame.

Sensitivities of DUNE ND
We present here sensitivity regions for the discovery of heavy neutrino decays for a total amount of 1. We employ the Feldman and Cousins method [133] to estimate the number of events needed in order to reject H 0 at the desired C.L. For example, if no background is expected (W d = 1), an average of n = 2.44 events must be detected to reject H 0 with 90 % C.L. This criterion is used to define the sensitivity regions shown in this section, for both Majorana and Dirac neutrinos. It is expected that the MPD alone has a better sensitivity than the LArTPC, thanks not only to a larger volume, but also to a less dense medium which gives lower backgrounds. As the two modules are assumed to have the same detection performance, we present here a combined analysis of the two detectors, taking into account particle propagation between them. We do not consider charged identification capabilities of the ND, and therefore this information is washed out in presenting the sensitivity plots in this and next sections. Because of our charge-blind analysis, the number of events expected for Majorana neutrinos is twice as large as the number in the case of Dirac neutrinos, therefore the sensitivity to Dirac neutrino decays is a factor of √ 2 worse than the Majorana case. 5 The limits reported here below refer to Majorana heavy neutrinos; 5 The sensitivity for high number can be roughly estimated as N d √ N d + B d , and for zero background it simply scales as √ N d .

JHEP03(2020)111
the corresponding limit for which N is a Dirac fermion is easily retrieved by multiplying the upper limit by √ 2. In section 6.1, we show the constraint that DUNE ND can place on a simplified scenario in which a single mixing matrix element between HNL and active neutrinos dominates. We have also considered a scenario in which two mixings are dominant with respect to the third one, the results of which are presented in section 6.2.

Single dominant mixing
In this section, we present the sensitivity regions for the three mixings |U eN | 2 , |U µN | 2 , and |U τ N | 2 , where we assume that just one mixing element dominates over the other two. The sensitivities for the decay channels N → νe + e − , νe ± µ ∓ , νµ + µ − , νπ 0 , e ∓ π ± (|U eN | 2 only), and µ ∓ π ± (|U µN | 2 only) are reported in figure 5. The solid lines corresponds to a scenario in which zero background is assumed at the ND. A background study is done for these channels (see section 5.2), to outline a more realistic sensitivity; the resulting regions are shown as dashed lines in figure 5. As we expect that further improvements to background reduction can be achieved with a dedicated analysis by the experimental collaboration, the final sensitivity will lie somewhere between the lines with and without backgrounds.
For both the electronic and the muonic mixings, the two-body semi-leptonic decay modes are the ones providing the best sensitivity for sufficiently heavy masses. With the channel N → e ∓ π ± , the mixing can be constrained in the range 0.15 GeV m N 0.49 GeV to be |U eN | 2 < 3 × 10 −9 , with a minimum point |U eN | 2 < 7 × 10 −11 at m N 0.39 GeV. Including the background rejection, the limits are loosened by a factor of ∼6.1. The channel N → µ ∓ π ± can constrain the mixing |U µN | 2 < 5.6 × 10 −10 in the mass range 0.25 GeV m N 0.39 GeV, with the best limit |U µN | 2 < 1.3 × 10 −10 at m N 0.35 GeV. In this case, the higher background reduce the bounds up to a factor of ∼14.3. The NC decay N → νπ 0 is the channel most affected by background and with the worst signal efficiency: the limits are higher at most by a factor of ∼29.6 for the electronic, ∼36.5 for the muonic, and ∼42.5 for the tau mixing. Assuming no background, instead, the constrains placed by this decay mode can be competitive, as the mixings are limited to be |U eN | 2 < 1.1 × 10 −10 at m N 0.39 GeV, |U µN | 2 < 1.5 × 10 −10 at m N 0.35 GeV, and |U τ N | 2 < 6.70 × 10 −7 at m N 0.95 GeV. There is no sensitivity to the channel N → τ ∓ π ± because of the subdominant branching ratio and flux content.
The three-body lepton decays have a lower reach, but are more sensitive to masses above the kaon mass limit than the two-body semi-leptonic modes. The channel N → νe − e + is the only one that covers the whole mass range of interest and the bounds are weakened by background reduction by a factor less than 6. It can limit the electronic mixing down to |U eN | 2 < 2.5 × 10 −9 at m N 0.11 GeV, |U eN | 2 < 2.9 × 10 −10 at m N 0.39 GeV, and |U eN | 2 < 3.0 × 10 −9 at m N 1.6 GeV. The channels N → νµ − µ + and νe ± µ ∓ perform better with the muon mixing, despite suffering more from background rejection, up to a factor of 16 for the muon mixing and a factor of 17 for the tau mixing. They respectively give the limits |U µN | 2 < 9.0 × 10 −10 at m N 0.37 GeV and |U µN | 2 < 8. which give very similar constraints near m N 1.0 GeV, these being |U τ N | 2 < 2.2 × 10 −6 for the νe − e + channel and |U τ N | 2 < 2.2 × 10 −6 for the νµ − µ + channel.
A background study was not performed for all the other decay channels, which open up for masses above the K 0 mass, due to the fact that the final state particles need a more complex analysis. The sensitivities to these modes are shown in figure 6, and they can place some constraints to the mixing. All the channels peak in their sensitivity for masses between 1.3 and 1.8 GeV. The best limits obtained for CC decays are |U eN | 2 < 2.3 × 10 −9 from N → e ∓ ρ ± and |U µN | 2 < 6.0 × 10 −8 from N → µ ∓ ρ ± ; among the NC decays |U eN | 2 < 3.7 × 10 −9 and |U µN | 2 < 1.0 × 10 −7 both from N → νφ. Even for these channels, there is no sensitivity to CC processes to the tau mixing, but interesting limits are set from N → νη, N → νω, and νρ 0 to be respectively |U τ N | 2 < 1.86 × 10 −6 , 3.24 × 10 −6 , and 1.60 × 10 −6 . JHEP03(2020)111

Two dominant mixings
In this section we present the bounds in a scenario in which two mixing elements are comparable and dominant over the third one. This case complements the previous analysis in section 6.1 as, by searching for HNL decays, the experiment can constrain certain combinations of the mixing elements. This can happen when the neutrino is produced via one JHEP03(2020)111 mixing and decays via another one, or when both mixing elements play a role in production and decay. For instance, the decay K + → µ + N yields heavy neutrinos with a flux proportional to |U µN | 2 , but they can afterwards decay into the channel νe + e − also via the electronic or the tau mixing. It is important to highlight that, in the case in which one mixing is responsible for the production and a different mixing for the decay, then number of events is proportional to the product of the mixings |U αN ||U βN | if the studied channel is CC-mediated. However, if the decay channel is also sensitive to a NC exchange, the number of events is instead proportional to |U αN | |U αN | 2 + |U βN | 2 . In the remainder of this section, we will use the combination of two mixings represented by |U * αN U βN | for comparing bounds and sensitivity plots.
The combinations of mixing terms is relevant to charged Lepton Flavour Violating (cLFV) decays or flavour changing neutral current processes which can be enhanced in presence of nearly-sterile neutrinos. For example, the well-known decay µ + → e + γ has a branching ratio which is sensitive to extra neutrino states. This reads where G(x) is the loop function of the process [134]. The current upper limit is set by the MEG experiment to be Br(µ + → e + γ) < 4.2 × 10 −13 [135]. Despite being one of the best constrained cLFV process, the bounds on |U * eN U µN | are not as good as the ones imposed by other processes, like µ → eee or µ − e conversion on nuclei [136]. For instance, the constraint from conversion on Au is |U * eN U µN | < 1.6 × 10 −5 for HNL masses larger than 0.1 GeV [137]. The branching ratio of other cLFV channels, like τ → eγ or τ → µγ are not as well constrained and so the bounds achievable on the combination of heavy neutrino mixings are expected to be less stringent [138,139]. Stronger bounds come from study of three-body decays of charm and bottom mesons to charged leptons with different flavour and tau decays to pseudo-scalar mesons and a charged lepton: from the search for the decay K → eµπ the bound |U * eN U µN | < 10 −9 is reached for masses 0.15 GeV m N 0.50 GeV; the decays τ → eππ and τ → µππ set the limits |U * eN U τ N |, |U * µN U τ N | < 5 × 10 −6 for the respective mass ranges 0.14 GeV m N 1.7 GeV and 0.24 GeV m N 1.7 GeV [106].
Instead of dealing with a three-dimensional parameter scan, we simplify the study by assigning the same value to the two mixing parameters under consideration, for which the number of HNL decays is maximal. The number of events is then reported as a function of the neutrino mass and the combination |U * αN U βN |. The results for all channels considered in this work are shown in figure 7. The best constraints come again from two-body semi-leptonic decays for all mixing combinations, the lowest upper limits being |U * eN U µN | < 6 × 10 −11 at m N 0.36 GeV, |U * µN U τ N | < 1.3 × 10 −10 at m N 0.35 GeV, and |U * τ N U eN | < 7 × 10 −11 at m N 0.39 GeV. Amongst the three-body leptonic decay channels, N → νee has the best sensitivity for masses m N < m K 0 , but actually the mode N → νe ∓ µ ± can be more constraining at higher masses. Regarding the channels available only above the kaon mass threshold, decays to pseudo-scalar mesons are the most sensitive between CC processes, whereas the decay N → νφ gives the best constraint of the NCmediated channels.

JHEP03(2020)111 7 Mass model constraints from DUNE ND
From the results presented in the previous section, we find that the DUNE ND will be sensitive to very low couplings for experimentally accessible mass values. These points of the parameter space corresponds to regions viable in some realisations of low scale neutrino mass models. In view of the discussion regarding seesaw models in section 2, we perform a mass matrix random scan to define such regions of the parameter space. Following the previously introduced notation, we focus on three minimal ISS scenarios which predict a HNL with a mass accessible by the experiment and that satisfy the experimental evidence of neutrino oscillation [140]. In the first two cases, the heavy neutrino under study belongs to the lightest pseudo-Dirac pair of an ISS (2,2) and an ISS (2,3) realisation; the third scenario is an ISS (2,3) case in which the fourth Weyl state becomes a Majorana neutrino in the MeV-GeV region thanks to a high LNV parameter. The details of this analysis are reported in this section, together with the overall sensitivities of DUNE ND to heavy neutrino discovery and low scale mass models. A comparison with future experiments is also included.

Mass model scan
We have randomly generated neutrino mass matrices and numerically diagonalised them. The structure of the mass matrix is a generalised version of an ISS: with two LNV submatrices, µ R and µ S . The number of physical parameters of a ISS (a, b) mass matrix is n p = 7a + b + 2 a b [140]. We choose a basis in which m D has complex entries but three of which are real, M R is diagonal and real, and µ S has a real diagonal without loss of generality. If the matrix entries respect the hierarchy µ R,S m D M R , the mass spectrum in the LNC limit is principally given by the diagonal values of M R . We then perturb the matrix to achieve the three minimal ISS scenarios introduced above; the randomly generated mass matrix M is then diagonalised using the Jacobi Singular Value Decomposition (SVD) as implemented in the Eigen library [141]. The Takagi  Only matrices satisfying the current constraints on heavy neutral fermions are taken in account. The first requirement is that the eigenvalues must give the correct mass squared splittings compatible within 3σ with the measured values [3]. The condition of matching also the measured mixing angles is relaxed because the entries of the PMNS matrix, U , are the result of the random structure of m D and µ S . Constraints on the unitarity of JHEP03(2020)111 the mixing matrix are applied instead. The deviation from unitarity are quantified by the following Hermitian matrix: The non-unitarity of the PMNS matrix has been assessed in various experiments, and the constraints depend upon the mass scale of averaged out neutrinos. For neutrino masses below the GeV scale, but heavy enough to decouple from flavour oscillations, non-unitarity effects are tested in neutrino oscillation experiment as an overall normalisation. If the neutrino mass is above the GeV scale, electroweak precision experiments provide strong constraints on non-unitarity. The constraints are summarised below (from refs. [142][143][144]) The µ R and µ S entries of the ISS matrices naturally lead to lepton flavour and lepton number violating processes. The most constrained process is the decay rate of µ + → e + γ, the branching ratio of which is given in eq. (6.1). The current upper limit on the branching ratio is 4.2 × 10 −13 , but a future upgrade of the experiment foresees to reach a limit lower than 5 × 10 −14 .
Heavy neutrinos in a ISS model also contribute to the neutrinoless double beta decay. The effective neutrino mass m ββ receives further corrections with respect to the standard expression as where p 2 −0.015 GeV 2 is the typical virtual momentum of the exchanged neutrino. The contribution from masses above the 0.1 GeV scale drops as 1 m 2 i while it is constant for masses below [145]. It is interesting to note that the contributions given by pseudo-Dirac pairs are subject to partial cancellation, regulated by the LNV parameters. In the LNC limit, the cancellation is maximum and the paired states do not take part in the 0νββ process. The latest result from the KamLAND-Zen experiment [146] is interpreted as m ββ < 61 meV.
We find, for the first two ISS scenarios, that the allowed ranges span in the space m D ∼ 10 [3,6] eV, M R ∼ 10 [6,15] eV, µ S and µ R ∼ 10 [−4,1] eV. We check that each matrix generated respects the naturalness condition in the 't Hooft sense [97] and that the mass spectrum presents a mass state accessible by the DUNE experiment. For the third ISS case, large entries of the sub-matrix µ S are necessary to give the Majorana state a mass that can be probed by the experiment. We find the ranges of m D ∼ 10 [3,10] eV, M R ∼ 10 [7,15] eV, JHEP03(2020)111 µ S ∼ 10 [4,9] eV to respect the constraints. The hierarchy and naturalness conditions are relaxed in this case. It is found that the block µ R does not influence the final mass spectrum; it usually gives contribution to the light neutrino masses at the loop level, in a region below the GeV scale that has been already excluded by experiments. The resulting points in the space (m N , |U αN | 2 ) are clustered together and the regions defined are overlaid in figure 8. Any combination of mass and mixing element inside these areas can be justified by a valid neutrino mass matrix which can explain the light neutrino masses and survive the experimental constraints. The pseudo-Dirac pairs from the ISS (2,2) and ISS (2,3) scenarios give very similar regions, but Majorana states from the ISS (2,3) realisation can only be generated with very small couplings. A type I seesaw band, corresponding to light neutrino mass between 20 meV and 200 meV, is plotted as well for comparison.

Overall sensitivity
We define the overall sensitivity of DUNE ND to the discovery of HNL as the combination of the sensitivities to some selected channels, presented in figure 8. These channels are N → νe + e − , νe ± µ ∓ , νµ + µ − , νπ 0 , e ∓ π ± , and µ ∓ π ± , and are preferred because of their good discovery prospect, for which backgrounds have also been studied. They all give strong sensitivities, especially for masses below 0.5 GeV, as shown in section 6. Their reach is due to high branching ratios and the HNL flux being more intense at such masses. Also, the final state particles are all well-studied particles, most of which leave tracks in the detector that are easy to reconstruct, therefore allowing the background to be controlled with sufficient precision. The neutrino spectrum component coming from the D s meson allows for weaker sensitivity to masses above the neutral kaon mass. We conducted the sensitivity study for both scenarios, in which either a Majorana or a Dirac neutrino is the decaying particle.
To appreciate the ND performance, we make a comparison with results of previous experiments, in particular PS191 [60,61], peak searches [55][56][57], CHARM [63], NuTeV [65], DELPHI [64], and T2K [77]. We find that the DUNE ND can increase the bound on the electronic and muonic mixing elements for masses m N < m K 0 with respect to past experiments. The constraint on the tauonic mixing is at least comparable with previous measurements. For masses above, for which neutrino production relies on charm meson decays, the existing bounds are improved for the electronic mixing and the tauonic mixing, while a conservative result can be achieved in the muonic case. We also overlay the prospects for the SBN programme [78], NA62 [119], and the proposed SHiP [129], MATHUSLA [122], and FASER [124] with 1 m radius. DUNE ND will give the best sensitivity for masses below the 0.5 GeV in all channels, but the tauonic one. However, anywhere the D s meson production is involved, the experiment cannot outperform the predicted sensitivity of the SHiP experiment which will deploy a 400 GeV proton beam on a titanium-zinc-molybdenum alloy target, enhancing the production of charm and bottom mesons. MATHUSLA will have a similar sensitivity, collecting particles from the High Luminosity LHC phase. NA62 gives better results for the |U µN | 2 mixing, but DUNE has a better sensitivity to the electron and tau channels. FASER is comparable to NA62 in sensitivity, but it can reach regions of the parameter space beyond the 2 GeV limit to which DUNE is not sensitive. Comparing The region excluded by experimental constraints (grey) is obtained by combining the results from PS191 [60,61], peak searches [55][56][57][58][59], CHARM [63], NuTeV [65], DELPHI [64], and T2K [77], with the lines reinterpreted for Majorana neutrinos (see [154]). The sensitivity for DUNE ND (black) is compared to the predictions of future experiments, SBN [78] (blue), SHiP [129] (red), NA62 [119] (green), MATHUSLA [122] (purple), and FASER [124] with 1 m radius (orange). The shaded areas corresponds to possible neutrino mass models considered in this article: the simulations of the ISS (2,2) and ISS (2,3) models where the lightest pseudo-Dirac pair is the neutrino decaying in the ND (cyan); the ISS (2,3) scenario when the single Majorana state is responsible for a signal (magenta); the type I seesaw scenario with a neutrino mass starting from 20 meV to 0.2 eV (yellow).
to previous similar studies, the sensitivities estimated in this analysis give stronger or at least comparable bounds than the ones in ref. [81], where a different ND configuration is assumed, and no background study was performed. More specifically, the limits on |U eN | 2 are stronger, even considering the background events. This is true also for the limits on |U µN | 2 , but only for masses below 500 MeV: in ref. [81] the sensitivity to masses above this threshold is enhanced by the contribution from B meson, which is not estimated in this study. For the same reason, the limits on |U τ N | 2 prove to be comparable to our result, despite accounting only for the D s meson component. : |U e4 | 2 (left) compared to DANSS [33], NEOS [155], STEREO [156], and Super-Kamiokande and IceCube combined [147]; sin 2 2θ µ e = 4|U e4 | 2 |U µ4 | 2 (middle) compared to KARMEN2, OPERA and Mini-BooNE [22]; |U µ4 | 2 (right) compared to a combined ν µ disappearance analysis [147]. Only the points generated by matrices which pass the experimental constraints are shown here.
We then compare the overall sensitivity to regions allowed by neutrino mass models. In the electronic and muonic channels, DUNE ND will be sensitive to a large part of the pseudo-Dirac regions, corresponding to ISS (2,2) and ISS (2,3) models, part of which have been already excluded by past experiments. DUNE will close the gap and put to test type I seesaw parameters, especially for HNL masses between 0.2 and 0.5 GeV, starting to reach the region of ISS (2,3) with large lepton number violation. For the tauonic channel, the experiment will probe only a small portion of pseudo-Dirac pairs from ISS (2,2) and ISS (2,3) models. The sensitivity is not high enough to reach type I and Majorana state regions, which not even the dedicated experiment SHiP can.
The ISS (2,3) scenario in which the pseudo-Dirac pair is accessible by the experiment also predicts a light Majorana state, the mass of which is controlled by the small LNV perturbations. This entails the presence of a third mass splitting ∆m 2 41 , which could give an active-sterile oscillation signature in short baseline experiments. In figure 9, the new mass splitting is plotted against the mixings |U e4 | 2 , |U µ4 | 2 and the combination usually referred to as sin 2 2θ µe ≡ 4|U e4 | 2 |U µ4 | 2 . The mass splittings generated in the matrix scan span from ∆m 2 31 0.0025 eV 2 up to 10 4 eV 2 , and the squared mixings cover a large region, down to 10 −14 for all the flavours. The reactor anomalies could be soon excluded at the 90 % C.L. by the DANSS experiment [33] and the allowed regions from LSND [19] and MiniBooNE [20][21][22] require values of sin 2 2θ µe 10 −3 . Given the results of the matrix scan, it is unlikely that one of the ISS (2,3) realisations considered in this work could link an heavy neutrino-like signal in DUNE ND and explain a short baseline anomaly at the same time, unless for sparse and very fine-tuned points.

JHEP03(2020)111 8 Conclusions
Adding an arbitrary number of heavy neutral fermions is the simplest extension of the Standard Model which allows to address the neutrino mass origin. These models are accompanied with a diverse and rich phenomenology, which can be tested by the nextgeneration neutrino experiments. This is the case of low-scale seesaw mechanisms, such as the inverse seesaw which, depending on the realisation, allows Majorana or pseudo-Dirac heavy neutrinos with experimentally accessible masses. In this paper, we have thoroughly investigated the phenomenological consequences of Majorana and Dirac states in light of searches of neutrino decays in beam dump experiments. Production and decay modes have been computed using the helicity-spinor formalism, and all the formulae for differential decay rates and production scale factors are provided, for the first time, decomposed by helicity states. We find agreement with previous studies, and hopefully settle down the dispute on different results.
We have shown that Dirac and Majorana neutrinos have different total decay width in NC processes and, in principle, measuring the rate could be a way of determining the nature of the initial state. We put a lot of stress on the role of the helicity in these type of signatures: interesting differences appear between Majorana and Dirac neutrinos, which could be also exploited to determine the nature of the heavy singlet fermion. The effect of the heavy neutrino helicity appears in the differential decay rate leading to different distributions of final state particles. For example, if the HNL are Majorana, two-body decays present an isotropic distribution for both helicity states, or, if Dirac, the angular distribution has a dependency proportional to A ± B cos θ, with the sign depending on the helicity state. We have also developed an effective evaluation of the heavy neutrino flux which, differently from a light neutrino flux, is not polarised to a single helicity state. The production modes of a nearly-sterile neutrinos are sensitive to its helicity state, due to mass effects which can lead to enhancement of certain channels with respect to light neutrinos. The two components of the neutrino flux behave therefore differently thanks to the dependency of decay distribution on the helicity.
We have studied the prospects for production and detection of HNL at the ND of the DUNE experiment. The ND will be exposed to an intense neutrino beam and its exceptional reconstruction capabilities make it an ideal candidate for searches of heavy neutrino decays. If at least one extra neutral state exists with a mass from few MeV to the GeV, the new singlet would be produced in the beam from mixing-suppressed meson and lepton decays. It can subsequently decay inside the ND to the channels listed in table 1. Thanks to the high energy of the beam, we have considered the possibility of testing neutrino masses heavier than the kaon mass. We have carried out a simulation of D s meson production and decay, extending the analysis up to neutrino masses of 2 GeV. More importantly, this has also allowed us to put constraints on |U τ N | 2 mixing, which is weakly bounded.
A background study was performed on decay channels with good detection prospects, defined by high branching ratios and clean detector signatures. Due to the ND vicinity to the beam target, it is fundamental to suppress the overwhelming number of SM neutrino-JHEP03(2020)111 nucleon interactions, which constitute the background for the rare signal of HNL decays. Reconstruction of hadronic activity at the vertex and the multiplicity of final state particles are most of the time enough to distinguish between signal and background, reducing the latter down to 5 %. To further reduce unwanted events, simple kinematic cuts are applied thanks to the very forward distribution of decay in-flight events, additionally suppressing the background events to less than 5 × 10 −5 of the original number. The rejection prescriptions are tuned to maintain an acceptable signal efficiency, which is between ∼40 % down to ∼20 %. For all the other channels, no background study was performed, mainly because the final state particles are vector mesons which present experimentally challenging and specific signatures, the study of which was out of the scope of this work. Combining the scaled flux components with the decay probabilities and signal efficiencies, we estimate the 90 % C.L. sensitivity of DUNE ND to all accessible channels, for both single and two dominant mixings. For masses between 0.3 and 0.5 GeV, the ND can probe mixing elements below 10 −9 in most cases, reaching 10 −10 , especially with two-body semi-leptonic channels for both |U eN | 2 and |U µN | 2 . Thanks to the D s meson production, neutrino masses above 0.5 and up to 2 GeV become accessible, as well as production and decay modes purely sensitive to the tau mixing. In this case, the sensitivity does not exceed 10 −8 for the electronic and muonic channels and 5 × 10 −6 for the tauonic channel. We point out that a large fraction of these parameters fall in the region relevant for the production of the baryon asymmetry via the ASR leptogenesis mechanism.
Finally, we performed a random matrix scan of different ISS realisations to define regions of parameter space allowed by the model under consideration. We identify three possible minimal cases that can provide good HNL candidates and at the same time address the lightness of the neutrino masses. The first two correspond to an ISS (2,2) and an ISS (2,3) scenarios in which the heavy neutrino is part of the lightest pseudo-Dirac pair. The third case is when strong LNV perturbations in a ISS (2,3) realisation give the Weyl state a mass accessible by the experiment. We make sure that the matrices generated are in agreement with oscillation data on neutrino masses and satisfy the constraint imposed by other experiments on unitarity and lepton number violation. We stress that DUNE will mostly -but not exclusively -be sensitive to pseudo-Dirac states. In the region with strongest sensitivity, which is for masses just below 0.5 GeV for |U eN | 2 and below 0.4 GeV for |U µN | 2 , the ND starts intersecting regions of the parameter space valid for a type I seesaw realisation or Majorana states in the ISS (2,3) scenario. This might have consequences for the signal and analysis strategies adopted by the collaboration, according to the different topology of distribution between Majorana and pseudo-Dirac neutrinos. In case of a discovery, some considerations can be drawn upon the nature of the new fermionic states.

JHEP03(2020)111
This work has been supported by the European Research Council under ERC Grant "NuMass" (FP7-IDEAS-ERC ERC-CG 617143) and the European Union's Horizon 2020 research and innovation program under the Marie Sk lodowska-Curie grant agreements No. 690575 (RISE InvisiblesPlus) and No. 674896 (ITN Elusives). SP acknowledges partial support from the Wolfson Foundation and the Royal Society.

A List of integrals and identities
In presenting the differential and total decay rates in section 3 and 4, we have used a series of simplifying integrals and functions of the particle masses. We report them jointly here. The letters x, y, and z denote squared ratios of masses, while s, t, and u are the corresponding Mandelstam variables for three body decays.

A.1 Decay widths
In [48], the following functions are used to express the total rates of two-body decays and the rate of three-body decays can be expressed in terms of two more functions [48], (1, s, z) , In this work we have introduced two differential generalisations of the two-body formulae, Our expressions satisfy the normalisation conditions,

JHEP03(2020)111
We also note the following integrals which are necessary in deriving the total decay rate for the three-body leptonic modes, where ξ i have the same meanings of eqs. (3.14) and (3.15).

A.2 Scaling factors for three body-decays
Three-body lepton decays can produce neutrinos in two ways, depending on whether the neutrino mixes with the initial or with the final flavour. The expressions presented in section 4 make use of the following integrals: When averaging over the helicity states, these two functions become identical and, because of symmetry crossing, also identical to the integral I 1 (x, y, z), expressed above. In section 4, the three-body decay rate of pseudoscalar meson requires the following integral: , where F and G are convenient combinations of hadronic form factors f (h,h ) . From lattice QCD considerations, form factors should carry the correct Clebsch-Gordan, but here we drop them as they are irrelevant when studying scale factors. The combinations F and G are

JHEP03(2020)111
with λ parametrising the linear dependence [111] of the form factors with respect the momentum transfer between the two mesons, u, directly connected to the other Mandelstam variables, s and t: The values of λ +,0 is determined experimentally [111]. The functions A, B, and C are When summing over helicity states, the kinematic simplifies to The coefficients for a Dirac neutrino decay are given by where the chiral couplings for charged leptons are given by g L = − 1 2 + sin 2 θ W and g R = sin 2 θ W .

B.2 Dirac ν i
The coefficients for the Dirac antineutrino decay -which involve some vital minus signs compared to the neutrino case -are given by where the chiral couplings g L and g R have the same meaning. JHEP03(2020)111 The amplitude for Majorana decay is the sum of the Dirac neutrino and Dirac antineutrino amplitudes given above: 6 Crucially, this means that the coefficients in the isotropic terms are the sum of those for a neutrino and antineutrino while the coefficients in the angular terms are the difference, leading to cancellations. All in all, we find with the coefficients Note that for the three-body decays, the decay is not isotropic in the Majorana limit; however, the quantity g 2 L − g 2 R ≈ 0.02, suppresses the angular terms in the pure NC case.

C Open charm production
Following the same procedure as the one described in ref. [129], we estimate the number of strange D mesons to be where σ cc = 12±1 µb is the proton-target open charm cross section, σ pA = 331.4±3.4 mb is the total inelastic proton-target on carbon (A = 12 C) [148] cross section, and f Ds = 7.7 % is the D s fragmentation fraction [149]. at the leading order in perturbation theory, with a graphite fixed target and a 80 GeV proton p. The correct process to consider is the proton-nucleon interaction, therefore σ cc ≡ σ(pA → cc + X) ≈ A σ(pN → cc + X) , using the correct Parton Distribution Function (PDF) for a bound nucleon N in the nucleus A. There are four diagrams, shown in figure 10, that contributes to the cross section, but three of them interfere with each other. These cross sections are well-known SM calculations and can be found in ref. [111]. The integrated cross section is: with τ 0 =ŝ 0 /s andŝ 0 being the threshold energy at the partonic level and s = 2m p (m p +E p ) is the centre of mass energy, given that m p m n . The partonic structure of the nucleus is described by the functions f i ρ/η = f ρ/η (x i , M F ), which are interpreted as the probability of finding a parton ρ in the particle η carrying a x i fraction of the momentum of η, at the energy scale M F . The two momentum fractions are related by x 1 x 2 s =ŝ, where the hat symbol denotes the energy of the parton-level process.
We adopt a factorisation scale of M F = 2.1 m c for the computation of σ cc , while the renormalisation scale of α s is set to µ R = 1.6 m c , and the charm mass has the value m c = (1.28 ± 0.03) GeV. The integration is regulated for | cos θ| < 0.8, with θ the angle in the centre of mass frame. The theoretical curve in figure 7.4(a) of ref. [129] was used to check our evaluation, and it was successfully reproduced up to NLO corrections. For the calculation we employed LHAPDF [150] and the nCTEQ15 PDF set [151], resulting in σ pA→cc = (12 ± 1) µb, for an 80 GeV protons on a graphite target.

D Background reduction
We performed a background study only for the decay channels with an important discovery potential, and these are N → νe + e − , νe ± µ ∓ , νµ + µ − , νπ 0 , e ∓ π ± , and µ ∓ π ± . In order to reject background events, conservative event selection cuts are outlined using the differences between kinematic properties of the final state particles from neutrino-nucleon JHEP03(2020)111 interactions and from the rare HNL in-flight decays. Simulations of signal events with a given mass inside either the LArTPC or the MPD are input to a channel-specific algorithm that discards low energy events and defines limits on angular and transverse momentum distributions. The algorithm aims at keeping an integrated signal efficiency W d greater than 30 %, where where the signal efficiency W d (E) is introduced in section 5.3.
As an example of the selection process, we present here the results of the analysis for a heavy neutrino with mass m N = 450 MeV. In the following tables the number of background events is reported in the form "X → Y Z", where X is the per mille (10 −3 ) fraction of background events from mis-identification and Y and Z are fractions of irreducible background after the application of selection cuts to respectively Majorana and Dirac neutrino simulations. When the value 0.000 is shown, we mean that less than one background event per million is expected. The average ν is computed by weighting the flux components contribution to the background, using the respective interaction rates as weights, reported in table 4. To obtain the number of background events, each fraction must be multiplied by the number of SM neutrino-nucleon interactions expected in the ND during the experiment lifetime. We assume that the ν τ and ν τ components are not responsible for background events, therefore only the ν e , ν µ , and ν µ components are studied. The last row of the tables show the signal efficiency of the selection cuts.
We group the studied channels in three categories, which have similar kinematic features: two-body decay, which are semi-leptonic, three-body decay channels, which are purely leptonic instead, and decays which can be only detected via photon reconstruction.

D.1 Two-body decays
The two-body decays N → e ± π ∓ and N → µ ± π ∓ are the most promising channels for the detection of a heavy neutrino, being the decay mode with the highest branching ratios. Since all final state particles are charged, direct information on the parent particle in easily reconstructed, as for instance the mass of the decaying neutrino, which is the invariant mass of the process m 2 N = s = m 2 + m 2 π + 2E E π − 2|p ||p π | cos θ , where θ is the opening angle between the lepton and the pion. In a two-body decay, the two particles are emitted back-to-back in the neutrino reference frame, so in the laboratory frame the relative position on the perpendicular plane is mostly preserved and (φ − φ π ) is expected to be close to ±π. Despite these distinctive signatures, these two channels are the ones with most background events, coming from charged-current interactions of ν e , ν µ , and ν µ in which additional pions can be easily emitted in coherent or deep inelastic scatterings. Background events typically peak at low energies and present more isotropic angular distributions. Therefore, a tight energy threshold on the energies of the charge particles is imposed to accept 70 % of the signal events and a threshold on the energy of the reconstructed neutrino is defined by 90 % of the retained events. A cut is also placed JHEP03(2020)111 on the reconstructed m N to retain 80 % of signal events, as well as an upper limit on the transverse momenta and angles to the beamline and a lower and an upper limit on the separation angle between the charged particles. After the cuts are applied, the background events are reduced up to a factor of 2500, and the signal efficiency are ∼35 % for the electronic channel and ∼40 % for the muonic channel, with little difference (respectively 1 % and 3 %) between Dirac or Majorana selection windows.

D.2 Three-body decays
The three-body decays studied are N → νe − e + , N → νe ∓ µ ± , and N → νµ − µ + . The event selection in this case is more challenging compared to two-body decays event, due the loss of the light neutrino which precludes the reconstruction of the decaying HNL, and so cuts as rigorous cannot be defined. However, since two charged leptons are needed to identify these channels, the resulting background rate, from mis-identified photons (from π 0 decays) and long-track pions, is low. Even in this case, only high energy events are considered, but with a lower threshold on the charged lepton energies. The invariant mass of the two leptons has as upper limit m N and this constrain helps with reducing the background. Lower and upper limits are also defined for the transverse momenta, as well as separation angles from the beamline. The background events are reduced from a factor of 40 up to a factor of 200, with the selection requirements for Dirac neutrinos being more effective. The signal efficiency results to be better (6-8 % better) for Majorana neutrinos in the N → νe − e + and µ − µ + channels, whereas the Dirac neutrino have give a better efficiency in the N → e ∓ µ ± channel. High efficiency and low background make these three channel competitive for HNL discovery, despite having lower branching ratio and so weaker sensitivity.

D.3 EM-detected decays
The semi-leptonic decay N → νπ 0 may only be identified by a correct photon reconstruction, since the neutral pion decays almost 100 % of the time in two photons. This particle JHEP03(2020)111 is produced in NC1π 0 interactions and deep inelastic scattering interactions. Background events occur if only two final state photons from the neutral pion decay are above detection threshold and properly reconstructed with an invariant mass equal to m π 0 . The energy of the reconstructed pion is the best discriminant against background events, thanks to their high energy. Lower and upper limits can be placed on the π 0 transverse momentum and angle with the beamline, but also a threshold on the energy of the photons as well as an upper limit on their angular distributions help define the kinematics of the event. The residual background for this channel is the highest among the ones studied: only reduction factors up to 130 can be achieved, with a notable difference between selection cuts for Majorana and Dirac HNL decays, the latter being more strict. The signal efficiency is ∼46 % for Majorana and ∼42 % for Dirac. It is, however, one of the decay modes with the highest branching ratio, and with advanced and dedicated techniques [152,153] the background rejection can be improved.