Extreme points of the distance function on convex surfaces

Source abstract

We first see that, in the sense of Baire categories, many convex surfaces have quite large cut loci and infinitely many relative maxima of the distance function from a point. Then we find that, on any convex surface, all these extreme points lie on a single subtree of the cut locus, with at most three endpoints. Finally, we confirm (both in the sense of measure and in the sense of Baire categories) Steinhaus’ conjecture that “almost all" points admit a single farthest point on the surface.