[논문 리뷰] Relationships between cycle spaces, gain graphs, graph coverings, fundamental groups, path homology, and graph curvature

Mark Kempton, Florentin Münch외 1명|arXiv (Cornell University)|2017. 10. 03.

Topological and Geometric Data Analysis참고 문헌 18인용 수 5

한 줄 요약

이 논문은 양의 Bakry-Émery 곡률을 가진 유한 그래프에 대해 호모로지 소멸 정리를 확립하여, 이러한 그래프가 자명한 첫 번째 경로 호모로지와 유한한 기본군을 가짐을 증명한다. 이는 리만 기하학에서의 고전적 Bochner 및 Myers 정리와 유사한 결과이다. 결과들은 사이클 공간, 게인 그래프, 그래프 커버링, 경로 호모로지의 통합을 통해 도출되며, 핵심 통찰은 첫 번째 경로 호모로지가 3- 및 4-사이클에 모odulo된 사이클 공간과 연결되어 있고, 기본군이 게인 그래프 구조와 관련되어 있음을 밝힌다.

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-사이클에 모odulo한 사이클 공간에 대한 조합적 해석을 제공하기.
• 기본군이 양의 곡률 하에서 게인 그래프 구조와 관련되어 있으며, 그 유한성을 증명하기.
• 기본군의 아벨화가 정수 위에서 첫 번째 경로 호모로지와 동형임을 보이는 데에 있어 기존 결과의 다른 증명을 제공하기.

제안 방법

• 아벨 게인 군을 갖는 게인 그래프를 기반으로 한 새로운 사이클 기저인 Γ-회로 생성자(Γ-circuit generator)를 개발하였다.
• 사이클 공간과 게인 그래프 사이의 대응을 수립하여, 사이클을 유지하는 그래프 커버링과 연결하였다.
• Grigor’yan, Lin, Muranov, Yau의 경로 호모로지 이론을 사용하여 그래프의 호모로지 및 기본군을 정의하였다.
• 첫 번째 경로 호모로지 군이 3- 및 4-사이클에 의해 생성된 부분공간에 모odulo된 사이클 공간과 동형임을 증명하였다.
• 스패닝 트리 T와 모든 삼각형 및 사각형의 집합 B를 이용해 정의된 군 Γ(G, T, B)를 도입하여 기본군을 모델링하였다.
• DeVos, Funk, Pivotto의 편향 그래프에 관한 결과를 응용하여 커버링을 특성화하고 기본군의 유한성을 증명하였다.

실험 결과

연구 질문

• RQ1 양의 Bakry-Émery 곡률을 가진 그래프는 다발의 기하학에서 Bochner 정리와 유사하게 첫 번째 경로 호모로지가 자명한가?
• RQ2 양의 Bakry-Émery 곡률을 가진 유한 그래프의 기본군은 Myers 정리와 유사하게 반드시 유한한가?
• RQ3 첫 번째 경로 호모로지 군은 3- 및 4-사이클에 모odulo한 사이클 공간을 통해 조합적으로 해석될 수 있는가?
• RQ4 게인 그래프는 사이클 공간 및 사이클을 유지하는 그래프 커버링과 어떻게 관련되어 있는가?
• RQ5 기본군의 아벨화는 정수 위에서 첫 번째 경로 호모로지와 동형이며, 이는 게인 그래프 구조를 통해 증명될 수 있는가?

주요 결과

• 모든 정점에서 양의 Bakry-Émery 곡률을 가진 유한 그래프는 첫 번째 경로 호모로지 군이 자명하다.
• 양의 Bakry-Émery 곡률을 가진 유한 그래프의 기본군은 유한하다.
• 첫 번째 경로 호모로지 군은 모든 3- 및 4-사이클에 의해 생성된 부분공간에 모odulo된 사이클 공간과 동형이다.
• 양의 곡률을 가진 그래프는 3- 및 4-사이클을 유지하는 비자명한 무한 커버링을 가질 수 없다.
• 기본군 π₁(G)는 스패닝 트리 T와 모든 삼각형 및 사각형의 집합 B를 이용해 정의된 군 Γ(G, T, B)와 동형이다.
• 기본군의 아벨화는 정수 위에서 첫 번째 경로 호모로지와 동형이며, 이는 기존 결과에 대한 다른 증명을 제공한다.