Result 332, Functional analysis

Metric Markov cotype of ℓ1 and Hilbert-space Lipschitz extension

Proves that real ℓ1 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 ℓ1 extends to the whole space with a universal multiplicative loss in its Lipschitz constant, resolving Ball's extension problem for this target.

Proof

The bigger picture

Why it matters

Can a map defined on only part of a space be filled in everywhere while keeping its stretching under control? The manuscript reports that this is possible from real Hilbert spaces into the sequence space ℓ1.

What changes?

The manuscript reports that real ℓ1, the space of real sequences whose absolute values have a finite sum, has metric Markov cotype two, a geometric condition involving random walks. Consequently, every Lipschitz map, which stretches distances by at most a fixed factor, from any subset of a real Hilbert space, a space with Euclidean-style distance, extends to that entire space. The stretching factor increases by at most a universal multiplier, independent of the map, subset or dimension.

What does that help mathematicians do?

This rules out families of such maps whose necessary extension loss grows without bound as the dimension or chosen subset varies. Researchers can therefore prescribe ℓ1-valued data on an arbitrary subset, subject to a Lipschitz bound, and deduce the existence of a globally defined map retaining comparable control. The conclusion resolves Ball's extension problem specifically for this target, not for arbitrary spaces of output values.

Are there practical applications?

The immediate value is foundational: the result connects a random-walk condition on ℓ1 to the ability to extend distance-controlled maps. It supplies an existence guarantee for extending sequence-valued assignments, with distances measured by summing absolute coordinate differences. The supplied abstract does not describe a computational procedure or establish practical performance for constructing those extensions.

This section was generated by GPT-6 Astra Medium. This explanation is based on the result summary and manuscript abstracts below. This context is separate from OpenAI's source text.

Manuscript

Metric Markov Cotype Two of ℓ1

October 5, 2026 9 pages

We prove that the real Banach space ℓ1 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 ℓ1 extends to the whole Hilbert space with a universal multiplicative loss in its Lipschitz constant, resolving Ball's extension problem for this target.

PDF LaTeX source
Cite (BibTeX) 
@misc{OAI:Metric-Markov-Cotype-Two-of-l1-October-5-2026,
  author = {{OpenAI}},
  title = {{Metric Markov Cotype Two of $\ell_1$}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Metric-Markov-Cotype-Two-of-l1-October-5-2026/l1-markov-cotype.pdf}{OAI:Metric-Markov-Cotype-Two-of-l1-October-5-2026}},
  year = {2026}
}

Data from github.com/openai/math at commit adc7f12, committed October 6, 2026 at 21:58 UTC, last checked for changes about 9 hours ago. Titles, subjects, summaries, abstracts and Lean notes are OpenAI's; page counts are read from the PDFs. The map, related results, search, kinds of results and the named-problem index are Emergent Mind's, built with text embeddings and an LLM, and may contain errors.

An Emergent Mind Labs project. Emergent Mind is not affiliated with OpenAI. None of these results has been peer reviewed. Cite the manuscripts themselves, using the BibTeX on each result's page.