Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

Spacetime reconstruction by order and number

T0 review · 2 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Pith's one-line read The paper proves that two spacetimes are smoothly isometric exactly when all finite-sample distributions of their chronological adjacency matrices coincide.

desk verdict A genuinely new probabilistic spacetime reconstruction theorem with a sound main proof, but the abstract overstates the hypothesis and a supporting extension lemma has a patchable gap. read the letter →

arxiv 2507.01907 v1 pith:5VL37MXM submitted 2025-07-02 gr-qc math-phmath.DGmath.MPmath.PR

classification gr-qcmath-phmath.DGmath.MPmath.PR MSC 51G0551K1053C2360A1060B2060G5583C99
keywords spacetimereconstructioncausalsettheorychronologicalisomorphismrandomadjacencymatricesorderandnumberHawking-King-Malament-McCarthytheoremPoissonsprinklingLorentziangeometry
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves a probabilistic spacetime reconstruction theorem: if the random adjacency matrices built from the chronological relation of two spacetimes have the same distribution at every finite sample size, then the spacetimes are smoothly isometric. The result makes rigorous, in a smooth setting, the causal-set slogan “order + number = geometry”, since the adjacency matrices encode the order of events and the sample size encodes the number of points that are statistically consistent with the volume measure. It confirms a weak version of Bombelli's conjecture on statistical Lorentzian geometry and thereby supports the fundamental conjecture of causal set theory. The proof works by converting equal matrix laws into two infinite generic sequences sharing the same chronology, then extending the induced chronology-preserving bijection via a new extension theorem to a smooth conformal isometry, and finally using the volume information implicit in the law to force the conformal factor to be trivial.

What carries the argument

The paper's central object is the random adjacency matrix $C_k(X_1,\dots,X_k)\in\{0,1\}^{k\times k}$, whose $(i,j)$-entry is $1$ precisely when the $i$-th sampled event lies in the chronological past of the $j$-th. Three mechanisms carry the argument. First, Kolmogorov's extension theorem turns the hypothesized equality of all finite-sample laws into equality of the push-forward law of the infinite matrix $C_\infty$, so that two generic sequences can be chosen with identical chronological relations. Second, generic sequences — sequences whose empirical measures converge narrowly to the normalized volume measure — are shown to exist with probability one and to be dense, carrying both the order structure and the volumetric “number” information. Third, a new extension theorem for chronology-preserving maps, proved using future chronocompleteness and reflectivity together with Minguzzi's $D$-relations, upgrades the bijection between dense sets to a unique chronological isomorphism of the manifolds; the Hawking–King–Malament–McCarthy theorem then converts this order isomorphism into a smooth conformal isometry, and the volume preservation from genericity reduces the conformal factor to the identity.

What would settle it

The theorem would be refuted by exhibiting a pair of causally continuous, future chronocomplete, finite-volume spacetimes that are not smoothly isometric yet have identical distributions $\nu_k=(C_k)_\#\mathfrak{m}^{\otimes k}$ and $\nu'_k$ for every $k\in\mathbb{N}$; since the conclusion forbids any non-trivial conformal factor, a natural place to look is a spacetime and a non-isometric conformal change of it whose normalized volume sampling produces the same order-statistic laws.

Watch

Extended reading notes

Core claim

The central discovery is Theorem 1.4: two causally continuous, future chronocomplete spacetimes of finite volume are smoothly isometric if and only if, for every $k\in\mathbb{N}$, the laws of the random adjacency matrices $C_k(X_1,\dots,X_k)$ and $C'_k(X'_1,\dots,X'_k)$ coincide, where $C_k(x_1,\dots,x_k)_{ij}=1$ exactly when $x_i\ll x_j$ and the samples are drawn i.i.d. from the normalized volume measures. The nontrivial direction uses Kolmogorov's extension theorem to lift equality of all finite laws to equality of the law of the infinite chronological matrix; since generic sequences have full measure, this yields two dense countable sets with the same chronological order. A new extension theorem (Theorem 3.3), relying on future chronocompleteness, reflectivity, and Minguzzi's $D$-relations, extends the resulting chronology-preserving bijection to a chronological isomorphism of the full spacetimes. By the Hawking–King–Malament–McCarthy theorem this isomorphism is a smooth conformal isometry, and the equality of the empirical measures of the generic sequences, coming from the “number” side, forces the conformal factor to equal $1$ everywhere, yielding a smooth isometry. A weighted variant (Theorem 1.5) replaces the normalized volume measures by weighted measures $e^V\,\mathrm{vol}_g$ and concludes a smooth measure-preserving conformal isometry with conformal factor $\Sigma$ obeying $\Sigma^d=e^{V}e^{-V'\circ\iota}$.

