theta13_degrees
plain-language theorem explainer
θ₁₃ is assigned the numerical value 8.57 degrees as the reactor neutrino mixing angle. Neutrino oscillation analysts building PMNS fits cite this constant when populating the best-fit parameter record. The declaration is a direct numerical assignment with no computation or lemmas.
Claim. The reactor mixing angle satisfies $θ_{13} = 8.57^°$.
background
The PMNSMatrix module targets derivation of the Pontecorvo-Maki-Nakagawa-Sakata neutrino mixing matrix from Recognition Science, where the three angles are φ-quantized. θ₁₃ denotes the reactor angle (distinct from solar θ₁₂ and atmospheric θ₂₃), with the module noting large mixing and maximal θ₂₃. This definition supplies the observed reactor value used downstream to assemble the full parameter set.
proof idea
One-line definition that directly assigns the numerical constant 8.57 with no lemmas or reductions applied.
why it matters
Supplies the observed θ₁₃ input to bestFitPMNS, which assembles the complete PMNS parameter record for comparison against RS predictions such as phi_prediction_theta13. This anchors the empirical side of the SM-014 derivation of PMNS angles from golden ratio geometry. The module doc flags the associated paper proposition on neutrino mixing angles.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.