Geometry and topology · Oct 6, 2026

Subpolynomial dimension reduction in Lp

For every fixed 1<p<∞1\lt p\lt \infty and distortion D > 1, every n-point subset of real Lp embeds into ℓpd\ell_p^d with distortion at most D and dimension d=no(1)d=n^{o(1)}, answering Naor's sublinear-dimension question for p ≠ 2. In contrast, exact embeddings require worst-case dimension Θ(n2)\Theta(n^2) when p ≠ 2.

Contributors

Unreleased OpenAI model

AI systems: Unreleased OpenAI model

Sources