dama_modulation_amplitude
The declaration supplies the numerical value of the DAMA/LIBRA annual modulation amplitude in counts per day per kilogram per keV. Experimental physicists comparing direct detection results would cite this constant to quantify the tension between DAMA and xenon-based null searches. The definition is a direct assignment of the observed value 0.02.
claimThe DAMA/LIBRA modulation amplitude is $0.02$ counts per day per kilogram per keV.
background
In the Recognition Science analysis of dark matter, the substrate model treats dark matter as the ledger carrier rather than weakly interacting massive particles. This leads to the prediction that direct detection experiments should observe no WIMP signals, consistent with null results from XENON, LUX, and PandaX. The DAMA/LIBRA experiment reports an annual modulation with amplitude 0.02 cpd/kg/keV at phase consistent with Earth's orbit. The module uses this value to contrast with higher-sensitivity null searches. The upstream definition of significance highlights the phi^34 connection, where 34 is the ninth Fibonacci number linking Planck scale to larger structures via the eight-tick octave.
proof idea
This is a direct definition assigning the constant value 0.02 to the real number representing the DAMA modulation amplitude.
why it matters in Recognition Science
The value feeds directly into the theorems null_supports_substrate and nulls_support_rs, which establish that xenon sensitivity exceeds the DAMA amplitude and thereby supports the RS substrate model. It supplies the experimental datum for proposition EA-005.4 and EA-005.12 in the module, confirming consistency with the prediction of no particle dark matter signals. This anchors the experimental comparison within the Recognition framework's dark matter analysis.
scope and limits
- Does not derive the amplitude from the J-cost functional equation or phi-ladder.
- Does not claim the modulation originates from dark matter particles.
- Does not include annual phase information or temperature corrections.
Lean usage
unfold dama_modulation_amplitudeformal statement (Lean)
55noncomputable def dama_modulation_amplitude : ℝ := 0.02
proof body
Definition body.
56
57/-- DAMA significance (σ).
58 Value: ~12σ over 20+ years -/