OpenAI reports a doubling Hilbert set with no finite-dimensional bi-Lipschitz embedding

A subset of real Hilbert space has doubling constant at most 76,800 yet admits no bi-Lipschitz embedding into any finite-dimensional Euclidean space at any finite distortion.

Curated contributions 1

Understand the problem ↓

OpenAI reports a doubling Hilbert set with no finite-dimensional bi-Lipschitz embedding

  • Mathematics

A subset of real Hilbert space has doubling constant at most 76,800 yet admits no bi-Lipschitz embedding into any finite-dimensional Euclidean space at any finite distortion. Moreover, every infinite-dimensional real Banach space contains a compact doubling subset with the analogous obstruction and a universal doubling bound.

AI involvementAI-led
ImportanceMajor
Technical verificationFormal (Lean 4)
Human understandingFew

Understanding the problem

Read the background

A subset of real Hilbert space has doubling constant at most 76,800 yet admits no bi-Lipschitz embedding into any finite-dimensional Euclidean space at any finite distortion. Moreover, every infinite-dimensional real Banach space contains a compact doubling subset with the analogous obstruction and a universal doubling bound.

Why it matters

If correct, answers the Lang–Plaut dimension-reduction question negatively even in Hilbert space and extends the obstruction to all infinite-dimensional real Banach spaces.

What counts as progress

Must every doubling subset of Hilbert space embed bi-Lipschitzly in some finite-dimensional Euclidean space?

Website timeline

Publication dates and editorial changes.