pith. sign in

arxiv: 2512.09287 · v2 · submitted 2025-12-10 · ✦ hep-ph

Nucleon decays into three leptons: contact contributions

Pith reviewed 2026-05-17 00:09 UTC · model grok-4.3

classification ✦ hep-ph
keywords baryon number violationnucleon decaysthree leptonsdimension-9 operatorslow-energy effective theorychiral perturbation theorycontact interactions
0
0 comments X p. Extension

The pith

Dim-9 operators supply contact terms for nucleon decays into three leptons that existing data now tightly bound.

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

This paper investigates baryon-number-violating nucleon decays into three leptons that proceed through direct contact interactions generated by dimension-9 operators in the low-energy effective theory. These modes differ from the more familiar two-body decays and were previously shown to receive only small non-contact contributions from lower-dimensional operators. The authors build the full set of relevant dimension-9 operators, match them to chiral perturbation theory, and compute the resulting decay widths. They then translate current experimental limits on nucleon lifetimes into upper bounds on the operator coefficients. The work also sketches how an ultraviolet-complete model can generate the same operators, opening a path for targeted searches in future neutrino detectors.

Core claim

A complete basis of dimension-9 LEFT operators is constructed that mediate contact contributions to nucleon decays into three leptons. After matching onto chiral perturbation theory, the decay widths are calculated and confronted with existing experimental data, yielding stringent constraints on the operator coefficients.

What carries the argument

Complete basis of dimension-9 LEFT operators for baryon-number-violating three-lepton final states, matched to chiral perturbation theory for matrix-element evaluation.

If this is right

  • Existing data already place strong upper limits on the coefficients of the relevant dim-9 operators.
  • Contact contributions can dominate over the suppressed non-contact terms from dim-6 operators.
  • The same operator framework connects directly to ultraviolet models that could produce observable signals.
  • These decay channels become searchable targets for upcoming neutrino experiments with large fiducial volumes.

Where Pith is reading between the lines

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

  • If the bounds are close to saturation, next-generation detectors could see the first signals in specific three-lepton modes.
  • The operator analysis could be extended to include other baryon-number-violating final states or mixed lepton flavors.
  • Model builders can use the derived coefficients as targets when constructing grand-unified or other high-scale scenarios.
  • The constraints may also inform interpretations of related processes such as neutron-antineutron oscillation searches.

Load-bearing premise

The constructed dimension-9 operator basis is complete for three-lepton final states and the chiral perturbation theory matching captures the leading contributions without large higher-order corrections.

What would settle it

An observed nucleon decay rate into three leptons that exceeds the upper limit set by the derived operator bounds would require either new operators or sizable higher-order corrections.

read the original abstract

Baryon number violating (BNV) nucleon decays into three leptons provide a unique probe of BNV interactions beyond the conventional two-body modes involving a single lepton and a light meson. In a previous work [Nucleon decays into three leptons: noncontact contributions, arXiv:2512.02692.], two of us analyzed the noncontact contributions to these decays arising from dimension-6 (dim-6) operators within the low-energy effective field theory (LEFT), and found that they are severely suppressed due to stringent constraints on these dim-6 operators. In this work, we continue this endeavor by systematically investigating the contact contributions originating from dim-9 LEFT operators. We construct a complete basis of dim-9 operators relevant to these processes, and subsequently match them onto chiral perturbation theory to calculate their decay widths. By employing existing experimental data, we derive stringent constraints on the relevant operators. In addition, we present the analysis of an ultraviolet-complete model to demonstrate its connection with our theoretical framework, thereby facilitating further studies of these exotic nucleon decays in upcoming neutrino experiments with large fiducial masses.

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.

Referee Report

2 major / 2 minor

Summary. The paper constructs a complete basis of dimension-9 LEFT operators contributing to baryon-number-violating nucleon decays into three leptons, matches these operators to leading-order chiral perturbation theory, computes the resulting decay widths, and derives constraints on the Wilson coefficients from existing experimental limits. It also presents an ultraviolet-complete model example to illustrate the link to high-scale physics, as a follow-up to the authors' prior analysis of non-contact dim-6 contributions.

