Related papers: Snowflake universality of Wasserstein spaces

Let $\H$ denote the discrete Heisenberg group, equipped with a word metric $d_W$ associated to some finite symmetric generating set. We show that if $(X,\|\cdot\|)$ is a $p$-convex Banach space then for any Lipschitz function $f:\H\to X$…

Let $(X,d,\mathfrak{m})$ be a metric measure space. The study of the Wasserstein space $(\mathbb{P}_p(X),\mathbb{W}_p)$ associated to $X$ has proved useful in describing several geometrical properties of $X.$ In this paper we focus on the…

Persistence diagrams are objects that play a central role in topological data analysis. In the present article, we investigate the local and global geometric properties of spaces of persistence diagrams. In order to do this, we construct a…

Let $M_p(X,T)$ denote the Markov type $p$ constant at time $T$ of a metric space $X$, where $p \ge 1$. We show that $M_p(Y,T) \le M_p(X,T)$ in each of the following cases: (a)$X$ and $Y$ are geodesic spaces and $Y$ is covered by $X$ via a…

The main question studied in this article may be viewed as a nonlinear analogue of Dvoretzky's theorem in Banach space theory or as part of Ramsey theory in combinatorics. Given a finite metric space on n points, we seek its subspace of…

Motivated by Kloeckner's result on the isometry group of the quadratic Wasserstein space $\mathcal{W}_2\left(\mathbb{R}^n\right)$, we describe the isometry group $\mathrm{Isom}\left(\mathcal{W}_p (E)\right)$ for all parameters $0 < p <…

It is known that if finite subsets of a locally finite metric space $M$ admit $C$-bilipschitz embeddings into $\ell_p$ $(1\le p\le \infty)$, then for every $\epsilon>0$, the space $M$ admits a $(C+\epsilon)$-bilipschitz embedding into…

A classical theorem, mainly due to Aleksandrov and Pogorelov, states that any Riemannian metric on $S^2$ with curvature $K>-1$ is induced on a unique convex surface in $H^3$. A similar result holds with the induced metric replaced by the…

We investigate the stability of the Wasserstein distance, a metric structure on the space of probability measures arising from the theory of optimal transport, under metric ultralimits. We first show that if $(X_{i},d_{i})_{i\in\mathbb{N}}$…

We study finite subsets of $\ell_p$ and show that, up to nowhere dense and Haar null complement, all of them embed isometrically into any Banach space that uniformly contains the spaces $\ell_p^n$, $n \in \mathbb{N}$.

For every couple of Hausdorff functions $ \psi$ and $\varphi $ verifying some mild assumptions, there exists a compact subset $ K $ of the Baire space such that the $ \varphi$-Hausdorff measure and the $ \psi$-packing measure on $ K$ are…

$ \renewcommand{\subset}{\subseteq} \newcommand{\N}{\mathbb N} $For $p\in [2,\infty)$ the metric $X_p$ inequality with sharp scaling parameter is proven here to hold true in $L_p$. The geometric consequences of this result include the…

We show, following W. Holsztynski, that there exists a continuous metric d on the set of real numbers R such that any finite metric space is isometrically embeddable into (R,d).

We study the continuity equation on the metric measure space $(\mathcal{P}_p(X),W_p,Q)$, when $X$ is either the Euclidean space or a compact, oriented, and boundaryless Riemannian manifold, for some suitable reference measure $Q \in…

Given $p \in (1,\infty)$, let $(\operatorname{X},\operatorname{d},\mu)$ be a metric measure space with uniformly locally doubling measure $\mu$ supporting a weak local $(1,p)$-Poincar\'e inequality. For each $\theta \in [0,p)$, we…

Enflo constructed a countable metric space that may not be uniformly embedded into any metric space of positive generalized roundness. Dranishnikov, Gong, Lafforgue and Yu modified Enflo's example to construct a locally finite metric space…

The Wasserstein distance provides a notion of dissimilarities between probability measures, which has recent applications in learning of structured data with varying size such as images and text documents. In this work, we study the…

Let $X$ be an $n$-point subset of a Euclidean space and $0 < a < 1$. The classical theorem of Schoenberg implies that the snowflake space $X^a$ can be isometrically embedded into Euclidean space. In the paper we show that points in the…

In this paper we study the isometric rigidity of certain classes of metric spaces with respect to the $p$-Wasserstein space. We prove that spaces that split a separable Hilbert space are not isometrically rigid with respect to…

We prove that every proper ultrametric space isometrically embeds into $\ell_p$ for any $p\geq 1$. As an application we discuss an $\ell_p$-version of nonlinear Dvoretzky's theorem.