high_coherence_dm_rich
plain-language theorem explainer
Definition that high-coherence regions correspond to DM-rich ultra-diffuse galaxies under strong substrate coupling. Modelers of galaxy formation and dark matter alternatives cite it when contrasting Dragonfly 44 with NGC 1052-DF2. The assignment is introduced as a direct Boolean constant with no reduction steps.
Claim. High-coherence regions satisfy $C_ high$ implying DM-rich galaxies with strong substrate coupling, written $C_ high →$ DM-rich and strong coupling.
background
Recognition Science models dark matter as the substrate (ledger carrier) distributed by recognition coherence rather than as particles. The module EA-011 analyzes ultra-diffuse galaxies, noting surface brightness μ_V > 24 mag/arcsec², sizes 1-10 kpc, and observed DM-to-stellar mass ratios ranging from ~50-100 (Dragonfly 44) to ~1-2 (NGC 1052-DF2). High coherence produces the DM-rich branch while low coherence produces the DM-poor branch, with no universal ratio required. ILG rotation curves are stated to fit both cases without extra DM distributions.
proof idea
One-line definition that directly assigns the Boolean true to the high-coherence DM-rich flag.
why it matters
The definition supplies the high-coherence case in the EA-011 substrate analysis, pairing with the low-coherence counterpart to establish that UDG diversity follows from spatially varying recognition coherence. It supports the module verdict that both DM-rich and DM-poor examples are natural under the substrate model and that ILG suffices for rotation curves. It touches the open question of how coherence varies across low-density regions.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.