Hostname: page-component-cb9f654ff-hqlzj Total loading time: 0 Render date: 2025-08-24T03:36:12.973Z Has data issue: false hasContentIssue false

A GEOMETRIC STUDY OF WASSERSTEIN SPACES: ULTRAMETRICS

Published online by Cambridge University Press:  27 May 2014

Benoît R. Kloeckner*
Affiliation:
Université de Grenoble I, Institut Fourier, CNRS UMR 5582, BP 74, 38402 Saint Martin d’Hères cedex, France email benoit.kloeckner@ujf-grenoble.fr

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We study the geometry of the space of measures of a compact ultrametric space $X$, endowed with the $L^{p}$ Wasserstein distance from optimal transportation. We show that the power $p$ of this distance makes this Wasserstein space affinely isometric to a convex subset of $\ell ^{1}$. As a consequence, it is connected by $1/p$-Hölder arcs, but any ${\it\alpha}$-Hölder arc with ${\it\alpha}>1/p$ must be constant. This result is obtained via a reformulation of the distance between two measures which is very specific to the case when $X$ is ultrametric; however, thanks to the Mendel–Naor ultrametric skeleton it has consequences even when $X$ is a general compact metric space. More precisely, we use it to estimate the size of Wasserstein spaces, measured by an analogue of Hausdorff dimension that is adapted to (some) infinite-dimensional spaces. The result we get generalizes greatly our previous estimate, which needed a strong rectifiability assumption. The proof of this estimate involves a structural theorem of independent interest: every ultrametric space contains large co-Lipschitz images of regular ultrametric spaces, i.e. spaces of the form $\{1,\dots ,k\}^{\mathbb{N}}$ with a natural ultrametric. We are also led to an example of independent interest: a space of positive lower Minkowski dimension, all of whose proper closed subsets have vanishing lower Minkowski dimension.

Information

Type
Research Article
Copyright
Copyright © University College London 2014 

References

Bertrand, J. and Kloeckner, B. R., A geometric study of Wasserstein spaces: Hadamard spaces. J. Topol. Anal. 4(4) 2012, 515542.CrossRefGoogle Scholar
Grigorchuk, R. I., Nekrashevich, V. V. and Sushchanskiĭ, V. I., Automata, dynamical systems, and groups. Tr. Mat. Inst. Steklova 231 2000, 134214 ; Engl. transl., Proc. Steklov Inst. Math. 231 (2000), 128–203.Google Scholar
Kloeckner, B., A geometric study of Wasserstein spaces: Euclidean spaces. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 9(2) 2010, 297323.Google Scholar
Kloeckner, B., A generalization of Hausdorff dimension applied to Hilbert cubes and Wasserstein spaces. J. Topol. Anal. 4(2) 2012, 203235.Google Scholar
Mattila, P., Fractals and rectifiability. In Geometry of Sets and Measures in Euclidean Spaces (Cambridge Studies in Advanced Mathematics 44), Cambridge University Press (Cambridge, 1995).Google Scholar
McCann, R. J., A convexity principle for interacting gases. Adv. Math. 128(1) 1997, 153179.CrossRefGoogle Scholar
Mendel, M. and Naor, A., Ultrametric skeletons. Proc. Natl. Acad. Sci. USA 110(48) 2013, 1925619262 ; doi:10.1073/pnas.1202500109.Google Scholar
Mendel, M. and Naor, A., Ultrametric subsets with large Hausdorff dimension. Invent. Math. 192(1) 2013, 154.Google Scholar
Naor, A., An introduction to the Ribe program. Jpn. J. Math. 7(2) 2012, 167233.Google Scholar
Villani, C., Optimal Transport, Old and New (Grundlehren der Mathematischen Wissenschaften 338), Springer (Berlin, Heidelberg, 2009).Google Scholar