[论文解读] A Reeb sphere theorem in graph theory

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

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

一句话总结

本文通过统一球体的两种组合方法——归纳球体定义与离散莫尔斯理论——在有限简单图中建立了离散的黎布球定理。证明了有限 d-图是 d-球当且仅当存在一个函数，其仅有两个临界点（全局最小值与最大值），且在临界顶点处的水平集（中心流形）要么为空，要么为球面的乘积，从而将经典黎布定理推广至离散情形。

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)}）重新表述莫尔斯条件，以组合方式定义临界点。
• 建立经典黎布球定理的离散类比，证明 d-图是 d-球当且仅当其存在恰好两个临界点的函数。
• 为通过受控拓扑结构的 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-球，存在一个函数 f，其仅有两个临界点（全局最小值与最大值），且在临界点处的水平集 B_f(x) 要么为空，要么为球面的乘积，从而推广黎布定理。
• 使用巴里中心化细化，确保子图 {f ≤ c} 为带边界的 d-图，从而在细化过程中保持拓扑结构。
• 展示在 d-球中进行边细化可保持球体性质，且在受控增长下实现，从而为 4-着色问题提供 3-球的算法构造。

实验结果

研究问题

• RQ1 能否通过离散莫尔斯理论将经典黎布球定理推广至有限图？
• RQ2 在 d-图中，临界点处的中心流形 {f = f(x)} 的特征是什么？其与莫尔斯指标有何关系？
• RQ3 在何种条件下，d-图存在恰好两个临界点的函数？此时它何时为 d-球？
• RQ4 在非巴里中心化图中，拓扑性质（如可缩性与球体结构）在顶点移除或边细化下如何表现？
• RQ5 能否通过具有受控拓扑结构的 d-球递增序列，算法化地构建 d-球？需要何种细化？

主要发现

• 有限 d-图是 d-球当且仅当存在一个函数 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-球 S^2 × S^0（莫尔斯指标 1 或 3）。
• 在 d-图中，水平曲面 {f = c} 对于 c 不在 f(V) 的范围内，总是 (d−1)-图，从而保证无奇点，与经典 Sard 定理一致。
• 在非巴里中心化细化图中，向 d-球 B 添加一个球 B(x) 可能因新边连接 B 内部而改变其拓扑结构，但可通过在生长球内部进行边细化避免此问题。
• 即使 {f ≤ c} 是带边界的 d-图，子图 {f < c} 也可能不是 d-球，但在巴里中心化细化下，{f ≤ c} 总是带边界的 d-图，从而保持拓扑结构。