arXiv++ Combinatorics

The local $h^*$-polynomial of a lattice polytope is an important invariant arising in Ehrhart theory. Our focus is on lattice simplices presented in Hermite normal form with a single non-trivial row. We prove that when the off-diagonal entries are fixed, the distribution of coefficients for the local $h^*$-polynomial of these simplices has a limit as the normalized volume goes to infinity. Further, this limiting distribution is determined by the coefficients for a particular choice of normalized volume. We also provide an analysis of two specific families of such simplices to illustrate and motivate our main result.

The Fine interior $F(P)$ of a $d$-dimensional lattice polytope $P \subset {\Bbb R}^d$ is the set of all points $y \in P$ having integral distance at least $1$ to any integral supporting hyperplane of $P$. We call a lattice polytope $F$-hollow if its Fine interior is empty. The main theorem claims that up to unimodular equivalence in each dimension $d$ there exist only finitely many $d$-dimensional $F$-hollow lattice polytopes $P$, so called {\em sporadic}, which do not admit a lattice projection onto a $k$-dimensional $F$-hollow lattice polytope $P'$ for some $1 \leq k \leq d-1$. The proof is purely combinatorial, but it is inspired by ${\Bbb Q}$-Fano fibrations in the Minimal Model Program, since we show that non-degenerate toric hypersurfaces $Z \subset ({\Bbb C}^*)^d$ defined by zeros of Laurent polynomials with a given Newton polytope $P$ have negative Kodaira dimension if and only if $P$ is $F$-hollow. The finiteness theorem for $d$-dimensional sporadic $F$-hollow Newton polytopes $P$ gives rise to finitely many families ${\mathcal F}(P)$ of $(d-1)$-dimensional ${\Bbb Q}$-Fano hypersurfaces with at worst canonical singularities.

We investigate the following question: how close can two disjoint lattice polytopes contained in a fixed hypercube be? This question stems from various contexts where the minimal distance between such polytopes appears in complexity bounds of optimization algorithms. We provide nearly matching lower and upper bounds on this distance and discuss its exact computation. We also give similar bounds in the case of disjoint rational polytopes whose binary encoding length is prescribed.

The Todd polynomials, denoted as $td_k(b_1,b_2,\ldots,b_m)$, are characterised by their generating functions: $$\sum_{k\ge 0} td_k s^k = \prod_{i=1}^m \frac{b_i s}{e^{b_i s}-1}.$$ These polynomials serve as fundamental components in the Todd class of toric varieties, a concept of significant relevance in the study of lattice polytopes and number theory. We identify that generalised Todd polynomials emerge naturally within the framework of MacMahon's partition analysis, particularly in the context of computing Ehrhart series. We introduce an efficient method for the evaluation of generalised Todd polynomials for numerical values of $b_i$. This is achieved through the development of expedited operations in the quotient ring $\mathbb{Z}_p[[s]]$ modulo $s^{d}$, where $p$ is a large prime. The practical implications of our work are demonstrated through two applications: firstly, we facilitate a recalculated resolution of the Ehrhart series for magic squares of order 6, a problem initially addressed by the first author, reducing computation time from 70 days to approximately 1 day; secondly, we present a polynomial-time algorithm for Integer Linear Programming when the dimension is fixed, exhibiting a notable enhancement in computational efficiency.

We introduce the multi-width of a lattice polytope and use this to classify and count all lattice tetrahedra with multi-width $(1,w_2,w_3)$. The approach used in this classification can be extended into a computer algorithm to classify lattice tetrahedra of any given multi-width. We use this to classify tetrahedra with multi-width $(2,w_2,w_3)$ for small $w_2$ and $w_3$ and make conjectures about the function counting lattice tetrahedra of any multi-width.

We introduce the notion of the second lattice width of a lattice polytope and use this to classify lattice triangles by their width and second width. This is equivalent to classifying lattice triangles contained in a given rectangle (and no smaller rectangle) up to affine equivalence. Using this classification we investigate the automorphism groups and Ehrhart theory of lattice triangles. We also show that the sequence counting lattice triangles contained in dilations of the unit square has generating function equal to the Hilbert series of a degree 8 hypersurface in $\mathbb{P}(1,1,1,2,2,2)$.

