On nonexpansiveness of metric projection operators on Wasserstein spaces

arXiv2009.01370MaRDI QIDQ6504052FDOQ6504052

Abstract: In this note we investigate properties of metric projection operators onto closed and geodesically convex proper subsets of Wasserstein spaces

(m a t h c a l P_{p} (m a t h b f R^{d}), W_{p}) .

In our study we focus on the particular subset of probability measures having densities uniformly bounded by a given constant. When

d = 1

,

(m a t h c a l P_{2} (m a t h b f R), W_{2})

is isometrically isomorphic to a flat space with a Hilbertian structure, and so the corresponding projection operators are nonexpansive. We prove a general "weak nonexpansiveness" property in arbitrary dimension which provides (among other things) a direct proof of nonexpansiveness when

d = 1

. When

d > 1

, the space

(m a t h c a l P_{2} (m a t h b f R^{d}), W_{2})

is non-negatively curved in the sense of Alexandrov. So, the question of nonexpansiveness of projection operators on

(m a t h c a l P_{p} (m a t h b f R^{d}), W_{p})

is more subtle. We show the failure of this property for

p i n (1, p (d))

and we give a quantitative asymptotic estimate on

p (d) > 1

as

d o i n f t y

. This result provides a heuristic argument for the non-negative curvature of

(m a t h c a l P_{p} (m a t h b f R^{d}), W_{p})

when

p i n (1, p (d))

. Further geometric properties of independent interest are also discussed.

This page was built for publication: On nonexpansiveness of metric projection operators on Wasserstein spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6504052)