theta12_degrees
plain-language theorem explainer
The solar neutrino mixing angle θ12 is supplied as the constant 33.44 degrees drawn from oscillation data. Recognition Science modelers cite it when assembling the PMNS matrix to compare φ-quantized predictions against experiment. The definition is a direct real-number assignment with no derivation or lemmas applied.
Claim. $θ_{12} = 33.44^°$ (solar mixing angle, with sin²θ12 ≈ 0.307).
background
The PMNS matrix encodes neutrino flavor mixing between νe, νμ, ντ and mass eigenstates ν1, ν2, ν3. Recognition Science treats the large mixing angles as φ-quantized, contrasting with the small CKM angles, and targets derivation from golden-ratio geometry. This definition supplies the empirical solar angle θ12 for the best-fit parameter record.
proof idea
One-line definition that directly assigns the constant 33.44 to the real number theta12_degrees.
why it matters
It populates the theta12 field inside bestFitPMNS, which assembles the full PMNS parameter set for downstream use. The value anchors the empirical side of the module's target to derive PMNS angles from RS, supporting the paper proposition on neutrino mixing from golden ratio geometry. It sits alongside sibling definitions such as phi_prediction_theta12 for direct comparison.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.