EUROPEAN ORGANIZATION FOR NUCLEAR RESEARCH

The NA62 experiment at the CERN SPS reports the first search for K → πνν̄ using the decay-in-flight technique, based on a sample of 1.21× 10 K decays collected in 2016. The single event sensitivity is 3.15× 10−10, corresponding to 0.267 Standard Model events. One signal candidate is observed while the expected background is 0.152 events. This leads to an upper limit of 14× 10−10 on the K → πνν̄ branching ratio at 95% CL. This paper is dedicated to the memory of our colleagues S. Balev and F. Hahn. Accepted for publication in Physics Letters B 1 ar X iv :1 81 1. 08 50 8v 2 [ he pex ] 1 9 M ar 2 01 9 The NA62 Collaboration ∗ Université Catholique de Louvain, Louvain-La-Neuve, Belgium E. Cortina Gil, E. Minucci, S. Padolski 1, P. Petrov, B. Velghe 2 Faculty of Physics, University of Sofia, Sofia, Bulgaria G. Georgiev 3, V. Kozhuharov 3, L. Litov TRIUMF, Vancouver, British Columbia, Canada T. Numao University of British Columbia, Vancouver, British Columbia, Canada D. Bryman, J. Fu 4 Charles University, Prague, Czech Republic T. Husek 5, K. Kampf, M. Zamkovsky Institut für Physik and PRISMA Cluster of excellence, Universität Mainz, Mainz, Germany R. Aliberti, G. Khoriauli 6, J. Kunze, D. Lomidze 7, R. Marchevski ∗,8, L. Peruzzo, M. Vormstein, R. Wanke Dipartimento di Fisica e Scienze della Terra dell’Università e INFN, Sezione di Ferrara, Ferrara, Italy P. Dalpiaz, M. Fiorini, E. Gamberini 8, I. Neri, A. Norton, F. Petrucci, H. Wahl INFN, Sezione di Ferrara, Ferrara, Italy A. Cotta Ramusino, A. Gianoli Dipartimento di Fisica e Astronomia dell’Università e INFN, Sezione di Firenze, Sesto Fiorentino, Italy E. Iacopini, G. Latino, M. Lenti INFN, Sezione di Firenze, Sesto Fiorentino, Italy A. Bizzeti 9, F. Bucci, R. Volpe 10 Laboratori Nazionali di Frascati, Frascati, Italy A. Antonelli, G. Lamanna 11, G. Lanfranchi, G. Mannocchi, S. Martellotti, M. Moulson, M. Raggi 12, T. Spadaro Dipartimento di Fisica “Ettore Pancini” e INFN, Sezione di Napoli, Napoli, Italy F. Ambrosino, T. Capussela, M. Corvino, D. Di Filippo, P. Massarotti, M. Mirra, M. Napolitano, G. Saracino Dipartimento di Fisica e Geologia dell’Università e INFN, Sezione di Perugia, Perugia, Italy G. Anzivino, F. Brizioli, E. Imbergamo, R. Lollini, C. Santoni INFN, Sezione di Perugia, Perugia, Italy M. Barbanera 13, P. Cenci, B. Checcucci, V. Duk 14, P. Lubrano, M. Lupi 8, M. Pepe, M. Piccini Dipartimento di Fisica dell’Università e INFN, Sezione di Pisa, Pisa, Italy F. Costantini, L. Di Lella, N. Doble, M. Giorgi, S. Giudici, E. Pedreschi, M. Sozzi INFN, Sezione di Pisa, Pisa, Italy C. Cerri, R. Fantechi, R. Piandani 15, J. Pinzino 8, L. Pontisso, F. Spinella


Introduction
The flavour-changing neutral current decay K + → π + νν proceeds at the lowest order in the Standard Model (SM) through electroweak box and penguin diagrams largely dominated by tquark exchange. The quadratic GIM mechanism and the small value of the CKM element |V td | describing the transition of a top into a down quark make this process extremely rare. Using tree-level elements of the CKM matrix as external inputs, the SM predicts [1] the branching ratio to be BR = (8.4 ± 1.0) × 10 −11 , where the uncertainty is dominated by the current precision on the CKM parameters. The intrinsic theoretical accuracy is at the 2% level, as the computation includes NLO (NNLO) QCD corrections to the top (charm) quark contribution [2,3] and NLO electroweak corrections [4]. Moreover, the hadronic matrix element largely cancels when normalised to the precisely measured BR of the K + → π 0 e + ν decay, with isospin breaking and non-perturbative effects calculated in detail [4,5].
The K + → π + νν decay is sensitive to physics beyond the SM. The largest deviations from the SM are expected in models with new sources of flavour violation, where constraints from B physics are weaker [6,7]. The experimental value of the CP-violation parameter ε K limits the expected BR(K + → π + νν) range within models with currents of defined chirality, producing specific correlation patterns between the K + → π + νν and K L → π 0 νν decay rates [8]. Present experimental constraints limit the range of variation within supersymmetric models [9,10,11]. The K + → π + νν decay can also be sensitive to effects of lepton flavour non-universality [12] and can constrain leptoquark models [13] aiming to explain the measured value of the CP-violation parameter ε /ε [14].
The E787 and E949 experiments at BNL [15,16] studied the K + → π + νν decay using a decay-at-rest technique and obtained BR = (17.3 +11.5 −10.5 ) × 10 −11 . The NA62 experiment at the CERN SPS aims to measure BR(K + → π + νν) more precisely with a novel decay-in-flight technique. This letter reports a result from the analysis of data collected by NA62 in 2016, corresponding to 2% of the full statistics accumulated during the 2016-2018 data-taking period.

