arxiv: 2604.22362 · v1 · submitted 2026-04-24 · 🧮 math.MG · math.DG

Recognition: unknown

Convergence of Timed-Metric Spaces and Causality

Mauricio Che, Raquel Perales

Pith reviewed 2026-05-08 08:49 UTC · model grok-4.3

classification 🧮 math.MG math.DG

keywords timed-metric spacesGromov-Hausdorff distancetimed-Hausdorff distancecompactness theoremcausal structureconvergencecausally-null spaces

0 comments

The pith

The timed-Gromov-Hausdorff distance on timed-metric spaces is bi-Lipschitz equivalent to the intrinsic timed-Hausdorff distance.

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

The paper defines a timed version of the Gromov-Hausdorff distance that accounts for both a metric structure and an additional time function on the spaces. It establishes that this new distance differs from the intrinsic timed-Hausdorff distance by at most constant factors, so the two notions produce exactly the same convergent sequences. This equivalence immediately yields a compactness theorem by reducing to the classical Gromov compactness result for ordinary metric spaces. The authors also show that causal relations between points are stable under the resulting convergence and develop basic properties of spaces in which no two points are causally related.

Core claim

We introduce the timed-Gromov-Hausdorff distance for timed-metric spaces. We prove that this distance is bi-Lipschitz equivalent to the intrinsic timed-Hausdorff distance of Sakovich-Sormani, and therefore induces the same notion of convergence. We establish a compactness theorem for the timed Gromov-Hausdorff distance as a direct consequence of Gromov's classical compactness theorem. We then investigate the causal structure of timed-metric spaces and the stability of causality under intrinsic timed-Hausdorff convergence, along with several basic properties of causally-null timed-metric spaces.

What carries the argument

The timed-Gromov-Hausdorff distance, obtained by taking the infimum over all isometric embeddings of two timed-metric spaces into a common ambient space while controlling both the metric distortion and the time-function mismatch.

If this is right

Any family of timed-metric spaces that is precompact with respect to the new distance admits a convergent subsequence.
Causal relations between points survive passage to the limit under timed-Hausdorff convergence.
Causally null spaces satisfy uniform structural restrictions that can be used to recognize degenerate limits.
Compactness supplies existence of limit objects for any bounded sequence of timed spaces.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The equivalence may let researchers move results between the two distance formulations when studying convergence of spacetime models.
Compactness opens the door to existence proofs for minimizers of functionals defined on classes of timed spaces.
Stability of causality indicates that causal properties are robust under small timed-metric perturbations.

Load-bearing premise

The timed-metric spaces must obey the structural conditions that make the intrinsic timed-Hausdorff distance well-defined and allow Gromov's compactness theorem to transfer after the equivalence is shown.

What would settle it

A concrete pair of timed-metric spaces whose distances under the two definitions differ by an arbitrarily large factor, or a bounded sequence of timed-metric spaces that admits no convergent subsequence in the timed-Gromov-Hausdorff distance.

read the original abstract

We introduce the notion of timed-Gromov--Hausdorff distance for timed-metric spaces. We prove that this distance is bi-Lipschitz equivalent to the intrinsic timed-Hausdorff distance of Sakovich--Sormani, and therefore induces the same notion of convergence. We establish a compactness theorem for the timed Gromov--Hausdorff distance, obtained as a straightforward consequence of Gromov's classical compactness theorem. We then investigate the causal structure of timed-metric spaces and the stability of causality under intrinsic timed-Hausdorff convergence. We further analyze causally-null timed-metric spaces and develop several of their basic properties. As a curiosity, we include in an appendix Gromov's original proof of his compactness theorem, as presented in his paper on groups of polynomial growth.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper defines a timed-Gromov-Hausdorff distance, shows it is bi-Lipschitz equivalent to Sakovich-Sormani's version via direct correspondence comparison, and transfers compactness from Gromov's theorem while adding basic causal stability results.

read the letter

