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.

CMS global dimension-six SMEFT fit

Physical scope

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 13 TeV, using input-specific integrated luminosities of 36.3 or 138 fb−1, 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 U(3)ℓ×U(3)e×U(2)q×U(2)u×U(2)d. Here U(n)={V∈Cn×n:V†V=In}; the first two factors rotate the three lepton families of ℓL,eR, 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 e=Rc, where c∈R64 is its coefficient vector and R∈R64×64, RRT=I64, 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.

Procedure

CMS uses the hybrid likelihood L=LexptLsimpl of its equations (11)–(13). In the experimental term, reconstruction-bin counts ni∈N0, for a finite bin index set I, are conditionally independent at fixed coefficients c and nuisance vector ν. Their nonnegative expected counts are ei(c,ν), and Lexpt=∏i∈IPois⁡(ni;ei)∏k∈Kpk(yk;νk),Pois⁡(n;e)=e−een/n!, with 00=1. Here K is finite and pk are the source's auxiliary-observation densities constraining nuisance coordinates νk; yk are their observed values. Typically ei=∑jμj′(c)sij(ν)+bi(ν), with finite signal-process/bin index j, signal and background expected counts sij,bi, and dimensionless cross-section ratios μj′ relative to the Standard Model. For the source's t(t)X input, yields are parameterized directly in the coefficients. Counts and their expectations are dimensionless.

For the remaining measurements, let μ^∈Rm be the measured cross-section or pseudo-observable ratios to Standard Model predictions, and let μ(c)∈Rm be their predicted ratios. The simplified term is the multivariate Gaussian density Lsimpl=exp⁡[−12(μ^−μ(c))TV−1(μ^−μ(c))](2π)m/2det⁡V,V=Vex+Vth. The fixed covariance V∈Rm×m 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 Lexpt.

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.

Observations

For its 43-direction fit, CMS reports a Standard Model compatibility p-value of 2.5%. The reported value rises to 27% 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.

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.

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 Λ−4; they are not a complete prediction through that order. The 2.5% 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

Dependency tree · 2 levels

Sources