[論文レビュー] A Reeb sphere theorem in graph theory

Oliver Knill|arXiv (Cornell University)|Mar 25, 2019

Topological and Geometric Data Analysis参考文献 21被引用数 5

ひとこと要約

本稿は、帰納的球体定義と離散モーレー理論の2つの組み合わせ的球体アプローチを統合することで、有限単純グラフにおける離散リーブ球体定理を確立する。有限 d-グラフが d-球体であるための必要十分条件として、最小値と最大値の2つの臨界点をもつ関数が存在することを示し、臨界点におけるレベル集合（中心多様体）が空または球体の積であることを示す。これは古典的リーブ定理を離散的設定に一般化するものである。

ABSTRACT

We prove a Reeb sphere theorem for finite simple graphs. The result bridges two different definitions of spheres in graph theory. We also reformulate Morse conditions in terms of the center manifolds, the level surface graphs {f=f(x)} in the unit sphere S(x). In the Morse case these graphs are either spheres, the empty graph or the product of two spheres.

研究の動機と目的

• 有限グラフにおける帰納的球体定義と離散モーレー理論の間のギャップを埋めること。
• 単位球体 S(x) 内のレベル曲面グラフ {f = f(x)} である中心多様体 B_f(x) を用いて、臨界点を組み合わせ的に定義するモーレー条件を再定式化すること。
• 古典的リーブ球体定理の離散的類似を確立し、d-グラフが d-球体であるための必要十分条件として、正確に2つの臨界点（グローバル最小値と最大値）をもつ関数が存在することを示すこと。
• トポロジーが制御された d-ボールの増加列を用いた、d-ボールを構成的に構築するフレームワークを提供すること。これは、アルゴリズム的彩色問題に関連する。
• 非バーチャル・リファインドグラフにおけるトポロジカル障害を明確化すること。ここでは、頂点の削除や辺の追加によって、標準的なトポロジカル不変量（可縮性やボール構造）が失敗する可能性がある。

提案手法

• d-グラフを、すべての単位球体 S(x) が (d−1)-球体である有限単純グラフとして定義する。d-球体は、穴を空けたときに可縮性を示す d-グラフである。
• 頂点集合 V 上の局所的単射関数 f を用いて、S_f^−(x) = {y ∈ S(x) | f(y) < f(x)} として定義される部分グラフの位相から臨界点を定義する。頂点 x が臨界点であるとは、この部分グラフが可縮でないときを指す。
• 中心多様体 B_f(x) = {f = f(x)} ∩ S(x) を導入する。これはモーレー指数を特徴づける：最大値・最小値では空集合（モーレー指数 0 または d）、モーレーの場合には球体の積となる。
• d-球体において、正確に2つの臨界点（グローバル最小値と最大値）をもつ関数 f が存在することを証明し、臨界点におけるレベル集合 B_f(x) が空または球体の積であることを示す。これは古典的リーブ定理の一般化である。
• バーチャル・リファインメントを用いて、{f ≤ c} が境界付き d-グラフであることを保証する。リファインメントによってトポロジカル構造が保存される。
• d-ボールにおける辺のリファインメントが、成長するボール内での制御された成長のもとでボール性を保つことを示し、4色問題における3-ボールのアルゴリズム的構築を可能にする。

実験結果

リサーチクエスチョン

• RQ1 古典的リーブ球体定理は、離散モーレー理論を用いて有限グラフへ拡張可能か？
• RQ2 d-グラフにおける臨界点における中心多様体 {f = f(x)} はどのように特徴づけられるか。また、モーレー指数とはどのような関係にあるか？
• RQ3 d-グラフが正確に2つの臨界点をもつ関数を有するための条件は何か。また、そのようなグラフが d-球体であるとはいつ言えるか？
• RQ4 非バーチャル・リファインドグラフにおいて、頂点の削除や辺のリファインメントによって、可縮性やボール構造といったトポロジカル性質はどのように変化するか？
• RQ5 トポロジーが制御された d-ボールの増加列を用いて、d-ボールをアルゴリズム的に構築可能か。どのようなリファインメントが必要か？

主な発見

• 有限 d-グラフが d-球体であるための必要十分条件は、正確に2つの臨界点（グローバル最小値と最大値）をもつ関数 f が存在することである。
• 臨界点において、中心多様体 B_f(x) = {f = f(x)} ∩ S(x) は空（モーレー指数 0 または d）または球体の積である。例として、d=3 の場合、モーレー指数 1 または 2 では S^1 × S^0 が得られる。
• d=4 の場合、臨界点におけるモーレー中心多様体の可能な唯一の型は、空集合（モーレー指数 0 または 4）、2-トーラス S^1 × S^1（モーレー指数 2）、または2つの不連結な2次元球体 S^2 × S^0（モーレー指数 1 または 3）である。
• d-グラフにおけるレベル曲面 {f = c} は、c が f(V) の範囲外にある限り、常に (d−1)-グラフである。これは特異点が存在しないことを保証し、古典的サードの定理に類似する。
• 非バーチャル・リファインドグラフでは、d-ボール B に B(x) を加えると、B と自身を接続する新しい辺が生じ、トポロジーが変化する可能性があるが、成長するボール内での辺リファインメントによりこれを回避できる。
• {f < c} が d-ボールでなくても、{f ≤ c} が境界付き d-グラフであれば、バーチャル・リファインメントでは {f ≤ c} は常に境界付き d-グラフである。これはトポロジカル構造の保存を保証する。