Beam line and detector
The choice of the decay-in-flight technique is motivated by the possibility of obtaining an integrated flux of O(10 13 ) kaon decays over a few years of data-taking with a signal acceptance of a few percent, leading to the collection of O(100) SM events in the K + → π + νν channel. This technique utilises a high energy beam to boost the kaon decay products to high energy where their detection and identification can be efficient. The boost folds the decay products into a small angular region close to the beam axis allowing for a classic fixed target geometry experiment. The detector should measure the incoming kaon and the outgoing pion while reducing background to the level of 10 −11 of accepted kaon decays in the high rate environment necessary to achieve the required sensitivity. To this end, the detector consists of a collection of sub-detectors, each designed to perform one main task, and with complementary performance.
The NA62 beam line and detector layout is described in detail in [17] and shown in Fig. 1 together with the scale and reference system: the beam line defines the Z axis with its origin at the kaon production target and beam particles travelling in the positive direction, the Y axis points vertically up, and the X axis is horizontal and directed to form a right-handed coordinate system.
A secondary hadron beam of positive charge containing 70% π + , 23% protons and 6% K + , with a nominal momentum of 75 GeV/c and 1% rms momentum bite, is derived from 400 GeV/c protons extracted from the SPS in spills of 3 s effective duration and interacting with a 40 cm long beryllium target. Typical intensities for the present measurement range from 1.0 to 1.3 × 10 12 protons per pulse (ppp).  Figure 1: Schematic top view of the NA62 beam line and detector. Dipole magnets are displayed as boxes with superimposed crosses. The trajectory is shown of an un-decayed beam particle in vacuum, crossing the detector apertures which avoid interactions with material. A dipole magnet between MUV3 and SAC deflects the charged particles of the beam out of the SAC acceptance.
The time, momentum and direction of the charged components of the K + → π + νν decay are measured by the following detectors. A differential Cherenkov counter (KTAG, filled with N 2 at 1.75 bar pressure and read out by PMs grouped in eight sectors) tags incoming kaons with a 70 ps time resolution. Three silicon pixel stations (GTK) located before, between and after two pairs of dipole magnets (beam achromat), form a spectrometer to measure momentum, direction and time of beam particles with 0.15 GeV/c, 16 µrad and 100 ps resolutions. A magnetic spectrometer (STRAW, comprising two pairs of straw chambers on either side of a dipole magnet) measures the momentum-vector of the outgoing particle with a momentum resolution σ p /p in the 0.3-0.4% range. A ring-imaging Cherenkov counter (RICH, filled with neon at atmospheric pressure) tags the decay particle with a precision better than 100 ps and provides particle identification.
Two scintillator hodoscopes (CHOD, a matrix of tiles read out by SiPMs and NA48-CHOD, composed of two orthogonal planes of slabs, reused from the NA48 experiment) are used for triggering and timing purposes, providing a 99% efficient trigger and a time measurement with 200 ps resolution for charged particles.
The third GTK station (GTK3) is immediately preceded by a final collimator to partly block particles produced in upstream decays, and marks the beginning of a 117 m-long vacuum tank. The first 80 m of the tank define a fiducial volume (FV) in which 13% of the kaons decay. The beam has a rectangular transverse profile of 52 × 24 mm 2 and a divergence of 0.11 mrad (rms) in each plane at the FV entrance. The typical beam particle rate is 300 MHz.
Other sub-detectors are used as vetoes to suppress decays into photons or multiple charged particles (electrons, pions or muons) or as complementary particle-identifiers. Six stations of plastic scintillator bars (CHANTI) detect with 99% efficiency and 1 ns time resolution extra activity including inelastic interactions in GTK3. Twelve stations of ring-shaped electromagnetic calorimeters (LAV1 to LAV12, made of lead-glass blocks) surround the vacuum tank and the detector to achieve hermetic acceptance for photons emitted in K + decays in the FV at polar angles between 10 and 50 mrad. A 27 radiation length thick quasi-homogeneous liquid krypton electromagnetic calorimeter (LKr) detects photons from K + decays emitted at angles between 1 and 10 mrad and complements the RICH for particle identification. The LKr energy, spatial and time resolutions in NA62 conditions are σ E /E = 1.4% at an energy deposit of 25 GeV, 1 mm and between 0.5 and 1 ns, respectively, depending on the amount and type of energy release. Two hadronic iron/scintillator-strip sampling calorimeters (MUV1,2) and an array of scintillator tiles located behind 80 cm of iron (MUV3, with 400 ps time resolution) supplement the pion/muon identification system. A lead/scintillator shashlik calorimeter (IRC) located in front of the LKr, covering an annular region between 65 and 135 mm from the Z axis, and a similar detector (SAC) placed on the Z axis at the downstream end of the apparatus ensure the detection of photons down to zero degrees in the forward direction. Additional counters (MUV0, HASC) installed at optimized locations provide hermetic coverage for charged particles produced in multi-track kaon decays.
Most detectors are read out with TDCs, except LKr and MUV1,2 read out with 14-bit FADCs, and IRC, SAC read out with both. With the exception of GTK and STRAW, read out by specific boards, the TDC modules are mounted on custom-made boards (TEL62), which both produce trigger information and perform data read out. Calorimeters use a dedicated processor for triggering [18].
A low-level trigger (L0) exploits the logical signals (primitives) produced by the RICH, CHOD, NA48-CHOD, LKr, LAV and MUV3. A dedicated board combines the primitives to build and dispatch trigger decisions to the detectors for data readout [19]. A software trigger (L1) processes data from KTAG, LAV and STRAW to produce higher level information exploiting reconstruction algorithms similar to those used offline (Sec. 3), but adapted to the online environment.
The data sample is obtained from about 5 × 10 4 SPS spills recorded during one month of data-taking in 2016. The main trigger chain (called PNN) is defined as follows. The L0 trigger requires a signal in RICH to tag a charged particle in coincidence within 10 ns with: a signal in at least one CHOD tile; no signals in opposite CHOD quadrants to reduce K + → π + π + π − decays; no signals in MUV3 and LAV12 to reduce K + → µ + ν and K + → π + π 0 decays; and LKr energy deposit below 20 GeV to suppress K + → π + π 0 decays. The L1 trigger requires: a kaon identified in KTAG and signals in at most two blocks of each LAV station, within 10 ns of the L0 trigger RICH time; at least one STRAW track corresponding to a particle with momentum below 50 GeV/c which forms a vertex with the nominal beam axis upstream of the first STRAW chamber. The analysis also uses data taken with a minimum-bias L0 trigger based on NA48-CHOD information downscaled by a factor of 400 ("control triggers") to measure efficiencies and estimate backgrounds. Events collected with the PNN (control) trigger are referred to as "PNN-triggered events" ("control events") in the following.

