Distortion from spheres into Euclidean spaces
Pith reviewed 2026-05-22 21:54 UTC · model grok-4.3
The pith
Any map from the round n-sphere of radius r into Euclidean n-space must additively distort distances by at least πr divided by 1 plus the square root of 1 minus a term that depends on the parity of n.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Any function from the round n-sphere of radius r into Euclidean n-space must distort the metric additively by at least πr / (1 + sqrt(1 - 2/(n+2))) if n is even and πr / (1 + sqrt(1 - 2(n+2)/((n+1)(n+3)))) if n is odd. This lower bound is obtained by assuming a smaller distortion, building an associated upper-semicontinuous set-valued map with convex values, and deriving a contradiction to Granas' fixed-point theorem.
What carries the argument
Granas' fixed-point theorem for upper semicontinuous set-valued maps with convex values on the sphere, used to produce a fixed point that encodes the distortion lower bound.
If this is right
- No isometric embedding of the round n-sphere into Euclidean n-space exists for any finite n.
- The bound is strictly positive and can be computed explicitly for each fixed n.
- The same fixed-point argument yields distortion lower bounds for other maps whose domains admit a Borsuk-Ulam-type theorem.
- For even n the expression simplifies to a single closed form; for odd n it involves the product (n+1)(n+3).
Where Pith is reading between the lines
- The construction may extend to give distortion bounds for maps from the sphere into Euclidean spaces of dimension close to n.
- Equality cases, if they exist, would require maps that saturate the fixed-point condition derived from the sphere's antipodal symmetry.
Load-bearing premise
The set-valued map constructed from the sphere and the candidate distortion function satisfies the hypotheses of Granas' fixed-point theorem.
What would settle it
An explicit continuous map from the n-sphere of radius r to R^n whose additive distortion is strictly smaller than the stated bound for that n.
read the original abstract
Any function from a round $n$-dimensional sphere of radius $r$ into $n$-dimensional Euclidean space must distort the metric additively by at least $\displaystyle \frac{\pi r}{1 + \sqrt{1 - \frac{2}{n+2}}}$ if $n$ is even and $\displaystyle \frac{\pi r}{1 + \sqrt{1 - \frac{2(n+2)}{(n+1)(n+3)}}}$ if $n$ is odd. This is proved using a fixed-point theorem of Granas that generalizes the classical theorem of Borsuk-Ulam to set-valued functions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that any continuous map f from the round n-sphere S^n(r) of radius r into Euclidean n-space R^n must satisfy an additive distortion lower bound of πr / (1 + sqrt(1 - 2/(n+2))) when n is even and πr / (1 + sqrt(1 - 2(n+2)/((n+1)(n+3)))) when n is odd. The proof proceeds by constructing a set-valued map from the sphere and a candidate distortion function, then invoking Granas' generalization of the Borsuk-Ulam theorem to obtain a fixed point that forces the claimed bound.
Significance. If the set-valued map is shown to satisfy the hypotheses of Granas' theorem, the result would supply explicit, parity-dependent lower bounds on additive metric distortion for sphere-to-Euclidean maps. This is of interest in metric geometry as a quantitative strengthening of topological embedding obstructions, and the use of a fixed-point theorem to derive concrete formulas is a positive feature of the approach.
major comments (1)
- [proof] The central argument rests on applying Granas' theorem to a set-valued map built from S^n(r) and the candidate distortion function. The manuscript states that the theorem is invoked but provides neither the explicit definition of the set-valued map nor any verification that it is upper semicontinuous with nonempty, convex, closed values on the appropriate domain. Without these checks, the fixed-point conclusion does not follow and the lower-bound formulas remain unsupported (see the proof section following the abstract).
Simulated Author's Rebuttal
We thank the referee for the careful reading and for identifying the gap in the proof presentation. We address the single major comment below.
read point-by-point responses
-
Referee: [proof] The central argument rests on applying Granas' theorem to a set-valued map built from S^n(r) and the candidate distortion function. The manuscript states that the theorem is invoked but provides neither the explicit definition of the set-valued map nor any verification that it is upper semicontinuous with nonempty, convex, closed values on the appropriate domain. Without these checks, the fixed-point conclusion does not follow and the lower-bound formulas remain unsupported (see the proof section following the abstract).
Authors: We agree that the submitted manuscript invokes Granas' theorem without supplying the explicit definition of the set-valued map or verifying upper semicontinuity together with the nonempty, convex, closed-value conditions. In the revised version we will insert a dedicated subsection that (i) defines the set-valued map explicitly in terms of the sphere and the candidate distortion function, (ii) proves the required topological properties, and (iii) confirms that Granas' hypotheses are satisfied, thereby justifying the fixed-point conclusion and the stated lower bounds. revision: yes
Circularity Check
No circularity; central bound obtained by applying external Granas theorem to an independently constructed map
full rationale
The derivation constructs a set-valued map on the sphere using a candidate additive distortion function and invokes Granas' fixed-point theorem (an external result generalizing Borsuk-Ulam) to obtain the lower bound. No equation or step reduces by definition to its own inputs, no parameter is fitted to data and then renamed a prediction, and no load-bearing premise rests on a self-citation chain. The argument is self-contained against the external theorem once the map's upper semicontinuity and convex-valuedness are verified, which the paper treats as a separate verification step rather than a tautology.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Granas' fixed-point theorem for set-valued maps generalizing Borsuk-Ulam
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.