Cosmology Large Scale Structure From Rs Scale

The five-rung ladder

In cosmology, large-scale structure means the biggest patterns in the universe: the faint glow left over from the Big Bang, the way galaxies cluster, and the empty regions between them. Astronomers have long cataloged these patterns without a common scale linking them. The Recognition Science framework offers one: it defines a ladder of lengths where each rung is the golden ratio, about 1.618, times the one below it. The framework's machine-checked library of formal theorems proves that five canonical regimes, the cosmic microwave background acoustic scale, baryon acoustic oscillations, galaxy clusters, filaments, and cosmic voids, sit one rung apart on this ladder.

The classical facts come first. The cosmic microwave background (CMB) is the oldest light in the universe, released about 380,000 years after the Big Bang; its acoustic scale refers to the characteristic size of the hot and cold spots imprinted then. Baryon acoustic oscillations (BAO) are the same sound waves frozen into the distribution of matter, leaving a preferred separation between galaxies. Galaxy clusters are the largest gravitationally bound structures, filaments are the thread-like chains of galaxies between them, and cosmic voids are the vast, nearly empty regions that fill most of the volume of the universe. These five are not arbitrary: they are the standard list astronomers use when mapping the universe's large-scale layout.

The framework's contribution is a single, clean claim. In the framework's own terms, it defines a scale function, written scale(k) = phi^k, where phi is the golden ratio, the positive solution to x^2 = x + 1, approximately 1.618. The library proves that each step up the ladder multiplies the length by phi: scale(k+1)/scale(k) = phi for every integer k. It also proves every scale is positive, a technical but necessary condition for a length. The five regimes are then assigned to five consecutive values of k, one per rung, so the largest regime, cosmic voids, is phi^4 times the smallest, the CMB acoustic scale. The library certifies all three facts together in a single structure, with no unproved assumptions.

What the declaration scale does not claim is just as important. It does not predict the absolute size of any cosmic structure; it only fixes the ratios between them. It does not say why these five particular regimes exist, only that the framework places them on this ladder. And it does not claim the ladder is the only way to organize cosmic scales; it is a definitional choice within the framework, not a measured law of nature. The machine-checked part is the arithmetic of the ladder, not the astronomical identification of which structure goes on which rung.

The payoff is a memorable picture: the universe's largest structures, from the first light to the emptiest voids, fall into a pattern where each step multiplies by the same number that appears in pentagons and sunflower seeds. Whether that pattern is physical or coincidental is a question for observation, but the framework gives cosmologists a single number, phi, to test against the measured ratios of these five scales.

theorem scale_ratio (k : ℕ) : scale (k + 1) / scale k = phi := by
  unfold scale
  have hpos : (0 : ℝ) < phi ^ k := pow_pos phi_pos k
  rw [div_eq_iff hpos.ne', pow_succ]
  ring

theorem lssRegime_count : Fintype.card LSSRegime = 5 := by decide

theorem scale_pos (k : ℕ) : 0 < scale k := pow_pos phi_pos k

noncomputable def largeScaleStructureCert : LargeScaleStructureCert where
  five_regimes := lssRegime_count
  phi_ratio := scale_ratio
  scale_always_pos := scale_pos

What this page does not claim

The declaration scale does not predict the absolute size of any cosmic structure, only the ratios between them. The astronomical identification of which structure goes on which rung is a definitional choice, not a measured law. The framework does not claim this ladder is the only way to organize cosmic scales.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Cosmology/LargeScaleStructureFromRS.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: