deltam21_sq
plain-language theorem explainer
The solar neutrino mass squared difference is fixed at 7.42 × 10^{-5} eV². Neutrino phenomenologists cite this constant when testing Recognition Science predictions for mass ratios against powers of the golden ratio. The definition is a direct numerical assignment with no computation or lemmas applied.
Claim. $Δm_{21}^2 := 7.42 × 10^{-5} eV²$
background
The PMNSMatrix module targets derivation of the Pontecorvo-Maki-Nakagawa-Sakata neutrino mixing matrix from Recognition Science, where flavor mixing angles are phi-quantized and large compared to CKM angles. The solar splitting Δm²₂₁ enters mass ratio calculations that compare observed oscillation data to φ^7 scalings. This definition is imported from the upstream NeutrinoMassHierarchy module, which assigns the identical numerical value.
proof idea
The declaration is a direct numerical definition that assigns the experimental value 7.42e-5 to the solar mass splitting. No lemmas or tactics are invoked; it serves as a constant for downstream ratio computations such as massRatio.
why it matters
This constant feeds the massRatio definition and the theorems mass_ratio_phi4 and mass_ratio_phi7 that bound deviations from φ^4 and φ^7 scalings. It supplies the numerical input required by the paper proposition on neutrino mixing angles from golden ratio geometry. In the framework it anchors checks against the phi-ladder and self-similar fixed point.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.