lcdm_challenged
plain-language theorem explainer
The declaration asserts that ΛCDM faces a challenge from the observed diversity of dark matter content in ultra-diffuse galaxies, where standard models expect more uniform profiles than seen in data. Galaxy formation researchers and modified gravity theorists would cite this as an experimental marker in the Recognition Science case against particle dark matter. The proof is a one-line term-mode trivial assertion that the challenge holds.
Claim. The ΛCDM model predicts uniform dark matter profiles for ultra-diffuse galaxies, yet the observed spread in dark matter to stellar mass ratios challenges this uniformity.
background
The module examines ultra-diffuse galaxies defined by surface brightness μ_V > 24 mag/arcsec² and effective radii 1-10 kpc. Concrete cases include Dragonfly 44 with dark matter to stellar mass ratio 50-100 and NGC 1052-DF2 with ratio 1-2, plus wide variation in globular cluster counts. In Recognition Science dark matter is the substrate distributed by recognition coherence rather than particle dynamics, so no universal mass ratio is required and both rich and poor cases arise from spatial coherence differences. The upstream uniform distribution supplies a baseline probability measure while the spectral peak class supplies a rung-based classification tool used elsewhere in the module.
proof idea
The proof is a one-line term-mode wrapper that applies trivial to establish the proposition directly.
why it matters
This theorem records the experimental challenge EA-011.10 that ΛCDM expects uniform dark matter content while Recognition Science substrate coherence naturally produces the observed UDG diversity. It supports the module verdict that ILG rotation curves fit both rich and poor cases without additional dark matter distributions. No downstream theorems depend on it yet, leaving it as a standalone marker in the experimental section.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.