def
definition
complementary_explanation
show as:
view math explainer →
open explainer
Generate a durable explainer page for this declaration.
open lean source
IndisputableMonolith.Cosmology.HorizonProblem on GitHub at line 176.
browse module
All declarations in this module, on Recognition.
explainer page
depends on
formal source
173 1. J-cost minimization selected homogeneous initial conditions
174 2. Inflation stretched one homogeneous patch to observable universe
175 3. 8-tick synchronization maintained coherence during expansion -/
176def complementary_explanation : List String := [
177 "RS explains why low-entropy initial state",
178 "Inflation explains stretching mechanism",
179 "Together give complete picture",
180 "J-cost constrains inflaton potential"
181]
182
183/-! ## Predictions -/
184
185/-- RS predictions for the horizon problem:
186
187 1. **Residual correlations**: Even beyond horizon, subtle correlations exist
188 2. **CMB anomalies**: Large-scale anomalies reflect 8-tick structure
189 3. **Inflation parameters**: φ-constrained (e-folds, spectral index)
190 4. **Initial conditions**: J-cost selects specific starting point -/
191def predictions : List String := [
192 "Super-horizon correlations (seen as 'CMB anomalies')",
193 "e-folds related to φ: N ~ φ^k for some k",
194 "Spectral index n_s constrained by J-cost",
195 "Low CMB quadrupole from initial state selection"
196]
197
198/-! ## Experimental Evidence -/
199
200/-- Current observations are consistent with RS:
201
202 1. CMB anomalies exist (axis of evil, low quadrupole)
203 2. Super-horizon correlations detected
204 3. n_s ~ 0.96 (close to but not exactly 1)
205
206 These "anomalies" might be predictions of RS! -/