[論文レビュー] Combinatorial Ricci Curvature for Polyhedral Surfaces and Posets

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

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

ひとこと要約

本稿は、ランク付きposetを用いて、2次元多面体複体における頂点および面へのフォーマンの組合せ的リーマン接続曲率の拡張を試み、それがガウス・ボンネ定理を満たさないという問題を解決する。拡張された曲率は離散ガウス・ボンネ公式を満たし、特にオイラー標数が負である可定向曲面を含む、すべてのセルにおける負の曲率の特徴付けを可能にする。

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.

研究の動機と目的

• フォーマンの組合せ的リーマン接続曲率が2次元多面体複体でガウス・ボンネ定理を満たさない問題を解決すること。
• エッジからすべてのセル（頂点および面）への曲率定義の拡張により、滑らかな曲率との幾何的類似性を回復すること。
• 可定向曲面においてオイラー標数が負である場合に、多面体的曲面上のすべてのセルが負の曲率を持つ条件を確立すること。
• ランク付きposetを用いた統一的枠組みを提供し、曲率定義の位相的および組合せ的性質を分析すること。
• D. Stoneの頂点ベース曲率R*などの既存の手法と比較し、本手法の優れた位相的一致性を示すこと。

提案手法

• ランク2のランク付きposet上で曲率拡張を定義し、それぞれの頂点v、エッジe、2次元セルσに対してR₀(v)、R₁(e)、R₂(σ)の値を割り当てる。
• 面関係および近接セルの数（非平行近接セルの二重数え上げを含む）を用いて、フォーマンのエッジベース曲率をすべてのセルに一般化する。
• すべてのセルにおける拡張曲率の和が、ガウス・ボンネ型の公式を満たすことを証明する：有限2複体に対して∑(R₀(v) + R₁(e) + R₂(σ)) = 2χ(M) が成り立つ。
• 7本以上の辺を持つ面を持つ多面体マップに拡張曲率を適用し、その条件下ですべての曲率R₀、R₁、R₂が負であることを示す。
• 双対性およびposet構造を用いて、特にχ < 0 の場合の可向および非可向曲面を分析する。
• D. Stoneの頂点ベース曲率R*と比較し、R*は多面体的曲面ではガウス・ボンネ定理を満たすが、一般の2複体では失敗し、マイヤーズの定理の類似物を有しないことを見る。

実験結果

リサーチクエスチョン

• RQ1 2次元多面体複体における頂点および面への組合せ的リーマン接続曲率を拡張し、ガウス・ボンネ型定理を回復できるか？
• RQ2 どのような条件下で2次元多面体複体のすべてのセルが負の曲率を持つことができるか、特にオイラー標数が負である可定向曲面に関して？
• RQ3 拡張された曲率は、滑らかな曲率における主要定理（例：マイヤーズの定理）の類似物を離散的設定でも保っているか？
• RQ4 位相的一致性および適用可能性の観点から、新しい曲率はD. Stoneの頂点ベース曲率R*とどのように比較できるか？
• RQ5 2複体のすべてのセル（頂点および面を含む）において滑らかな曲率と類似する振る舞いを示す組合せ的曲率定義は存在するか？

主な発見

• 拡張された曲率R₀(v)、R₁(e)、R₂(σ)は、任意の有限2次元多面体複体Mに対して離散ガウス・ボンネ定理を満たす：∑(R₀(v) + R₁(e) + R₂(σ)) = 2χ(M) が成り立つ。
• 2複体のすべての面が少なくとも7本の辺を持つ場合、すべての頂点v、エッジe、2次元セルσに対してR₀(v) < 0、R₁(e) < 0、R₂(σ) < 0 が成り立つ。
• 任意の可定向なコンパクト連結曲面Kに対してχ(K) < 0 ならば、同じ基本的空間を持つ多面体マップMが存在し、すべての頂点vに対してR₀(v) < 0 となる。
• D. Stoneが定義した曲率R*は多面体的曲面ではガウス・ボンネ定理を満たすが、一般の2複体では失敗し、マイヤーズ型定理の類似物を有しない。
• 拡張された曲率R₀、R₁、R₂はランク付きposetにおける面関係に基づいて純粋に定義され、フォーマンのエッジベース曲率をすべてのセルに一般化する。
• （平行な近接セルのみを数えるのではなく）近接セルを二重数え上げる手法により、曲率式が単純化されつつ、位相的一致性が保たれる。