2017/02/02 by Andrei Ordine, Ordine, Andrei
Computer Science · Mathematics · #Algebraic and Geometric Analysis #FOS: Mathematics #Mathematics and Applications #Matrix Theory and Algorithms #Metric Geometry (math.MG)
paper · pdf · doi:10.48550/arxiv.1702.00510
openalex publication_date 2017/02/02 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
This article proves the Voronoi conjecture on parallelotopes in the special case of 3-irreducible tilings. Parallelotopes are convex polytopes which tile the Euclidean space by their translated copies, like in the honeycomb arrangement of hexagons in the plane. An important example of parallelotope is the Dirichlet-Voronoi domain for a translation lattice. For each point x in a translation lattice, we define its Dirichlet-Voronoi (DV) domain to be the set of points in the space which are at least as close to x as to any other lattice point. The Voronoi conjecture, formulated by the great Ukrainian mathematician George Voronoi in 1908, states that any parallelotope is affinely equivalent to the DV-domain for some lattice. Our work proves the Voronoi conjecture for 3-irreducible parallelotope tilings of arbitrary dimension: we define the 3-irreducibility as the property of having only irreducible dual 3-cells. This result generalizes a theorem of Zhitomirskii (1927), and suggests a way to solve the conjecture in the general case.