Combinatorial Structure of the Voronoi Cell of the An Lattice: An Algebraic Approach

We characterize the combinatorial structure of the Voronoi cell of the An lattice in arbitrary dimensions. Based on the well-known fact that the Voronoi cell is the disjoint union of (n+1)! congruent simplices, we show that it is the disjoint union of (n+1) congruent hyper-rhombi, which are the generalized rhombi or trigonal trapezohedra. The explicit structure of the faces is investigated, including the fact that all the k-dimensional faces, 2≤k≤n−1, are hyper-rhombi. Based on our explicit algebraic representation, we re-derive the classical geometric result that the Voronoi cell is the vertex-first orthogonal projection of the (n+1)-dimensional unit cube and therefore a zonotope. We prove that in low dimensions (n≤3) the Voronoi cell of the An lattice can be understood as the section of the Voronoi cell of the Dn+1 lattice with the hyperplane orthogonal to the diagonal direction. We provide all the explicit coordinates and transformation matrices associated with our analysis. Most of our analysis is algebraic and easily accessible to those less familiar with the Coxeter–Dynkin diagrams.