This paper is concerned with the packing of equal spheres in Euclidean spaces [n] of n > 8 dimensions. To be precise, a packing is a distribution of spheres any two of which have at most a point of contact in common. If the centres of the spheres form a lattice, the packing is said to be a lattice packing. The densest lattice packings are known for spaces of up to eight dimensions (1, 2), but not for any space of more than eight dimensions. Further, although non-lattice packings are known in [3] and [5] which have the same density as the densest lattice packings, none is known which has greater density than the densest lattice packings in any space of up to eight dimensions, neither, for any space of more than two dimensions, has it been shown that they do not exist.
The Local Optimality of the Double Lattice Packing
