Cosmology Dark Energy Phi Dilution Derivation

The forced dilution law

Dark energy is the name cosmologists give to the unknown influence that makes the expansion of the universe accelerate. In the Recognition Science framework, that influence has a specific numerical size, expressed as a fraction θ of the total energy budget. The derivation proves that this fraction must be θ = φ⁻⁴, where φ is the golden ratio, about 0.618 to the fourth power, or roughly 0.146. The claim is not that this number matches observations; it is that the framework's own principles force it.

The derivation starts from a picture of recognition, a discrete record of events, and its cost, the price the framework assigns to each act of recognition. It defines a dimension-uniform dilution law: a function that gives the occupancy, or surviving strength, after recognition has passed through n independent dimensions. Two premises constrain this law. First, composition: passing through m plus n dimensions must multiply the occupancies of the two stages, because independent channels add in log-cost. Second, self-similar attenuation: a single dimension reduces occupancy by the factor ρ that solves ρ = 1/(1+ρ). That equation is the reciprocal self-similarity fixed point, and its unique positive solution is ρ = φ⁻¹.

From these two premises alone, the derivation proves by induction that occupancy after n dimensions is (φ⁻¹)ⁿ = φ⁻ⁿ. The exponent n is not free: it is the forced spacetime dimension, which the framework's earlier theorems fix at 4, one temporal octave plus three spatial dimensions. Substituting n = 4 gives the headline result θ = φ⁻⁴. The proof is a theorem in the framework's machine-checked library of formal theorems, with zero gaps and zero added axioms. The derivation also constructs a canonical example satisfying both premises, so it is not vacuous.

What this changes is the status of the dark energy fraction. Earlier work in the framework had to assert the φ⁻⁴ value as a plausible choice. This derivation removes that choice: any law meeting the two premises, at the forced spacetime dimension, must yield exactly φ⁻⁴. The dark energy fraction is no longer an assumption in this account; it is a consequence.

/-- **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]

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

/-- **Headline: `θ = φ⁻⁴` is forced.** Any dimension-uniform dilution law yields exactly the
four-dimensional φ-dilution `θ = φ⁻⁴` at the forced spacetime dimension. -/
theorem derivedTheta_eq_phiFour (L : DimensionUniformDilution) :
    derivedTheta L = DarkEnergyThetaPhiFour.thetaPhiFour := by
  unfold derivedTheta
  rw [L.occ_eq_pow, dilutionExponent_eq_four]
  unfold DarkEnergyThetaPhiFour.thetaPhiFour
  rw [div_pow, one_pow]

/-- The canonical dilution law `occ n = φ⁻ⁿ`, exhibiting that the two premises are satisfiable
(so the derivation is not vacuous). -/
def canonicalDilution : DimensionUniformDilution where
  occ := fun n => (1 / Constants.phi) ^ n
  occ_pos := fun n => by
    have hφ : (0 : ℝ) < Constants.phi := Constants.phi_pos
    have hpos : (0 : ℝ) < 1 / Constants.phi := by positivity
    exact pow_pos hpos n
  composes := fun m n => by rw [pow_add]
  one_dim_self_similar := by
    show (1 / Constants.phi) ^ 1 = 1 / (1 + (1 / Constants.phi) ^ 1)
    simp only [pow_one]
    exact inv_phi_self_similar

What this page does not claim

This derivation does not claim that θ = φ⁻⁴ matches any measured cosmological value. This derivation does not derive the fine-structure constant or any other coupling constant. This derivation does not prove that the physical universe has four dimensions; it uses the framework's already-forced spacetime dimension.

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: