Registry · Proposition
IV.P61
tau-effective
formalized
IV.P61 — Measured Rho
rho_exp = 1.0004 pm 0.0003. Deviation from unity dominated by top-quark loop: Delta_rho ~ 3G_F m_t^2/(8pi^2 sqrt(2)) ~ 0.009, reduced to 0.0004 after Higgs and QCD corrections.