Registry · Theorem V.T203 conjectural formalized

V.T203 — Cluster Capacity Mass Discrepancy

Cluster Capacity Mass Discrepancy: V.T85 gives D_tau ~ 2-4 for galaxy clusters (Coma, Virgo, Perseus, Bullet), vs observed D_obs ~ 5-7. Comparable to MOND cluster problem. Screening enhancement 1+r/ell_tau ~ 1.00004 at cluster scales (essentially unity). Resolution: hot gas correction or nonlinear capacity effects.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.cluster_capacity_discrepancy