Registry · Proposition V.P164 conjectural not_applicable

V.P164 — UV Luminosity Function Excess

UV luminosity function excess: Φ_τ/Φ_ΛCDM ~ E(z)^α, α~0.5–1. At z=12–13: excess factor ~5–30×, matching observed 10–100× excess at bright end (Finkelstein 2023, Harikane 2023).

Book V Part 5 Ch. 36

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.GalaxyRelational