Voronoi conjecture for five-dimensional parallelohedra

Alexey Garber

2023-07-01

Abstract:We prove the Voronoi conjecture for five-dimensional parallelohedra. Namely, we show that if a convex five-dimensional polytope $P$ tiles $\mathbb{R}^5$ with translations, then $P$ is an affine image of the Dirichlet-Voronoi polytope for a five-dimensional lattice.

Combinatorics

What problem does this paper attempt to address?

Multiple Lattice Tilings in Euclidean Spaces

Qi Yang,Chuanming Zong

DOI: https://doi.org/10.4153/s0008439518000103

2018-01-01

Canadian Mathematical Bulletin

Abstract:In 1885, Fedorov discovered that a convex domain can form a lattice tiling of the Euclidean plane if and only if it is a parallelogram or a centrally symmetric hexagon. his paper proves the following results. Except for parallelograms and centrally symmetric hexagons, there are no other convex domains that can form two-, three- or four-fold lattice tilings in the Euclidean plane. However, there are both octagons and decagons that can form five-fold lattice tilings. Whenever n >= 3, there are non-parallelohedral polytopes that can form five-fold lattice tilings in the n-dimensional Euclidean space.
CHARACTERIZATION OF THE TWO-DIMENSIONAL FIVEFOLD TRANSLATIVE TILES

Qi Yang,Chuanming Zong

DOI: https://doi.org/10.24033/bsmf.2826

2021-01-01

Abstract:In 1885, Fedorov discovered that a convex domain can form a lattice tiling of the Euclidean plane if and only if it is a parallelogram or a centrally symmetric hexagon. It is known that there is no other convex domain which can form two-, three- or four-fold translative tiling in the Euclidean plane, but there are centrally symmetric convex octagons and decagons which can form five-fold translative tilings. This paper characterizes all the convex domains which can form five-fold translative tilings of the Euclidean plane.
Veronese polytopes: Extending the framework of cyclic polytopes

Marie-Charlotte Brandenburg,Roland Púček

2024-11-21

Abstract:This article introduces the theory of Veronese polytopes, a broad generalisation of cyclic polytopes. These arise as convex hulls of points on curves with one or more connected components, obtained as the image of the rational normal curve in affine charts. We describe their facial structure by extending Gale's evenness condition, and provide a further combinatorial characterisation of facets via $\sigma$-parity alternating sequences. Notably, we establish a bijective correspondence between combinatorial types of Veronese polytopes and partitions of finite sets equipped with a cyclic order, called circular compositions. We show that, although the only Veronese $3$-polytopes are the cyclic $3$-polytopes and the octahedron, in general dimension they form a rich and diverse class including all combinatorial types of simplicial $d$-polytopes with at most $d+3$ vertices, the cross-polytope and particular stacked polytopes. In addition, we characterise which curves defining Veronese polytopes are $d$-order curves, and provide a closed formula for the number of facets of any Veronese polytope.

Combinatorics,Differential Geometry
Characterization of the Three-Dimensional Fivefold Translative Tiles

Mei Han,Kirati Sriamorn,Qi Yang,Chuanming Zong

2023-10-29

Abstract:This paper proves the following statement: If a convex body can form a fivefold translative tiling in $\mathbb{E}^3$, it must be a parallelotope, a hexagonal prism, a rhombic dodecahedron, an elongated dodecahedron, a truncated octahedron, a cylinder over a particular octagon, or a cylinder over a particular decagon, where the octagon and the decagon are fivefold translative tiles in $\mathbb{E}^2$. Furthermore, it presents an example of multiple tiles in $\mathbb{E}^3$ with multiplicity at most 10 which is neither a parallelohedron nor a cylinder.

Metric Geometry
Multiple Translative Tilings in Euclidean Spaces

Qi Yang,Chuanming Zong

2017-01-01

Abstract:In 1885, Fedorov discovered that a convex domain can form a lattice tiling of the Euclidean plane if and only if it is a parallelogram or a centrally symmetric hexagon. This paper proves the following results: Besides parallelograms and centrally symmetric hexagons, there is no other convex domain which can form a two-, three- or four-fold translative tiling in the Euclidean plane. However, there are two-dimensional convex domains which is neither a parallelogram nor a centrally symmetric hexagon can form five-fold translative tilings.
Arbitrarily Large Neighborly Families of Congruent Symmetric Convex 3-Polytopes

Jeff Erickson

DOI: https://doi.org/10.48550/arXiv.math/0106095

2001-06-13

Abstract:We construct, for any positive integer n, a family of n congruent convex polyhedra in R^3, such that every pair intersects in a common facet. Previously, the largest such family contained only eight polytopes. Our polyhedra are Voronoi regions of evenly distributed points on the helix (t, cos t, sin t). With a simple modification, we can ensure that each polyhedron in the family has a point, a line, and a plane of symmetry. We also generalize our construction to higher dimensions and introduce a new family of cyclic polytopes.

Combinatorics,Metric Geometry
Voronoi diagrams of algebraic varieties under polyhedral norms

Adrian Becedas,Kathlén Kohn,Lorenzo Venturello

DOI: https://doi.org/10.1016/j.jsc.2023.102229

