Related papers: Isometric Rigidity of compact Wasserstein spaces

An action of a compact quantum group on a compact metric space $(X,d)$ is (D)-isometric if the distance function is preserved by a diagonal action on $X\times X$. We show that an isometric action in this sense has the following additional…

Using tools from the theory of optimal transport, we establish several results concerning isometric actions of amenable topological groups with potentially unbounded orbits. Specifically, suppose $d$ is a compatible left-invariant metric on…

We consider rigidity properties of compact symmetric spaces $X$ with metric $g_0$ of rank one. Suppose $g$ is another Riemannian metric on $X$ with sectional curvature $\kappa$ bounded by $0 \leq \kappa \leq 1$. If $g$ equals $g_0$ outside…

Borel probability measures living on metric spaces are fundamental mathematical objects. There are several meaningful distance functions that make the collection of the probability measures living on a certain space a metric space. We are…

Let $M$ be a smooth, compact, connected, oriented Riemannian manifold, and let $\imath: M \to \mathbb R^d$ be an isometric embedding. We show that a Sobolev map $f: M \to M$ which has the property that the differential $df(q)$ is close to…

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…

In this essay, we discuss the notion of optimal transport on geodesic measure spaces and the associated (2-)Wasserstein distance. We then examine displacement convexity of the entropy functional on the space of probability measures. In…

The Wasserstein distance $\mathcal{W}_p$ is an important instance of an optimal transport cost. Its numerous mathematical properties as well as applications to various fields such as mathematical finance and statistics have been well…

We study the reach (in the sense of Federer) of the natural isometric embedding $X\hookrightarrow W_p(X)$ of $X$ inside its $p$-Wasserstein space, where $(X,\operatorname{dist})$ is a geodesic metric space. We prove that if a point $x\in X$…

In this paper we investigate properties of metric projections onto specific closed and geodesically convex proper subsets of Wasserstein spaces $(\mathcal{P}_p(\mathbf{R}^d),W_p).$ When $d=1$, as $(\mathcal{P}_2(\mathbf{R}),W_2)$ is…

This paper connects nonpositive sectional curvature of a Riemannian manifold with the displacement convexity of the variance functional on the space $P(M)$ of probability measures over $M$. We show that $M$ has nonpositive sectional…

Given a family of probability measures in P(X), the space of probability measures on a Hilbert space X, our goal in this paper is to highlight one ore more curves in P(X) that summarize efficiently that family. We propose to study this…

A metric thickening of a given metric space $X$ is any metric space admitting an isometric embedding of $X$. Thickenings have found use in applications of topology to data analysis, where one may approximate the shape of a dataset via the…

We prove isometric rigidity for $p$-Wasserstein spaces over finite-dimensional tori and spheres for all $p$. We present a unified approach to proving rigidity that relies on the robust method of recovering measures from their Wasserstein…

We study rays and co-rays in the Wasserstein space $P_p(\mathcal{X})$ ($p > 1$) whose ambient space $\mathcal{X}$ is a complete, separable, non-compact, locally compact length space. We show that rays in the Wasserstein space can be…

We prove general upper estimates for the distance between two Borel probability measures in Wasserstein metric in terms of the Fourier transforms of the measures. We work in compact manifolds including the torus, the Euclidean unit sphere,…

Motivated by persistent homology and topological data analysis, we consider formal sums on a metric space with a distinguished subset. These formal sums, which we call persistence diagrams, have a canonical 1-parameter family of metrics…

In this paper, we prove that a metric measure space which has at least one open set isometric to an interval, and for which the (possibly non-unique) optimal transport map exists from any absolutely continuous measure to an arbitrary…

We give necessary and sufficient conditions that show that both the group of isometries and the group of measure-preserving isometries are Lie groups for a large class of metric measure spaces. In addition we study, among other examples,…

This work studies an explicit embedding of the set of probability measures into a Hilbert space, defined using optimal transport maps from a reference probability density. This embedding linearizes to some extent the 2-Wasserstein space,…