REVIEW 3 minor 1 cited by
Reviewed by Pith at T0; open to challenge.
T0 means a machine referee read the full paper against a public rubric. The mark states how deep the mechanical check went, never who wrote it. the ladder, T0–T4 →
T0 review · grok-4.3
Causally simple future cohesive spacetimes of dimension 1+N with N at least 2 satisfy conicality.
2026-06-28 04:10 UTC pith:4A7ILQAR
load-bearing objection Counterexamples rule out homotopy and global hyperbolicity as sufficient for conicality, while the theorem for causally simple future cohesive spacetimes gives a usable sufficient condition in dimensions 3 and up.
On the Conicality of Causally Simple, Future Cohesive Spacetimes
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Causally simple, future cohesive spacetimes of dimension 1+N with N≥2 satisfy the condition of conicality. This class includes TIP spacetimes understood as the timelike past of an observer, aligning with the origin of causal modeling where the past of an observer is the natural domain for describing experiments.
What carries the argument
Conicality, the property that the joint future of a finite set uniquely determines the generating subset via its light cone structure; the argument proceeds by using the definitions of causal simplicity and future cohesiveness to establish this uniqueness.
Load-bearing premise
The spacetime must satisfy the definitions of causal simplicity and future cohesiveness together with having dimension 1+N where N is at least 2.
What would settle it
A concrete spacetime that is causally simple and future cohesive in dimension 1+N with N at least 2, yet contains a finite set whose joint future fails to uniquely determine the set from the light cone intersections.
If this is right
- Neither global hyperbolicity alone nor homotopy with Minkowski space is sufficient to guarantee conicality.
- TIP spacetimes satisfy conicality.
- Conicality extends beyond Minkowski spacetime to this broader class of models for an observer's past.
- The light cone structure in such spacetimes carries enough information to recover generating sets uniquely.
Where Pith is reading between the lines
- If other physically motivated spacetimes can be shown to be causally simple and future cohesive, they would inherit conicality without separate proof.
- Conicality may provide a tool for analyzing causal structure in observer-dependent regions of general spacetimes.
- Explicit checks of conicality in concrete examples such as exterior Schwarzschild could test how far the result reaches.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper shows that neither homotopy equivalence to Minkowski spacetime nor global hyperbolicity is sufficient to guarantee conicality. It then proves that causally simple, future cohesive spacetimes of dimension 1+N with N≥2 satisfy conicality; this class includes TIP spacetimes, which model the timelike past of an observer and align with the domain of causal modeling for experiments.
Significance. The result identifies a physically motivated class of spacetimes where conicality holds, extending the Minkowski case and ruling out two weaker candidate conditions. The explicit inclusion of TIP spacetimes strengthens the connection to observational causal structure.
minor comments (3)
- The introduction would benefit from a short, self-contained recap of the definition of conicality from the cited reference [2403.00916] to improve readability for readers unfamiliar with the prior work.
- In the counterexample constructions, ensure that the failure of conicality is demonstrated by explicit computation of the relevant light-cone intersections rather than by appeal to general properties alone.
- Clarify whether the dimension restriction N≥2 is used only in the positive theorem or also appears in the counterexamples; a brief remark on the N=1 case would be helpful.
Simulated Author's Rebuttal
We thank the referee for the positive summary, the recognition of the physical relevance of our results (in particular the inclusion of TIP spacetimes), and the recommendation of minor revision. No major comments were listed in the report.
Circularity Check
No significant circularity; self-contained mathematical proof
full rationale
The paper establishes via proof that causally simple, future cohesive spacetimes (dim 1+N, N≥2) satisfy conicality, after showing that homotopy equivalence or global hyperbolicity alone do not suffice. Conicality is defined in the cited prior work [2403.00916], but the present result is a new theorem under the stated assumptions rather than a re-derivation or fit of the input definitions. No equations reduce by construction to prior fitted quantities, no self-citation is load-bearing for the central claim, and the derivation does not rename known results or smuggle ansatzes. This is the standard case of an independent mathematical argument.
Axiom & Free-Parameter Ledger
axioms (3)
- standard math Standard axioms and definitions of causal relations, light cones, and Lorentzian manifolds
- domain assumption Definitions of conicality, causal simplicity, and future cohesiveness from reference [2403.00916]
- domain assumption Spacetime dimension 1+N with N≥2
read the original abstract
The notion of conicality, recently introduced in [2403.00916], captures the extent to which the joint future of a finite set in spacetime uniquely determines the generating subset via its light cone structure. In the same paper it was mentioned that conicality holds for Minkowski spacetime of dimension $1+N$ with $N\geq 2$ and it has been conjectured that this property holds more generally. In this work, we show that neither homotopy with Minkowski space nor global hyperbolicity alone are sufficient for the spacetime to satisfy conicality. We then establish that causally simple, future cohesive spacetimes of dimension $1+N$ with $N\geq 2$ satisfy the condition. This class of spacetimes in particular includes TIP spacetimes, which can be understood as the timelike past of an observer. This is in line with the origin of causal modeling since the past of an observer is the natural domain for the description of experiments.
Forward citations
Cited by 1 Pith paper
-
Impossibility of superluminal signalling rules out causal loops in conical spacetimes
In conical spacetimes with d>1, NSS prohibits operationally detectable causal loops across classical, quantum and post-quantum theories, unlike the (1+1) case.
Reference graph
Works this paper leans on
-
[1]
Quantum Common Causes and Quantum Causal Models
J.-M. A. Allen et al. “Quantum Common Causes and Quantum Causal Models”. In:Physical Review X7 (July 2017), p. 031021.doi:10.1103/PhysRevX.7. 031021
-
[2]
Research Trend of Causal Ma- chine Learning Method: A Literature Review
S. Arti, I. Hidayah, and S. S. Kusumawardhani. “Research Trend of Causal Ma- chine Learning Method: A Literature Review”. In:International Journal on In- formatics for Development9.2 (Dec. 2020), pp. 111–118.doi:10.14421/ijid. 2020.09208
-
[3]
Lorentzian Geometry
C. B¨ ar. “Lorentzian Geometry”. In:Lecture Notes(2004)
2004
-
[4]
J. Barrett, R. Lorenz, and O. Oreshkov. “Quantum Causal Models”. In: (2019). doi:10.48550/arXiv.1906.10726. arXiv:1906.10726
-
[5]
P. T. Chru´ sciel.Geometry of black holes. Vol. 169. Oxford University Press, 2020
2020
-
[6]
Characterizing Signalling: Connections between Causal Inference and Space-time Geometry
M. Grothus and V Vilasini. “Characterizing signalling: Connections between causal inference and space-time geometry”. In:arXiv:2403.00916(2024)
work page internal anchor Pith review Pith/arXiv arXiv 2024
-
[7]
A review of causal inference for biomedical infor- matics
S. Kleinberg and G. Hripcsak. “A review of causal inference for biomedical infor- matics”. In:Journal of Biomedical Informatics44.6 (2011), pp. 1102–1112.doi: 10.1016/j.jbi.2011.07.001
-
[8]
A biologist’s guide to model selection and causal inference
Z. M. Laubach et al. “A biologist’s guide to model selection and causal inference”. In:Proceedings of the Royal Society B: Biological Sciences288.1943 (Jan. 2021), p. 20202815.doi:10.1098/rspb.2020.2815
-
[9]
Lorentzian causality theory
E. Minguzzi. “Lorentzian causality theory”. In:Living reviews in relativity22.1 (2019), p. 3. 14 REFERENCES
2019
-
[10]
Barrett O’neill.Semi-Riemannian geometry with applications to relativity. Vol. 103. Academic press, 1983
1983
-
[11]
J. Pearl.Causality: Models, Reasoning and Inference. 2nd ed. Cambridge Uni- versity Press, 2009.doi:10.1017/CBO9780511803161
-
[12]
Big Data, Data Science, and Causal Inference: A Primer for Clinicians
Y. Raita et al. “Big Data, Data Science, and Causal Inference: A Primer for Clinicians”. In:Frontiers in Medicine8 (July 2021).doi:10.3389/fmed.2021. 678047
-
[13]
D. R. Schoolmaster, C. R. Zirbel, and J. P. Cronin. “A graphical causal model for resolving species identity effects and biodiversity–ecosystem function corre- lations”. In:Ecology101.8 (June 2020).doi:10.1002/ecy.3070
-
[14]
Reasons to Fall (More) in Love with Combinatorial Reconfiguration
P. Spirtes, C. Glymour, and R. Scheines.Causation, Prediction, and Search. Springer New York, 1993.isbn: 9781461227489.doi:10.1007/978- 1- 4612- 2748-9
-
[15]
General framework for cyclic and fine-tuned causal models and their compatibility with space-time
V. Vilasini and R. Colbeck. “General framework for cyclic and fine-tuned causal models and their compatibility with space-time”. In:Physical Review A106.3 (2022), p. 032204
2022
-
[16]
Embedding cyclic information-theoretic structures in acyclic space-times: No-go results for indefinite causality
V. Vilasini and R. Renner. “Embedding cyclic information-theoretic structures in acyclic space-times: No-go results for indefinite causality”. In:Physical Review A110.2 (2024), p. 022227. Email address:claudio.paganini@mathematik.uni-regensburg.de ˚ F akult¨at f ¨ur Mathematik, Universit ¨at Regensburg, D-93040 Regensburg, Germany
2024
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.