[论文解读] 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粗糙Ricci曲率定义，对围长至少为五的所有连通Ricci平坦图进行了分类。结果表明，仅无限路径、循环图 $C_n$（$n \geq 6$）、十二面体图、Petersen图以及半十二面体图满足该条件；同时，通过单李代数的根系与覆盖构造，构建了围长为3或4的Ricci平坦图。

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的图上粗糙Ricci曲率定义下，对围长至少为五的所有连通Ricci平坦图进行分类。
• 将离散Ricci平坦结构的理解从正则图或对称图扩展至更一般情形。
• 利用如单李代数根系等代数结构，系统构造围长为3或4的Ricci平坦图。
• 探讨图覆盖与格点构造在生成有限Ricci平坦图（作为环面的离散类比）中的作用。

提出的方法

• 采用Ollivier为度量空间上马尔可夫链定义的粗糙Ricci曲率，将其适配于图结构。
• 通过要求所有边上的Ricci曲率为零来定义Ricci平坦图。
• 应用三角不等式与图距离比较，验证由根系构造的格点图的Ricci平坦性。
• 利用根系的对称根集构造Cayley图，确保距离保持不变。
• 使用强图覆盖从无限格点图生成有限的Ricci平坦商图。
• 通过证明对所有 $n$ 和生成集中的 $s$，元素 $x$ 与 $x+ns$ 之间的图距离等于 $n$，来验证Ricci平坦性。

实验结果

研究问题

• RQ1 在Ollivier对图上Ricci曲率的定义下，哪些围长至少为五的连通图是Ricci平坦的？
• RQ2 能否利用代数结构系统构造围长为3或4的Ricci平坦图？
• RQ3 由单李代数根系构造的格点图是否产生Ricci平坦图？
• RQ4 在何种条件下，Ricci平坦格点图的商图仍为Ricci平坦？
• RQ5 图覆盖与距离保持性在离散几何中与Ricci平坦性有何关联？

主要发现

• 围长至少为五的唯一连通Ricci平坦图是无限路径、$n \geq 6$ 时的循环图 $C_n$、十二面体图、Petersen图以及半十二面体图。
• 当生成集对称时，由 $A_n$、$B_n$、$C_n$、$D_n$、$F_4$、$E_6$、$E_7$ 和 $E_8$ 型根系（不包括 $G_2$）构造的Cayley图为Ricci平坦。
• 对于具有两种长度根的根系（如 $B_n$、$C_n$、$F_4$），由于内积约束限制了路径缩短，Ricci平坦性得以保持。
• 若在Ricci平坦格点图 $H$ 的子群 $G'$ 中，任意两点间的图距离至少为6，则商图 $H/G'$ 也是Ricci平坦的。
• 该构造方法生成了作为环面离散类比的有限Ricci平坦图，尤其通过根格Cayley图的商化实现。
• 该方法成功生成了围长为3或4的Ricci平坦图的无限族，扩展了对围长为5的分类结果。