Projected NA62 sensitivity to heavy neutral lepton production in K+ -> pi(0)e(+) N decays

Heavy neutral leptons (HNLs) appear in many extensions of the Standard Model of particle physics. In this study, we investigate to which extent the NA62 experiment at CERN could improve the existing bounds on the HNL mixing angle j U e j 2 by performing a missing mass search in K þ → π 0 e þ N decays in flight. We show that the limit j U e j 2 ≃ 2 × 10 − 6 can be reached with the currently available data in the mass range 125 – 144 MeV, which is currently not well covered by production searches. Future data, together with a dedicated trigger and/or improvements in rejection of out-of-acceptance photons, can improve this limit by another order of magnitude.


I. INTRODUCTION A. Heavy neutral leptons
Despite its astounding success in describing the outcomes of collider experiments, the Standard Model of particle physics (SM) fails to account for multiple reliable observations: the baryon asymmetry of the Universe (BAU, see e.g., Ref. [1]), dark matter (see e.g., Ref. [2]), as well as neutrino flavor mixing and oscillations [3].The latter observations provide unambiguous evidence for nonzero neutrino masses, which call for the introduction of additional degrees of freedom into the SM.Among many models explaining neutrino masses, those that introduce no new particles above the electroweak scale are of special interest, since they do not destabilize the Higgs mass [4][5][6] and are accessible already by the current generation of experiments (see e.g., Ref. [7]).
Such particles may appear for example in extensions of the neutrino sector (see e.g., Refs.[8,9]) such as the type-I seesaw theories [10][11][12][13][14][15].The assignment of charges in the SM predicts that hypothetical right-handed counterparts to neutrinos would be completely neutral, i.e., transform as singlets under the SM gauge group.As such, they also admit a Majorana mass term whose value is not predicted from neutrino data.The physical spectrum of these theories contains three light neutrino mass states ν Li plus a number of new heavy neutral leptons (HNLs) N RI (conventionally defined as right-handed to be consistent with other SUð2Þ L singlet fermions).These heavy neutral leptons inherit from the active neutrino flavor states their weaklike interactions with W and Z bosons, albeit with a coupling suppressed by the (flavor-dependent) elements of the mixing matrix Θ αI ≪ 1.In what follows, we will refer to the elements of this matrix as mixing angles.The active neutrino flavors ν Lα (α ¼ e, μ, τ) are then a superposition of light and heavy mass states: RI , where V PMNS αi is the (now nonunitary) PMNS matrix (see e.g., Ref. [16]).
In this paper, we consider a simplified model containing one HNL N with three flavor mixing angles U α ≪ 1.It can be thought either as a single Majorana mass state, or several HNLs degenerate in mass, in which case the equivalent mixing angle that we constrain is jU α j2 ¼ P I jΘ αI j 2 .

B. Missing mass searches
Intensity frontier experiments like NA62 at CERN are, thanks to the high statistics available, well suited to constrain HNLs.There are two main experimental methods to search for HNLs: production and decay searches [7].Production searches consist in reconstructing the "missing" momentum of invisible particles from an otherwise known kinematical configuration, and searching for a mass peak emerging over a smooth background-which indicates the presence of a new particle.They can be performed only if the kinematics of the process are fully known, as e.g., at kaon factories or e þ e − colliders.Decay searches consist in identifying visible final states in the HNL decays and can be performed at fixed-target, beam dump, e þ e − or pp collider based experiments.Production searches are sensitive to the HNL production rate alone, but not to its lifetime or decay modes. 1 In typical models, the production rate is proportional to the square of a single mixing angle active in the production process, jU α j 2 (α ¼ e, μ or τ).A nonobservation can therefore be directly translated into a limit on this mixing angle, with little model dependence.On the other hand, decay searches are sensitive to a combination of the various squared mixing angles involved in the HNL production, multiplied by the partial HNL decay width, 2  which in typical models also depends on squared mixing angles.The signal is thus proportional to a combination of fourth powers of mixing angles.To be translated into a set of exclusion limits, a non-observation must therefore be interpreted within a specific model to disentangle the contributions of the various flavors, hence introducing additional model dependence.

