[论文解读] The theorems of Green-Stokes,Gauss-Bonnet and Poincare-Hopf in Graph Theory

Oliver Knill|arXiv (Cornell University)|Jan 29, 2012

Graph Theory and Algorithms参考文献 19被引用 9

一句话总结

本文在图论中建立了经典格林-斯托克斯定理、高斯-博内定理和庞加莱-霍普夫定理的离散类比，使用有限简单图上的曲率、微分形式和指标理论的组合定义。主要贡献在于证明：所有顶点上的图曲率之和等于欧拉示性数，且任意单射函数在所有顶点上的指标之和也等于欧拉示性数，从而在纯粹离散的设定下统一了微分拓扑的核心概念。

ABSTRACT

By proving graph theoretical versions of Green-Stokes, Gauss-Bonnet and Poincare-Hopf, core ideas of undergraduate mathematics can be illustrated in a simple graph theoretical setting. In this pedagogical exposition we present the main proofs on a single page and add illustrations. While discrete Stokes is is old, the other two results for graphs were found only recently.

研究动机与目标

• 将经典微分拓扑定理——格林-斯托克斯定理、高斯-博内定理和庞加莱-霍普夫定理——推广到纯粹组合的图论框架中。
• 使用连续概念的离散类比，在有限简单图上定义曲率、微分形式和指标理论。
• 证明所有顶点上的局部曲率之和等于图的欧拉示性数，且任意单射函数在所有顶点上的指标之和也等于欧拉示性数。
• 通过图论语言，提供这些结果的教学性、自包含的阐述，使高级拓扑思想可通过离散数学得以理解。

提出的方法

• 将图的欧拉示性数定义为各维团的交错和：$\chi(G) = \sum_{k=0}^{\infty} (-1)^k v_k$，其中$v_k$为$K_{k+1}$子图的数量。
• 引入顶点$v$处的曲率为$K(v) = \sum_{k=0}^{\infty} (-1)^k V_{k-1}(v)/(k+1)$，其中$V_{k-1}(v)$表示单位球面$S(v)$中$k$-团的数量。
• 将$k$-形式定义为在$k$-团上的反对称函数，其外微分$df$通过面对的交错和来定义。
• 利用单射函数$f: V \to \mathbb{R}$定义指标$i_f(v) = 1 - \chi(S_f^-(v))$，其中$S_f^-(v)$为$f$-值小于$f(v)$的邻居子图。
• 通过传递方程建立图论版本的斯托克斯定理：$\sum_{v \in V} W_k(v) = (k+1) v_{k+1}$，其中$W_k(v)$表示$S(v)$中顶点$f$-值在$f(v)$两侧的$k$-单纯形的数量。
• 通过曲率求和证明高斯-博内定理：$\sum_{v \in V} K(v) = \chi(G)$；通过指标求和证明庞加莱-霍普夫定理：$\sum_{v \in V} i_f(v) = \chi(G)$。

实验结果

研究问题

• RQ1 能否在纯粹离散的设定下，使用有限图重新表述并证明经典高斯-博内定理？
• RQ2 当使用基于邻居子图定义的离散指标时，庞加莱-霍普夫指标定理是否对有限简单图成立？
• RQ3 能否通过在团上定义的离散微分形式和外微分，将格林-斯托克斯定理适配到图上？
• RQ4 维数和可定向性在构建这些定理的离散版本中起什么作用？
• RQ5 在图论语境下，离散曲率和指标概念如何与欧拉示性数相关联？

主要发现

• 在有限简单图$G$的所有顶点$v$上，曲率$K(v)$之和等于欧拉示性数$\chi(G)$，从而证明了离散高斯-博内定理。
• 对于顶点集$V$上的任意单射函数$f$，所有顶点上的指标$i_f(v) = 1 - \chi(S_f^-(v))$之和等于欧拉示性数$\chi(G)$，从而确立了离散庞加莱-霍普夫定理。
• 传递方程$\sum_{v \in V} W_k(v) = (k+1) v_{k+1}$成立，其中$W_k(v)$表示$S(v)$中顶点$f$-值在$f(v)$两侧的$k$-团的数量，该方程使斯托克斯定理的证明成为可能。
• 在$k$-维图中，顶点$v$处的曲率为：当$k=1$时，$K(v) = 1 - \text{deg}(v)/2$；当$k=2$且无边界时，$K(v) = 1 - \text{deg}(v)/6$，展示了低维情形下的显式曲率公式。
• 本文表明，球面类图——通过单位球面为球面类且存在恰好两个临界点的函数来归纳定义——对应于拓扑球面的离散类比。
• 实现了离散雷布定理：一个$k$-维图是球面类当且仅当它存在一个恰好有两个临界点的单射函数，且其水平集构成$h$-余痕的球面。