Pith. sign in

REVIEW 2 major objections 4 minor 2 cited by

Gromov's reconstruction theorem and measured Gromov-Hausdorff convergence in Lorentzian geometry

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

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Gromov's reconstruction theorem holds in Lorentzian geometry: samples decide isomorphy.

desk verdict A genuinely new Lorentzian reconstruction theorem with a mostly complete proof; the probabilistic delegation to Kondo needs a paragraph of repair but doesn't threaten the main result. read the letter →

arxiv 2506.10852 v1 pith:C23EDDXP submitted 2025-06-12 math.DG gr-qcmath-phmath.MGmath.MP

Mathias Braun , Clemens Sämann This is my paper · ORCID
classification math.DGgr-qcmath-phmath.MGmath.MP MSC 49Q2251K1053C2328A7553C5053C8083C99
keywords GromovreconstructiontheoremLorentzianmetricspacemeasurespacetimemeasuredGromov-Hausdorffconvergenceisomorphyrandomdistancematricescausalsettheorytimeseparationfunction
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

The paper adapts Gromov's reconstruction theorem to spacetimes modelled as bounded Lorentzian metric measure spaces. It proves that two normalized such spaces are isomorphic precisely when every integral of a continuous function of the finite time-separation matrices coincides, equivalently, when the laws of the random matrices built from i.i.d. samples match for every sample size. The paper also proposes a natural notion of isomorphy based on distance-preserving, measure-preserving maps between support quotients, and introduces three notions of measured Lorentz-Gromov-Hausdorff convergence with a hierarchy between them. If correct, the result gives a statistical handle on spacetime reconstruction and connects to the Hauptvermutung of causal set theory.

What carries the argument

The carrying object is the infinite matrix law $\bar m_\infty = T_\infty\sharp m^{\otimes\infty}$ on the projective limit $G_\infty$, built from the time-separation matrices $T_k(x_1,\dots,x_k)_{ij}=\tau(x_i,x_j)$. The argument relies on two probabilistic facts: the infinite law is the unique projective limit of the finite matrix laws via Kolmogorov extension, and the set of generic sequences satisfying the strong law of large numbers has full measure and is Borel measurable. These facts yield a pair of dense generic sequences in the two supports with identical distance matrices, and the extension lemma for distance-preserving maps then upgrades this to a measure-preserving isometry.

What would settle it

Exhibit a normalized bounded Lorentzian metric measure space whose reference measure has proper support and check whether the set of generic sequences has full $m^{\otimes\infty}$-measure and is Borel measurable; if it fails, Steps B through D of the reconstruction proof collapse. Alternatively, produce two spaces with equal finite matrix laws for every $k$ but no coupling satisfying the condition in Lemma 2.20.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.1: given normalized bounded Lorentzian metric measure spaces $\mathcal M$ and $\mathcal M'$, if $\int \varphi\circ T_k\, dm^{\otimes k} = \int \varphi\circ T'_k\, dm'^{\otimes k}$ for every $k\in\mathbb N$ and every bounded continuous $\varphi$, then the spaces are isomorphic in the sense of Definition 2.15. Equivalently, the random matrices $T_k(X_1,\dots,X_k)$ obtained from i.i.d. samples coincide in law for every $k$. Isomorphy means there is a distance-preserving Borel map between the supports' distance quotients, extended to the spacelike boundaries, that pushes the quotient reference measure forward; Lemma 2.20 reformulates this as the existence of a coupling $\pi$ with $\tau(x,y)=\tau'(x',y')$ for $\pi^{\otimes 2}$-almost every quadruple. The proof follows Vershik's probabilistic argument, using generic sequences and Kolmogorov extension, and also yields the convergence hierarchy: box convergence implies distortion convergence, which implies intrinsic convergence.

Load-bearing premise

The proof leans on the unstated assumption that two probabilistic lemmas from the metric-space setting, Kolmogorov extension for the infinite matrix law and full-measure Borel measurability of generic sequences, carry over unchanged to bounded Lorentzian metric spaces that are only locally compact and whose reference measures may have proper support.

Editorial extensions

