[論文レビュー] Simple polytopes arising from finite graphs

Hidefumi Ohsugi, Takayuki Hibi|arXiv (Cornell University)|Apr 27, 2008

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

ひとこと要約

この論文は、辺多面体が単純であるような有限グラフを分類し、そのような多面体が二次のグレブナー基底をもつトーリックイデアルを持つことを証明し、そのエーリヒト多項式および正規化体積を計算する。主な貢献は、単純な辺多面体をもたらすグラフの完全な特徴付けであり、関連する多面体の組合せ的構造と代数的・幾何的性質の関係を結ぶ。

ABSTRACT

Let $G$ be a finite graph allowing loops, having no multiple edge and no isolated vertex. We associate $G$ with the edge polytope ${\cal P}_G$ and the toric ideal $I_G$. By classifying graphs whose edge polytope is simple, it is proved that the toric ideals $I_G$ of $G$ possesses a quadratic Gröbner basis if the edge polytope ${\cal P}_G$ of $G$ is simple. It is also shown that, for a finite graph $G$, the edge polytope is simple but not a simplex if and only if it is smooth but not a simplex. Moreover, the Ehrhart polynomial and the normalized volume of simple edge polytopes are computed.

研究の動機と目的

• 有限グラフのうち、辺多面体が単純であるものをすべて分類すること。
• 単純な辺多面体のトーリックイデアルに二次のグレブナー基底が存在することを確立すること。
• 単純な辺多面体のエーリヒト多項式および正規化体積を計算すること。
• 単純性、滑らかさ、および単体的構造の欠如の間の関係を明確にすること。

提案手法

• 有限グラフ G の辺およびループに付随するベクトル ρ(e) の凸包として辺多面体を定義する。
• 両端点にループがある場合に辺が不要にならないように保証する条項 (*) を用いる。
• 特に誘導部分グラフおよび次数に関連する組合せ的条件を用いて、辺多面体の単純性を特徴付ける。
• グレブナー基底理論を適用し、PG が単純であるとき、IG が二次的かつ正規単項式をもつ初期イデアルをもつことを示す。
• エッジ環 K[G] のヒルベルト関数を用いて、正規単項式の存在を活用してエーリヒト多項式を計算する。
• 完全二部グラフ、ループをもつグラフ、および誘導部分グラフに基づく、エーリヒト多項式および正規化体積の明示的公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 どの有限グラフ G が単純な辺多面体 PG をもたらすか？
• RQ2 単純な辺多面体のトーリックイデアル IG は常に二次のグレブナー基底を持つだろうか？
• RQ3 単純な辺多面体が滑らかであるのはいつか？ そしてそれはその組合せ的構造とどのように関係するか？
• RQ4 単純な辺多面体のエーリヒト多項式はグラフパラメータの観点からどのように表されるか？
• RQ5 単純な辺多面体の正規化体積はグラフからどのように計算できるか？

主な発見

• 有限グラフ G が単純な辺多面体 PG をもつための必要十分条件は、両端点にループがある場合に辺が不要でない、および特定の誘導部分グラフが次数 1 の頂点をもたず、ある種の偶数サイクルをもたない、という構造的条件である。
• 辺多面体 PG が単純である任意のグラフ G に対して、トーリックイデアル IG は、正規単項式をもつ二次のグレブナー基底をもつ。
• エッジ多面体 PG が単純だが単体ではないことは、かつそれが滑らかだが単体でないことに同値である。
• サイズ p と q の部分をもつ完全二部グラフ G に対して、エーリヒト多項式は i(PG, m) = (p+m-1 choose p-1)(q+m-1 choose q-1) であり、正規化体積は (p+q-2 choose p-1) である。
• G が p 個のループと d 個の頂点を持ち、W がループをもたない頂点の集合であるとき、i(PG, m) = sum_{j=1}^p (j+m-2 choose j-1)(d-j+m choose d-j) であり、正規化体積は sum_{j=1}^p (d-1 choose j-1) である。
• PG のエーリヒト多項式は、正規単項式の存在により正規であることが保証されるエッジ環 K[G] のヒルベルト関数と一致する。