OFFSET
1,4
COMMENTS
A lattice polygon is a polygon whose vertices have integer coordinates. (They belong to the integer lattice or grid Z x Z).
A convex lattice polygon is smooth if, for every vertex V, the adjacent lattice points on the two incident edges (which are not necessarily vertices) form together with V a triangle of area 1/2.
LINKS
Günter Rote, Table of n, a(n) for n = 1..300 (first 50 terms from Balletti (2021), Table 2 on p. 1114).
Gabriele Balletti, Enumeration of lattice polytopes by their volume, Discrete Comput. Geom., 65 (2021), 1087-1122.
Gabriele Balletti, Dataset of "small" lattice polytopes (2018).
T. Bogart, C. Haase, M. Hering, B. Lorenz, B. Nill, A. Paffenholz, G. Rote, F. Santos, and H. Schenck, Finitely many smooth d-polytopes with n lattice points, Israel Journal of Mathematics 207 (2015), 301-329; and arXiv version, arXiv:1010.3887 [math.AG], 2010-2013.
Günter Rote, Python program to count convex lattice polygons up to a given area (2023).
EXAMPLE
Here is a smooth lattice polygon with k=6 vertices (V), 2 lattice points on edges (B), 2 interior lattice points (I), and area 5, shown as part of the grid: (The edges of the polygon are not drawn.)
V--V--+--+--+
| | | | |
V--I--B--+--+
| | | | |
+--V--I--B--+
| | | | |
+--+--+--V--V
See Bogart et al., Theorem 32, and Appendix, p. 325, for a list of all 41 (convex) smooth lattice polygons with at most 12 lattice points, with figures.
The dataset of Balletti gives the complete set of 1530 polygons up to area 25. Beware that the vertices are not always listed in sorted (clockwise or counterclockwise) order around the polygon boundary.
PROG
(Python) see the links section.
CROSSREFS
KEYWORD
nonn
AUTHOR
Günter Rote, Oct 09 2023
STATUS
approved