[论文解读] Three-dimensional lattice polytopes with two interior lattice points

Gabriele Balletti, Alexander Kasprzyk|arXiv (Cornell University)|Dec 28, 2016

Advanced Combinatorial Mathematics参考文献 22被引用 7

一句话总结

本文在仿射等价关系下对所有包含恰好两个内点的三维格点多面体进行了分类，共识别出 22,673,449 个此类多面体。研究证明，顶点为 (0,0,0)、(2,0,0)、(0,3,0) 和 (0,0,18) 的单形在所有两内点多面体中唯一地实现了体积、边界体积和格点数的最大化。

ABSTRACT

We classify the three-dimensional lattice polytopes with two interior lattice points. Up to unimodular equivalence there are 22,673,449 such polytopes. This classification allows us to verify, for this case only, a conjectural upper bound for the volume of a lattice polytope with interior points, and provides strong evidence for new conjectural inequalities on the coefficients of the Ehrhart polynomial in dimension three.

研究动机与目标

• 提供所有包含恰好两个内点的三维格点多面体的完整分类。
• 验证三维空间中具有 k 个内点的格点多面体体积上界的猜想，特别针对 k=2 的情形。
• 研究两内点多面体的结构与几何极值性质，包括体积、格点数和面数。
• 探索分类与 Ehrhart 理论之间的联系，特别是关于 Ehrhart δ-多项式系数的猜想不等式。
• 通过 Q-Gorenstein 退化至对数终端的塔希克 Fano 算术三倍曲面，支持 Fano 三倍曲面的塔希克退化构造。

提出的方法

• 采用计算代数几何与算法枚举技术，系统生成并分类所有具有两个内点的三维格点多面体。
• 利用仿射等价性将分类问题约化为 GL₃(ℤ) ⋉ ℤ³ 作用下的有限、规范的代表元集合。
• 应用 Ehrhart 理论计算并分析多面体的 Ehrhart δ-多项式，重点关注系数模式与极值行为。
• 以已知的一内点多面体与对称多面体的分类为基础，将结果推广至两内点情形。
• 通过计算优化识别极值例子，如体积、边界体积与格点数最大的多面体。
• 分析对偶多面体以计算对偶体积，并识别对偶行为的极值，包括最大对偶体积为 243/2。

实验结果

研究问题

• RQ1 在仿射等价关系下，包含恰好两个内点的三维格点多面体共有多少个？
• RQ2 在三维空间中，哪一个两内点多面体在体积、边界体积与格点数上达到最大？
• RQ3 两内点多面体的 Ehrhart δ-多项式系数是否满足新的猜想不等式，从而推广已知的有界性？
• RQ4 该分类是否能支持终端 Fano 三倍曲面经 Q-Gorenstein 退化至对数终端塔希克 Fano 代数曲面的存在性？
• RQ5 该分类是否验证了三维空间中 k-内点格点多面体体积的猜想上界，特别针对 k=2 的情形？

主要发现

• 在仿射等价关系下，恰好包含两个内点的三维格点多面体共有 22,673,449 个。
• 顶点为 (0,0,0)、(2,0,0)、(0,3,0) 和 (0,0,18) 的单形在体积上达到最大值 108，边界体积最大值为 102，且包含 55 个格点，是唯一实现该最大值的多面体。
• 在所有两内点多面体中，最大顶点数为 18，边数为 30，面数为 18。
• 顶点为 (−1,−1,−1)、(0,−1,−1)、(−1,0,−1) 和 (7,7,8) 的两内点多面体的对偶体积达到最大值 243/2。
• 该分类为三维空间中 Ehrhart δ-多项式系数提供了两个新猜想不等式的强有力证据。
• 该分类支持了关于三维空间中 k-内点格点多面体体积的长期猜想上界，且在 k=2 时已得到验证。