REVIEW 2 major objections 5 minor 75 references
Geodesic completeness of anisotropic cosmologies and the null energy condition
T0 review · 2 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read Bianchi-I cosmologies satisfying the null energy condition and expanding in all directions at some time are necessarily geodesically past-incomplete.
desk verdict A clean NEC-based past-incompleteness theorem for Bianchi-I, with a sharpness example missing one explicit completeness argument. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The engine of the proof is a weighted exponential quantity $\Psi_i(\tau)=S_{jk}(\tau)\exp[F_i(\tau)-\tfrac12(F_j(\tau)+F_k(\tau))]$, where $F_i(\tau)=\int_0^\tau H_i(t_f-s)\,ds$ is the integrated Hubble parameter and $S_{jk}=H_j+H_k$ is a pairwise sum of Hubble parameters. The null energy condition implies each $\Psi_i$ is monotone nondecreasing, so $\Psi_i(\tau)\ge d_i>0$; this positivity is exactly what assumption (i) supplies. The lower bound rearranges into $d_i e^{-F_i}\le -2\frac{d}{d\tau}e^{-(F_j+F_k)/2}$, which integrates to a uniform bound on $\int_0^\infty e^{-F_i}\,d\tau$. Since $a_i(t_f-\tau)=a_i(t_f)e^{-F_i(\tau)}$, that bound is precisely convergence of the past-time integral of each scale factor.
What would settle it
Construct a smooth Bianchi-I solution of Einstein's equations that satisfies the null energy condition everywhere and has all three Hubble parameters positive at a single time, then compute $\int_{-\infty}^{t_f} a_i(t)\,dt$ for each axis; if any of these integrals diverges while the corresponding null geodesic remains past-complete, the theorem is false.
Extended reading notes
Core claim
The central claim is the theorem: let the scale factors $a_1,a_2,a_3:(-\infty,t_f)\to(0,\infty)$ of a Bianchi-I metric be smooth and satisfy the Einstein equations. If (i) the Hubble parameters $H_i(t_f)=\dot a_i/a_i$ are all strictly positive at $t_f$, and (ii) the null energy condition holds, then $\int_{-\infty}^{t_f} a_i(t)\,dt<\infty$ for every $i$. Hence the spacetime is geodesically past-incomplete, with no assumption on global topology. The paper further exhibits an explicit NEC-satisfying model in which each direction expands during some interval but the three intervals never coincide, and in which past-complete axis geodesics exist, showing that assumption (i) marks the sharp boundary of the result.
Load-bearing premise
The proof rests on a single instant: $t_f$ must be one fixed time at which all three directions are expanding together, and if no such instant exists the key lower bound $d_i>0$ fails while the paper's own example still satisfies the null energy condition.
Editorial extensions
If this is right
- Any Bianchi-I solution of Einstein's equations that satisfies the null energy condition and has all three Hubble parameters positive at one instant is geodesically past-incomplete.
- The null energy condition alone is not enough: the paper's explicit counterexample obeys the NEC yet remains past-complete because it never expands in all three directions at once.
- Because the proof uses only the null convergence condition, the theorem transfers to any metric theory of gravity whose matter satisfies that geometric condition, independent of the Einstein equations themselves.
- The argument extends without substantial change to arbitrary spatial dimension, and the same integral bound is expected to hold for timelike geodesics as well.
- The result provides a classical baseline for quantum-cosmological models: any quantization of a Bianchi-I spacetime meeting the theorem's classical conditions must confront the fact that the classical description ends after finite affine time to the past.
Reading between the lines
- The monotone function $\Psi_i$ is a Lyapunov-type quantity that is not tied to the detailed field equations, so the same construction could plausibly be tried for other anisotropic or homogeneous cosmologies with a preferred spatial frame.
- A natural sharpening question is whether the instantaneous simultaneous-expansion condition can be weakened to expansion along all three axes on a set of positive measure, or whether the counterexample can be adapted to evade such a condition as well.
- The counterexample's structure invites a classification of NEC-compatible Bianchi-I models according to how the epochs of positive $H_i$ overlap; if the overlap is empty, past-completeness can survive, and if the overlap is nonempty the theorem closes the past.
- In settings where only an averaged null energy condition holds, the local NEC is the obvious weakest step; an averaged version of the present argument might require the all-direction expansion to hold in an averaged rather than instantaneous sense.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves a geodesic past-incompleteness theorem for Bianchi-I spacetimes in general relativity. The theorem states that if the null energy condition (NEC) holds and there exists a single time at which all three Hubble parameters are strictly positive, then the integral of each scale factor over the past is finite, and therefore the axis-aligned null geodesics are past-incomplete. The proof builds a Lyapunov-type monotone quantity from the NEC and derives a uniform integral bound. The paper further claims sharpness: without the simultaneous-expansion assumption, the NEC alone does not imply past-incompleteness, and a counterexample with piecewise-defined Hubble parameters is presented. The counterexample is claimed to be geodesically past-complete and consistent with the NEC, with each direction exhibiting a phase of expansion at different times.
Significance. If correct, the main theorem is a clean and parameter-free incompleteness result for Bianchi-I spacetimes under the physically well-motivated NEC plus a single-time simultaneous-expansion condition. It avoids the SEC required by classical singularity theorems and imposes no global topology assumption. The proof is self-contained, explicit, and verifiable; in particular, the inequality chain from the NEC to the monotonicity of the Lyapunov function and the resulting integral bound is straightforward to check. The counterexample, once rigorously established, would demonstrate that the simultaneous-expansion assumption is genuinely necessary. The paper is likely to interest both the cosmology and mathematical relativity communities.
major comments (2)
- [Section IV, Eq. (17)] The assertion that the model defined by Eq. (17) is 'geodesically past-complete' is stated without proof. For a general null geodesic with conserved momenta p_i, the affine parameter satisfies dt/dλ = (Σ_i p_i^2/a_i^2)^{1/2}, so past-completeness of all null geodesics requires this integral to diverge as t→-∞; the axis-aligned integrals ∫ a_i dt discussed in Section III do not cover the general case. In the present model each H_i is of the form -e^{At} plus a bounded bump, so each a_i(t) is bounded above and below by positive constants on (-∞, t_f); consequently (Σ_i p_i^2/a_i^2)^{1/2} is bounded below by a positive constant for every nonzero momentum vector, and the affine parameter integral diverges. This argument should be added (or an equivalent one given), because the example is the sole basis for the sharpness claim that the NEC does not imply past-incompleteness without assumption (i).
- [Section IV, Figs. 1-2] The verification that the counterexample satisfies the NEC is graphical only. Figures 1 and 2 show that the left-hand sides of the inequalities (4) are positive, but for an explicit counterexample that is used to prove sharpness, a plot is not a proof. Outside the bump intervals the check is immediate because the left-hand sides reduce to 2A e^{At} > 0, and inside the intervals the expressions are explicit elementary functions. The authors should provide an analytic verification or, failing that, a rigorous numerical certificate with error bounds. As written, the claim that the example satisfies the NEC is not mathematically established.
minor comments (5)
- [Section IV] The functions H_i in Eq. (17) are only C^1, not smooth, and the authors note that a mollifier can be used. They should state explicitly that a sufficiently small mollification preserves the NEC, whose inequalities appear to hold with strict margin in the figures.
- [Abstract and Section IV] The phrase 'always contracting along at least one direction' should be made precise as 'no time exists at which all three Hubble parameters are simultaneously positive'; the example actually gives each direction a phase of expansion at different times.
- [Section III, Eq. (10)] The cyclic convention H_4 ≡ H_1 and H_5 ≡ H_2 is introduced for Eq. (4), but the proof then uses the notation S_jk without explicitly linking j,k to the cyclic indices; a brief restatement would improve readability.
- [Section V] The sentence 'We see no significant obstacle in running the argument for time-like geodesics' is not supported by the presented proof, since for timelike geodesics the effective energy is at least 1 and the integrals do not obviously mirror the null case. This remark should either be justified or tempered.
- [References] References [38] and [39] contain malformed arXiv identifiers ('arXiv:608470v1 [math.DG]' and 'arXiv:0306087 [gr-qc]'); these should be corrected or the entries cleaned up.
Circularity Check
No significant circularity: the theorem is a parameter-free derivation from the NEC and the simultaneous-expansion assumption, and the counterexample is an explicit independent construction.
full rationale
The central claim (Section III Theorem) is derived entirely in-paper and parameter-free: the NEC is converted into the inequalities (4) via the Einstein equations in Appendix A; the proof introduces the Lyapunov-type quantity Ψ_i (Eq. 12) whose monotonicity is an algebraic consequence of (4) (Eq. 11); the constant d_i = Ψ_i(0) = H_j(t_f) + H_k(t_f) is positive exactly via assumption (i); and the inequality (15) then bounds ∫_0^∞ e^{-F_i} dτ by 2/d_i, giving convergence of ∫ a_i dt, which by the standard affine-parameter relation (9) for the explicit null geodesics (8) (citing external references [70, 71]) is geodesic past-incompleteness. No fitted input, no prior result, and no self-citation is used as a premise of the proof. The self-citation [23] appears only as background (the FLRW analogue) and in a contextual remark about the BGV theorem, whose load-bearing content is the external theorem [41]; moreover the claimed BGV-based statement is not needed for the theorem or for the validity of the counterexample. The Section IV counterexample is an explicit model, Eq. (17), whose consistency with the NEC is verified directly from (4) (Fig. 2); its asserted past-completeness, though stated tersely, follows from the construction because H_i(t) = -e^{At} as t → -∞ makes each a_i tend to a positive constant, so the metric approaches flat space and every null geodesic (with E_∞^2 = Σ p_i^2/a_i^2(-∞) > 0) has ∫ dt/E diverging. The paper's acknowledged limitations (dependence on the Bianchi-I form and on the Einstein equations) do not render any step circular. The derivation is self-contained and the sharpness claim rests on an explicit, checkable example; the only minor weakness is rhetorical (the counterexample's geodesic completeness is asserted rather than spelled out), which is a presentation gap, not circularity.
Assumptions & free parameters
free parameters (1)
- Counterexample parameters (A, B_i, ω, t_i) =
A=2.2, B_1=0.000195, B_2=0.0062, B_3=0.2, ω=4, t_1=-0.3-π, t_2=-0.3-π/2, t_3=-0.3
assumptions (4)
- domain assumption Scale factors a_i(t) are smooth positive functions on (-∞, t_f) with t_i = -∞ for past completeness
- domain assumption The Einstein field equations hold
- domain assumption The null energy condition holds for all t < t_f
- standard math Standard real analysis and ODE inequality techniques
Cite this review
Pith. "Pith review of Geodesic completeness of anisotropic cosmologies and the null energy condition." pith.science (2026). https://pith.science/paper/CKB23WVF
@misc{pith2026260806852,
author = {Pith},
title = {Pith review of: Geodesic completeness of anisotropic cosmologies and the null energy condition},
year = {2026},
howpublished = {\url{https://pith.science/paper/CKB23WVF}},
note = {Machine review of arXiv:2608.06852}
}
read the original abstract
We demonstrate that a Bianchi-I spacetime in general relativity must be geodesically past-incomplete under the assumption of the null energy condition and provided there exists a time in which the universe is expanding in all directions. Spacetimes which are always contracting along at least one direction are not subject to the conclusion, and we provide an explicit example. A distinguishing feature of our theorem is that it makes no assumption on the global topology of the spacetime.
Figures
Reference graph
Works this paper leans on
-
[23]
S. Garcia-Saenz, J. Hua, and Y. Zhao, Phys. Rev. D 110, L061304 (2024), arXiv:2405.04062 [gr-qc]
arXiv 2024
- [1]
- [2]
-
[3]
B. Chen, B. Czech, and Z.-z. Wang, Rept. Prog. Phys. 85, 046001 (2022), arXiv:2108.09188 [hep-th]
arXiv 2022
- [4]
- [5]
-
[6]
Hawking, Proc
S. Hawking, Proc. Roy. Soc. Lond. A294, 511 (1966)
1966
- [7]
Show all 75 references
-
[8]
Hawking, Proc
S. Hawking, Proc. Roy. Soc. Lond. A300, 187 (1967)
1967
-
[9]
S. W. Hawking and R. Penrose, Proc. Roy. Soc. Lond. A 314, 529 (1970)
1970
-
[10]
Penrose, Phys
R. Penrose, Phys. Rev. Lett.14, 57 (1965)
1965
-
[11]
S. D. H. Hsu, A. Jenkins, and M. B. Wise, Phys. Lett. B597, 270 (2004), arXiv:astro-ph/0406043
2004 arXiv
-
[12]
Dubovsky, T
S. Dubovsky, T. Gregoire, A. Nicolis, and R. Rattazzi, JHEP03, 025 (2006), arXiv:hep-th/0512260
2006 arXiv
-
[13]
R. V. Buniy and S. D. H. Hsu, Phys. Lett. B632, 543 (2006), arXiv:hep-th/0502203
2006 arXiv
-
[14]
R. V. Buniy, S. D. H. Hsu, and B. M. Murray, Phys. Rev. D74, 063518 (2006), arXiv:hep-th/0606091
2006 arXiv
-
[15]
Sawicki and A
I. Sawicki and A. Vikman, Phys. Rev. D87, 067301 (2013), arXiv:1209.2961 [astro-ph.CO]
2013 arXiv
-
[16]
V. A. Rubakov, Phys. Usp.57, 128 (2014), arXiv:1401.4024 [hep-th]
2014 arXiv
-
[17]
Libanov, S
M. Libanov, S. Mironov, and V. Rubakov, JCAP08, 037 (2016), arXiv:1605.05992 [hep-th]
2016 arXiv
-
[18]
R. M. Wald and U. Yurtsever, Phys. Rev. D44, 403 (1991)
1991
-
[19]
E. E. Flanagan and R. M. Wald, Phys. Rev. D54, 6233 (1996), arXiv:gr-qc/9602052
1996 arXiv
-
[20]
Faulkner, R
T. Faulkner, R. G. Leigh, O. Parrikar, and H. Wang, JHEP09, 038 (2016), arXiv:1605.08072 [hep-th]
2016 arXiv
-
[21]
Hartman, S
T. Hartman, S. Kundu, and A. Tajdini, JHEP07, 066 (2017), arXiv:1610.05308 [hep-th]
2017 arXiv
-
[22]
Balakrishnan, T
S. Balakrishnan, T. Faulkner, Z. U. Khandker, and H. Wang, JHEP09, 020 (2019), arXiv:1706.09432 [hep- th]
2019 arXiv
-
[24]
Kasner, Am
E. Kasner, Am. J. Math.43, 217 (1921)
1921
-
[25]
C. W. Misner, Phys. Rev. Lett.22, 1071 (1969)
1969
-
[26]
V. A. Belinsky, I. M. Khalatnikov, and E. M. Lifshitz, Adv. Phys.19, 525 (1970)
1970
-
[27]
V. a. Belinsky, I. m. Khalatnikov, and E. m. Lifshitz, Adv. Phys.31, 639 (1982)
1982
-
[28]
Eardley, E
D. Eardley, E. Liang, and R. Sachs, J. Math. Phys.13, 99 (1972)
1972
-
[29]
J. D. Barrow, Nature272, 211 (1978)
1978
-
[30]
Isenberg and V
J. Isenberg and V. Moncrief, Annals Phys.199, 84 (1990)
1990
-
[31]
B. K. Berger, Living Rev. Rel.5, 1 (2002), arXiv:gr- qc/0201056
2002
- [32]
-
[33]
Corichi and P
A. Corichi and P. Singh, Phys. Rev. D80, 044024 (2009), arXiv:0905.4949 [gr-qc]
2009 arXiv
-
[34]
Saini and P
S. Saini and P. Singh, Class. Quantum Grav.36, 105014 (2019), arXiv:1812.08937 [gr-qc]
2019 arXiv
-
[35]
Saini and P
S. Saini and P. Singh, Class. Quantum Grav.34, 235006 (2017), arXiv:1707.08556 [gr-qc]
2017 arXiv
-
[36]
J. K. Beem, P. E. Ehrlich, and K. L. Easley, Global Lorentzian Geometry, 2nd ed., Monographs and Textbooks in Pure and Applied Mathematics, Vol. 202 (Marcel Dekker, New York, 1996)
1996
-
[37]
S´ anchez, Nonlinear Anal
M. S´ anchez, Nonlinear Anal. Theory Methods Appl.30, 643 (1997)
1997
-
[38]
Ecker, D
K. Ecker, D. Knopf, L. Ni, and P. Topping, Journal f¨ ur die reine und angewandte Mathematik616, 89 (2008), arXiv:608470v1 [math.DG]
2008
-
[39]
Ecker, D
K. Ecker, D. Knopf, L. Ni, and P. Topping, Contemp. Math.337, 171 (2003), arXiv:0306087 [gr-qc]
2003
-
[40]
A. D. Randall, Living Rev. Relativ.8, 6 (2005), arXiv:0505133 [gr-qc]
2005
-
[41]
Borde, A
A. Borde, A. H. Guth, and A. Vilenkin, Phys. Rev. Lett. 90, 151301 (2003), arXiv:gr-qc/0110012
2003 arXiv
-
[42]
Borde and A
A. Borde and A. Vilenkin, Phys. Rev. Lett.72, 3305 (1994), arXiv:gr-qc/9312022
1994 arXiv
-
[43]
Borde, Phys
A. Borde, Phys. Rev. D50, 3692 (1994), arXiv:gr- qc/9403049
1994
-
[44]
Borde and A
A. Borde and A. Vilenkin, Int. J. Mod. Phys. D5, 813 (1996), arXiv:gr-qc/9612036
1996 arXiv
-
[45]
Conroy, A
A. Conroy, A. S. Koshelev, and A. Mazumdar, Phys. Rev. D90, 123525 (2014), arXiv:1408.6205 [gr-qc]
2014 arXiv
- [46]
-
[47]
Kothawala, Class
D. Kothawala, Class. Quant. Grav.38, 045006 (2021), arXiv:1806.03846 [gr-qc]
2021 arXiv
-
[48]
W. H. Kinney and N. K. Stein, JCAP06, 011 (2022), arXiv:2110.15380 [gr-qc]
2022 arXiv
-
[49]
W. H. Kinney, S. Maity, and L. Sriramkumar, Phys. 7 Rev. D109, 043519 (2024), arXiv:2307.10958 [gr-qc]
2024 arXiv
-
[50]
Pavlovi´ c and M
P. Pavlovi´ c and M. Sossich, Eur. Phys. J. C84, 242 (2024), arXiv:2305.06719 [gr-qc]
2024 arXiv
-
[51]
J. E. Lesnefsky, D. A. Easson, and P. C. W. Davies, Phys. Rev. D107, 044024 (2023), arXiv:2207.00955 [gr- qc]
2023 arXiv
-
[52]
D. A. Easson and J. E. Lesnefsky, Phys. Lett. B875, 140370 (2026), arXiv:2402.13031 [hep-th]
2026
-
[53]
D. A. Easson and J. E. Lesnefsky, Phys. Rev. D112, 063545 (2025), arXiv:2404.03016 [hep-th]
2025 arXiv
-
[54]
W. H. Kinney (2026) arXiv:2604.20809 [gr-qc]
2026 arXiv
-
[55]
W. H. Kinney, (2026), arXiv:2607.28412 [gr-qc]
2026 arXiv
-
[56]
G. J. Galloway and E. Ling, Commun. Math. Phys.360, 611 (2018), arXiv:1705.06705 [gr-qc]
2018 arXiv
- [57]
-
[58]
E. Ling, C. Rossdeutscher, W. Simon, and R. Steinbauer, Commun. Anal. Geom.34, 571 (2026), arXiv:2508.00524 [gr-qc]
2026
-
[59]
G. J. Galloway and E. Ling, Gen. Rel. Grav.58, 66 (2026), arXiv:2512.10699 [gr-qc]
2026
-
[60]
S. T. Yau, in Seminar on Differential Geometry, Annals of Mathematics Studies, Vol. 102, edited by S.-T. Yau (Princeton University Press, Princeton, NJ, 1982) pp. 669–706
1982
-
[61]
Bartnik, Communications in Mathematical Physics 117, 615 (1988)
R. Bartnik, Communications in Mathematical Physics 117, 615 (1988)
1988
-
[62]
Eschenburg, Journal of Differential Geometry27, 477 (1988)
J.-H. Eschenburg, Journal of Differential Geometry27, 477 (1988)
1988
-
[63]
G. J. Galloway, Journal of Differential Geometry29, 373 (1989)
1989
-
[64]
R. P. A. C. Newman, Journal of Differential Geometry 31, 163 (1990)
1990
-
[65]
G. J. Galloway and C. Vega, Annales Henri Poincare15, 2241 (2014), arXiv:1211.2460 [gr-qc]
2014 arXiv
-
[66]
G. J. Galloway and C. Vega, Annales Henri Poincare18, 3399 (2017), arXiv:1608.06353 [gr-qc]
2017 arXiv
-
[67]
G. F. R. Ellis and H. van Elst, NATO Sci. Ser. C541, 1 (1999), arXiv:gr-qc/9812046
1999 arXiv
-
[68]
T. S. Pereira, C. Pitrou, and J.-P. Uzan, JCAP09, 006 (2007), arXiv:0707.0736 [astro-ph]
2007 arXiv
-
[69]
I. Y. Aref’eva, N. V. Bulatov, L. V. Joukovskaya, and S. Y. Vernov, Phys. Rev. D80, 083532 (2009)
2009
-
[70]
Romero and M
A. Romero and M. Sanchez, Geometriae Dedicata53, 103–117 (1994)
1994
-
[71]
Sanchez, General Relativity and Gravitation30, 915–932 (1998)
M. Sanchez, General Relativity and Gravitation30, 915–932 (1998)
1998
- [72]
-
[73]
N. L. Burwig and D. A. Easson, Phys. Rev. D113, 083530 (2026), arXiv:2510.13971 [hep-th]
2026 arXiv
-
[74]
N. L. Burwig and D. A. Easson, (2026), arXiv:2605.18965 [gr-qc]
2026 arXiv
-
[75]
S. W. Hawking and G. F. R. Ellis, The Large Scale Structure of Space-Time, Cambridge Monographs on Mathematical Physics (Cambridge University Press, 2023)
2023
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.