If this is right

  • Two normalized bounded Lorentzian metric measure spaces are isomorphic exactly when all their polynomial invariants agree, giving a complete set of finite-sample statistics.
  • The coupling characterization of isomorphy makes the notion checkable without constructing quotient maps explicitly.
  • Box convergence, distortion convergence, and intrinsic convergence each define metrics on isomorphism classes, and the hierarchy box implies distortion implies intrinsic holds.
  • Causets are dense in the intrinsic topology, which is separable but not complete.
  • The reconstruction theorem suggests a route toward Bombelli's conjecture on Poisson-sprinkling reconstruction of spacetimes, which the authors state they believe is within reach with similar methods.

Reading between the lines

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

  • If the theorem is right, the isomorphism class of a bounded Lorentzian metric measure space is encoded in the joint distribution of finitely many i.i.d. samples, so two spacetimes that are statistically indistinguishable by finite sprinklings must be isometric.
  • The suspected equivalence of the three convergence notions would follow from a Lorentzian analogue of the transport-distance arguments used in metric measure geometry; a natural place to look is uniform control on causal-diamond nets.
  • Because the reconstruction proof delegates its two most technical probabilistic steps to the metric-space literature, verifying that transfer in the locally compact, proper-support setting would likely also extend the theorem to other synthetic spacetime frameworks.
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 Lorentzian analogue of Gromov's reconstruction theorem: two normalized bounded Lorentzian metric measure spaces are isomorphic (in the sense of a new Definition 2.15) if and only if all their polynomials coincide, where polynomials are expectations of continuous functions of the random time-separation matrices of i.i.d. samples. The proof follows Vershik's probabilistic strategy, with Steps A and B delegated to lemmas from Kondo's metric-space framework. The paper then introduces three notions of measured Lorentz–Gromov–Hausdorff convergence (intrinsic, distortion, and box), proves that the distortion and box distances are metrics on isomorphism classes, and establishes a hierarchy (box convergence implies distortion convergence implies intrinsic convergence). It also outlines applications to causal set theory, in particular to Bombelli's conjecture.

Significance. If the reconstruction theorem is fully justified, the paper makes a substantial contribution to Lorentzian metric geometry and the causal set program: it gives a statistical handle on spacetime reconstruction by encoding the isomorphism class of a bounded Lorentzian metric measure space in the joint laws of finitely many i.i.d. samples, and it offers a systematic framework for measured Gromov–Hausdorff convergence in Lorentzian signature. The structural lemmas (extension of distance-preserving maps, coupling characterization of isomorphy, parametrizations) and the metric results for LΔ0 and L□ are mostly proven in detail and appear sound. However, the proof of the central theorem relies on an unverified transfer of two probabilistic lemmas from Kondo's setting, and there is a questionable incompleteness example; these issues must be resolved before the main claims can be accepted.

major comments (2)
  1. [§3, Lemmas 3.3 and 3.5] The proof of Theorem 3.1 delegates the two probabilistic steps to Kondo [30] with the statement that the arguments 'carry over with no change'. Lemma 3.3 needs to identify \bar{m}_∞ with the projective limit of the finite matrix laws, and Lemma 3.5 asserts that the set E of generic sequences is B⊗∞-measurable and has m⊗∞-measure one. The text does not state which hypotheses on (M,τ,m) are required for Kondo's lemmas, and the current setting is not the compact metric one: by Definition 2.5 the space is only locally compact and σ-compact, and m is not assumed to have full support. In particular, C_b(M) is not separable in the sup norm when M is noncompact, so the assertion that E is 'effectively the union of Ef over countably many f' needs a countable determining family that is not supplied. Because Steps C and D of the proof require a pair of generic sequences with identical infinite distance matrices and use genericity again for measure preservation, this transfer is load-bearing. The authors should either verify the hypotheses of Kondo's lemmas in this context or give a self-contained proof, for instance via the one-point compactification of Remark 2.7 and Varadarajan's theorem.
  2. [§2.4, Lemma 2.20] In the proof of (ii)⇒(iii), the compactness of the superlevel sets {τ̂≥ε} is asserted by identifying this set with the intersection of {τ∘pr13≥ε} and {τ′∘pr24≥ε}. This identification is only valid after one has established that the equality (2.6) holds on all of sptπ, not merely π⊗2-a.e. The text mentions density of the conegligible set but does not spell out the support argument. Since Lemma 2.20 is used in Theorem 4.12 and Theorem 4.18 to prove that LΔ0 and L□ are metrics on isomorphism classes, the proof should be made rigorous at this point.
