Does \ell^1 have metric-Markov-cotype-2?
Does \ell^1 have metric-Markov-cotype-2?
References
References
K. Ball, Markov chains, Riesz transforms and Lipschitz maps, Geom. Funct. Anal. 2 (1992), no. 2, 137–172.
Progress summary
A reader-submitted proof claims a positive answer, but no independent source has verified it.
The problem asks whether has metric Markov cotype . Published work records this as an open question and notes that a positive answer would resolve a longstanding Lipschitz-extension problem attributed to Ball.
Known results
- Some closed subspaces of fail to have metric Markov cotype; this does not settle itself.
- Metric Markov cotype for would imply finiteness of .
September 10, 2026 community submission
A submitted proof argues that real and complex spaces have metric Markov cotype , with explicit universal constants. The argument is unverified and has no independently checkable supporting source.
Current status (as of September 2026): The question remains open in the published record, while a community submission claims a positive answer that is unverified.
Sources
- ar5iv.labs.arxiv.org
- mathoverflow.net
- community.openai.com
- cdn.openai.com
- deepmind.google
- community.openai.com
- quantamagazine.org
- community.openai.com
- www-cdn.anthropic.com
- arxiv.org
- arxiv.org
- ar5iv.labs.arxiv.org
- arxiv.org
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- web.math.princeton.edu
- openai.com
- tex.stackexchange.com
- mathstodon.xyz
- mathoverflow.net
- tug.org
- tex.stackexchange.com
- www1.claremontmckenna.edu
- liacs.leidenuniv.nl
- latex.org
- hpmuseum.org
- aclanthology.org
- mathstodon.xyz
Solutions 1
ProofWe prove that real and complex L1 spaces have metric Markov cotype 2 with explicit universal constants.See full solution
We prove that real and complex L1 spaces have metric Markov cotype 2 with explicit universal constants.
- Metric_Markov_Cotype_L1_Polished.pdfOpen