Reconstruction and calibration
The KTAG channels are time-aligned, and signals are grouped within 2 ns wide windows to define candidates. The KTAG candidate time is used as a reference to adjust the time response of the other sub-detectors. Signals from the GTK stations grouped within 2 ns of a KTAG candidate form a beam track. Fully reconstructed K + → π + π + π − decays in the STRAW spectrometer are used to align the GTK stations transversally to a precision better than 100 µm and tune the GTK momentum scale.
The STRAW reconstruction relies on the NA48-CHOD time as a reference to determine the drift time. Space-points in the chambers describing a path compatible with the magnetic bending define a track, and its parameters are obtained using a Kalman-filter fit. The χ 2 value and the number of space-points characterize the track quality. Straight tracks collected with the magnet off serve to align the straw tubes to 30 µm accuracy. The average value of the K + mass reconstructed for K + → π + π + π − decays provides fine tuning of the momentum scale to a permille precision.
Two algorithms reconstruct RICH candidates, both grouping signals from PMs in time around the L0 trigger. The first one makes use of a STRAW track as a seed to build a RICH ring and compute a likelihood for several mass hypotheses (e + , µ + , π + and K + ). The second one ("single-ring") fits the signals to a ring assuming that they are produced by a single particle, with the fit χ 2 characterizing the quality of this hypothesis. Positrons are used to calibrate the RICH response and align the twenty RICH mirrors to a precision of 30 µrad [20].
The CHOD candidates are defined by the response of the two SiPMs reading out the same tile. Signals in crossing horizontal and vertical slabs compatible with the passage of a charged particle form NA48-CHOD candidates; time offsets depending on the intersection position account for the effect of light propagation along a slab.
Groups of LKr cells with deposited energy within 100 mm of a seed form LKr candidates (clusters). A seed is defined by a cell in which an energy of at least 250 MeV is released. Cluster energies, positions and times are reconstructed taking into account energy calibration, nonlinearity, energy sharing for nearby clusters and noisy cells. The final calibration is performed using positrons from K + → π 0 e + ν decays. An additional reconstruction algorithm is applied to maximize the photon veto efficiency. This is achieved by defining candidates as sets of cells with at least 40 MeV energy, closer than 100 mm and in time within 40 ns of each other.
The reconstruction of MUV1(2) candidates relies on the track impact point. Signals in fewer than 8 (6) nearby scintillator strips are grouped to form a candidate, the energy of which is defined as the sum of the energies in the strips, calibrated using weighting factors extracted from dedicated simulations and tested on samples of π + and µ + .
Candidates in MUV3 are defined by time coincidences of the response of the two PMs reading the same tile. The time of a candidate is defined by the later of the two PM signals, to avoid the effect of the time spread induced by the Cherenkov light produced by particles traversing the PM window.
The CHANTI candidates are defined by signals clustered in time and belonging either to adjacent parallel bars or to intersecting orthogonal bars. Two threshold settings discriminate the CHANTI, LAV, IRC and SAC TDC signals. Thus up to four time measurements are associated with each signal, corresponding to the leading and trailing edge times of the high and low thresholds. The relation between the amplitude of the IRC and SAC pulses provided by the FADC readout and the energy release is determined for each channel after baseline subtraction using a sample of K + → π + π 0 decays. Signal times measured by GTK, KTAG, CHOD and RICH are further aligned on a spill basis to the L0 RICH time, resulting in 20 ps stability through the whole data sample. Early checks on reconstructed data help identifying spills with hardware malfunctioning, which are excluded from the analysis.
Samples of K + decays are produced using a Geant4-based [21] Monte Carlo (MC) simulation of the setup and used in the analysis to validate the detector response, compute acceptances and estimate backgrounds. The simulation includes the modeling of the time development of the signals, the response of the front-end electronic and the effects of miscalibration as derived from data. Accidental activity is added in GTK and KTAG assuming 300 MHz beam intensity, and using a pileup beam particle library. No accidental activity is simulated in the detectors downstream of the last GTK station. Simulated data are subjected to the same reconstruction and calibration steps as described above. miss distribution of the K + → π + νν decay and the main K + decays, computed under π + mass hypothesis for the charged particle in the final state. Signal (red) is multiplied by 10 10 for visibility and the dashed areas show the signal search regions. Right: reconstructed m 2 miss as a function of π + momentum for control events selected without applying π + identification and photon rejection. Signal regions 1 and 2, as well as the 3π, π + π 0 and µ + ν background regions are also shown. The control regions located between the signal and background regions are indicated by dashed lines.

