Family 332Functional analysisNo LeanNot yet digested
Metric Markov cotype of ℓ and Hilbert-space Lipschitz extension
Proves that real ℓ has metric Markov cotype two, answering Mendel and Naor's question. Consequently, every Lipschitz map from an arbitrary subset of a real Hilbert space into ℓ extends to the whole space with a universal multiplicative loss in its Lipschitz constant, resolving Ball's extension problem for this target.
Manuscripts in this family · 1
Metric Markov Cotype Two of ℓ
Oct 5, 2026·l1-markov-cotype.pdf
We prove that the real Banach space ℓ has metric Markov cotype two, answering a question of Mendel and Naor. As a consequence, every Lipschitz map from an arbitrary subset of a real Hilbert space into ℓ extends to the whole Hilbert space with a universal multiplicative loss in its Lipschitz constant, resolving Ball's extension problem for this target.