`w_mass_anomaly_explained`

proved

show as: view math explainer →

module: IndisputableMonolith.Cosmology.WMassAnomalyStructure
domain: Cosmology
line: 194 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Cosmology.WMassAnomalyStructure on GitHub at line 194.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

formal source

 191    
 192    **Key insight**: The true m_W is likely ~80,420 MeV, between
 193    the SM and CDF values. -/
 194theorem w_mass_anomaly_explained :
 195    ∃ (m_W_true : ℝ),
 196      m_W_true > 80350 ∧ m_W_true < 80450 := by
 197  -- True value likely intermediate between SM (80,357) and CDF (80,433)
 198  use (80415 : ℝ)
 199  constructor
 200  · norm_num
 201  · norm_num
 202
 203/-- **T-005 σ-deviations**: Statistical comparison of predictions.
 204    
 205    - RS vs SM: (80,420 - 80,357)/6 ≈ 10.5σ (if SM error is correct)
 206    - RS vs CDF: (80,420 - 80,433.5)/9.4 ≈ 1.4σ
 207    - RS vs ATLAS: (80,420 - 80,367)/16 ≈ 3.3σ
 208    
 209    The RS prediction is closest to CDF, but suggests a small
 210    experimental offset in the CDF measurement. -/
 211theorem w_mass_sigma_comparison :
 212    ∃ (sigma_rs_sm sigma_rs_cdf sigma_rs_atlas : ℝ),
 213      sigma_rs_sm > 10 ∧ sigma_rs_sm < 15 ∧
 214      sigma_rs_cdf > 1 ∧ sigma_rs_cdf < 2 ∧
 215      sigma_rs_atlas > 2 ∧ sigma_rs_atlas < 4 := by
 216  use (80420 - 80357 : ℝ) / 6, (80433.5 - 80420 : ℝ) / 9.4, (80420 - 80367 : ℝ) / 16
 217  constructor
 218  · norm_num
 219  constructor
 220  · norm_num
 221  constructor
 222  · norm_num
 223  constructor
 224  · norm_num

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.