Search for heavy neutral leptons in decays of W bosons produced in 13 TeV pp collisions using prompt signatures in the ATLAS detector
ATLAS Collaboration

TL;DR
This study searches for heavy neutral leptons in W boson decays at 13 TeV LHC collisions using prompt leptonic signatures, setting new constraints on their mixing with electron and muon neutrinos in the 8-65 GeV mass range.
Contribution
First search for heavy neutral leptons in W boson decays at the LHC using prompt signatures, providing new limits on their mixing parameters in the 8-65 GeV mass range.
Findings
No significant excess found over Standard Model backgrounds.
Constraints on mixing parameters are set, excluding |U_e|^2 > 8×10^{-5} and |U_μ|^2 > 5×10^{-5}.
Strongest limits are for masses 15-30 GeV, with |U_e|^2 < 1.1×10^{-5} and |U_μ|^2 < 5×10^{-6}.
Abstract
The existence of right-handed neutrinos with Majorana masses below the electroweak scale could help address the origins of neutrino masses, the matter-antimatter asymmetry, and dark matter. In this paper, leptonic decays of W bosons from 140 fb of 13 TeV proton-proton collisions at the LHC, reconstructed in the ATLAS experiment, are used to search for heavy neutral leptons produced through their mixing with muon or electron neutrinos in a scenario with lepton number violation. The search is conducted using prompt leptonic decay signatures. The considered final states require two same-charge leptons or three leptons, while vetoing three-lepton same-flavour topologies. No significant excess over the expected Standard Model backgrounds is found, leading to constraints on the heavy neutral lepton's mixing with muon and electron neutrinos for heavy-neutral-lepton masses. The analysis…
| Process | Generator | Computation | Parton shower | Cross-section | PDF set | Set of tuned |
| order | normalization | parameters | ||||
| Diboson [ATL-PHYS-PUB-2017-005] | Sherpa 2.2.2 [Bothmann:2019yzt] | NLO 0-1j + LO 2-3j | CSShower [Gleisberg:2008fv, Schumann:2007mg] | NLO | NNPDF3.0nnlo [Ball:2014uwa] | default |
| + OpenLoops [Buccioni:2019sur, Cascioli:2011va, Denner:2016kdg] | ||||||
| Triboson [ATL-PHYS-PUB-2017-005] | Sherpa 2.2.1 [Bothmann:2019yzt] | LO 0-1j | CSShower [Gleisberg:2008fv, Schumann:2007mg] | NLO | NNPDF3.0nnlo [Ball:2014uwa] | default |
| [ATL-PHYS-PUB-2020-024] | Sherpa 2.2.10 [Bothmann:2019yzt] | NLO 0-1j + LO 2j | CSShower [Schumann:2007mg] | NLO | NNPDF3.0nnlo [Ball:2014uwa] | default |
| + OpenLoops [Buccioni:2019sur, Cascioli:2011va, Denner:2016kdg] | + LO ) | |||||
| , [ATL-PHYS-PUB-2020-024] | Sherpa 2.2.1 [Bothmann:2019yzt] | NLO | CSShower [Gleisberg:2008fv, Schumann:2007mg] | NLO | NNPDF3.0nnlo [Ball:2014uwa] | default |
| MG5_aMC@NLO 2.3.3 [Alwall:2014hca] | NLO | Pythia 8.212 [Sjostrand:2007gs] | NLO | NNPDF3.0nlo [Ball:2014uwa] | A14 [ATL-PHYS-PUB-2014-021] | |
| [ATL-PHYS-PUB-2016-005] | Powheg Box v2 [Bothmann:2019yzt] | NLO | Pythia 8.230 [Sjostrand:2007gs] | NLO [deFlorian:2016spz] | NNPDF3.0nlo [Ball:2014uwa] | A14 [ATL-PHYS-PUB-2014-021] |
| [ATL-PHYS-PUB-2016-020] | Powheg Box v2 [Frixione:2007nw, Nason:2004rx, Frixione:2007vw, Alioli:2010xd] | NLO | Pythia 8.230 [Sjostrand:2014zea] | NNLO [ATL-PHYS-PUB-2016-020] | NNPDF3.0nlo [Ball:2014uwa] | A14 [ATL-PHYS-PUB-2014-021] |
| Single top (-, -channel) | Powheg Box v2 [Re:2010bp, Nason:2004rx, Frixione:2007vw, Alioli:2010xd] | NLO | Pythia 8.230 [Sjostrand:2014zea] | NNLO [Campbell:2020fhf, PDF4LHCWorkingGroup:2022cjn] | NNPDF3.0nlo [Ball:2014uwa] | A14 [ATL-PHYS-PUB-2014-021] |
| single top () | Sherpa 2.2.7 [Bothmann:2019yzt] | NLO | CSShower [Gleisberg:2008fv, Schumann:2007mg] | NNLO + NNLL [Kidonakis:2021vob] | NNPDF3.0nnlo [Ball:2014uwa] | default |
| , [ATL-PHYS-PUB-2017-006] | Sherpa 2.2.11 [Bothmann:2019yzt] | NLO 0-2j + LO 3-5j | CSShower [Gleisberg:2008fv, Schumann:2007mg] | NNLO [Anastasiou:2003ds, ATL-PHYS-PUB-2017-006] | NNPDF3.0nnlo [Ball:2014uwa] | default |
| SR | Additional | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| name | [GeV] | [GeV] | [GeV] | [GeV] | [GeV] | requirements | |||
| Three-lepton SRs | |||||||||
| SRE1 | - | ||||||||
| SRE2 | - | ||||||||
| SRE3 | - | ||||||||
| SRE4 | - | - | GeV, GeV | ||||||
| SRM1 | - | ||||||||
| SRM2 | |||||||||
| Two-lepton SRs | |||||||||
| SRM3 | (SC) | - | - | - | |||||
| SRM4 | (SC) | - | - | ||||||
| SRM5 | (SC) | - | - | - | |||||
| VRs | Additional | ||||||
| [GeV] | [GeV] | [GeV] | [GeV] | [GeV] | requirements | ||
| All VRs | Veto events belonging to any SR | ||||||
| Three-lepton VRs | |||||||
| VRE1 | - | ||||||
| VRE2 | - | - | |||||
| VRE3 | - | ||||||
| VRE4 | - | - | - | - | GeV, cut removed | ||
| VRM1 | [70, 80] | - | |||||
| VRM2 | [45, 80] | - | |||||
| Two-lepton VRs | |||||||
| VRM3 | - | - | - | ||||
| VRM4 | - | - | - | ||||
| VRM5 | - | - | - | ||||
| SRE1 | SRE2 | SRE3 | SRE4 | SRM1 | SRM2 | SRM3 | SRM4 | SRM5 | |
|---|---|---|---|---|---|---|---|---|---|
| Observed | 8 | 10 | 15 | 10 | 6 | 9 | 5 | 7 | 10 |
| Total background | |||||||||
| , | |||||||||
| Others | |||||||||
| Fake/non-prompt |
| SRE1 | SRE2 | SRE3 | SRE4 | SRM1 | SRM2 | SRM3 | SRM4 | SRM5 | |
|---|---|---|---|---|---|---|---|---|---|
| -value | 0.5 | ||||||||
| Significance [] |
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
\AtlasTitle
Search for heavy neutral leptons in decays of bosons produced in 13 TeV collisions using prompt signatures in the ATLAS detector\AtlasAbstractThe existence of right-handed neutrinos with Majorana masses below the electroweak scale could help address the origins of neutrino masses, the matter–antimatter asymmetry, and dark matter. In this paper, leptonic decays of bosons from 140 fb*-1* of 13 TeV proton–proton collisions at the LHC, reconstructed in the ATLAS experiment, are used to search for heavy neutral leptons produced through their mixing with muon or electron neutrinos in a scenario with lepton number violation. The search is conducted using prompt leptonic decay signatures. The considered final states require two same-charge leptons or three leptons, while vetoing three-lepton same-flavour topologies. No significant excess over the expected Standard Model backgrounds is found, leading to constraints on the heavy neutral lepton’s mixing with muon and electron neutrinos for heavy-neutral-lepton masses. The analysis excludes values above and values above in the full mass range of 8–65 GeV. The strongest constraints are placed on heavy-neutral-lepton masses in the range 15–30 GeV of and . \AtlasRefCodeEXOT-2019-35\PreprintIdNumberCERN-EP-2025-164\AtlasDateMay 5, 2026\AtlasJournalEur. Phys. J. C\AtlasCoverEgroupAnalysisTeamatlas-exot-2019-35-analysis-team@cern.ch
Contents
1 Introduction
The discovery of neutrino flavour oscillation [Super-Kamiokande:1998kpq, SNO:2002tuh, KamLAND:2002uet] implies that neutrinos have mass. This might indicate the existence of right-handed heavy Majorana neutrinos (HNL in the following, denoting a ?heavy neutral lepton?) giving rise to the so-called Type-1 Seesaw mechanism [Minkowski:1977sc, Yanagida:1979as, Glashow:1979nm, Gell-Mann:1979vob, Mohapatra:1979ia, Schechter:1980gr, Schechter:1981cv]. In this scenario the Standard Model (SM) neutrinos would acquire masses inversely proportional to the HNL mass, which would make them naturally small. The existence of HNLs can also be used to explain the baryon asymmetry of the universe via leptogenesis [Davidson:2008bu, Pilaftsis:2009pk, Shaposhnikov:2009zzb]. One of the HNL states can also be a viable candidate for dark matter [Asaka:2005an, Asaka:2005pn, Boyarsky:2009ix, Boyarsky:2018tvu, Ghiglieri:2020ulj] in models with more than one HNL.
HNLs may participate in weak interactions through mixing with the left-handed neutrinos via dimensionless mixing coefficients , with lepton flavours . Realistic models able to explain neutrino oscillations would involve at least two HNLs with mixing to all SM flavours [Shaposhnikov:2006nn, Kersten:2007vk, Tastet:2021vwp]. It is, however, customary for experimental searches to use a simplified model with a single HNL mixing with a single lepton flavour, where the reach can be represented in the two-dimensional plane of the HNL mass and a single active mixing parameter. These searches can then be reinterpreted in different types of models [Tastet:2021vwp].
For HNL masses up to 80 GeV, the main mechanism for HNL production in proton–proton () collisions at the LHC is through mixing with the SM neutrinos produced in boson decays. From the experimental point of view, the most favourable HNL decay is the fully leptonic one (). The HNL decay can take place either promptly or after the HNL traverses a measurable distance in the detector (signifying a long-lived particle). Searches for this final state at the LHC have been published by the ATLAS, CMS and LHCb Collaborations, for both the prompt and long-lived particle signatures [ATLAS:2015gtp, ATLAS:2019kpx, LHCb:2020wxx, ATLAS:2022atq, CMS:2022fut, CMS:2023jqi, CMS:2024xdq]. Prior to the LHC, an analysis by the DELPHI Collaboration at LEP1 using ~ neutrinos from boson decays provided the strongest direct constraints in the HNL mass range 2–75 GeV [delphi1997].
The search documented in this paper targets the prompt decay of single HNLs produced in boson decays, using the full LHC Run 2 data set (140 fb*-1*) collected by the ATLAS experiment. It covers a wider HNL mass range than the ATLAS prompt decay search performed on a partial Run 2 data sample [ATLAS:2019kpx], and complements the results of the ATLAS search for long-lived HNLs [ATLAS:2022atq]. A CMS search for prompt HNL decays in their full Run 2 data set was published recently in Ref. [CMS:2024xdq].
As illustrated in Figure 1, the mixing of HNLs with SM neutrinos allows them to be produced in boson decays, together with a charged SM lepton. The HNL then decays to a SM charged lepton and neutrino via charged EW currents. This process results in a final state comprising three charged leptons and a neutrino. In this configuration, the cross section, branching fractions and kinematics of the process are determined solely by two parameters: a single active mixing parameter (with ) and the mass of the heavy neutrino, .
The final state arising from the leptonic decay of the virtual boson is not constrained by the mixing of the HNL, so the three leptons can have the same flavour (SF) or two different flavours (DF). The possible charge/flavour combinations of the leptons arise from the fact that the HNL considered here is a Majorana particle. This analysis concentrates on final states with three leptons, two of which have the same flavour and the same electric charge (SC) so as to focus on lepton-number-violating processes. The third lepton is selected to have a different flavour and an opposite charge. Events with three SF leptons are not considered, because final states with opposite-charge (OC) SF leptons suffer from significant background contamination, originating from diboson production or Drell–Yan production. These backgrounds contain e.g. a prompt third lepton (from processes where both bosons decay into leptons, or and processes with leptonic decays) or a fake or non-prompt third lepton (i.e. a hadron faking a lepton, a lepton from a hadron decay, or an electron from a photon conversion that satisfies the prompt-lepton selection criteria presented in Section 4). Such backgrounds are suppressed by requiring the two SF leptons to have the same charge.
2 ATLAS detector
The ATLAS experiment [PERF-2007-01] at the LHC is a multipurpose particle detector with a forward–backward symmetric cylindrical geometry and nearly coverage in solid angle.111ATLAS uses a right-handed coordinate system with its origin at the nominal interaction point (IP) in the centre of the detector and the -axis along the beam pipe. The -axis points from the IP to the centre of the LHC ring, and the -axis points upwards. Polar coordinates are used in the transverse plane, being the azimuthal angle around the -axis. The pseudorapidity is defined in terms of the polar angle as and is equal to the rapidity in the relativistic limit. Angular distance is measured in units of . It consists of an inner detector surrounded by a thin superconducting solenoid providing a \qty2 axial magnetic field, electromagnetic and hadronic calorimeters, and a muon spectrometer. The inner detector covers the pseudorapidity range . It consists of silicon pixel, silicon microstrip, and transition radiation tracking (TRT) detectors. Lead/liquid-argon (LAr) sampling calorimeters provide electromagnetic (EM) energy measurements with high granularity within the region . A steel/scintillator-tile hadronic calorimeter covers the central pseudorapidity range (). The endcap and forward regions are instrumented with LAr calorimeters for EM and hadronic energy measurements up to . The muon spectrometer surrounds the calorimeters and is based on three large superconducting air-core toroidal magnets with eight coils each. The field integral of the toroids ranges between and \qty6.0 across most of the spectrometer. The muon spectrometer includes a system of precision tracking chambers up to and fast detectors for triggering up to . The luminosity is measured mainly by the LUCID-2 [LUCID2] detector, which is located close to the beampipe. A two-level trigger system is used to select events [TRIG-2016-01]. The first-level trigger is implemented in hardware and uses a subset of the detector information to accept events at a rate close to \qty100. This is followed by a software-based trigger that reduces the rate of accepting complete events to \qty1.25 on average depending on the data-taking conditions. A software suite [SOFT-2022-02] is used in data simulation, in the reconstruction and analysis of real and simulated data, in detector operations, and in the trigger and data acquisition systems of the experiment.
3 Data and MC simulations
The results presented in this paper are obtained using collision data collected during Run 2 of the LHC at a centre-of-mass energy of 13\text{,}\mathrm{TeV}$$. The number of interactions per bunch-crossing (pile-up) in this data set ranges from about 8 to 70, with an average of 34 [DAPR-2018-01]. Events recorded when parts of the detector were either not functional, or reserved for detector commissioning or calibration purposes are ignored, leaving 95.6% of the recorded data [DAPR-2018-01] available for analysis. The integrated luminosity of this data set amounts to , with an associated uncertainty of 0.83% [DAPR-2021-01], obtained using the LUCID-2 detector for the primary luminosity measurements, complemented by measurements using the inner detector and calorimeters.
Monte Carlo (MC) event simulations are mainly used to predict the background contributions from SM processes with prompt leptons, as well as those from hypothetical signal processes. Prompt leptons are defined as leptons that are not produced in the decay of a hadron, in the fragmentation of quarks and gluons, or in the conversion of a photon. MC samples are also used to validate the assumptions employed in data-based background estimation methods and to assess systematic uncertainties.
MC events were processed through a detailed simulation of the ATLAS detector [SOFT-2010-01], based on Geant4 [Agostinelli:2002hh]. In some cases, a fast simulation [SOFT-2010-01] relying on a parameterization of the calorimeter response [ATL-PHYS-PUB-2010-013] was used instead. Additional minimum-bias interactions generated by Pythia 8.186 using the NNPDF2.3lo set of parton distribution functions (PDF) [Ball:2012cx] and the A3 set of tuned parameters [ATL-PHYS-PUB-2016-017] were simulated separately and overlaid on each simulated hard-interaction event to account for pile-up effects. The response of the detector and its electronic readout chain was then simulated [SOFT-2010-01], also accounting for effects from interactions in the previous and following bunch-crossings. Reconstructed events are reweighted to reproduce the measured distributions of pile-up interactions in different data-taking periods. Reconstructed objects are further corrected for reconstruction inefficiencies.
Table 1 presents the MC event generators and the corresponding settings used to generate the SM process samples. This includes the selected parton shower algorithms, the tuned parameter sets, and the PDF sets. When using Pythia, the decays of bottom and charm hadrons were simulated using the EvtGen program [Lange:2001uf]. Diboson () processes [ATL-PHYS-PUB-2017-005] encompass all resonant and non-resonant processes of order in the fine-structure constant, including contributions from the Higgs boson, as well as vector-boson scattering/fusion processes at order . Triboson () processes include all relevant resonant and non-resonant processes with up to six charged leptons in the final state at order . The process , with the boson decaying into a pair of same-flavour opposite-charge (SFOC) leptons, was generated for dilepton invariant masses as low as . Samples of simulated and single-top events were also produced. The diagram removal scheme [Frixione:2008yi] was used to account for overlaps between the and samples.
Other processes not specifically listed in the table but considered for background estimates include the , , , , , and processes. All these samples were produced using a fast detector simulation.
The HNL signal MC samples were generated with MadGraph 2.9.3 [Alwall:2014hca] and the NNPDF2.3lo PDF, using the HeavyN model [Alva:2014gxa, Degrande:2016aje] at LO in QCD, which also allows the emission of up to two additional partons. Pythia 8.245 with the A14 set of tuned parameters [ATL-PHYS-PUB-2014-021] was used to model the parton showering, hadronization, and underlying event. Matrix element to parton shower matching was performed using the CKKW-L prescription [Lonnblad:2011xx]. The boson was set to decay exclusively into a muon or electron, and an HNL: or . Only or decays were simulated. Thus, and decays to -leptons or jets are not included.222Using MC simulations it is found that, for -leptons produced in HNL decays, the contribution from leptonic decays of the -lepton after the lepton selection process is less than 5%. A much smaller contribution is expected after the full signal region requirements are applied. Separate samples were generated for the two neutrino flavour mixing parameters, and , as illustrated in Figure 1.
Signal samples were produced individually for HNL masses of 8, 10, 15, 20, 30, 40, 50, 60, and 65 GeV, with the mean proper decay length set to mm for all samples. For the lowest HNL mass samples of 8, 10, and 15 GeV, a decay length of mm was also simulated. Since the low-mass signal samples were generated only for two HNL decay lengths, the signal reconstruction efficiency is computed for other decay lengths by a reweighting of the lifetime distributions of these samples, following the methodology from Ref. [EXOT-2017-25]. Each mm sample is reweighted to multiple increments of decay length: from 0.1 to 0.5 mm in steps of 0.05 mm, and from 0.5 to 1.0 mm in steps of 0.1 mm. A similar reweighting scheme is applied to the mm samples, which are used to validate the intermediate lifetime reconstruction from the mm samples; additional details are in Section 7.
A fast detector simulation is used for all signal samples. The product of the cross section for boson production in TeV collisions and the branching ratio for leptonic boson decay into a single lepton flavour [Atre:2009rg, Gorbunov:2007ak] is taken from the ATLAS measurement in Ref. [ATAS:V_xsec] as nb. The total decay width of the HNL and the corresponding lifetime are computed as detailed in Refs. [Atre:2009rg, Gorbunov:2007ak].
4 Object identification and event reconstruction
Charged-particle tracks within are reconstructed [ATLAS-CONF-2012-042, Salzburger:2015sgq, ATL-PHYS-PUB-2018-002] in the ATLAS inner detector and subsequently combined to create primary vertex candidates that are constructed using at least two tracks [PERF-2015-01, ATL-PHYS-PUB-2015-026]. Among these, the primary vertex is identified as the vertex with the largest , where is the transverse momentum of a track associated with the vertex. The transverse and longitudinal impact parameters of all tracks, denoted by and , are calculated relative to the primary vertex [IDTR-2019-05].
Jets with are reconstructed using the FastJet implementation [Fastjet] of the anti- algorithm [Cacciari:2008gp], with a radius parameter of . The inputs to this algorithm are particle-flow objects [JETM-2018-05, PERF-2015-09], which combine measurements from the inner detector and calorimeters [PERF-2014-07] to enhance the jet energy resolution and increase the jet reconstruction efficiency, particularly at low jet transverse momentum. Calibrations are applied to the jet mass, transverse momentum (), energy scale and energy resolution which include components derived both from simulation and in situ measurements, documented thoroughly in Ref. [JETM-2018-05]. Only jets with 20\text{,}\mathrm{GeV}$$ and are retained. Events containing reconstructed jets induced by calorimeter noise or non-collision backgrounds, identified using criteria similar to those described in Ref. [ATLAS-CONF-2015-029], are removed. Jets originating from pile-up interactions, according to a track-based discriminant (JVT) [PERF-2014-03], are rejected.
Within the inner-detector acceptance, jets containing bottom hadrons () are identified using the DL1r tagging algorithm [FTAG-2019-07], which uses the properties of reconstructed tracks and secondary vertices. The analysis selects true with an estimated efficiency of 85%, as measured in a -enriched event sample [FTAG-2019-07]. The DL1r algorithm is calibrated using a likelihood-based method for each jet type [FTAG-2018-01], and correction factors are applied to the simulated event samples to account for differences between data and simulation in the tagging efficiencies for -jets, -jets, and light-flavour jets.
Electron candidates are reconstructed from clustered energy deposits in the electromagnetic calorimeter matched to an inner-detector track re-fitted to account for bremsstrahlung losses [EGAM-2018-01, EGAM-2021-01]. The electron momentum is determined by a calibration procedure based on boosted decision trees (BDTs) [EGAM-2021-02]. Only the electrons satisfying the requirements and 8\text{,}\mathrm{GeV} are used, and electrons within the transition region $1.37<|\eta|<1.52$ between the barrel and endcap calorimeters are discarded. Electrons from background sources are rejected with a likelihood discriminant [EGAM-2018-01, EGAM-2021-01] built from information about the development of the electron shower in the calorimeter, its compatibility with the matched track, and particle identification in the TRT detector. The electron candidates must satisfy the **?**Loose**?** identification criterion described in Ref. [EGAM-2021-01]. They must also fulfil a requirement on the transverse impact parameter divided by its uncertainty: $|d_{0}|/\sigma(d_{0})<5$. The electron track $z_{0}$ is required to satisfy $|z_{0}\sin\theta|<$0.5\text{\,}\mathrm{m}\mathrm{m}, where is the polar angle of the track. Electron candidates satisfying these requirements are referred to as baseline electrons.
Signal electrons are defined as baseline electrons that satisfy the ?Medium? identification criterion [EGAM-2021-01]. This tighter identification criterion is imposed to further suppress fake electrons arising from misidentified jets, as well as non-prompt electrons from decays of hadrons. The identification requirements are complemented by isolation criteria that reject electrons with significant energy in a cone around the electron candidate, calculated using either non-electron tracks or energy clusters. The efficiency of the applied ?Loose_VarRad? isolation criterion rises with increasing , from 76% at approximately 10\text{,}\mathrm{G}\mathrm{e}\mathrm{V}, as measured using events [EGAM-2021-01]. Signal electrons must not be associated with the vertex of a reconstructed photon conversion in the detector material [EGAM-2018-01, EGAM-2021-01]. To further reduce the photon conversion background in selections with two SC leptons, additional requirements are applied to the signal electrons [Aad:2020klt, EGAM-2018-01]: the electron candidate must not have a displaced vertex reconstructed at a radius 20\text{,}\mathrm{m}\mathrm{m}$$, where the reconstruction uses the track associated with the electron; and the invariant mass of the system formed by the electron track and the closest track at the primary vertex or a conversion vertex is required to exceed . This combined selection is referred to as the photon conversion veto. Electrons that are very likely to have a wrongly assigned charge are identified and subsequently rejected using the ECIDS discriminant [EGAM-2018-01], a BDT based on the properties of the electron track, accepting 98% of simulated decay electrons while rejecting 90% of those with the wrong charge.
Muon candidates are obtained from an iterative track fit applied to inner detector and muon spectrometer hits [MUON-2018-03]. Momentum corrections are applied to compensate for detector misalignments [MUON-2022-01]. Only candidates with and 8\text{,}\mathrm{GeV} are considered, and they must satisfy the **?**Medium**?** quality criteria defined in Ref. [MUON-2018-03]. Muons must fulfil $|z_{0}\sin(\theta)|<$0.5\text{\,}\mathrm{m}\mathrm{m}, to reject muon candidates from pile-up. Candidates satisfying these requirements are referred to as baseline muons. Approximately 0.1% of events contain a muon with poorly estimated momentum, and such events are rejected. Signal muons are defined as baseline muons that also satisfy , along with the ?TightTrackOnly_VarRad? isolation criterion detailed in Ref. [MUON-2018-03], to further suppress fake/non-prompt muons.
To avoid interpreting the same detector signals as multiple objects, an overlap removal procedure is applied to baseline leptons and jets. Jets within of an electron or muon are removed. Leptons that are closer than 9.6\text{,}\mathrm{GeV} to any remaining jet are discarded.
The missing transverse momentum, , and its magnitude, , are reconstructed [ATLAS-CONF-2018-023, JETM-2020-03] from lepton candidates, jets, and reconstructed photons (25\text{,}\mathrm{GeV}$$, ) that meet the ?Tight? identification requirements [EGAM-2021-01]. In addition, a track-based ?soft term? composed of inner detector tracks linked to the primary vertex but excluded from the previously mentioned objects is included. The reconstruction employs its own overlap removal procedure [ATLAS-CONF-2018-023, JETM-2020-03].
Several variables are defined in order to maximize the sensitivity to the HNL signal:
- •
The transverse momentum of the leading lepton (i.e. the highest- signal lepton), denoted by .
- •
The minimum invariant mass of a different-flavour opposite-charge (DFOC) signal lepton pair, , in events with a DFOC lepton pair.
- •
The invariant mass of the SC signal lepton pair, .
- •
The invariant mass of the three signal leptons, .
- •
The size of the interval of masses of the three-lepton and system that results in no real solutions for the reconstructed event kinematics, ; see Section 5 for the details of the computation.
- •
The transverse mass, , computed using the and the leading signal lepton in the event.
- •
The inclusive effective mass, , defined as the scalar sum of the of all jets and leptons, as well as the .
- •
The distance in – between the two SC signal leptons, .
- •
The azimuthal distance between the dilepton system (defined by the leading and sub-leading signal leptons) and the missing transverse momentum.
- •
The number of signal leptons in the event, .
- •
The number of baseline leptons in the event, .
- •
The number of in the event, .
5 Event selection
A combination of dilepton triggers is used to select the events [TRIG-2018-05, ATLAS:2020gty], and the offline lepton candidates are matched to the trigger objects. Offline electrons activating the trigger must have above 18 GeV, while offline muons activating the trigger must have above 9 GeV and 19 GeV in the case of the asymmetric dilepton trigger, and above 15 GeV for the symmetric trigger. For the asymmetric triggers, electrons and muons must have above 8 GeV and 25 GeV (respectively) or 18 GeV and 15 GeV (respectively).
An event preselection is defined by the following criteria. The leading and sub-leading signal leptons must have of at least 20 and 15 GeV, respectively. Events must have at most three baseline leptons, to suppress backgrounds from and events. Moreover, at least one same-flavour same-charge (SFSC) signal lepton pair must be present in the event, to further suppress background processes such as and . Events with three SF signal leptons are rejected. To suppress +jets, , is required to be GeV and must be GeV. The scalar sum of for all signal leptons must be GeV, to reduce backgrounds with fake/non-prompt leptons. To reduce +jets, and backgrounds, must be GeV. Finally, requiring GeV suppresses mainly backgrounds containing a decay (e.g. events).
Signal regions (SRs) are defined by taking each signal sample separately and optimising the expected significance using a range of kinematic selections. The significance is calculated using background expectations computed from MC events, as well as using the full background estimates. In cases where the optimal requirements were close for similar , the corresponding SR definitions were merged to end up with less regions. The SRs can overlap, and in the final stages of the analysis (see Section 8), only the SR with the highest expected sensitivity for a given HNL mass is used.
The SRs are presented in Table 2. They are defined separately for (labelled SRE, ) and (labelled SRM, ) final states with three signal leptons, and (labelled SRM, ) final states with two SFSC signal leptons and one additional baseline electron. The main sensitivity of the analysis comes from the signal regions with three signal leptons (), while the signal two-lepton signal regions ( =2) recover some events where an electron passes the baseline but fails the signal requirements. In the three-lepton SRs, events with three leptons of the same electric charge are removed. In the two-lepton SRs a requirement on the charge of the third baseline lepton is found to have no effect on the SM background, and therefore is not applied. Because some SRs overlap, for a given only one of the three-lepton SRE () is picked to search for the signature, while one three-lepton SRM () and one two-lepton SRM () are used together for the signature.
The requirements on the variable in the SR definition suppress the +jets background. For HNL signal events, the invariant mass of the three leptons and the neutrino should be compatible with the decay of a boson. When the transverse momentum of the neutrino is identified with the vector, the missing -component can be computed by imposing a mass constraint for the three leptons and neutrino system. The resulting quadratic equation has real solutions only if the discriminant, which is itself a quadratic function of , is . In case the discriminant is smaller than zero for GeV, the two values are calculated ( and ) for which the discriminant is zero. In case the discriminant is positive, and are taken to be zero. Large values of are observed for backgrounds such as and , whereas for the HNL signal, much lower values are seen. This is because, for the backgrounds, the invariant mass of the system comprising the three leptons and is typically very far from the -boson mass. Finally, the requirement on the variable in the SR definition in Table 2 helps to reduce backgrounds from sources that have at least one -jet in the decay chain, such as events.
To validate the background estimates in the SRs, the requirements on some of the kinematic variables used to define the SRs are relaxed; the events falling into any SR are subsequently removed from the VRs ensuring no overlap. These regions, referred to as validation regions (VRs), are defined in Table 3, and have a background composition similar to that in the signal regions. The level of agreement between the observed data and the estimated background in these validation regions is shown in Figure 3 and discussed in Section 6.4.
6 Background estimation
The background contributions to the final states in this analysis can be categorized into three groups: SM processes that produce genuine prompt leptons in the final state; SM processes that result in same-charge lepton pairs due to the misidentification of the charge of one of the electrons; and SM processes that result in SC pairs or three leptons due to fake/non-prompt leptons. The estimation methods for these categories are outlined in the following three subsections. MC simulations are used for processes with three prompt leptons, while the other two categories rely on data events selected with specific lepton criteria.
6.1 SM processes with three prompt leptons
Due to the veto present in most of the signal regions, as well as the low and requirements applied during the event preselection, processes that include top quarks are highly suppressed. As a result, the largest prompt-lepton backgrounds in the SRs come from the process, with both bosons decaying into leptons. The and processes contribute to the prompt-lepton background category when they decay to -leptons which subsequently decay to light leptons. To avoid double-counting the sources of fake/non-prompt-lepton background, events with fake/non-prompt leptons are removed from MC simulations by using generator-level lepton information. The contributions from these SM background processes are estimated by normalizing the MC samples to their theoretical cross sections.
6.2 Electrons with misidentified charge
The charge of an electron is given by the sign of the curvature of its track in the ATLAS inner detector. However, if the electron radiates a photon that converts and multiple tracks are reconstructed in the inner detector, an incorrect charge may be attributed ( ?charge-flip?). The probability for signal electrons to undergo a charge-flip ranges between and , and varies as a function of and , as illustrated in Ref. [EGAM-2018-01].
In this analysis, the charge-flip background is found to be negligible in all signal regions. However, charge-flip contributes to some control regions used in Section 6.3 and in certain two-signal-lepton selections used for the background validation presented in Section 6.4. The contributions to the and final states are estimated by selecting data events containing OC leptons and weighting them according to the known values. These values are derived from simulated events and are adjusted by correction factors to correct for known mismodelling. The correction factors and their associated uncertainties, assumed to be process-independent, are obtained [EGAM-2018-01] from comparisons of OC and SC dielectron pair rates observed in decays in data and MC events. These factors are found to lie within 20% of unity, regardless of the electron and .
The dominant uncertainties in the predicted charge-flip yields arise from the measurement of the corrections, which is statistically limited and also influenced by significant background contamination [EGAM-2018-01]. The predicted yields have a typical uncertainty of 40%.
6.3 Fake and non-prompt leptons
Fake/non-prompt leptons [EGAM-2019-01] are defined as either a hadron faking a lepton, a lepton from a hadron decay, or an electron from a photon conversion. When combining this fake/non-prompt-lepton candidate with one or two prompt leptons in an event, a same-charge lepton-pair or three-lepton signature may be formed. According to MC simulation, fake-lepton or non-prompt-lepton background in the SRs defined with two SC signal leptons comes primarily from +jets processes, with a small contribution from events. In the SRs defined with three signal leptons, the main background sources are +jets and processes. Backgrounds from these sources are estimated using the data-based matrix method.
The matrix method [D0:1999qdf, EGAM-2019-01, SUSY-2020-27] leverages the differing efficiencies of identification and isolation criteria when applied to fake/non-prompt leptons instead of prompt leptons. Within a specific region of interest (such as the SRs), data events are selected using lepton selection criteria that are looser than those defining the signal leptons described in Section 4. These events are subsequently categorized according to the number of signal leptons they contain. A fully determined system of linear equations can then be constructed [EGAM-2019-01, SUSY-2020-27], relating the counts of such categorized events to the unknown numbers of events containing only prompt leptons, exactly one fake/non-prompt lepton, and so forth. The coefficients in these equations are functions of the probabilities and , representing the probabilities that loose prompt leptons or fake/non-prompt leptons, respectively, also satisfy the signal lepton criteria.
The sample of loosely selected leptons comprises the subset of baseline leptons after overlap removal that also satisfy a requirement for muons, and the ECIDS criterion for electrons along with all selections aimed at removing the electrons due to photon conversions, as detailed in Section 4. The estimated contribution of charge-flip electrons described in Section 6.2 is subtracted as detailed in Refs. [EGAM-2019-01, SUSY-2018-09, SUSY-2020-27].
The probabilities are calculated with simulated events containing semileptonic top-quark decays, as recommended in Ref. [EGAM-2019-01]. These MC-based measurements are corrected [EGAM-2019-01] for known mismodelling by applying the representative scale factors given in Refs. [EGAM-2021-01, MUON-2022-01]. For both muons and electrons, is found to increase with , from around 75% at to 99% at . A dependency on is accounted for, although it is observed to be weak. For electrons, systematic uncertainties are as large as at low and decrease to below in the GeV region. For muons, systematic uncertainties vary between and in the GeV range, decreasing to less than in higher ranges. For both electrons and muons, the systematic uncertainties in are dominated by the uncertainties associated with the scale factors in Refs. [EGAM-2021-01, MUON-2022-01].
To measure the probabilities , the approach presented in Refs. [EGAM-2019-01, SUSY-2018-09, SUSY-2020-27] is used. Data control regions enriched in fake/non-prompt leptons are defined in order to select events containing one or two prompt leptons and a fake or non-prompt lepton that together form a same-charge pair. In such regions, signal contamination is reduced to a negligible amount by applying the requirement GeV. The measurement is done within the range 75\text{,}\mathrm{G}\mathrm{e}\mathrm{V} for electrons and $8<p_{\text{T}}<$40\text{\,}\mathrm{G}\mathrm{e}\mathrm{V} for muons. Separate measurements are made for events with two SC signal leptons and events with three signal leptons, to account for the leading contributors to the fake/non-prompt-lepton background in the SRs.
For electrons, is found to increase with , varying between 5% and 30%. For muons, is found to decrease with , varying between 6% and 20% in the most relevant range of 40\text{,}\mathrm{G}\mathrm{e}\mathrm{V}$$. In the SRM3, SRM4 and SRM5 signal regions, which select events containing a third baseline lepton in addition to the pair of same-charge signal leptons, the fake/non-prompt-lepton background estimation makes the assumption [SUSY-2020-27] that the fake/non-prompt lepton is part of the SC pair.
The same conservative systematic uncertainties as in Refs. [SUSY-2018-09, SUSY-2020-27] are used to account for contamination from prompt same-charge leptons in the measurement regions and for the assumption that and can be used outside of the regions in which they are measured. This procedure leads to uncertainties in ranging from at lower to 50% for high- leptons of both flavours. These systematic uncertainties combined with statistical uncertainties in the measurements [EGAM-2019-01] are taken as systematic uncertainties in the predicted fake/non-prompt-lepton yields, and are between 28% and 43% in the signal regions.
6.4 Validation of the background estimates
To check the validity and robustness of the background estimates, observed data are compared with the predicted background after the event preselection and excluding events in the signal regions presented in Section 5. Figure 2 shows this comparison across different lepton-flavour and -multiplicity combinations, with generally good agreement confirming the validity of the matrix method in estimating the fake/non-prompt-lepton background as well as the methods used to estimate the electron charge-flip and prompt SM backgrounds. The signal contamination is negligible.
Figure 3 shows the results in the validation regions, defined in Table 3 to be closer to the signal regions by applying tighter requirements on the kinematic variables than at preselection level. The observed data and expected background agree in all VRs within 2 sigma, both when considering all sources of uncertainties, and only the statistical uncertainties. A signal at the previous exclusion bounds presented in Ref. [ATLAS:2019kpx] would lead to contamination in the validation regions between 4% and 13%, with the largest values reached in VRM2.
7 Systematic uncertainties
Several sources of systematic uncertainty are accounted for in the analysis. The uncertainty in the integrated luminosity of the combined Run 2 data set is [DAPR-2021-01], and affects the normalization of all simulated samples. Differences between the pile-up distributions in MC simulation and data are minimized by means of MC event reweighting, and a corresponding uncertainty is computed by increasing and decreasing the mean number of simultaneous interactions by 4%. The uncertainties related to the overall electron selection efficiency arise from the electron energy scale and resolution, and the trigger, reconstruction, identification and isolation efficiencies, and are obtained from Refs. [EGAM-2021-01, TRIG-2018-05]. The muon-related uncertainties arise from the muon momentum scale and resolution, and the trigger, reconstruction, identification and isolation efficiencies, as well as the track-to-vertex matching, and are obtained from Refs. [MUON-2018-03, TRIG-2012-03]. Uncertainties in the jet energy scale (JES) are derived by combining information from test-beam data, LHC collision data and MC simulation [JETM-2018-05]. Uncertainties in the jet energy resolution (JER) are estimated as a function of the jet transverse momentum and rapidity using dijet events [JETM-2018-05]. Uncertainties related to the jet vertex tagger (JVT) [ATL-PHYS-PUB-2019-026] and flavour tagging [FTAG-2018-01, FTAG-2020-08, FTAG-2019-02] are applied. Uncertainties in the value are estimated by propagating the uncertainties in the energy or momentum scale for each of the objects entering the calculation, as well as the uncertainties in the soft-term resolution and scale [ATLAS-CONF-2018-023]. All the above uncertainties are treated as fully correlated among the analysis signal regions and the physics processes considered.
The systematic uncertainty in the signal production cross section is estimated to be 3.7%, dominated by the uncertainty in the measured boson production cross section [ATAS:V_xsec]. Systematic uncertainties arising from the signal’s quadratic dependence on the mixing angle and the phase-space factors in the HNL decay are negligible, and therefore not considered in this analysis. Acceptance uncertainties arising from the renormalization scale (), factorization scale () and PDF scale choices are evaluated by either halving or doubling the values of these scales. PDF uncertainties, including the effect of uncertainty, are assessed by following the PDF4LHC15 prescription [Butterworth:2015oua]. A uniform 18% uncertainty is applied to the low-mass HNL signal points to take account of uncertainties in the lifetime reweighting technique discussed in Section 8. This is evaluated by comparing the efficiency predicted by the reweighted mm sample with that from the reweighted mm sample.
The uncertainties associated with backgrounds from sources such as electrons with misidentified charge and fake or non-prompt leptons are discussed in Section 6. For background contributions from / production, an overall uncertainty of 60% are estimated using the method described in Ref. [STDM-2018-03]. For , and production, an overall uncertainty of 50% is assigned to each process to account for cross-section and modelling uncertainties [SUSY-2020-27]. An overall uncertainty of 50% is assigned to the rare processes , , , , and .
In all signal regions, the dominant sources of uncertainty are the statistical and systematic uncertainties in the estimation of the fake/non-prompt-lepton background. Subdominant sources include the theoretical systematic uncertainties of the and backgrounds. The statistical uncertainties in the MC background yields range from 19% to 30% in the SRE signal regions and from 12% to 22% in the SRM signal regions.
8 Results
The event yields in the various signal regions are presented in Section 8.1. In Section 8.2, discovery fits are performed in order to quantify any signal-like excess above the background prediction. With no significant excesses observed, the results are interpreted in Section 8.3 as limits on the mixing parameters.
8.1 Event yields in the signal regions
The observed number of events in each SR along with the background predictions and uncertainties are shown in Table 4. The contribution from the fake/non-prompt-lepton background dominates in all the SRs. As mentioned in Section 5, the signal regions partially overlap in the following groups: SRE, ; SRM, ; and SRM, . Therefore, the same data events can be found in more than one signal region, e.g. seven data events are selected in both SRE1 and SRE2, and five data events are selected in both SRE1 and SRE3. The largest excess of observed events over the background prediction, 1.7 standard deviations, appears in SRE3. When counting the events present in all the SRs (without double-counting), a total of 44 data events and predicted background events are obtained, corresponding to an excess of 1.7 standard deviations.
8.2 Discovery fit results
A discovery fit is performed separately for each signal region defined in Section 5 using a profile-likelihood-ratio test, as detailed in Ref. [Baak:2014wma]. The likelihood function is the Poisson probability for the observed number of events given the sum of the predicted signal and background yields, . The value of depends on the signal strength (). In addition, both and depend on a set of nuisance parameters () which include both the systematic and statistical uncertainties of the predicted signal and background yields [Cranmer:2012sba]. Each nuisance parameter has an associated constraint term. For systematic uncertainties, this constraint term is a Gaussian. Statistical uncertainties, resulting from the limited size of the simulated samples, are assessed using the Beeston–Barlow ?lite? technique [Conway:2011in], which employs a Poisson constraint. Systematic uncertainties are treated as correlated. The fitting procedure maximizes the likelihood by varying the signal strength and nuisance parameters to extract their best-fit values.
The test statistic is evaluated with the RooFit package [RooFit, Baak:2014wma, TREX_2025]. Here and are the parameter values that maximize the likelihood function, and are the parameter values that maximize the likelihood function for a fixed value of . The discovery fit for each SR is used to assess whether the observed data event yield is incompatible with the background-only hypothesis. For this, is calculated with while the fit allows to vary to account for the possible presence of a signal in the data. A corresponding distribution of is generated using the predicted event model under the background-only hypothesis with the asymptotic formulae given in Ref. [Cowan:2010js]. From this distribution a -value is calculated using the value derived from the observed data. This -value reflects the probability that the observed data event yield is compatible with the background-only hypothesis.
The discovery fit results are shown in Table 5. Most signal regions show moderate tension between the observed data and the background prediction. The difference is most notable in the SRE signal regions.
8.3 Model-dependent limits
In the absence of a significant excess over the SM expectation, model-dependent exclusion limits are derived using the CLs method [Junk:1999kv, Read:2002hq] with the statistical tools described in Section 8.2. Limits are placed on the mixing parameters and for the HNL mass range 8–65 GeV. For a given signal scenario, values of the mixing-parameter strengths () yielding , where CLs is computed using the asymptotic approximation [Cowan:2010js], are excluded at 95% CL. For the observed limit, the CLs is computed using the test statistic calculated with the observed data set, while for the expected limit the CLs is computed using the test statistic calculated from an Asimov data set with nuisance parameters set to those extracted from a background-only fit to data [Baak:2014wma]. For each signal mass point, the signal region that minimizes the expected limit is used to quote the observed and expected upper limits on . For the signal channel, the most sensitive two-lepton and three-lepton signal regions are combined.
The limits placed on the and mixing parameters as a function of the HNL mass are presented in Figure 4. For the signal channel, the SRE1 signal region is the most sensitive one for HNL masses GeV. The SRE2 signal region is then used up to 30 GeV, while the SRE3 signal region is used for the 40 GeV HNL mass point. Finally, SRE4 is used for the results in the HNL high mass region ( GeV). For the signal channel, SRM1 is the most sensitive three-lepton signal region in the HNL low mass range ( GeV), while the SRM2 signal region is used in the HNL high-mass region. The SRM3 and SRM4 two-lepton signal regions are used in the HNL low mass range: SRM3 for the GeV and 20 GeV mass points, and SRM4 for the 15, 30, and 40 GeV mass points. SRM5 is used for HNL masses GeV.
The analysis excludes values above in the mass range 15 to 30 GeV, and values above in the range 20 to 30 GeV. Upper limits of and are set on and across wider mass ranges of 15 to 50 GeV and 15 to 40 GeV, respectively.
At higher masses, the sensitivity of the analysis decreases due to kinematic suppression of HNL production in boson decay. The lifetime of the HNL is proportional to and therefore increases at low HNL masses, resulting in efficiency loss due to the impact-parameter criteria (see Section 4). As discussed in Section 3, this efficiency loss is evaluated by reweighting the lowest HNL mass signal samples generated with mm to any intermediate value of . For each nominal and intermediate HNL decay length, a limit on the mixing parameter is derived. These limits are then interpolated using a cubic spline for each low mass point, which is subsequently used to extract the final limit on the mixing parameter. As a result of the increasing rate of efficiency loss at lower HNL masses, the number of predicted signal events falls more rapidly with decreasing mixing parameters, leading to narrower uncertainty bands in the 8–15 GeV mass range.
The results of this analysis supersede those of the previous ATLAS search based on a partial Run 2 data sample [ATLAS:2019kpx]. They also complement the results of the ATLAS analysis addressing long-lived HNLs [ATLAS:2022atq], by including the region from 20 to 65 GeV in the covered HNL mass range, as well as the results of the ATLAS displaced vertex search at lower masses [EXOT-2022-12], and the ATLAS two leptons plus two or more jets [EXOT-2012-24] and vector-boson fusion two same-sign leptons [EXOT-2020-06, EXOT-2023-16] analyses at higher masses.
9 Conclusion
A search for heavy neutral leptons (HNLs) produced in leptonic decays of on-shell bosons is performed using data recorded by the ATLAS detector at the LHC in collisions at a centre-of-mass energy of 13\text{,}\mathrm{TeV}$$, corresponding to an integrated luminosity of 140 fb*-1*. The search focuses on the HNL decay into two charged leptons and a neutrino, resulting in a final state with three prompt charged leptons (either muons or electrons). Exploiting the Majorana nature of the HNL to suppress SM background, the final state is required to have a same-flavour, same-charge lepton pair. To increase the efficiency, events in which the third lepton has lower quality (referred to as two-signal-lepton events) are also accepted.
The observed event yields are consistent with the background expectations. The results are presented as limits on the HNL mixing parameter as a function of HNL mass between 8 and 65 GeV. Two cases are considered, with the HNL mixing with either an electron neutrino (with mixing parameter ) or a muon neutrino (with mixing parameter ). The analysis excludes values above and values above in the full mass range of 8–65 GeV. The strongest constraints are placed on heavy-neutral-lepton masses in the range 15–30 GeV of and .
Acknowledgements
We thank CERN for the very successful operation of the LHC and its injectors, as well as the support staff at CERN and at our institutions worldwide without whom ATLAS could not be operated efficiently.
The crucial computing support from all WLCG partners is acknowledged gratefully, in particular from CERN, the ATLAS Tier-1 facilities at TRIUMF/SFU (Canada), NDGF (Denmark, Norway, Sweden), CC-IN2P3 (France), KIT/GridKA (Germany), INFN-CNAF (Italy), NL-T1 (Netherlands), PIC (Spain), RAL (UK) and BNL (USA), the Tier-2 facilities worldwide and large non-WLCG resource providers. Major contributors of computing resources are listed in Ref. [ATL-SOFT-PUB-2025-001].
We gratefully acknowledge the support of ANPCyT, Argentina; YerPhI, Armenia; ARC, Australia; BMWFW and FWF, Austria; ANAS, Azerbaijan; CNPq and FAPESP, Brazil; NSERC, NRC and CFI, Canada; CERN; ANID, Chile; CAS, MOST and NSFC, China; Minciencias, Colombia; MEYS CR, Czech Republic; DNRF and DNSRC, Denmark; IN2P3-CNRS and CEA-DRF/IRFU, France; SRNSFG, Georgia; BMFTR, HGF and MPG, Germany; GSRI, Greece; RGC and Hong Kong SAR, China; ICHEP and Academy of Sciences and Humanities, Israel; INFN, Italy; MEXT and JSPS, Japan; CNRST, Morocco; NWO, Netherlands; RCN, Norway; MNiSW, Poland; FCT, Portugal; MNE/IFA, Romania; MSTDI, Serbia; MSSR, Slovakia; ARIS and MVZI, Slovenia; DSI/NRF, South Africa; MICIU/AEI, Spain; SRC and Wallenberg Foundation, Sweden; SERI, SNSF and Cantons of Bern and Geneva, Switzerland; NSTC, Taipei; TENMAK, Türkiye; STFC/UKRI, United Kingdom; DOE and NSF, United States of America.
Individual groups and members have received support from BCKDF, CANARIE, CRC and DRAC, Canada; CERN-CZ, FORTE and PRIMUS, Czech Republic; COST, ERC, ERDF, Horizon 2020, ICSC-NextGenerationEU and Marie Skodowska-Curie Actions, European Union; Investissements d’Avenir Labex, Investissements d’Avenir Idex and ANR, France; DFG and AvH Foundation, Germany; Herakleitos, Thales and Aristeia programmes co-financed by EU-ESF and the Greek NSRF, Greece; BSF-NSF and MINERVA, Israel; NCN and NAWA, Poland; La Caixa Banking Foundation, CERCA Programme Generalitat de Catalunya and PROMETEO and GenT Programmes Generalitat Valenciana, Spain; Göran Gustafssons Stiftelse, Sweden; The Royal Society and Leverhulme Trust, United Kingdom.
In addition, individual members wish to acknowledge support from CERN: European Organization for Nuclear Research (CERN DOCT); Chile: Agencia Nacional de Investigación y Desarrollo (FONDECYT 1230812, FONDECYT 1240864, Fondecyt 3240661); China: Chinese Ministry of Science and Technology (MOST-2023YFA1605700, MOST-2023YFA1609300), National Natural Science Foundation of China (NSFC - 12175119, NSFC 12275265); Czech Republic: Czech Science Foundation (GACR - 24-11373S), Ministry of Education Youth and Sports (ERC-CZ-LL2327, FORTE CZ.02.01.01/00/22_008/0004632), PRIMUS Research Programme (PRIMUS/21/SCI/017); EU: H2020 European Research Council (ERC - 101002463); European Union: European Research Council (BARD No. 101116429, ERC - 948254, ERC 101089007), European Regional Development Fund (SMASH COFUND 101081355, SLO ERDF), Horizon 2020 Framework Programme (MUCCA - CHIST-ERA-19-XAI-00), European Union, Future Artificial Intelligence Research (FAIR-NextGenerationEU PE00000013), Italian Center for High Performance Computing, Big Data and Quantum Computing (ICSC, NextGenerationEU); France: Agence Nationale de la Recherche (ANR-21-CE31-0022, ANR-22-EDIR-0002); Germany: Baden-Württemberg Stiftung (BW Stiftung-Postdoc Eliteprogramme), Deutsche Forschungsgemeinschaft (DFG - 469666862, DFG - CR 312/5-2); China: Research Grants Council (GRF); Italy: Istituto Nazionale di Fisica Nucleare (ICSC, NextGenerationEU), Ministero dell’Università e della Ricerca (NextGenEU 153D23001490006 M4C2.1.1, NextGenEU I53D23000820006 M4C2.1.1, NextGenEU I53D23001490006 M4C2.1.1, SOE2024_0000023); Japan: Japan Society for the Promotion of Science (JSPS KAKENHI JP22H01227, JSPS KAKENHI JP22H04944, JSPS KAKENHI JP22KK0227, JSPS KAKENHI JP24K23939, JSPS KAKENHI JP25H00650, JSPS KAKENHI JP25H01291, JSPS KAKENHI JP25K01023); Norway: Research Council of Norway (RCN-314472); Poland: Ministry of Science and Higher Education (IDUB AGH, POB8, D4 no 9722), Polish National Science Centre (NCN 2021/42/E/ST2/00350, NCN OPUS 2023/51/B/ST2/02507, NCN OPUS nr 2022/47/B/ST2/03059, NCN UMO-2019/34/E/ST2/00393, UMO-2022/47/O/ST2/00148, UMO-2023/49/B/ST2/04085, UMO-2023/51/B/ST2/00920, UMO-2024/53/N/ST2/00869); Portugal: Foundation for Science and Technology (FCT); Spain: Ministry of Science and Innovation (MCIN & NextGenEU PCI2022-135018-2, MICIN & FEDER PID2021-125273NB, RYC2019-028510-I, RYC2020-030254-I, RYC2021-031273-I, RYC2022-038164-I); Sweden: Carl Trygger Foundation (Carl Trygger Foundation CTS 22:2312), Swedish Research Council (Swedish Research Council 2023-04654, VR 2021-03651, VR 2022-03845, VR 2022-04683, VR 2023-03403, VR 2024-05451), Knut and Alice Wallenberg Foundation (KAW 2018.0458, KAW 2022.0358, KAW 2023.0366); Switzerland: Swiss National Science Foundation (SNSF - PCEFP2_194658); United Kingdom: Leverhulme Trust (Leverhulme Trust RPG-2020-004), Royal Society (NIF-R1-231091); United States of America: U.S. Department of Energy (ECA DE-AC02-76SF00515), Neubauer Family Foundation.
