Finite cotype problem for ℓ2⊗^πℓ2⊗^πℓ2\ell_{2}\widehat\otimes_{\pi}\ell_{2}\widehat\otimes_{\pi}\ell_{2}

Does ℓ2⊗^πℓ2⊗^πℓ2\ell_{2}\widehat\otimes_{\pi}\ell_{2}\widehat\otimes_{\pi}\ell_{2} have finite cotype?

References

References

J.~Bri"et, A.~Naor, and O.~Regev, \emph{Locally decodable codes and the failure of cotype for projective tensor products}, Electron. Res. Announc. Math. Sci. \textbf{19} 20122012, 120--130.

Progress summary

Refreshed
Open

The question remains open publicly; a one-line community submission claims the answer is no but gives no proof.

The problem asks whether the threefold projective tensor product of Hilbert sequence spaces has finite cotype. The public literature explicitly described this as open, and no verified resolution was found.

Known results

  • Briët, Naor, and Regev (2012) proved failure of finite cotype for ℓp1⊗^ℓp2⊗^ℓp3\ell_{p_{1}}\widehat{\otimes}\ell_{p_{2}}\widehat{\otimes}\ell_{p_{3}} when 1p1+1p2+1p3≤1\frac{1}{p_{1}}+\frac{1}{p_{2}}+\frac{1}{p_{3}}\leq 1; the present case has sum 32\frac{3}{2}.
  • A 2016 paper on projective tensor products stated that the ℓ2\ell_{2} threefold case remained unknown.

Community submission (unverified), September 13, 2026

A submitted one-line claim says the space has no finite cotype. It supplies no proof or supporting reference, so this is not evidence of a resolution.

Current status (as of September 2026): The question remains unsettled; the classical parameter-range results do not cover ℓ2⊗^πℓ2⊗^πℓ2\ell_{2}\widehat{\otimes}_{\pi}\ell_{2}\widehat{\otimes}_{\pi}\ell_{2}, and the September 13, 2026 community claim is unverified.

Sources

Solutions 1

CounterexampleNo finite cotypeSee full solutionHide full solution

No finite cotype

  • triple_projective_banach_cotype_polished.pdf418,233 bytesOpen