We use the ordinary Euler operator to compute the Ehrhart series for an arbitrary lattice polytope. The resulting formula involves the coefficients of the Ehrhart polynomial, combined via Eulerian numbers. We use this to compute $h^*_{d-1}$ in terms of the coefficients of the Ehrhart polynomial, resulting in a new linear inequality satisfied by the coefficents of the Ehrhart polynomial.

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 many authors, including $\mathrm{B\acute{a}r\acute{a}ny}$, Lagarias, Pach, Santos, Ziegler and Zong. Recently, Zong proposed two computer programs to prove Hadwiger's covering conjecture and Borsuk's partition problem, respectively, based on enumeration of the convex lattice polytopes contained in certain balls. For this purpose, similar to $\mathrm{B\acute{a}r\acute{a}ny}$ and Pach's work on volume and Liu and Zong's work on cardinality, we obtain bounds on the number of non-equivalent convex lattice polygons in a given disc. Furthermore, we propose an algorithm to enumerate these convex lattice polygons.

In this paper, we study nearly Gorensteinness of Ehrhart rings arising from lattice polytopes. We give necessary conditions and sufficient conditions on lattice polytopes for their Ehrhart rings to be nearly Gorenstein. Using this, we give an efficient method for constructing nearly Gorenstein polytopes. Moreover, we determine the structure of nearly Gorenstein (0, 1)-polytopes and characterise nearly Gorensteinness of edge polytopes and graphic matroids.

We prove that the set of functions representable by ReLU neural networks with integer weights strictly increases with the network depth while allowing arbitrary width. More precisely, we show that $\lceil\log_2(n)\rceil$ hidden layers are indeed necessary to compute the maximum of $n$ numbers, matching known upper bounds. Our results are based on the known duality between neural networks and Newton polytopes via tropical geometry. The integrality assumption implies that these Newton polytopes are lattice polytopes. Then, our depth lower bounds follow from a parity argument on the normalized volume of faces of such polytopes.

Originally introduced by Fine and Reid in the study of plurigenera of toric hypersurfaces, the Fine interior of a lattice polytope got recently into the focus of research. It is has been used for constructing canonical models in the sense of Mori Theory [arXiv:2008.05814]. Based on the Fine interior, we propose here a modification of the original adjoint polytopes as defined in [arXiv:1105.2415], by defining the Fine adjoint polytope $P^{F(s)}$ of $P$ as consisting of the points in $P$ that have lattice distance at least $s$ to all valid inequalities for $P$. We obtain a Fine Polyhedral Adjunction Theory that is, in many respects, better behaved than its original analogue. Many existing results in Polyhedral Adjunction Theory carry over, some with stronger conclusions, as decomposing polytopes into Cayley sums, and most with simpler, more natural proofs as in the case of the finiteness of the Fine spectrum.

Let $K \subseteq \mathbb{R}^d$ be a convex body and let $\mathbf{w} \in \operatorname{int}(K)$ be an interior point of $K$. The coefficient of asymmetry $\operatorname{ca}(K,\mathbf{w}) := \min\{ λ\geq 1 : \mathbf{w} - K \subseteq λ(K - \mathbf{w}) \}$ has been studied extensively in the realm of Hensley's conjecture on the maximal volume of a $d$-dimensional lattice polytope that contains a fixed positive number of interior lattice points. We study the coefficient of asymmetry for lattice zonotopes, i.e., Minkowski sums of line segments with integer endpoints. Our main result gives the existence of an interior lattice point whose coefficient of asymmetry is bounded above by an explicit constant in $Θ(d \log\log d)$, for any lattice zonotope that has an interior lattice point. Our work is both inspired by and feeds on Wills' lonely runner conjecture from Diophantine approximation: we make intensive use of a discrete version of this conjecture, and reciprocally, we reformulate the lonely runner conjecture in terms of the coefficient of asymmetry of a zonotope.

Let $\mathcal{P} \subset \mathbb{R}^d$ be a lattice polytope of dimension $d$. Let $b$ denote the number of lattice points belonging to the boundary of $\mathcal{P}$ and $c$ that to the interior of $\mathcal{P}$. It follows from a lower bound theorem of Ehrhart polynomials that, when $c > 0$, the volume of $\mathcal{P}$ is bigger than or equal to $(dc + (d-1)b - d^2 + 2)/d!$. In the present paper, via triangulations, a short and elementary proof of the minimal volume formula is given.

