On a refinement of Craig's lattices

Let p be an odd prime. A family of (p - 1)-dimensional over-lattices yielding new record packings for several values of p in the interval [149... 3001] is presented. The result is obtained by modifying Craig's construction and considering conveniently chosen Z-submodules of Q(zeta), where zeta is a primitive pth root of unity. For p >= 59, it is shown that the center density of the (p - 1)-dimensional lattice in the new family is at least twice the center density of the (p - 1)-dimensional Craig lattice. (C) 2010 Elsevier B.V. All rights reserved.

An Extension of Craig's Family of Lattices

Let p be a prime, and let zeta(p) be a primitive p-th root of unity. The lattices in Craig's family are (p - 1)-dimensional and are geometrical representations of the integral Z[zeta(p)]-ideals < 1 - zeta(p)>(i), where i is a positive integer. This lattice construction technique is a powerful one. Indeed, in dimensions p - 1 where 149 <= p <= 3001, Craig's lattices are the densest packings known. Motivated by this, we construct (p - 1)(q - 1)-dimensional lattices from the integral Z[zeta(pq)]-ideals < 1 - zeta(p)>(i) < 1 - zeta(q)>(j), where p and q are distinct primes and i and fare positive integers. In terms of sphere-packing density, the new lattices and those in Craig's family have the same asymptotic behavior. In conclusion, Craig's family is greatly extended while preserving its sphere-packing properties.