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

Refreshed
Claimed progress

A reader-submitted proof claims a positive answer, but no independent source has verified it.

The problem asks whether ℓ1\ell^1 has metric Markov cotype 22. 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 ℓ1\ell^1 fail to have metric Markov cotype; this does not settle ℓ1\ell^1 itself.
  • Metric Markov cotype 22 for ℓ1\ell^1 would imply finiteness of e(ℓ2,ℓ1)e(\ell_2,\ell_1).

September 10, 2026 community submission

A submitted proof argues that real and complex L1L_1 spaces have metric Markov cotype 22, 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

Solutions 1

ProofWe prove that real and complex L1 spaces have metric Markov cotype 2 with explicit universal constants.See full solutionHide full solution

We prove that real and complex L1 spaces have metric Markov cotype 2 with explicit universal constants.

  • Metric_Markov_Cotype_L1_Polished.pdf312,819 bytesOpen