On multifold packings of radius-1 balls in Hamming graphs
arXiv:1902.00023 · doi:10.1109/TIT.2020.3046260
Abstract
A -fold -packing (multiple radius- covering) in a Hamming metric space is a code such that the radius- balls centered in cover each vertex of the space by not more (not less, respectively) than times. The well-known -error-correcting codes correspond to the case , while in general multifold -packing are related with list decodable codes. We (a) propose asymptotic bounds for the maximum size of a -ary -fold -packing as grows; (b) prove that a -ary distance- MDS code of length is an optimal -fold -packing if ; (c) derive an upper bound for the size of a binary -fold -packing and a lower bound for the size of a binary multiple radius- covering (the last bound allows to update the small-parameters table); (d) classify all optimal binary -fold -packings up to length , in particular, establish the maximum size of a binary -fold -packing of length ; (e) prove some properties of -perfect unitrades, which are a special case of -fold -packings. Keywords: Hamming graph, multifold ball packings, two-fold ball packings, list decodable codes, multiple coverings, completely regular codes, linear programming bound
17pp. V.3: revised, added: classification of small binary 2-fold 1-packings (Sect. Va), discussion of multifold perfect codes (Sect. Vb), lower bound on the size of multiple coverings (Sect. IVb) V.2: Sections about MDS codes and unitrades added, the proof in Section II rewritten and completed; other revisions