The study of integer points in convex polyhedra is motivated by questions such as "how many nonnegative integer-valued solutions does a system of linear equations with nonnegative coefficients have" or "how many solutions does an integer linear program have". Counting integer points in convex polyhedra or other questions about them arise in representation theory, commutative algebra, algebraic geometry, statistics, and computer science. The set of integer points, or, more generally, the set of points of an affine lattice, in a polyhedron is called Z-polyhedron, from the mathematical notation Z {\displaystyle \mathbb {Z} } or Z for the set of integer numbers.
Properties For a lattice Λ, Minkowski's theorem relates the number d(Λ) (the volume of a fundamental parallelepiped of the lattice) and the volume of a given symmetric convex set S to the number of lattice points contained in S. The number of lattice points contained in a polytope all of whose vertices are elements of the lattice is described by the polytope's Ehrhart polynomial. Formulas for some of the coefficients of this polynomial involve d(Λ) as well.
Applications
Loop optimization In certain approaches to loop optimization, the set of the executions of the loop body is viewed as the set of integer points in a polyhedron defined by loop constraints.
See also Convex lattice polytope Pick's theorem Ehrhart polynomial
References and notes
Further reading Barvinok, Alexander; Beck, Matthias; Haase, Christian; Reznick, Bruce; Welker, Volkmar (2005), Integer Points In Polyhedra: Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held in Snowbird, UT, July 13–17, 2003, Contemporary Mathematics, vol. 374, Providence, RI: American Mathematical Society, doi:10.1090/conm/374, ISBN 0-8218-3459-2, MR 2134757 Barvinok, Alexander (2008), Integer Points In Polyhedra, Zurich Lectures in Advanced Mathematics, vol. 11, Zürich: European Mathematical Society, doi:10.4171/052, ISBN 978-3-03719-052-4, MR 2455889 Beck, Matthias; Haase, Christian; Reznick, Bruce; Vergne, Michèle; Welker, Volkmar; Yoshida, Ruriko (2008), Integer Points In Polyhedra: Geometry, Number Theory, Representation Theory, Algebra, Optimization, Statistics (PDF), Contemporary Mathematics, vol. 452, Providence, RI: American Mathematical Society, doi:10.1090/conm/452, ISBN 978-0-8218-4173-0, MR 2416261


