[論文レビュー] Weighted Path homology of Weighted Digraphs and Persistence

Yong Lin, Shiquan Ren+2 more|arXiv (Cornell University)|Oct 22, 2019

Topological and Geometric Data Analysis参考文献 15被引用数 4

ひとこと要約

本稿では、Grigor'yan らのパスホモロジー理論を一般化し、境界作用素に頂点重みを組み込むことで、重み付き有向グラフの重み付きパスホモロジーを導入する。また、恒続的重み付きパスホモロジー枠組みを確立し、重み付き有向グラフの結合に関する恒続的 Künneth 型公式を証明し、整数係数を用いる場合にホモロジーが重みに依存することを示している。

ABSTRACT

In recent years, A. Grigor'yan, Y. Lin, Y. Muranov and S.T. Yau [6, 7, 8, 9] constructed a path homology theory for digraphs. Later, S. Chowdhury and F. Memoli [3] studied the persistent path homology for directed networks. In this paper, we generalize the path homology theory for digraphs and construct a weighted path homology for weighted digraphs. We study the persistent weighted path homology for weighted digraphs and detect the effects of the weights on the persistent weighted path homology. We prove a persistent version of a Kunneth-type formula for joins of weighted digraphs.

研究の動機と目的

• 頂点重みを境界作用素に組み込むことで、パスホモロジー理論を重み付き有向グラフへ一般化すること。
• 重み付き有向ネットワーク内の位相的特徴を分析するための恒続的重み付きパスホモロジー枠組みを開発すること。
• 頂点重みが有向グラフにおける恒続的ホモロジーに与える影響を調査すること。
• 重み付き有向グラフの結合に関する重み付きパスホモロジーの恒続的 Künneth 公式を確立すること。
• 異なる係数環を用いた場合に、恒続的重み付きパスホモロジーと標準的恒続的パスホモロジーを比較すること。

提案手法

• 頂点重みで重み付けられた面写像の交錯和として重み付き境界作用素を定義する：$\sum_{k\geq 0}(-1)^k w(i_k) d_k$。
• 可換環 $R$ を係数とするパスの形式的線形結合を用いて、複体 $\Omega_*^w(G)$ を構成する。
• 重み付き境界作用素が $\partial^2 = 0$ を満たすことを証明し、重み付きパスホモロジー $H_*(G,w;R)$ が適切に定義されることを保証する。
• 重み付き有向グラフの準同型を定義し、重み付きパスホモロジーがこれらの写像に関して函子的であることを示す。
• 重み付き有向グラフの系列とそれらの間の写像を考察することで、恒続的枠組みを構築する。
• チェーン複体のテンソル積と代数的 Künneth 公式を用いて、2つの重み付き有向グラフの結合に関する恒続的 Künneth 型公式を確立する。

実験結果

リサーチクエスチョン

• RQ1 境界作用素に頂点重みを組み込むと、有向グラフのパスホモロジーにどのような影響を与えるか？
• RQ2 体係数を用いる場合、恒続的重み付きパスホモロジーと標準的恒続的パスホモロジーの関係は何か？
• RQ3 整数係数を用いる場合、頂点重みは恒続的重み付きパスホモロジーにどのように影響を与えるか？
• RQ4 2つの重み付き有向グラフの結合に関する重み付きパスホモロジーに対して、Künneth 型公式を確立できるか？
• RQ5 重み付き有向グラフの結合の恒続的重み付きパスホモロジーは、因子のホモロジーのテンソル積に分解可能か？

主な発見

• 重み付きパスホモロジーは、単位元を持つ可換環上の重み付き有向グラフの準同型に関して、適切に定義され、函子的である。
• 体係数を用いる場合、恒続的重み付きパスホモロジーは、Chowdhury と Mémoli が研究した標準的恒続的パスホモロジーと同型である。
• 整数係数を用いる場合、明示的な例（第4.3節）により、恒続的重み付きパスホモロジーが重みに非自明に依存することが示された。
• 2つの重み付き有向グラフの結合に関して、恒続的 Künneth 型公式が成り立ち、テンソル積と Tor ファンクターを含む自然な短完全系列が得られる。
• チェーン複体の結合と因子のチェーン複体のテンソル積の間の明示的写像 $\mu_\#$ が、境界作用素と可換であることが確立された。
• 得られたホモロジーにおける短完全系列は分解可能であり、恒続的 Künneth 公式の代数的構造が裏付けられた。