We consider a point cloud $X_n := \{ x_1, \dots, x_n \}$ uniformly distributed on the flat torus $\mathbb{T}^d : = \mathbb{R}^d / \mathbb{Z}^d $, and construct a geometric graph on the cloud by connecting points that are within distance $\varepsilon$ of each other. We let $\mathcal{P}(X_n)$ be the space of probability measures on $X_n$ and endow it with a discrete Wasserstein distance $W_n$ as introduced independently by Chow et al, Maas, and Mielke for general finite Markov chains. We show that as long as $\varepsilon= \varepsilon_n$ decays towards zero slower than an explicit rate depending on the level of uniformity of $X_n$, then the space $(\mathcal{P}(X_n), W_n)$ converges in the Gromov-Hausdorff sense towards the space of probability measures on $\mathbb{T}^d$ endowed with the Wasserstein distance. The analysis presented in this paper is a first step in the study of stability of evolution equations defined over random point clouds as the number of points grows to infinity.
The present article addresses to everyone who starts working with (pointed) Gromov-Hausdorff convergence. In the major part, both Gromov-Hausdorff convergence of compact and of pointed metric spaces are introduced and investigated. Moreover, the relation of sublimits occurring with pointed Gromov-Hausdorff convergence and ultralimits is discussed.
We have constructed a realization of rectilinear geodesic (in the sense of~\cite{Memoli2018}), lying in Gromov-Hausdorff space, as a shortest geodesic w.r.t. the Hausdorff distance in an ambient metric space.
We present an extension of the Gromov-Hausdorff metric on the set of compact metric spaces: the Gromov-Hausdorff-Prokhorov metric on the set of compact metric spaces endowed with a finite measure. We then extend it to the non-compact case by describing a metric on the set of rooted complete locally compact length spaces endowed with a locally finite measure. We prove that this space with the extended Gromov-Hausdorff-Prokhorov metric is a Polish space. This generalization is needed to define Lévy trees, which are (possibly unbounded) random real trees endowed with a locally finite measure.
In Athreya, Löhr, Winter (2016), an invariance principle is stated for a class of strong Markov processes on tree-like metric measure spaces. It is shown that if the underlying spaces converge Gromov vaguely, then the processes converge in the sense of finite dimensional distributions. Further, if the underlying spaces converge Gromov-Hausdorff vaguely, then the processes converge weakly in path space. In this paper we systematically introduce and study the Gromov-vague and the Gromov-Hausdorff-vague topology on the space of equivalence classes of metric boundedly finite measure spaces. The la…
The course was given at Peking University, Fall 2019. We discuss the following subjects: (1) Introduction to general topology, hyperspaces, metric and pseudometric spaces, graph theory. (2) Graphs in metric spaces, minimum spanning tree, Steiner minimal tree, Gromov minimal filling. (3) Hausdorff distance, Vietoris topology, Limits theory, inheritance of completeness, total boundedness, compactness by hyperspaces. (4) Gromov-Hausdorff distance, triangle inequality, positive definiteness for isometry classes of compact spaces, counterexample for boundedly compact spaces. (5) Gromov-Hausdorff di…
In this paper we prove that generic metric spaces are everywhere dense in the proper class of all metric spaces endowed with the Gromov-Hausdorff distance.
In this paper, we introduce a pseudometric on the family of isometry classes of (extended) metric spaces. Using it, we obtain a natural compactification of the Gromov-Hausdorff space, which is compatible with ultralimit.
It is shown that each finite family of finite metric spaces, being considered as a subset of Gromov--Hausdorff space, can be connected by a Steiner minimal tree.
We discuss the behavior of $(λ_{1. p}(M))^{1/p}$ with respect to the Gromov-Hausdorff topology and the variable $p$, where $λ_{1, p}(M)$ is the first positive eigenvalue of the $p$-Laplacian on a compact Riemannian manifold $M$. Applications include new estimates for the first eigenvalues of the $p$-Laplacian on Riemannian manifolds with lower Ricci curvature bounds, and isoperimetric inequalities on Gromov-Hausdorff limit spaces. We also establish a new Lichnerowicz-Obata type theorem.
In this paper we introduce a notion of the Gromov-Hausdorff distance with boundary, denoted by $d_{GHB}$, to construct a framework of convergence of noncomplete metric spaces. We show that a class of bounded $A$-uniform spaces with diameter bounded from below is a complete metric space with respect to $d_{GHB}$. As an application we show the stability of Gromov hyperbolicity, roughly starlike property, uniformization, quasihyperbolization, and boundary of Gromov hyperbolic spaces under appropriate notions of convergence and assumptions.
We calculate the Gromov--Hausdorff distance between a line segment and a circle in the Euclidean plane. To do that, we introduced a few new notions like round spaces and nonlinearity degree of a metric space.
It is shown that for any two compact metric spaces there exists an "optimal" correspondence which the Gromov-Hausdorff distance is attained at. Each such correspondence generates isometric embeddings of these spaces into a compact metric space such that the Gromov-Hausdorff distance between the initial spaces is equal to the Hausdorff distance between their images. Also, the optimal correspondences could be used for constructing the shortest curves in the Gromov-Hausdorff space in exactly the same way as it was done by Alexander Ivanov, Nadezhda Nikolaeva, and Alexey Tuzhilin in arXiv:1504.038…
The paper is devoted to geometrical investigation of the Gromov-Hausdorff distance on the classes of all metric spaces and of all bounded metric spaces. The main attention is paid to pass connectivity questions. The pass connected components of the Gromov-Hausdorff class of all metric spaces are described, and the pass connectivity of spheres is proved in several particular cases.
We show continuity under equivariant Gromov-Hausdorff convergence of the critical exponent of discrete, non-elementary, torsion-free, quasiconvex-cocompact groups with uniformly bounded codiameter acting on uniformly Gromov-hyperbolic metric spaces.
We show that for a noncollapsing sequence of closed, connected, oriented Riemannian manifolds with Ricci curvature uniformly bounded from below and diameter uniformly bounded above, Gromov-Hausdorff convergence essentially agrees with intrinsic flat convergence.
We show that there exists a natural counterpart of the Gromov-Hausdorff metric in the class of ultrametric spaces. It is proved, in particular, that the space of all ultrametric spaces whose metric take values in a fixed countable set is homeomorphic to the space of irrationals.
In the present paper we investigate the metric space $\cal M$ consisting of isometry classes of compact metric spaces, endowed with the Gromov-Hausdorff metric. We show that for any finite subset $M$ from a sufficiently small neighborhood of a generic finite metric space, providing $M$ consists of finite metric spaces with the same number of points, each Steiner minimal tree in $\cal M$ connecting $M$ is a minimal filling for $M$. As a consequence, we prove that the both Steiner ratio and Gromov-Steiner ratio of $\cal M$ are equal to $1/2$.
The Gromov-Hausdorff space is usually defined in textbooks as "the space of all compact metric spaces up to isometry". We describe a formalization of this notion in the Lean proof assistant, insisting on how we need to depart from the usual informal viewpoint of mathematicians on this object to get a rigorous formalization.
The present paper is devoted to investigation of the isometry group of the Gromov-Hausdorff space, i.e., the metric space of compact metric spaces considered up to an isometry and endowed with the Gromov-Hausdorff metric. The main goal is to present a proof of the following theorem by George Lowther (2015): The isometry group of the Gromov-Hausdorff space is trivial. Unfortunately, the author himself has not publish an accurate text for 2 years passed from the publication of draft (that is full of excellent ideas mixed with unproved and wrong statements) in the https://mathoverflow.net/ blog (…
A quantized metric space is a matrix order unit space equipped with an operator space version of Rieffel's Lip-norm. We develop for quantized metric spaces an operator space version of quantum Gromov-Hausdorff distance. We show that two quantized metric spaces are completely isometric if and only if their quantized Gromov-Hausdorff distance is zero. We establish a completeness theorem. As applications, we show that a quantized metric space with 1-exact underlying matrix order unit space is a limit of matrix algebras with respect to quantized Gromov-Hausdorff distance, and that matrix algebras …
In this paper geometry of Gromov-Hausdorff distance on the class of all metric spaces considered up to an isometry is investigated. For this class continuous curves and their lengths are defined, and it is shown that the Gromov-Hausdorff distance is intrinsic. Besides, metric segments are considered, i.e., the classes of points lying between two given ones, and an extension problem of such segments beyond their end-points is considered.
We establish universality and ultra-homogeneity of $(\mathcal{U},u_\mathrm{GH})$, the collection of all compact ultrametric spaces endowed with the so-called Gromov-Hausdorff ultrametric. This result also gives rise to a novel construction of the so-called $R$-Uryoshn universal ultrametric space for each countable subset $R\subset\mathbb{R}_{\geq 0}$ containing $0$.
We prove that any measured Gromov-Hausdorff precompact set of metric measure spaces which is contained in a certain set, called a pyramid, is bounded by some metric measure space with respect to the Lipschitz order inside the pyramid. This is proved as a step towards a possible extension of the statement of Gromov, for which we gave a detailed proof in our previous work. Several related results are also obtained.
In this note we prove in the nonlinear setting of $CD(K,\infty)$ spaces the stability of the Krasnoselskii spectrum of the Laplace operator $-Δ$ under measured Gromov-Hausdorff convergence, under an additional compactness assumption satisfied, for instance, by sequences of $CD^*(K,N)$ metric measure spaces with uniformly bounded diameter. Additionally, we show that every element $λ$ in the Krasnoselskii spectrum is indeed an eigenvalue, namely there exists a nontrivial $u$ satisfying the eigenvalue equation $- Δu = λu$.
In this paper, we study the geometry of non-Archimedean Gromov-Hausdorff metric. This is the first part of our series work, which we try to establish some facts about the counterpart of Gromov-Hausdorff metric in the non-Archimedean spaces. One of the motivation of this work is to find some implied relations between this geometry and number theory via p-adic analysis, so that we can use the former as a tool to study the relating arithmetic aspects.
We provide an alternative, constructive proof that the collection $\mathcal{M}$ of isometry classes of compact metric spaces endowed with the Gromov-Hausdorff distance is a geodesic space. The core of our proof is a construction of explicit geodesics on $\mathcal{M}$. We also provide several interesting examples of geodesics on $\mathcal{M}$, including a geodesic between $\mathbb{S}^0$ and $\mathbb{S}^n$ for any $n\geq 1$.
We combine the pointed Gromov-Hausdorff metric [Ron10] with the locally $C^0$ distance to obtain the pointed $C^0$-Gromov-Hausdorff distance between maps of possibly different non-compact pointed metric spaces. The latter is then combined with Walters's locally topological stability [LNY18] and $GH$-stability from [AMR17] to obtain the notion of topologically $GH$-stable pointed homeomorphism. We give one example to show the difference between the distance when take different base point in a pointed metric space.
This paper continues the investigation of `Wasserstein-like' transportation distances for probability measures on discrete sets. We prove that the discrete transportation metrics on the d-dimensional discrete torus with mesh size 1/N converge, when $N\to\infty$, to the standard 2-Wasserstein distance W_2 on the continuous torus in the sense of Gromov-Hausdorff. This is the first convergence result for the recently developed discrete transportation metrics. The result shows the compatibility between these metrics and the well-established 2-Wasserstein metric.
In the present paper we show how one can calculate the lengths of edges of a minimum spanning tree constructed for a finite metric space, in terms of the Gromov-Hausdorff distances from this space to simplices of sufficiently large diameter. Here by simplices we mean finite metric spaces all of whose nonzero distances are the same. As an application, we reduce the problems of finding a Steiner minimal tree length or a minimal filling length to maximization of the total distance to some finite number of simplices considered as points of the Gromov-Hausdorff space.
It is proved that the Gromov-Hausdorff metric on the space of compact metric spaces considered up to an isometry is strictly intrinsic, i.e., the corresponding metric space is geodesic. In other words, each two points of this space (each two compact metric spaces) can be connected by a geodesic. For finite metric spaces a geodesic is constructed explicitly.
In this paper, we first show that for all four non-negative real numbers, there exists a Cantor ultrametric space whose Hausdorff dimension, packing dimension, upper box dimension, and Assouad dimension are equal to given four numbers, respectively. Next, by constructing topological embeddings of an arbitrary compact metrizable space into the Gromov--Hausdorff space using a direct sum of metrics spaces, we prove that the set of all compact metric spaces possessing prescribed topological dimension, and four dimensions explained above, and the set of all compact ultrametric spaces are path-conne…
It is shown that any bounded metric space can be isometrically embedded into the Gromov--Hausdorff metric class GH. This result is a consequence of local geometry description of the class GH in a sufficiently small neighborhood of a generic metric space. This description is interesting in itself. The technique of optimal correspondences and their distortions is used.
One of the most beautiful notions of metric geometry is the Gromov-Hausdorff distance which measures the difference between two metric spaces. To define the distance, let us isometrically embed these spaces into various metric spaces and measure the Hausdorff distance between their images. The best matching corresponds to the least Hausdorff distance. The idea to compare metric spaces in such a way was described in M.Gromov publications dating back to 1981. It was shown that this distance being restricted to isometry classes of compact metric spaces forms a metric which is now called Gromov-Ha…
In the present paper we investigate the Gromov--Hausdorff distances between a bounded metric space $X$ and so called simplex, i.e., a metric space all whose non-zero distances are the same. In the case when the simplex's cardinality does not exceed the cardinality of $X$, a new formula for this distance is obtained. The latter permits to derive an exact formula for the distance between a simplex and an ultrametric space.