minor comments (4)
  1. [§1.1, Theorem 1.2] Theorem 1.2 states 'isometric' but the proof and Definition 2.15 establish 'isomorphic'; the wording should be corrected to match the abstract and Theorem 3.1.
  2. [§3, Lemma 3.5] The phrase 'E is effectively the union of Ef over countably many f' should read 'intersection' rather than 'union'.
  3. [§4.1, Example 4.8] The claimed incompleteness example appears to be incorrect: for each k, the matrix laws of the constructed sequence converge to δ_0, which are the matrix laws of the one-point bounded Lorentzian metric measure space, so the sequence is intrinsically convergent rather than a non-convergent Cauchy sequence.
  4. [§4.4, Theorem 4.25] The statement contains a duplicated phrase: 'Assume the sequence [Mn]n∈N converges [Mn]n∈N converges to [M∞]' should be 'Assume the sequence [Mn]n∈N converges to [M∞]'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central reconstruction proof rests on external metric-space results (Gromov, Kondo, Minguzzi–Suhr) and proves both directions independently; the unstated-hypothesis transfer from Kondo is a correctness risk, not a circular reduction.

full rationale

This paper contains no derivation step that reduces, by construction or by self-citation, to its own inputs. Theorem 3.1 proves that equality of all polynomial integrals forces isomorphy. The polynomials in Definition 1.1 are defined directly from the time separation function tau and the reference measure m, while isomorphy in Definition 2.15 is defined independently by distance preservation and measure preservation; equality of polynomials is not part of the definition of isomorphy. The converse direction (Remark 3.2) is proved separately via the coupling characterization of Lemma 2.20. The forward proof delegates two probabilistic facts to Kondo's metric-space paper: Lemma 3.3 (matrix laws form the projective limit, by Kolmogorov extension) and Lemma 3.5 (the generic set E is Borel and has full product measure, by the strong law of large numbers). These are external results, not authored by the present authors, and their statements do not presuppose the Lorentzian reconstruction theorem. The one genuinely load-bearing transfer is asserted rather than demonstrated: the paper says the metric-space arguments carry over 'with no change' without stating the hypotheses needed when M is merely locally compact and m need not have full support (compare Definition 2.5 and the comment that C_b(M) is not separable for noncompact M). This is a missing-justification or correctness risk, not a circularity: the lemmas themselves are independent probabilistic facts and the authors point to a repair route via Remark 2.7 and Varadarajan's theorem. Section 4 invokes Theorem 1.2 as a previously proved tool (e.g., Proposition 4.19), which is legitimate reuse, not circularity. No fitted parameters are renamed as predictions, no uniqueness theorem is imported from the authors' prior work, and self-citations are confined to background and application discussion. Therefore no circular step is identified and the appropriate score is 0.

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

The paper introduces a new definition (isomorphy via distance quotients of supports), three distances, a weak topology, and Lp variants. These are mathematical constructions, not free entities: no new particle, force, dimension, or conserved quantity is postulated, and no parameters are fitted to data. The load-bearing imports are Minguzzi-Suhr's structural theory and Kondo's probability lemmas, both external prior literature. The main theorem is genuinely derived, with both directions proven independently, so the ledger is light and the circularity burden is low.

