bsm_not_required
plain-language theorem explainer
The declaration establishes that no beyond-standard-model physics is required to explain the XENON1T low-energy excess, since the tritium background accounts for the observed 2-3 keV recoils and rate. Dark matter experimentalists and particle physicists analyzing recoil data would cite it to favor the standard-model explanation over axion or neutrino-moment interpretations. The proof is a direct reflexivity step that equates the statement to the prior tritium likelihood theorem.
Claim. No beyond-standard-model physics is required; the tritium background explains the XENON1T low-energy electron recoil excess at 2-3 keV.
background
The EA-006 module analyzes the XENON1T/nT low-energy excess, considering tritium background, solar axions, and neutrino magnetic moment as possible sources for the 2-3 keV electron recoils at ~2-3 sigma significance. Tritium at natural concentrations (~10^{-20} level in xenon) produces the observed rate and spectrum peak without new physics. The upstream result states that tritium is the most likely explanation with probability ~70% among the alternatives.
proof idea
The proof is a one-line term that applies reflexivity to the tritium_most_likely theorem.
why it matters
This result completes the RS verdict in the EA-006 analysis by confirming the excess needs no new physics. It feeds the ea006_certificate, which records the status as analyzed with tritium background matching the data. The placement aligns with the framework preference for minimal explanations that avoid BSM extensions when standard backgrounds suffice.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.