{"id":"d3757d91-45f4-4f55-91ca-19972286eda2","arxiv_id":"1908.11701","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For non-compact spacetimes of dimension at least three, compact causal diamonds alone imply global hyperbolicity, so the causality condition can be dropped from the definition.","lead":"This paper proves that, for non-compact spacetimes of dimension at least three, a spacetime is globally hyperbolic if and only if its causal diamonds are compact, with no separate causality assumption. The result simplifies the standard definition, clarifying when closed time loops are impossible and when Cauchy surfaces exist.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: Theorem 2.8's proof is sound, and the reader's accept verdict remains appropriate.","rationale":"The reader identified the dimension and regularity assumptions as the weakest point, and on those I agree, but I do not find a load-bearing gap. The proof of Theorem 2.7 is terse but relies on standard Lorentzian causality results that do not fail in the stated C2 setting. The only genuinely delicate step is the existence of q∈∂I+(p)\\γ; the paper supplies two arguments, and the Hausdorff-dimension one is valid because achronal boundaries are locally Lipschitz in C2 spacetimes, giving Hausdorff dimension n. The corner-smoothing step is local and does not require causality. The non-compactness assumption in Theorem 2.8 is used exactly to rule out total viciousness, and the totally vicious case would force the whole spacetime to be a causal diamond, contradicting non-compactness under the compact-diamond hypothesis. The admitted limitation for proper cone structures does not transfer to Lorentzian metrics, and the C^{1,1} extension, while not fully detailed, is supported by cited work [30] and is not needed for the main claim as read. I therefore see no reason to change the reader's accept verdict.","tokens_in":9276,"tokens_out":45525,"duration_ms":445481,"concrete_test":"Verify the proof's last step in the 3D quotient spacetime S^1_w×R_v×R_y with metric 2 dw dv + dy^2 (w periodic), which is chronological but non-causal: explicitly compute the causal diamond J+((0,0,0))∩J-((0,1,0)) and confirm it is noncompact because of unbounded winding in the periodic w direction. If the diamond were compact, Theorem 2.8 would be contradicted; the expected noncompactness checks that the compactness hypothesis in the theorem is what excludes the closed-null-geodesic obstruction.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No significant objection identified. The central theorem 2.8 is supported by a coherent argument: compact causal diamonds imply the causal relation J is closed, hence the spacetime is reflecting; with non-compactness ruling out total viciousness, the Clarke-Joshi result gives chronology. If causality failed, a closed achronal null geodesic γ would exist. The Hausdorff-dimension argument correctly shows ∂I+(p)\\γ is nonempty, because γ([0,1]) has Hausdorff dimension at most 1 while ∂I+(p), as a C0 achronal hypersurface, has Hausdorff dimension at least n≥2. Then J closed gives p≤q and q∉I+(p), so a future null geodesic η connects p to q; if η were aligned with γ then q∈γ, otherwise the corner at p in the concatenated curve r→p→q is smoothable to a timelike curve, giving q∈I+(r)=I+(p), a contradiction. The paper's own caveat in §2.2.1 concerns proper cone structures, not the C2 Lorentzian setting of Theorem 2.8. The C^{1,1} extension is asserted rather than proved in detail, but it is not load-bearing for the main C2 claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper simplifies the definitions of global hyperbolicity and causal simplicity in Lorentzian causality theory. Its main result, Theorem 2.8, states that a non-compact spacetime of dimension n+1 ≥ 3 is globally hyperbolic if and only if all its causal diamonds are compact, so that the causality condition becomes redundant in this physically natural setting. The key new ingredient is Theorem 2.7, which shows that for a non-totally vicious spacetime of dimension n+1 ≥ 3, the causality assumption can be dropped from both definitions: closedness of the causal relation (or of causal diamonds) forces chronology, and a failure of causality would produce a closed achronal lightlike geodesic γ that must lie in the achronal boundary ∂I^+(p); the dimension assumption supplies a point q in ∂I^+(p) off γ, and closedness of J then gives a lightlike geodesic p→q whose corner with γ gives q∈I^+(p), a contradiction. The paper also treats low-regularity settings: for closed cone structures it proves that global hyperbolicity is equivalent to causality plus compactness of causally convex hulls of compact sets, and that causality cannot be dropped there (Example 2.12). An honest limitation is stated in §2.2.1: the authors do not know whether Theorem 2.7 passes to proper cone structures.","tokens_in":9458,"tokens_out":13064,"duration_ms":132762,"significance":"If the main theorem is correct, it is a clean and useful simplification: in dimension ≥ 4 (or n+1≥3) and for non-compact spacetimes, global hyperbolicity is checked solely by compactness of causal diamonds, with no separate causality condition. This is a foundational result that should interest the relativity community. The proof is detailed and self-contained apart from standard tools, and the role of the dimension and regularity assumptions is made explicit: the dimension enters through the Hausdorff-dimension argument in Theorem 2.7, and Example 2.12 shows the causality condition cannot be dropped for general closed cone structures. The paper also gives a new characterization of causal simplicity via closed causally convex hulls. The authors are appropriately cautious about the limits of the argument for proper cone structures. The work is honest about its reliance on prior results, including the second author's review and closed-cone-structure paper, which are published and independent.","major_comments":[],"minor_comments":[{"comment":"The opening asserts that the metric is C^2 and that C^{1,1} would be enough, but the proof of Theorem 2.7 uses the fact that a closed achronal lightlike geodesic is C^3 because the connection is C^1, which requires a C^2 metric. Since the authors later indicate in §2.2.1 that the C^{1,1} case does hold via Lorentz-Finsler theory, they should either state Theorem 2.7 explicitly for C^2 metrics and mention the C^{1,1} extension as a separate assertion, or provide the needed argument in the proof.","section":"§1, Definition of spacetime"},{"comment":"The Morse-Sard argument and its Hausdorff-dimension alternative assume that the C^0 achronal hypersurface ∂I^+(p) has Hausdorff dimension n. Since ∂I^+(p) is a priori only a topological hypersurface, the authors should justify that it is locally Lipschitz (as is standard for achronal boundaries) so that its Hausdorff dimension is indeed n. This is a presentation issue, not a correctness gap, but a short clarifying sentence or reference would make the proof fully rigorous.","section":"§2.1, Theorem 2.7 proof"},{"comment":"The theorem says that the causality conditions '(a) and (α)' in Definitions 1.1 and 1.2 can be dropped, but condition (a) is strong causality and condition (α) is distinguishing. The proof uses the Bernal-Sánchez weakening of these to ordinary causality; this reduction should be recalled in the statement or just before the proof to avoid confusion.","section":"§2.1, Theorem 2.7 statement"},{"comment":"There is a typographical error in the sentence beginning 'In fact troug h this version...'; it should read 'through this version'. A careful proofreading pass is recommended.","section":"§2, after Definition 2.4"}],"recommendation":"minor_revision","confidential_remarks":"The paper is well suited to the journal and the central claims are sound. I support publication after minor revision. The only points that need attention are the precise scope of the C^{1,1} claim and a small justification about the Hausdorff dimension of achronal boundaries; neither affects the correctness of the main C^2 theorem. The paper draws on several results from the second author's own prior work, but these are published and the new results are clearly delineated, so I do not see a citation or novelty concern."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe short version: the main result is real. Hounnonkpe and Minguzzi prove that for a non-compact spacetime of dimension n+1 ≥ 3, global hyperbolicity is equivalent to compactness of causal diamonds, with no causality condition imposed. For that class, causality follows from compactness of causal diamonds plus non-compactness of the manifold. The analogous simplification holds for causal simplicity, and they show by example that for general closed cone structures the causality assumption cannot be dropped. This settles a genuine gap left after Bernal–Sánchez weakened strong causality to causality.\n\nWhat is new: the removal of causality entirely for the physically relevant class. The argument is clever and mostly self-contained. The key step, Theorem 2.7, uses a dimension-based Sard/Hausdorff-dimension argument to find a point on ∂I+(p) off a closed achronal lightlike geodesic γ, then a corner-smoothing argument to get a contradiction. The reduction from non-compact to non-totally vicious is a one-line argument but it is sound. The counterexample for closed cone structures (Example 2.12) is a nice touch and shows the boundary of the result.\n\nWhere are the soft spots? They are minor. The paper leans heavily on Minguzzi's own recent review and closed-cone-structure papers. That is not circular—the cited results are published independently—but a referee should check that the quoted theorems match the usage. The C^{1,1} claim is asserted rather than proved in detail; the main theorem only requires C^2, so that is not load-bearing. There is also a small overstatement in the abstract: the title says defined \"without the causal condition\", but Theorem 2.8 uses non-compactness and dimension ≥ 3, not all reasonable spacetimes. The paper itself is honest about this and about the open question for proper cone structures, which speaks well of it.\n\nI see no load-bearing flaw. The proofs are checkable, the new characterization is clean, and the literature is handled fairly. This is a paper for causality theorists and anyone using global hyperbolicity in mathematical relativity; it will likely become the standard citation for the definition. I would send it to a competent referee; it does not deserve a desk reject.\n\nBest,","headline":"A clean, genuinely new simplification of global hyperbolicity for non-compact spacetimes of dimension at least three; causality drops out, the proof holds up, and it deserves a serious referee.","tokens_in":10002,"tokens_out":4110,"would_cite":true,"duration_ms":36040,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C50"],"pacs":[],"model":"deepseek-v4-flash","headline":"For non-compact spacetimes of dimension at least three, compact causal diamonds alone imply global hyperbolicity, so the causality condition can be dropped from the definition.","keywords":["global hyperbolicity","causal simplicity","causal diamonds","causally convex hull","closed cone structures","Lorentzian causality","non-compact spacetimes","Morse-Sard theorem"],"falsifier":"A direct falsifier would be a non-compact three-dimensional $C^2$ Lorentzian spacetime whose causal diamonds are all compact but that contains a closed causal curve; Theorem 2.8 says none exists, so any explicit such example would settle the claim negatively. A more technical check would be to test whether the Morse-Sard step can be bypassed in dimension two, since the proof's point off the lightlike geodesic relies on the achronal boundary having dimension at least two.","tokens_in":9044,"feed_emoji":"🌌","tokens_out":11421,"duration_ms":95970,"temperature":0.7,"pith_summary":"This paper proves that 'reasonable' spacetimes—non-compact and of dimension at least three—are globally hyperbolic exactly when their causal diamonds are compact. In that setting the causality condition, usually included as a separate requirement, follows automatically, so it can be removed from the definition. The same simplification is obtained for causal simplicity when the spacetime is not totally vicious, using closed rather than compact causal diamonds. For rougher cone structures, where a smooth metric may not be available, the paper proves a parallel characterization that keeps causality: global hyperbolicity is equivalent to causality together with compactness of the causally convex hull of every compact set, and it gives an example showing causality cannot be dropped there. The conceptual payoff is that the strongest term in the causal hierarchy is fixed solely by compactness of the sets of events that a causal curve can connect.","feed_headline":"Compact causal diamonds alone give global hyperbolicity","feed_subtitle":"For non-compact spacetimes of dimension 3 or above, compact causal diamonds force causality; the causal condition is unnecessary.","key_machinery":"The central object is the causal diamond, $J^+(p)\\cap J^-(q)$, and its set-level version, the causally convex hull $J^+(K)\\cap J^-(K)$ of a compact set. Proposition 2.3 equates compactness (or closedness) of all causal diamonds with compactness (or closedness) of all causally convex hulls of compact sets. The proof that causality is redundant then works by showing that closed diamonds make the causal relation closed, that a reflecting non-totally vicious spacetime is chronological, and that any failure of causality would appear as a closed achronal lightlike geodesic; the Morse-Sard theorem is used to pick a point of the achronal boundary off that geodesic, and a corner in a piecewise lightlike curve yields the contradiction. In the closed cone structure setting, the causally convex hull property is combined with the limit curve theorem to prove closedness of the causal relation, and Example 2.12 shows that without causality compact hulls need not give global hyperbolicity.","core_discovery":"Let $(M,g)$ be a connected time-oriented Lorentzian manifold of dimension $n+1\\ge 3$ with a $C^2$ (or $C^{1,1}$) metric. The paper's central result is Theorem 2.8: if $M$ is non-compact, then $M$ is globally hyperbolic if and only if every causal diamond $J^+(p)\\cap J^-(q)$ is compact. The causality condition—no closed causal curves—is a consequence, not an assumption. Theorem 2.7 gives the companion statement for causal simplicity: with dimension $n+1\\ge 3$ and non-total viciousness, causality can be dropped so that closed causal diamonds (equivalently, closed causally convex hulls of compact sets) define causal simplicity, and compact versions give global hyperbolicity. For upper semi-continuous closed cone structures, the paper proves that global hyperbolicity is equivalent to causality plus compactness of the causally convex hull of every compact set (Corollary 2.11), and it exhibits a non-causal closed cone structure with compact causally convex hulls, showing the causality assumption is essential there.","pith_inferences":["If Theorem 2.8 is right, numerical or computational checks of global hyperbolicity in smooth non-compact spacetimes can be reduced to boundedness and compactness checks on causal diamonds, which are more local and easier to verify than absence of closed causal curves.","The non-causal cone structure of Example 2.12 has compact causally convex hulls but is built from integral curves asymptotic to two compact slabs; this suggests that the obstruction to dropping causality in rough settings is tied to branching or asymptotic behavior of cone curves, and that a modest regularity condition beyond upper semi-continuity might recover the causality-free statement.","A testable extension would be to identify the exact regularity threshold: since the proof's Morse-Sard step fails only in low regularity, one could determine whether $C^1$ metrics with rough connections admit compact-diamond non-causal examples, which would mark the precise boundary between Theorem 2.8 and Example 2.12."],"forward_implications":["In every non-compact $C^2$ spacetime of dimension $n+1\\ge 3$, checking global hyperbolicity reduces to checking that $J^+(p)\\cap J^-(q)$ is compact for all $p,q$; no separate search for closed causal curves is needed.","For non-totally vicious spacetimes of dimension at least three, causal simplicity can be defined by closedness of causal diamonds (or of causally convex hulls of compact sets), with causality following automatically.","For closed cone structures, global hyperbolicity is exactly causality plus compactness of the causally convex hull of every compact set; this improves the known formulations for low-regularity theories.","The dimension at least three is not a technical decoration: the argument uses $\\dim\\partial I^+(p)=n\\ge 2$ to find a point outside the lightlike geodesic, so the causality-free statement cannot be expected in two spacetime dimensions by this proof.","Compactness of causally convex hulls of compact sets is singled out as the operative property that characterizes global hyperbolicity across both regular spacetimes and general cone structures."],"supporting_citations":[{"why":"establishes that causality can replace strong causality in the global hyperbolicity definition, the starting point that this paper weakens further.","marker":"[2]"},{"why":"gives the result that a reflecting non-totally vicious spacetime is chronological, used to reduce causality to non-total viciousness.","marker":"[9]"},{"why":"provides the Morse-Sard theorem used to find a boundary point not lying on the closed achronal lightlike geodesic.","marker":"[18]"},{"why":"provides the Hausdorff-dimension monotonicity argument that serves as an alternative to Morse-Sard for that same step.","marker":"[24]"},{"why":"supplies the closed-cone characterization of global hyperbolicity as causal simplicity plus compact causally convex hulls, used in Corollary 2.11.","marker":"[29]"},{"why":"is the source for closed cone structure causality theory and the equivalent definitions of global hyperbolicity that Corollary 2.11 draws on.","marker":"[31]"},{"why":"is the Lorentzian causality review that supplies the standard equivalent definitions, the reflecting-spacetime background, and the closed achronal lightlike geodesic result.","marker":"[32]"},{"why":"gives the order-theoretic equivalence used in Theorem 2.10 to derive closedness of the causal relation from closed causally convex hulls under causality.","marker":"[34]"}],"fun_headline_variants":["Compact diamonds imply global hyperbolicity without causality","Causality redundant for global hyperbolicity in non-compact spacetimes","Global hyperbolicity from compact diamonds alone, no causality needed","In non-compact spacetimes, compact diamonds force causality","Compact causal diamonds alone define global hyperbolicity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the spacetime is non-compact and at least three-dimensional with a metric smooth enough for the Morse-Sard argument to rule out closed causal curves; in rougher cone structures the paper's own example shows causality cannot be dropped.","fun_headline_variants_meta":{"raw":{"variants":["Compact diamonds imply global hyperbolicity without causality","Causality redundant for global hyperbolicity in non-compact spacetimes","Global hyperbolicity from compact diamonds alone, no causality needed","In non-compact spacetimes, compact diamonds force causality","Compact causal diamonds alone define global hyperbolicity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001266,"raw_usage":{"total_tokens":5161,"prompt_tokens":900,"completion_tokens":4261,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":516,"completion_tokens_details":{"reasoning_tokens":4177}},"tokens_in":516,"tokens_out":4261,"duration_ms":26458,"temperature":1.0,"reasoning_tokens":4177,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T10:09:39.099306+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct falsifier would be a non-compact three-dimensional $C^2$ Lorentzian spacetime whose causal diamonds are all compact but that contains a closed causal curve; Theorem 2.8 says none exists, so any explicit such example would settle the claim negatively. A more technical check would be to test whether the Morse-Sard step can be bypassed in dimension two, since the proof's point off the lightlike geodesic relies on the achronal boundary having dimension at least two.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"establishes that causality can replace strong causality in the global hyperbolicity definition, the starting point that this paper weakens further."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"gives the result that a reflecting non-totally vicious spacetime is chronological, used to reduce causality to non-total viciousness."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"provides the Morse-Sard theorem used to find a boundary point not lying on the closed achronal lightlike geodesic."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"provides the Hausdorff-dimension monotonicity argument that serves as an alternative to Morse-Sard for that same step."}],"review_version":1}