Event selection
The K + → π + νν signature consists of a K + with 4-momentum p K in the initial state, and a π + with 4-momentum p π with missing energy in the final state. The squared missing mass m 2 miss ≡ (p K − p π ) 2 is used to discriminate kinematically the main K + decay modes from the signal. The signal is searched for in two m 2 miss regions on each side of the K + → π + π 0 peak (Fig. 2, left). Selection criteria based on m 2 miss alone are not sufficient to reduce the backgrounds to the desired level, and additional suppression by π + identification and photon rejection is required. The principal selection criteria are listed below.
Up to two positively-charged STRAW tracks are allowed in an event, provided there are no negatively-charged tracks and these tracks do not form a vertex in the FV. To be accepted, a track must be within the RICH, CHOD, LKr, and MUV1,2,3 sensitive regions, and must be associated in position with candidates in the CHOD, NA48-CHOD, LKr and RICH. Association in the RICH relies on the consistency between the track direction downstream of the spectrometer magnet and the position of the ring centre. Timing constraints are applied to the LKr and RICH candidates with respect to the NA48-CHOD candidate time. Track times are measured with 100 ps resolution by combining the sub-detector signals associated with each track.
A KTAG candidate with Cherenkov photons detected in at least five out of eight sectors tags a K + . The parent K + is defined as that closest in time to the π + candidate within 2 ns. The identification of the GTK track of the parent K + relies on its time coincidence with the KTAG and RICH, and its geometric compatibility with the STRAW track quantified by the closest distance of approach (CDA). Probability density functions of the time and CDA distributions for both K + and accidental beam particles obtained from reconstructed K + → π + π + π − decays are used to define a discriminant. The GTK track within 0.6 ns of the KTAG time with the highest discriminant value is associated with the parent K + . An additional requirement is applied on the discriminant leading to a K/π association efficiency value of 75%, as measured with a K + → π + π + π − data sample. The corresponding fraction of incorrect K/π associations is below 1% when the K + is correctly reconstructed. If the K + is not reconstructed, the probability of associating a pile-up beam track to the π + is 3.5%.
The K + and π + tracks define the decay vertex. Charged pions originating from K + decays upstream of the final collimator or from interactions of beam particles in the GTK stations can mimic a K + → π + νν decay if an accidental beam particle in GTK matches the π + , leading to incorrect vertex reconstruction. In addition to K/π association, further conditions suppress these events: Z vertex > Z 0 , where Z vertex is the vertex longitudinal coordinate and Z 0 lies in the range 110-115 m depending on the π + direction; the π + extrapolated to the final collimator Z plane must lie outside a 200 × 1000 mm 2 area centred around the Z axis ("box cut"); no activity in CHANTI is allowed within 3 ns of the π + ; and fewer than five GTK tracks may be reconstructed within 2 ns of the KTAG time. To reduce background from K + → π + π + π − decays and optimize the π 0 rejection, Z vertex is required to be upstream of 160-165 m, depending on the track slope.
If two STRAW tracks in the same event satisfy the above conditions, the one closer in time to the trigger and the associated K + is considered. The CHOD, KTAG, RICH and LKr candidates and the GTK track matched to the π + are required to be the closest to the trigger time. The analysis is restricted to the pion momentum (P π + ) range of (15, 35) GeV/c. This condition ensures the presence of at least 40 GeV energy in addition to the π + , which improves the rejection of backgrounds such as K + → π + π 0 . It also enhances the kinematic separation between signal and K + → µ + ν decay, and makes the optimal use of the RICH for π + /µ + separation. The m 2 miss is reconstructed from the K + and π + 4-momenta measured by the GTK and the STRAW. The m 2 miss resolution at the K + → π + π 0 peak is about 10 −3 GeV 2 /c 4 , which determines the choice of two m 2 miss signal regions defined as (0, 0.01) GeV 2 /c 4 ("Region 1") and (0.026, 0.068) GeV 2 /c 4 ("Region 2"). Three background regions (π + π 0 , µ + ν and 3π) and suitable control regions are also chosen (Fig. 2, right). Signal and control regions are kept masked for PNN-triggered events until the completion of the analysis. The m 2 miss is also computed either assuming the average K + beam momentum and direction, or using p π measured by the RICH single-ring algorithm assuming the π + mass. Conditions imposed on the m 2 miss computed in these alternative ways refine the definition of signal regions, reducing the K + → π + νν acceptance by a further relative 7% and providing additional background suppression in case of mis-reconstruction in STRAW or GTK.
A multivariate classifier based on a Boosted Decision Tree algorithm [22] combines 13 variables describing the energy associated with the π + , the shape of the clusters and energy sharing between the calorimeters. Pion identification with the RICH exploits the ratio of likelihoods under the π + and µ + hypotheses. Additional constraints are applied on the particle mass calculated from the ring radius computed by the single-ring RICH algorithm and the momentum measured by the STRAW. The π + identification efficiency measured in the (15, 35) GeV/c momentum range is 78% (82%) with calorimeters (RICH), and the corresponding probability of µ + mis-identification as π + is 0.6 × 10 −5 (2.1 × 10 −3 ). MC simulations reproduce these results with 10-20% accuracy. A requirement of no particle detected in MUV3 within 7 ns of the π + reinforces the MUV3 trigger condition.
Photon rejection suppresses K + → π + π 0 decays which can mimic the signal if the two-body kinematics is not well reconstructed. The main requirements are: no energy deposited in any LAV station (IRC and SAC) within 3 (7) ns of the π + time; no clusters in the LKr beyond 100 mm from the π + impact point location within time windows ranging from ±5 ns for cluster energies below 5 GeV to ±50 ns above 15 GeV. Multiplicity rejection criteria against photons interacting in the detector material upstream of the LKr include: no in-time activity in the CHOD and NA48-CHOD unrelated to the π + but in spatial coincidence with an energy deposit of at least 40 MeV in the LKr; no additional segments reconstructed in the STRAW compatible with the decay vertex; no in-time signals in HASC and MUV0; fewer than four extra signals in the NA48-CHOD in time with the π + . The resulting π 0 → γγ rejection inefficiency is measured to be 2.5 × 10 −8 by counting selected control (PNN-triggered) events in the π + π 0 region before (after) photon and multiplicity rejection. Alternatively the single photon detection efficiencies of LAV, LKr, IRC and SAC are measured using K + → π + π 0 decays with one reconstructed photon used to tag the other photon, and convolved with a K + → π + π 0 simulation; this leads to a similar π 0 rejection estimate. The corresponding signal loss is 34%, with 10% (24%) due to π + interactions (accidentals). Photon and multiplicity rejection is also effective against K + → π + π + π − and K + → π + π − e + ν backgrounds.

