On the Density of 2-Saturated Lattice Packings of Discs

 In a recent paper of G. Fejes Tóth, G. Kuperberg and W. Kuperberg [1] a conjecture has been published concerning the greatest lower bound of the density of a 2-saturated packing of unit discs in the plane. (A packing of unit discs is said to be 2-saturated if none of the discs could be replaced by two other ones of the same size to generate a new packing. A packing of the unit disc is a lattice packing if the centers form a point lattice.) In the present note we study this problem for lattice packings, however, in a more general form in which the removed unit disc is replaced by two discs of radius r. A corollary of our results supports the above conjecture proving that a lattice packing cannot be 2-saturated except if its density is larger than the conjectured bound. (Received 6 December 2000; in revised form March 29, 2001)