[論文レビュー] The Betti numbers of forests

Sean Jacques, Mordechai Katzman|ArXiv.org|Jan 14, 2005

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

ひとこと要約

本稿は、森に関連するスターリング＝ライスナーイデアルのベッチ数に対する再帰的公式を確立し、新たな純粋な組合せ的不変量である森の射影次元を導入する。この射影次元は、頂点分解の選択に依存しないことが示されている。主な貢献は、部分森を用いた射影次元の再帰的計算であり、森の組合せ的構造に深いつながりを持つ明示的公式が得られる。

ABSTRACT

This paper produces a recursive formula of the Betti numbers of certain Stanley-Reisner ideals (graph ideals associated to forests). This gives a purely combinatorial definition of the projective dimension of these ideals, which turns out to be a new numerical invariant of forests. Finally, we propose a possible extension of this invariant to general graphs.

研究の動機と目的

• 森に関連するグラフイデアルのベッチ数に対する組合せ的解釈を提供すること。
• その関連するスターリング＝ライスナー環の射影次元に基づいて、森に対する新しい数値的不変量を定義し、特徴づけること。
• この不変量を一般のグラフへ拡張可能かどうかを検討すること。
• 森の射影次元が、再帰的公式における頂点分解の選択に依存せず、well-definedであることを確立すること。

提案手法

• ホクスターの公式を用いて、ベッチ数を誘導部分グラフ上の非自明ホモロジー次元の和として表現する。
• 森に関連する単体的複体のジョイン構造を応用し、ベッチ数の再帰的関係を導出する。
• 頂点 v を取り除いた部分森 T′ と、v の隣接頂点に誘導される部分森 T′′ を用いて、森 T の射影次元の再帰的公式を導出する。
• pd(T) = max{pd(T′), pd(T′′) + n} であることを確立する。ここで n は v の次数（隣接頂点数）である。
• ベッチ数が射影次元を越えて消えることを利用して、再帰的公式の正しさを証明する。
• スパニングツリーを用いたモジュラー拡張を提案し、各スパニングツリーの射影次元に基づいて生成関数 PG(x) を定義する。

実験結果

リサーチクエスチョン

• RQ1 森に関連するグラフイデアルのベッチ数は、純粋な組合せ的解釈を与えられるか？
• RQ2 森のスターリング＝ライスナー環の射影次元は、再帰的計算における頂点分解の選択に依存しないか？
• RQ3 森の射影次元の背後にある組合せ的構造は何か？ また、代数的道具を用いずに定義可能か？
• RQ4 森の射影次元不変量は、体の特性を尊重する形で一般のグラフへ拡張可能か？
• RQ5 コーエン＝マカウール型は、森のスターリング＝ライスナー環の最高次のベッチ数にどのような役割を果たすか？

主な発見

• 森 T の射影次元は、再帰的に pd(T) = max{pd(T′), pd(T′′) + n} で与えられる。ここで T′ は頂点 v を取り除いた部分森、T′′ は v の隣接頂点に誘導される部分森である。
• ベッチ数 β_pd(T)(T) は、pd(T′) > n + pd(T′′) ならば β_pd(T′)(T′) に等しく、pd(T′) < n + pd(T′′) ならば β_pd(T′′)(T′′) に等しく、両者が等しければその和に等しい。
• 森の射影次元は、体 K の選択に依存せず、特にすべての頂点の次数が 2 以下である場合に顕著に現れる。
• 不変量 pd(T) は well-defined であり、再帰的分解に用いる頂点 v の選択に依存しない。公式に一見依存するように見えるが、実際には依存しない。
• 森において、ベッチ数 β_i,d(T) は二項係数と部分森のベッチ数を用いて再帰的に計算可能であり、完全なアルゴリズム的特徴づけが得られる。
• 本稿では、任意のグラフへの一般化を提案し、PG(x) = ∑|p_i(G)|x^i と定義する。ここで p_i(G) は射影次元が i である G のスパニングツリーの集合である。