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.

Directional Differentiability of the Metric Projection in Bochner Spaces

Directional Differentiability of the Generalized Metric Projection in Banach Spaces

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

Frechet differentiability of the metric projection operator in Banach spaces

Generalized differentiability of the metric projection operator in Hilbert spaces

Mordukhovich Derivatives of the Metric Projection Operator in Uniformly Convex and Uniformly Smooth Banach Spaces

Mordukhovich derivatives of the set-valued metric projection operator in general Banach spaces

Mordukhovich Derivatives of Metric Projection Operator in Hilbert Spaces

Continuity of Metric Projection Operator from C[0, 1] onto Pn with Applications to Mordukhovich Derivatives

Covering Constants for Metric Projection Operator with Applications to Stochastic Fixed-Point Problems

DIFFERENTIAL PROPERTIES OF THE METRIC PROJECTORS OVER THE EPIGRAPH OF THE WEIGHTED l(1) AND l(infinity) NORMS

Nearest and Farthest Points in Spaces of Curvature Bounded Below

On nonexpansiveness of metric projection operators on Wasserstein spaces

Some Results on the Strict Fréchet Differentiability of the Metric Projection Operator in Hilbert Spaces

The Bregman Distance, Approximate Compactness and Convexity of Chebyshev Sets in Banach Spaces

The Strong Convexity Supporting Condition and the Lipschitz Condition for the Metric Projection

Subdifferentials of Perturbed Distance Functions in Banach Spaces

Regular Coderivative and Graphical Derivative of the Metric Projection onto closed Balls in Hilbert spaces

A unified analysis of convex and non‑convex 𝓛p‑ball projection problems