arxiv: 2512.23226 · v3 · submitted 2025-12-29 · ✦ hep-ph

Recognition: 2 theorem links

· Lean Theorem

Constraints on SMEFT operators from Z to μ μ bb decay

Zijian Wang , Tianyi Yang , Tianyu Mu , Andrew Levin , Qiang Li

Authors on Pith no claims yet

Pith reviewed 2026-05-16 19:38 UTC · model grok-4.3

classification ✦ hep-ph

keywords SMEFTZ boson decaysfour-fermion operatorsmuonsbottom quarksWilson coefficientsconstraintseffective field theory

0 comments

The pith

Z to two muons and two bottom quarks yields the first process-specific limits on flavor-resolved four-fermion SMEFT operators.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines the Z boson decay into two muons and two bottom quarks inside the Standard Model Effective Field Theory. It derives limits on dimension-six operators that change four-fermion interactions between muons and bottom quarks plus operators that modify Z-fermion couplings. A reader would care because these limits supply new, channel-specific information that complements constraints from purely leptonic or inclusive Z measurements. The work generates signal and background events with Monte Carlo tools that incorporate detector effects such as b-tagging, then extracts bounds through kinematic distributions and a profile likelihood fit.

Core claim

Within SMEFT, dimension-six operators can modify the rate and kinematic shapes of Z to mu mu b b decays. By simulating events with state-of-the-art Monte Carlo tools that include detector effects and performing a profile likelihood fit to the resulting distributions, the analysis extracts constraints on the relevant Wilson coefficients. The results supply complementary bounds to existing SMEFT studies and deliver the first process-specific limits on flavor-resolved four-fermion operators involving muons and bottom quarks from Z decays.

What carries the argument

The Z to mu mu b b decay channel, analyzed via kinematic distributions in a profile likelihood fit to Monte Carlo events that include b-tagging, acts as the probe for the four-fermion SMEFT operators.

If this is right

The extracted limits complement constraints obtained from other SMEFT processes.
They supply the first dedicated, process-specific bounds on flavor-resolved four-fermion operators involving muons and bottom quarks from any Z decay.
Limits are also placed on operators that alter Z-fermion couplings.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

If the operators are nonzero, they would likely affect other observables involving muons and b quarks, such as certain B-meson decay rates.
Repeating the same analysis with larger data samples at future colliders would tighten the bounds without changing the method.
Inconsistencies between these limits and those from purely leptonic Z decays could indicate the need to include higher-dimensional operators.

Load-bearing premise

The Monte Carlo simulations with included detector effects accurately model real experimental conditions and the profile likelihood fit extracts unbiased limits on the Wilson coefficients.

What would settle it

A measurement of the kinematic distributions in actual Z to mu mu b b events at the LHC that deviates from the shapes predicted after applying the fitted SMEFT coefficients would falsify the extracted constraints.

Figures

Figures reproduced from arXiv: 2512.23226 by Andrew Levin, Qiang Li, Tianyi Yang, Tianyu Mu, Zijian Wang.

