[論文レビュー] Cayley sums and Minkowski sums of lattice polytopes

Akiyoshi Tsuchiya|arXiv (Cornell University)|Apr 27, 2018

Commutative Algebra and Its Applications参考文献 14被引用数 3

ひとこと要約

本稿は、ミンコフスキー和を用いた、格子多面体のケイリー和が整数分解性質（IDP）を満たすための特徴付けを確立する。具体的には、スケーリングされたケイリー和がIDPであるための必要十分条件を示し、元の多面体がIDPであり、かつそれらのスケーリングされた組がIDP条件を満たす場合に限って成り立つことを証明する。さらに、各多面体が次元 +1 以上の係数でスケーリングされる場合、得られるケイリー和はインデックス m のレベルであるが、ミンコフスキー和はインデックス 1 のレベルである。これは、レベル性に関しては予想を肯定的に解決するが、IDP性に関しては弱いスケーリング条件下で否定的な結果を示す。

ABSTRACT

In this paper, we discuss the integer decomposition property for Cayley sums and Minkowski sums of lattice polytopes. In fact, we characterize when Cayley sums have the integer decomposition property in terms of Minkowski sums. Moreover, by using this characterization, we consider when Cayley sums and Minkowski sums of $2$-convex-normal lattice polytopes have the integer decomposition property. Finally, we also discuss the level property for Minkowski sums and Cayley sums.

研究の動機と目的

• ケイリー和が整数分解性質（IDP）を満たすための条件を、ミンコフスキー和の条件を用いて特徴づけること。
• 2-凸正規または2-凸レベル多面体のスケーリングされたケイリー和およびミンコフスキー和が、IDPまたはレベル性をどのように継承するかを調査すること。
• ケイリー和におけるIDPおよびレベル性を満たすために必要な最小スケーリング量に関する質問1.5を解決すること。
• ケイリー和およびミンコフスキー和のレベル性に最適なスケーリング閾値を特定すること。

提案手法

• 本稿は、スケーリング下でのIDPおよびレベル性を分析するために、2-凸正規および2-凸レベル格子多面体の概念を導入する。
• ケイリー和がIDPであるための必要十分条件を確立する：ケイリー和がIDPであることは、各成分多面体がIDPであり、かつそれらのスケーリングの非負整数組がIDP条件を満たすことと同値である。
• 証明では、ケイリー和構成における重心座標と格子点の分解を用い、特にスケーリングされた多面体の内部格子点を詳細に分析する。
• Higashitani（2016）のスケーリングされた多面体のミンコフスキー和に関する結果を応用し、レベル性の条件を導出する。
• 各多面体がスケーリングされる際、スケーリング係数が dim(P) のみの場合でさえも、ケイリー和がIDPでない例を構成することで、反例を提示する。
• 任意の格子多面体 P について、dim(P) = d ならば、すべての n ≥ d+1 に対して nP が2-凸レベルであることを証明し、これによりスケーリングされたケイリー和のレベル性を確立する。

実験結果

リサーチクエスチョン

• RQ1 格子多面体のケイリー和がIDPである条件は何か？ これはそのミンコフスキー和のIDP性とどのように関係するか？
• RQ2 各多面体のスケーリング係数が dim(P_i) 以上である場合、スケーリングされたケイリー和はIDPを満たすか？
• RQ3 各スケーリング係数が dim(P_i)+1 以上である場合、スケーリングされたケイリー和はインデックス m のレベルであるか？
• RQ4 ケイリー和がレベルであるために必要な最小スケーリング量は何か？ そしてこの境界は最適か？
• RQ5 ミンコフスキー和およびケイリー和のIDPおよびレベル性は、2-凸正規または2-凸レベル多面体を用いて特徴づけられるか？

主な発見

• ケイリー和 P₁*⋯*Pₘ がIDPであるための必要十分条件は、各 Pᵢ がIDPであり、かつすべての非負整数 aᵢ に対して (a₁P₁,…,aₘPₘ) がIDPであり、さらにそのミンコフスキー和 ∑aᵢPᵢ もIDPであることである。
• 各 nᵢ ≥ dim(Pᵢ)+1 ならば、スケーリングされた多面体のミンコフスキー和 ∑nᵢPᵢ はインデックス1のレベルである。これはHigashitani（2016）の結果を確認する。
• 各 nᵢ ≥ dim(Pᵢ)+1 ならば、スケーリングされた多面体のケイリー和 n₁P₁*⋯*nₘPₘ はインデックス m のレベルである。これは質問1.5(2)に対する肯定的解答を提供する。
• インデックス m のレベル性に関して、nᵢ ≥ dim(Pᵢ)+1 という境界は最適である。反例により、nᵢ = dim(Pᵢ) の場合、レベル性が成立しないことが示された。
• IDP性は、nᵢ ≥ dim(Pᵢ) という弱い条件では成り立たない。1次元多面体を3つ用いた反例により、そのケイリー和がIDPでないことが示された。
• 本稿は、任意の格子多面体 P について、dim(P)=d ならばすべての n ≥ d+1 に対して nP が2-凸レベルであることを証明する。これは、スケーリングされたケイリー和のレベル性を確立するために不可欠である。