Significance. If the operator basis is complete and the chiral matching captures the dominant contributions, the work supplies useful bounds on dim-9 BNV contact interactions that complement two-body decay searches and can inform future neutrino experiments with large fiducial volumes. The explicit UV model connection is a positive feature that aids model-building efforts.

major comments (2)
  1. [§2] §2 (dim-9 operator basis): The manuscript asserts that the enumerated set of dim-9 operators is complete for all B- and L-violating structures that can contribute to N → 3ℓ final states, yet provides no independent cross-check (e.g., Hilbert-series counting or exhaustive listing of Lorentz and flavor structures) against possible missing operators that could interfere after matching. This completeness is load-bearing for the stringency of the derived Wilson-coefficient bounds.
  2. [§3] §3 (ChPT matching): The matching of the dim-9 operators onto leading-order chiral perturbation theory is performed without a quantitative estimate of the size of O(p^4) or higher corrections at the typical momentum transfers of nucleon decays; if these corrections are O(1), they would directly affect the extracted limits.
minor comments (2)
  1. [Table 1] Table 1: the notation for the flavor indices in the operator list is not defined in the caption or surrounding text, making it difficult to reproduce the basis.
  2. [Introduction] The abstract and introduction could more explicitly reference the companion paper (arXiv:2512.02692) when stating how the contact and non-contact contributions are combined.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful review and constructive comments on our manuscript. We appreciate the positive assessment of the work's significance and the explicit UV model connection. Below we provide point-by-point responses to the major comments. We have revised the manuscript accordingly to address the concerns raised.

read point-by-point responses
  1. Referee: [§2] §2 (dim-9 operator basis): The manuscript asserts that the enumerated set of dim-9 operators is complete for all B- and L-violating structures that can contribute to N → 3ℓ final states, yet provides no independent cross-check (e.g., Hilbert-series counting or exhaustive listing of Lorentz and flavor structures) against possible missing operators that could interfere after matching. This completeness is load-bearing for the stringency of the derived Wilson-coefficient bounds.

    Authors: We thank the referee for this important observation. The basis was constructed by enumerating all SM-gauge-invariant three-fermion operators with the required baryon-number violation (ΔB = 1) and lepton-number violation (ΔL = 3) that can produce a nucleon decaying to three leptons, while systematically listing independent Lorentz structures and flavor assignments. Although an explicit Hilbert-series computation was not included in the original draft, the enumeration follows the same procedure used in our prior dim-6 analysis and is consistent with existing literature on higher-dimensional BNV operators. To strengthen the claim, we will add a dedicated paragraph in §2 describing the construction steps in more detail and stating that no additional operators contribute at this dimension. We are happy to incorporate any specific operator the referee believes may have been missed. revision: yes

  2. Referee: [§3] §3 (ChPT matching): The matching of the dim-9 operators onto leading-order chiral perturbation theory is performed without a quantitative estimate of the size of O(p^4) or higher corrections at the typical momentum transfers of nucleon decays; if these corrections are O(1), they would directly affect the extracted limits.

    Authors: We agree that a quantitative assessment of higher-order chiral corrections is desirable. In the present work we employed leading-order matching, which captures the dominant low-energy contribution for these processes. To address the referee’s concern, we will add a brief discussion in §3 using chiral power counting: the typical momentum scale is set by the nucleon mass difference or pion mass (~100–300 MeV), yielding an expansion parameter p/(4πf_π) ≈ 0.2–0.3 and suggesting that NLO corrections are of order 10–30 %. We will explicitly note that the derived Wilson-coefficient bounds carry this theoretical uncertainty and should be interpreted as order-of-magnitude constraints. This addition will be included in the revised manuscript. revision: yes

Circularity Check

