[論文レビュー] On the universal Gröbner bases of toric ideals of graphs

Christos Tatakis, Apostolos Thoma|arXiv (Cornell University)|May 24, 2010

Commutative Algebra and Its Applications参考文献 8被引用数 7

ひとこと要約

この論文は、任意の有限単純グラフのトーリックイデアルの普遍グレブナー基底を、グラフ論的条件を用いて特徴づけ、$ n $ 頂点をもつグラフの普遍グレブナー基底に含まれる二項の次数に対する $ n-2 $ の上限を確立し、シュトゥルムフェルスの予想（回路の真の次数がグレーバー基底の要素の次数を上限づける）に対して反例を提示する。その結果、一部のグレーバー基底要素は、いかなる回路の次数よりも真の次数が厳密に大きいことがあることが示された。

ABSTRACT

The universal Gröbner basis of $I$, is a Gröbner basis for $I$ with respect to all term orders simultaneously. Let $I_G$ be the toric ideal of a graph $G$. We characterize in graph theoretical terms the elements of the universal Gröbner basis of the toric ideal $I_G$. We provide a bound for the degree of the binomials in the universal Gröbner basis of the toric ideal of a graph. Finally we give a family of examples of circuits for which their true degrees are less than the degrees of some elements of the Graver basis.

研究の動機と目的

• グラフのトーリックイデアルの普遍グレブナー基底の要素を、完全にグラフ論的用語で特徴づけること。
• トーリックイデアルのグラフにおける普遍グレブナー基底に含まれる二項の次数に対する上界を確立すること。
• 回路の次数とグレーバー基底要素の次数の関係を調査すること、特にシュトゥルムフェルスの予想の文脈で。
• グレーバー基底の要素が、いかなる回路の次数よりも真の次数が大きい例を明示的に提示することにより、次数の上限に関する予想を反証すること。

提案手法

• 著者たちは、偶数の閉路を用いてグラフのトーリックイデアルを定義し、各閉路 $ w $ を二項 $ B_w = E^+(w) - E^-(w) $ に割り当てる。
• 混合な閉路（純粋ブロックを含まない、すなわち一方の単項式にすべての辺が繰り返し現れる部分閉路を含まない）であることを満たす閉路 $ w $ が、普遍グレブナー基底に属する条件として特徴づける。
• 閉路のブロック分解（循環部とカットエッジ部に分ける）を用いて、次数と構造を分析し、特にブロック数と頂点カバーのカウントに注目する。
• 回路の真の次数に対する式 $ d imes ext{index}(C) imes ext{degree}(C) $ を導出し、グレーバー基底要素の次数と比較する。
• 長さ $ s $ の中心のサイクルと、長さ $ l $ の奇サイクルが $ s $ 個接続されたグラフの族を構成し、すべての辺をカバーする閉路を分析して、高次元のグレーバー基底要素を生成する。
• $ l $ と $ s $ が十分に大きい場合、そのようなグレーバー基底要素の次数 $ s(l+1)/2 $ は、最大回路次数 $ l + s - 1 $ を上回り、かつその回路の真の次数は通常の次数と等しいため、シュトゥルムフェルスの予想は誤りであることが示された。

実験結果

リサーチクエスチョン

• RQ1 グラフ内の偶数の閉路のうち、どのものがそのトーリックイデアルの普遍グレブナー基底に属する二項に対応するか？
• RQ2 頂点数が $ n $ のグラフのトーリックイデアルの普遍グレブナー基底に含まれる二項の最大次数は何か？
• RQ3 グレーバー基底の要素の真の次数が、すべての回路の次数よりも大きいことがあるだろうか？
• RQ4 シュトゥルムフェルスの予想（回路の真の次数が、すべてのグレーバー基底要素の次数を上限づける）は、グラフのトーリックイデアルに対して成り立つか？

主な発見

• グラフのトーリックイデアルの普遍グレブナー基底は、純粋ブロックを含まない（すなわち混合である）偶数の閉路に対応する二項でちょうど構成される。
• 頂点数 $ n $ のグラフの普遍グレブナー基底に含まれる任意の二項の最大次数は $ n - 2 $ であり、この上限はタイトである。
• 長さ $ s $ の中心サイクルと $ s $ 個の長さ $ l $ の奇サイクルが接続されたグラフにおいて、グレーバー基底には次数 $ s(l+1)/2 $ の二項が存在し、これは最大回路次数 $ l + s - 1 $ を上回る。
• このようなグラフにおいて、最大次数の回路の真の次数は通常の次数と等しいため、真の次数は上限を拡大しない。
• この構成により、シュトゥルムフェルスの予想（任意の回路の真の次数がグレーバー基底のすべての要素の次数を上限づける）の反例が得られた。
• 高次元のグレーバー基底要素は純粋であるため普遍グレブナー基底に属さないが、わずかに変更された混合閉路により、同じ高次元の二項が普遍グレブナー基底に属するようになり、反例が保持される。