[论文解读] Combinatorial Ricci Curvature for Polyhedral Surfaces and Posets

Ethan D. Bloch|arXiv (Cornell University)|Jun 18, 2014

Topological and Geometric Data Analysis参考文献 14被引用 7

一句话总结

本文通过分层偏序集，将Forman的组合Ricci曲率扩展至二维多面复形中的顶点和面，解决了其不满足Gauss-Bonnet定理的问题。扩展后的曲率满足离散Gauss-Bonnet公式，并实现了对所有单元（包括可定向曲面）负曲率的表征，这些曲面具有负欧拉示性数。

ABSTRACT

The combinatorial Ricci curvature of Forman, which is defined at the edges of a CW complex, and which makes use of only the face relations of the cells in the complex, does not satisfy an analog of the Gauss-Bonnet Theorem, and does not behave analogously to smooth surfaces with respect to negative curvature. We extend this curvature to vertices and faces in such a way that the problems with combinatorial Ricci curvature are mostly resolved. The discussion is stated in terms of ranked posets.

研究动机与目标

• 解决Forman的组合Ricci曲率在二维多面复形中不满足Gauss-Bonnet定理的问题。
• 将曲率定义从边扩展至二维复形中的所有单元（顶点和面），以恢复与光滑曲率的几何类比。
• 建立所有多面曲面上的单元均可具有负曲率的条件，特别是针对具有负欧拉示性数的可定向曲面。
• 利用分层偏序集提供统一框架，推广曲率定义并分析其拓扑与组合性质。
• 将新曲率与现有方法（如D. Stone的基于顶点的曲率）进行比较，证明其在拓扑一致性方面更优。

提出的方法

• 在秩为2的分层偏序集中定义曲率扩展，分别为顶点、边和2-胞状分配值R₀(v)、R₁(e)和R₂(σ)。
• 利用面关系和邻居计数（包括非平行邻居的重复计数）将Forman的基于边的曲率推广至所有单元。
• 证明在所有单元上扩展曲率的和满足Gauss-Bonnet型公式：对于有限2复形，有∑(R₀(v) + R₁(e) + R₂(σ)) = 2χ(M)。
• 将扩展曲率应用于所有面至少有7条边的多面映射，证明在此条件下所有曲率R₀、R₁、R₂均为负。
• 利用对偶性和偏序结构分析可定向与非可定向曲面，尤其关注χ < 0的情况。
• 将新曲率与D. Stone的基于顶点的曲率R*进行比较，表明尽管R*对多面曲面满足Gauss-Bonnet，但在一般2复形中不成立，且缺乏Myers定理的类比。

实验结果

研究问题

• RQ1 能否将组合Ricci曲率扩展至二维多面复形中的顶点和面，以恢复Gauss-Bonnet型定理？
• RQ2 在何种条件下，二维多面复形中的所有单元（特别是具有负欧拉示性数的可定向曲面）均可具有负曲率？
• RQ3 扩展曲率是否在离散设置中保持光滑曲率关键定理（如Myers定理）的类比？
• RQ4 新曲率与D. Stone的基于顶点的曲率相比，在拓扑一致性与适用性方面有何差异？
• RQ5 是否存在一种组合曲率定义，使其在二维复形的所有单元（包括顶点和面）上均表现得类似于光滑曲率？

主要发现

• 扩展曲率R₀(v)、R₁(e)、R₂(σ)满足离散Gauss-Bonnet定理：对于任意有限二维多面复形M，有∑(R₀(v) + R₁(e) + R₂(σ)) = 2χ(M)。
• 若一个2复形的所有面至少有7条边，则对所有顶点v、边e和2-胞状σ，均有R₀(v) < 0、R₁(e) < 0和R₂(σ) < 0。
• 对每个具有χ(K) < 0的可定向紧致连通曲面K，存在一个同胚于K的多面映射M，使得所有顶点v满足R₀(v) < 0。
• D. Stone定义的曲率R*对多面曲面满足Gauss-Bonnet，但在一般2复形中不成立，且不支持Myers型定理。
• 扩展曲率R₀、R₁、R₂完全基于分层偏序集中的面关系定义，将Forman的基于边的曲率推广至所有单元。
• 采用重复计数邻居（而非仅计数平行邻居）的方法，简化了曲率公式，同时保持了拓扑一致性。