[論文レビュー] Ehrhart Quasi-Polynomials of almost integral polytopes

Christopher de Vries|arXiv (Cornell University)|Aug 25, 2021

Advanced Combinatorial Mathematics参考文献 17被引用数 2

ひとこと要約

本稿は、ほぼ整数的ポリトープの幾何的性質—特に中心対称性とゾノトープ構造—と、それらのEhrhart準多項式の代数的性質—対称性とGCD性質—の間の正確な対応関係を確立する。中心対称性を持つラティス多面体であることは、すべての有理数の平行移動に対してEhrhart準多項式が対称であることに、かつそのときに限り等価であり、ゾノトープであることは、すべてのこのような平行移動がGCD性質を満たす準多項式をもたらすことに、かつそのときに限り等価である。このように、Ehrhart関数を通じてこれらの多面体が特徴づけられる。

ABSTRACT

A lattice polytope translated by a rational vector is called an almost integral polytope. In this paper we investigate Ehrhart quasi-polynomials of almost integral polytopes. We study the relationship between the shape of the polytopes and algebraic properties of the Ehrhart quasi-polynomials. In particular, we prove that lattice zonotopes and centrally symmetric lattice polytopes are characterized by Ehrhart quasi-polynomials of their rational translations.

研究の動機と目的

• ほぼ整数的ポリトープの幾何的特徴と、それらのEhrhart準多項式の代数的性質との間の関係を調査すること。
• 有理数の平行移動におけるEhrhart準多項式の対称性またはGCD性質が、特定の多面体の型を特徴づけるかどうかを特定すること。
• ラティス多面体が中心対称であるかゾノトープであるかの必要十分条件を、有理数の平行移動におけるEhrhart準多項式の挙動に基づいて確立すること。

提案手法

• Ardila-Beck-McWhirterが導出したほぼ整数的ゾノトープのEhrhart準多項式の公式を用い、このような準多項式がGCD性質を満たすことを証明する。
• 翻訳された格子点数関数 $ L(P,c)(t) = \#((c + tP) \cap \mathbb{Z}^d) $ を導入し、$ t \in \mathbb{Z}_{>0} $ における多項式としての性質を示し、Ehrhart準多項式の構成要素を記述可能にする。
• $ L(P,c)(t) = L(P,-c)(t) $ が成り立つのは $ P $ が中心対称であるときかつそのときに限り、という事実を証明し、すべての有理数 $ c $ に対して $ L_{c+P}(t) $ が対称であることは、$ P $ が中心対称であることに、かつそのときに限り等価であることを確立する。
• McMullenによる面の中心対称性を用いたゾノトープの特徴づけを応用し、$ P $ がゾノトープでない場合、分母が奇数であるような有理数 $ c $ が存在し、$ L(P,c)(t) \neq L(P,2c)(t) $ となることを示し、GCD性質が破られる。
• Minkowskiの面法線と体積に関する定理を用い、$ P $ が中心対称でない場合の対称性の反例を構成する。
• 最小周期の性質とそのスケーリング不変性を分析し、一般性を失わず最小周期に注目することの正当性を示す。

実験結果

リサーチクエスチョン

• RQ1 すべての有理数 $ c $ に対して $ L_{c+P}(t) $ が対称であることは、$ P $ が中心対称であることを示唆するか？
• RQ2 すべての有理数 $ c $ に対して $ L_{c+P}(t) $ がGCD性質を満たすことは、$ P $ がゾノトープであることを示唆するか？
• RQ3 ほぼ整数的ゾノトープ以外の有理数多面体で、Ehrhart準多項式がGCD性質を満たすものはあるか？
• RQ4 ほぼ整数的ゾノトープのEhrhart準多項式と、ヒルベルト配置の特徴的準多項式との関係は何か？

主な発見

• ラティス多面体 $ P $ が中心対称であることは、すべての有理数ベクトル $ c $ に対してEhrhart準多項式 $ L_{c+P}(t) $ が対称であることと、かつそのときに限り等価であり、定理4.2で証明されている。
• ラティス多面体 $ P $ がゾノトープであることは、すべての有理数ベクトル $ c $ に対してEhrhart準多項式 $ L_{c+P}(t) $ がGCD性質を満たすことと、かつそのときに限り等価であり、定理5.5で確立されている。
• ほぼ整数的ゾノトープ $ P_3 = (\frac{1}{9}, \frac{2}{9}, \frac{1}{3})^T + [0,1]^3 $ に対して、Ehrhart準多項式 $ L_{P_3}(t) $ は3つの異なる構成要素しか持たず、$ f_1(t) = f_2(t) = f_4(t) = f_5(t) = f_7(t) = f_8(t) = t^3 $、$ f_3(t) = f_6(t) = t^3 + t^2 $、$ f_9(t) = (t+1)^3 $ であり、周期 $ \rho = 9 $ においてGCD性質を示している。
• 中心対称なほぼ整数的オクタヘドロン $ P_2 = (\frac{5}{9}, \frac{5}{9}, \frac{2}{3})^T + \text{Conv}\{\pm e_i\} $ に対して、Ehrhart準多項式 $ L_{P_2}(t) $ は $ f_k(t) = f_{9-k}(t) $ を満たし、周期 $ \rho = 9 $ において対称性が確認されている。
• 翻訳された格子点数関数 $ L(P,c)(t) $ は $ t \in \mathbb{Z}_{>0} $ における多項式であり、$ L_{c+P}(t) $ の構成要素を完全に記述可能であることが、補題3.4で示されている。
• Ehrhart準多項式の最小周期はスケーリングに対して不変である：最小周期 $ \rho_0 $ に対してGCD性質を満たすならば、任意の倍数 $ k\rho_0 $ に対しても同様に成り立つ。これは命題1.4で証明されている。