arXiv++ Combinatorics

The lattice diameter of a bounded set $S \subset \mathbb{R}^d$ counts the maximal number of lattice points in a segment whose endpoints are lattice points in $S$. Such a segment is called a lattice diameter segment of $S$. This basic invariant in the geometry of numbers has several interesting applications. Our first type of contribution is algorithmic: We describe a polynomial-time algorithm that computes lattice diameter segments of polytopes in fixed dimension, with a simpler algorithm for polygons. In contrast, we show hardness of computing the lattice diameters of polytopes of variable dimension and for semi-algebraic sets. Our second type of contribution concerns the structure of lattice diameter segments: Generalizing the classical Ehrhart function, we prove that the function that counts distinct lattice diameter segments in dilations of a lattice polytope is eventually a quasi-polynomial in the dilation factor. Finally, we prove a Borsuk-type theorem on the number of parts needed to partition a set of lattice points such that each part has strictly smaller lattice diameter.

We study combinatorial aspects of hyperplane sections of polytopes, focusing on how much the combinatorics of the sections determines the combinatorics of the original polytope. We show that, in general, combinatorial information about the sections is not enough to determine even the $f$-vector of the polytope. In contrast, for sufficiently generic simple polytopes, the function recording the number of vertices of each central section determines the full combinatorial type. We organize different combinatorial slicing properties into hierarchies, separately for affine and central sections, according to the level of combinatorial structure they determine on the polytope. In analogy with classical metric slicing problems, we formulate combinatorial analogues of the Busemann-Petty problem and Bourgain's slicing problem by replacing volume with face numbers, and show that they fail in every dimension and every face dimension.