IndisputableMonolith.Physics.ElectroweakBosons
This module defines the W and Z boson masses in GeV along with the vacuum expectation value, weak mixing angle, and their ratios inside the Recognition Science framework. Particle physicists seeking mass predictions from self-similar discrete ledgers would cite these values when comparing to collider data. The module assembles the quantities as definitions that convert RS-native units (from phi-forcing and constants) into GeV-scale numbers near the observed 80 GeV and 91 GeV.
claimThe module supplies $m_W$ (W-boson mass), $m_Z$ (Z-boson mass), $v$ (vacuum expectation value), and $s_W^2 = 1 - (m_W/m_Z)^2$ expressed in GeV, together with the numerical approximations $m_W/m_Z = c_W$ and the weak coupling $g$.
background
Recognition Science starts from a discrete ledger equipped with J-cost, where the PhiForcing module proves that the golden ratio φ arises as the unique self-similar fixed point satisfying the functional equation J(xy) + J(x/y) = 2J(x)J(y) + 2J(x) + 2J(y). The Constants module fixes the fundamental time quantum τ₀ = 1 tick. ElectroweakBosons converts these structures into the electroweak sector by placing the W and Z masses on the phi-ladder and expressing them in laboratory GeV units.
proof idea
This is a definition module, no proofs. It directly assembles the listed quantities (wBosonMass_GeV, zBosonMass_GeV, vev_GeV, sin2_theta_W, wz_mass_ratio, etc.) from the imported constants and phi-forcing results.
why it matters in Recognition Science
The definitions supply the concrete boson masses required by the downstream WeakForceEmergence module (P-019), which derives the weak nuclear force from the underlying ledger structure. They close the numerical link between the phi-forced constants and the observed electroweak scale.
scope and limits
- Does not derive the full electroweak Lagrangian or gauge interactions.
- Does not compute decay widths or cross sections.
- Does not address radiative corrections or running couplings.
- Does not prove the origin of the vev from spontaneous symmetry breaking.
used by (1)
depends on (2)
declarations in this module (36)
-
def
wBosonMass_GeV -
def
zBosonMass_GeV -
def
vev_GeV -
def
sin2_theta_W -
def
cos_theta_W -
def
wz_mass_ratio -
theorem
wz_ratio_equals_cos_theta -
def
predicted_z_from_w -
def
weak_coupling_g -
theorem
weak_coupling_approx -
theorem
w_mass_near_80 -
theorem
z_mass_near_91 -
theorem
z_heavier_than_w -
theorem
wz_masses_positive -
theorem
wz_masses_not_equal -
theorem
sin2_theta_approx -
theorem
sin2_theta_window -
theorem
sin2_theta_not_half -
theorem
wz_ratio_lt_one -
def
electronMass_GeV -
def
w_electron_ratio -
def
phi_23 -
def
phi_24 -
def
vev_electron_ratio -
def
phi_27 -
def
higgsMass_GeV -
def
higgs_w_ratio -
theorem
higgs_w_near_phi -
def
z_w_ratio -
theorem
z_w_ratio_approx -
theorem
vev_determines_scale -
theorem
vev_not_equal_higgs_mass -
def
electroweakBosons -
theorem
electroweak_8_tick -
def
zPolarizations -
def
wPolarizations