[论文解读] Lattice polygons and the number 2i+7

Christian Haase, Josef Schicho|ArXiv.org|Jun 10, 2004

Computational Geometry and Mesh Generation被引用 4

一句话总结

本文分类了所有可能的凸格点多边形的三元组 (a, b, i)，其中 a 为面积，b 为边界格点数，i 为内部格点数，并证明了 b ≤ 2i + 7 是必要且最优的。文章引入了 '洋葱皮' 参数 ℓ 来细化该界，证明了 (2ℓ−1)b ≤ 2i + 9ℓ² − 2，且等号仅在标准单形 Δ 的倍数时成立。

ABSTRACT

In this note we classify all triples (a,b,i) such that there is a convex lattice polygon P with area a, and b respectively i lattice points on the boundary respectively in the interior. The crucial lemma for the classification is the necessity of b \le 2 i + 7. We sketch three proofs of this fact: the original one by Scott, an elementary one, and one using algebraic geometry. As a refinement, we introduce an onion skin parameter l: how many nested polygons does P contain? and give sharper bounds.

研究动机与目标

• 对所有对应于凸格点多边形的三元组 (a, b, i) 进行分类，其中 a 为面积，b 为边界格点数，i 为内部格点数。
• 建立并细化 Scott 提出的不等式 b ≤ 2i + 7，作为此类多边形存在的必要条件。
• 引入并分析 '洋葱皮' 参数 ℓ，用于度量给定多边形内部嵌套的凸格点多边形的数量。
• 基于格点多边形的分层结构，推导出关于 b 的更紧致的界，从而在 Scott 不等式的基础上实现改进。
• 探讨格点多边形不变量与代数几何之间的联系，特别是通过 toric 几何与有理曲面。

提出的方法

• 使用 Pick 定理（a = i + b/2 − 1）作为基础恒等式，建立面积、边界点与内部点之间的关系。
• 应用格点等价变换（SL₂(ℤ) ⋉ ℤ²）将多边形归一化为便于分析的标准形式。
• 采用几何上的 '洋葱皮' 分解：通过递归剥离多边形的外层，定义 ℓ，即嵌套的凸格点多边形的层数。
• 通过分析多边形在包围盒中紧密适配时的高度与底边宽度，使用变量 x = p/ℓ 和 y = (q + q′)/ℓ 推导出界。
• 分析两个二次型 p₁(x, y) = −xy + 4x + 2y − 9 和 p₂(x, y) = −x² − xy + 8x + 4y − 18，证明当 x ≥ 2, y ≥ 0 时，至少有一个 ≤ 0，从而支持主不等式。
• 提供三种不同的 b ≤ 2i + 7 的证明：Scott 的原始证明、一个初等几何证明，以及通过 toric 代数簇的代数几何证明。

实验结果

研究问题

• RQ1 哪些三元组 (a, b, i) 可以作为凸格点多边形的面积、边界格点数与内部格点数？
• RQ2 对于凸格点多边形，b 关于 i 的最紧致上界是什么？能否通过引入额外不变量来改进该界？
• RQ3 作为嵌套凸格点多边形数量的度量，'洋葱皮' 参数 ℓ 如何细化不等式 b ≤ 2i + 7？
• RQ4 是否能通过代数几何方法（特别是 toric 几何）推导并推广不等式 b ≤ 2i + 7？
• RQ5 洋葱皮参数 ℓ 的代数几何类比是什么？它是否能为有理曲面导出新的不等式？

主要发现

• 三元组 (a, b, i) 由凸格点多边形生成，当且仅当 b ≥ 3，i ≥ 0，a = i + b/2 − 1，且满足：i = 0，或 i = 1 且 b ≤ 9，或 i ≥ 2 且 b ≤ 2i + 6。
• 不等式 b ≤ 2i + 7 是存在具有 i 个内部格点与 b 个边界格点的凸格点多边形的必要条件。
• 洋葱皮参数 ℓ 满足 (2ℓ − 1)b ≤ 2i + 9ℓ² − 2，当 ℓ > 1 时，该界严格优于 b ≤ 2i + 7。
• 在精细界 (2ℓ − 1)b ≤ 2i + 9ℓ² − 2 中，等号仅在标准单形 Δ 的倍数时成立。
• 不等式 b ≤ 2i + 7 是最优的，且被特定多边形（如 i = 1, b = 9 的三角形）所实现。
• 多项式分析表明，对于所有 x ≥ 2, y ≥ 0，至少一个表达式 p₁(x, y) 或 p₂(x, y) 非正，从而确认了不等式。