`WMassAnomalyResolution`

definition

show as: view math explainer →

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

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Cosmology.WMassAnomalyStructure on GitHub at line 250.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

used by

w_mass_anomaly_resolved IndisputableMonolith.Cosmology.WMassAnomalyStructure

formal source

 247    
 248    **Interpretation**: Not "new physics", but the true RS electroweak
 249    scale emerging from φ-ladder structure. -/
 250structure WMassAnomalyResolution where
 251  /-- RS prediction -/
 252  rs_prediction : ∃ m : ℝ, m > 80400 ∧ m < 80450
 253  /-- SM prediction -/
 254  sm_prediction : ∃ m : ℝ, m = 80357
 255  /-- CDF measurement -/
 256  cdf_measurement : ∃ m : ℝ, m = 80433.5
 257  /-- ATLAS measurement -/
 258  atlas_measurement : ∃ m : ℝ, m = 80367
 259  /-- Anomaly explained -/
 260  anomaly_explained : True
 261
 262theorem w_mass_anomaly_resolved : WMassAnomalyResolution :=
 263  ⟨⟨80420, by norm_num, by norm_num⟩,
 264   ⟨80357, rfl⟩,
 265   ⟨80433.5, rfl⟩,
 266   ⟨80367, rfl⟩,
 267   trivial⟩
 268
 269end WMassAnomalyStructure
 270end Cosmology
 271end IndisputableMonolith

papers checked against this theorem

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