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.
CMS global dimension-six SMEFT fit
Source-reported CMS global dimension-six SMEFT fit combining seven CMS measurement sets and electroweak precision inputs, with the source's topU3l flavor restriction and CP-violating variants excluded. Its 64 studied coefficients are a subset of the resulting 129-operator model; the simultaneous linear fit retains 43 directions and fixes 21 insufficiently constrained directions to zero. This item does not reanalyse the component datasets or claim that the fit tension is evidence for new physics.
Setup
The CMS collaboration combines seven CMS measurement sets with proton-proton collision data at , using input-specific integrated luminosities of or , and supplements them with electroweak precision observables. Integrated luminosity denotes the calibrated exposure of a dataset.
The analysis restricts the supplied three-family SMEFT coefficient convention to the source's “topU3l” flavor model, labelled by . Here ; the first two factors rotate the three lepton families of , and each quark factor rotates the first two families of its named field, with the third family separate. The source's coefficient restrictions, rather than unrestricted three-family tensors, are used. CMS excludes the variants violating charge conjugation followed by spatial parity (CP), leaving its 129-operator model; the 64 coefficients studied are the subset listed in its Table 1. These are additional analysis assumptions, not restrictions imposed by the general Warsaw supplier.
For the simultaneous linear fit, the source uses orthogonal linear combinations , where is its coefficient vector and , , is the source's principal-component rotation from the likelihood Hessian. It retains 43 directions under its finite sensitivity cutoff and fixes the remaining 21 insufficiently constrained directions to zero. This does not assert identically zero sensitivity to those 21 directions.
Setup references
Procedure
CMS uses the hybrid likelihood of its equations (11)–(13). In the experimental term, reconstruction-bin counts , for a finite bin index set , are conditionally independent at fixed coefficients and nuisance vector . Their nonnegative expected counts are , and with . Here is finite and are the source's auxiliary-observation densities constraining nuisance coordinates ; are their observed values. Typically , with finite signal-process/bin index , signal and background expected counts , and dimensionless cross-section ratios relative to the Standard Model. For the source's input, yields are parameterized directly in the coefficients. Counts and their expectations are dimensionless.
For the remaining measurements, let be the measured cross-section or pseudo-observable ratios to Standard Model predictions, and let be their predicted ratios. The simplified term is the multivariate Gaussian density The fixed covariance is symmetric positive definite for this density, with experimental and theory contributions. It is block diagonal by input measurement: cross-measurement entries vanish, while within-measurement correlations are retained. This term has no explicit nuisance parameters. These are adopted sampling and uncertainty assumptions, not consequences of generic likelihood definitions. The product uses the source's statistically independent event selections and its auxiliary-factor model; it does not impose zero cross-measurement nuisance correlations on .
The fit profiles nuisance parameters, meaning it maximizes over them at each fixed Wilson-coefficient value. CMS reports constraints from linear-only dimension-six predictions as its main results and presents linear-plus-quadratic results separately. For coefficient intervals, the paper states a profile-likelihood-ratio statistic and an asymptotic interval procedure, with pseudoexperiment coverage studies for selected fits. The results section separately reports the 2.5% and 27% Standard Model compatibility p-values for the 43-direction fit and the fit without inclusive-jet input, respectively, but does not identify a global test statistic or its null calibration there. This record does not reconstruct that calibration or infer it from the coefficient-interval procedure.
Procedure references
Observations
For its 43-direction fit, CMS reports a Standard Model compatibility -value of . The reported value rises to when the inclusive-jet input is removed. The paper identifies inclusive-jet data as the main source of the tension and notes sensitivity to parton-distribution-function choices. The global test statistic and its null calibration are not reconstructed here, and the values are not assigned the coefficient-interval calibration. This is a fit-specific source-reported statistical result, not evidence that new physics or a particular operator has been observed and not the probability that the Standard Model is false.
Observations references
Uncertainty
Experimental likelihood and nuisance-correlation details vary by input. The simplified term's zero cross-measurement covariances are an approximation; its retained correlations do not supply the omitted ones. The paper tests likelihood coverage with pseudoexperiments and reports slight under- or over-coverage in some tested cases; its confidence regions should not be described as exact nominal coverage for every direction. This record does not recover raw events, fit all component analyses anew, or perform a simultaneous PDF and SMEFT fit.
Uncertainty references
Interpretation
The main simultaneous coefficient constraints are linear in the dimension-six coefficients and conditional on the stated topU3l restriction, excluded CP-violating variants and fixed directions. The separately reported quadratic terms include squares of dimension-six amplitudes, but by themselves do not include the dimension-eight interference terms also contributing at order ; they are not a complete prediction through that order. The compatibility result is driven mainly by one selected input and depends on the chosen PDF and likelihood treatment. It does not establish new physics or exclude the Standard Model as a model.
Interpretation references
Page-level scope and prerequisite interface
CMS global SMEFT fit, truncation and interpretation qualifications
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
Linearly realized Standard Model EFT field and scale data
Finite dimension-six Warsaw coefficient contract