[論文レビュー] Homologies of path complexes and digraphs

Alexander Grigorʼyan, Yong Lin+2 more|arXiv (Cornell University)|Jul 12, 2012

Topological and Geometric Data Analysis参考文献 12被引用数 36

ひとこと要約

本稿では、単体的複体の一般化である有向グラフ（digraph）およびパス複体に対して、頂点列に作用する境界作用素 ∂ を用いたパスホモロジーを導入する。ホモロジーと双対的なコホモロジー理論を外微分作用素 d を用いて構築し、ジョインおよびカルテシアン積の両方における Künneth 公式を証明する。さらに、従来の単体的ホモロジーが失敗する有向グラフにおいて、非自明な高次元位相的構造をパスホモロジーが捉えることを示す。

ABSTRACT

In this paper we introduce a path complex that can be regarded as a generalization of the notion of a simplicial complex. The main motivation for considering path complexes comes from directed graphs(digraphs). We obtain a new notion of the path homology and cohomology of a digraph.

研究の動機と目的

• 単体的ホモロジーが提供できない、1次元を超える非自明な高次元位相的特徴を捉えることができる、有向グラフ（digraph）のためのホモロジー理論を開発すること。
• 頂点列の集合として定義され、先頭または末尾の頂点を削除することにより閉じている「パス複体」として、単体的複体を一般化すること。
• 境界作用素 ∂ と外微分作用素 d を用いて、ホモロジーとコホモロジーの間の双対性を確立すること。
• テンソル積構造と ∂ および d に関する不変性を用いて、パス複体のジョインおよびカルテシアン積の両方における Künneth 公式を証明し、函子的性および構造的豊かさを保証すること。
• パスホモロジーがホモロジー的穴や次元、チェーン空間の次元、連結成分といった構造的不変量を検出できることを示すこと。

提案手法

• 頂点集合 V 上の有限列（パス）の集合としてパス複体を定義し、先頭または末尾の頂点を削除しても閉じていることとする。
• パスに作用する境界作用素 ∂ を導入し、パスの空間をチェーン複体に変換する。
• 頂点上の関数に作用する外微分作用素 d を用いて、∂ と双対的なコホモロジー理論を定義する。
• チェーン複体 (Ωp, ∂) のホモロジー群 Hp をパスホモロジー群として定義し、コホモロジー複体 (Ωp, d) のコホモロジー群 Hp を定義する。
• ズイツァグ補題を用いて、部分複体および商複体に対してホモロジーおよびコホモロジーの長完全系列を導出する。
• テンソル積構造と ∂ および d に関する不変性を用いて、パス複体のジョインおよびカルテシアン積の両方における Künneth 公式を証明する。

実験結果

リサーチクエスチョン

• RQ1 1次元を超える非自明な高次元位相的構造を捉えることができる、有向グラフのためのホモロジー理論を定義できるか？
• RQ2 有向グラフのパスホモロジーは、そのもとの単体的構造および古典的ホモロジー理論とどのように関係するか？
• RQ3 この新しいホモロジー枠組みにおいて、ジョインおよびカルテシアン積の両方における Künneth 公式が成り立つか？
• RQ4 外微分作用素 d は、パスホモロジーと双対的なコホモロジー理論を定義するために果たす役割は何か？
• RQ5 頂点の削除や三角形分割などの操作は、パス複体のホモロジー群にどのように影響を与えるか？

主な発見

• 単体的ホモロジーが1次元以上で消えるのとは異なり、有向グラフのパスホモロジーはあらゆる次元で非自明である。
• 単体的複体から導かれるパス複体のパスホモロジーは、その単体的ホモロジーと一致するため、一般化の妥当性が裏付けられる。
• ジョインおよびカルテシアン積の両方における Künneth 公式が成り立ち、標準的な位相的構成と整合性を持つことが保証される。
• 外微分作用素 d を用いて定義されるコホモロジー理論は、∂ を用いて定義されるホモロジー理論と双対的であり、d² = 0 であり、d(ω) = 0 ならば閉形式であることが示される。
• p-形式の空間の次元 dim Ωp は、有向グラフの非自明な不変量であり、特定の構造的条件を満たさない限り消えない。
• ズイツァグ補題により、部分複体および商複体に対してホモロジーおよびコホモロジーの長完全系列が得られ、パス複体の構造的解析が可能になる。