NEW SPHERE PACKINGS IN DIMENSIONS 9-15 BY JOHN LEECH AND N. J. A. SLOANE

1. Sphere packings from distance 4 codes. Let an (n, M, d) errorcorrecting code be a set of M binary vectors of length n such that any two vectors differ in at least d places. Given such a code with d = 4 a packing of unit spheres in E may be obtained by the following Construction, x = (xi> • • • , xn) is a center of the packing if and only if x is componentwise congruent modulo 2 to a vector in the code. Let the center density of a packing denote the fraction of space covered by the spheres divided by the content of a unit sphere. I t is easily seen that this packing has center density M2~~ and that the number of spheres touching the sphere with center congruent to a codeword c is equal to 2^ + 16.4(c), where -4(c) is the number of codewords differing from c in exactly four places. The codes used here are nonlinear codes and so the packings obtained are nonlattice packings. Nonlinear single error-correcting (8, 20, 3), (9, 38, 3), (10, 72, 3) and (11, 144, 3) codes have been given by Golay [2] and Julin [3]. By annexing a 0 at the end of codewords of even weight and a 1 at the end of codewords of odd weight they are made into codes with d = 4. The packings P9a, PlOa, Plia, P12a of Table 1 are then obtained by applying the above construction to these codes. The codes are not unique and several inequivalent versions of the packings are possible. I t is worth remarking that these codes have more codewords (i.e., are more densely packed!) than any group code of the same length and minimum distance. They have a simple structure, and have recently been generalized to give single error-correcting codes of all lengths 2Sn<3-2~, m^Z, having more codewords than any comparable group code [4], [5].

[1]  N. J. A. Sloane,et al.  New family of single-error correcting codes , 1970, IEEE Trans. Inf. Theory.

[2]  J. Leech Six and Seven Dimensional Non-Lattice Sphere Packings , 1969, Canadian Mathematical Bulletin.

[3]  John Leech,et al.  Five Dimensional Non-Lattice Sphere Packings , 1967, Canadian Mathematical Bulletin.

[4]  J. Leech Notes on Sphere Packings , 1967, Canadian Journal of Mathematics.

[5]  P. Scott The Construction of Perfect and Extreme Forms , 1966, Canadian Journal of Mathematics.

[6]  D. Julin,et al.  Two improved block codes , 1965 .

[7]  J. Leech Some Sphere Packings in Higher Space , 1964, Canadian Journal of Mathematics.

[8]  Haim Hanani,et al.  On Quadruple Systems , 1960, Canadian Journal of Mathematics.

[9]  Marcel J. E. Golay,et al.  Binary coding , 1954, Transactions of the IRE Professional Group on Information Theory.

[10]  J. A. Todd,et al.  An Extreme Duodenary Form , 1953, Canadian Journal of Mathematics.

[11]  T. W. Chaundy,et al.  THE ARITHMETIC MINIMA OF POSITIVE QUADRATIC FORMS (I) , 1946 .

[12]  E. Witt über Steinersche Systeme , 1937 .

[13]  A. Korkine,et al.  Sur les formes quadratiques , 1873 .