sin2_theta12_pred
plain-language theorem explainer
The predicted squared sine of the solar neutrino mixing angle equals phi to the negative two minus ten times the fine structure constant. Neutrino physicists cite this expression when validating geometric predictions for oscillation parameters near 0.307. It is realized as a direct subtraction of the radiative correction from the solar weight.
Claim. The predicted solar neutrino mixing angle is defined by $sin^2 theta_12 := phi^{-2} - 10 alpha$.
background
Module Physics.MixingDerivation formalizes the geometric derivation of the PMNS mixing matrix from the cubic ledger structure. The solar weight is the 2-step torsion gap given by phi to the negative two. The solar radiative correction is ten times alpha, arising from the passive energy factor.
proof idea
The definition is a one-line subtraction of the solar radiative correction from the solar weight. It implements the solar angle conjecture without additional lemmas.
why it matters
This supplies the solar angle input to the MixingCert certificate and the pmns_theta12_match theorem verifying agreement with observation to within 0.01. It completes the solar angle component of the PMNS derivation in the geometric mixing framework. It connects to the phi-ladder and the alpha band; the precise bounds on corrections remain open for refinement.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.