Alphabeta Math
ExperimentStatement: Literature-sourcedProof: Not applicablePipeline-generatedprecheck pending
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 global dimension-six SMEFT fit

Physical scope

Source-reported ATLAS Run 2 and LEP/SLD input measurements combined in the collaboration's dimension-six SMEFT analysis. The 99% compatibility value recorded here belongs specifically to the linear fit without di-Higgs measurements. This record does not reprocess events, reconstruct component likelihoods, or audit every detector calibration.

Setup

The ATLAS collaboration combines previously measured Higgs and simplified-template-cross-section observables, di-Higgs, diboson, vector-boson-fusion Zjj, high-mass Drell–Yan, top-quark distributions, and electroweak precision inputs. The proton-proton LHC inputs use 13 TeV Run 2 data and input-specific integrated luminosities spanning about 36–140 fb−1; the combined electroweak precision inputs also include LEP and SLD data. Integrated luminosity is the calibrated exposure assigned to a data sample, not a count of selected events. The input measurements retain their own observable definitions and selections.

The fit uses the Standard Model effective field theory (SMEFT): the Standard Model field content is supplemented by higher-dimension gauge-invariant operators. It fits 48 dimension-six Warsaw-basis coefficients or coefficient combinations. The reference normalization Λ=1 TeV fixes how the reported coefficients are quoted; it is not a measured new-particle mass.

Procedure

The collaboration constructs a joint likelihood from the input analyses, using Poisson terms for event-count inputs and Gaussian terms for measurement inputs where specified. It checks overlaps among event-based inputs using event identifiers, bootstrap studies, and selections; identified overlaps are removed or handled as stated in the article. Experimental and theoretical nuisance parameters encode systematic and theory uncertainties and are profiled subject to the source's constraints and correlation scheme. Profiling means maximizing the likelihood over nuisance parameters at each fixed coefficient value; the resulting profile-likelihood ratio compares that constrained maximum with the unrestricted maximum. For coefficient intervals, §4.2 uses the one-dimensional profile-likelihood statistic with the Wilks chi-square calibration and discusses checks on its applicability. The separate 99% compatibility p-value is reported in §5.3.1 for the linear fit without di-Higgs measurements, but that result section does not identify a global test statistic or its null calibration; this item does not reconstruct either or infer them from the coefficient-interval calibration. These are source-reported analysis choices, not a reconstruction of the component likelihoods.

Observations

The collaboration reports no statistically significant overall deviation from the Standard Model. Its 99% compatibility p-value is reported in §5.3.1 for the linear fit without di-Higgs measurements: 47 fit-basis coefficients are shown and the other 39 directions are fixed to their Standard Model value of zero. The result is not assigned the one-dimensional Wilks calibration used for coefficient intervals; the global test statistic and null calibration are not reconstructed here. The article also identifies an electroweak-precision coefficient direction, denoted cHVV,Vff[19], as pulled by the known tension between the measured AFBb,c asymmetries and the Standard Model prediction. The overall fit statement therefore does not mean that every coefficient is individually within two standard deviations. A p-value is a tail probability under its stated null calibration, not the probability that the Standard Model is true.

Uncertainty

The reported likelihood carries statistical, detector, theory, and other systematic uncertainties with the correlations adopted for the input measurements. The article describes checks and special handling for shared-event inputs. This item does not recreate the raw-event record, rerun detector reconstruction, validate every input calibration, or independently estimate a covariance matrix. The reported p-value and intervals inherit those source-level assumptions.

Interpretation

The result is a source-defined constraint on the selected 48 coefficient directions and data inputs. The reported parameterization retains linear and quadratic dimension-six contributions while omitting dimension-eight interference terms at order Λ−4; its quadratic fit is therefore not a complete expansion to that order. The fit neither proves the SMEFT model nor establishes or excludes new physics in general. Its statistical conclusions remain conditional on the chosen observables, input likelihoods, nuisance model, coefficient truncation, and stated asymptotic calibration.

Interpretation references

Depends on

Dependency tree · 2 levels

Sources