Load-bearing premise

The proof depends on both spacetimes being future chronocomplete, meaning that every chronologically increasing sequence that is bounded above by some point must converge; if such a sequence can fail to converge, the map defined on a dense countable set need not extend to the whole spacetime.

Editorial extensions

If this is right

  • Within the class of causally continuous, future chronocomplete finite-volume spacetimes, the chronological relation together with the normalized volume measure is a complete invariant for smooth isometry.
  • The result extends automatically to globally hyperbolic spacetimes, which satisfy all hypotheses, so the main class used in causal set theory falls under the theorem without further conditions.
  • In the weighted case, if the sampling measure is not the volume measure, the best possible conclusion is a smooth measure-preserving conformal isometry, with the conformal factor determined by the two weight functions; the lost rigidity is exactly the conformal degree of freedom.
  • Equality of the infinite-sample law $\nu_\infty$ is equivalent by Kolmogorov's theorem to equality of all finite laws, so the theorem can equivalently be phrased as: equality of the law of the infinite chronological matrix characterizes isometry.
  • The theorem confirms only the non-permuted version of Bombelli's conjecture; the paper explicitly identifies the two obstacles to the full permutation-invariant version, namely the failure of projectivity under permutation and the instability of genericity under random permutation.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The new extension theorem (Theorem 3.3) is a general statement about order-preserving maps on dense subsets of Lorentzian manifolds, independent of the probabilistic setup; it may be reusable in other rigidity problems, such as causal boundary constructions or comparisons of Lorentzian length spaces.
  • A natural testable extension is to replace the chronological relation $\ll$ by the causal relation $\le$ throughout; causal set theory usually works with the full causal order, so a version of Theorem 1.4 for the causal adjacency matrix would bring the result closer to the physical Hauptvermutung.
  • The two obstacles to Bombelli's full conjecture suggest that a proof may need to work with the infinite limit directly rather than through finite $k$, possibly using exchangeable sequences or a topology on the space of infinite causal matrices in which the permutation action is continuous.
  • If the theorem extends to Lorentzian pre-length spaces or bounded Lorentzian metric spaces, it would provide a synthetic counterpart in which the conformal factor is not forced to be trivial; the paper's own outlook points to such settings as natural frameworks for the extension.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper proves a probabilistic spacetime reconstruction theorem. For two causally continuous, future chronocomplete spacetimes of equal finite volume, the distributions of the random adjacency matrices C_k(X_1,...,X_k) formed from i.i.d. volume-normalized samples coincide for every k if and only if the spacetimes are smoothly isometric. The proof combines the Kolmogorov extension theorem, the strong law of large numbers, a new extension theorem for chronology-preserving maps defined on dense subsets (Theorem 3.3), Malament's upgrade of chronological isomorphisms to smooth conformal isometries, and a volume-preservation argument forcing the conformal factor to be one. A weighted version, Theorem 1.5, replaces the volume measures by e^V vol_g and concludes a measure-preserving conformal isometry with an explicit conformal factor.

Significance. If correct, Theorem 1.4 is a substantial step toward a rigorous mathematical formulation of the causal set slogan "order + number = geometry": it is a weak form of Bombelli's conjecture and relaxes the hypotheses of the recent Braun–Sämann Gromov reconstruction theorem in Lorentzian signature from almost-sure isometry of time separation functions to almost-sure order isometry. The proof strategy is transparent and parameter-free, drawing only on standard external results, and Theorem 3.3 is a useful tool of independent interest. The central claim appears sound, but the written proof has a genuine gap in Proposition 3.1 and an ambiguity about equal total volume; both are local and repairable.