IF: 0.97

2024-01-01

Journal of Symbolic Computation

Abstract:We study Voronoi diagrams of manifolds and varieties with respect to polyhedral norms. We provide upper and lower bounds on the dimensions of Voronoi cells. For algebraic varieties, we count their full-dimensional Voronoi cells. As an application, we consider the polyhedral Wasserstein distance between discrete probability distributions.

mathematics, applied,computer science, theory & methods
Generalized Voronoi Diagrams and Lie Sphere Geometry

John Edwards,Tracy Payne,Elena Schafer

2024-08-18

Abstract:We use Lie sphere geometry to describe two large categories of generalized Voronoi diagrams that can be encoded in terms of the Lie quadric, the Lie inner product, and polyhedra. The first class consists of diagrams defined in terms of extremal spheres in the space of Lie spheres, and the second class includes minimization diagrams for functions that can be expressed in terms of affine functions on a higher-dimensional space. These results unify and generalize previous descriptions of generalized Voronoi diagrams as convex hull problems. Special cases include classical Voronoi diagrams, power diagrams, order $k$ and farthest point diagrams, Apollonius diagrams, medial axes, and generalized Voronoi diagrams whose sites are combinations of points, spheres and half-spaces. We describe the application of these results to algorithms for computing generalized Voronoi diagrams and find the complexity of these algorithms.

Metric Geometry
The Three and Fourfold Translative Tiles in Three-Dimensional Space

Mei Han,Kirati Sriamorn,Qi Yang,Chuanming Zong

DOI: https://doi.org/10.48550/arxiv.2109.07116

2021-01-01

Abstract: This paper proves the following statement: If a convex body can form a three or fourfold translative tiling in three-dimensional space, it must be a parallelohedron. In other words, it must be a parallelotope, a hexagonal prism, a rhombic dodecahedron, an elongated dodecahedron, or a truncated octahedron.
Twofold Translative Tiles in Three-Dimensional Space

Mei Han,Qi Yang,Kirati Sriamorn,Chuanming Zong

DOI: https://doi.org/10.48550/arXiv.2106.15388

2021-06-29

Abstract:This paper proves the following statement: {\it If a convex body can form a twofold translative tiling in $\mathbb{E}^3$, it must be a parallelohedron.} In other words, it must be a parallelotope, a hexagonal prism, a rhombic dodecahedron, an elongated dodecahedron, or a truncated octahedron.

Metric Geometry
Every latin hypercube of order 5 has transversals

A. L. Perezhogin,V. N. Potapov,S. Yu. Vladimirov

2023-11-25

Abstract:We prove that for all n>1 every latin n-dimensional cube of order 5 has transversals. We find all 123 paratopy classes of layer-latin cubes of order 5 with no transversals. For each $n\geq 3$ and $q\geq 3$ we construct a (2q-2)-layer latin n-dimensional cuboid with no transversals. Moreover, we find all paratopy classes of nonextendible and noncompletable latin cuboids of order 5.

Combinatorics,Information Theory
The chromatic number of 4-dimensional lattices

Frank Vallentin,Stephen Weißbach,Marc Christian Zimmermann

2024-10-29

Abstract:The chromatic number of a lattice in n-dimensional Euclidean space is defined as the chromatic number of its Voronoi graph. The Voronoi graph is the Cayley graph on the lattice having the strict Voronoi vectors as generators. In this paper we determine the chromatic number of all 4-dimensional lattices. To achieve this we use the known classification of 52 parallelohedra in dimension 4. These 52 geometric types yield 16 combinatorial types of relevant Voronoi graphs. We discuss a systematic approach to checking for isomorphism of Cayley graphs of lattices. Lower bounds for the chromatic number are obtained from choosing appropriate small finite induced subgraphs of the Voronoi graphs. Matching upper bounds are derived from periodic colorings. To determine the chromatic numbers of these finite graphs, we employ a SAT solver.

Combinatorics,Metric Geometry
Undecidability of Translational Tiling of the 4-dimensional Space with a Set of 4 Polyhypercubes

Chao Yang,Zhujun Zhang

2024-10-05

Abstract:Recently, Greenfeld and Tao disprove the conjecture that translational tilings of a single tile can always be periodic [Ann. Math. 200(2024), 301-363]. In another paper [to appear in J. Eur. Math. Soc.], they also show that if the dimension $n$ is part of the input, the translational tiling for subsets of $\mathbb{Z}^n$ with one tile is undecidable. These two results are very strong pieces of evidence for the conjecture that translational tiling of $\mathbb{Z}^n$ with a monotile is undecidable, for some fixed $n$. This paper shows that translational tiling of the $3$-dimensional space with a set of $5$ polycubes is undecidable. By introducing a technique that lifts a set of polycubes and its tiling from $3$-dimensional space to $4$-dimensional space, we manage to show that translational tiling of the $4$-dimensional space with a set of $4$ tiles is undecidable. This is a step towards the attempt to settle the conjecture of the undecidability of translational tiling of the $n$-dimensional space with a monotile, for some fixed $n$.

Combinatorics,Computational Complexity,Metric Geometry
Polyhedral Voronoi Cells