0 steps flagged

No significant circularity; constraints derived from external data after internal basis construction and standard matching

full rationale

The paper constructs a complete dim-9 LEFT operator basis for N → 3ℓ contact contributions, matches the operators onto leading-order chiral perturbation theory to obtain decay widths, and then applies existing experimental data to extract bounds on Wilson coefficients. This chain relies on enumeration (performed in the present work), standard EFT matching techniques, and independent external data rather than any fitted parameter renamed as a prediction or any self-definitional loop. The single self-citation to the authors' prior arXiv:2512.02692 paper addresses only the separate non-contact dim-6 contributions and functions as background context, not as a load-bearing premise for the current results. No step reduces by construction to the paper's own inputs, so the derivation remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The analysis rests on standard assumptions of low-energy effective field theory and chiral perturbation theory together with the completeness of the enumerated operator set; no new particles or forces are postulated beyond the operator coefficients.

free parameters (1)
  • Wilson coefficients of dim-9 operators
    The strengths of the new operators remain free parameters that are bounded by experimental data rather than predicted from first principles.
axioms (2)
  • domain assumption The constructed set of dimension-9 operators forms a complete basis for the relevant baryon-number-violating three-lepton processes.
    Invoked when the authors state they build a complete basis before matching to chiral perturbation theory.
  • domain assumption Chiral perturbation theory provides an accurate leading-order description of the nucleon decay matrix elements.
    Used to translate the LEFT operators into decay widths.

pith-pipeline@v0.9.0 · 5489 in / 1351 out tokens · 79990 ms · 2026-05-17T00:09:08.675344+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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

