Dolorfino et al.'s bounded-hypercube conjecture for toric-code families

Let qq be a fixed prime power, and let {Pi}i\{P_i\}_i be an infinite family of toric codes: a sequence of nonempty integral convex polytopes with Pi[0,q2]niRniP_i\subseteq[0,q-2]^{n_i}\subseteq\mathbb{R}^{n_i}, nin_i\to\infty, and convergent sequences {d(Pi)}i\{d(P_i)\}_i and {R(Pi)}i\{R(P_i)\}_i. For an integral convex polytope PP, define

M(P):=max{m a unimodular affine transformation A such that A([0,1]m)P}.M(P):=\max\{m\mid\exists\text{ a unimodular affine transformation }A\text{ such that }A([0,1]^m)\subseteq P\}.

Dolorfino et al.'s bounded-hypercube conjecture. If {M(Pi)}i\{M(P_i)\}_i is bounded, then

R(Pi)0as i.R(P_i)\to0\quad\text{as }i\to\infty.

This conjecture would rule out good infinite families in the remaining case not covered by the result that unbounded M(Pi)M(P_i) forces d(Pi)0d(P_i)\to0; together with that result, it would imply that no good infinite family of toric codes exists.

Sources & referencesView supporting material

Primary source

Jason P. Bell, Sean Monahan, Matthew Satriano, Karen Situ and Zheng Xie, “There are no good infinite families of toric codes”, arXiv:2406.00243 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.