Conjecture on linear perfect codes in the l2l_2 metric

Let nn be a positive integer, let r>0r>0, and let Λ\Lambda be an additive subgroup of Zn\mathbb{Z}^n. A linear perfect code in the p\ell_p metric is such a subgroup whose translates tile Zn\mathbb{Z}^n by the balls

Bpn(r)={(x1,,xn)Zn:x1p++xnprp}.B_p^n(r)=\left\{(x_1,\ldots,x_n)\in\mathbb{Z}^n:|x_1|^p+\cdots+|x_n|^p\leq r^p\right\}.

Conjecture. There are no linear perfect codes with parameters (n,r,2)(n,r,2) except when r=1r=1 or

(n,r){(2,2),(2,2),(2,22),(3,3)}.(n,r)\in\left\{(2,\sqrt{2}),(2,2),(2,2\sqrt{2}),(3,\sqrt{3})\right\}.

In particular, there are no linear perfect codes in the 2\ell_2 metric if n>3n>3 and r>1r>1. The claim is motivated by computational evidence and by the absence of cubic polyominoes in the relevant higher-dimensional cases; it remains open in the source.

Sources & referencesView supporting material

Primary source

Antonio Campello, Grasiele C. Jorge, and João Strapasson and Sueli I. R. Costa, “Perfect codes in the lp metric”, arXiv:1506.02517 (2015).

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.