Single event sensitivity
The single event sensitivity is defined as SES = 1/(N K · ε πνν ), where N K is the number of K + decays in the FV and ε πνν is the signal efficiency. The former quantity is computed as N K = (N ππ · D)/(A ππ · BR ππ ), where N ππ is the number of K + → π + π 0 decays selected from control events using the K + → π + νν criteria except photon and multiplicity rejection, and requiring m 2 miss to be in the π + π 0 region; A ππ = (9.9 ± 0.3)% is the acceptance of this selection estimated from MC simulation, where the error is due to the accuracy in the simulation of m 2 miss resolution; BR ππ is the K + → π + π 0 branching ratio [14] and D = 400 is the downscaling factor of the control trigger. This leads to N K = (1.21 ± 0.04 syst ) × 10 11 , where the uncertainty is dominated by the error on A ππ .
The signal efficiency is evaluated in four 5 GeV/c wide P π + bins as ε πνν = A πνν · ε trig · ε RV . Here A πνν is the selection acceptance for the signal; ε trig is the PNN trigger efficiency; 1 − ε RV is the fraction of signal events discarded by the photon and multiplicity rejection as a consequence of accidental activity in the detectors (Random Veto). Other effects inducing signal loss are either included in A πνν or cancel in the ratio to A ππ when computing the SES. An example is the signal loss due to random veto induced by accidental counts in the MUV3 detector.
The K + → π + νν decay is simulated using form factors derived from the K + → π 0 e + ν decay. The selection acceptance A πνν = (4.0 ± 0.1)% is evaluated using MC simulation and includes the particle identification efficiency (Fig. 3, left). The main sources of acceptance losses are: detector geometry, π + momentum range, m 2 miss regions, particle identification and K + /π + association in the FV. The uncertainty on A πνν is due to the accuracy of the simulation of the signal losses resulting from photon and multiplicity rejection induced by π + interactions with the detector material.
The quantity ε trig is the product of L0 and L1 trigger efficiencies. The efficiency of each L0 component is measured with control events. These efficiencies, with the exception of the LKr condition, are evaluated with the K + → π + π 0 sample used for the N K computation, while the LKr efficiency is measured using a K + → π + π 0 sample selected with both photons in LAV1-LAV11. The resulting L0 efficiency ranges from 0.93 to 0.85 depending on P π + , where the main losses come from the LKr and MUV3 conditions, with a systematic uncertainty of 0.02. The L1 trigger efficiency is measured to be 0.97 ± 0.01 using a K + → π + π 0 sample passing the PNN L0 condition. The quoted uncertainty reflects the stability during the data taking.
The factor ε RV is measured as the fraction of K + → µ + ν decays in the data surviving the photon and multiplicity rejection. The selection used for this measurement is similar to the K + → π + νν selection, apart from particle identification (replaced by positive µ + identification in MUV3 and calorimeters) and the m 2 miss range requirement. The result is ε RV = 0.76 ± 0.04; this quantity is independent of P π + and depends on beam intensity as shown in Fig. 3, right. The quoted value includes a correction of +0.02 based on simulation to account for activity in CHOD and LAV induced by δ-rays produced by muons in the RICH mirrors. The uncertainty Figure 3: Left: Total acceptance A πνν in bins of π + momentum, and in Regions 1, 2 separately with their respective uncertainties. Right: signal efficiency ε RV in bins of instantaneous beam intensity after photon and multiplicity rejection with total uncertainty, after photon rejection, after IRC and SAC veto only, after LAV veto only, after LKr veto only. Lines are for eye guidance only. The instantaneous intensity (estimated from out-of-time activity in GTK) can vary up to a factor of two within a spill with respect to the average intensity.
on ε RV is evaluated as the difference between the loss of acceptance as calculated by simulation and the measured ε RV extrapolated to zero intensity.
Systematic uncertainties include those on N K , A πνν , ε trig and ε RV . An additional uncertainty is assigned to beam pileup effects; it is evaluated by comparing the acceptances computed including or not the pileup simulation. The external error on N πνν exp (SM) comes from the uncertainty of the SM prediction.

