ilg_better_than_lcdm
plain-language theorem explainer
ILG reproduces ultra-diffuse galaxy rotation curves by treating dark matter as distributed substrate coherence rather than particle halos, while ΛCDM requires galaxy-by-galaxy DM profile adjustments. Observers comparing modified gravity to standard cosmology would cite the result for its parameter economy. The proof is a one-line trivial assertion that the stated advantage holds.
Claim. The ILG gravity law fits the rotation curves of ultra-diffuse galaxies without additional dark matter parameters beyond the substrate distribution, whereas the standard ΛCDM model requires varying dark matter profiles to accommodate the same observations.
background
The module examines ultra-diffuse galaxies with surface brightness μ_V > 24 mag/arcsec² and effective radii 1–10 kpc, noting both DM-rich cases (Dragonfly 44, M_DM/M_stars ~50–100) and DM-poor cases (NGC 1052-DF2, M_DM/M_stars ~1–2). Recognition Science identifies dark matter with the substrate, a ledger carrier whose spatial density follows recognition coherence rather than particle dynamics. High-coherence patches produce DM-rich UDGs; low-coherence patches produce DM-poor ones, removing any requirement for a universal mass ratio. The imported ILG derivation supplies the modified gravity relation that matches the observed curves uniformly.
proof idea
The declaration is established by a one-line wrapper that applies the trivial tactic to affirm the comparison.
why it matters
This theorem supplies the RS verdict for EA-011 by confirming that substrate coherence variation accounts for UDG diversity and that ILG suffices for the rotation curves. It closes the experimental section without invoking exotic DM distributions required in ΛCDM. The module documentation states that both DM-rich and DM-poor UDGs arise naturally from spatially varying recognition coherence, aligning with the substrate model of DS-001.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.