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.

On the Metric Properties of Multimodal Interval Maps and C 2 Density of Axiom A

Large Derivatives, Backward Contraction and Invariant Densities for Interval Maps

Interval maps with dense periodicity

Decay of Geometry for Unimodal Maps: the C 2 Case

Interval maps quasi-symmetrically conjugated to a piecewise affine map

Robust and generic properties for piecewise continuous maps on the interval

Decay of geometry for unimodal maps: An elementary proof

An interpolation of metrics and spaces of metrics

Complex bounds for multimodal maps: bounded combinatorics

On the Regularity Problem of Complex Monge-Ampere Equations with Conical Singularities

On the Bergman Metric of Pseudoconvex Domains in A Complex Projective Space

On Almost Regular Mappings

On nonexpansiveness of metric projection operators on Wasserstein spaces

The Topological Complexity Of Cantor Attractors For Unimodal Interval Maps

The Artin-Mazur zeta function for interval maps

Metric mean dimension, Hölder regularity and Assouad spectrum

On the geometry of Wasserstein barycenter I

On the metric spaces of lattices and periodic point sets

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

Monotonicity of entropy for unimodal real quadratic rational maps

A Metric Fixed Point Theorem and Some of Its Applications