Expected background
Background from K + decays in the FV is mainly due to K + → π + π 0 (γ), K + → µ + ν(γ), K + → π + π + π − and K + → π + π − e + ν decays. The first three processes may enter the signal regions via m 2 miss mis-reconstruction. The estimate of the corresponding backgrounds relies on the assumption that π 0 rejection for K + → π + π 0 , particle identification for K + → µ + ν and multiplicity rejection for K + → π + π + π − are independent of the m 2 miss criteria defining the signal regions. Possible violations of this assumption, such as the impact of the radiative component of K + → π + π 0 (γ) decay, are investigated separately in a dedicated study. In this framework, the number of expected background events in each signal region (1 and 2) from these processes is computed as N bkg · f kin . Here N bkg is the number of PNN-triggered events remaining in the Figure 4: Left: reconstructed m 2 miss distribution of the K + → π + π 0 control events selected from data by tagging the π 0 (dots, see text for details). Two K + → π + π 0 MC samples are superimposed: one selected as in data (red line), the other selected as K + → π + νν (blue line, referred to as MC K + → π + π 0 (γ) in the legend). Signal regions 1 and 2 are also shown. The MC distributions are normalised to the data in the π + π 0 region. Right: expected K + → π + π 0 (γ) background in bins of π + momentum compared to the expected number of SM K + → π + νν events.
corresponding background m 2 miss region after the K + → π + νν selection; f kin ("tails") is the proportion of background events entering the signal region through tails of m 2 miss which are modelled separately. The above procedure is applied in four bins of P π + for K + → π + π 0 and K + → µ + ν backgrounds. Background in the control regions is evaluated similarly.
K + → π + π 0 (γ) background: forty-two events remain in the π + π 0 region after the K + → π + νν selection. The m 2 miss tails in Regions 1 and 2 are at the 10 −3 level and do not depend on P π + . They are evaluated from K + → π + π 0 control events selected with the same criteria as for N K computation, except for the m 2 miss condition. The two photons from the π 0 → γγ decay are required to be in the LKr acceptance, and K + → π + π 0 decays are reconstructed independently of the measured π + and K + tracks by imposing π 0 mass, nominal beam momentum and missing mass constraints. Simulation reproduces the tails to an accuracy better than 20%. The kinematic constraints do not affect the reconstruction tails in Region 1, but suppress the contribution from K + → π + π 0 γ decays in Region 2 (Fig. 4, left). The estimate of K + → π + π 0 γ (inner bremsstrahlung) background is based on simulation [23] and single photon detection efficiencies measured from data. A systematic uncertainty is assigned to account for the precision of the above measurement. The background dependence on P π + is shown in Fig. 4, right and is due to photon detection inefficiency at small angles. After unblinding the control regions between the π + π 0 and the two signal regions (Fig. 2, right), one event is observed, while 1.46 ± 0.16 stat ± 0.06 syst events are expected.
K + → µ + ν(γ) background: forty-five events remain in the µ + ν region after the K + → π + νν selection. A K + → µ + ν sample selected as for the ε RV measurement but without the m 2 miss condition is used to evaluate the reconstruction tails (Fig. 5, left). Tails in Region 1 range from 5 × 10 −5 in the first P π + bin to 5 × 10 −4 in the last bin; tails in Region 2 are 2 × 10 −5 in all P π + bins. Simulations reproduce these results to an accuracy of 30-40% in Region 1 and the Figure 5: Left: reconstructed m 2 miss distribution of the K + → µ + ν(γ) control events selected by assigning the π + mass to the µ + for data (dots), and for two MC K + → µ + ν(γ) samples superimposed: one selected as in data (red line), the other selected as K + → π + νν without particle identification (blue line, referred as MC K + → µ + ν(γ) in the legend). Signal regions 1 and 2 are also shown. Right: expected K + → µ + ν(γ) background in bins of π + momentum compared to the expected number of SM K + → π + νν events. control region, and better than 10% in Region 2. The radiative contribution is included in the measured tails. The calorimetric conditions used to identify µ + in the control sample lead to underestimation of the tails in Region 2 by up to 50%, limited by the current data statistics, and a corresponding systematic uncertainty is assigned to the tail measurement in this region. Mismeasurement of P π + in the STRAW may introduce a correlation between the reconstructed m 2 miss and π + identification in the RICH. The effect of this correlation is estimated by comparing the RICH performance measured with data K + → µ + ν events in µ + ν and signal regions. This leads to a 30% uncertainty on the background estimate. The background dependence on P π + (Fig. 5, right) is driven by the increase of both the muon mis-identification probability and the tails with P π + . After unblinding the control region, between Region 1 and the µ + ν region (Fig. 2, right), two events are observed while 1.02 ± 0.16 stat ± 0.31 syst events are expected.
K + → π + π + π − background: it populates mainly Region 2 due to the large m 2 miss . Twenty events remain in the 3π region after the K + → π + νν selection. A K + → π + π + π − sample used to evaluate the m 2 miss tails is selected from control events using a π + π − pair to tag the decay. Simulations reproduce the m 2 miss distribution of this sample over four orders of magnitude. The tails are conservatively estimated to be 10 −4 , with a systematic uncertainty of 100% assigned to account for the bias induced by the above selection, as demonstrated by simulations. Multiplicity rejection and kinematic cuts are effective against K + → π + π + π − decays, and the expected background is almost negligible.
K + → π + π − e + ν background: it is characterized by large m 2 miss and therefore enters Region 2. It is suppressed by its O(10 −5 ) branching ratio, multiplicity rejection, particle identification and kinematics. The approach adopted to estimate the other major backgrounds cannot be used in this case because the number of particles in the detector acceptance and thus the multiplicity rejection are correlated with the kinematics. The background is therefore estimated from simulation. Out of 6×10 8 simulated decays, two events pass the K + → π + νν selection. Modifications to the K + → π + νν selection, such as requiring a π − instead of π + , or inverting specific multiplicity rejection conditions, define exclusive samples with O(10) data events passing these new selections. The agreement between the observed and expected numbers of events in these samples validates the simulation.
Other backgrounds from K + decays: the contributions from K + → µ + π 0 ν, K + → π 0 e + νand K + → π + γγ decays are found to be negligible considering particle identification and photon rejection performance applied to simulated samples. Upper limits of O(10 −3 ) events are obtained for these contributions.
Upstream backgrounds: they are due to pions originating upstream of the FV and are classified as follows.
• π + from K + decays between GTK stations 2 and 3, matched to an accidental beam particle; • π + from interactions of a beam π + at GTK stations 2 and 3, matched to an accidental K + ; • π + from interactions of a K + with material in the beam line, produced either promptly or as a decay product of a neutral kaon.
The interpretation of the upstream events in terms of the above mechanisms is supported by a detailed analysis of a sample selected as K + → π + νν apart from the conditions defining the FV and the K/π association, which are inverted to enrich the sample with upstream events. The π + position distribution at the GTK3 Z plane (Fig. 6, left) indicates that they originate from upstream decays or interactions in the GTK stations and justifies the 200 × 1000 mm 2 box cut (Sec. 4). The distribution of RICH-KTAG vs GTK-KTAG time difference suggests the accidental origin of these events (Fig. 6, right). Installation of an additional shielding insert Table 1: Summary of the background estimates summed over the two signal regions.
The background estimates in the signal regions are summarized in Table 1. Errors are added in quadrature to obtain the uncertainty on the total expected background.

