Cosmology Horizon Problem Particle Horizon

The particle horizon

The particle horizon is the boundary of the observable universe. At any cosmic time t, it is the maximum distance from which light could have traveled to us since the Big Bang. The standard formula is d_H(t) = a(t) ∫₀ᵗ c dt'/a(t'), where a(t) is the cosmic scale factor. At the time the cosmic microwave background (CMB) formed, roughly 380,000 years after the Big Bang, this horizon was about 1.2 million light-years across. The entire sky we observe today is far larger than that, which creates the horizon problem: distant regions of the CMB appear uniform to 1 part in 100,000, yet they were never in causal contact under standard cosmology.

In the Recognition Science framework, the declaration ParticleHorizon is a formal structure that captures this basic concept. It records a cosmic time and a horizon radius, both required to be positive. The framework also defines cmb_horizon, a specific instance with time set to 1.2 × 10¹³ seconds and radius 3.6 × 10²² meters, matching the standard picture. A further definition, causal_patch_angle, sets the angular size of a causally connected patch at about 1 degree, roughly twice the Moon's apparent diameter. From this, the framework computes number_of_patches as (360/1)², about 130,000, representing the count of supposedly disconnected regions across the sky that nonetheless share the same temperature.

The framework's proposed resolution is not a modification of the horizon itself. Instead, it introduces an intrinsic synchronization mechanism. The claim, stated as rs_universal_clock, is that an eight-tick recognition cycle has the same phase everywhere in the ledger, a discrete record of events, without requiring light-speed communication. Homogeneity then becomes a consistency condition of the ledger structure rather than a coincidence. The framework also defines a cost function, J, and proves a limited theorem: homogeneous_minimizes_cost shows that the cost of a density contrast of 0.01 is greater than the cost of zero contrast, since J(1) = 0 and J(1.01) > 0. This is a statement about the chosen cost function, not a derivation of cosmic uniformity.

What ParticleHorizon does not do is prove that the universe is homogeneous. It is a definitional structure, a way of organizing the standard horizon calculation. The theorem horizon_problem_stated is a trivial statement (True := trivial) that merely labels the problem as a problem. The synchronization mechanism and the cost-minimization argument are presented as a complementary explanation to inflation, not as a replacement. The framework's own falsification criteria are explicit: the explanation would be falsified if the CMB anomalies have mundane explanations, if no phi-structure appears in inflationary parameters, or if the horizon problem is solved by purely local physics. These are hypotheses with named falsifiers, not established results.

/-- The particle horizon at time t is the maximum distance from which
    light could have traveled since the Big Bang.

    d_H(t) = a(t) ∫₀ᵗ c dt'/a(t')

    At CMB time (t ~ 380,000 years), d_H ~ 1.2 million light years.
    But the CMB spans the whole sky, which is much larger! -/
structure ParticleHorizon where
  time : ℝ  -- Cosmic time
  radius : ℝ  -- Horizon radius
  time_pos : time > 0
  radius_pos : radius > 0

/-- At CMB formation (z ~ 1100), the horizon was much smaller than observed homogeneity. -/
noncomputable def cmb_horizon : ParticleHorizon := {
  time := 1.2e13,  -- ~380,000 years in seconds
  radius := 3.6e22,  -- ~1.2 million light years in meters
  time_pos := by norm_num
  radius_pos := by norm_num
}

/-- Recognition Science offers a different perspective:

    The 8-tick clock is NOT a local phenomenon.
    It is a property of the ledger ITSELF, which is universal.

    This means:
    1. All regions are synchronized by the ledger structure
    2. Homogeneity is a consistency condition, not a coincidence
    3. The initial state was constrained by J-cost minimization -/
theorem rs_universal_clock :
    -- The 8-tick cycle has the same phase everywhere
    -- This is intrinsic to ledger structure, not light-speed communication
    True := trivial

/-- **THEOREM**: Homogeneous configurations minimize J-cost. -/
theorem homogeneous_minimizes_cost :
    costOfInhomogeneity 0 < costOfInhomogeneity 0.01 := by
  unfold costOfInhomogeneity
  simp only [abs_zero, add_zero]
  -- J(1) < J(1.01) because J(1) = 0 and J(1.01) > 0
  rw [Jcost_unit0]
  -- Need: 0 < Jcost(1 + |0.01|) = Jcost(1.01)
  rw [Jcost_eq_sq (by norm_num : (1 : ℝ) + |0.01| ≠ 0)]
  -- (1.01 - 1)² / (2 × 1.01) = 0.0001 / 2.02 > 0
  simp only [abs_of_pos (by norm_num : (0.01 : ℝ) > 0)]
  norm_num

/-- The RS explanation would be falsified if:
    1. CMB anomalies have mundane explanations
    2. No φ-structure in inflationary parameters
    3. Horizon problem solution requires only local physics -/
structure HorizonFalsifier where
  anomalies_mundane : Prop
  no_phi_in_inflation : Prop
  purely_local_solution : Prop
  falsified : anomalies_mundane ∧ no_phi_in_inflation ∧ purely_local_solution → False

What this page does not claim

The theorem homogeneous_minimizes_cost does not prove that the universe is homogeneous, only that one specific cost function assigns a lower value to zero density contrast than to a contrast of 0.01. The declaration ParticleHorizon does not establish that the horizon problem is solved; it only formalizes the standard definition of the horizon. The framework does not claim that inflation is wrong; it presents its synchronization mechanism as complementary to inflation.

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