Ina Voigt,Stephan Weis

DOI: https://doi.org/10.48550/arXiv.1003.4173

2010-03-22

Mathematical Physics

Abstract:Voronoi cells of a discrete set in Euclidean space are known as generalized polyhedra. We identify polyhedral cells of a discrete set through a direction cone. For an arbitrary set we distinguish polyhedral from non-polyhedral cells using inversion at a sphere and a theorem of semi-infinite linear programming.
Limits of Voronoi Diagrams

Roderik Lindenbergh

DOI: https://doi.org/10.48550/arXiv.math/0210345

2002-10-22

Abstract:In this thesis we study sets of points in the plane and their Voronoi diagrams, in particular when the points coincide. We bring together two ways of studying point sets that have received a lot of attention in recent years: Voronoi diagrams and compactifications of configuration spaces. We study moving and colliding points and this enables us to introduce `limit Voronoi diagrams'. We define several compactifications by considering geometric properties of pairs and triples of points. In this way we are able to define a smooth, real version of the Fulton-MacPherson compactification. We show how to define Voronoi diagrams on elements of these compactifications and describe the connection with the limit Voronoi diagrams.

Metric Geometry,Algebraic Geometry,Combinatorics,Geometric Topology
Voronoi Graph -- Improved raycasting and integration schemes for high dimensional Voronoi diagrams

Alexander Sikorski,Martin Heida

2024-05-16

Abstract:The computation of Voronoi Diagrams, or their dual Delauney triangulations is difficult in high dimensions. In a recent publication Polianskii and Pokorny propose an iterative randomized algorithm facilitating the approximation of Voronoi tesselations in high dimensions. In this paper, we provide an improved vertex search method that is not only exact but even faster than the bisection method that was previously recommended. Building on this we also provide a depth-first graph-traversal algorithm which allows us to compute the entire Voronoi diagram. This enables us to compare the outcomes with those of classical algorithms like qHull, which we either match or marginally beat in terms of computation time. We furthermore show how the raycasting algorithm naturally lends to a Monte Carlo approximation for the volume and boundary integrals of the Voronoi cells, both of which are of importance for finite Volume methods. We compare the Monte-Carlo methods to the exact polygonal integration, as well as a hybrid approximation scheme.

Computational Geometry
The Hodge conjecture for rationally connected fivefolds

Donu Arapura

DOI: https://doi.org/10.48550/arXiv.math/0502257

2005-02-19

Abstract:The Hodge conjecture is shown to hold for rationally connected fivefolds, or more generally for fivefolds for which the base of the maximal rationally connected fibration is at most 3 dimensional.

Algebraic Geometry
On the Classification of Convex Lattice Polytopes

Heling Liu,Chuanming Zong

DOI: https://doi.org/10.1515/advgeom.2011.031

2014-01-01

Advances in Geometry

Abstract:In 1980, V. I. Arnold studied the classification problem for convex lattice polygons of given area. Since then this problem and its analogues have been studied by several authors, upper bounds for the numbers of non-equivalent d-dimensional convex lattice polytopes of given volume or fixed number of lattice points have been achieved. In this paper, by introducing and studying the unimodular groups acting on convex lattice polytopes, we obtain a lower bound for the number of non-equivalent d-dimensional centrally symmetric convex lattice polytopes of given number of lattice points, which is essentially tight.
The volume polynomial of lattice polygons

Ivan Soprunov,Jenya Soprunova

2024-10-15

Abstract:We prove that every indefinite quadratic form with non-negative integer coefficients is the volume polynomial of a pair of lattice polygons. This solves the discrete version of the Heine-Shephard problem for two bodies in the plane. As an application, we show how to construct a pair of planar tropical curves (or a pair of divisors on a toric surface) with given intersection number and self-intersection numbers.

Algebraic Geometry,Combinatorics,Metric Geometry,Number Theory

Voronoi conjecture for five-dimensional parallelohedra

Multiple Lattice Tilings in Euclidean Spaces

CHARACTERIZATION OF THE TWO-DIMENSIONAL FIVEFOLD TRANSLATIVE TILES

Veronese polytopes: Extending the framework of cyclic polytopes

Characterization of the Three-Dimensional Fivefold Translative Tiles

Multiple Translative Tilings in Euclidean Spaces

Arbitrarily Large Neighborly Families of Congruent Symmetric Convex 3-Polytopes

Voronoi diagrams of algebraic varieties under polyhedral norms

Generalized Voronoi Diagrams and Lie Sphere Geometry

The Three and Fourfold Translative Tiles in Three-Dimensional Space

Twofold Translative Tiles in Three-Dimensional Space

Every latin hypercube of order 5 has transversals

The chromatic number of 4-dimensional lattices

Undecidability of Translational Tiling of the 4-dimensional Space with a Set of 4 Polyhypercubes

Polyhedral Voronoi Cells

Limits of Voronoi Diagrams

Voronoi Graph -- Improved raycasting and integration schemes for high dimensional Voronoi diagrams

The Hodge conjecture for rationally connected fivefolds

On the Classification of Convex Lattice Polytopes

The volume polynomial of lattice polygons