On the sum of the Voronoi polytope of a lattice with a zonotope

arXiv1209.4652MaRDI QIDQ6235828FDOQ6235828

Authors: Mathieu Dutour Sikirić, Viacheslav Grishukhin, Alexander Magazinov 

Publication date: 20 September 2012

Abstract: A parallelotope $P$ is a polytope that admits a facet-to-facet tiling of space by translation copies of $P$ along a lattice. The Voronoi cell $P_V(L)$ of a lattice $L$ is an example of a parallelotope. A parallelotope can be uniquely decomposed as the Minkowski sum of a zone closed parallelotope $P$ and a zonotope $Z(U)$, where $U$ is the set of vectors used to generate the zonotope. In this paper we consider the related question: When is the Minkowski sum of a general parallelotope and a zonotope $P+Z(U)$ a parallelotope? We give two necessary conditions and show that the vectors $U$ have to be free. Given a set $U$ of free vectors, we give several methods for checking if $P+Z(U)$ is a parallelotope. Using this we classify such zonotopes for some highly symmetric lattices. In the case of the root lattice $mathsf{E}_6$, it is possible to give a more geometric description of the admissible sets of vectors $U$. We found that the set of admissible vectors, called free vectors, is described by the well-known configuration of $27$ lines in a cubic. Based on a detailed study of the geometry of $P_V(mathsf{e}_6)$, we give a simple characterization of the configurations of vectors $U$ such that $P_V(mathsf{E}_6)+Z(U)$ is a parallelotope. The enumeration yields $10$ maximal families of vectors, which are presented by their description as regular matroids.

This page was built for publication: On the sum of the Voronoi polytope of a lattice with a zonotope

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6235828)