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

Alexander Grigorʼyan, Yong Lin+1 more|arXiv (Cornell University)|Dec 14, 2020

Topological and Geometric Data Analysis参考文献 8被引用数 6

ひとこと要約

本稿では、パスホモロジー理論を用いて、有限有向グラフにおけるReidemeister torsion と解析的 torsion を導入し、それらの等価性を証明するとともに、直積および結合のグラフの torsion に対する明示的公式を導出する。主な貢献は、古典的Reidemeister torsion および解析的 torsion を離散的パス複体へ一般化した統一的torsion理論の構築であり、単体や八面体といった合成構造に対して閉形式の表現が得られる。

ABSTRACT

We define the notions of Reidemeister torsion and analytic torsion for directed graphs by means of the path homology theory introduced by the authors in \cite{Grigoryan-Lin-Muranov-Yau2013, Grigoryan-Lin-Muranov-Yau2014, Grigoryan-Lin-Muranov-Yau2015, Grigoryan-Lin-Muranov-Yau2020}. We prove the identity of the two notions of torsions as well as obtain formulas for torsions of Cartesian products and joins of digraphs.

研究の動機と目的

• パスホモロジー理論を用いて、有限有向グラフにおける古典的Reidemeister torsion および解析的 torsion の概念を拡張すること。
• ホモロジー基底を介してパス複体に標準的内積を定義し、その上で torsion 不変量を構成すること。
• 非自明なホモロジーを持つ状況においても、有向グラフにおけるReidemeister torsion と解析的 torsion の同一性を証明すること。
• 直積および結合のグラフの torsion に対する明示的公式を導出し、滑らかな位相幾何学における既知の結果を一般化すること。

提案手法

• 頂点の順序付き列を基本パスとすることで、有限頂点集合上にパス複体を定義する。
• ∂² = 0 を満たすパス空間上の境界作用素を導入し、チェーン複体を形成する。
• p-パス上にHodgeラプラシアン Δp を構成し、その正の固有値を用いて解析的 torsion を定義する。
• チェーン複体におけるKünneth公式を用いて、直積および結合の torsion を分析する。
• 結合構成のための拡張チェーン複体を用いて、連結性およびホモロジー構造を適切に取り扱う。
• Ray-Singerの議論を離散的パス複体へ拡張することで、Reidemeister torsion と解析的 torsion の同一性を証明する。

実験結果

リサーチクエスチョン

• RQ1 パスホモロジーを用いることで、有限有向グラフにおけるReidemeister torsion と解析的 torsion を一貫して定義できるか？
• RQ2 パス複体の離散的設定においても、Reidemeister torsion と解析的 torsion の同一性は成立するか？
• RQ3 torsion 不変量は、有向グラフの直積および結合演算の下でどのように振る舞うか？
• RQ4 単体、立方体、八面体などの合成有向グラフの torsion に対する明示的公式は何か？

主な発見

• 任意の有限有向グラフ G に対して、Theorem 3.14 で示されるように、Reidemeister torsion τ(G) と解析的 torsion T(G) は等しい。
• 直積 X□Y に対して、torsion は τ(X□Y) = τ(X)^{χ(Y)} ⋅ τ(Y)^{χ(X)} ⋅ |X|^{χ(Y)/2} ⋅ |Y|^{χ(X)/2} を満たし、χ はオイラー特徴標数を表す。
• 結合 X∗Y に対して、torsion は Corollary 5.8 で示されるように T(X∗Y) = T(X)^{1−χ(Y)} ⋅ T(Y)^{1−χ(X)} ⋅ |X|^{(1−χ(Y))/2} ⋅ |Y|^{(1−χ(X))/2} ⋅ |X∗Y|^{1/2} で与えられる。
• 1つの頂点 O の n 重結合 O^{∗n} の torsion は T(O^{∗n}) = √n である、例 5.10 で示された。
• 2頂点の非連結有向グラフ D の n 重結合 D^{∗n} の torsion は T(D^{∗n}) = √n ⋅ 2^{(1 + n(−1)^n)/2} であり、T(D^{∗2}) = 4 および T(D^{∗3}) = √3 / 2 を得る。
• m 個の頂点を持つサイクル有向グラフ G (χ(G) = 0) の n 重結合 G^{∗n} の torsion は、例 5.12 で示されるように T(G^{∗n}) = √n ⋅ m^{(n+1)/2} である。