C. The NA62 experiment
The NA62 experiment at CERN [35] employs a high intensity, almost monochromatic secondary K þ beam of 75 GeV momentum to measure the rate of the ultrarare K þ → π þ νν decay to a 10% precision using the decay in flight technique [35].The beam is delivered into a 80 m long vacuum tank, giving rise to a K þ decay rate in the tank of about 5 MHz.Both the incoming kaons and their visible decay products are detected, allowing us to reconstruct the missing momentum.The experiment is equipped with a system of veto detectors for both charged and neutral particles.In particular, the photon veto helps reducing the contribution of undetected photons and π 0 mesons to the missing momentum.This leads to favorable background conditions, and provides sensitivity to K þ decays with invisible particles in the final state, which are reconstructed using the missing mass technique.Such searches have been performed [36,37] or are planned both for HNLs and for other feebly interacting particles [38][39][40][41][42].
The NA62 collaboration has recently performed a search for HNL (N) production in the K þ → e þ N decay with the full Run 1 (2016-2018) data set, and established stringent limits at the level of jU e j 2 ∼ 10 −9 in the HNL mass range 144-462 MeV [37].The sensitivity of this search deteriorates abruptly at lower HNL masses due to the shape of the background.

D. Other existing bounds
Along with NA62 searches, other experiments have also probed the existence of HNLs mixing with ν e in the mass range of interest [43][44][45].Below approximately 120 MeV, the leading constraint (at the level of jU e j 2 ∼ 10 −8 ) comes from the search for the π þ → e þ N decay in flight at PIENU [43], but it weakens sharply in the vicinity of the pion threshold.Above 144 MeV, the best constraint is the one from the K þ → e þ N search at NA62 [37].An earlier experiment at KEK [44] was able to set limits covering the 120-144 MeV range, but these were significantly weaker, at the level of jU e j 2 ∼ 10 −6 .As a result, production searches only weakly constrain the mass range 120-144 MeV.
A notable exception is the PS191 experiment at CERN [45], which have reported competitive bounds in the above mass range (see Ref. [46] for a reanalysis including the neutral current contribution).The PS191 experiment was designed specifically to detect decay products of heavy neutrinos in a low-energy neutrino beam produced by kaon and pion decays.Such a decay search assumes that both the production and the visible decay of the HNL are determined by the mixing angles jU α j 2 and jU β j 2 (for this reason it is often called a jUj 4 experiment, see e.g., Refs.[8,46]).The sensitivity of these experiments crucially depends on the ratio jU e j 2 ∶jU μ j 2 ∶jU τ j 2 of the mixing angles (e.g., a large jU μ=τ j 2 mixing angle can reduce the branching ratio of the sought-after decay N → e þ e − ν α by suppressing the relative charged current contribution).Marginalizing over these unknown parameters can thus lead to a significantly weaker sensitivity, as shown explicitly in Refs.[47][48][49].
The missing mass searches therefore remain a viable option to explore a wide class of models.This includes models where the HNL decays to invisible final states ("dark sectors").In particular, these searches are not affected by the values of the other mixing angles jU μ=τ j 2 , as long as those remain below the current experimental limits.This motivates the present study, which consists in probing the 120-144 MeV mass range for the electron mixing at NA62 using the missing mass technique in the K þ → π 0 e þ N channel.

II. SIGNAL SIMULATION
The proposed search involves the final state consisting of a positron and two photons originating from a prompt π 0 decay.The expected number of signal events is where N K denotes the effective number of K þ decaying within the fiducial volume (as defined in [37]), f vis decay is the fraction of HNLs which decay visibly inside the detector (in which case the event is ignored by the present analysis), and ϵ sig is the signal detection efficiency (including the geometrical acceptance, but not the probability of the HNL decaying outside the detector).
f vis decay is a model-dependent parameter determined by the specific HNL decay channels.However, in most models of interest it turns out to be negligible.In the simplest model of HNLs (with only neutrinolike interactions), existing bounds constrain the lifetime to be many orders of magnitude larger3 than the typical size of the NA62 detector, hence suppressing f vis decay .If we consider instead an HNL that acts as a portal to a hidden sector and may decay invisibly with a possibly large width, then f vis decay remains small since the invisible width suppresses the branching fraction of visible decays.Only in the case where nonminimal interactions lead to a large enhancement of those visible decays can f vis decay become large enough to suppress the signal.
The matrix element of the decay, and the branching ratio BRðK þ → π 0 e þ NÞ, both of which depend on the assumed HNL mass m N , are computed following Refs.[50,51], using the measured form factors from Ref. [52].The branching ratio is shown as a function of m N as the blue dashed line in Fig. 1.The NA62 Run 1 data sample currently available for the K þ → π 0 e þ N search, collected using a 1-track trigger with an effective prescaling factor of about 150, corresponds to N K ≈ 3 × 10 10 [37].The acceptance ϵ sig is computed by interfacing our matrix element sampler with the full GEANT4-based NA62 simulation framework [53], and employing a basic event selection requiring a positron and two photons from a π 0 → γγ decay in the geometric acceptance of the detector.The acceptance is found to be about 10% for HNL masses below 150 MeV, and to decrease as a function of m N for higher masses toward the kinematic endpoint.
The events are binned in squared missing mass The finite momentum and energy resolution of the detector causes the reconstructed signal m 2 miss distribution to follow a Gaussian profile centered at m 2 N .The typical NA62 resolution on m 2 miss is [37] is assumed conservatively for this study.

