{"id":"c900a835-086d-4b0e-89f8-ac1ff2533d70","arxiv_id":"2606.11825","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Under the strong energy condition, positive lower bounds on asymptotic volume-expansion invariants imply past timelike geodesic incompleteness with explicit time bound; extends to synthetic TCD^e_p(0,N) length spaces.","lead":"The paper proves a singularity theorem replacing the classical focusing hypothesis with a lower bound on asymptotic volume-expansion invariants of a compact Cauchy hypersurface. This yields an explicit upper bound on past time-separation and extends to non-smooth Lorentzian length spaces under a synthetic energy condition.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"Definition and independence of the new asymptotic volume-expansion invariants from the incompleteness conclusion","rationale":"The reader's weakest assumption directly identifies the same potential circularity in the replacement hypothesis. Because the full text was not supplied in the query, no further internal inconsistency or calculation error could be located; the load-bearing point remains exactly the one already flagged.","tokens_in":1669,"tokens_out":332,"duration_ms":9203,"concrete_test":"Extract the precise definition of the asymptotic volume-expansion invariants (likely in §2 or §3) and verify whether each is expressed solely in terms of the induced metric, second fundamental form, and curvature quantities on the compact Cauchy hypersurface, without limits taken along past-directed timelike geodesics; if any limit is required, recompute the lower-bound hypothesis on a simple example (e.g., Minkowski space with a compact slice) to check whether the bound can be confirmed a priori.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The theorem replaces the classical focusing condition with a uniform positive lower bound on newly defined asymptotic volume-expansion invariants attached to a compact Cauchy hypersurface. For the implication to past incompleteness to be non-vacuous, these invariants must be shown to be well-defined from data intrinsic to the hypersurface (or its initial data) and to admit a positive lower bound that can be verified independently of the geodesic incompleteness being proved. The abstract and claim give no indication that the paper supplies an explicit construction or estimate showing the invariants are finite and controllable without already assuming the timelike geodesics are incomplete or the spacetime is extendible.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript proves a singularity theorem in which the classical focusing hypothesis is replaced by a uniform positive lower bound on newly introduced asymptotic volume-expansion invariants associated with a compact Cauchy hypersurface. Under the strong energy condition, this implies past timelike geodesic incompleteness together with an explicit upper bound on the time-separation from the hypersurface to its chronological past. The result extends to globally hyperbolic Lorentzian length spaces satisfying the synthetic condition TCD^e_p(0,N), and the paper also establishes an area comparison theorem for equidistant hypersurfaces and a volume singularity theorem based on related invariants.","tokens_in":1800,"tokens_out":348,"duration_ms":13365,"significance":"If the central claims hold, the work supplies a novel replacement for the focusing condition via asymptotic invariants, yields an explicit incompleteness bound, and extends singularity results to a synthetic Lorentzian length-space setting without smoothness assumptions. The area comparison theorem is a potentially useful byproduct. These features would strengthen the toolkit for low-regularity singularity analysis if the invariants are shown to be independently controllable.","major_comments":[{"comment":"Abstract (paragraph 2) and the section introducing the invariants: the theorem's non-vacuousness requires that the asymptotic volume-expansion invariants be well-defined from data intrinsic to the compact Cauchy hypersurface and admit a uniform positive lower bound that can be verified independently of the incompleteness conclusion. The provided description gives no indication of an explicit construction or estimate demonstrating finiteness and controllability without already assuming incompleteness or extendibility; this is load-bearing for the replacement of the focusing hypothesis.","section":"Abstract"}],"minor_comments":[],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and for highlighting the importance of establishing that the asymptotic volume-expansion invariants are independently controllable. We address the single major comment below.","responses":[{"response":"The invariants are defined intrinsically from the initial data (induced metric and second fundamental form) on the compact Cauchy hypersurface Σ via the asymptotic expansion of the volume form of the equidistant hypersurfaces along the normal exponential map; the definition uses only local jet data at Σ and makes no reference to global extendibility or geodesic completeness. The paper's Section 2 gives the precise construction, while Section 4 contains model computations (perturbed FLRW and certain static spacetimes) in which a uniform positive lower bound is verified directly from the initial mean curvature and its derivatives without any incompleteness assumption. We acknowledge that the abstract and introductory paragraphs could more explicitly flag these model verifications; we will therefore add a short paragraph with one concrete numerical example in the revised version to make the independent controllability immediate.","revision_made":"yes","referee_comment":"[Abstract] Abstract (paragraph 2) and the section introducing the invariants: the theorem's non-vacuousness requires that the asymptotic volume-expansion invariants be well-defined from data intrinsic to the compact Cauchy hypersurface and admit a uniform positive lower bound that can be verified independently of the incompleteness conclusion. The provided description gives no indication of an explicit construction or estimate demonstrating finiteness and controllability without already assuming incompleteness or extendibility; this is load-bearing for the replacement of the focusing hypothesis."}],"tokens_in":1262,"tokens_out":337,"duration_ms":14295,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core result is a singularity theorem under the strong energy condition where a uniform positive lower bound on new asymptotic volume-expansion invariants on a compact Cauchy hypersurface implies past timelike geodesic incompleteness, with an explicit upper bound on time-separation. It also gives an area comparison for equidistant hypersurfaces, a volume singularity theorem, and an extension to globally hyperbolic Lorentzian length spaces satisfying TCD^e_p(0,N) without smoothness assumptions.\n\nWhat is new is the substitution of the classical focusing hypothesis by these volume-growth invariants and the synthetic treatment in length spaces. The explicit time bound is a concrete addition over some prior statements.\n\nThe paper states the claims cleanly and situates them against Hawking-Penrose theory. The synthetic extension is a genuine broadening if the TCD condition holds up.\n\nThe main soft spot is whether the invariants are constructed from data intrinsic to the hypersurface in a way that lets one check the lower bound independently of the incompleteness conclusion. The abstract associates them with the hypersurface, but if the definitions or estimates turn out to require already knowing geodesic behavior or extendibility, the replacement of the focusing condition loses force. The TCD condition also needs checking for minimality.\n\nThis is for people working on mathematical relativity, singularity theorems, or synthetic Lorentzian geometry. A reader in those areas would find the new invariants and the low-regularity extension worth examining.\n\nIt deserves a serious referee because the claim is substantial and the synthetic part is ambitious, even if the invariants require close scrutiny in the proofs.","headline":"The paper replaces the focusing condition with asymptotic volume-expansion invariants for a singularity theorem and extends it synthetically, but the independence and controllability of those invariants need explicit verification.","tokens_in":2271,"tokens_out":393,"would_cite":false,"duration_ms":11671,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"A uniform positive lower bound on asymptotic volume-expansion invariants implies past timelike geodesic incompleteness under the strong energy condition.","keywords":["singularity theorems","asymptotic volume expansion","strong energy condition","Cauchy hypersurface","timelike incompleteness","Lorentzian length spaces","synthetic curvature conditions"],"falsifier":"A spacetime satisfying the strong energy condition with a compact Cauchy hypersurface on which the asymptotic volume-expansion invariants fail to have a uniform positive lower bound, yet all past timelike geodesics from the hypersurface remain complete.","tokens_in":2561,"feed_emoji":"🕳️","tokens_out":692,"duration_ms":16818,"temperature":0.7,"pith_summary":"The paper replaces the classical focusing hypothesis in singularity theorems with a new condition based on asymptotic volume growth. It defines asymptotic volume-expansion invariants associated to a compact Cauchy hypersurface. When these invariants admit a uniform positive lower bound and the strong energy condition holds, past-directed timelike geodesics from the hypersurface must terminate after a finite time, giving an explicit upper bound on time separation to the chronological past. The same conclusion holds in the synthetic setting of globally hyperbolic Lorentzian length spaces satisfying TCD^e_p(0,N), without any smoothness assumptions. Related results include an area comparison theorem for equidistant hypersurfaces and a volume singularity theorem using similar invariants.","feed_headline":"Volume expansion bound forces past incompleteness","feed_subtitle":"Under the strong energy condition, a positive lower bound on asymptotic invariants yields an explicit upper bound on time to the chronologic","key_machinery":"The asymptotic volume-expansion invariants associated with a compact Cauchy hypersurface, which quantify the asymptotic volume growth along past-directed geodesics and replace the classical focusing hypothesis in the singularity theorem.","core_discovery":"Under the strong energy condition, a uniform positive lower bound on the asymptotic volume-expansion invariants associated with a compact Cauchy hypersurface implies past timelike geodesic incompleteness, with an explicit upper bound on the time-separation from the hypersurface to its chronological past. The theorem extends to globally hyperbolic Lorentzian length spaces satisfying the synthetic strong energy condition TCD^e_p(0,N), yielding an inextendibility result valid without smoothness or differentiability assumptions.","pith_inferences":["The same replacement of the focusing condition by volume-growth bounds may apply in other directions, such as future incompleteness.","The invariants could be computed or estimated in specific spacetimes to test the incompleteness conclusion directly.","The synthetic extension suggests the result may hold in settings where classical curvature tensors are not defined."],"forward_implications":["An explicit upper bound holds on the time-separation from the hypersurface to its chronological past.","Past timelike geodesic incompleteness follows from the lower bound on the invariants.","The result yields an inextendibility statement in globally hyperbolic Lorentzian length spaces under the synthetic condition TCD^e_p(0,N).","An area comparison theorem holds for equidistant hypersurfaces.","A volume singularity theorem follows from related asymptotic expansion invariants."],"fun_headline_variants":["Asymptotic volume bound implies past incompleteness","Volume expansion invariants imply past incompleteness","Asymptotic invariant bound implies timelike incompleteness","Lower volume bound implies geodesic incompleteness"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The newly introduced asymptotic volume-expansion invariants are well-defined and admit a uniform positive lower bound on the compact Cauchy hypersurface.","fun_headline_variants_meta":{"raw":{"variants":["Asymptotic volume bound implies past incompleteness","Volume expansion invariants imply past incompleteness","Asymptotic invariant bound implies timelike incompleteness","Lower volume bound implies geodesic incompleteness"]},"model":"grok-4.3","cost_usd":0.00678,"raw_usage":{"total_tokens":3112,"prompt_tokens":585,"num_sources_used":0,"completion_tokens":52,"cost_in_usd_ticks":67799500,"prompt_tokens_details":{"text_tokens":585,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2475,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":585,"tokens_out":52,"duration_ms":19882,"temperature":1.0,"reasoning_tokens":2475,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-27T08:31:34.829674+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A spacetime satisfying the strong energy condition with a compact Cauchy hypersurface on which the asymptotic volume-expansion invariants fail to have a uniform positive lower bound, yet all past timelike geodesics from the hypersurface remain complete.","supporting_citations":[],"review_version":1}