Tilings by (0.5, n)-Crosses and Perfect Codes

The existence question for tiling of the $n$-dimensional Euclidian space by crosses is well known. A few existence and nonexistence results are known in the literature. Of special interest are tilings of the Euclidian space by crosses with arms of length one, also known as Lee spheres with radius one. Such a tiling forms a perfect code. In this paper crosses with arms of length half are considered. These crosses are scaled by two to form a discrete shape. A tiling with this shape is also known as a perfect dominating set. We prove that an integer tiling for such a shape exists if and only if $n=2^t-1$ or $n=3^t-1$, where $t>0$. A strong connection of these tilings to binary and ternary perfect codes in the Hamming scheme is shown.

[1]  S. Szabó On mosaics consisting of multidimensional crosses , 1981 .

[2]  Joel Spencer,et al.  Maximal consistent families of triples , 1968 .

[3]  Solomon W. Golomb A general formulation of error matrices (Corresp.) , 1969, IEEE Trans. Inf. Theory.

[4]  N. S. Barnett,et al.  Private communication , 1969 .

[5]  S. Golomb,et al.  Perfect Codes in the Lee Metric and the Packing of Polyominoes , 1970 .

[6]  Tiling by ( k , n )-Crosses , 2001 .

[7]  S. Stein,et al.  Tiling, packing, and covering by clusters , 1986 .

[8]  Moshe Schwartz,et al.  Quasi-Cross Lattice Tilings With Applications to Flash Memory , 2011, IEEE Transactions on Information Theory.

[9]  Sherman Stein,et al.  Combinatorial packings of R3 by certain error spheres , 1984, IEEE Trans. Inf. Theory.

[10]  Jehoshua Bruck,et al.  Codes for Asymmetric Limited-Magnitude Errors With Application to Multilevel Flash Memories , 2010, IEEE Transactions on Information Theory.

[11]  Torleiv Kløve,et al.  Systematic single limited magnitude asymmetric error correcting codes , 2010, 2010 IEEE Information Theory Workshop on Information Theory (ITW 2010, Cairo).

[12]  Italo J. Dejter,et al.  A generalization of Lee codes , 2014, Des. Codes Cryptogr..

[13]  Hugh Everett,et al.  Packing and covering by translates of certain nonconvex bodies , 1979 .

[14]  Paul M. Weichsel,et al.  Dominating sets in n-cubes , 1994, J. Graph Theory.

[15]  Sherman K. Stein A symmetric star body that tiles but not as a lattice , 1972 .

[16]  Sherman K. Stein Factoring by subsets , 1967 .

[17]  Werner Ulrich,et al.  Non-binary error correction codes , 1957 .

[18]  Sherman Stein Packings of Rn by certain error spheres , 1984, IEEE Trans. Inf. Theory.

[19]  Tuvi Etzion,et al.  Product Constructions for Perfect Lee Codes , 2011, IEEE Transactions on Information Theory.

[20]  O. Antoine,et al.  Theory of Error-correcting Codes , 2022 .