Manuscript OpenAI@2026-10-07 · OpenAI.tex · remark · 6a931f8f
Remark: Family 098. A negative answer to the Lang–Plaut problem
Family claims › Convex and metric geometry · lines 760–765
OpenAI@2026-10-07#rem:oai-098
Every infinite-dimensional real Banach space contains a compact doubling set that admits no bi-Lipschitz embedding into any finite-dimensional normed space. The doubling constant is universal. This answers the Lang–Plaut problem negatively, even for compact subsets of Hilbert space.
The authors are OpenAI. This companion does not verify the proof. The claim is not a theorem of the Enter series and not a premise of any registered sheet. It does not close O.1. O.1 stays NOT_CLOSED. It is not a de Sitter state and not the QdS external-leg scheme. No quantum coefficient is admitted. No compilation is asserted.
Nearby in this section
- remark: Remark: Family 087. The Mahler conjectures and symplectic width
- remark: Remark: Family 088. Petty's projection-volume conjecture and simplex counterexamples
- remark: Remark: Family 089. Bounded-distortion L 1 embeddings of planar and bounded-treewidth graphs
- remark: Remark: Family 090. Universal optimality of the triangular lattice
- remark: Remark: Family 091. The logarithmic Brunn–Minkowski conjecture
- remark: Remark: Family 092. The optimal order of convex-body covering density
- remark: Remark: Family 093. Dimension-free logarithmic Sobolev inequality for subgaussian log-concave measures
- remark: Remark: Family 094. Subpolynomial dimension reduction in L p