2022/07/26 by Alajmi, Abdulrahman, Soprunova, Jenya
#11H06 #52B20 #52C05 #Combinatorics (math.CO) #FOS: Mathematics
paper · doi:10.48550/arxiv.2207.13124
The lattice size 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⊂ℝ3 there exists a reduced basis of ℤ3 which computes its lattice size lsΔ(P). This leads to a fast algorithm for computing lsΔ(P) for such P. We also extend this result to another class of lattice width one polytopes P⊂ℝ3. We then provide a counterexample demonstrating that this result does not hold true for an arbitrary lattice polytope P⊂ℝ3 of lattice width one.