Cosmology Dark Energy Phi Dilution Derivation Dilution Exponent Eq Four

The forced exponent

The dark energy that appears to accelerate cosmic expansion is often parameterized by its fraction of the total energy density. In the Recognition Science framework, a machine-checked library of formal theorems derives this fraction from a small set of structural premises. The key result is that the fraction equals the golden ratio raised to the fourth power, written as φ⁻⁴, where φ ≈ 1.618. This is not an assumption fitted to astronomical data; it is a theorem proved from the framework's own axioms.

The derivation begins with a ledger, a discrete record of recognition events, and a cost function that measures what it takes for one event to be recognized. The framework's central theorem forces this cost to have a specific form, which in turn forces a self-similar scaling ratio. The reciprocal of this ratio, 1/φ ≈ 0.618, is the unique positive solution to the equation ρ = 1/(1+ρ), a fixed point of the map x ↦ 1/(1+x). This is the per-dimension attenuation factor: each independent dimension reduces the occupancy, or survival probability, by this factor.

The theorem named dilutionExponent_eq_four establishes that the exponent in the dilution law is exactly 4. This is not a free integer chosen to match observations. The framework derives the spacetime dimension as 4 from its own topological structure: one temporal dimension plus three spatial dimensions, the latter forced by a theorem about Alexander duality. The dilution exponent is defined to be this forced spacetime dimension, so the exponent 4 is itself a derived consequence. The full law then states that the occupancy after n independent dimensions is (1/φ)ⁿ, and at the forced dimension n = 4, this gives the dark-energy fraction θ = φ⁻⁴.

The theorem does not claim that the premises of the derivation are physically necessary. The framework models the universe as a ledger of recognition events, and the dilution law follows from two structural premises: multiplicative composition across independent dimensions, and single-dimension self-similar attenuation. These are definitional choices within the framework, not empirical facts. The theorem also does not claim that the derived value φ⁻⁴ matches any measured cosmological parameter. It is a structural result about the framework's own model, not a prediction that has been tested against astronomical data. The framework's library proves the mathematics; the physical interpretation remains a modeling choice.

/-- The forced exponent equals `4` (1 temporal octave + 3 spatial from Alexander duality). -/
theorem dilutionExponent_eq_four : dilutionExponent = 4 :=
  SpacetimeEmergence.spacetime_dim_eq_four

/-- The dilution exponent is the **forced** spacetime dimension (not a free integer). -/
def dilutionExponent : ℕ := SpacetimeEmergence.spacetime_dim

/-- **The dilution law, derived.** `n` independent dimensions dilute by `φ⁻ⁿ`. -/
theorem occ_eq_pow : ∀ n : ℕ, L.occ n = (1 / Constants.phi) ^ n := by
  intro n
  induction n with
  | zero => rw [pow_zero]; exact L.occ_zero
  | succ k ih =>
      have hc := L.composes k 1
      rw [hc, ih, L.occ_one_eq_inv_phi, pow_succ]

What this page does not claim

The theorem does not claim the premises of the derivation are physically necessary. The theorem does not claim the derived value φ⁻⁴ matches any measured cosmological parameter. The theorem does not claim the framework's model is the correct description of the universe.

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