geometry-topology / Metric geometry; bi-Lipschitz embeddings and dimension reduction

The Lang-Plaut problem: does every doubling subset of Hilbert space bi-Lipschitz embed in some Euclidean space?

Claims a negative answer: a fixed doubling subset of ℓ2\ell_2 (doubling constant at most 76800) with no bi-Lipschitz embedding into any Rk\mathbb R^k; more generally every infinite-dimensional real Banach space contains a compact set of universally bounded doubling constant with no bi-Lipschitz embedding into any finite-dimensional normed space, and the same metric embeds isometrically in every LpL_p, 1≤p<∞1\le p<\infty. It does NOT bear on snowflaked embeddings (Assouad). Priority note: Schioppa announced a negative answer in 2017 (arXiv:1703.10265) but withdrew it.

38Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologySep 25, 2026Significance 38/100Registry: lean checked

The Lang-Plaut problem: does every doubling subset of Hilbert space bi-Lipschitz embed in some Euclidean space?

Prior state unknown→disproved

Claims a negative answer: a fixed doubling subset of ℓ2\ell_2 (doubling constant at most 76800) with no bi-Lipschitz embedding into any Rk\mathbb R^k; more generally every infinite-dimensional real Banach space contains a compact set of universally bounded doubling constant with no bi-Lipschitz embedding into any finite-dimensional normed space, and the same metric embeds isometrically in every LpL_p,…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Claims a negative answer: a fixed doubling subset of ℓ2\ell_2 (doubling constant at most 76800) with no bi-Lipschitz embedding into any Rk\mathbb R^k; more generally every infinite-dimensional real Banach space contains a compact set of universally bounded doubling constant with no bi-Lipschitz embedding into any finite-dimensional normed space, and the same metric embeds isometrically in every LpL_p, 1≤p<∞1\le p<\infty. It does NOT bear on snowflaked embeddings (Assouad). Priority note: Schioppa announced a negative answer in 2017 (arXiv:1703.10265) but withdrew it.

Claims a negative answer: a fixed doubling subset of ℓ2\ell_2 (doubling constant at most 76800) with no bi-Lipschitz embedding into any Rk\mathbb R^k; more generally every infinite-dimensional real Banach space contains a compact set of universally bounded doubling constant with no bi-Lipschitz embedding into any finite-dimensional normed space, and the same metric embeds isometrically in every LpL_p, 1≤p<∞1\le p<\infty. It does NOT bear on snowflaked embeddings (Assouad). Priority note: Schioppa announced a negative answer in 2017 (arXiv:1703.10265) but withdrew it.

Recorded attempts

Evidence graph

Connected research record

The Lang-Plaut problem: does every doubling subset of Hilbert space bi-Lipschitz embed in some Euclidean space? — Mathematical Frontier Network