[論文レビュー] Graph Cohomologies from Arbitrary Algebras

Laure Helme-Guizon, Yongwu Rong|ArXiv.org|Jun 1, 2005

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用数 15

ひとこと要約

この論文は、任意の有限次元で可換かつ次数付き$$\mathbb{Z}$$-代数（次数を保存する積を備える）を用いて、グラフの次数付きコホモロジーを構成することで、グラフコホモロジー理論を拡張する。この構成により、その次数付きオイラー特徴標が、代数の次数付き次元における彩色多項式に等しくなるコホモロジーが得られ、以前の$$\mathbb{Z}[x]/(x^2)$$に基づく研究を一般化する。主な結果として、このコホモロジーは彩色多項式単体よりも細かいグラフ不変量を検出可能であり、特定の状況では奇数位の torsion を含むことが示される。

ABSTRACT

For each commutative, graded algebra with finite dimension in each degree, we construct a graded cohomology theory for graphs whose graded Euler characteristic is the chromatic polynomial of the graph. This extends our previous work which was based on the algebra $\mathbb {Z}[x]/(x^2)$.

研究の動機と目的

• 先行研究で用いられた特定の代数$$\mathbb{Z}[x]/(x^2)$$を超えて、グラフコホモロジーの構成を一般化すること。
• 任意の有限次元で可換かつ次数付き$$\mathbb{Z}$$-代数に対して、その次数付きオイラー特徴標が彩色多項式の代数の次数付き次元における評価に等しいグラフのコホモロジー理論を確立すること。
• このコホモロジー理論が、彩色多項式が同一であるが非同型のグラフを区別できることを示し、彩色多項式単体よりも強い理論であることを示すこと。
• 特に奇数位の torsion が存在するかを検討し、それらが以前の構成では観察されなかったこと。

提案手法

• グラフの各辺に対して代数のテンソル積を用いたチェイン複体を、辺の部分集合によってインデックス化して定義する。
• 代数の積と単位元マップを用いて微分を構成し、次数と次数保存性を満たすようにする。
• 状態和の公式$$P_G(\lambda) = \sum_{s \subseteq E(G)} (-1)^{|s|} \lambda^{k(s)}$$をコホモロジー構成の基盤とする。
• チェイン複体のホモロジーとしてコホモロジー群を定義し、代数の次数構造に誘導される次数を備える。
• グラフの区別能力を高めるために、コホモロジーのねじれ版を導入する。
• 加法群が$$\mathbb{Z} \oplus \mathbb{Z}$$であるすべての可換$$\mathbb{Z}$$-代数を分類し、計算例の支援とする。

実験結果

リサーチクエスチョン

• RQ1 任意の有限次元で可換かつ次数付き$$\mathbb{Z}$$-代数（次数を保存する積を備える）を用いて、グラフの次数付きコホモロジー理論を構成できるか？
• RQ2 このコホモロジーの次数付きオイラー特徴標は、代数の次数付き次元における彩色多項式に等しいか？
• RQ3 このコホモロジー理論は、彩色多項式を超えたグラフ不変量（例：同じ彩色多項式を持つが非同型のグラフ）を検出可能か？
• RQ4 このコホモロジーは torsion を示し、特に以前の構成では観察されなかった奇数位の torsion を含むか？
• RQ5 このコホモロジーと、EastwoodおよびHuggettが$$P_G(\lambda)$$をオイラー特徴標として実現する位相的構成との関係は何か？

主な発見

• このコホモロジー理論は、任意の有限次元で可換かつ次数付き$$\mathbb{Z}$$-代数（次数を保存する積を備える）に対して定義可能であり、以前の結果を一般化する。
• コホモロジー群の次数付きオイラー特徴標は、代数の次数付き次元$$q\dim\mathcal{A}$$における彩色多項式$$P_G(\lambda)$$の評価に等しい。
• 彩色多項式の削除・縮約関係をカテゴリフィケーションする長完全系列が構成される。
• 代数が$$\mathbb{Z}[x]/(x^3)$$の場合、コホモロジー群に位数3の torsion を含むことがあり、奇数位の torsion の存在を示す。
• 彩色多項式が$$\lambda(\lambda-1)^2(\lambda-2)^2$$であるグラフ$$G_1$$と$$G_2$$に対して、コホモロジー群は非同型であることが示され、理論が彩色多項式単体よりも強いことを示す。
• 加法群が$$\mathbb{Z} \oplus \mathbb{Z}$$である環の分類により、同型型は$$b^2 + 4a$$および$$b \mod 2$$によって決定され、非自明な例の構成を支援する。