def
definition
implications
show as:
view math explainer →
open explainer
Generate a durable explainer page for this declaration.
open lean source
IndisputableMonolith.Cosmology.CosmologicalConstant on GitHub at line 175.
browse module
All declarations in this module, on Recognition.
explainer page
depends on
formal source
172 2. **Predictive**: Specific value can be calculated
173 3. **Testable**: Dark energy equation of state w = -1 exactly
174 4. **Deep connection**: Links cosmology to information theory -/
175def implications : List String := [
176 "Cosmological constant emerges from J-cost ground state",
177 "No need for anthropic reasoning",
178 "Dark energy is fundamental, not emergent",
179 "φ-ladder determines cosmic evolution"
180]
181
182/-! ## Observational Tests -/
183
184/-- Current observations constrain:
185
186 1. Λ value: Known to ~1%
187 2. w = -1.03 ± 0.03 (consistent with -1)
188 3. No time evolution detected (w₀ - wₐ constraints)
189
190 Future tests:
191 - DESI, Euclid, LSST will measure w to 0.3%
192 - Any deviation from w = -1 would be significant -/
193def observationalStatus : List String := [
194 "Λ = (1.1 ± 0.01) × 10⁻⁵² m⁻²",
195 "w = -1.03 ± 0.03",
196 "No evidence for w evolution",
197 "Future: 0.3% precision on w"
198]
199
200/-! ## Alternative Theories -/
201
202/-- Other approaches to the Λ problem:
203
204 1. **Anthropic**: We observe small Λ because large Λ prevents life
205 2. **Quintessence**: Dynamic dark energy field