2001/12/11 by Robert Erdahl, Erdahl, Robert, Konstantin Rybnikov +1 · 3 citations
Computer Science · Engineering · Mathematics · #11 #52 #Advanced Numerical Analysis Techniques #Computational Geometry and Mesh Generation #FOS: Mathematics #Geometric and Algebraic Topology #Metric Geometry (math.MG) #Number Theory (math.NT) #math.MG #math.NT #msc:11 #msc:52
paper · pdf · doi:10.48550/arxiv.math/0112097
Short Version
arxiv created 2001/12/11 · openalex publication_date 2001/12/11 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
George Voronoi (1908, 1909) introduced two important reduction methods for positive quadratic forms: the reduction with perfect forms, and the reduction with L-type domains, often called domains of Delaunay type. The first method is important in studies of dense lattice packings of spheres. The second method provides the key tools for finding the least dense lattice coverings with equal spheres in lower dimensions. In his investigations Voronoi heavily relied on that in dimensions less than 6 the partition of the cone of positive quadratic forms into L-types refines the partition of this cone into perfect domains. Voronoi conjectured implicitely and Dickson (1972) explicitely that the L-partition is always a refinement of the partition into perfect domains. This was proved for n =< 5 (Voronoi, Delaunay, Ryshkov, Baranovskii). We show that Voronoi-Dickson conjecture fails already in dimension 6.