{"id":"82fb50e1-95f2-4a67-86f6-52f6f154a2f9","arxiv_id":"2607.20063","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For compact-slice cosmological spacetimes, the null-distance completion is bi-Lipschitz to a product taxi space, and monotone families converge uniformly and future-developed, with the limit's causally-null distance equal to the limit tensor's null distance.","lead":"Cosmological spacetimes with compact spatial slices are shown to have explicit, compact null-distance completions, and monotone sequences of such spacetimes converge uniformly to well-defined limits. The result clarifies, for this class, what causal information survives in the limit of a spacetime-convergence program.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"I read the manuscript with attention to the assumptions underpinning Theorem 1.4. No mathematical error was found in the chain Lemma 3.1 -> Lemma 3.3 -> Corollary 3.8/3.10 -> Theorem 1.1 -> Theorem 4.2 -> Proposition 4.10 -> Theorem 1.4. The reader's weakest assumption (B) plus compactness is indeed the premise that makes the sandwich \\hat{d}_1 \\le d_\\infty \\le \\hat{d}_{\\tilde{g}} produce compactness and uniform convergence; however, this is explicitly stated and proven necessary by Example 5.5, so it is a scope condition rather than an objection to the central claim. The main new content, the equality of the causally-null distance of the limit with the extension of the null distance of the limit tensor, is proven carefully; the a.c. regularity of curves (Example 5.9) is exactly the right condition to make the limit-curve argument work. The presentation issues noted by the reader (Example 5.6 coordinate swap, Lemma 4.7 epsilon window, Proposition 4.10's compressed 'same reasoning' step) are real but do not invalidate the proofs, so the conditional verdict can stand unchanged.","tokens_in":32284,"tokens_out":27863,"duration_ms":244192,"concrete_test":"Verify the core identification in Theorem 1.4 for the singular limit tensor of Example 5.9: for points p=(t_1,x), q=(t_2,y) with t_1,t_2 in the fat Cantor set, compute the causally-null distance \\hat{d}_{d_\\infty,\\tau}(p,q) and the extended null distance \\hat{d}_\\infty(p,q) using the explicit a.c. null curve, and confirm that they agree exactly.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim of Theorem 1.4 is supported by the proofs. The most delicate step, Proposition 4.10's equality of causal relations \\leq_{\\hat{d}_\\infty,\\tau} = \\cap_j \\leq_{\\hat{d}_j,\\tau}, is sound: because h_j increases, the causal cone of g_k contains those of g_j for j\\ge k, so the tail of the extracted subsequence is g_k-causal; the uniform limit of the whole subsequence to \\gamma forces the subsequential limit to coincide with \\gamma, making \\gamma g_k-causal for every k and hence g_\\infty-causal. The other pillars (Lemma 3.3, Theorem 3.5, Theorem 4.2, Proposition 4.6) are internally consistent. The only genuine limitation is assumption (B) plus compactness of M; the paper explicitly gives Example 5.5 showing that without (B) the limit space is non-compact, so this is a stated scope restriction rather than a hidden flaw. Minor presentation issues (Example 5.6's coordinate swap, Lemma 4.7's epsilon window, Example 5.9's measure formula) do not affect the mathematics.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies null distances on cosmological spacetimes with compact slices, i.e. manifolds (0,τmax)×M with Lorentzian metrics -dt² + h_t. Under a continuous-extension assumption (A), Theorem 1.1 identifies the metric completion of the null-distance space with [0,τmax]×M equipped with a taxi distance, via explicit bi-Lipschitz bounds. For monotone sequences of metrics satisfying a uniform upper tensor bound (assumption (B)), Theorem 1.2 establishes pointwise and uniform convergence of the null distances, future-developed Gromov–Hausdorff convergence, and timed-Hausdorff convergence. Theorems 1.3 and 1.4 then show that the causally-null distance of the limit distance space coincides with the null distance of the (possibly non-smooth) pointwise limit metric tensor. Several examples test the necessity of the hypotheses, including a non-compact limit without (B), a non-causally-null completion without an accessibility condition, and a discontinuous limit tensor requiring absolutely continuous causal curves.","tokens_in":32410,"tokens_out":29787,"duration_ms":258526,"significance":"If the results hold, this is a substantial step in the Sakovich–Sormani null-distance convergence program. It gives the first explicit topological description of null-distance completions for cosmological spacetimes with compact slices, and a monotone-convergence theorem analogous to Perales–Sormani but in the Lorentzian/null-distance setting. The causally-null regularization result (Theorem 1.4) is conceptually interesting: it shows that the limit distance can fail to be causally-null while its causally-null regularization still recovers the null distance of the limit tensor. The paper has clear strengths: a self-contained alternative proof of Nigri's theorem (Theorem 3.5), explicit global bi-Lipschitz estimates, clean compactness arguments, and examples that sharply separate the hypotheses. I found no circularity or parameter-fitting; the assumptions are stated precisely and the proofs are largely checkable.","major_comments":[],"minor_comments":[{"comment":"The triangle is defined by vertices (0,-1), (1,0), (0,1+ε), but the boundary point r is written as (1+ε,0). This point has t=1+ε, x=0 and is not on the boundary of the described triangle. Presumably r should be (0,1+ε) (or the vertices should be changed). This makes the subsequent angle discussion and the figure caption confusing.","section":"Example 5.6"},{"comment":"The abstract states that the paper treats monotone sequences 'with a uniform upper bound on the spatial diameter', but assumption (B) requires a uniform upper bound on the spatial metric tensors: h_{j,t} ≤ \\tilde{h} on TM. This is a stronger condition than a diameter bound. The wording should be aligned with the actual hypothesis, e.g. 'uniform upper bound on the spatial metrics'.","section":"Abstract / Assumption (B)"},{"comment":"The proof that the completed space (\\bar{N}, \\hat{d}_∞) is causally-null is dispatched with the single sentence 'By the same reasoning as in Theorem 1.3 one can see...'. Since this is the key step linking \\hat{d}_{d∞,τ} to \\hat{d}_∞, please spell out the accessibility check for boundary points with respect to \\hat{d}_∞ (e.g. that the vertical curves are timelike for g∞ and hence give the required ≤_{ \\hat{d}_∞,τ } relations).","section":"Proposition 4.10 / Theorem 1.4"},{"comment":"In the proof of Proposition 4.6, the sentence 'we only need to prove the opposite inequality, i.e., that \\hat{d} ≥ \\hat{d}_{\\hat{d},τ}' states the wrong direction. Since [CP26, Proposition 1.9] gives \\hat{d}_{\\hat{d},τ} ≥ \\hat{d}, the missing inequality is \\hat{d}_{\\hat{d},τ} ≤ \\hat{d}, which is what the subsequent argument actually proves. The wording should be corrected.","section":"Proposition 4.6 proof"},{"comment":"In the estimate after constructing the ODE solutions, the display ends with '= M(K+˜δ)|c_k−c_{k+1}| = M(K+˜δ)/N'. Since |c_k−c_{k+1}| = (d-c)/N, the factor (d-c) has been omitted. The choice of N should read N > M(K+˜δ)(d-c)/min(ε, δ_t/2). This is a typo that does not affect the argument, but the formula as written is incorrect.","section":"Theorem 3.5 proof"},{"comment":"The example should state explicitly that the smooth approximants f_j can be chosen to satisfy the continuous extension condition (A) at t=0 and t=1 (for instance by taking f_j(0)=f_j(1)=1), so that the sequence falls under the hypotheses of Proposition 4.10. Also, the remaining-measure expression should be typeset unambiguously, e.g. (1−3a)/(1−2a), rather than the current ambiguous inline formula.","section":"Example 5.9"}],"recommendation":"minor_revision","confidential_remarks":"I found no load-bearing mathematical errors. The reader's conditional verdict aligns with my reading: the main proofs are checkable and the arguments are internally consistent. The paper is within the journal's scope, and the novelty justifies publication after a minor revision. The most useful changes for the version of record are expanding the one-sentence justification in Proposition 4.10, fixing the coordinate typo in Example 5.6, and aligning the abstract with the actual assumption (B)."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague, here's my read. The paper does two genuinely new things. First, it gives an explicit bi-Lipschitz description of the metric completion of a cosmological spacetime with compact slices under mild extension assumptions (Theorem 1.1), sharpening the Sakovich-Sormani compactifiability results. Second, it proves a monotone-convergence theorem (Theorem 1.2) under assumption (B): increasing spatial metrics with a uniform upper bound give uniform convergence of null distances and future-developed Gromov-Hausdorff convergence. Theorems 1.3 and 1.4 answer the Che-Perales question for this class: the causally-null distance of the limit distance coincides with the null distance of the (possibly non-smooth) limit metric tensor, even when the limit distance itself is not causally-null (Example 5.8). That's a real result, not a repackaging.\n\nI checked the main proof lines: Lemma 3.1, the ODE construction in Theorem 3.5, the bi-Lipschitz bounds, the monotone-compactness argument, and the chain/limit-curve arguments in Propositions 4.6 and 4.10. The mathematics is sound. The proof of Theorem 3.5 is credited to Nigri with an independent treatment; that's honest. The examples are well chosen and show assumption (B) is not removable: Example 5.5 produces a non-compact limit when the uniform bound is dropped. The paper is a genuine advance within the null-distance/timed-metric-space subfield.\n\nSoft spots are presentation-level. The proofs accumulate small glitches: Example 5.6 has a coordinate inconsistency (the point r=(1+epsilon,0) does not sit on the triangle described); Lemma 4.7 uses global hyperbolicity without flagging it as an extra assumption, and has a typo in the epsilon window; Proposition 4.10's 'same reasoning as in Theorem 1.3' step is compressed and should be spelled out via an explicit chain construction for the non-smooth limit metric. None of these affect the central claims. The real scope restriction is assumption (B) plus compactness of M; that is a stated limitation, not a hidden flaw.\n\nWho is this for? Researchers working on null distance, Lorentzian length spaces, or convergence of spacetimes. It will be cited. It deserves a serious referee—not a desk reject. I'd send it to review, and I'd bring it to the reading group.","headline":"A solid, genuinely useful contribution to the null-distance convergence program: explicit completion for cosmological spacetimes, a monotone-convergence theorem, and an answer to the causally-null question for limit spaces; the main lines check out, with only presentation-level blemishes.","tokens_in":33101,"tokens_out":2452,"would_cite":true,"duration_ms":24822,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53B30","53C23","53C50"],"pacs":[],"model":"deepseek-v4-flash","headline":"Monotone sequences of cosmological spacetimes have null distances that converge uniformly to a compact limit, and the limit's causal regularization recovers the causal information of the possibly non-smooth limit metric.","keywords":["null distance","cosmological spacetimes","timed metric spaces","Gromov-Hausdorff convergence","future developed convergence","causally-null compactifiable","monotone convergence","limit metric tensor"],"falsifier":"Compute the null-distance limit for a monotone sequence without the uniform bound, e.g., h_j(t) = (1 + t/j)h on a compact manifold; the pointwise limit distance is non-compact, so if Theorem 1.2 were to hold without assumption (B), it would fail.","tokens_in":32008,"feed_emoji":"⏳","tokens_out":3258,"duration_ms":34158,"temperature":0.7,"pith_summary":"This paper proves that a monotone sequence of cosmological spacetimes with compact spatial slices—Lorentzian manifolds of the form (0, τmax) × M with metric −dt² + h_t—has null distances that converge uniformly to a compact limit distance, provided the spatial metrics increase and stay bounded by one fixed Riemannian metric. From this it derives convergence of the associated timed metric spaces in the future-developed and timed-Hausdorff senses. Its central result identifies the causal information of the limit: the causally-null distance induced by the limit distance equals the null distance of the possibly non-smooth pointwise limit metric tensor. This matters because the plain limit distance can fail to be causally-null; the causal regularization recovers what the limit forgets. The result gives a clean sufficient condition for causal-structure preservation in spacetime convergence.","feed_headline":"Monotone cosmological spacetimes converge uniformly in null distance","feed_subtitle":"Even if the limit metric is non-smooth, its causal order survives in the regularization of the limit distance.","key_machinery":"The central mechanism is the sandwich comparison of null distances: monotonicity of the spatial metrics implies monotonicity of the null distances, so d̂_1 ≤ d̂_j ≤ d̂_{g̃} for every j, where g̃ is built from the uniform bound h̃. For compact M, both d̂_1 and d̂_{g̃} are bi-Lipschitz equivalent to the taxi product distance |t−s| + d_{t0}(x,y) on [0, τmax] × M, forcing d∞ to be compact and the convergence uniform. The proof then uses a limit-curve argument to identify the causal relation of the limit as the intersection of the approximating causal relations, and shows that this relation is exactly the one induced by the pointwise limit tensor g∞.","core_discovery":"The paper establishes Theorem 1.4: for a sequence of cosmological spacetimes (N, g_j) with compact slices and metrics g_j = −dt² + h_{j,t} satisfying assumption (B)—the spatial metrics are increasing in j and uniformly bounded above by a fixed Riemannian metric—the pointwise limit distance d∞ is compact, the sequence converges in the future-developed and timed-Hausdorff senses, and the causally-null distance d̂_{d∞,τ} of the limit space coincides with the extension of the null distance d̂∞ of the possibly non-smooth pointwise limit metric tensor g∞. In other words, even when the plain limit distance is not causally-null (as Example 5.8 shows), the causally-null regularization still retains t","pith_inferences":["The same sandwich argument may extend to sequences whose spatial metrics only converge in measure or L¹, as long as monotonicity and the uniform upper bound hold, giving a route to causal-structure preservation under weaker regularity than uniform tensor convergence.","The causally-null accessibility condition that makes completions causally-null could serve as a practical criterion for detecting whether a timed metric space has 'dead' boundary points that disconnect the causal relation.","These results give a template for checking, in numerical relativity or approximate Lorentzian models, that a monotone family of discrete approximating spacetimes preserves causal order even if the metric converges only pointwise to a non-smooth tensor."],"forward_implications":["Cosmological spacetimes with compact slices and continuous metric extension to the boundary are causally-null compactifiable, with metric completion bi-Lipschitz to [0, τmax] × M under a taxi distance.","For monotone sequences satisfying a uniform upper bound, the null distances converge uniformly and the full sequence of timed metric spaces converges in the future-developed and timed-Hausdorff senses.","The causal relation of the limit space is exactly the intersection of the causal relations of the approximating spacetimes.","The causally-null distance of the limit space equals the null distance of the possibly non-smooth limit metric tensor, even when the plain limit distance is not causally-null.","Without the uniform upper bound, limit spaces can be non-compact and non-product (Example 5.5), so the compactness conclusion genuinely depends on assumption (B)."],"fun_headline_variants":["Null distance converges uniformly for monotone cosmological spacetimes","Causally-null distance survives non-smooth metric limits","Monotone spacetime sequences yield uniform null-distance convergence","Cosmological monotone limits preserve causally-null distance"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The argument hinges on assumption (B): the existence of a single Riemannian metric h̃ on the compact manifold M such that h_{j,t} ≤ h̃ uniformly, together with the compactness of M.","fun_headline_variants_meta":{"raw":{"variants":["Null distance converges uniformly for monotone cosmological spacetimes","Causally-null distance survives non-smooth metric limits","Monotone spacetime sequences yield uniform null-distance convergence","Cosmological monotone limits preserve causally-null distance"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000669,"raw_usage":{"total_tokens":2913,"prompt_tokens":795,"completion_tokens":2118,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":539,"completion_tokens_details":{"reasoning_tokens":2050}},"tokens_in":539,"tokens_out":2118,"duration_ms":18020,"temperature":1.0,"reasoning_tokens":2050,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T10:59:56.564270+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the null-distance limit for a monotone sequence without the uniform bound, e.g., h_j(t) = (1 + t/j)h on a compact manifold; the pointwise limit distance is non-compact, so if Theorem 1.2 were to hold without assumption (B), it would fail.","supporting_citations":[],"review_version":1}