major comments (2)
  1. [§3.1, Proposition 3.1, Eq. (3.1)] The proof of the identity (3.1) asserts that for a chronologically increasing sequence (x_i) in D converging to x, one has ι(x_i) ≪′ ι~(x) for every i "by chronology-preservation of the extension". This inference requires x_i ≪ x, but that property is not part of the hypothesis of Proposition 3.1 and is not proved. In an arbitrary spacetime a future-directed chronological chain converging to x need not lie in I^-(x); strong causality is what supplies x_i ≤ x, and then x_i ≪ x follows from x_i ≪ x_{i+1} ≤ x by the push-up property. The gap is load-bearing: in the surjectivity half of Theorem 3.3, the pulled-back sequence (x_i) is only known to satisfy x_i ≪ x_+ for a fixed upper bound, and the identification ι(x)=x′ relies on applying (3.1) to this sequence. The fix is to add a lemma stating that in a strongly causal spacetime every chronologically increasing sequence converging to x satisfies x_i ≪ x, and to add "strongly causal" or "causally continuous" to the hypotheses of Proposition 3.1. As written, the proof of Theorem 3.3's surjectivity and the later step κ = ι^{-1} in §3.3 rest on an unproven claim.
  2. [Theorems 1.4 and 1.5] The statements should explicitly assume that the total volumes (resp. total weighted masses) of the two spacetimes are equal. The laws in (1.3) are defined from the normalized measures λ𝔪 = vol_g and λ′𝔪′ = vol_{g′}; if λ ≠ λ′, the condition (1.4) can hold without isometry. Indeed, a constant conformal rescaling g′ = c^2 g with c ≠ 1 leaves both the chronological relation and the normalized measures unchanged, while the spacetimes are not isometric. The proof in §3.4 uses the same λ for both spacetimes in the chain λ∫φ∘κ d𝔪′ = ∫φ dκ_#vol_{g′}; hence equality of the total volumes is an essential hypothesis, not a consequence of (1.4). The same issue applies to the total masses in Theorem 1.5 and to the formula (1.6).
minor comments (4)
  1. [Theorem 3.3, proof] The phrase "since (M,g) is future reflecting" should read "since (M′,g′) is reflecting"; the preceding membership concerns closures in M′, so reflectivity of the target spacetime is what is needed.
  2. [Proposition 3.1] The statement should say "every chronology-preserving extension"; the proof uses chronology-preservation of the extension in an essential way, and the claim is false for arbitrary set-theoretic extensions.
  3. [§3.3, before Eq. (3.4)] The phrase "by since the sets G and G′" contains a typo; it should be "since the sets G and G′".
  4. [Abstract and Theorems 1.4–1.5] The equal-total-volume/mass assumption should be stated explicitly rather than encoded in the repeated symbol λ; a reader who allows different total volumes will find a false statement, as explained in Major Comment 2.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Theorem 1.4 is derived from stated hypotheses via external theorems and new extension lemmas; no fitted input is renamed as a prediction and no load-bearing self-citation chain appears.

full rationale

The derivation chain of Theorem 1.4 is self-contained. The 'if' direction turns equality of all finite-order adjacency-matrix laws into equality of the infinite random-matrix law by Kolmogorov's extension theorem, extracts generic sequences with identical chronological orders, builds a chronology-preserving bijection of dense sets, extends it via the paper's own Theorem 3.3 (proved from causal continuity and future chronocompleteness), promotes it to a smooth conformal isometry by Malament's external theorem, and then forces the conformal factor to 1 by volume preservation from genericity. No parameter is fitted, no input is defined in terms of the desired output, and the self-citations (notably Braun-Saemann [11]) are used only as proof-strategy inspiration, not as load-bearing premises. Remark 3.10 explicitly separates the theorem from the stronger open Bombelli conjecture, so the paper does not overclaim its reach. The only caveat found is a technical proof gap, not a circularity: in Proposition 3.1 the proof infers 'iota(x_i) << iota-tilde(x)' from convergence of the chronologically increasing sequence (x_i) to x, which requires x_i << x; this implication is not stated or proved. That is a completeness issue in the written argument, not a reduction of the conclusion to the hypothesis, so it does not change the circularity score.

