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

About 2 years old · traced to

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,q−2]ni⊆RniP_i\subseteq[0,q-2]^{n_i}\subseteq\mathbb{R}^{n_i}, ni→∞n_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.

References

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.