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 tau, jets, and missing-momentum squark and gluino search
ATLAS search for R-parity-conserving simplified squark and gluino models in tau, jets, and missing-transverse-momentum final states. The reported contours and local compatibility value apply only to the source's stated spectra, branching fractions, and analysis.
Setup
ATLAS searches for pair-produced gluinos or first- and second-generation left-handed squarks in final states with hadronically decaying tau leptons, jets, and missing transverse momentum. The dataset combines of proton-proton data from 2015–2018 with at from 2022–2023. The three orthogonal channels require (1) exactly one hadronically decaying tau and no electron or muon, (2) exactly one hadronic tau and at least one electron or muon, or (3) at least two hadronic taus. Events are selected using missing-transverse-momentum triggers with thresholds between 70 and 115 GeV; their reported efficiencies are typically 80–90% and about 40% in the most compressed signal region.
The interpretation adopts -parity-conserving simplified models, where is a conserved quantum number, and denote baryon and lepton number, denotes spin, Standard Model particles are even, and their superpartners are odd. The gluino may decay through a virtual squark; squark decays proceed through the lightest chargino or next-to-lightest neutralino. The tau-slepton and tau-sneutrino are co-next-to-lightest supersymmetric particles. The lightest neutralino is assumed bino-like, meaning predominantly the superpartner of the hypercharge gauge boson, and the lightest chargino and next-to-lightest neutralino are wino-like, meaning predominantly superpartners of weak gauge bosons. The source fixes The chargino and next-to-lightest-neutralino branching fractions to tau-slepton or tau-sneutrino modes are set to , other supersymmetric couplings are set to zero, and the narrow-width approximation treats intermediate resonances as on-shell because their widths are assumed small relative to their masses. These choices define the reported simplified-model contours.
Setup references
Procedure
The reported observables include missing transverse momentum, defined as the magnitude of the negative vector sum of reconstructed electrons, muons, hadronic taus, jets, and a track-based soft term, along with channel-specific kinematic variables. Jets are reconstructed with the anti- algorithm at radius and calibrated using simulation and in-situ measurements. Hadronic tau candidates are seeded by anti- jets, calibrated with a dedicated visible-tau energy-scale procedure, and selected with one or three tracks and a medium identification working point. Light leptons and jets have source-defined identification, overlap-removal, and kinematic selections. The analysis estimates jets misidentified as tau leptons with a data-driven fake-factor method and uses both cut-and-count and machine-learning strategies.
For each strategy the collaboration fits selected binned data with a likelihood containing Poisson event-count terms and constrained systematic and background nuisance parameters; source-stated correlations are retained. The statistic is a profile likelihood ratio, formed by maximizing over nuisance parameters at fixed signal-model parameters and comparing with the unrestricted fit. ATLAS uses the asymptotic approximation after validating it against simulated ensembles. It excludes a tested signal point when the source-defined ratio falls below ; is the signal-plus-background tail probability divided by the corresponding background tail probability under the same source-defined test ordering, not a posterior probability or exact coverage statement.
Procedure references
Observations
The collaboration reports no statistically significant overall deviation from the background-only expectation. Its most compatible machine-learning benchmark, labelled GG(1300,1200), has a local -value , quoted as standard deviations; this is a local value at the tested benchmark, not an overall search significance. The observed machine-learning contours reach gluino masses up to and lightest-neutralino masses up to for gluino models; for squark models, the machine-learning lightest-neutralino reach is . The cut-and-count contours reach gluino masses up to and squark masses up to for models with a lightest-neutralino.
Observations references
Uncertainty
The fit includes the collaboration's statistical, detector, background, and theoretical nuisance constraints with source-reported correlations. The reported integrated-luminosity uncertainties are for the 13 TeV sample and for the 13.6 TeV sample. The theory cross-section uncertainty is displayed as a contour variation rather than profiled as an experimental nuisance. The observed contour uses an asymptotic approximation checked against simulated ensembles. This record does not reprocess collision events or independently reconstruct the likelihood, object calibrations, or nuisance covariance.
Uncertainty references
Interpretation
The local excess, exclusions, and mass reaches are conditional on the three selected channels, the two analysis strategies, and the particular -parity-conserving simplified spectra, midpoint mass relations, branching fractions, and narrow-width assumptions stated above. They do not rule out supersymmetry as a framework, establish a supersymmetry-breaking vacuum, or constrain spectra and decay patterns outside those parameterizations.
Interpretation references
Supersymmetry-breaking and source-qualified collider interpretation
ATLAS tau search, simplified-model interpretation and conclusion
Depends on
Measurement models and additive-error observation models
Likelihood functions for a dominated parametric family
Statistical tests, rejection regions, power functions and size
Confidence sets and their coverage level
Profile likelihood ratios with nuisance parameters
Upper-tail p-values under an explicit null calibration
CLs ratio for source-specified signal exclusions