[論文レビュー] Three-dimensional lattice polytopes with two interior lattice points

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

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

ひとこと要約

この論文は、単模値同値に関して、正確に2つの内部格子点をもつすべての3次元格子多面体を分類し、22,673,449個のそれらを同定している。また、頂点が (0,0,0), (2,0,0), (0,3,0), (0,0,18) である単体が、2点を持つすべての多面体の中で体積、境界体積、格子点数を最大にする唯一のものであることを確立している。

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.

研究の動機と目的

• 正確に2つの内部格子点をもつすべての3次元格子多面体を完全に分類すること。
• 3次元においてk個の内部点をもつ格子多面体の体積に対する予想される上界を確認すること、特にk=2の場合に限る。
• 2点を持つ多面体の構造的・幾何的極値的性質（体積、格子点数、面数など）を調査すること。
• 分類とEhrhart理論との関係を探索し、特にEhrhart δ多項式の係数に関する予想される不等式を検討すること。
• Q-ゴレンシュタインの退化によって、終身的Fano3次元多様体のトーリック退化を構成するのを支援すること。

提案手法

• 計算代数幾何学とアルゴリズム的列挙技術を用いて、2つの内部格子点をもつすべての3次元格子多面体を体系的に生成・分類する。
• GL₃(ℤ) ⋉ ℤ³ の作用に関して、単模値同値を用いて分類を有限で標準的な代表元の集合に還元する。
• Ehrhart理論を用いて多面体のEhrhart δ多項式を計算・分析し、係数のパターンと極値的挙動に注目する。
• 1点を持つ多面体および反射的多面体の既知の分類を基盤として、2点の場合への結果の拡張を図る。
• 計算最適化を用いて極値例（例えば、体積、境界体積、格子点数を最大にする多面体）を同定する。
• 双対多面体を分析して双対体積を計算し、極値的双対挙動（特に243/2の最大双対体積）を同定する。

実験結果

リサーチクエスチョン

• RQ1 単模値同値に関して、正確に2つの内部格子点をもつ3次元格子多面体はいくつ存在するか？
• RQ2 3次元において、どの2点を持つ多面体が体積、境界体積、格子点数を最大にするか？
• RQ3 2点を持つ多面体のEhrhart δ多項式の係数が、既知の境界を一般化する新しい予想される不等式を満たすか？
• RQ4 分類が、終身的Fano3次元多様体が対数終身的トーリックFano多様体にQ-ゴレンシュタインの退化をもつことを支援できるか？
• RQ5 分類が、3次元においてk個の点を持つ格子多面体の体積に関する予想される上界を確認するものか、k=2の場合に限る？

主な発見

• 単模値同値に関して、正確に2つの内部格子点をもつ3次元格子多面体は、ちょうど22,673,449個存在する。
• 頂点が (0,0,0), (2,0,0), (0,3,0), (0,0,18) である単体は、体積が108、境界体積が102、格子点数が55と、唯一の最大値を達成する。
• すべての2点を持つ多面体の中で、頂点数の最大値は18、辺数は30、面数は18である。
• 頂点が (−1,−1,−1), (0,−1,−1), (−1,0,−1), (7,7,8) である2点を持つ多面体の双対体積は、最大の243/2に達する。
• 分類は、3次元におけるEhrhart δ多項式の係数に関する2つの新しい予想される不等式に強い証拠を提供する。
• 分類は、長年の予想されるk個の点を持つ格子多面体の体積に関する3次元における上界を支持するものであり、k=2の場合に確認された。