Zero Probability of the Cut Locus of a Fréchet Mean on a Riemannian Manifold

Abstract

We show that the cut locus of a Fréchet mean of a random variable on a connected and complete Riemanian manifold has zero probability, a result known previously in special cases and conjectured in general. In application, we rule out stickiness, while providing examples of nowhere smooth Fréchet functions and we discuss extensions of the statement to Fréchet $p$-means, for $p\ne 2$, as well as to noncomplete manifolds and more general metric spaces.