Cosmology Cosmic Zhistory Bit Kernel Early

The early-universe limit

Dark energy is the name cosmologists give to the observed acceleration of the universe's expansion. Its behavior is often summarized by a number called the equation-of-state parameter, written w(z), which relates the pressure of dark energy to its density. A value of w = -1 corresponds to a cosmological constant, the simplest possible behavior, where dark energy has a constant density and negative pressure. Observations today are consistent with w being very close to -1, but whether it has changed over cosmic time is an open question.

The Recognition Science framework models this with a ledger, a discrete record of recognition events, and defines a quantity called cosmic Z-complexity, which accumulates as the universe ages. The framework's equation of state is w(z) = -1 + δw₀ · Z(z)/Z_today, where Z(z) is the accumulated complexity at redshift z and Z_today is its value today. This is a definitional choice, a model of how dark energy might behave, not a derivation from first principles.

The theorem bitKernel_early establishes a specific boundary condition for this model. It proves that if the cosmic Z-complexity Z(z) is exactly zero at some redshift z, then the equation of state at that point is exactly w(z) = -1. In plain language: in the very early universe, before any complexity has accumulated, the framework's dark energy behaves exactly like a cosmological constant. The theorem is a simple algebraic consequence of the definition, verified in the machine-checked library of formal theorems.

This result is a consistency check, not a physical discovery. It confirms that the framework's model has the correct limiting behavior: it recovers the standard ΛCDM model, the prevailing cosmological model with a cosmological constant, in the early universe. The theorem does not claim that Z(z) actually reaches zero at any finite redshift, nor does it say anything about how Z(z) evolves. It simply states what the equation of state would be if Z(z) were zero.

The deeper question of how Z(z) accumulates is addressed elsewhere in the framework. A separate hypothesis, called linear scale-factor accumulation, posits that Z(z) = Z_today/(1+z). If that hypothesis holds, the framework proves that the equation of state becomes exactly w(z) = -1 + δw₀/(1+z), the canonical form often used in dark energy analyses. But the hypothesis itself is not derived; it is a stated premise about the Z-history. The theorem bitKernel_early does not depend on this hypothesis, it only establishes the boundary condition at Z = 0.

/-- Early universe (`Z(z) = 0`): the deviation vanishes, recovering `w = -1`. -/
theorem bitKernel_early (dw0 Zt : ℝ) (Zhist : ℝ → ℝ) (z : ℝ) (h : Zhist z = 0) :
    bitKernel dw0 Zt Zhist z = -1 := by
  unfold bitKernel; rw [h]; simp

/-- The BIT dark-energy equation of state `w(z) = -1 + δw₀ · Z(z)/Z_today`. -/
def bitKernel (dw0 Zt : ℝ) (Zhist : ℝ → ℝ) (z : ℝ) : ℝ :=
  -1 + dw0 * (Zhist z / Zt)

What this page does not claim

The theorem does not prove that cosmic Z-complexity actually reaches zero at any finite redshift. The theorem does not derive the linear scale-factor accumulation hypothesis. The framework does not claim to have derived the value of δw₀, the current deviation from a cosmological 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/CosmicZHistory.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: