How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
ATLAS search for compressed higgsinos with low-momentum tracks
ATLAS Run-2 searches for electroweak higgsino-like states with compressed mass splittings, interpreted in the collaboration's stated simplified model. The reported selections, compatibility statements, and 95% confidence-level limits do not establish a supersymmetry-breaking vacuum or constrain spectra outside that model.
Setup
ATLAS searched for direct electroweak pair production of higgsino-like states in of collisions at TeV recorded from 2015 through 2018. A higgsino is the fermionic superpartner of a Higgs field. The simplified model is R-parity conserving and takes the lightest neutralino to be stable and the lightest supersymmetric particle (LSP); the lightest chargino and next neutralino are nearby in mass. Define the chargino splitting and neutralino splitting . The benchmark fixes , or equivalently places halfway between the neutralino masses. “Compressed” here means these mass differences are small relative to the sparticle masses.
The displaced-track search targets – GeV, for which the model predicts with a chargino mean proper decay length of order – mm; the charged pion can therefore be reconstructed as a low-momentum track with nonzero transverse impact parameter. The one-lepton-plus-one-track (11T) search targets the prompt decay , with or . Its parameterised neural network uses and is evaluated at , , , , , and GeV; plotted limits are expressed against using . For 11T, ATLAS simulates and production; the displaced-track samples additionally include and . Identical-neutralino pair modes are omitted because their cross sections are negligible in the higgsino-like limit.
The apparatus used an inner tracking detector, solenoid, electromagnetic and hadronic calorimeters, and muon spectrometer. Events were recorded with missing-transverse-momentum triggers, supplemented by single-electron or single-muon triggers in background-control samples. In beam-axis coordinates, is momentum transverse to the beam, is the polar angle, the azimuth, and pseudorapidity is ; the angular distance used for object matching is . Here is the negative vector sum of the transverse momenta of the preselected electrons, muons, jets, and photons plus a soft term formed from primary-vertex tracks not associated with those objects; . The soft term is chosen to reduce pile-up dependence, and the object terms use the calibrated lepton and jet momenta. An ISR jet is a reconstructed jet from initial-state QCD radiation that recoils against the produced higgsino system. ATLAS does not identify a jet's ISR origin event by event: the search selects the recoil topology using high and a high- leading jet.
Setup references
ATLAS full paper, §§1–4: model, data sample, detector, triggers, and definitions.
Operational measurement model and calibration language: Measurement models and additive-error observation models.
Procedure
Charged-particle tracks are built from inner-detector hits, with track kinematics defined at the perigee (the point of closest approach to the beam line); tracks down to GeV are reconstructed. The primary vertex is the reconstructed interaction vertex with the largest sum of squared associated-track transverse momenta. Electrons and muons are selected with channel-specific identification and isolation criteria. Small-radius jets are anti- jets with radius parameter formed from particle-flow objects. Preselected jets have calibrated GeV and ; tight analysis jets satisfy . To suppress pile-up, jets with GeV and pass the tight jet-vertex-tagger requirement. A -tagged jet is a preselected jet with GeV and classified by the DL1r algorithm as likely to contain a -hadron decay; its working point has 85% efficiency for simulated jets. Simulation is reweighted with electron, muon, -tag, and trigger efficiency scale factors, where a scale factor is the data-measured efficiency divided by its simulated value. For a track impact parameter , its significance is , where is its estimated resolution; a secondary vertex is a reconstructed decay vertex displaced from the primary interaction vertex. The missing-momentum trigger is above 95% efficient for offline-calibrated GeV.
For 11T, tracks with GeV and are preselected for electron identification; the muon-track candidates use GeV and . Separate neural-network taggers identify low-momentum electron tracks and muon tracks from the tracker and calorimeter information. ATLAS uses tag-and-probe calibration, in which one identified object tags an event and a paired object probes the identification efficiency, for electron tracks in a sample of events, using between the candidate and photon to separate real low-momentum electrons from misidentified tracks, and calibrates muon-track identification with events, fitting the dimuon mass with Crystal Ball and quadratic components. In each case the efficiency scale factor is the measured data efficiency divided by the simulated efficiency; the paper applies these factors to signal simulation and minor simulated backgrounds in this channel.
The recoil and selection procedure uses the calibrated defined above. Because the two invisible LSPs can have nearly cancelling transverse momenta when the higgsino pair is produced without recoil, the selected high- event topology requires a hard jet from initial-state radiation. The displaced-track channel requires GeV, a central leading jet with GeV and , one to four jets with GeV, , no preselected lepton in the signal region, and at least one track. Here is the azimuthal angle between the indicated transverse vectors. Candidate tracks have GeV and a displaced transverse impact parameter , the shortest transverse-plane distance from the track to the beam line. An event-level classifier uses global event kinematics; a track-level classifier uses each track's kinematics, impact-parameter significance, isolation, and secondary-vertex information. The track with the highest track score is retained. Four mutually exclusive signal regions are defined by thresholds on the event and track scores.
The 11T channel requires GeV, at least one jet with GeV, no -tagged jet with GeV, exactly one tight electron or muon with GeV or GeV, respectively, and at least one additional low-momentum track. The track and lepton are selected as an opposite-charge pair consistent with decay. A parameterised neural network (pNN) maps the event's 16 kinematic inputs and the chosen value to a signal-like score between zero and one; a second low- lepton-track score rejects hadrons and fake tracks. Signal-region requirements include pNN score above , missing-momentum-to- azimuthal separation below , and lepton-track identification-score thresholds above for electrons or for muons.
The displaced-track background model treats +jets and +jets as leading sources, with diboson and +jets also included. Simulation indicates that about 40% of the selected candidate tracks in these signal regions arise from pile-up. A control region (CR) is an event selection used to constrain a background estimate; the CRs are defined to enrich a background while retaining kinematic similarity to the signal region (SR). Mutually orthogonal CR-DT-1, CR-DT-2, and CR-DT-11 samples use single-lepton triggers and missing momentum with the selected leptons treated as invisible; their lepton multiplicity separates , , and diboson components. A low-missing-momentum CR supplies a track reweighting correction. The control sample constrains the normalisation under the stated transfer assumption. A simultaneous fit to the CR kinematic distributions determines event normalisation factors and track-level reweighting factors. A validation region (VR) is a separate selection used to check these corrections without using it to set the background normalisations for the target SR. The DT event VR has high event-classifier score but vetoes high track score; the DT track VR has high track score but low event score and moderate of 325–500 GeV; the DT-muon VR adds a tight muon and missing momentum with the muon treated as invisible; and the DT- VR raises the track threshold to 8 GeV to test modelling.
For 11T, the dominant background is +jets with a genuine selected lepton and a fake low- lepton-track; smaller prompt-track backgrounds are estimated from simulation. A fake track is one that passes the candidate selection but is not a prompt lepton from the signal decay. The high-score signal-like () region requires pNN score and ; the low-score () region has pNN score . In each lepton channel and track- bin, ATLAS subtracts simulated prompt-track yields from the low-pNN pass-ID and fail-ID control regions and defines a transfer factor as the remaining pass-track-ID yield divided by the fail-track-ID yield. These transfer factors are measured separately in track- bins: , , , , and GeV for electrons, and , , , and GeV for muons. They are applied to the fail-ID yield in the region. A VR with same-sign lepton-track pairs, a different-flavour VR, and a high- VR test the estimate in related but distinct selections. These are analysis procedures; they do not derive the observed collision data.
For background comparisons and limits, ATLAS uses a profile likelihood. A signal-strength parameter scales the predicted signal yield; at each tested value, the likelihood for the observed region counts is maximised over nuisance parameters. The systematic sources have Gaussian-distributed constraints with the correlations specified by the collaboration; statistical contributions from finite simulation samples and control-region data are also included, without asserting a common constraint distribution for them. For a parametric family with densities with respect to a fixed dominating measure , the likelihood at observed data is viewed as a function of ; it is not a probability distribution on parameter values. The asymptotic test uses the ratio of the signal-plus-background and background-only test-statistic tail probabilities; signal hypotheses with are reported as excluded at 95% confidence level. The item records the published procedure but does not reconstruct the event likelihood, efficiency maps, nuisance covariance, or limits. “Observed” results use the collision data; “expected” limits are the background-only sensitivity.
Procedure references
ATLAS full paper, §§5–9, especially §§6–8 and the statistical interpretation in §9.
Likelihoods for observed data: Likelihood functions for a dominated parametric family.
Statistical tests and their rejection regions: Statistical tests, rejection regions, power functions and size.
Confidence sets and the meaning of coverage levels: Confidence sets and their coverage level.
Observations
The collaboration reports no significant excess over the Standard Model prediction in either search; validation-region observed/predicted differences are below , and all fitted signal-region deviations are below , with the largest displaced-track deficit and the largest 11T excess . The observed displaced-track contour reaches approximately GeV at GeV, while the observed 11T contour reaches approximately GeV at GeV. The combined observed result excludes chargino masses below GeV at 95% confidence level for from to GeV in the stated simplified model. Figure 15 also shows expected 95% confidence-level contours. The displaced-track observed contour extends beyond its expected contour where the reported counts fluctuate low; the 11T observed contour is close to expected after a small deficit and excess largely cancel. For 11T, the expected envelope selects the best expected among the six configurations at each signal mass and is driven mainly by the muon channel. The expected mass contour is reported graphically and is not numerically digitized here. These are collaboration-reported statistical inferences conditional on the data, likelihood, detector model, selections, and simplified higgsino assumptions.
Observations references
ATLAS full paper, §9, Fig. 15, and §10.
Confidence-set coverage terminology: Confidence sets and their coverage level.
Uncertainty
The reported integrated-luminosity uncertainty is 0.83%. Systematic uncertainties in detector response, background modelling, and signal modelling enter the likelihood as Gaussian-constrained nuisance parameters with the collaboration's correlations. Statistical uncertainties from finite simulation samples and control-region data are also included; this account does not assign a common constraint distribution to them. Jet energy scale and resolution uncertainties are evaluated versus jet and using data/MC balance studies in dijet and +jets events. Missing-momentum uncertainty propagates object energy/momentum variations and the scale and resolution of the soft term; additional sources include pile-up modelling, tracking efficiency, track impact-parameter resolution, lepton identification/isolation, and low- lepton-track calibration. The displaced-track background normalisation and track-reweighting factors are fitted with their control-region statistical uncertainties; the 11T fake-track transfer factors carry control-region statistical and non-closure uncertainties. The paper reports fitted deviations below . This account does not recompute counts, efficiencies, nuisance correlations, or any confidence limits.
Uncertainty references
Likelihood and nuisance-parameter framework: Likelihood functions for a dominated parametric family.
Interpretation
The reported limits constrain only the electroweak higgsino-like simplified spectra, stable-neutralino and decay assumptions, the relation , production modes, selections, detector response, background model, and likelihood used by ATLAS. They do not establish or rule out supersymmetry as a framework, establish supersymmetry breaking, or constrain spectra and decay patterns outside those assumptions. The reported 95% confidence level labels the collaboration's frequentist exclusion procedure; it is not a posterior probability that a model is true or false, nor a general exact-coverage theorem.
Interpretation references
The 95% confidence-set convention: Confidence sets and their coverage level.
Supersymmetry-breaking and collider-inference scope: qftx-susy-breaking-and-phenomenology.