[論文レビュー] Ricci-flat graphs with girth at least five

Yong Lin, Linyuan Lü+1 more|arXiv (Cornell University)|Jan 1, 2013

Geometric Analysis and Curvature Flows参考文献 15被引用数 5

ひとこと要約

この論文は、Ollivierのグラフにおける粗いリッチ曲率定義を用いて、径路が5以上のすべての連結リッチ平坦グラフを分類している。その結果、無限路、$C_n$（$n \geq 6$）のサイクル、ドデカヘドナル・グラフ、ペテルセン・グラフ、および半分ドデカヘドナル・グラフのみが条件を満たすことが示された。一方で、単純リー代数のルート系と被覆構成を用いて、径路3または4のリッチ平坦グラフを構成した。

ABSTRACT

A graph is called Ricci-flat if its Ricci-curvatures vanish on all edges. Here we use the definition of Ricci-cruvature on graphs given in [Lin-Lu-Yau, Tohoku Math., 2011], which is a variation of [Ollivier, J. Funct. Math., 2009]. In this paper, we classified all Ricci-flat connected graphs with girth at least five: they are the infinite path, cycle $C_n$ ($n\geq 6$), the dodecahedral graph, the Petersen graph, and the half-dodecahedral graph. We also construct many Ricci-flat graphs with girth 3 or 4 by using the root systems of simple Lie algebras.

研究の動機と目的

• Ollivierの粗いリッチ曲率定義に基づき、径路が5以上のすべての連結リッチ平坦グラフを分類すること。
• 正則または対称的でないグラフにまで拡張された離散的リッチ平坦構造の理解を深めること。
• 単純リー代数のルート系などの代数的構造を用いて、径路3または4のリッチ平坦グラフを体系的に構成すること。
• グラフ被覆と格子構成が、トーラスの離散的類似物としての有限リッチ平坦グラフを生成する役割を明らかにすること。

提案手法

• メトリック空間上のマルコフ連鎖に適応したOllivierの粗いリッチ曲率定義を、グラフに応用した。
• すべての辺でリッチ曲率が0であるという条件を満たすグラフをリッチ平坦グラフと定義した。
• 三角不等式とグラフ距離の比較を用いて、ルート系から導かれる格子グラフにおけるリッチ平坦性を検証した。
• 対称的なルート集合を用いて、格子ラティス上のカイリー・グラフを構成し、距離の保存を保証した。
• 強いグラフ被覆を用いて、無限格子グラフから有限リッチ平坦商グラフを生成した。
• すべての $n$ および生成集合内の $s$ に対して、$x$ と $x+ns$ の間のグラフ距離が $n$ に等しいことを証明することで、リッチ平坦性を検証した。

実験結果

リサーチクエスチョン

• RQ1 径路が5以上の連結グラフの中で、Ollivierのグラフにおけるリッチ曲率定義のもとでリッチ平坦となるのはどれか？
• RQ2 径路3または4のリッチ平坦グラフは、代数的構造（例えば単純リー代数のルート系）を用いて体系的に構成可能か？
• RQ3 単純リー代数のルート系から導かれる格子グラフは、リッチ平坦グラフをもたらすか？
• RQ4 リッチ平坦格子グラフの商グラフがリッチ平坦となるための条件は何か？
• RQ5 グラフ被覆と距離保存性は、離散幾何学におけるリッチ平坦性とどのように関係するか？

主な発見

• 径路が5以上の唯一の連結リッチ平坦グラフは、無限路、$n \geq 6$ のためのサイクル $C_n$、ドデカヘドナル・グラフ、ペテルセン・グラフ、および半分ドデカヘドナル・グラフである。
• 生成集合が対称である場合、タイプ $A_n$、$B_n$、$C_n$、$D_n$、$F_4$、$E_6$、$E_7$、$E_8$（$G_2$ を除く）のルート系から構成されたカイリー・グラフはリッチ平坦である。
• 2種類の長さのルートを持つルート系（例：$B_n$、$C_n$、$F_4$）では、内積の制約が経路の短縮を制限するため、リッチ平坦性が保たれる。
• リッチ平坦格子グラフ $H$ の部分群 $G'$ において、任意の2要素間の距離が6以上であれば、商グラフ $H/G'$ もリッチ平坦である。
• この構成により、特にルート格子カイリー・グラフの商をとることで、トーラスの離散的類似物としての有限リッチ平坦グラフが得られた。
• この手法により、径路5の分類を超えて、径路3または4の無限族のリッチ平坦グラフが成功裏に生成された。