23 extracted references · 23 canonical work pages · 6 internal anchors

  1. [1]

    L. F. Abbott and M. B. Wise,The Effective Hamiltonian for Nucleon Decay,Phys. Rev. D22(1980) 2208

  2. [2]

    Claudson, M

    M. Claudson, M. B. Wise and L. J. Hall,Chiral Lagrangian for Deep Mine Physics,Nucl. Phys. B 195(1982) 297–307

  3. [3]

    A. B. Beneito, I, J. Gargalionis, J. Herrero-Garcia, A. Santamaria and M. A. Schmidt,An EFT approach to baryon number violation: lower limits on the new physics scale and correlations between nucleon decay modes,JHEP07(2024) 004, [2312.13361]

  4. [4]

    Model-independent estimates for loop-induced baryon-number-violating nucleon decays,

    J. Gargalionis, J. Herrero-Garc´ ıa and M. A. Schmidt,Model-independent estimates for loop-induced baryon-number-violating nucleon decays,JHEP06(2024) 182, [2401.04768]

  5. [5]

    Chiral perturbation theory for baryon-number-violating nucleon decay into a vector meson,

    Y. Liao, X.-D. Ma and H.-L. Wang,Chiral perturbation theory for baryon-number-violating nucleon decay into a vector meson,Phys. Rev. D112(2025) L031704, [2506.05052]

  6. [6]

    J. Chen, Y. Liao, X.-D. Ma and H.-L. Wang,Nucleon decays into three leptons: noncontact contributions,2512.02692

  7. [7]

    Weinberg,Varieties of Baryon and Lepton Nonconservation,Phys

    S. Weinberg,Varieties of Baryon and Lepton Nonconservation,Phys. Rev. D22(1980) 1694

  8. [8]

    Proton decay into charged leptons

    T. Hambye and J. Heeck,Proton decay into charged leptons,Phys. Rev. Lett.120(2018) 171801, [1712.04871]

  9. [9]

    Heeck and V

    J. Heeck and V. Takhistov,Inclusive Nucleon Decay Searches as a Frontier of Baryon Number Violation,Phys. Rev. D101(2020) 015005, [1910.07647]

  10. [10]

    New Chiral Structures for Baryon Number Violating Nucleon Decays,

    Y. Liao, X.-D. Ma and H.-L. Wang,New Chiral Structures for Baryon Number Violating Nucleon Decays,Phys. Rev. Lett.135(2025) 161801, [2504.14855]

  11. [11]

    Improved Lower Bounds on Partial Lifetimes for Nucleon Decay Modes,

    S. Girmohanta and R. Shrock,Improved Lower Bounds on Partial Lifetimes for Nucleon Decay Modes,Phys. Rev. D100(2019) 115025, [1910.08106]

  12. [12]

    J. C. Criado,BasisGen: automatic generation of operator bases,Eur. Phys. J. C79(2019) 256, [1901.03501]

  13. [13]

    H.-L. Li, Z. Ren, M.-L. Xiao, J.-H. Yu and Y.-H. Zheng,Low energy effective field theory operator basis at d≤9,JHEP06(2021) 138, [2012.09188]

  14. [14]

    Renormalization Group Evolution of Dimension-seven Baryon- and Lepton-number-violating Operators

    Y. Liao and X.-D. Ma,Renormalization Group Evolution of Dimension-seven Baryon- and Lepton-number-violating Operators,JHEP11(2016) 043, [1607.07309]

  15. [15]

    Liao, X.-D

    Y. Liao, X.-D. Ma and H.-L. Wang,Effective field theory approach to lepton number violating decays K ± →π ∓l±l±: short-distance contribution,JHEP01(2020) 127, [1909.06272]

  16. [16]

    Liao and X.-D

    Y. Liao and X.-D. Ma,An explicit construction of the dimension-9 operator basis in the standard model effective field theory,JHEP11(2020) 152, [2007.08125]. – 27 –

  17. [17]

    H.-L. Li, Z. Ren, M.-L. Xiao, J.-H. Yu and Y.-H. Zheng,Complete set of dimension-nine operators in the standard model effective field theory,Phys. Rev. D104(2021) 015025, [2007.07899]

  18. [18]

    R. V. Harlander, T. Kempkens and M. C. Schaaf,Standard model effective field theory up to mass dimension 12,Phys. Rev. D108(2023) 055020, [2305.06832]

  19. [19]

    Bhoonah, F

    A. Bhoonah, F. Burk, D. Liu, T. Ou and D. Sathyan,A Baryon and Lepton Number Violation Model Testable at the LHC,2508.21064

  20. [20]

    W.-Q. Fan, Y. Liao, X.-D. Ma and H.-L. Wang,Comprehensive investigation on baryon number violating nucleon decays involving an axion-like particle,2507.11844

  21. [21]

    J.-S. Yoo, Y. Aoki, P. Boyle, T. Izubuchi, A. Soni and S. Syritsyn,Proton decay matrix elements on the lattice at physical pion mass,Phys. Rev. D105(2022) 074501, [2111.01608]. [28]Super-Kamiokandecollaboration, M. Tanaka et al.,Search for proton decay into three charged leptons in 0.37 megaton-years exposure of the Super-Kamiokande,Phys. Rev. D101(2020) ...

  22. [22]

    Search for Trilepton Nucleon Decay via $p \rightarrow e^+ \nu \nu$ and $p \rightarrow \mu^+ \nu \nu$ in the Super-Kamiokande Experiment

    C. McGrew et al.,Search for nucleon decay using the IMB-3 detector,Phys. Rev. D59(1999) 052004. [30]Super-Kamiokandecollaboration, V. Takhistov et al.,Search for Trilepton Nucleon Decay via p→e +ννandp→µ +ννin the Super-Kamiokande Experiment,Phys. Rev. Lett.113(2014) 101801, [1409.1947]. [31]SNO+collaboration, A. Allega et al.,Improved search for invisibl...

  23. [23]

    New Developments in FeynCalc 9.0

    V. Shtabovenko, R. Mertig and F. Orellana,New Developments in FeynCalc 9.0,Comput. Phys. Commun.207(2016) 432–444, [1601.01167]. – 28 –