pith. sign in

arxiv: 2510.13971 · v2 · submitted 2025-10-15 · ✦ hep-th

Open case for a closed universe

Nathan L. Burwig , Damien A. Easson This is my paper

Pith reviewed 2026-05-18 06:47 UTC · model grok-4.3

classification ✦ hep-th
keywords no-go theoremFriedmann-Robertson-Walkeraveraged null energy conditionspatial curvaturegeodesic completenessde Sitter spacephantom dark energycosmological singularity
0
0 comments X

The pith

Spatially flat and open universes cannot be simultaneously nonsingular, geodesically complete, and ANEC-consistent, while closed universes can.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that non-static Friedmann-Robertson-Walker spacetimes with zero or negative spatial curvature cannot avoid singularities, maintain geodesic completeness, and obey the averaged null energy condition at the same time. In contrast, positive curvature allows solutions that meet all three criteria, with de Sitter space as the prime example. A sympathetic reader would care because this offers a geometric reason to prefer closed universes and shows how curvature can be mistaken for phantom dark energy in data analysis. It extends classical results on cosmological singularities by incorporating energy conditions in a new way.

Core claim

We establish a new no-go theorem for cosmology: spatially flat (k=0) and open (k=-1) Friedmann-Robertson-Walker (FRW) non-static spacetimes cannot be simultaneously nonsingular, geodesically complete, and consistent with the averaged null energy condition (ANEC). Equivalently, any dynamic flat or open universe that is complete must violate the ANEC. By contrast, closed universes (k=+1) uniquely admit nonsingular, geodesically complete, ANEC-consistent solutions, with global de Sitter space as the canonical realization that saturates the ANEC. Furthermore, we analytically demonstrate that positive spatial curvature naturally mimics the phenomenology of phantom dark energy (w<-1), biasing flat

What carries the argument

The no-go theorem derived from applying the averaged null energy condition to non-static FRW metrics distinguished by the sign of the spatial curvature parameter k.

If this is right

  • Any dynamic flat or open universe that is geodesically complete must violate the ANEC.
  • Closed universes admit nonsingular, geodesically complete solutions consistent with the ANEC, with global de Sitter space as the canonical case.
  • Positive spatial curvature mimics the effects of phantom dark energy with equation of state w < -1.
  • Flat-model reconstructions of the dark energy equation of state w(z) are biased at the ~1% level when positive curvature is present.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Observational evidence for positive curvature could remove the need for exotic matter to satisfy energy conditions in eternal cosmologies.
  • This classification suggests testing curvature-dependent biases in current dark energy parameter fits from supernova or CMB data.
  • The approach could be extended to ask whether similar no-go results hold in spacetimes with less symmetry than FRW.

Load-bearing premise

The spacetime is assumed to be a non-static Friedmann-Robertson-Walker metric to which the averaged null energy condition applies in the manner required for the no-go theorem to hold.

What would settle it

An explicit construction of a non-static, nonsingular, geodesically complete flat or open FRW spacetime that obeys the averaged null energy condition would falsify the central no-go result.

Figures

Figures reproduced from arXiv: 2510.13971 by Damien A. Easson, Nathan L. Burwig.

