Abstract: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 isometrically isomorphic to a flat space with a Hilbertian structure, the corresponding projection operators are expected to be nonexpansive. We give a direct proof of this fact, relying on intrinsic analysis, which also implies nonexpansiveness in certain special cases in higher dimensions. When $d>1$, we show the failure of this property in two regimes: when $p>1$ is either small enough or large enough. Finally, we prove some positive curvature properties of Wasserstein spaces $(\mathcal{P}_p(\mathbf{R}^d),W_p)$ when $d\ge 2$ and $p\in(1,+\infty)$ are arbitrary: we show that Wasserstein spaces are nowhere locally Busemann NPC spaces, and they nowhere locally satisfy the so-called projection criterion. As a corollary of the former, they have nonnegative upper Alexandrov curvature, in a precise sense that we define here. In our analysis a particular subset of probability measures having densities uniformly bounded above by a given constant plays a special role.

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is about the nonexpansiveness of the metric projection operator in the Wasserstein space. Specifically, the author explores whether the projection operator $P_p^\Omega$ from $P_p(\Omega)$ to a specific closed and geodesically convex subset $K$ has nonexpansiveness. Nonexpansiveness means that for any $\mu, \nu\in P_p(\Omega)$, whether the following inequality is satisfied: \[W_p(P_p^\Omega[\mu], P_p^\Omega[\nu])\leq W_p(\mu, \nu)\] where $W_p$ is the $p$-Wasserstein distance. The paper mainly studies whether this property holds under different dimensions $d$ and different values of $p$, and explores the relationship between these properties and the curvature of the Wasserstein space. ### Main contributions 1. **Nonexpansiveness in the one - dimensional case**: - When $d = 1$, $(P_2(\mathbb{R}), W_2)$ is a flat space, so the projection operator $P_2^\mathbb{R}$ has nonexpansiveness. - For the case where $p\neq2$, the problem of nonexpansiveness is more complicated, but the paper provides some weakly - formed nonexpansiveness results. 2. **Nonexpansiveness in the high - dimensional case**: - When $d>1$, the paper proves that in some cases, the projection operator $P_p^\Omega$ does not have nonexpansiveness. Specifically, when $p > 1$ and $p$ is small enough or large enough, nonexpansiveness fails. - The paper constructs specific counterexamples to illustrate this point. 3. **Curvature properties of the Wasserstein space**: - The paper further studies the curvature properties of the Wasserstein space, especially whether they satisfy the Busemann NPC (non - positive curvature) condition. - The results show that for $d\geq2$ and $1\leq p\leq\infty$, the Wasserstein space is not a Busemann NPC space, which means that they have a positive upper - bound curvature. ### Key results - **Theorem 4.1**: When $p = 2$, the projection operator $P_2^\Omega$ has a certain weakly - formed nonexpansiveness. - **Proposition 4.5**: When $d>1$ and $p$ is small enough, the projection operator $P_p^\Omega$ does not have nonexpansiveness. - **Proposition 4.7**: When $d>1$ and $p$ is large enough, the projection operator $P_p^\Omega$ also does not have nonexpansiveness. - **Theorems 5.8 and 5.9**: The Wasserstein space is not a Busemann NPC space, which indicates that they have a positive upper - bound curvature. ### Method The paper proves these results by constructing specific examples and using techniques in optimal transport theory. Especially in the high - dimensional case, by choosing specific measures and support sets, the author shows that the projection operator does violate nonexpansiveness in some cases. Overall, this paper deeply explores the nonexpansiveness of the projection operator in the Wasserstein space and its relationship with the space curvature, providing a new perspective for understanding the geometric properties of these spaces.

On nonexpansiveness of metric projection operators on Wasserstein spaces

Isometric Rigidity of Metric Constructions with respect to Wasserstein Spaces

Wasserstein geometry and Ricci curvature bounds for Poisson spaces

On the geometry of Wasserstein barycenter I

Ultralimits of Wasserstein spaces and metric measure spaces with Ricci curvature bounded from below

On the reach of isometric embeddings into Wasserstein type spaces

Metric extrapolation in the Wasserstein space

Hilbert's projective metric for functions of bounded growth and exponential convergence of Sinkhorn's algorithm

Isometric rigidity of the Wasserstein space over the plane with the maximum metric

Generalized projections on general Banach spaces

On properties of the Generalized Wasserstein distance

Directional Differentiability of the Generalized Metric Projection in Hilbert spaces and Hilbertian Bochner spaces

Metric properties of boundary maps, Hilbert entropy and non-differentiability

Isometries and isometric embeddings of Wasserstein spaces over the Heisenberg group

On uniformly continuous surjections between $C_p$-spaces over metrizable spaces

Isometric rigidity of Wasserstein spaces over Euclidean spheres

Directional Differentiability of the Generalized Metric Projection in Banach Spaces

On the dimension of exceptional parameters for nonlinear projections, and the discretized Elekes-Rónyai theorem

Frechet differentiability of the metric projection operator in Banach spaces

Directional Differentiability of the Metric Projection in Bochner Spaces