assumptions (5)
  • domain assumption Structural theory of bounded Lorentzian metric spaces from Minguzzi-Suhr [45]: existence of a canonical Polish topology, compact superlevel sets {tau >= epsilon}, and the distance quotient construction (Prop 1.19) turning supports' quotients into bounded Lorentzian metric spaces.
    Imported without proof and used everywhere: Polish-ness legitimizes Prokhorov, Kolmogorov extension, disintegration, and parametrization; compact superlevel sets power Lemma 2.13; the quotient construction is the backbone of the isomorphy definition.
  • domain assumption Point distinction property forces injectivity of distance-preserving maps, and a countable dense subset of test points suffices to separate points (Minguzzi-Suhr [45, Thm 3.1, Prop 1.10, 1.11]).
    Used in Lemma 2.13, in Step D of Theorem 3.1 to control the distance quotient of generic sequences, and in Lemma 2.20(iii) to verify point distinction of the coupled space.
  • standard math Kondo's technical lemmas [30, Lem. 2.2, 2.4, 2.5]: the infinite matrix law is the unique projective limit of finite matrix laws, and the set of generic sequences has full product-measure and is Borel measurable.
    The paper states these lemmas 'carry over to our setting with no change' (Section 3, Lemmas 3.3 and 3.5) but does not reproduce them; they are the probabilistic engine of the reconstruction theorem.
  • standard math Standard Polish-space probability machinery: Prokhorov's theorem, disintegration theorem, gluing lemma, narrow precompactness of coupling sets, and Fan metric metrizability of narrow convergence.
    Used throughout Sections 2.1, 4.1, and 4.2, cited to Billingsley, Ambrosio-Gigli-Savare, and Villani.
  • standard math Parametrization theorem for standard Borel probability spaces (Srivastava [56, Thm 3.4.23], Sturm [58, Lem 1.15]) and measure-preserving rearrangement of [0,1] (Brenier).
    Provides the parametrizations psi with psi_#L^1 = m used to define the box distance and to prove Theorem 4.18 and Proposition 4.19.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Gromov's reconstruction theorem and measured Gromov-Hausdorff convergence in Lorentzian geometry." pith.science (2026). https://pith.science/paper/C23EDDXP

