Cosmology Structure Formation From Bit

The φ-ladder of cosmic peaks

The cosmic microwave background (CMB) is the oldest light in the universe, a faint glow left over from about 380,000 years after the Big Bang. Imprinted on that glow is a series of acoustic peaks: ripples in the density of matter and radiation that became the seeds of galaxies and clusters. Cosmologists measure the angular scale of these peaks and compare them to theoretical predictions. The first peak sets the overall geometry of the universe, the second and third constrain the amounts of ordinary matter and dark matter.

In the standard cosmological model, the peak positions are not arbitrary; they depend on the sound speed of the primordial plasma and the expansion history. But the ratios between adjacent peaks are not predicted to follow any simple pattern. This is where Recognition Science, a framework that derives physical structure from a forced cost function, makes a distinctive prediction. The framework models the universe as maintaining a discrete ledger of recognition events, a record of distinctions made at each step. From that ledger, it derives a ladder of characteristic wavenumbers: k_n = k_0 · φ^n, where φ is the golden ratio, approximately 1.618.

The module proves, in a machine-checked library of formal theorems, that the ratio between adjacent peaks is exactly φ. Specifically, it proves k_{n+1} / k_n = φ for any positive base scale k_0. For the first three CMB acoustic peaks, this gives k_2 / k_1 = φ and k_3 / k_2 = φ, so k_3 / k_1 = φ². These ratios are independent of the base scale, meaning the prediction is parameter-free in the ratio sector: no free parameters are fitted to make the pattern appear.

The proof is a theorem in the framework's library, with zero axioms beyond the standard logical ones. The numerical match to Planck and DESI data, however, is a hypothesis, not a theorem. The module names its falsifier: any of the first three CMB acoustic peaks observed at a wavenumber ratio more than 5% off the predicted φ or φ² values would disprove the claim. This is a sharp, testable prediction, not a post-hoc description.

What this means in plain language: if the pattern holds, the large-scale structure of the universe, the arrangement of galaxies and clusters, is not a random accident. It inherits a mathematical structure from the most basic act of making a distinction. The framework's cost function, which forces the golden ratio as the unique self-similar scaling, becomes visible in the sky's oldest map. The reader can now see the CMB peaks not just as data points, but as a potential fingerprint of a deeper computational principle.

/-- Adjacent peak ratio is exactly `φ`. -/
theorem k_peak_adjacent_ratio (k_0 : ℝ) (n : ℕ) (h : 0 < k_0) :
    k_peak k_0 (n + 1) / k_peak k_0 n = phi := by
  unfold k_peak
  have h_phi_ne : phi ≠ 0 := ne_of_gt phi_pos
  have h_k0_ne : k_0 ≠ 0 := ne_of_gt h
  have h_pow_n_ne : phi ^ n ≠ 0 := pow_ne_zero n h_phi_ne
  rw [pow_succ]
  field_simp

/-- The third-to-first peak ratio is `φ²`. -/
theorem peak_3_1_ratio (k_0 : ℝ) (h : 0 < k_0) :
    k_peak k_0 3 / k_peak k_0 1 = phi ^ 2 := by
  unfold k_peak
  have h_phi_ne : phi ≠ 0 := ne_of_gt phi_pos
  have h_k0_ne : k_0 ≠ 0 := ne_of_gt h
  field_simp

/-- The peak ratios are independent of the base scale `k_0`. -/
theorem peak_ratios_scale_invariant
    (k_0 k_0' : ℝ) (n m : ℕ) (h : 0 < k_0) (h' : 0 < k_0') :
    k_peak k_0 (n + m) / k_peak k_0 n = k_peak k_0' (n + m) / k_peak k_0' n := by
  unfold k_peak
  have h_phi_ne : phi ≠ 0 := ne_of_gt phi_pos
  have h_k0_ne : k_0 ≠ 0 := ne_of_gt h
  have h_k0'_ne : k_0' ≠ 0 := ne_of_gt h'
  have h_pow_n_ne : phi ^ n ≠ 0 := pow_ne_zero n h_phi_ne
  -- Both sides simplify to phi^m.
  have h_lhs : k_0 * phi ^ (n + m) / (k_0 * phi ^ n) = phi ^ m := by
    rw [pow_add]; field_simp
  have h_rhs : k_0' * phi ^ (n + m) / (k_0' * phi ^ n) = phi ^ m := by
    rw [pow_add]; field_simp
  rw [h_lhs, h_rhs]

/-- **STRUCTURE FORMATION FROM BIT MASTER CERTIFICATE (Track F4).** -/
structure StructureFormationFromBITCert where
  k_pos : ∀ k_0 n, 0 < k_0 → 0 < k_peak k_0 n
  adjacent_ratio : ∀ k_0 n, 0 < k_0 →
    k_peak k_0 (n + 1) / k_peak k_0 n = phi
  peak_3_1_eq_phi_sq : ∀ k_0, 0 < k_0 →
    k_peak k_0 3 / k_peak k_0 1 = phi ^ 2
  scale_invariant : ∀ k_0 k_0' n m, 0 < k_0 → 0 < k_0' →
    k_peak k_0 (n + m) / k_peak k_0 n = k_peak k_0' (n + m) / k_peak k_0' n

What this page does not claim

This does not claim that the φ-ladder is the only possible pattern for CMB peaks. This does not claim that the numerical match to Planck/DESI data is a theorem; it is a hypothesis with a named falsifier. This does not claim that the framework derives the fine-structure constant or any other coupling constant.

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/StructureFormationFromBIT.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: