REVIEW 2 major objections 4 minor 19 references
Revisiting the connection of baryon number, lepton number, and operator dimension
T0 review · 2 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read The smallest dimension for an operator with charges $(\Delta B,\Delta L)$ is at least $\frac{9}{2}|\Delta B|+\frac{3}{2}|\Delta L|$, plus one if $\Delta B\Delta L$ is negative and odd, and in the neutrino-extended SMEFT the bound is…
desk verdict Useful sharpening of Kobach's bound, backed by serious enumeration to d=25; the νSMEFT equality claim rests on an unproven derivative extrapolation, but the inequality itself holds. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the multiplicative F parity, under which SM fermions are even while antifermions, bosons, and derivatives are odd; Lorentz and $SU(2)_L$ invariance conserve it. Adding F parity to the counting of quarks (which cost dimension $9/2$ per unit of $\Delta B$) and leptons (dimension $3/2$ per unit of $\Delta L$) produces the corrected bound in Eq. (2). The second mechanism is the anticommutation of spinor fields: an identical fermion field can appear at most twice in a non-derivative product, capping the accessible pure-lepton number and lifting $d_{\min}$ for $(0,\Delta L>6)$.
What would settle it
Run an independent enumeration that drops the no-derivative restriction and searches all of $(\nu)$SMEFT through dimension 25: if any operator with a given $(\Delta B,\Delta L)$ appears at a dimension below the values shown in the paper's map, the equality claim for that point is wrong. The decisive targets are a $d\le20$ operator for $(|\Delta B|,|\Delta L|)=(1,11)$ in $\nu$SMEFT and any SMEFT operator at $d<19$ for $(1,7)$.
Extended reading notes
Core claim
On its own terms, the central claim is that the earlier inequality $d_{\min}\ge \frac{9}{2}|\Delta B|+\frac{3}{2}|\Delta L|$ is not the full story: conservation of the multiplicative F parity forces an extra unit of mass dimension whenever $\Delta B\Delta L$ is negative and odd, yielding the corrected lower bound. The paper further claims that in $\nu$SMEFT this improved inequality is saturated up to $d=25$ except for the two identified families, while in the SMEFT it is essentially an equality whenever $\Delta B\neq0$. The departures from equality are caused by hypercharge invariance at low dimension and, for pure-lepton $\nu$SMEFT operators, by the anticommutation of fermionic fields, which prevents more than six neutrino fields from appearing in a non-derivative operator.
Load-bearing premise
The equality claims depend on the operator enumeration being complete through dimension 25 and on derivative operators, checked only through dimension 17, never producing a lower-dimensional operator than the non-derivative enumeration at higher dimension.
Editorial extensions
If this is right
- The minimal dimension for any baryon-number-violating operator follows from charges alone, so bottom-up searches for nucleon decay can be organized by $(\Delta B,\Delta L)$ rather than by model.
- In $\nu$SMEFT, every charge pair up to $d=25$ has a known minimal operator dimension, so the scale suppression of a given new-physics signal can be read off without enumerating operators.
- Because F parity forces operators with the same charges to appear only at $d_{\min}+2N$, an operator and its $|H|^2$ or $D_\mu D^\mu$ descendants exhaust the possible dimensions for a fixed charge pair.
- For $\Delta B\neq0$ SMEFT operators, the simple formula is a practical equality for $|\Delta L|<5$, giving a quick test of whether a proposed ultraviolet model produces the leading low-dimensional operator.
Reading between the lines
- If derivative operators continue to respect the non-derivative pattern beyond $d=17$, then the charge-pair formula likely remains exact to arbitrarily high dimension in $\nu$SMEFT; this is an extrapolation, not a claim in the paper.
- The fermion-exclusion obstruction suggests that searches for $\Delta L=8$ processes mediated by right-handed neutrinos will be suppressed by two additional powers of the new-physics scale relative to the naive dimension bound, a shift that could be visible in same-sign dilepton searches.
- The same F-parity-plus-exclusion logic could sharpen dimension bounds for other accidental global symmetries in effective field theories with identical chiral fermions, though the paper does not explore that application.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper revisits the relation between the mass dimension d of (ν)SMEFT operators and their baryon and lepton numbers. The main analytic result is Eq. (2), which sharpens Kobach's lower bound by an additional +1 term when ΔB·ΔL is negative and odd, based on Weinberg's F parity. The authors test this bound with the Sym2Int program, enumerating non-derivative SMEFT and νSMEFT operators up to d = 25 and derivative operators up to d = 17. They report that in νSMEFT Eq. (2) is an equality up to d = 25 except for (|ΔB|,|ΔL|) = (0, >6) and (1,11), and they argue that these deviations arise from Pauli exclusion among the sterile neutrino fields. The paper concludes that F parity and fermion statistics, in addition to gauge and Lorentz invariance, control the allowed (ΔB,ΔL) landscape.
Significance. If the enumeration is complete, Eq. (2) is a useful sharpening of a classic bound, and the explicit d_min map up to d = 25 for νSMEFT is a valuable reference for model building with baryon- or lepton-number violation. The paper's concrete, falsifiable statements about which (ΔB,ΔL) sectors appear at which dimension, together with its exact Sym2Int-based enumeration rather than a fitted estimate, are strengths. The identification of Pauli exclusion as a limiting mechanism beyond gauge and Lorentz constraints is an interesting and testable observation. The main caveats are that the equality claim for νSMEFT depends on an unproven extrapolation of derivative operators beyond d = 17, and that one step in the derivation of Eq. (2) is stated too broadly.
major comments (2)
- [Paragraph containing Eq. (2)] The sentence 'any operator with negative odd ΔB·ΔL is odd under F parity' is false as stated. A field string such as q q q \bar q \ell^C has ΔB = 1, ΔL = -1 and F parity even, because it contains one anti-quark and one anti-lepton. What is actually needed for the proof is the weaker statement that the minimal fermion content realizing a given (ΔB,ΔL) with negative odd product has odd F parity, and that any F-even realization therefore requires additional F-odd fields. Since the cheapest such field, a Higgs or a derivative, has dimension 1 while a fermion-antifermion pair has dimension 3, the +1 term in Eq. (2) follows. Please revise the proof to state this minimality argument explicitly.
- [Paragraph beginning 'To test Eq. (2)'] The equality claim for νSMEFT up to d = 25 is not fully established by the computation described in the paper. The text states that Sym2Int was run to d = 25 only for non-derivative operators, while derivative operators were checked only up to d = 17. Because a derivative has the same F parity and dimension as a Higgs doublet but different hypercharge and SU(2) properties, it is not automatically redundant with H. A derivative operator with 18 ≤ d ≤ 25 could in principle add a new (ΔB,ΔL) point to Fig. 3 or lower the dimension of one of the claimed exceptions, such as (|ΔB|,|ΔL|) = (1,11). Please either extend the derivative enumeration to d = 25, provide a rigorous argument that derivative operators cannot lower d_min, or explicitly restrict the equality claims to the sector and dimension range where derivatives were checked.
minor comments (4)
- [Equation (2)] The typesetting of the indicator function in Eq. (2) is garbled: as printed it reads '+11−2N(∆B∆L)' rather than '+1_{ΔBΔL<0, odd}'. Please fix the notation so the condition is unambiguous.
- [Paragraph after Eq. (2)] There is a typo 'for for' in the sentence 'the equality in (2) only holds up to d = 9 for for ∆L≠ 0 = ∆B νSMEFT'. Also, the notation '∆L≠ 0 = ∆B' is confusing; please write (ΔB = 0, ΔL ≠ 0).
- [Figure 3 caption] The tuple label '(dνSMEFT, dSMEFT)min min' at the top of the caption is garbled. It should be typeset as (d_min^{νSMEFT}, d_min^{SMEFT}) or a similarly unambiguous notation.
- [Paragraph beginning 'To test Eq. (2)'] The statement 'We also checked derivative operators up to d = 17 but found no qualitative difference, as expected since derivatives act similarly to H' would benefit from a precise description of which derivative operator topologies were included and how Sym2Int was configured, because D and H carry different hypercharge and weak-isospin quantum numbers.
Circularity Check
No significant circularity: Eq. (2) is derived analytically from Kobach's inequality plus F-parity conservation, and the νSMEFT equality claim is tested against independent Sym2Int enumeration, not assumed.
full rationale
The paper's central derivation is self-contained: Eq. (1) is quoted from Kobach's published inequality, and Eq. (2) is obtained by adding the F-parity correction, which is a logical consequence of Lorentz and SU(2)L invariance rather than an input fitted to the enumeration that follows. The claimed near-equality in νSMEFT is the output of an independent exact enumeration by Sym2Int up to d=25 for non-derivative operators, with derivative operators checked to d=17; the paper explicitly lists the exceptional (|ΔB|,|ΔL|) points where equality fails. No fitted parameter is renamed as a prediction, and no central claim reduces to a self-citation: self-references such as [1], [3], [4], and [19] concern applications or future work and are not load-bearing for the derivation of Eq. (2) or for the enumeration-based equality claim. The only substantive epistemic risk is the extrapolation from derivative operators at d=17 to d=25, which the paper flags explicitly, but this is a completeness caveat, not circularity.
Assumptions & free parameters
assumptions (5)
- domain assumption Standard Model field content, quantum numbers, and the gauge group SU(3)C × SU(2)L × U(1)Y
- domain assumption Weinberg's F parity is multiplicatively conserved by Lorentz invariance and SU(2)L, and applies to EFT operators
- standard math Fermions are Grassmann variables, so a Weyl spinor can appear at most twice in a non-derivative operator
- domain assumption The Sym2Int enumeration of non-derivative operators up to d=25 and derivative operators up to d=17 is complete and correctly implements gauge and Lorentz invariance
- ad hoc to paper Derivative operators at d > 17 behave qualitatively like Higgs insertions and cannot lower d_min up to d=25
Cite this review
Pith. "Pith review of Revisiting the connection of baryon number, lepton number, and operator dimension." pith.science (2026). https://pith.science/paper/MZP3LJZH
@misc{pith2026250506172,
author = {Pith},
title = {Pith review of: Revisiting the connection of baryon number, lepton number, and operator dimension},
year = {2026},
howpublished = {\url{https://pith.science/paper/MZP3LJZH}},
note = {Machine review of arXiv:2505.06172}
}
read the original abstract
The effects of heavy new particles beyond the Standard Model can be conveniently captured through higher-dimensional effective operators. As noted long ago by Weinberg, the amount of baryon and lepton number an operator can carry is intricately connected to its mass dimension. We derive an improved inequality for this connection and compare it to explicit operator constructions up to mass dimension 25. For the effective field theory of Standard Model plus right-handed neutrinos, our relationship is even an equality up to high mass dimension.
Figures
Reference graph
Works this paper leans on
-
[1]
Inclusive Nucleon Decay Searches as a Frontier of Baryon Number Violation,
J. Heeck and V. Takhistov, “Inclusive Nucleon Decay Searches as a Frontier of Baryon Number Violation,” Phys. Rev. D 101 (2020) 015005, [ 1910.07647]
arXiv 2020
-
[2]
Searches for baryon number violation in neutrino experiments: a white paper,
P. S. B. Dev et al. , “Searches for baryon number violation in neutrino experiments: a white paper,” J. Phys. G 51 (2024) 033001, [ 2203.08771]
arXiv 2024
-
[3]
On Baryon and Lepton Number Violation,
P. F. Perez, A. Pocar, K. Babu, L. J. Broussard, V. Cirigliano, J. Heeck, S. Gardner, E. Kearns, A. J. Long, S. Raby, R. Ruiz, E. Thomson, C. E. Wagner, and M. B. Wise, “On Baryon and Lepton Number Violation,” [2208.00010]
-
[4]
Baryon Number Violation: From Nuclear Matrix Elements to BSM Physics,
L. J. Broussard, A. Crivellin, M. Hoferichter, S. Syritsyn, Y. Aoki, J. L. Barrow, A. B. i Beneito, Z. Berezhiani, N. F. Calabria, S. Fajfer, S. Gardner, J. Heeck, C. Jiang, L. Naterop, A. A. Petrov, R. Shrock, A. Thompson, U. van Kolck, M. L. Wagman, L. Wan, J. Womersley, and J.-S. Yoo, “Baryon Number Violation: From Nuclear Matrix Elements to BSM Physic...
arXiv 2025
-
[5]
Baryon and Lepton Nonconserving Processes,
S. Weinberg, “Baryon and Lepton Nonconserving Processes,” Phys. Rev. Lett. 43 (1979) 1566–1570
1979
-
[6]
Varieties of Baryon and Lepton Nonconservation,
S. Weinberg, “Varieties of Baryon and Lepton Nonconservation,” Phys. Rev. D 22 (1980) 1694
work page 1980
-
[7]
Operator Analysis of New Physics,
H. A. Weldon and A. Zee, “Operator Analysis of New Physics,” Nucl. Phys. B 173 (1980) 269–290
work page 1980
-
[8]
Six Fermion ( B −L) Violating Operators of Arbitrary Generational Structure,
S. Rao and R. E. Shrock, “Six Fermion ( B −L) Violating Operators of Arbitrary Generational Structure,” Nucl. Phys. B 232 (1984) 143–179
work page 1984
Show all 19 references
-
[9]
Effective Field Theory: A Modern Approach to Anomalous Couplings,
C. Degrande, N. Greiner, W. Kilian, O. Mattelaer, H. Mebane, T. Stelzer, S. Willenbrock, and C. Zhang, “Effective Field Theory: A Modern Approach to Anomalous Couplings,” Annals Phys. 335 (2013) 21–32, [ 1205.4231]
2013 arXiv
-
[10]
Neutrino Masses, Grand Unification, and Baryon Number Violation,
A. de Gouvea, J. Herrero-Garcia, and A. Kobach, “Neutrino Masses, Grand Unification, and Baryon Number Violation,” Phys. Rev. D 90 (2014) 016011, [ 1404.4057]
2014 arXiv
-
[11]
2, 84, 30, 993, 560, 15456, 11962, 261485, ...: Higher dimension operators in the SM EFT,
B. Henning, X. Lu, T. Melia, and H. Murayama, “2, 84, 30, 993, 560, 15456, 11962, 261485, ...: Higher dimension operators in the SM EFT,” JHEP 08 (2017) 016, [1512.03433]. [Erratum: JHEP 09, 019 (2019)]
2017 arXiv
-
[12]
Baryon Number, Lepton Number, and Operator Dimension in the Standard Model,
A. Kobach, “Baryon Number, Lepton Number, and Operator Dimension in the Standard Model,” Phys. Lett. B 758 (2016) 455–457, [ 1604.05726]
2016 arXiv
-
[13]
The Sym2Int program: going from symmetries to interactions,
R. M. Fonseca, “The Sym2Int program: going from symmetries to interactions,” J. Phys. Conf. Ser. 873 no. 1, (2017) 012045, [ 1703.05221]
2017 arXiv
-
[14]
Enumerating the operators of an effective field theory,
R. M. Fonseca, “Enumerating the operators of an effective field theory,” Phys. Rev. D 101 (2020) 035040, [1907.12584]
2020 arXiv
-
[15]
Baryon Number, Lepton Number, and Operator Dimension in the SMEFT with Flavor Symmetries,
A. Helset and A. Kobach, “Baryon Number, Lepton Number, and Operator Dimension in the SMEFT with Flavor Symmetries,” Phys. Lett. B 800 (2020) 135132, [1909.05853]
2020 arXiv
-
[16]
¨Uber den Zusammenhang des Abschlusses der Elektronengruppen im Atom mit der Komplexstruktur der Spektren,
W. Pauli, “ ¨Uber den Zusammenhang des Abschlusses der Elektronengruppen im Atom mit der Komplexstruktur der Spektren,” Z. Phys. 31 (1925) 765–783
1925
-
[17]
∆ L ≥ 4 lepton number violating processes,
R. M. Fonseca and M. Hirsch, “∆ L ≥ 4 lepton number violating processes,” Phys. Rev. D 98 (2018) 015035, [1804.10545]
2018 arXiv
-
[18]
Seesaw parametrization for n right-handed neutrinos,
J. Heeck, “Seesaw parametrization for n right-handed neutrinos,” Phys. Rev. D 86 (2012) 093023, [ 1207.5521]
2012 arXiv
-
[19]
Opening up baryon-number-violating operators
J. Heeck, D. Sokhashvili, and A. Thapa, “Opening up baryon-number-violating operators.” To appear, 2025
2025
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.