This paper defines the timed-Gromov-Hausdorff distance for timed-metric spaces and proves it is bi-Lipschitz equivalent to the intrinsic timed-Hausdorff distance introduced by Sakovich and Sormani. That equivalence means they induce the same convergence, and it lets them pull a compactness theorem straight from Gromov's classical result. They also examine how causal structure behaves under this convergence and develop some properties for causally-null spaces. The equivalence comes from comparing admissible correspondences between the spaces, and the distances differ by at most a factor of two. This is straightforward and does not require extra conditions on the time function beyond the standard Lipschitz and causality axioms. The compactness then follows because precompactness and the necessary diameter and covering bounds transfer directly. Adding Gromov's original proof as an appendix makes the paper more self-contained. The causal stability part is a natural next step once you have the convergence, but it appears to focus on basic preservation properties rather than deep new theorems. The work on causally-null spaces is described as developing basic properties, so it serves more as groundwork than a major advance. Overall the arguments seem solid with no obvious circularity or hidden assumptions. The main contribution is the new distance formulation and the clean transfer of the compactness result. This paper is aimed at researchers in metric geometry who also deal with causal structures, particularly those modeling spacetimes in general relativity. A reader looking for tools to study limits of causal spaces would find the equivalence and stability results useful. It deserves a serious referee. The claims are grounded in direct comparisons and classical theorems, so I would recommend sending it out for peer review.

Referee Report

0 major / 2 minor

Summary. The paper introduces the timed-Gromov-Hausdorff distance on timed-metric spaces (metric spaces equipped with a time function satisfying standard Lipschitz and causality axioms). It proves that this distance is bi-Lipschitz equivalent to the intrinsic timed-Hausdorff distance of Sakovich and Sormani (differing by a factor of at most 2 via direct comparison of admissible correspondences), thereby inducing the same notion of convergence. A compactness theorem for the timed Gromov-Hausdorff distance is derived as a direct consequence of Gromov's classical compactness theorem, since precompactness and the required uniform diameter and covering-number bounds are preserved under the equivalence. The manuscript further investigates the stability of causality under intrinsic timed-Hausdorff convergence and develops basic properties of causally-null timed-metric spaces, with an appendix reproducing Gromov's original proof of his compactness theorem.

Significance. If the equivalence and compactness results hold, the work is significant because it supplies an alternative distance that is bi-Lipschitz equivalent to an existing intrinsic one, thereby making Gromov's compactness theorem immediately applicable to timed-metric spaces without further verification. This provides a practical tool for studying convergence and limits of spaces with causal structure. The analysis of causality stability under convergence is relevant to metric geometry and related fields such as general relativity or causal set theory. The appendix reproducing Gromov's proof is a helpful accessibility feature.

minor comments (2)

The abstract states the bi-Lipschitz equivalence but omits the explicit constant (factor of 2); stating the constant in the abstract would improve immediate clarity for readers.
The section on causally-null timed-metric spaces develops several basic properties; including one or two concrete examples (e.g., a simple Minkowski space or a discrete causal set) would aid intuition without lengthening the manuscript substantially.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and accurate summary of the manuscript, as well as for recommending minor revision. The referee correctly identifies the core results on the bi-Lipschitz equivalence between the timed-Gromov-Hausdorff distance and the intrinsic timed-Hausdorff distance, the resulting compactness theorem, and the stability analysis of causal structure.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The central claims rest on a direct proof that the newly introduced timed-Gromov-Hausdorff distance is bi-Lipschitz equivalent (factor at most 2) to the independently defined Sakovich-Sormani intrinsic timed-Hausdorff distance, obtained by comparing admissible correspondences. Compactness then follows immediately from the classical external Gromov theorem once equivalence is established. No equation reduces to a self-definition, no parameter is fitted and then relabeled as a prediction, and no load-bearing step relies on a self-citation chain or an ansatz imported from the authors' prior work. The manuscript is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review; the central claims rest on the definition of timed-metric spaces and the applicability of Gromov's theorem to the equivalent distance.

axioms (1)

standard math Gromov's compactness theorem applies to the metric spaces underlying the timed structures once bi-Lipschitz equivalence is established.
Invoked to obtain the timed compactness result as a direct corollary.

pith-pipeline@v0.9.0 · 5421 in / 1184 out tokens · 31029 ms · 2026-05-08T08:49:00.792662+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

1 extracted references

[1]

distance

[AGH98] Lars Andersson, Gregory J. Galloway, and Ralph Howard. The cosmological time function. Classical Quantum Gravity, 15(2):309–322, 1998. [BBI01] Dmitri Burago, Yuri Burago, and Sergei Ivanov.A course in metric geometry, volume 33 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2001. [BGH24] Annegret Burtscher and L...

1998