arXiv++ Combinatorics

We study and classify proper $q$-colorings of the $\mathbb Z^d$ lattice, identifying three regimes where different combinatorial behavior holds: (1) When $q\le d+1$, there exist frozen colorings, that is, proper $q$-colorings of $\mathbb Z^d$ which cannot be modified on any finite subset. (2) We prove a strong list-coloring property which implies that, when $q\ge d+2$, any proper $q$-coloring of the boundary of a box of side length $n \ge d+2$ can be extended to a proper $q$-coloring of the entire box. (3) When $q\geq 2d+1$, the latter holds for any $n \ge 1$. Consequently, we classify the space of proper $q$-colorings of the $\mathbb Z^d$ lattice by their mixing properties.

In a recent paper Garber, Gavrilyuk and Magazinov proposed a sufficient combinatorial condition for a parallelohedron to be affinely Voronoi. We show that this condition holds for all five-dimensional Voronoi parallelohedra. Consequently, the Voronoi conjecture in $\mathbb R^5$ holds if and only if every five-dimensional parallelohedron is combinatorially Voronoi. Here, by saying that a parallelohedron $P$ is combinatorially Voronoi, we mean that the tiling $\mathcal T(P)$ by translates of $P$ is combinatorially isomorphic to some tiling $\mathcal T(P')$, where $P'$ is a Voronoi parallelohedron, and that the isomorphism naturally induces a linear isomorphism of lattices $Λ(P)$ and $Λ(P')$. We also propose a new sufficient condition implying that a parallelohedron is affinely Voronoi. The condition is based on the new notion of the Venkov complex associated with a parallelohedron.

A celebrated result of Dol'nikov, and of Živaljević and Vrećica, asserts that for every collection of $m$ measures $μ_1,\dots,μ_m$ on the Euclidean space $\mathbb R^{n + m - 1}$ there exists a projection onto an $n$-dimensional vector subspace $Γ$ with a point in it at depth at least $\tfrac{1}{n + 1}$ with respect to each associated $n$-dimensional marginal measure $Γ_*μ_1,\dots,Γ_*μ_m$. In this paper we consider a natural extension of this result and ask for a minimal dimension of a Euclidean space in which one can require that for any collection of $m$ measures there exists a vector subspace $Γ$ with a point in it at depth slightly greater than $\tfrac{1}{n + 1}$ with respect to each $n$-dimensional marginal measure. In particular, we prove that if the required depth is $\tfrac{1}{n + 1} + \tfrac{1}{3(n + 1)^3}$ then the increase in the dimension of the ambient space is a linear function in both $m$ and $n$.

Let $μ$ be a Borel probability measure in $\mathbb R^d$. For a $k$-flat $α$ consider the value $\inf μ(H)$, where $H$ runs through all half-spaces containing $α$. This infimum is called the half-space depth of $α$. Bukh, Matoušek and Nivasch conjectured that for every $μ$ and every $0 \leq k < d$ there exists a $k$-flat with the depth at least $\tfrac{k + 1}{k + d + 1}$. The Rado Centerpoint Theorem implies a lower bound of $\tfrac{1}{d + 1 - k}$ (the Rado bound), which is, in general, much weaker. Whenever the Rado bound coincides with the bound conjectured by Bukh, Matoušek and Nivasch, i.e., for $k = 0$ and $k = d - 1$, it is known to be optimal. In this paper we show that for all other pairs $(d, k)$ one can improve on the Rado bound. If $k = 1$ and $d \geq 3$ we show that there is a 1-dimensional line with the depth at least $\tfrac{1}{d} + \tfrac{1}{3d^3}$. As a corollary, for all $(d, k)$ satisfying $0 < k < d - 1$ there exists a $k$-flat with depth at least $\tfrac{1}{d + 1 - k} + \tfrac{1}{3(d + 1 - k)^3}$.

Let $L$ be a finite-dimensional real normed space, and let $B$ be the unit ball in $L$. The sign sequence constant of $L$ is the least $t>0$ such that, for each sequence $v_1, \ldots, v_n \in B$, there are signs $\varepsilon_1, \ldots, \varepsilon_n \in \{-1, +1\}$ such that $\varepsilon_1 v_1 + \ldots + \varepsilon_k v_k \in t B$, for each $1 \leq k \leq n$. We show that the sign sequence constant of a plane is at most $2$, and the sign sequence constant of the plane with the Euclidean norm is equal to $\sqrt{3}$.

In 1929 B.~N.~Delaunay proved that there are exactly 5 types of coincidence of parallelohedra at faces of codimension 3. We give a combinatorial proof of this theorem and prove several additional statements on three-codimensional faces of parallelohedral tiling. -- The original paper appeared in 2013 in MAIS (see the bibref) and was in Russian. This is the English version.

Given a finite set $X$ of points in $R^n$ and a family $F$ of sets generated by the pairs of points of $X$, we determine volumetric and structural conditions for the sets that allow us to guarantee the existence of a positive-fraction subfamily $F'$ of $F$ for which the sets have non-empty intersection. This allows us to show the existence of weak epsilon-nets for these families. We also prove a topological variation of the existence of weak epsilon-nets for convex sets.

Let $I$ be a segment in the $d$-dimensional Euclidean space $\mathbb E^d$. Let $P$ and $P+I$ be parallelohedra in $\mathbb E^d$, where "+" denotes the Minkowski sum. We prove that Voronoi's Conjecture holds for $P+I$, i.e. $P+I$ is a Voronoi parallelohedron for some Euclidean metric in $\mathbb E^d$, if Voronoi's Conjecture holds for $P$.

We show that the Voronoi conjecture is true for parallelohedra with simply connected $δ$-surface. Namely, we show that if the boundary of parallelohedron $P$ remains simply connected after removing closed non-primitive faces of codimension 2, then $P$ is affinely equivalent to a Dirichlet-Voronoi domain of some lattice. Also we construct the $π$-surface associated with a parallelohedron and give another condition in terms of homology group of the constructed surface. Every parallelohedron with simply connected $δ$-surface also satisfies the condition on homology group of the $π$-surface.

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.