[論文レビュー] Graphs and Ideals generated by some 2-minors

Masahiro Ohtani|ArXiv.org|Nov 13, 2009

Rings, Modules, and Algebras参考文献 5被引用数 4

ひとこと要約

本稿は、有限単純グラフ $G$ の辺に対応する $2\times n$ 一般行列の $2$-minor によって生成されるイデアル $I_G$ を研究する。グラフ $G$ 内の非可約パスを用いてグレブナー基底を構成し、グラフ操作に基づくアルゴリズム的手法により一次分解を計算する。主な貢献は、$I_G$ の代数的性質（例えば高さや関連素イデアル）を、ハミルトンパスやハミルトンサイクルなどの組合せ的グラフ不変量と直接的に結びつけることにある。

ABSTRACT

Let G be a finite graph on [n] = {1,2,3,...,n}, X a 2 times n matrix of indeterminates over a field K, and S = K[X] a polynomial ring over K. In this paper, we study about ideals I_G of S generated by 2-minors [i,j] of X which correspond to edges {i,j} of G. In particular, we construct a Groebner basis of I_G as a set of paths of G and compute a primary decomposition.

研究の動機と目的

• 生成されたイデアル $I_G$ の代数的構造と、それらを生成するグラフ $G$ の組合せ的性質との間の体系的関係を確立すること。
• グラフ $G$ 内の非可約パスを用いて、$I_G$ のグレブナー基底を構成的かつ明示的に構成する方法を開発すること。
• グラフ理論的演算に基づいて、$I_G$ の一次分解をアルゴリズム的に計算する手順を提供すること。
• 高さや関連素イデアルといった $I_G$ の代数的不変量を、ハミルトンパスやサイクルの存在といったグラフ理論的条件で特徴付けること。

提案手法

• 各辺 $\{i,j\}$ に対して $[i,j] = X_iY_j - Y_iX_j$ と定義される $2$-minor によって生成される、$S = K[X_i, Y_i \mid 1 \leq i \leq n]$ 上のイデアル $I_G$ を定義する。
• グラフ $G$ 内のパスを、辺で結ばれた相異なる頂点の列として定義し、グレブナー基底の基本的構成要素としての非可約パスの概念を導入する。
• 単項式の辞書式順序を用いて、$G$ のすべての非可約パスの集合として $I_G$ のグレブナー基底を構成する。
• グラフの操作（例えば頂点の削除、辺の収縮）を定義し、$I_G$ の分解過程をモデル化する。
• 非可約パスの構造とその和の性質を用いて、$I_G$ の極小素イデアルおよび一次成分を記述する。
• 頂点の次数や連結性といったグラフ理論的不変量を用いて、$I_G$ の高さや関連素イデアルを分析する。

実験結果

リサーチクエスチョン

• RQ1 グラフ $G$ の組合せ的構造から、$I_G$ のグレブナー基底を明示的にどのように構成できるか？
• RQ2 グラフ理論的条件として、$I_G$ の高さを決定するのはどのようなものか？
• RQ3 商環 $S/I_G$ の唯一の関連素イデアルが $I_2(X)$（すべての $2$-minor からなるイデアル）であるのはどのような場合か？
• RQ4 グラフ $G$ にハミルトンパスが存在するのと、$I_G$ の代数的不変量との間にどのような関係があるか？
• RQ5 グラフ操作を用いて、$I_G$ の一次分解をアルゴリズム的に計算できるか？

主な発見

• グレブナー基底は、$G$ 内のすべての非可約パスの集合として明示的に構成され、基底の組合せ的特徴付けが得られる。
• $I_G$ の高さが $n-1$ であることは、$G$ がハミルトンパスをもつことと同値であり、この条件は $\mathop{\mathrm{ht}} I_G = n-1$ を満たすために必要である。
• $G$ がハミルトンサイクルをもつならば、$\mathop{\mathrm{Assh}}_S(S/I_G) = \{I_2(X)\}$ が成り立ち、最大高さの関連素イデアルが唯一のものであることを意味する。
• 高さとハミルトンパスの条件の逆は一般には成り立たない：$\mathop{\mathrm{ht}} I_G = n-1$ であっても、$G$ がハミルトンパスをもたない場合がある。
• 関連素イデアル $I_2(X)$ が最大高さの唯一のものであるのは、$G$ がハミルトンサイクルをもつ場合であるが、これは必要条件ではない。
• 木 $G$ の場合、$\mathop{\mathrm{ht}} I_G = n-1$ であることと、$G$ がハミルトンパスをもつことは同値であり、木の場合にはきつい対応関係が成立する。