Dense uniqueness and dense nonuniqueness of Fréchet means

Abstract: From previous results it follows that probability distributions on metric spaces featuring unique Fréchet means are dense among measures admitting means in both the quadratic Wasserstein metric and the total variation metric. Additionally, we show that the converse also holds on complete finite-dimensional noncontractible Alexandrov spaces with curvatures bounded from below, which encompass compact manifolds without boundaries and nonmanifold shape spaces: Probability distributions featuring nonunique Fréchet means are also dense in both the Wasserstein metric and the total variation metric. Moreover, in either metric, no nonempty open set of probability measures admits a continuous selection of means. This sharpens a previous result on zero reach of the Dirac embedding. Our argument combines cut-locus avoidance for atoms with a topological obstruction. For Riemannian manifolds, all of our conclusions hold for all exponents $1 < p < \infty$, also.