[論文レビュー] Relationships between cycle spaces, gain graphs, graph coverings, fundamental groups, path homology, and graph curvature

Mark Kempton, Florentin Münch+1 more|arXiv (Cornell University)|Oct 3, 2017

Topological and Geometric Data Analysis参考文献 18被引用数 5

ひとこと要約

この論文は、正の Bakry-Émery 曲率を持つ有限グラフに対してホモロジーの消滅定理を確立し、そのようなグラフが自明な第一パスホモロジーと有限な基本群を持つことを証明している。これはリーマン幾何学における古典的なBochner定理とMyers定理の離散的類似である。結果は、サイクル空間、ゲイングラフ、グラフ被覆、パスホモロジーを統合することで得られ、第一パスホモロジーとサイクル空間を3-および4-サイクルで割ったものとの関係、および基本群とゲイングラフ構造との関係が鍵となる洞察を提供する。

ABSTRACT

We prove a homology vanishing theorem for graphs with positive Bakry-Émery curvature, analogous to a classic result of Bochner on manifolds \cite{Bochner}. Specifically, we prove that if a graph has positive curvature at every vertex, then its first homology group is trivial, where the notion of homology that we use for graphs is the path homology developed by Grigor'yan, Lin, Muranov, and Yau \cite{Grigoryan2}. %\Hm{added the fundamental group curvature relation} We moreover prove that the fundamental group is finite for graphs with positive Bakry-Émery curvature, analogous to a classic result of Myers on manifolds \cite{Myers1941}. The proofs draw on several separate areas of graph theory. We study graph coverings, gain graphs, and cycle spaces of graphs, in addition to the Bakry-Émery curvature and the path homology. The main results follow as a consequence of several different relationships developed among these different areas. Specifically, we show that a graph with positive curvature can have no non-trivial infinite cover preserving 3-cycles and 4-cycles, and give a combinatorial interpretation of the first path homology in terms of the cycle space of a graph. We relate cycle spaces of graphs to gain graphs with abelian gain group, and relate these to coverings of graphs. Along the way, we prove other new facts about gain graphs, coverings, and cycles spaces that are of related interest. Furthermore, we relate gain graphs to graph homotopy and the fundamental group developed by Grigor'yan, Lin, Muranov, and Yau \cite{Grigoryan_homotopy}, and obtain an alternative proof to their result that the abelianization of the fundamental group is isomorphic to the first path homology over the integers.

研究の動機と目的

• 離散的曲率とホモロジーを用いて、グラフ理論における古典的Bochner定理およびMyers定理の離散的類似を確立すること。
• パスホモロジー、サイクル空間、ゲイングラフ、グラフ被覆を統一的な枠組みで結びつけること。
• 第一パスホモロジー群をサイクル空間を3-および4-サイクルで割ったものとしての組合せ的解釈を提供すること。
• 基本群をゲイングラフと関連づけ、正の曲率のもとでその有限性を証明すること。
• 基本群のアーベル化と整数上での第一パスホモロジーとの同型性について、代替的証明を提示すること。

提案手法

• アーベル的ゲイン群を用いたゲイングラフに基づく新しいサイクル基底、すなわちΓ-サイクル生成子を考案した。
• サイクル空間とゲイングラフの間の対応を確立し、サイクルを保存するグラフ被覆と結びつけた。
• Grigor’yan, Lin, Muranov, Yauのパスホモロジー理論を用いて、グラフのホモロジーと基本群を定義した。
• 第一パスホモロジー群が、3-および4-サイクルによって生成される部分空間を除いたサイクル空間に同型であることを証明した。
• スパニングツリーTとすべての三角形および四角形の集合Bを用いて定義される群Γ(G, T, B)を導入し、基本群をモデル化した。
• DeVos, Funk, Pivottoのバイアス付きグラフに関する結果を応用し、被覆の特徴づけと基本群の有限性を考察した。

実験結果

リサーチクエスチョン

• RQ1 正の Bakry-Émery 曲率を持つグラフは、多様体におけるBochner定理に類似して、第一パスホモロジー群が自明であるか？
• RQ2 正の Bakry-Émery 曲率を持つ有限グラフの基本群は、Myers定理に類似して必然的に有限か？
• RQ3 第一パスホモロジー群は、サイクル空間を3-および4-サイクルで割ったものとして、組合せ的に解釈可能か？
• RQ4 ゲイングラフは、サイクル空間およびサイクルを保存するグラフ被覆とどのように関係するか？
• RQ5 基本群のアーベル化は整数上での第一パスホモロジーと同型であり、かつこれはゲイングラフ構造を用いて証明可能か？

主な発見

• すべての頂点で正の Bakry-Émery 曲率を持つ有限グラフでは、第一パスホモロジー群が自明である。
• 正の Bakry-Émery 曲率を持つ有限グラフの基本群は有限である。
• 第一パスホモロジー群は、すべての3-および4-サイクルによって生成される部分空間を除いたサイクル空間に同型である。
• 正の曲率を持つグラフには、3-および4-サイクルを保存する非自明な無限被覆が存在しない。
• 基本群π₁(G)は、スパニングツリーTとすべての三角形および四角形の集合Bを用いて定義される群Γ(G, T, B)に同型である。
• 基本群のアーベル化は、整数上での第一パスホモロジーと同型であり、既知の結果の代替的証明を提供する。