Result and conclusion
After unblinding the signal regions, one event is found in Region 2, as shown in Fig. 7, left. The STRAW track momentum is 15.3 GeV/c. The RICH response is consistent with a π + hypothesis (Fig. 7, right). The track deposits 50% (20%) of its energy in the LKr (MUV1), and the p-value of the muon hypothesis based on calorimetric identification is 0.2%. The candidates in the RICH, CHOD and LKr associated to the π + , as well as the KTAG and GTK candidates associated to the K + , are mutually consistent in time within one standard deviation of the corresponding resolutions. The KTAG candidate is identified by signals in seven of the eight sectors, and the kinematics of the K + measured with the GTK is consistent with the nominal beam properties. The decay vertex properties are Z vertex = 146 m and CDA = 1.7 mm. The π + transverse position extrapolated at the FV entrance is (x, y) = (−373, 30) mm.
The hybrid Bayesian-frequentist approach [24] and the CLs method [25] are used for the statistical interpretation of the result. A counting experiment analysis is performed considering an expected signal of 0.267 events and an expected background of 0.152 ± 0.090 events, where a symmetric uncertainty is considered. The corresponding expected upper limit is BR exp (K + → π + νν) < 10 × 10 −10 at 95% CL. Considering the observation of one event, the p-value of the signal and background hypothesis is 15% and the corresponding observed upper limit is BR(K + → π + νν) < 14 × 10 −10 at 95% CL.
(3) Figure 7: Left: reconstructed m 2 miss as a function of π + momentum for PNN-triggered events (markers) satisfying the K + → π + νν selection, except the m 2 miss and π + momentum criteria. The grey area corresponds to the expected distribution of K + → π + νν MC events. Red contours define the signal regions. The event observed in Region 2 is shown together with the events found in the control regions. Right: Signal in RICH (open circles) detected in the K + → π + νν candidate event with rings superimposed as built under different particle mass hypotheses.
The result, based on 2% of the total NA62 exposure in 2016-2018, demonstrates the validity of the decay-in-flight technique in terms of background rejection and in view of the measurement in progress using the full data sample.