III. BACKGROUND ESTIMATE
The dominant source of background to the K þ → π 0 e þ N process comes from the radiative K þ → π 0 e þ ν e γ innerbremsstrahlung decay with the radiative photon escaping detection, thus causing m 2 miss to be misreconstructed.The expected reconstructed m 2 miss spectrum of the K þ → π 0 e þ ν e γ process, simulated according to Ref. [54], taking into account the NA62 acceptance and resolution, and assuming that the radiative photon is not detected, is shown in Fig. 2. The principal contribution to the background for HNL masses above 100 MeV comes from the radiative tail, while the contributions from the main K þ → π 0 e þ ν e peak at m 2 miss ¼ 0 (caused by the finite mass-squared resolution) and from the non-Gaussian reconstruction tails are subleading.The origin and properties of this background are similar to those encountered in the search for the K þ → μ þ N decay at NA62 [55].
Other background sources, such as K þ → π 0 π 0 e þ ν e decays with both photons from a π 0 decay evading detection, or K þ → π 0 μ þ ν μ decays followed by μ þ → e þ νμ ν e decays, are found to be subleading.In particular, the misreconstruction of the K þ → e þ decay vertex position in the latter case typically leads to the invariant mass of the two photons from the π 0 → γγ decay, reconstructed FIG. 1. HNL production branching ratios in leptonic and semileptonic K þ decays, normalized to the squares of the relevant mixing angles.Contrary to the assuming photon emission at the decay vertex, being incompatible with the π 0 mass.
The background from radiative photons is largely reducible thanks to the NA62 photon veto system, which provides hermetic geometric coverage for photon emission angles θ γ up to θ max ¼ 50 mrad with respect to the beam axis, and partial geometric coverage (of approximately θ max =θ γ ) for larger emission angles.The nominal detection inefficiency for energetic photons (with energies in excess of a few hundred MeV) is 10 −3 for the largeangle system, and well below 10 −3 for the intermediate and small angles [35].As can be seen in Fig. 3, most of the photons from K þ → π 0 e þ ν e γ decays susceptible to contaminate the relevant signal regions (for m N ≳ 100 MeV, i.e., m 2 miss ≳ 0.01 GeV 2 ) are emitted within 50 mrad of the beam axis.A simplified photon detection efficiency model is used in this study: the nominal detection inefficiency of 10 −3 is assumed for θ γ < θ max (this assumption is valid as the energy of the photons intersecting the large-angle veto acceptance for the m 2 miss range of interest is always above 200 MeV, and is typically in the GeV range), and zero detection efficiency is assumed conservatively for the (softer) photons emitted at θ γ ≥ θ max .In this model, the background events are dominated by those with soft photons emitted at angles above 50 mrad outside the hermetic coverage zone.Therefore the accuracy of the detection efficiency model does not significantly affect the background estimate.