Assumptions & free parameters 0 free parameters · 8 assumptions · 0 invented entities

The central claim rests on external theorems (Kolmogorov's extension theorem, the strong law of large numbers, Malament's theorem, the Hawking-King-Malament-McCarthy rigidity results, and Minguzzi's theory of D-relations) plus the paper's new definitions. There are no free parameters fitted to data and no invented physical entities. The main new hypothesis, future chronocompleteness, is used in the extension theorem and is implied by global hyperbolicity, but its full characterization is left open. The proof also relies on standard measure-theoretic facts about the narrow topology on separable metric spaces.

assumptions (8)
  • standard math Kolmogorov's extension theorem for projective limits of standard Borel probability spaces.
    Used in §3.3 to construct the infinite adjacency matrix measure ν_∞ and to identify it with C_∞#μ^⊗∞.
  • standard math Strong law of large numbers for i.i.d. bounded random variables.
    Used in Corollary 3.9 to show the set of generic sequences has full μ^⊗∞ measure.
  • domain assumption Malament's theorem: a chronological isomorphism between distinguishing spacetimes is a smooth conformal isometry.
    Invoked in §3.3 (Theorem 2.13) to upgrade the constructed chronological isomorphism to a conformal isometry.
  • domain assumption Hawking-King-Malament-McCarthy theory: chronology-preserving bijections determine the conformal class, and volume-preserving chronological isomorphisms are isometries.
    Provides the continuum rigidity results (Theorem 1.1 and Theorem 1.3) that motivate and anchor the probabilistic theorem.
  • domain assumption Minguzzi's D-relations properties: ≤_f and ≤_p are partial orders on distinguishing spacetimes and satisfy the push-up property with ≪.
    Used in Propositions 3.1 and Theorem 3.3 to handle limits and show chronology preservation of the extended map.
  • standard math Volume measure transformation rules under pull-back and conformal change (Lemma 2.2).
    Used in §3.4 and the weighted case to force the conformal factor to be 1 or to derive formula (1.6).
  • standard math The narrow topology on probability measures over a separable metric space is determined by a countable family of bounded continuous functions.
    Used in Lemma 3.8 to show generic sequences form a measurable full-measure set.
  • domain assumption Causal continuity and future chronocompleteness of the spacetimes.
    Standing hypotheses of Theorems 1.4 and 1.5; they are used in the extension theorem (Theorem 3.3) to ensure existence and uniqueness of the chronological isomorphism on dense subsets. The paper shows global hyperbolicity implies them.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Spacetime reconstruction by order and number." pith.science (2026). https://pith.science/paper/5VL37MXM

@misc{pith2026250701907,
  author       = {Pith},
  title        = {Pith review of: Spacetime reconstruction by order and number},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5VL37MXM}},
  note         = {Machine review of arXiv:2507.01907}
}
read the original abstract

We show that the random adjacency matrices induced by the chronological relations and i.i.d. samples of two spacetimes coincide in law if and only if the spacetimes in question are smoothly isometric. A similar result holds for weighted spacetimes. In the smooth framework of our article, this relaxes the hypotheses of the recent Gromov reconstruction theorem in Lorentzian signature by Braun-S\"amann from a.s. isometry of the respective time separation functions to a.s. order isometry. In a probabilistic way, our result makes a key paradigm of causal set theory rigorous: spacetime can be recovered by only knowing "order" and "number" of its points. It confirms a weak version of Bombelli's conjecture; therefore, it contributes to recent efforts of formalizing the Hauptvermutung (viz. fundamental conjecture) of causal set theory.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Relational Quantum Causal Processes: Exact Models, Continuum Limits, and the Boundary of Emergent Gravity

    quant-ph 2026-07 conditional novelty 7.0 of 10

    Relational quantum causal processes are shown to generate Boolean records, DAG causal order, and Lorentzian metric-measure geometry in controlled models, with autonomous background-free gravity left open.