@misc{pith2026250610852,
  author       = {Pith},
  title        = {Pith review of: Gromov's reconstruction theorem and measured Gromov-Hausdorff convergence in Lorentzian geometry},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/C23EDDXP}},
  note         = {Machine review of arXiv:2506.10852}
}
read the original abstract

We establish Gromov's celebrated reconstruction theorem in Lorentzian geometry. Alongside this result, we introduce and study a natural concept of isomorphy of normalized bounded Lorentzian metric measure spaces. We outline applications to the spacetime reconstruction problem from causal set theory. Lastly, we propose three notions of convergence of (isomorphism classes of) normalized bounded Lorentzian metric measure spaces, for which we prove several fundamental properties.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

  1. Spacetime reconstruction by order and number

    gr-qc 2025-07 conditional novelty 8.0 of 10

    Two finite-volume spacetimes are smoothly isometric if and only if the laws of their random chronological adjacency matrices agree for every sample size.

  2. 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

64 extracted references · 52 canonical work pages · cited by 2 Pith papers

  1. [30]

    Kondo,Probability distribution of metric measure spaces, Differential Geom

    T. Kondo,Probability distribution of metric measure spaces, Differential Geom. Appl.22 (2005), no. 2, 121–130. MR2122737

    work page 2005

  2. [1]

    C. D. Aliprantis and K. C. Border,Infinite dimensional analysis, Third edition, Springer, Berlin, 2006. A hitchhiker’s guide. MR2378491

    work page 2006

  3. [2]

    Allen and A

    B. Allen and A. Burtscher,Properties of the null distance and spacetime convergence, Int. Math. Res. Not. IMRN10 (2022), 7729–7808. MR4418719

    work page 2022

  4. [3]

    Ambrosio, N

    L. Ambrosio, N. Gigli, and G. Savaré,Gradient flows in metric spaces and in the space of probability measures, Second, Lectures in Mathematics ETH Zürich, Birkhäuser Verlag, Basel,

    work page

  5. [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 [math.DG] (2024)

    arXiv 2024

  6. [5]

    Billingsley, Convergence of probability measures, Second, Wiley Series in Probability and Statistics: Probability and Statistics, John Wiley & Sons, Inc., New York, 1999

    P. Billingsley, Convergence of probability measures, Second, Wiley Series in Probability and Statistics: Probability and Statistics, John Wiley & Sons, Inc., New York, 1999. A Wiley-Interscience Publication. MR1700749

    work page 1999

  7. [6]

    A. J. Blumberg and M. A. Mandell,Quantitative homotopy theory in topological data analysis, Found. Comput. Math.13 (2013), no. 6, 885–911. MR3124944

    work page 2013

  8. [7]

    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

    work page 2000

Show all 64 references
  1. [8]

    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

    1987

  2. [9]

    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

    2004

  3. [10]

    Bombelli, J

    L. Bombelli, J. Noldus, and J. Tafoya,Lorentzian manifolds and causal sets as partially ordered measure spaces, Preprint, arXiv.1212.0601 [gr-qc] (2012)

    2012 arXiv

  4. [11]

    Boutin and G

    M. Boutin and G. Kemper,On reconstructingn-point configurations from the distribution of distances or areas, Adv. in Appl. Math.32 (2004), no. 4, 709–735. MR2053842

    2004

  5. [12]

    Braun,Rényi’s entropy on Lorentzian spaces

    M. Braun,Rényi’s entropy on Lorentzian spaces. Timelike curvature-dimension conditions, J. Math. Pures Appl. (9)177 (2023), 46–128. MR4629751

    2023

  6. [13]

    An invitation, Preprint, arXiv:2501.19071 [math.DG] (2025)

    , New perspectives on the d’Alembertian from general relativity. An invitation, Preprint, arXiv:2501.19071 [math.DG] (2025)

    2025 arXiv

  7. [14]

    Braun and R

    M. Braun and R. J. McCann,Causal convergence conditions through variable timelike Ricci curvature bounds, Preprint, arXiv.2312.17158 [math-ph] (2023)

    2023 arXiv

  8. [15]

    Brenier, Polar factorization and monotone rearrangement of vector-valued functions, Comm

    Y. Brenier, Polar factorization and monotone rearrangement of vector-valued functions, Comm. Pure Appl. Math.44 (1991), no. 4, 375–417. MR1100809

    1991

  9. [16]

    Burago, Y

    D. Burago, Y. Burago, and S. Ivanov,A course in metric geometry, Graduate Studies in Mathematics, vol. 33, American Mathematical Society, Providence, RI, 2001. MR1835418

    2001

  10. [17]

    Busemann,Timelike spaces, Dissertationes Math

    H. Busemann,Timelike spaces, Dissertationes Math. Rozprawy Mat.53 (1967), 52. ISSN: 0012-3862. MR0220238

    1967

  11. [18]

    Bykov, E

    A. Bykov, E. Minguzzi, and S. Suhr,Lorentzian metric spaces and GH-convergence: the unbounded case, Preprint, arXiv.2412.04311 [math.MG] (2024)

    2024 arXiv

  12. [19]

    Cavalletti and A

    F. Cavalletti and A. Mondino,A review of Lorentzian synthetic theory of timelike Ricci curvature bounds, 2022

    2022

  13. [20]

    , Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications, Camb. J. Math.12 (2024), no. 2, 417–534. MR4779676

    2024

  14. [21]

    P. T. Chruściel and J. D. E. Grant,On Lorentzian causality with continuous metrics, Classical Quantum Gravity29 (2012), no. 14, 145001, 32. MR2949547

    2012

  15. [22]

    de Haro, K

    S. de Haro, K. Skenderis, and S. N. Solodukhin,Holographic reconstruction of spacetime and renormalization in the AdS/CFT correspondence, Comm. Math. Phys.217 (2001), no. 3, 595–622. MR1822109

    2001

  16. [23]

    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

    2024

  17. [24]

    Fukaya,Collapsing of Riemannian manifolds and eigenvalues of Laplace operator, Invent

    K. Fukaya,Collapsing of Riemannian manifolds and eigenvalues of Laplace operator, Invent. Math. 87 (1987), no. 3, 517–547. MR874035 34 MATHIAS BRAUN AND CLEMENS SÄMANN

    1987

  18. [25]

    Geroch,Domain of dependence, J

    R. Geroch,Domain of dependence, J. Mathematical Phys.11 (1970), 437–449. MR0270697 (42 #5585)

    1970

  19. [26]

    Gigli, Hyperbolic Banach spaces I — Directed completion of partial orders, Preprint, arXiv:2503.10467 [math.FA] (2025)

    N. Gigli, Hyperbolic Banach spaces I — Directed completion of partial orders, Preprint, arXiv:2503.10467 [math.FA] (2025)

    2025

  20. [27]

    Gigli, A

    N. Gigli, A. Mondino, and G. Savaré,Convergence of pointed non-compact metric measure spaces and stability of Ricci curvature bounds and heat flows, Proc. Lond. Math. Soc. (3)111 (2015), no. 5, 1071–1129. MR3477230

    2015

  21. [28]

    Greven, P

    A. Greven, P. Pfaffelhuber, and A. Winter,Convergence in distribution of random metric measure spaces(Λ-coalescent measure trees), Probab. Theory Related Fields145 (2009), no. 1-2, 285–322. MR2520129

    2009

  22. [29]

    Gromov, Metric structures for Riemannian and non-Riemannian spaces, Progress in Mathematics, vol

    M. Gromov, Metric structures for Riemannian and non-Riemannian spaces, Progress in Mathematics, vol. 152, Birkhäuser Boston, Inc., Boston, MA, 1999. MR1699320

    1999

  23. [31]

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

    1967

  24. [32]

    Kunzinger and C

    M. Kunzinger and C. Sämann,Lorentzian length spaces, Ann. Global Anal. Geom.54 (2018), no. 3, 399–447. MR3867652

    2018

  25. [33]

    Kunzinger and R

    M. Kunzinger and R. Steinbauer,Null distance and convergence of Lorentzian length spaces, Annales Henri Poincaré23 (2022), no. 12, 4319–4342

    2022

  26. [34]

    Lévy,Problèmes concrets d’analyse fonctionnelle

    P. Lévy,Problèmes concrets d’analyse fonctionnelle. Avec un complément sur les fonction- nelles analytiques par F. Pellegrino, Gauthier-Villars, Paris, 1951. 2d ed. MR41346

    1951

  27. [35]

    Ling,A lower semicontinuous time separation function forC0 spacetimes, Annales Henri Poincare, to appear (2024)

    E. Ling,A lower semicontinuous time separation function forC0 spacetimes, Annales Henri Poincare, to appear (2024)

    2024

  28. [36]

    Löhr,Equivalence of Gromov-Prohorov- and Gromov’s□λ-metric on the space of metric measure spaces, Electron

    W. Löhr,Equivalence of Gromov-Prohorov- and Gromov’s□λ-metric on the space of metric measure spaces, Electron. Commun. Probab.18 (2013), no. 17, 10. MR3037215

    2013

  29. [37]

    Lovász,Large networks and graph limits, American Mathematical Society Colloquium Publications, vol

    L. Lovász,Large networks and graph limits, American Mathematical Society Colloquium Publications, vol. 60, American Mathematical Society, Providence, RI, 2012. MR3012035

    2012

  30. [38]

    McCann,Displacement concavity of Boltzmann’s entropy characterizes positive energy in general relativity, Camb

    R. McCann,Displacement concavity of Boltzmann’s entropy characterizes positive energy in general relativity, Camb. J. Math.8 (2020), no. 3, 609–681

    2020

  31. [39]

    R. J. McCann,A synthetic null energy condition, Comm. Math. Phys.405 (2024), no. 2, Paper No. 38, 24. MR4703452

    2024

  32. [40]

    , Trading linearity for ellipticity: a nonsmooth approach to Einstein’s theory of gravity and the Lorentzian splitting theorems, Preprint, arXiv:2501.00702 [math-ph] (2025)

    2025 arXiv

  33. [41]

    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

    2022

  34. [42]

    Mémoli,Gromov-Wasserstein distances and the metric approach to object matching, Found

    F. Mémoli,Gromov-Wasserstein distances and the metric approach to object matching, Found. Comput. Math. 11 (2011), no. 4, 417–487. MR2811584

    2011

  35. [43]

    V. D. Milman,A new proof of A. Dvoretzky’s theorem on cross-sections of convex bodies, Funkcional. Anal. i Prilozen.5 (1971), no. 4, 28–37. MR293374

    1971

  36. [44]

    Lévy in geometrical functional analysis, 1988, pp

    , The heritage of P. Lévy in geometrical functional analysis, 1988, pp. 273–301. Colloque Paul Lévy sur les Processus Stochastiques (Palaiseau, 1987). MR976223

    1988

  37. [45]

    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, 63. MR4752400

    2024

  38. [46]

    Mondino and C

    A. Mondino and C. Sämann,Lorentzian Gromov-Hausdorff convergence and pre-compactness, Preprint, arXiv:2504.10380 [math.DG] (2025)

    2025 arXiv

  39. [47]

    Mondino and S

    A. Mondino and S. Suhr,An optimal transport formulation of the Einstein equations of general relativity, Journal of the European Mathematical Society (JEMS), to appear (2022)

    2022

  40. [48]

    Müller, Gromov-Hausdorff distances for Lorentzian length spaces , Preprint, arXiv:2209.12736 [math.DG] (2022)

    O. Müller, Gromov-Hausdorff distances for Lorentzian length spaces , Preprint, arXiv:2209.12736 [math.DG] (2022)

    2022 arXiv

  41. [49]

    Müller,On the Hauptvermutung of causal set theory, Preprint, arXiv.2503.01719 [math.DG] (2025)

    O. Müller,On the Hauptvermutung of causal set theory, Preprint, arXiv.2503.01719 [math.DG] (2025)

    2025

  42. [50]

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

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

    2004

  43. [51]

    Sakovich and C

    A. Sakovich and C. Sormani,Introducing various notions of distances between space-times, Preprint, arXiv.2410.16800 [math.DG] (2024)

    2024

  44. [52]

    Sämann,Global hyperbolicity for spacetimes with continuous metrics, Ann

    C. Sämann,Global hyperbolicity for spacetimes with continuous metrics, Ann. Henri Poincaré 17 (2016), no. 6, 1429–1455. MR3500220

    2016

  45. [53]

    Sämann,A brief introduction to non-regular spacetime geometry, Internationale Mathema- tische Nachrichten256 (2024), 1–17

    C. Sämann,A brief introduction to non-regular spacetime geometry, Internationale Mathema- tische Nachrichten256 (2024), 1–17

    2024

  46. [54]

    T. Shioya,Metric measure geometry, IRMA Lectures in Mathematics and Theoretical Physics, vol.25,EMSPublishingHouse,Zürich,2016.Gromov’stheoryofconvergenceandconcentration of metrics and measures. MR3445278 GROMOV’S RECONSTRUCTION THEOREM 35

    2016

  47. [55]

    Sormani and C

    C. Sormani and C. Vega,Null distance on a spacetime, Classical Quantum Gravity33 (2016), no. 8, 085001, 29. MR3476515

    2016

  48. [56]

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

    1998

  49. [57]

    Sturm,On the geometry of metric measure spaces

    K.-T. Sturm,On the geometry of metric measure spaces. I, Acta Math.196 (2006), no. 1, 65–131. MR2237206

    2006

  50. [58]

    , The space of spaces: curvature bounds and gradient flows on the space of metric measure spaces, Mem. Amer. Math. Soc.290 (2023), no. 1443, v+111. MR4659681

    2023

  51. [59]

    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. 5

    2019

  52. [60]

    Swingle,Spacetime from entanglement, Annual Review of Condensed Matter Physics9 (2018), no

    B. Swingle,Spacetime from entanglement, Annual Review of Condensed Matter Physics9 (2018), no. 1, 345–358

    2018

  53. [61]

    A. M. Vershik, Distance matrices, random metrics and Urysohn space , Preprint, arXiv:math/0203008 [math.GT] (2002)

    2002 arXiv

  54. [62]

    , Random and universal metric spaces, Fundamental mathematics today (Russian), 2003, pp. 54–88. MR2072636

    2003

  55. [63]

    Nauk59 (2004), no

    , Random metric spaces and universality, Uspekhi Mat. Nauk59 (2004), no. 2 (356), 65–104. MR2086637

    2004

  56. [64]

    Villani,Optimal transport

    C. Villani,Optimal transport. old and new, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 338, Springer-Verlag, Berlin, 2009. MR2459454 Institute of Mathematics, EPFL, 1015 Lausanne, Switzerland Email address: mathias.brau...

    2009

Pith tools

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