xenon_sensitivity
Xenon sensitivity is defined as the constant 10.0 to encode that XENON1T is roughly ten times more sensitive than DAMA. Experimental physicists reconciling DAMA's reported modulation with null results elsewhere would cite this ratio when testing WIMP versus substrate interpretations. The definition is a direct numerical assignment with no computation or lemmas.
claimThe sensitivity of XENON1T relative to DAMA is $10$.
background
The DAMA/LIBRA module EA-005 frames dark matter as the substrate ledger carrier rather than particles, predicting null direct-detection signals. It contrasts DAMA's ~12σ annual modulation with null results from XENON, LUX, and PandaX at higher sensitivity. Upstream results supply the collision-free empirical program structure and the algebraic edge-length relation from psi that underwrite treating detector outcomes as ledger properties.
proof idea
The definition is a direct numerical assignment of the real number 10.0. No lemmas or tactics are invoked.
why it matters in Recognition Science
The constant enters theorems EA-005.2, EA-005.4, EA-005.9, and EA-005.12 that establish XENON null results support the substrate model and disfavor WIMPs. It fills the experimental comparison step in the EA-005 chain, consistent with the Recognition Science prediction of no particle dark matter signal. The value closes the loop between the ~12σ DAMA claim and the ledger-based explanation of detector discrepancies.
scope and limits
- Does not derive the factor 10 from detector parameters or cross sections.
- Does not incorporate energy thresholds, backgrounds, or exposure times.
- Does not address modulation phase or amplitude beyond the sensitivity ratio.
- Does not model temperature or radon systematics in the NaI(Tl) detectors.
Lean usage
theorem xenon_more_sensitive : xenon_sensitivity > 5 := by unfold xenon_sensitivity; norm_numformal statement (Lean)
63noncomputable def xenon_sensitivity : ℝ := 10.0
proof body
Definition body.
64
65/-- **THEOREM EA-005.1**: DAMA significance is high.
66 ~12σ is statistically significant if purely statistical. -/