Let $p\in\mathbb Z^n$ be a primitive vector and $Ψ:\mathbb Z^n\to \mathbb Z, z\to \min(p\cdot z, 0)$. The theory of {\it husking} allows us to prove that there exists a pointwise minimal function among all integer-valued superharmonic functions equal to $Ψ$ "at infinity". We apply this result to sandpile models on $\mathbb Z^n$. We prove existence of so-called {\it solitons} in a sandpile model, discovered in 2-dim setting by S. Caracciolo, G. Paoletti, and A. Sportiello and studied by the author and M. Shkolnikov in previous papers. We prove that, similarly to 2-dim case, sandpile states, defined using our husking procedure, move changeless when we apply the sandpile wave operator (that is why we call them solitons). We prove an analogous result for each lattice polytope $A$ without lattice points except its vertices. Namely, for each function $$Ψ:\mathbb Z^n\to \mathbb Z, z\to \min_{p\in A\cap \mathbb Z^n}(p\cdot z+c_p), c_p\in \mathbb Z$$ there exists a pointwise minimal function among all integer-valued superharmonic functions coinciding with $Ψ$ "at infinity". The laplacian of the latter function corresponds to what we observe when solitons, corresponding to the edges of $A$, intersect (see Figure~1).

The Ehrhart polynomial $\text{ehr}_P(n)$ of a lattice polytope $P$ counts the number of integer points in the $n$-th integral dilate of $P$. The $f^*$-vector of $P$, introduced by Felix Breuer in 2012, is the vector of coefficients of $\text{ehr}_P(n)$ with respect to the binomial coefficient basis $ \left\{\binom{n-1}{0},\binom{n-1}{1},...,\binom{n-1}{d}\right\}$, where $d = \dim P$. Similarly to $h/h^*$-vectors, the $f^*$-vector of $P$ coincides with the $f$-vector of its unimodular triangulations (if they exist). We present several inequalities that hold among the coefficients of $f^*$-vectors of polytopes. These inequalities resemble striking similarities with existing inequalities for the coefficients of $f$-vectors of simplicial polytopes; e.g., the first half of the $f^*$-coefficients increases and the last quarter decreases. Even though $f^*$-vectors of polytopes are not always unimodal, there are several families of polytopes that carry the unimodality property. We also show that for any polytope with a given Ehrhart $h^*$-vector, there is a polytope with the same $h^*$-vector whose $f^*$-vector is unimodal.

We study semigroup algebras arising from lattice polytopes, compute their volume polynomials (particularizing work of Hochster), and establish strong Lefschetz properties (generalizing work of the first three authors). This resolves several conjectures concerning unimodality properties of the $h^\ast$-polynomial of lattice polytopes arising within Ehrhart theory.

We show that, once translated to the dual setting of convex triangulations of lattice polytopes, results and methods from previous tropical works by Arnal-Renaudineau-Shaw, Renaudineau-Shaw, Renaudineau-Rau-Shaw, and Jell-Rau-Shaw extend to non-convex triangulations. So, while the translation of Viro's patchworking method to the setting of tropical hypersurfaces has inspired several tremendous developments over the last two decades, we return to the the original polytope setting in order to generalize and simplify some results regarding the topology of $T$-submanifolds of real toric varieties.

A cosmological polytope is a lattice polytope introduced by Arkani-Hamed, Benincasa, and Postnikov in their study of the wavefunction of the universe in a class of cosmological models. More concretely, they construct a cosmological polytope for any Feynman diagram, i.e. an undirected graph. In this paper, we initiate a combinatorial study of these polytopes. We give a complete description of their faces, identify minimal faces that are not simplices and compute the number of faces in specific instances. In particular, we give a recursive description of the $f$-vector of cosmological polytopes of trees.

The lattice size of a lattice polytope is a geometric invariant which was formally introduced in the context of simplification of the defining equation of an algebraic curve, but appeared implicitly earlier in geometric combinatorics. Previous work on the lattice size was devoted to studying the lattice size in dimension 2 and 3. In this paper we establish explicit formulas for the lattice size of a family of lattice simplices in arbitrary dimension.

We study the equivariant Ehrhart theory of families of polytopes that are invariant under a non-trivial action of the group with order two. We study families of polytopes whose equivariant $H^*$-polynomial both succeed and fail to be effective, in particular, the symmetric edge polytopes of cycles and the rational cross-polytope. The latter provides a counterexample to the effectiveness conjecture if the requirement that the vertices of the polytope have integral coordinates is loosened to allow rational coordinates. Moreover, we exhibit such a counterexample whose Ehrhart function has period one and coincides with the Ehrhart function of a lattice polytope.