Hansen's parameter estimate for toric codes

Let X=X(Δ)X=X(\Delta) be a complete toric variety of dimension rr, let GG be a TT-invariant Cartier divisor, let PGP_G be the polytope associated to GG, and let MM be the lattice associated to XX. For the toric evaluation code CL=CL(G,P,X)C_L=C_L(G,P,X), write nn for its length and dd for its minimum distance. Suppose XX is nonsingular and projective, and suppose there is an integer N>1N>1 such that

2Nvol(PG)n2N2vol(PG).2N\cdot \operatorname{vol}(P_G)\leq n\leq 2N^2\cdot \operatorname{vol}(P_G).

Hansen's conjecture. If qq is sufficiently large, then every fL(G)=H0(X,O(G))f\in L(G)=H^0(X,\operatorname{\mathcal O}(G)) has at most nn zeros in X(Fq)X(\mathbb{F}_q), and consequently

dn2Nvol(PG).d\geq n-2N\cdot \operatorname{vol}(P_G).

The meaning of sufficiently large may depend on XX, PP, and GG, but not on ff. The estimate was conjecturally proposed for toric codes and verified computationally for many examples; its general validity is not resolved by the supplied text.

Sources & referencesView supporting material

Primary source

David Joyner, “Toric codes over finite fields”, arXiv:math/0208155 (2003).

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.