arXiv++ Combinatorics

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.

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.

The lattice size $\operatorname{ls_Δ}(P)$ of a lattice polytope $P$ is a geometric invariant, which was formally introduced in relation to the problem of bounding the total degree and the bi-degree of the defining equation of an algebraic curve, but appeared implicitly earlier in geometric combinatorics. In this paper, we show that for an empty lattice polytope $P\subset\mathbb{R}^3$ there exists a reduced basis of $\mathbb{Z}^3$ which computes its lattice size $\operatorname{ls_Δ}(P)$. This leads to a fast algorithm for computing $\operatorname{ls_Δ}(P)$ for such $P$. We also extend this result to another class of lattice width one polytopes $P\subset\mathbb{R}^3$. We then provide a counterexample demonstrating that this result does not hold true for an arbitrary lattice polytope $P\subset\mathbb{R}^3$ of lattice width one.

The lattice size of a lattice polygon $P$ was introduced and studied by Schicho, and by Castryck and Cools in relation to the problem of bounding the total degree and the bi-degree of the defining equation of an algebraic curve. In this paper we establish sharp lower bounds on the area of plane convex bodies $P\subset\mathbb{R}^2$ that involve the lattice size of $P$. In particular, we improve bounds established by Arnold, and Bárány and Pach. We also provide a classification of minimal lattice polygons $P\subset\mathbb{R}^2$ of fixed lattice size $\operatorname{ls_\square}(P)$.

For a given lattice polytope $P$ in $\mathbb{R}^3$, consider the space $\mathcal{L}_P$ of trivariate polynomials over a finite field $\mathbb{F}_q$, whose Newton polytopes are contained in $P$. We give an upper bound for the maximum number of $\mathbb{F}_q$-zeros of polynomials in $\mathcal{L}_P$ in terms of the Minkowski length of $P$ and $q$, the size of the field. Consequently, this produces lower bounds for the minimum distance of toric codes defined by evaluating elements of $\mathcal{L}_P$ at the points of the algebraic torus $(\mathbb{F}_q^*)^3$. Our approach is based on understanding factorizations of polynomials in $\mathcal{L}_P$ with the largest possible number of non-unit factors. The related combinatorial result that we obtain is a description of Minkowski sums of lattice polytopes contained in $P$ with the largest possible number of non-trivial summands.

The lattice size of a lattice polytope $P$ was defined and studied by Schicho, and Castryck and Cools. They provided an "onion skins" algorithm for computing the lattice size of a lattice polygon $P$ in $\mathbb{R}^2$ based on passing successively to the convex hull of the interior lattice points of $P$. We explain the connection of the lattice size to the successive minima of $K=\left(P+(-P)\right)^\ast$ and to the lattice reduction with respect to the general norm that corresponds to $K$. It follows that the generalized Gauss algorithm of Kaib and Schnorr (which is faster than the "onion skins" algorithm) computes the lattice size of any convex body in $\mathbb{R}^2$. We extend the work of Kaib and Schnorr to dimension 3, providing a fast algorithm for lattice reduction with respect to the general norm defined by a convex origin-symmetric body $K\subset\mathbb{R}^3$. We also explain how to recover the successive minima of $K$ and the lattice size of $P$ from the obtained reduced basis and therefore provide a fast algorithm for computing the lattice size of any convex body $P\subset\mathbb{R}^3$.

The lattice size $\operatorname{ls}_Δ(P)$ of a lattice polygon $P$ with respect to the standard simplex $Δ$ was introduced and studied by Castryck and Cools in the context of simplification of the defining equation of an algebraic curve. Earlier, Schicho provided an "onion skins" algorithm for mapping a lattice polygon $P$ into a small integer multiple of the standard simplex, based on passing successively to the convex hull of the interior lattice points of $P$. Castryck and Cools showed that this algorithm computes the lattice size of $P$. In this paper we show that for a plane convex body $P$ a reduced basis of $\mathbb{Z}^2$ computes the lattice size. This provides a lattice reduction algorithm for computing the lattice size, which works for any convex body $P\subset\mathbb{R}^2$ and outperforms the "onion skins" algorithm in the case when $P$ is a lattice polygon.

The Minkowski length of a lattice polytope $P$ is a natural generalization of the lattice diameter of $P$. It can be defined as the largest number of lattice segments whose Minkowski sum is contained in $P$. The famous Ehrhart theorem states that the number of lattice points in the positive integer dilates $tP$ of a lattice polytope $P$ behaves polynomially in $t\in\mathbb{N}$. In this paper we prove that for any lattice polytope $P$, the Minkowski length of $tP$ for $t\in\mathbb{N}$ is eventually a quasi-polynomial with linear constituents. We also give a formula for the Minkowski length of coordinates boxes, degree one polytopes, and dilates of unimodular simplices. In addition, we give a new bound for the Minkowski length of lattice polygons and show that the Minkowski length of a lattice triangle coincides with its lattice diameter.

Let ${\mathcal D}^{k,l}(m,n)$ be the set of all the integer points in the transportation polytope of $kn\times ln$ matrices with row sums $lm$ and column sums $km$. In this paper we find the sharp lower bound on the tropical determinant over the set ${\mathcal D}^{k,l}(m,n)$. This integer piecewise-linear programming problem in arbitrary dimension turns out to be equivalent to an integer non-linear (in fact, quadratic) optimization problem in dimension two. We also compute the sharp upper bound on a modification of the tropical determinant, where the maximum over all the transversals in a matrix is replaced with the minimum.

We study the Minkowski length L(P) of a lattice polytope P, which is defined to be the largest number of non-trivial primitive segments whose Minkowski sum lies in P. The Minkowski length represents the largest possible number of factors in a factorization of polynomials with exponent vectors in P, and shows up in lower bounds for the minimum distance of toric codes. In this paper we give a polytime algorithm for computing L(P) where P is a 3D lattice polytope. We next study 3D lattice polytopes of Minkowski length 1. In particular, we show that if Q, a subpolytope of P, is the Minkowski sum of L = L(P) lattice polytopes Qi, each of Minkowski length 1, then the total number of interior lattice points of the polytopes Q1,..., QL is at most 4. Both results extend previously known results for lattice polygons. Our methods differ substantially from those used in the two-dimensional case.

Let D(m,n) be the set of all the integer points in the m-dilate of the Birkhoff polytope of doubly-stochastic n by n matrices. In this paper we find the sharp upper bound on the tropical determinant over the set D(m,n). We define a version of the tropical determinant where the maximum over all the transversals in a matrix is replaced with the minimum and then find the sharp lower bound on thus defined tropical determinant over D(m,n).