**Figure 2.** Figure 2: FIG. 2: Detector-level kinematic distributions for the [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗

**Figure 3.** Figure 3: FIG. 3: Detector-level invariant mass distributions for [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗

**Figure 4.** Figure 4: FIG. 4: Quadratic SMEFT fits for the six operators un [PITH_FULL_IMAGE:figures/full_fig_p006_4.png] view at source ↗

read the original abstract

The Standard Model Effective Field Theory (SMEFT) provides a systematic framework to probe indirect effects of heavy new physics via precision measurements. While SMEFT constraints have been extensively studied using purely leptonic $Z$ decays and inclusive $Z$ production, mixed leptonic-hadronic modes remain largely unexplored. In this work, we analyze $Z \to \mu\mu bb$ decays within the SMEFT framework, deriving constraints on dimension-six operators that affect four-fermion interactions between leptons and bottom quarks, as well as $Z$-fermion couplings. Signal and background events are simulated with state-of-the-art Monte Carlo tools, including detector effects such as $b$-tagging, and limits on the relevant Wilson coefficients are extracted using kinematic distributions and a profile likelihood approach. Our results provide complementary constraints to existing SMEFT studies and yield the first process-specific limits on flavor-resolved four-fermion operators involving muons and bottom quarks from $Z$ decays.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Simulation-only SMEFT limits from Z to mu mu bb mark a first for this channel but rest on unvalidated Monte Carlo modeling.

read the letter

The paper's core contribution is the first set of process-specific bounds on flavor-resolved four-fermion SMEFT operators involving muons and bottom quarks, extracted from simulated Z → μμbb events. They generate signal and background samples with standard Monte Carlo tools, fold in b-tagging and detector effects, then fit kinematic distributions with a profile likelihood to constrain the relevant Wilson coefficients. This fills a gap left by purely leptonic or inclusive Z studies and supplies complementary numbers for global fits. The approach follows established methods without obvious internal contradictions or circular definitions. The main limitation is that the limits derive entirely from simulation; the text does not describe comparisons to actual LHC data, control-region validation, or measured efficiencies for b-tagging and jet scales. Any mismatch between the Monte Carlo and reality therefore flows straight into the reported bounds, which weakens their immediate use until those checks appear. The work is aimed at SMEFT phenomenologists who track operator constraints across channels. A serious referee could usefully examine the systematic treatment and background modeling details, so it deserves peer review rather than a desk rejection.

Referee Report

2 major / 1 minor

Summary. The manuscript analyzes Z → μμbb decays in the SMEFT framework to derive constraints on dimension-six operators, including four-fermion interactions between muons and bottom quarks as well as Z-fermion couplings. Signal and background events are simulated using Monte Carlo tools that incorporate detector effects such as b-tagging. Limits on the relevant Wilson coefficients are extracted from kinematic distributions via a profile likelihood fit. The results are presented as complementary to existing SMEFT studies and as the first process-specific limits on these flavor-resolved operators from Z decays.

Significance. If the Monte Carlo simulations accurately represent experimental conditions and the extracted limits prove robust, the work would fill a gap by providing constraints in a mixed leptonic-hadronic Z decay channel that has received limited attention. The use of standard MC generators and profile-likelihood methods on kinematic variables follows established practices and could contribute to global SMEFT fits, particularly for operators involving bottom quarks and muons.

major comments (2)

Abstract and simulation section: Limits are derived exclusively from Monte Carlo simulations of Z → μμbb events (signal plus background) that include b-tagging and detector effects, followed by a profile-likelihood fit. No comparison to actual LHC data, control-region validation, or measured efficiencies is described. This assumption is load-bearing for the headline claim of 'first process-specific limits,' because mismatches in b-tagging scale factors, jet-energy scale, or background composition would propagate directly into the reported Wilson-coefficient bounds.
Methods (profile likelihood fit): The manuscript provides no details on systematic uncertainties, background modeling validation, or error propagation in the fit. Without these, the support for the extracted limits remains moderate, undermining the reliability of the numerical constraints on the flavor-resolved four-fermion operators.

minor comments (1)

Abstract: The specific operators constrained and the numerical limit values obtained are not stated explicitly; adding these would improve clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and constructive report. The comments correctly identify that our study is a Monte Carlo-based projection rather than an analysis of real LHC data, and that additional technical details on the fit are needed. We have revised the manuscript to clarify the scope and to supply the missing methodological information.

read point-by-point responses

Referee: Abstract and simulation section: Limits are derived exclusively from Monte Carlo simulations of Z → μμbb events (signal plus background) that include b-tagging and detector effects, followed by a profile-likelihood fit. No comparison to actual LHC data, control-region validation, or measured efficiencies is described. This assumption is load-bearing for the headline claim of 'first process-specific limits,' because mismatches in b-tagging scale factors, jet-energy scale, or background composition would propagate directly into the reported Wilson-coefficient bounds.

Authors: We agree that the analysis relies entirely on Monte Carlo simulation and does not include a comparison with real LHC data or control-region validation. The work is intended as a prospective sensitivity study that provides the first projected, process-specific limits on the relevant flavor-resolved SMEFT operators from the Z → μμbb channel. We have revised the abstract, introduction, and simulation section to state explicitly that the limits are simulation-derived projections using standard ATLAS/CMS b-tagging and detector parametrizations. We have also added a dedicated paragraph discussing the impact of plausible variations in b-tagging scale factors and jet-energy scale on the extracted bounds, thereby addressing the robustness concern while preserving the claim that these are the first such process-specific projections. revision: yes
Referee: Methods (profile likelihood fit): The manuscript provides no details on systematic uncertainties, background modeling validation, or error propagation in the fit. Without these, the support for the extracted limits remains moderate, undermining the reliability of the numerical constraints on the flavor-resolved four-fermion operators.

Authors: We have substantially expanded the methods section. The revised text now specifies the systematic uncertainties included (b-tagging efficiency variations, jet-energy scale, muon reconstruction efficiency, and background normalization), describes how these are implemented as nuisance parameters in the profile likelihood, and reports the results of pseudo-experiment validation. Error propagation is performed via the profile-likelihood method; the revised manuscript shows both statistical-only and total (statistical + systematic) limits for each Wilson coefficient. revision: yes

Circularity Check

0 steps flagged

No significant circularity in SMEFT operator constraints from simulated Z decays

full rationale

The derivation proceeds by generating signal and background events for Z → μμbb using Monte Carlo simulation that incorporates SMEFT operators and detector effects such as b-tagging, followed by extraction of Wilson coefficient limits via a profile likelihood fit to kinematic distributions. This chain relies on external simulation tools and standard statistical procedures rather than any self-definitional mapping, fitted inputs renamed as predictions, or load-bearing self-citations that reduce the result to prior author-specific assumptions. The central claim of complementary and first process-specific limits follows directly from the modeled event distributions and fit, with no equations or steps in the provided description that equate outputs to inputs by construction. The approach is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The central claim rests on the validity of the SMEFT framework at the Z scale and the fidelity of Monte Carlo simulations for signal and background modeling.

free parameters (1)

Wilson coefficients of relevant dimension-six four-fermion and Z-fermion operators
These coefficients are the parameters fitted via profile likelihood to the simulated kinematic distributions.

axioms (2)

domain assumption SMEFT is a valid effective theory below the cutoff scale with dimension-six operators providing the leading effects
This is the foundational assumption enabling the operator analysis in the abstract.
domain assumption Monte Carlo simulations accurately incorporate detector effects including b-tagging efficiencies
Invoked when extracting limits from simulated events.

pith-pipeline@v0.9.0 · 5476 in / 1448 out tokens · 52532 ms · 2026-05-16T19:38:25.070351+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Signal and background events are simulated with state-of-the-art Monte Carlo tools, including detector effects such as b-tagging, and limits on the relevant Wilson coefficients are extracted using kinematic distributions and a profile likelihood approach.
IndisputableMonolith/Foundation/AlphaDerivationExplicit.lean alphaProvenance_inhabited unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The resulting 95% C.L. intervals on the WCs obtained from this procedure are summarized in Table IV.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

34 extracted references · 34 canonical work pages

[1]

Precision electroweak measure- ments on thezresonance.Phys

ALEPH Collaboration. Precision electroweak measure- ments on thezresonance.Phys. Rept., 427:257–454, 2006

work page 2006
[2]

Measurement of thezboson pro- duction cross section inppcollisions at √s= 13 tev with the atlas detector.JHEP, 09:145, 2016

ATLAS Collaboration. Measurement of thezboson pro- duction cross section inppcollisions at √s= 13 tev with the atlas detector.JHEP, 09:145, 2016

work page 2016
[3]

Measurement of differentialzboson production cross sections in proton-proton collisions at√s= 13 tev.JHEP, 12:061, 2019

CMS Collaboration. Measurement of differentialzboson production cross sections in proton-proton collisions at√s= 13 tev.JHEP, 12:061, 2019

work page 2019
[4]

Buchmuller and D

W. Buchmuller and D. Wyler. Effective lagrangian anal- ysis of new interactions and flavor conservation.Nucl. Phys. B, 268:621–653, 1986

work page 1986
[5]

Grzadkowski, M

B. Grzadkowski, M. Iskrzynski, M. Misiak, and J. Rosiek. Dimension-six terms in the standard model lagrangian. 8 JHEP, 10:085, 2010

work page 2010
[6]

Brivio and M

I. Brivio and M. Trott. The standard model as an effec- tive field theory.Phys. Rept., 793:1–98, 2019

work page 2019
[7]

Boughezal, B

R. Boughezal, B. Fuks, B. D. Pecjak, and C. Zhang. Probing the smeft inz→4ℓdecays at the lhc.JHEP, 06:131, 2020

work page 2020
[8]

Gauld and B

R. Gauld and B. D. Pecjak. Four-lepton production at the lhc and smeft constraints.JHEP, 07:090, 2020

work page 2020
[9]

Gauld et al

R. Gauld et al. Smeft interpretations of inclusivez+jets production.JHEP, 01:145, 2024

work page 2024
[10]

Falkowski and F

A. Falkowski and F. Riva. Model-independent preci- sion constraints on dimension-6 operators.JHEP, 02:039, 2015

work page 2015
[11]

Berthier and M

L. Berthier and M. Trott. Consistent constraints on the standard model effective field theory.JHEP, 02:069, 2016

work page 2016
[12]

Measurement ofz+b-jet cross sec- tions at √s= 13 tev.Eur

CMS Collaboration. Measurement ofz+b-jet cross sec- tions at √s= 13 tev.Eur. Phys. J. C, 79:368, 2019

work page 2019
[13]

Measurements ofzboson produc- tion in association withb-jets in pp collisions at 13 tev

ATLAS Collaboration. Measurements ofzboson produc- tion in association withb-jets in pp collisions at 13 tev. Phys. Lett. B, 789:347–366, 2019

work page 2019
[14]

Alwall, R

J. Alwall, R. Frederix, S. Frixione, V. Hirschi, F. Maltoni, O. Mattelaer, H.-S. Shao, T. Stelzer, P. Torrielli, and M. Zaro. The automated computation of tree-level and next-to-leading order differential cross sections, and their matching to parton shower simulations.JHEP, 07:079, 2014

work page 2014
[15]

Sj¨ ostrand, S

T. Sj¨ ostrand, S. Ask, J. R. Christiansen, R. Corke, N. De- sai, P. Ilten, S. Mrenna, S. Prestel, C. O. Rasmussen, and P. Skands. An introduction to pythia 8.2.Comput. Phys. Commun., 191:159–177, 2015

work page 2015
[16]

de Favereau et al

J. de Favereau et al. Delphes 3, a modular framework for fast simulation of a generic collider experiment.JHEP, 02:057, 2014

work page 2014
[17]

Cowan, K

G. Cowan, K. Cranmer, E. Gross, and O. Vitells. Asymp- totic formulae for likelihood-based tests of new physics. Eur. Phys. J. C, 71:1554, 2011

work page 2011
[18]

Ellis, C

J. Ellis, C. W. Murphy, V. Sanz, and T. You. Updated global smeft fit to higgs, diboson and electroweak data. JHEP, 06:146, 2018

work page 2018
[19]

Elias-Miro, J

J. Elias-Miro, J. R. Espinosa, E. Masso, and A. Pomarol. Higgs windows to new physics through dimension-6 op- erators.JHEP, 11:066, 2013

work page 2013
[20]

Corbett, O

T. Corbett, O. J. P. Eboli, J. Gonzalez-Fraile, and M. C. Gonzalez-Garcia. Determining triple gauge boson cou- plings from higgs data.Phys. Rev. Lett., 111:011801, 2013

work page 2013
[21]

de Blas and et al

J. de Blas and et al. The global smeft fit.JHEP, 12:135, 2018

work page 2018
[22]

Smeftsim 3.0 — a practical guide.Journal of High Energy Physics, 2021(4), April 2021

Ilaria Brivio. Smeftsim 3.0 — a practical guide.Journal of High Energy Physics, 2021(4), April 2021

work page 2021
[23]

M. L. Mangano, M. Moretti, F. Piccinini, R. Pittau, and A. D. Polosa. Alpgen, a generator for hard multiparton processes in hadronic collisions.JHEP, 07:001, 2003

work page 2003
[24]

Alwall and et al

J. Alwall and et al. Comparative study of various al- gorithms for the merging of parton showers and matrix elements in hadronic collisions.Eur. Phys. J. C, 53:473– 500, 2008

work page 2008
[25]

Identification of b-quark jets with the cms experiment.Journal of Instrumentation, 8(04):P04013–P04013, April 2013

The CMS collaboration. Identification of b-quark jets with the cms experiment.Journal of Instrumentation, 8(04):P04013–P04013, April 2013

work page 2013
[26]

Chatrchyan and et al

S. Chatrchyan and et al. The cms experiment at the cern lhc.JINST, 3:S08004, 2008

work page 2008
[27]

Aad and et al

G. Aad and et al. The atlas experiment at the cern large hadron collider.JINST, 3:S08003, 2008

work page 2008
[28]

Cacciari, G

M. Cacciari, G. P. Salam, and G. Soyez. The anti-k t jet clustering algorithm.JHEP, 04:063, 2008

work page 2008
[29]

Identification of b-quark jets with the cms experiment.JINST, 8:P04013, 2013

CMS Collaboration. Identification of b-quark jets with the cms experiment.JINST, 8:P04013, 2013

work page 2013
[30]

Performance of the cms muon de- tector and muon reconstruction with proton-proton col- lisions at √s= 13 tev.JINST, 13:P06015, 2018

CMS Collaboration. Performance of the cms muon de- tector and muon reconstruction with proton-proton col- lisions at √s= 13 tev.JINST, 13:P06015, 2018

work page 2018
[31]

Conte, B

E. Conte, B. Fuks, and G. Serret. Madanalysis 5, a user- friendly framework for collider phenomenology.Comput. Phys. Commun., 184:222–256, 2013

work page 2013
[32]

Alloul, N

A. Alloul, N. D. Christensen, C. Degrande, C. Duhr, and B. Fuks. Feynrules 2.0 - a complete toolbox for tree-level phenomenology.Comput. Phys. Commun., 185:2250– 2300, 2014

work page 2014
[33]

S. S. Wilks. The large-sample distribution of the like- lihood ratio for testing composite hypotheses.Annals Math. Statist., 9:60–62, 1938

work page 1938
[34]

Combined effective field theory in- terpretation of higgs boson, electroweak vector boson, top quark, and multi-jet measurements, 2025

CMS Collaboration. Combined effective field theory in- terpretation of higgs boson, electroweak vector boson, top quark, and multi-jet measurements, 2025

work page 2025