Figure 1
Figure 1. Figure 1: FIG. 1: Energy conditions from Eq. 12 with [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2: Energy conditions from Eq. 12 with [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
read the original abstract

We establish a new no-go theorem for cosmology: spatially flat ($k=0$) and open ($k=-1$) Friedmann--Robertson--Walker (FRW) non-static spacetimes cannot be simultaneously nonsingular, geodesically complete, and consistent with the averaged null energy condition (ANEC). Equivalently, any dynamic flat or open universe that is complete must violate the ANEC. By contrast, closed universes ($k=+1$) uniquely admit nonsingular, geodesically complete, ANEC-consistent solutions, with global de Sitter space as the canonical realization that saturates the ANEC. Furthermore, we analytically demonstrate that positive spatial curvature naturally mimics the phenomenology of phantom dark energy ($w<-1$), biasing flat-model reconstructions of $w(z)$ at the $\sim 1\%$ level. These results augment the classical singularity theorems, establish a new classification of eternal cosmologies, and motivate renewed scrutiny of spatial curvature in both theory and observation.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript presents a no-go theorem asserting that non-static Friedmann-Robertson-Walker spacetimes with k=0 or k=-1 cannot be simultaneously nonsingular, geodesically complete, and ANEC-consistent. Closed (k=+1) universes are claimed to uniquely permit such solutions, with global de Sitter space as the canonical ANEC-saturating example. The paper also derives an analytic result that positive spatial curvature mimics phantom dark energy (w < -1), inducing a ~1% bias in flat-model w(z) reconstructions.

Significance. If the no-go theorem holds under the stated assumptions, the work augments classical singularity theorems by classifying eternal cosmologies according to spatial curvature and ANEC compliance. The analytic demonstration of curvature-induced bias in dark-energy parameter reconstruction is observationally relevant and provides a concrete, falsifiable prediction for analyses of supernova or BAO data. The manuscript's attempt at a parameter-free derivation of the bias and its focus on ANEC saturation in de Sitter are strengths that elevate its potential impact.

major comments (2)
  1. [No-go theorem derivation (around the statement that k=0 and k=-1 cannot satisfy all three conditions)] The no-go theorem for k=0 (likely §3 or the derivation following Eq. (X) where the ANEC integral is evaluated) appears to be in tension with the flat slicing of de Sitter space, ds² = −dt² + exp(2Ht)(dx²+dy²+dz²). This metric is nonsingular, geodesically complete (affine parameters extend to ±∞), and yields a vanishing ANEC integral because ρ + p = 0. The manuscript must explicitly state why this does not serve as a counter-example for the k=0 case, e.g., by identifying an additional assumption such as a strict ANEC inequality, matter-only stress tensor, or restriction on the allowed foliations.
  2. [Discussion of de Sitter realization and uniqueness claim] Because de Sitter space admits equivalent FRW foliations with k=+1, k=0, and k=-1, the uniqueness claim for closed universes requires clarification on whether the theorem is a statement about coordinate choice or intrinsic geometry. If the no-go is foliation-dependent, this should be stated in the theorem statement and in the discussion of the de Sitter example to avoid apparent inconsistency with the geometric invariance of geodesic completeness and ANEC.
minor comments (2)
  1. [Analytic demonstration of phantom-mimicry bias] In the analytic bias calculation (the section deriving the ~1% shift in w(z)), provide the explicit expansion or integral that produces the numerical coefficient so that the result can be reproduced without re-deriving the entire curvature term.
  2. [Preliminaries or ANEC definition] Ensure that the definition of ANEC used in the no-go (integral of T_ab k^a k^b along complete null geodesics) is stated with the precise normalization and range of integration in the main text, not only in an appendix.

Simulated Author's Rebuttal

2 responses · 0 unresolved

Thank you for your review and constructive feedback on our manuscript. We appreciate the opportunity to clarify the assumptions underlying the no-go theorem and the discussion of de Sitter realizations. We will revise the paper to address the points raised regarding potential counterexamples and the uniqueness claim.

read point-by-point responses

  1. Referee: [No-go theorem derivation (around the statement that k=0 and k=-1 cannot satisfy all three conditions)] The no-go theorem for k=0 (likely §3 or the derivation following Eq. (X) where the ANEC integral is evaluated) appears to be in tension with the flat slicing of de Sitter space, ds² = −dt² + exp(2Ht)(dx²+dy²+dz²). This metric is nonsingular, geodesically complete (affine parameters extend to ±∞), and yields a vanishing ANEC integral because ρ + p = 0. The manuscript must explicitly state why this does not serve as a counter-example for the k=0 case, e.g., by identifying an additional assumption such as a strict ANEC inequality, matter-only stress tensor, or restriction on the allowed foliations.

    Authors: The flat slicing of de Sitter provides a coordinate patch that does not describe the full, globally geodesically complete de Sitter manifold; geodesics reach the edge of the coordinate chart in finite affine time when the global structure is considered. Our no-go theorem is derived for non-static FRW spacetimes under the assumption of a complete spacetime matching the given foliation, with the ANEC integral evaluated over the full null geodesics. Global de Sitter saturates ANEC only in its closed (k=+1) realization. We will add explicit clarification to the theorem statement and derivation section noting these assumptions, including the restriction to complete foliations and that vacuum energy cases like de Sitter are only fully consistent in the closed geometry. revision: yes

  2. Referee: [Discussion of de Sitter realization and uniqueness claim] Because de Sitter space admits equivalent FRW foliations with k=+1, k=0, and k=-1, the uniqueness claim for closed universes requires clarification on whether the theorem is a statement about coordinate choice or intrinsic geometry. If the no-go is foliation-dependent, this should be stated in the theorem statement and in the discussion of the de Sitter example to avoid apparent inconsistency with the geometric invariance of geodesic completeness and ANEC.

    Authors: The theorem concerns the intrinsic spatial geometry parameterized by k in the FRW metric and the resulting ability to maintain nonsingularity, geodesic completeness, and ANEC compliance over the full spacetime. While de Sitter admits multiple coordinate representations, only the k=+1 foliation yields a globally complete manifold without coordinate boundaries that would violate the conditions in the flat or open cases. The no-go is thus tied to the curvature parameter's geometric implications rather than arbitrary coordinate choice. We will revise the theorem statement, de Sitter discussion, and conclusions to explicitly address this distinction and confirm invariance of the physical conclusions. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation relies on independent GR no-go analysis

full rationale

The paper derives a no-go theorem for non-static k=0 and k=-1 FRW spacetimes by applying the ANEC to the Friedmann equations and geodesic completeness conditions, then contrasts this with the k=+1 case where global de Sitter saturates ANEC. No step reduces a claimed result to a fitted parameter, self-definition, or load-bearing self-citation; the uniqueness statement follows from the theorem's assumptions rather than being presupposed. The additional claim that positive curvature mimics phantom dark energy is an analytic demonstration from the modified Friedmann equation, independent of the no-go. The derivation is self-contained against standard GR benchmarks with no evident reduction to inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based on abstract only; no explicit free parameters, axioms, or invented entities can be identified without the full text.

pith-pipeline@v0.9.0 · 5689 in / 1022 out tokens · 34399 ms · 2026-05-18T06:47:24.671342+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Affine ANEC selects the closed FRW branch for geodesically complete cosmology

    gr-qc 2026-05 unverdicted novelty 6.0

    Affine ANEC obstructs non-static flat and open FRW from being null geodesically complete while ANEC-satisfying, but allows explicit scalar-field realizations for closed FRW with NEC-respecting matter.

  2. Geodesically Complete Curvature-Bounce Inflation

    astro-ph.CO 2026-04 unverdicted novelty 5.0

    A closed k=+1 FRW universe with curvature-driven bounce and canonical scalar inflation remains sub-Planckian, satisfies the null energy condition, and produces ns=0.9617-0.9650 and r=0.0037-0.0045 consistent with data.

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages · cited by 2 Pith papers · 13 internal anchors

  1. [1]

    Closedcoshbounce.The same scale factor in ak= +1 FRW spacetime corresponds to global de Sitter

    The spacetime is geodesically complete, but the null energy condition is violated everywhere:ρ+p= −2h2sech2(ht)<0, and the ANEC integral is IANEC =−2h 2 Z ∞ −∞ sech2(ht) a(t) dt=−πh 2 .(11) The supporting matter is phantom-like, violating all clas- sical energy conditions. Closedcoshbounce.The same scale factor in ak= +1 FRW spacetime corresponds to globa...

    work page

  2. [2]

    Penrose, Gravitational collapse and space-time singu- larities, Phys

    R. Penrose, Gravitational collapse and space-time singu- larities, Phys. Rev. Lett.14, 57 (1965)

    work page 1965

  3. [3]

    Hawking, The Occurrence of singularities in cosmol- ogy, Proc

    S. Hawking, The Occurrence of singularities in cosmol- ogy, Proc. Roy. Soc. Lond. A294, 511 (1966)

    work page 1966

  4. [4]

    Hawking, The Occurrence of singularities in cosmol- ogy

    S. Hawking, The Occurrence of singularities in cosmol- ogy. II, Proc. Roy. Soc. Lond. A295, 490 (1966)

    work page 1966

  5. [5]

    Hawking, The occurrence of singularities in cosmology

    S. Hawking, The occurrence of singularities in cosmology. III. Causality and singularities, Proc. Roy. Soc. Lond. A 300, 187 (1967)

    work page 1967

  6. [6]

    S. W. Hawking and R. Penrose, The Singularities of grav- itational collapse and cosmology, Proc. Roy. Soc. Lond. A314, 529 (1970)

    work page 1970

  7. [7]

    S. W. Hawking and G. F. R. Ellis,The Large Scale Struc- ture of Space-Time, Cambridge Monographs on Mathe- matical Physics (Cambridge University Press, 2023)

    work page 2023

  8. [8]

    Inflationary spacetimes are not past-complete

    A. Borde, A. H. Guth, and A. Vilenkin, Inflationary space-times are incompletein past directions, Phys. Rev. Lett.90, 151301 (2003), arXiv:gr-qc/0110012

    work page internal anchor Pith review Pith/arXiv arXiv 2003

  9. [9]

    W. H. Kinney, S. Maity, and L. Sriramkumar, Borde- Guth-Vilenkin theorem in extended de Sitter spaces, Phys. Rev. D109, 043519 (2024), arXiv:2307.10958 [gr- qc]

    work page arXiv 2024

  10. [10]

    Geshnizjani, E

    G. Geshnizjani, E. Ling, and J. Quintin, On the initial singularity and extendibility of flat quasi-de Sitter space- times, JHEP10, 182, arXiv:2305.01676 [gr-qc]

    work page arXiv

  11. [11]

    G. F. R. Ellis and R. Maartens, The emergent universe: Inflationary cosmology with no singularity, Class. Quant. Grav.21, 223 (2004), arXiv:gr-qc/0211082

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  12. [12]

    G. F. R. Ellis, J. Murugan, and C. G. Tsagas, The Emer- gent universe: An Explicit construction, Class. Quant. Grav.21, 233 (2004), arXiv:gr-qc/0307112

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  13. [13]

    J. E. Lesnefsky, D. A. Easson, and P. C. W. Davies, Past- completeness of inflationary spacetimes, Phys. Rev. D 107, 044024 (2023), arXiv:2207.00955 [gr-qc]

    work page arXiv 2023

  14. [14]

    D. A. Easson and J. E. Lesnefsky, Inflationary resolution of the initial singularity, (2024), arXiv:2402.13031 [hep- th]

    work page arXiv 2024

  15. [15]

    D. A. Easson and J. E. Lesnefsky, Eternal universes, Phys. Rev. D112, 063545 (2025), arXiv:2404.03016 [hep- th]

    work page arXiv 2025

  16. [16]

    R. M. Wald and U. Yurtsever, General proof of the av- eraged null energy condition for a massless scalar field in two-dimensional curved space-time, Phys. Rev. D44, 403 (1991)

    work page 1991

  17. [17]

    C. J. Fewster, K. D. Olum, and M. J. Pfenning, Aver- aged null energy condition in spacetimes with boundaries, Phys. Rev. D75, 025007 (2007), arXiv:gr-qc/0609007

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  18. [18]

    Achronal averaged null energy condition

    N. Graham and K. D. Olum, Achronal averaged null energy condition, Phys. Rev. D76, 064001 (2007), arXiv:0705.3193 [gr-qc]

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  19. [19]

    A. C. Wall, Proving the Achronal Averaged Null Energy Condition from the Generalized Second Law, Phys. Rev. D81, 024038 (2010), arXiv:0910.5751 [gr-qc]

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  20. [20]

    Averaged Null Energy Condition from Causality

    T. Hartman, S. Kundu, and A. Tajdini, Averaged Null Energy Condition from Causality, JHEP07, 066, arXiv:1610.05308 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv

  21. [21]

    Burwig and D

    N. Burwig and D. Easson, (to appear)

    work page

  22. [22]

    DESI DR2 Results II: Measurements of Baryon Acoustic Oscillations and Cosmological Constraints

    M. Abdul Karimet al.(DESI), DESI DR2 results. II. Measurements of baryon acoustic oscillations and cos- mological constraints, Phys. Rev. D112, 083515 (2025), arXiv:2503.14738 [astro-ph.CO]

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  23. [23]

    Planck 2018 results. VI. Cosmological parameters

    N. Aghanimet al.(Planck), Planck 2018 results. VI. Cosmological parameters, Astron. Astrophys.641, A6 (2020), [Erratum: Astron.Astrophys. 652, C4 (2021)], arXiv:1807.06209 [astro-ph.CO]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  24. [24]

    R. R. Caldwell, A Phantom menace?, Phys. Lett. B545, 23 (2002), arXiv:astro-ph/9908168

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  25. [25]

    R. R. Caldwell, M. Kamionkowski, and N. N. Weinberg, Phantom energy and cosmic doomsday, Phys. Rev. Lett. 91, 071301 (2003), arXiv:astro-ph/0302506

    work page internal anchor Pith review Pith/arXiv arXiv 2003

  26. [26]

    S. M. Carroll, M. Hoffman, and M. Trodden, Can the dark energy equation-of-state parameterwbe less than −1?, Phys. Rev. D68, 023509 (2003), arXiv:astro- ph/0301273

    work page arXiv 2003

  27. [27]

    Can dark energy evolve to the Phantom?

    A. Vikman, Can dark energy evolve to the phantom?, Phys. Rev. D71, 023515 (2005), arXiv:astro-ph/0407107

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  28. [28]

    Dynamical Dark Energy or Simply Cosmic Curvature?

    C. Clarkson, M. Cortes, and B. A. Bassett, Dynamical Dark Energy or Simply Cosmic Curvature?, JCAP08, 011, arXiv:astro-ph/0702670

    work page internal anchor Pith review Pith/arXiv arXiv