[論文レビュー] Graph magnitude homology via algebraic Morse theory

Yuzhou Gu|arXiv (Cornell University)|Sep 19, 2018

Topological and Geometric Data Analysis参考文献 10被引用数 11

ひとこと要約

この論文は代数的モース理論を用いて、さまざまなグラフのマグニチュードホモロジーを計算し、HepworthおよびWillertonによる未解決の予想を解消する新しい証明と計算を提供する。木、新しい「パフ・グラフ」とも呼ばれるクラスのグラフ、イコスハエドロン・グラフ、およびすべてのサイクルが対角的であることを確立するとともに、マグニチュードホモロジーがマグニチュードよりも厳密に強いことを示し、同じマグニチュードだが異なるホモロジーをもつ例を構成した。

ABSTRACT

We compute magnitude homology of various graphs using algebraic Morse theory. Specifically, we (1) give an alternative proof that trees are diagonal, (2) identify a new class of diagonal graphs, (3) prove that the icosahedral graph is diagonal, and (4) compute the magnitude homology of cycles. These results answer several questions of Hepworth and Willerton [HW17].

研究の動機と目的

• 代数的モース理論を用いて、木やその他のグラフの対角性について、より簡単でアクセスしやすい証明を提供すること。
• HepworthおよびWillertonが提起した、イコスハエドロン・グラフおよびサイクル・グラフのマグニチュードホモロジーに関する未解決の予想を解消すること。
• 「パフ・グラフ」とも呼ばれる新しいグラフクラスを導入・分析し、ジョインのクラスを厳密に一般化するものであり、それが対角的であることを証明すること。
• マグニチュードホモロジーがマグニチュードよりも厳密に強いことを示すために、同じマグニチュードだが異なるホモロジーをもつ明示的な例を構成すること。
• 構造的グラフ性質（測地的、プロレマイック）と対角性との関係を調査し、代数的モース理論を用いて、このようなグラフが対角的であることを示すが、これにより新しい対角的グラフクラスが得られないこと。

提案手法

• グラフのマグニチュードチェーン複体に代数的モース理論を適用し、経路の集合上のマッチングを用いて複体を単純化する。
• 測地的経路における一意な頂点（関数σを介して）に基づくマッチングルールを定義し、チェーン複体内の経路のペアを特定・キャンセルする。
• JöllenbeckおよびSköldbergのモースマッチング基準を用い、得られるマッチングが非巡回的であり、チェーンホモトピー同値を誘導することを保証する。
• 頂点の列に対するプレフィックスマッチング構成を用いてマッチングを定義し、マグニチュードチェーン複体の微分と整合性を保つ。
• 代数的モース理論の定理（例：補題3.10および3.13）を適用し、単純化された複体のホモロジーが元のものと同型であることを結論づける。
• 弦的グラフおよび距離を保全するグラフの特徴付け（誘導サイクルおよび測地的経路の一意性を介して）を用いて、マッチングルールの妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 代数的モース理論を用いて、木が対角的であることを、Mayer-Vietoris定理を避けて、より新しい単純な証明が可能か？
• RQ2 ジョインのクラスよりも広い対角的グラフのクラスは存在するか？ そしてそのようなグラフは特徴付け可能か？
• RQ3 HepworthおよびWillertonが計算データに基づいて提起した予想によれば、イコスハエドロン・グラフおよびサイクル・グラフは対角的であるが、真実か？
• RQ4 マグニチュードホモロジーは、同じマグニチュードだが異なるホモロジーをもつグラフの違いを検出できるか？
• RQ5 測地的かつプロレマイックなグラフ（測地的プロレマイック・グラフ）は対角的構造をもつのか？ そしてこれにより新しい対角的グラフが得られるのか？

主な発見

• 代数的モース理論を用いて、Mayer-Vietoris定理を必要としない、木の対角性に関する代替証明が与えられた。
• 「パフ・グラフ」とも呼ばれる新しいグラフクラスが導入され、それが対角的であることが証明された。これはジョインのクラスを厳密に一般化する。
• イコスハエドロン・グラフが対角的であることが証明され、HepworthおよびWillertonのコンピュータ計算に基づく予想が裏付けられた。
• 奇数および偶数のサイクルのマグニチュードホモロジーが完全に計算され、HepworthおよびWillertonによるホモロジー群のランクに関する予想が確認された。
• マグニチュードホモロジーがマグニチュードよりも厳密に強いことを示すために、同じマグニチュードだが非同型のマグニチュードホモロジーをもつグラフの明示的例が構成された。
• 測地的プロレマイック・グラフが対角的であるという証明が代数的モース理論を用いて与えられたが、このようなグラフが正確にブロックグラフに一致することが示され、それらは既にMayer-Vietorisを用いて対角的であることが知られていた。