deepConnections
plain-language theorem explainer
The declaration enumerates three core connections for the Weinberg angle in Recognition Science: charge quantization from discrete phases, mass ratios fixed by φ-constrained symmetry breaking, and unification from φ-ladder convergence. A physicist deriving electroweak parameters from information-theoretic principles would cite this summary when relating the 8-tick geometry to measured sin²θ_W. The definition is a direct enumeration of these items drawn from the module's φ-optimization analysis.
Claim. The fundamental connections for the electroweak mixing angle are the list consisting of charge quantization from discrete phases, mass ratio from φ-constrained symmetry breaking, and unification from φ-ladder convergence.
background
The module derives the weak mixing angle θ_W from Recognition Science φ-structure, with target value sin²(θ_W) ≈ 0.2229 at the Z mass scale. This angle emerges from the 8-tick phase geometry in which electroweak mixing corresponds to a gauge-group embedding optimized by φ. Upstream results supply the structure of nuclear densities and photon fluxes via the of construction in NucleosynthesisTiers, the definitions Charge := ℝ and Mass := ℝ in RS-native units, and the structure of (ℝ₊, ×) together with J calibration from LedgerFactorization.
proof idea
The definition directly constructs the three-element list of strings. No lemmas or tactics are invoked; it is a straightforward enumeration based on the 8-tick structure and φ-optimization stated in the module documentation.
why it matters
This definition summarizes the core results for the electroweak mixing derivation in the Standard Model module and supports the subsequent experimental tests section comparing to LEP and SLD data. It fills the paper proposition on electroweak mixing from information-theoretic principles by highlighting emergence from the 8-tick octave with φ-optimization. It touches the open question of precise numerical agreement with the observed sin²θ_W ≈ 0.231.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.