Existence of mark functions in marked metric measure spaces

Abstract

We give criteria on the existence of a so-called mark function in the context of marked metric measure spaces (mmm-spaces). If an mmm-space admits a mark function, we call it functionally-marked metric measure space (fmm-space). This is not a closed property in the usual marked Gromov-weak topology, and thus we put particular emphasis on the question under which conditions it carries over to a limit. We obtain criteria for deterministic mmm-spaces as well as random mmm-spaces and mmm-space-valued processes. As an example, our criteria are applied to prove that the tree-valued Fleming-Viot dynamics with mutation and selection from [Depperschmidt, Greven, Pfaffelhuber, Ann. Appl. Probab. '12] admits a mark function at all times, almost surely. Thereby, we fill a gap in a former proof of this fact, which used a wrong criterion. Furthermore, the subspace of fmm-spaces, which is dense and not closed, is investigated in detail. We show that there exists a metric that induces the marked Gromov-weak topology on this subspace and is complete. Therefore, the space of fmm-spaces is a Polish space. We also construct a decomposition into closed sets which are related to the case of uniformly equicontinuous mark functions.

arXiv comment22 pages. Journal version, only minor changes

References in corpus (4)

• Tree-valued Fleming-Viot dynamics with mutation and selection
• Convergence of bi-measure R-tree and the pruning process
• Equivalence of Gromov-Prohorov- and Gromov's Box-Metric on the Space of Metric Measure Spaces
• A compact containment result for nonlinear historical superprocess approximations for population models with trait-dependence

Cited by in corpus (6)

• The Aldous chain on cladograms in the diffusion limit
• Scaling limits of the three-dimensional uniform spanning tree and associated random walk
• Spaces of algebraic measure trees and triangulations of the circle
• A Unified Framework for Generalizing the Gromov-Hausdorff Metric
• Invariance principles for random walks in random environment on trees
• Invariance principles for tree-valued Cannings chains