Reference graph

Works this paper leans on

53 extracted references · 48 canonical work pages · cited by 1 Pith paper

  1. [1]

    MR2401600

    L.Ambrosio,N.Gigli,andG.Savaré, Gradientflowsinmetricspacesandinthespaceofprobabilitymeasures , Second edition, Lectures in Mathematics ETH Zürich, Birkhäuser Verlag, Basel, 2008. MR2401600

  2. [2]

    K.Beem, P

    J. K.Beem, P. E. Ehrlich, and K.L. Easley,Global Lorentzian geometry, Second,Monographsand Textbooks in Pure and Applied Mathematics, vol. 202, Marcel Dekker, Inc., New York, 1996. MR1384756

  3. [3]

    D. M. T. Benincasa and F. Dowker,Scalar curvature of a causal set, Physical Review Letters104 (2010), no. 18

  4. [4]

    Beran, M

    T. Beran, M. Braun, M. Calisti, N. Gigli, R. J. McCann, A. Ohanyan, F. Rott, and C. Sämann,A nonlinear d’Alembert comparison theorem and causal differential calculus on metric measure spacetimes, Preprint, arXiv:2408.15968

  5. [5]

    A. N. Bernal and M. Sánchez,Globally hyperbolic spacetimes can be defined as ‘causal’ instead of ‘strongly causal’, Classical Quantum Gravity24(2007), no. 3, 745–749. MR2294243

  6. [6]

    Bombelli,Statistical Lorentzian geometry and the closeness of Lorentzian manifolds, J

    L. Bombelli,Statistical Lorentzian geometry and the closeness of Lorentzian manifolds, J. Math. Phys.41 (2000), no. 10, 6944–6958. MR1781418

  7. [7]

    Bombelli, J

    L. Bombelli, J. Lee, D. Meyer, and R. D. Sorkin,Space-time as a causal set, Phys. Rev. Lett.59(1987), no. 5, 521–524. MR899046

  8. [8]

    Bombelli and J

    L. Bombelli and J. Noldus,The moduli space of isometry classes of globally hyperbolic spacetimes, Classical Quantum Gravity21 (2004), no. 18, 4429–4453. MR2090486

