bestFitPMNS
plain-language theorem explainer
bestFitPMNS constructs the Pontecorvo-Maki-Nakagawa-Sakata parameters record by converting the observed best-fit mixing angles from degrees to radians. Neutrino physicists working on flavor oscillations inside Recognition Science would cite this definition when inserting experimental inputs into RS-derived mixing calculations. The definition is a direct structure constructor that scales the sibling degree values by π/180.
Claim. The best-fit Pontecorvo-Maki-Nakagawa-Sakata parameters are the structure whose solar mixing angle satisfies $θ_{12} = θ_{12}^° ⋅ π/180$, atmospheric angle $θ_{23} = θ_{23}^° ⋅ π/180$, reactor angle $θ_{13} = θ_{13}^° ⋅ π/180$, and CP-violating phase $δ_{CP} = δ_{CP}^° ⋅ π/180$, where the degree quantities are the standard observed best-fit values.
background
The module develops the Pontecorvo-Maki-Nakagawa-Sakata neutrino mixing matrix inside Recognition Science by connecting the three angles to golden-ratio geometry. The Pontecorvo-Maki-Nakagawa-Sakata parameters structure holds the solar, atmospheric, and reactor angles together with the CP phase, all expressed in radians. The local theoretical setting emphasizes the large mixing angles (unlike the small CKM angles), notes the near-maximal atmospheric angle, and lists explicit φ-quantized trial values such as sin²θ₁₂ ≈ 1/(1 + φ²) ≈ 0.276 versus the observed 0.307. Upstream results supply auxiliary hypothesis bundles from fluid models and empirical programs, while the immediate dependencies are the degree-valued angle definitions.
proof idea
The definition is a direct structure constructor. It populates each field of the Pontecorvo-Maki-Nakagawa-Sakata parameters record by multiplying the corresponding degree-valued sibling definition by π/180.
why it matters
This definition supplies the concrete numerical best-fit input required for any evaluation of the PMNS matrix inside the Recognition Science framework. It anchors the SM-014 derivation of neutrino mixing angles from φ-geometry, the target of the module's PRD paper proposition. The values enable direct numerical comparison with the golden-ratio mixing hypotheses stated in the module comments. No downstream uses are recorded yet, leaving open the integration of these parameters into full oscillation-probability calculations.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.