Distortion from spheres into Euclidean spaces
arXiv:2504.02276
Abstract
Any function from a round -dimensional sphere of radius into -dimensional Euclidean space must distort the metric additively by at least if is even and if is odd. This is proved using a fixed-point theorem of Granas that generalizes the classical theorem of Borsuk-Ulam to set-valued functions.
10 pages; added acknowledgments; a few other, minor edits