IV. PROJECTED NA62 SENSITIVITY
To estimate the projected sensitivity, we use for simplicity a cut-and-count analysis.We expect that the actual search will instead involve spectrum shape analysis.We define the signal region for an HNL of mass m N as a rolling window of missing mass squared , where the width σ m 2 ¼ 1.7 × 10 −3 GeV 2 corresponds to the approximate mass-squared resolution of the detector [37] and the constant k ¼ 1.4 is chosen to maximize the s= ffiffiffi b p ratio (where s and b respectively denote the numbers of signal and background events inside the window) and therefore the power of the search.A typical signal region is shown in Fig. 2. Real photon emissions produce a smoothly falling background in m 2 miss .The search is performed by looking for a significant excess of events over the background count b in each signal region.The detection sensitivity is expressed as a 90% confidence limit (local significance), which roughly corresponds to s ≳ 1.282 ffiffiffi b p in the limit b ≫ 1, with s ¼ erfðk= ffiffi ffi 2 p Þ × s tot the approximate number of signal events inside the signal region.The projected, median exclusion limit is similarly obtained, by replacing The background b from real photon emissions, integrated over a small m 2 miss window, is approximately: where hϵ bkg i denotes the mean background efficiency of the veto system in this window.This results in a detection sensitivity (at 90% CL) of: jU e j 2 ≳ 2.56 The median projected exclusion limit on jU e j 2 from NA62 in the K þ → π 0 e þ N channel (valid for any number of quasi-degenerate HNLs) is presented in Fig. 4, along with the limits set by previous searches using the missing mass technique at KEK [44], PIENU [43] and NA62 [37], as well as the so-called seesaw "bounds" for both the normal and inverted hierarchy.These lines are the model dependent lower bounds on the mixing angle4 jU e j 2 ¼ P I¼1;2 jΘ eI j 2 in the type-I seesaw with two Majorana HNLs forming a quasi-Dirac pair.As discussed in Sec.III, we have assumed ϵ bkg ¼ 10 −3 for in-acceptance photons, which results in an overall background efficiency of hϵ bkg i ≈ 1.7% mainly driven by out-of-acceptance photons.If the HNL has a short lifetime (comparable to or smaller than the size of the detector) and a probability of order 1 to decay visibly, then the sensitivity to jU e j 2 will be reduced by a factor of ð1 − f vis decay Þ −1 due to fewer events being available for the analysis.But as we saw previously in Sec.II, this does not suppress the sensitivity to an HNL whose lifetime is suppressed by new invisible decays, since those cannot be vetoed even if the HNL decays within the detector.It only matters if nonminimal interactions enhance the visible decay width beyond what is allowed by existing constraints on the mixing angles jU α j 2 .In particular, this missing mass search has no sensitivity to an HNL which decays promptly to visible particles.

V. DISCUSSION AND OUTLOOK
The black solid line in Fig. 4 represents the sensitivity5 achievable with the currently available dataset, corresponding to an effective number of K þ decays of N K ≈ 3 × 10 10 .The NA62 collaboration is planning to collect an additional dataset in 2021-2024 [56].Assuming no changes to the prescaling factors applied to the minimum-bias triggers, this leads to an estimated additional 6 × 10 10 effective kaon decays.Considering in addition K þ → π 0 e þ N decays followed either by the Dalitz decay π 0 → γe þ e − (which has branching fraction 1.17% [57]) or by a π 0 → γγ decay with one of the photons converting just upstream of the trigger hodoscope, both of which are recorded by the current dielectron trigger 6 [58], we expect an additional sample corresponding to 5 × 10 10 kaon decays, bringing the total to 1.4 × 10 11 by 2024.The corresponding sensitivity is shown by the black dashed line.
In order for the K þ → π 0 e þ N search at NA62 to become truly competitive in the region of interest, and start filling the current gap between 125 and 144 MeV, a dedicated trigger line (without the current prescaling factor of ∼150) is required.If NA62 were to implement such a trigger for its 2021-2024 run, it would be able to establish a limit at the level of jU e j 2 ≈ 10 −7 (represented by the black dotted line) assuming a fully efficient trigger.This is potentially stronger that the exclusion limit set by PS191, when interpreted within the simplest realistic model of HNLs [47].Finally, any improvement in the rejection of out-ofacceptance photons, for instance through optimized selection or increased veto coverage, would push the sensitivity further down until the missed in-acceptance photons become the leading source of background.
The limits discussed in this paper present little model dependence, as long as the HNL is produced in a flavorchanging kaon decay.The remaining dependence comes from the possibly short lifetime of the HNL, which could in principle induce additional activity in the detector if the FIG. 4. Projected exclusion reach of NA62 for an HNL produced in the K þ → π 0 e þ N channel (black lines), compared to the exclusion limits set by previous missing mass searches.The seesaw "bounds" on jU e j 2 are plotted under the assumption that two quasi-degenerate HNLs are fully responsible for neutrino oscillations (see the main text for details).
HNL decays visibly, resulting in the event being excluded from the present analysis.This limitation does not apply if the new HNL decays responsible for the short lifetime are invisible (e.g., if the HNL decays into a hidden sector).In order to partially overcome it, it would be interesting to allow for a displaced vertex compatible with the missing momentum.If the HNL lifetime is so short that the displaced vertex cannot be resolved-as can happen in some nonminimal models, such as the one discussed in Ref. [59]then dedicated searches involving prompt HNL decays will be needed.These searches are, however, inherently model dependent, since they target specific decay channels.

FIG. 2 .
FIG.2.Reconstructed squared missing mass spectrum of the K þ → π 0 e þ ν e γ background, obtained by modeling the NA62 acceptance and resolution, and assuming that the radiative photon is not detected.The total number of reconstructed events in the spectrum is 1.5 × 10 8 , corresponding to N K ¼ 3 × 10 10 kaon decays considered.A AE1.4σ m 2 wide signal region for m N ¼ 150 MeV is shown for illustration.