temperature_coefficient
plain-language theorem explainer
The definition supplies the fixed value 0.01 for the temperature coefficient of NaI(Tl) detectors, encoding an approximate one-percent efficiency shift per degree Celsius. Experimental groups reanalyzing DAMA/LIBRA annual modulation data would cite it when testing whether seasonal temperature swings at Gran Sasso can account for the observed signal. It is introduced by direct assignment of the real constant together with a short physical annotation.
Claim. The temperature coefficient for NaI(Tl) is the real number $0.01$, representing an approximate $1$ percent change in detection efficiency per degree Celsius.
background
The DAMA/LIBRA module examines whether the reported annual modulation arises from environmental systematics rather than dark-matter interactions. Recognition Science models dark matter as a substrate ledger carrier, which predicts null WIMP signals in all direct-detection experiments. The upstream temperature definition states that temperature equals the inverse Lagrange multiplier β and satisfies the thermodynamic relation dE/dS = T.
proof idea
The definition is a direct constant assignment of the real number 0.01. No lemmas or tactics are invoked; the value is supplied explicitly for use in downstream arithmetic checks.
why it matters
The constant feeds the two downstream theorems that establish temperature_can_explain (showing a 10 percent efficiency swing from 10 °C variation) and dama_likely_systematic. These results support the EA-005 claim that DAMA modulation is environmental and that XENON/LUX/PandaX null results are consistent with the substrate model. The coefficient therefore closes one link in the chain from Recognition Science dark-matter predictions to concrete experimental systematics.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.