[论文解读] Poincare Hopf for vector fields on graphs

Oliver Knill|arXiv (Cornell University)|Nov 11, 2019

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

一句话总结

该论文通过引入一个通过丛映射 $F: G \to V$ 定义的有向单纯复形结构，将庞加莱-霍普夫定理推广到有限简单图上的向量场，其中每个单纯形被分配一个主导顶点。定义了顶点 $v$ 的指标 $i_F(v) = \chi(F^{-1}(v))$，即 $v$ 的原像的欧拉特征，关键结果表明所有顶点的指标之和等于欧拉特征 $\chi(G)$，从而将经典微分拓扑推广到离散设置，并在图动力系统和能量函数中具有应用。

ABSTRACT

We generalize the Poincare-Hopf theorem sum_v i(v) = X(G) to vector fields on a finite simple graph (V,E) with Whitney complex G. To do so, we define a directed simplicial complex as a finite abstract simplicial complex equipped with a bundle map F: G to V telling which vertex T(x) in x dominates the simplex x. The index i(v) of a vertex v is defined as X(F^-1(v)), where X is the Euler characteristic. We get a flow by adding a section map F: V to G. The resulting map T on G is a discrete model for a differential equation x'=F(x) on a compact manifold. Examples of directed complexes are defined by Whitney complexes defined by digraphs with no cyclic triangles or gradient fields on finite simple graphs defined by a locally injective function. The result extends to simplicial complexes equipped with an energy function H:G to Z that implements a divisor. The index sum is then the total energy.

研究动机与目标

• 将经典庞加莱-霍普夫定理从光滑流形推广到有限简单图和离散单纯复形。
• 通过丛映射 $F: G \to V$ 为每个单纯形分配一个主导顶点，定义图上向量场和微分方程的离散类比。
• 将指标定理推广到能量结构的单纯复形上，其中总能量 $\chi(G) = \sum_{x \in G} H(x)$ 等于指标之和 $\sum_v i_F(v)$。
• 通过组合映射 $F: G \to V$ 和 $F: V \to G$，建立图上流的离散柯西-皮卡德存在性定理，从而在顶点集上形成动力系统。

提出的方法

• 将有向单纯复形定义为一个有限抽象单纯复形 $G$，配备一个映射 $F: G \to V$，使得对每个单纯形 $x \in G$，有 $F(x) \in x$，即为每个单纯形分配一个主导顶点。
• 将顶点 $v$ 的指标定义为 $i_F(v) = \chi(F^{-1}(v))$，即指向 $v$ 的单纯形集合的欧拉特征，推广了微分拓扑中指标的概念。
• 通过一种类似基尔霍夫的守恒律证明庞加莱-霍普夫定理 $\sum_{v \in V} i_F(v) = \chi(G)$：通过 $F$ 将单纯形能量重新分配到顶点时，总能量保持不变。
• 通过组合 $F: G \to V$ 与一个截面映射 $F: V \to G$（满足 $v \in F(v)$）构造离散向量场，从而在 $V$ 和 $G$ 上生成一个离散流 $T = F^2$，并通过 $x$ 与 $T(x)$ 的交集保证连续性。
• 将该框架应用于由局部单射函数 $g: V \to \mathbb{R}$ 定义的梯度场，其中 $F(x)$ 是 $x$ 中使 $g$ 最大的顶点，得到指标 $i_F(v) = 1 - \chi(S^{-}(v))$，其中 $S^{-}(v)$ 是单位球 $S(v)$ 中满足 $g(w) < g(v)$ 的顶点构成的子复形。
• 将结果扩展到能量函数 $H: G \to \mathbb{Z}$，其中总能量 $\chi(G) = \sum_{x \in G} H(x)$ 等于顶点指标之和，并在 $H(x) = \omega(x) = (-1)^{\dim(x)}$ 时恢复欧拉特征。

实验结果

研究问题

• RQ1 能否通过离散向量场结构，将庞加莱-霍普夫定理从光滑流形推广到有限图和离散单纯复形？
• RQ2 如何使用映射 $F: G \to V$ 在有限图上建模离散微分方程 $x' = F(x)$ 的类比？
• RQ3 丛映射 $F: G \to V$ 在定义顶点指标和保持欧拉特征等拓扑不变量方面起什么作用？
• RQ4 对随机或无旋向量场的平均如何产生曲率？其与图上莱维特定曲率的关系是什么？
• RQ5 在 $d$-图上，离散向量场在何种意义上模拟了光滑流形上梯度流的动力学？贝蒂数与该设定下的临界点有何关联？

主要发现

• 庞加莱-霍普夫定理在离散设定下成立：$\sum_{v \in V} i_F(v) = \chi(G)$，其中 $i_F(v) = \chi(F^{-1}(v))$ 是丛映射 $F: G \to V$ 下 $v$ 的原像的欧拉特征。
• 当 $H(x) = \omega(x) = (-1)^{\dim(x)}$ 时，总能量 $\chi(G)$ 退化为单纯复形的欧拉特征，且指标之和恢复经典庞加莱-霍普夫恒等式。
• 对于由局部单射函数 $g$ 定义的梯度场，$v$ 处的指标为 $i_F(v) = 1 - \chi(S^{-}(v))$，其中 $S^{-}(v)$ 是单位球 $S(v)$ 中满足 $g(w) < g(v)$ 的顶点构成的子复形。
• 对所有可能的顶点随机排序（或着色）的指标取平均，可得到莱维特定曲率 $K(v)$，且期望指标 $\mathbb{E}[i_g(v)] = K(v)$，从而建立离散高斯-博内公式。
• 在具有双向向量场的 $d$-图情况下，该理论模拟了双曲动力学：临界点对应源、汇或鞍点，其稳定与不稳定流形由 $F^{-}(v)$ 和 $F^{+}(v)$ 的同伦类型建模，且它们的并集与单位球 $S(v)$ 同伦等价。
• 离散的瑞布球面定理成立：$d$-球面允许一个具有恰好两个临界点（最小值和最大值）的莫尔斯函数，且该性质在离散设定中刻画了球面。