Show all 53 references
  1. [9]

    Bombelli, J

    L. Bombelli, J. Noldus, and J. Tafoya,Lorentzian manifolds and causal sets as partially ordered measure spaces, Preprint, arXiv:1212.0601

  2. [10]

    Braun,New perspectives on the d’Alembertian from general relativity

    M. Braun,New perspectives on the d’Alembertian from general relativity. An invitation, Indag. Math., to appear

  3. [11]

    Braun and C

    M. Braun and C. Sämann,Gromov’s reconstruction theorem and measured Gromov–Hausdorff convergence in Lorentzian geometry, Preprint, arXiv:2506.10852

  4. [12]

    Brightwell and R

    G. Brightwell and R. Gregory,Structure of random discrete spacetime, Phys. Rev. Lett.66 (1991), no. 3, 260–263. MR1086318

  5. [13]

    Bykov, E

    A. Bykov, E. Minguzzi, and S. Suhr,Lorentzian metric spaces and GH-convergence: the unbounded case, Lett. Math. Phys.115 (2025), no. 3, Paper No. 63. MR4914034

  6. [14]

    Cavalletti and A

    F. Cavalletti and A. Mondino,A review of Lorentzian synthetic theory of timelike Ricci curvature bounds, Gen. Relativity Gravitation54 (2022), no. 11, Paper No. 137, 39 pp. MR4504922

  7. [15]

    Dowker and S

    F. Dowker and S. Surya,The causal set approach to the problem of quantum gravity, Handbook of quantum gravity, [2024]©2024, pp. 2989–3002. MR4877915

  8. [16]

    21, 4377–4396

    H.F.Dowker,R.S.Garcia,andS.Surya, 𝐾-causalityanddegeneratespacetimes ,ClassicalQuantumGravity 17(2000), no. 21, 4377–4396. MR1800140

  9. [17]

    Eichhorn, S

    A. Eichhorn, S. Mizera, and S. Surya,Echoes of asymptotic silence in causal set quantum gravity, Classical Quantum Gravity34 (2017), no. 16, 16LT01, 13. MR3682360

  10. [18]

    Finkelstein,Space-time code, Phys

    D. Finkelstein,Space-time code, Phys. Rev. (2)184 (1969), 1261–1271. MR253703

  11. [19]

    Gierz, K

    G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. W. Mislove, and D. S. Scott,A compendium of continuous lattices, Springer-Verlag, Berlin-New York, 1980. MR614752

  12. [20]

    Gigli,Hyperbolic Banach spaces I — Directed completion of partial orders, Preprint, arXiv:2503.10467

    N. Gigli,Hyperbolic Banach spaces I — Directed completion of partial orders, Preprint, arXiv:2503.10467

  13. [21]

    L.GlaserandS.Surya, Towardsadefinitionoflocalityinamanifoldlikecausalset ,Phys.Rev.D 88(2013Dec), 124026

  14. [22]

    Gromov,Structures métriques pour les variétés riemanniennes(J

    M. Gromov,Structures métriques pour les variétés riemanniennes(J. Lafontaine and P. Pansu, eds.), Textes Mathématiques [Mathematical Texts], vol. 1, CEDIC, Paris, 1981. MR682063

  15. [23]

    S. W. Hawking and G. F. R. Ellis,The large scale structure of space-time, Cambridge Monographs on Mathematical Physics, vol. No. 1, Cambridge University Press, London-New York, 1973. MR424186

  16. [24]

    Mathematical Phys.17 (1976), no

    S.W.Hawking,A.R.King,andP.J.McCarthy, Anewtopologyforcurvedspace-timewhichincorporatesthe causal, differential, and conformal structures, J. Mathematical Phys.17 (1976), no. 2, 174–181. MR395736

  17. [25]

    S. W. Hawking and R. K. Sachs,Causally continuous spacetimes, Comm. Math. Phys.35(1974), 287–296. MR334862

  18. [26]

    A. S. Kechris,Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995. MR1321597

  19. [27]

    E. H. Kronheimer and R. Penrose,On the structure of causal spaces, Proc. Cambridge Philos. Soc.63(1967), 481–501. MR208982

  20. [28]

    54(2018),no.3,399–447

    M.KunzingerandC.Sämann, Lorentzianlengthspaces ,Ann.GlobalAnal.Geom. 54(2018),no.3,399–447. MR3867652

  21. [29]

    Last and M

    G. Last and M. Penrose,Lectures on the Poisson process, Institute of Mathematical Statistics Textbooks, vol. 7, Cambridge University Press, Cambridge, 2018. MR3791470

  22. [30]

    7, 1399–1404

    D.B.Malament, Theclassofcontinuoustimelikecurvesdeterminesthetopologyofspacetime ,J.Mathematical Phys.18 (1977), no. 7, 1399–1404. MR436878

  23. [31]

    Maldacena,The large𝑁 limit of superconformal field theories and supergravity, Adv

    J. Maldacena,The large𝑁 limit of superconformal field theories and supergravity, Adv. Theor. Math. Phys.2 (1998), no. 2, 231–252. MR1633016 16 MATHIAS BRAUN

  24. [32]

    R. J. McCann,Trading linearity for ellipticity: a nonsmooth approach to Einstein’s theory of gravity and the Lorentzian splitting theorems, Proceedings of the Forward From the Fields Medal 2024, to appear

  25. [33]

    R. J. McCann and C. Sämann,A Lorentzian analog for Hausdorff dimension and measure, Pure Appl. Anal. 4(2022), no. 2, 367–400. MR4496090

  26. [34]

    Minguzzi,The causal ladder and the strength of𝐾-causality

    E. Minguzzi,The causal ladder and the strength of𝐾-causality. I, Classical Quantum Gravity25 (2008), no. 1, 015009, 13. MR2378273

  27. [35]

    7, 075015, 7

    , Weak distinction and the optimal definition of causal continuity, Classical Quantum Gravity25 (2008), no. 7, 075015, 7. MR2404424

  28. [36]

    Minguzzi and S

    E. Minguzzi and S. Suhr,Lorentzian metric spaces and their Gromov–Hausdorff convergence, Lett. Math. Phys.114 (2024), no. 3, Paper No. 73. MR4752400

  29. [37]

    Minguzzi,Lorentzian causality theory, Living Reviews in Relativity22(2019), no

    E. Minguzzi,Lorentzian causality theory, Living Reviews in Relativity22(2019), no. 3, 202 pp

  30. [38]

    Mondino and C

    A. Mondino and C. Sämann,Lorentzian Gromov–Hausdorff convergence and pre-compactness, Preprint, arXiv:2504.10380

  31. [39]

    Müller,On the Hauptvermutung of causal set theory, Preprint, arXiv:2503.01719

    O. Müller,On the Hauptvermutung of causal set theory, Preprint, arXiv:2503.01719

  32. [40]

    S. B. Myers and N. E. Steenrod,The group of isometries of a Riemannian manifold, Ann. of Math. (2)40 (1939), no. 2, 400–416. MR1503467

  33. [41]

    Myrheim,Statistical geometry, TH 2538(1978), CERN, Technical Report CERN

    J. Myrheim,Statistical geometry, TH 2538(1978), CERN, Technical Report CERN

  34. [42]

    Nachbin,Topology and orderNo

    L. Nachbin,Topology and orderNo. 4(1965), vi+122. Translated from the Portuguese by Lulu Bechtolsheim. MR219042

  35. [43]

    Noldus,A Lorentzian Gromov-Hausdorff notion of distance, Classical Quantum Gravity21 (2004), no

    J. Noldus,A Lorentzian Gromov-Hausdorff notion of distance, Classical Quantum Gravity21 (2004), no. 4, 839–850. MR2036128

  36. [44]

    R. S. Palais,On the differentiability of isometries, Proc. Amer. Math. Soc.8(1957), 805–807. MR88000

  37. [45]

    Perez,Spin foam models for quantum gravity, Classical Quantum Gravity20(2003), no

    A. Perez,Spin foam models for quantum gravity, Classical Quantum Gravity20(2003), no. 6, R43–R104. MR1966811

  38. [46]

    A. A. Robb,Geometry of time and space, Cambridge University Press, Cambridge, 2014. Paperback reissue of the 1936 original. MR3468546

  39. [47]

    Rovelli,Loop quantum gravity, Living Rev

    C. Rovelli,Loop quantum gravity, Living Rev. Relativ.1 (1998), 1998–1, 68. MR1711502

  40. [48]

    C.Sämann, Abriefintroductiontonon-regularspacetimegeometry ,InternationaleMathematischeNachrichten 256(2024), 1–17

  41. [49]

    7, 1971–1993

    R.D.SorkinandE.Woolgar, Acausalorderforspacetimeswith 𝐶0 Lorentzianmetrics:proofofcompactness of the space of causal curves, Classical Quantum Gravity13 (1996), no. 7, 1971–1993. MR1400951

  42. [50]

    R. D. Sorkin,Geometry from order: causal sets, Einstein Online2(2006), no. 02-1007

  43. [51]

    S. M. Srivastava,A course on Borel sets, Graduate Texts in Mathematics, vol. 180, Springer-Verlag, New York, 1998. MR1619545

  44. [52]

    Surya,The causal set approach to quantum gravity, Living Reviews in Relativity22 (2019), no

    S. Surya,The causal set approach to quantum gravity, Living Reviews in Relativity22 (2019), no. 1

  45. [53]

    MR2827917 Institute of Mathematics, EPFL, 1015 Lausanne, Switzerland Email address: mathias.braun@epfl.ch

    T.Tao,Anintroductiontomeasuretheory ,GraduateStudiesinMathematics,vol.126,AmericanMathematical Society, Providence, RI, 2011. MR2827917 Institute of Mathematics, EPFL, 1015 Lausanne, Switzerland Email address: mathias.braun@epfl.ch

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.