Equivalence of Gromov-Prohorov- and Gromov's _-metric on the space of metric measure spaces

DOI10.1214/ECP.V18-2268MaRDI QIDQ742979zbMATH OpenOpenAlexFDO

Authors Wolfgang Löhr

Publication date 22 September 2014

Published in Electronic Communications in Probability (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1111.5837

zbMATH Keywords

coding trees by excursionsGromov's box-metricGromov-prohorov metricGromov-weak topologyLusin topology on excursionsreal treespace of metric measure spaces

Mathematics Subject Classification ID

Random graphs (graph-theoretic aspects) (05C80) Probability measures on topological spaces (60B05)

Abstract: The space of metric measure spaces (complete separable metric spaces with a probability measure) is becoming more and more important as state space for stochastic processes. Of particular interest is the subspace of (continuum) metric measure trees. Greven, Pfaffelhuber and Winter introduced the Gromov-Prohorov metric d_{GPW} on the space of metric measure spaces and showed that it induces the Gromov-weak topology. They also conjectured that this topology coincides with the topology induced by Gromov's Box_1 metric. Here, we show that this is indeed true, and the metrics are even bi-Lipschitz equivalent. More precisely, d_{GPW}= 1/2 Box_{1/2}, and hence d_{GPW} <= Box_1 <= 2d_{GPW}. The fact that different approaches lead to equivalent metrics underlines their importance and also that of the induced Gromov-weak topology. As an application, we give an easy proof of the known fact that the map associating to a lower semi-continuous excursion the coded R-tree is Lipschitz continuous when the excursions are endowed with the (non-separable) uniform metric. We also introduce a new, weaker, metric topology on excursions, which has the advantage of being separable and making the space of bounded excursions a Lusin space. We obtain continuity also for this new topology.

Recommendations

• On the l-equivalence of metric spaces
• A note on the Gromov-Hausdorff-Prokhorov distance between (locally) compact metric measure spaces
• scientific article; zbMATH DE number 431705
• The Gromov-Hausdorff propinquity for metric spectral triples
• On the \(l_p^\ast\)-equivalence of metric spaces
• Metrization of the Gromov-Hausdorff (-Prokhorov) topology for boundedly-compact metric spaces
• \(\gamma\)-spaces and metrization theorems
• On \(p\)-metric spaces and the \(p\)-Gromov-Hausdorff distance
• On the Gromov-Hausdorff limit of metric spaces
• Equivariant embeddings of metrizable proper G-spaces

Cited in

(27)

• Convergence of continuous stochastic processes on compact metric spaces converging in the Lipschitz distance
• A representation for exchangeable coalescent trees and generalized tree-valued Fleming-Viot processes
• Pathwise construction of tree-valued Fleming-Viot processes
• Fluctuations of the Gromov-Prohorov sample model
• Self-similar real trees defined as fixed points and their geometric properties
• Trait-dependent branching particle systems with competition and multiple offspring
• Metrization of the Gromov-Hausdorff (-Prokhorov) topology for boundedly-compact metric spaces
• The Aldous chain on cladograms in the diffusion limit
• Evolving phylogenies of trait-dependent branching with mutation and competition. I: existence
• An axiomatic characterization of the Brownian map
• Convergence and limits of finite trees
• Convergence of metric transformed spaces
• Concentration function for pyramid and quantum metric measure space
• A note on the Gromov-Hausdorff-Prokhorov distance between (locally) compact metric measure spaces
• Spaces of algebraic measure trees and triangulations of the circle
• Tree limits and limits of random trees
• The Space of Spaces: Curvature Bounds and Gradient Flows on the Space of Metric Measure Spaces
• A unified framework for generalizing the Gromov-Hausdorff metric
• Marked metric measure spaces
• Algebraic two-level measure trees
• Uniform attachment with freezing: scaling limits
• Scaling limit of graph classes through split decomposition
• On metrics for analysis of functional data on geometric domains
• Dense and nondense limits for uniform random intersection graphs
• Scaling limit of trees with vertices of fixed degrees and heights
• The gap between Gromov-Vague and Gromov-Hausdorff-vague topology
• Convergence of bi-measure \(\mathbb{R}\)-trees and the pruning process

This page was built for publication: Equivalence of Gromov-Prohorov- and Gromov's \(\underline{\square}_\lambda\)-metric on the space of metric measure spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q742979)