[論文レビュー] Ideals generated by adjacent 2-minors

Juergen Herzog, Takayuki Hibi|arXiv (Cornell University)|Dec 28, 2010

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

ひとこと要約

本稿は、多項式環における隣接2-minorによって生成される最小素イデアルおよび根基イデアルの完全な特徴付けを提供し、そのようなイデアルが素イデアルであるか、二次グレブナー基底をもつ条件を確立し、代数的統計における連続表の隣接移動による連結性を同定する応用を行う。主たる貢献は、サポート条件と部分構成要素における行・列和の不変性に基づく、連結性に関する組合せ論的基準である。

ABSTRACT

Ideals generated by adjacent 2-minors are studied. First, the problem when such an ideal is a prime ideal as well as the problem when such an ideal possesses a quadratic Gröbner basis is solved. Second, we describe explicitly a primary decomposition of the radical ideal of an ideal generated by adjacent 2-minors, and challenge the question of classifying all ideals generated by adjacent 2-minors which are radical ideals. Finally, we discuss connectedness of contingency tables in algebraic statistics.

研究の動機と目的

• 隣接2-minorによって生成されるイデアルが素イデアルである条件を特定すること。
• そのようなイデアルが二次グレブナー基底をもつ条件を同定すること。
• そのようなイデアルの根基の一次分解を記述すること。
• 隣接2-minorによって生成されるすべての根基イデアルを分類すること。
• 代数的結果を代数的統計における連続表の連結性問題に応用すること。

提案手法

• 著者らは、先行研究を一般化する「特別な構成」（special configuration）という隣接2-minorの概念を導入し、体系的な解析を可能にする。
• S における許容的集合 W ⊂ S を定義し、各集合に対して素イデアル P_W(C) を関連付ける。これらがイデアル I(C) の最小素イデアルであることが示される。
• 構成の構造と指数テーブルのサポート条件を用いて、二項式 x^a - x^b が与えられた最小素イデアルに属するための必要十分条件を導出する。
• Eisenbud および Sturmfels の二項イデアル理論を応用し、特に I(C) が根基である場合に I(C) を最小素イデアルの交差として表現する。
• I(C) における代数的属する条件と統計的連結性の間の関係を確立する：x^a - x^b ∈ I(C) であることは、テーブル a と b が隣接移動によって接続可能であることと同値である。
• 差テーブル T - T' のサポートと、部分構成要素 S_k における行・列和の不変性を用いて、最小素イデアルへの属する条件を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 隣接2-minorによって生成されるイデアルが素イデアルであるのはいつか？
• RQ2 そのようなイデアルが二次グレブナー基底をもつのはどのような条件下か？
• RQ3 隣接2-minorによって生成されるイデアルの根基の一次分解は何か？
• RQ4 隣接2-minorによって生成されるどのイデアルが根基イデアルか？
• RQ5 二つの連続表はいつ隣接移動によって接続可能であり、その条件を代数的にどのように特徴づけられるか？

主な発見

• 隣接2-minorによって生成されるイデアルが素イデアルであるのは、その2-minorの構成が特別な性質を持ち、それらが対応するグリッド上である種の連結性条件を満たすときである。
• そのようなイデアルが二次グレブナー基底をもつのは、構成が特別であり、関連するグラフが弦的（chordal）であるか、特定の組合せ論的条件を満たすときである。
• イデアル I(C) の最小素イデアルは、許容的集合 W に対応する P_W(C) として明示的に記述される。ここで W は、構成の導出グラフにおける連結成分に対応する。
• I(C) の根基は最小素イデアル P_W(C) の交差として一次分解可能であり、I(C) が根基であることは、それがこれらの P_W(C) の交差に等しいことと同値である。
• 二つの連続表 T と T' が隣接移動によって接続可能であるのは、任意の許容的集合 W に対して、両方のテーブルが補題5.2の条件 (i) または (ii) を満たす、あるいは一方のテーブルが特定の部分集合でゼロの成分を持ち、もう一方が残りの不等式を満たすときである。
• 3×3グリッドのような特定の構成では、連結性は、特定の部分グリッドにおける要素の和を含む6つの不等式系を満たすこと、または一方のテーブルで特定の要素が消えるが他方が残りの条件を満たすことと同値である。