Related papers: On the reach of isometric embeddings into Wasserst…

The aim of this short paper is to offer a complete characterization of all (not necessarily surjective) isometric embeddings of the Wasserstein space $\mathcal{W}_p(\mathcal{X})$, where $\mathcal{X}$ is a countable discrete metric space and…

Our purpose in this paper is to study isometries and isometric embeddings of the $p$-Wasserstein space $\mathcal{W}_p(\mathbb{H}^n)$ over the Heisenberg group $\mathbb{H}^n$ for all $p>1$ and for all $n\geq 1$. First, we create a link…

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…

Optimal transport enables one to construct a metric on the set of (sufficiently small at infinity) probability measures on any (not too wild) metric space X, called its Wasserstein space W(X). In this paper we investigate the geometry of…

In this paper, we study isometries of $p$-Wasserstein spaces. In our first result, for every complete and separable metric space $X$ and for every $p\geq1$, we construct a metric space $Y$ such that $X$ embeds isometrically into $Y$, and…

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 isometric embeddings of a Euclidean space or a Heisenberg group into a higher dimensional Heisenberg group, where both the source and target space are equipped with an arbitrary left-invariant homogeneous distance that is not…

We prove an equivalence between open questions about the embeddability of the space of persistence diagrams and the space of probability distributions (i.e.~Wasserstein space). It is known that for many natural metrics, no coarse embedding…

We study the Wasserstein (or earthmover) metric on the space $P(X)$ of probability measures on a metric space $X$. We show that, if a finite metric space $X$ embeds stochastically with distortion $D$ in a family of finite metric trees, then…

For a Polish space $X$, we define the Shape space $\mathcal{S}_p(X)$ to be the Wasserstein space $W_p(X)$ modulo the action of a subgroup $G$ of the isometry group $ISO(X)$ of $X$, where the action is given by the pushforward of measures.…

The aim of this paper is to prove that the $p$-Wasserstein space $\mathcal{W}_p(X)$ is isometrically rigid for all $p\geq 1$ whenever $X$ is a countable graph metric space. As a consequence, we obtain that for every countable group $H$ and…

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…

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 <…

A standard way of approximating or discretizing a metric space is by taking its Rips complexes. These approximations for all parameters are often bound together into a filtration, to which we apply the fundamental group or the first…

We study the geometric structure of the space of random measures $\mathcal{P}_p(\mathcal{P}_p(X))$, endowed with the Wasserstein on Wasserstein metric, where $(X, d)$ is a complete separable metric space. In this setting, we prove a metric…

We prove that for a metric space $X$ and a finite group $G$ acting on $X$ by isometries, if $X$ coarsely embeds into a Hilbert space, then so does the quotient $X/G$. A crucial step towards our main result is to show that for any integer $k…

We introduce the observable Wasserstein distance, a framework for deriving lower bounds on the Wasserstein distance between probability measures on Polish metric spaces, designed to bypass the computational intractability of exact optimal…

Recently Kloeckner described the structure of the isometry group of the quadratic Wasserstein space $\mathcal{W}_2\left(\mathbb{R}^n\right)$. It turned out that the case of the real line is exceptional in the sense that there exists an…

For $p\in (1,\infty)$ let $\mathscr{P}_p(\mathbb{R}^3)$ denote the metric space of all $p$-integrable Borel probability measures on $\mathbb{R}^3$, equipped with the Wasserstein $p$ metric $\mathsf{W}_p$. We prove that for every…

We study the Wasserstein metric $W_p$, a notion of distance between two probability distributions, from the perspective of Fourier Analysis and discuss applications. In particular, we bound the Earth Mover Distance $W_1$ between the…