English

Distortion from spheres into Euclidean spaces

Metric Geometry 2026-05-01 v3 General Topology

Abstract

Any function from a round nn-dimensional sphere of radius rr into nn-dimensional Euclidean space must distort the metric additively by at least πr1+12n+2\displaystyle \frac{\pi r}{1 + \sqrt{1 - \frac{2}{n+2}}} if nn is even and πr1+12(n+2)(n+1)(n+3)\displaystyle \frac{\pi r}{1 + \sqrt{1 - \frac{2(n+2)}{(n+1)(n+3)}}} if nn is odd. This is proved using a fixed-point theorem of Granas that generalizes the classical theorem of Borsuk-Ulam to set-valued functions.

Keywords

Cite

@article{arxiv.2504.02276,
  title  = {Distortion from spheres into Euclidean spaces},
  author = {James Dibble},
  journal= {arXiv preprint arXiv:2504.02276},
  year   = {2026}
}

Comments

10 pages; expanded Section 3 to add the details of the proof of Corollary 3.3; corrected "circumcenter'' and "circumradius'' to "Chebyshev center'' and "Chebyshev radius,'' respectively; many other minor corrections and edits

R2 v1 2026-06-28T22:44:46.912Z