wz_mass_ratio
plain-language theorem explainer
The W/Z mass ratio is supplied as the quotient of the W boson mass (80.3692 GeV) by the Z boson mass (91.1876 GeV). Electroweak model builders cite this ratio when verifying consistency with the predicted cos(θ_W) from the weak mixing angle. The definition is a direct arithmetic division of two fixed real constants.
Claim. The W/Z boson mass ratio is defined by $m_W / m_Z$, where $m_W = 80.3692$ GeV and $m_Z = 91.1876$ GeV.
background
In the Recognition Science treatment of electroweak bosons, the W and Z masses arise from the Higgs mechanism after symmetry breaking SU(2)_L × U(1)_Y to U(1)_EM. The module derives these masses from the J-cost minimum and places the vacuum expectation value on the phi-ladder. The ratio is expected to equal cos(θ_W), the cosine of the Weinberg angle. The constants wBosonMass_GeV and zBosonMass_GeV are defined as 80.3692 and 91.1876 respectively, matching experimental values. Upstream anchors such as the Z function in Masses.Anchor provide the integer map for sector charges, but here the masses are taken as inputs for the ratio.
proof idea
This is a one-line definition that divides the W boson mass constant by the Z boson mass constant.
why it matters
This definition supplies the input for the theorem wz_ratio_equals_cos_theta, which checks that the ratio lies within 0.005 of cos_theta_W, and for wz_ratio_lt_one confirming it is less than unity. It fills the electroweak mass relation step in the P-015 derivation, linking the RS phi-ladder placement of the VEV to the observed boson masses. The framework predicts the ratio as cos(θ_W) ≈ 0.882 from the gauge structure.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.