[論文レビュー] Cohen-Macaulay graphs arising from digraphs

Giuseppa Carrà Ferro, Daniela Ferrarello|ArXiv.org|Mar 14, 2007

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

ひとこと要約

本稿では、有向グラフ（digraph）から完全マッチングをもつ無向二部グラフへの写像を用いて、推移的有向グラフと Cohen-Macaulay（CM）二部無向グラフの間の一対一対応を確立する。主な結果は、有向グラフが推移的であることと、その関連無向グラフが Cohen-Macaulay であることの必要十分条件である。この結果により、有向グラフの推移性が多項式トーリックイデアルの代数的性質と結びつけられ、有向グラフ理論と可換代数の橋渡しを果たす。

ABSTRACT

In this paper we show a correspondence between directed graphs and bipartite undirected graphs with a perfect matching, that allows to study properties of directed graphs through the properties of the corresponding undirected graphs. In particular it is shown that a directed graph is transitive iff a corresponding undirected graph is Cohen-Macaulay.

研究の動機と目的

• 有向グラフと完全マッチングをもつ二部無向グラフの間の対応を確立すること。
• 関連無向グラフの Cohen-Macaulay 性質を用いて、推移的有向グラフを特徴付けること。
• 有向グラフのグラフ的性質（例：推移性、無環性）と代数的性質（例：Cohen-Macaulay 性、トーリックイデアル）の間の橋渡しを提供すること。
• 有向グラフの関連グラフを介して、グラフアルゴリズムと計算代数ツールの両方を用いて、有向グラフの性質を検証可能にする。

提案手法

• 有向グラフ $G$ から、ソースおよびシンク頂点を追加した頂点集合の拡張を用いて、無向二部グラフ $H_G$ を構成すること。
• 有向グラフ $G$ のソースとシンクからなるシンク-ソースグラフ $K_G$ を定義し、これは $H_G$ の部分グラフをなす。
• トーリックイデアルと Gröbner 基底理論を用いて、$H_G$ の代数的構造を分析し、特に二項イデアルと初期イデアルに注目すること。
• Hall の定理とマッチング理論を用いて、$G$ が推移的であるとき、$H_G$ に完全マッチングが存在し、それが一意であることを証明すること。
• $H_G$ の辺の数が、Cohen-Macaulay 二部グラフとしての最大可能値と一致することを検証すること。
• 頂点をトポロジカル順序に並べることで、$H_G$ の完全マッチングに属する辺が、$G$ における左から右への有向パスに対応するようにすること。

実験結果

リサーチクエスチョン

• RQ1 有向グラフ $G$ に対応する無向グラフ $H_G$ が Cohen-Macaulay であるための条件は何か？
• RQ2 推移的有向グラフと Cohen-Macaulay 二部グラフとの間の明確な対応関係は何か？
• RQ3 $G$ の構造的性質（例：ソース、シンク、無環性）は、$H_G$ の組合せ的および代数的性質とどのように関係するか？
• RQ4 $H_G$ に一意の完全マッチングが存在することは、$G$ の推移性を特徴付けるのに利用可能か？
• RQ5 シンク-ソースグラフ $K_G$ は、$H_G$ の Cohen-Macaulay 性を決定づける役割を果たすか？

主な発見

• 有向グラフ $G$ が推移的であることと、その関連無向グラフ $H_G$ が Cohen-Macaulay であることは、必要十分条件である。
• 関連グラフ $H_G$ が一意の完全マッチングをもつことは、$G$ が推移的であることと同値である。
• $H_G$ の辺の数は $\frac{(n-s+1)(n-s)}{2}$ で抑えられ、ここで $s$ は $G$ のソースおよびシンクの数であり、この上限は $H_G$ が Cohen-Macaulay であるときに限り達成される。
• $H_G$ の一意の完全マッチングは、$G$ における $s$ 個の頂点に互いに素な有向パスに対応し、すべての頂点をカバーする。
• この構成により、$H_G$ は unmixed であり、唯一の最小頂点被覆をもつことが保証され、これは Cohen-Macaulay 性の必要条件である。
• $G$ の頂点にトポロジカル順序を選び、$H_G$ の完全マッチングに属する辺が、順序上連続する頂点に対応するようにできる。これにより、$G$ のすべての辺が左から右へ向かう有向辺として表される。