number_of_patches
The number_of_patches definition supplies the count of independent causal regions on the sky as 129600. Cosmologists examining the horizon problem in Recognition Science would cite this figure to quantify the uniformity puzzle in the CMB. It arises from a direct arithmetic calculation of 360 squared without invoking further lemmas.
claimThe number of causal patches on the celestial sphere is $N = (360/1)^2 = 129600$.
background
The Cosmology.HorizonProblem module frames the horizon problem as the observed CMB uniformity to 1 part in 10^5 despite regions that never shared a causal past in standard Big Bang cosmology. Recognition Science supplies an alternative via the universal 8-tick clock that enforces homogeneity as a ledger consistency condition. Upstream results include the fundamental period T from Breath1024, the active-edge count A from IntegrationGap and Masses.Anchor, and the actualization operator A from Modal.Actualization that selects minimal-J configurations.
proof idea
The definition is a one-line arithmetic expression that directly evaluates (360/1)^2 in natural numbers. No lemmas from the depends_on list are invoked; the computation relies only on basic division and multiplication.
why it matters in Recognition Science
This definition quantifies the scale of the horizon problem inside the RS 8-tick synchronization framework (T7), preparing the ground for cost-minimization arguments such as homogeneous_minimizes_cost. It complements the standard inflation solution by offering intrinsic synchronization without exponential expansion. The declaration touches the open question of how the universal clock produces the observed 10^{-5} correlations.
scope and limits
- Does not derive the 360-degree scale from RS primitives.
- Does not prove CMB temperature uniformity.
- Does not connect the patch count to the phi-ladder or mass formulas.
- Does not specify the synchronization mechanism that correlates patches.
formal statement (Lean)
70noncomputable def number_of_patches : ℕ :=
proof body
Definition body.
71 (360 / 1)^2 -- roughly 130,000 patches
72
73/-! ## Why Is This A Problem? -/
74
75/-- If regions A and B never communicated:
76 1. How do they have the same temperature?
77 2. How do they have the same density?
78 3. How are they statistically correlated?
79
80 Random initial conditions would give:
81 ΔT/T ~ O(1), not O(10⁻⁵)! -/