Recognition: 1 theorem link
· Lean TheoremCan a Nonstandard Invisible Pair Mimic the Michel Distribution?
Pith reviewed 2026-05-12 02:38 UTC · model grok-4.3
The pith
A massless complex scalar pair coupled through a purely left-handed vector current exactly reproduces the Michel distribution in lepton decays.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Within a general low-energy effective field theory, lepton decays to invisible pairs admit a unique nontrivial solution besides the standard spin-1/2 case. A massless complex scalar pair coupled through a purely left-handed vector current produces identical differential distributions to the Michel pattern, including extensions to polarization observables and radiative decays. All other spin and coupling combinations generate distinguishable kinematic signatures, especially extra prefactors from higher-spin pairs.
What carries the argument
The indistinguishability criterion that requires exact agreement across the full set of measurable differential distributions for the decay ℓ_i → ℓ_j + X X-bar in the massless limit.
If this is right
- Extracted Michel parameters would be identical for this scalar-pair scenario and the standard neutrinos.
- Polarization and radiative observables in the decays would show no deviation from standard expectations.
- Higher-spin invisible pairs are excluded because they introduce additional kinematic prefactors.
- The exact degeneracy is limited to the massless case and the restricted set of interaction structures considered.
Where Pith is reading between the lines
- Future experiments could break the degeneracy by searching for the scalars in high-energy production processes rather than decay spectra alone.
- This hidden sector could represent a form of invisible matter that evades all low-energy lepton-decay constraints.
- Similar mimicry possibilities may exist in other decay channels and warrant parallel checks.
- Small mass terms for the scalars would immediately lift the degeneracy through changes in the energy spectrum.
Load-bearing premise
The analysis assumes the invisible particles are exactly massless and judges indistinguishability solely by matching the complete set of differential decay distributions.
What would settle it
A high-precision measurement of the lepton energy and angular distribution in polarized muon decay that reveals any extra kinematic terms or deviations from the predicted Michel parameters for the scalar-pair case would show the mimicry does not hold.
read the original abstract
We ask whether a measured Michel distribution, apparently in excellent agreement with the Standard Model interpretation of the $\ell_i \to \ell_j \nu\bar\nu$ decay, could instead arise from a different invisible sector. Within a general low-energy effective field theory, we analyze lepton decays $\ell_i \to \ell_j + X\bar X$ for electrically neutral, color-singlet, mutually conjugate invisible pairs $X\bar X$ of spin up to $2$, allowing (pseudo)scalar, (axial)vector, and antisymmetric tensor interactions in the lepton current, focusing on the massless limit relevant for exact degeneracies. We formulate a criterion for indistinguishability based on the full set of measurable differential distributions. Under these assumptions, besides the obvious spin $1/2$ case, there is a unique nontrivial solution: a massless complex scalar pair coupled through a purely left-handed vector current exactly reproduces the standard Michel pattern, including its extensions to daughter-lepton polarization and radiative channels. All other cases studied here are distinguishable, in particular because higher-spin invisible pairs produce additional kinematic prefactors. These results isolate the only nonstandard and nontrivial invisible sector that can remain hidden in Michel-type lepton decay measurements.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript investigates whether nonstandard invisible pairs X Xbar can reproduce the Michel distribution in lepton decays ℓ_i → ℓ_j + X Xbar within a general low-energy EFT. Restricting to electrically neutral color-singlet conjugate pairs of spin ≤2 and (pseudo)scalar/(axial)vector/antisymmetric-tensor lepton currents, the authors focus on the massless limit and formulate an indistinguishability criterion based on the full set of measurable differential distributions. They conclude that, besides the standard spin-1/2 case, only a massless complex scalar pair coupled through a purely left-handed vector current exactly matches the Michel pattern, including daughter-lepton polarization and radiative channels; all other combinations introduce distinguishable kinematic prefactors.
Significance. If the central result holds, the work isolates a unique nontrivial loophole in precision Michel measurements, which are otherwise robust tests of the Standard Model and new physics. The systematic enumeration of Lorentz structures, explicit demonstration that higher-spin cases produce extra kinematic factors, and extension of the degeneracy to polarization and radiative observables provide a concrete reference for experimental analyses. The parameter-free nature of the degeneracy condition (arising directly from the absence of distinguishing prefactors) is a methodological strength.
minor comments (1)
- [Abstract] The abstract states the spins considered but does not explicitly list 'spin up to 2' in the opening sentence; adding this would improve immediate readability for readers scanning the summary.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of our manuscript, accurate summary of the central result, and recommendation to accept. The referee correctly identifies the unique nontrivial degeneracy we isolate and the methodological strengths of the analysis. No major comments were raised requiring response or revision.
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper enumerates all allowed Lorentz structures and spins (0-2) for the invisible pair in a general low-energy EFT, restricts to the massless limit, derives the full set of differential distributions (including polarization and radiative extensions) for each operator, and directly compares them to the Michel spectrum. The uniqueness result follows from the explicit absence of matching kinematic prefactors in all other cases, without any fitted parameters renamed as predictions, self-definitional loops, or load-bearing self-citations. The indistinguishability criterion is formulated from measurable observables and applied to the computed expressions, rendering the central claim independent of its inputs.
Axiom & Free-Parameter Ledger
axioms (3)
- domain assumption Invisible pairs are electrically neutral, color-singlet, and mutually conjugate
- domain assumption Interactions limited to (pseudo)scalar, (axial)vector, and antisymmetric tensor forms
- ad hoc to paper Massless limit is relevant for exact degeneracies
invented entities (1)
-
Massless complex scalar pair X Xbar
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclearbesides the obvious spin 1/2 case, there is a unique nontrivial solution: a massless complex scalar pair coupled through a purely left-handed vector current exactly reproduces the standard Michel pattern
Reference graph
Works this paper leans on
-
[1]
A consistent massless limit requires a gauge-invariant formulation [38] which, in this case, is automatic in terms of the field-strength tensor Vµν (describing a massless invisible vector particle), and not the bare Proca field. Vector interaction then takes the form O(V) V = V † αβ ← →∂µ V αβ [¯ℓjγµ(gLPL +g RPR)ℓi + h.c.](8) For a purely left-handed lept...
- [2]
- [3]
- [4]
-
[5]
W. Fetscher, H. J. Gerber, and K. F. Johnson, Phys. Lett. B173, 102 (1986)
work page 1986
- [6]
-
[7]
Navaset al.(Particle Data Group), Phys
S. Navaset al.(Particle Data Group), Phys. Rev. D110, 030001 (2024)
work page 2024
-
[8]
A. Flores-Tlalpa, G. López Castro, and P. Roig, JHEP 04, 185, arXiv:1508.01822 [hep-ph]
-
[9]
A. B. Arbuzov and T. V. Kopylova, JHEP09, 109, arXiv:1605.06612 [hep-ph]. 4 sX Interaction type Invisible currentJ X F0(x)F P (x) 0S J (0) S =ϕ †ϕ x 2 x2 0V J (0)µ V =i ϕ †← →∂µ ϕx 2(3−2x)−x 2(2x−1) 0T J (0)µν T =∂ [µϕ† ∂ν] ϕ x 2(1−x)(3−x)x 2(1−x)(1 +x) 1 2 S J (1/2) S(P) = ¯f(iγ5)f x 2(1−x)x 2(1−x) 1 2 V J (1/2)µ V(A) = ¯f γµ(γ5)fx 2(3−2x)−x 2(2x−1) 1 2 ...
-
[10]
R. E. Behrends, R. J. Finkelstein, and A. Sirlin, Phys. Rev.101, 866 (1956)
work page 1956
- [11]
-
[12]
A. Arbuzov and K. Melnikov, Phys. Rev. D66, 093003 (2002), arXiv:hep-ph/0205172
- [13]
-
[14]
C. Anastasiou, K. Melnikov, and F. Petriello, JHEP09, 014, arXiv:hep-ph/0505069
- [15]
- [16]
-
[17]
U. E. Voznaya and A. B. Arbuzov, Phys. Part. Nucl. Lett. 21, 601 (2024)
work page 2024
-
[18]
A. Pich, Prog. Part. Nucl. Phys.75, 41 (2014), arXiv:1310.7922 [hep-ph]
- [19]
- [20]
-
[21]
A. Jodidioet al., Phys. Rev. D34, 1967 (1986), [Erratum: Phys.Rev.D 37, 237 (1988)]
work page 1967
- [22]
- [23]
-
[24]
A. Pich and J. P. Silva, Phys. Rev. D52, 4006 (1995), arXiv:hep-ph/9505327
- [25]
- [26]
-
[27]
J. Heeck and M. Sokhashvili, Phys. Lett. B852, 138621 (2024), arXiv:2401.09580 [hep-ph]
- [28]
-
[29]
V. Bresó-Pla, S. Cruz-Alzaga, M. González-Alonso, and S. Prakash, Phys. Rev. Lett.135, 131802 (2025), arXiv:2502.18175 [hep-ph]
- [30]
- [31]
- [32]
- [33]
-
[34]
A. Crivellin, M. Hoferichter, and C. A. Manzari, Phys. Rev. Lett.127, 071801 (2021), arXiv:2102.02825 [hep-ph]
-
[35]
G. Prezeau and A. Kurylov, Phys. Rev. Lett.95, 101802 (2005), arXiv:hep-ph/0409193
- [36]
-
[37]
R. E. Shrock, Phys. Rev. D24, 1275 (1981)
work page 1981
- [38]
- [39]
- [40]
- [41]
- [42]
-
[43]
M. Porrati, Phys. Rev. D78, 065016 (2008), arXiv:0804.4672 [hep-th]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.