On isometric embeddings of Wasserstein spaces -- the discrete case

Abstract

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 $0<p<\infty$ is any parameter value. Roughly speaking, we will prove that any isometric embedding can be described by a special kind of $\mathcal{X}\times (0,1]$-indexed family of nonnegative finite measures. Our result implies that a typical non-surjective isometric embedding of ${\mathcal{W}}_p(\mathcal{X})$ splits mass and does not preserve the shape of measures. In order to stress that the lack of surjectivity is what makes things challenging, we will prove alternatively that ${\mathcal{W}}_p(\mathcal{X})$ is isometrically rigid for all $0<p<\infty$.

arXiv comment11 pages, 1 figure

References in corpus (4)

• An elementary proof for the non-bijective version of Wigner's theorem
• A geometric study of Wasserstein spaces: Hadamard spaces
• Maps on probability measures preserving certain distances --- a survey and some new results
• Surjective Kuiper isometries

Cited by in corpus (8)

• Isometric study of Wasserstein spaces --- the real line
• The isometry group of Wasserstein spaces: the Hilbertian case
• Quantum Wasserstein distance based on an optimization over separable states
• Isometric rigidity of Wasserstein tori and spheres
• Quantum Wasserstein isometries on the qubit state space
• Isometric rigidity of Wasserstein spaces over Euclidean spheres
• Isometric Rigidity of compact Wasserstein spaces
• Isometric rigidity of the Wasserstein space ${\mathcal{W}}_1(\mathbf{G})$ over Carnot groups