[论文解读] An index formula for simple graphs

Oliver Knill|arXiv (Cornell University)|May 2, 2012

Geometric Analysis and Curvature Flows参考文献 68被引用 21

一句话总结

本文建立了一个拓扑指标公式，通过在单射函数上的期望，将图的欧拉示性数与离散曲率联系起来。证明了所有奇维几何图在处处具有零曲率，该结果源于一个涉及导图 $B_f(x)$ 的欧拉示性数的指标公式，将庞加莱-霍普夫定理和高斯-博内定理推广至离散图和紧致黎曼流形。

ABSTRACT

Gauss-Bonnet for simple graphs G assures that the sum of curvatures K(x) over the vertex set V of G is the Euler characteristic X(G). Poincare-Hopf tells that for any injective function f on V the sum of i(f,x) is X(G). We also know that averaging the indices E[i(f,x)] over all functions gives curvature K(x). We explore here the situation when G is geometric of dimension d: that is if each unit sphere S(x) is geometric of dimension d-1 and that X(S(x))=0 for even d and X(S(x))=2 for odd d. The dimension of G is inductively defined as the average of 1+dim(S(x)) over all S(x) assuming the empty graph has dimension -1. We prove that any odd dimensional geometric graph G has zero curvature. This is done with the help of an index formula j(f,x) = 1-X(S(x))/2-X(B(f,x))/2, where j(x)=[i(f,x)+i(-f,x)]/2. The graph B(f,x) is the discrete level surface {y | f(y) = f(x)} intersected with S(x). It is a subgraph of the line graph of G and geometric if G is geometric. The index formula simplifies for geometric graphs: for even d it is j(f,x) = 1-X(B(f,x))/2, where B(f,x) is a (d-2)-dimensional graph. For odd d it becomes j(f,x) =-X(B(f,x))/2, where B(f,x) is an odd dimensional graph. Because by induction with respect to d, the X(B(f,x))=0 we know now that that j(f,x) is zero for all x and so, by taking expectation over f that curvature K(x) is zero for all x. We also point out that all these results hold almost verbatim for compact Riemannian manifolds and actually are much simpler there. The same integral geometric index formula is valid if f is a Morse function, i(f,x) is the index of the gradient vector field and if S(x) is a sufficiently small geodesic sphere around x and B(f,x) which is S(x) intersected with the level surface {y | f(y)=f(x)}. Also in the continuum, the symmetric index j(f,x) is constant zero everywhere if d is odd.

研究动机与目标

• 建立一个离散指标公式，将有限简单图的庞加莱-霍普夫定理和高斯-博内定理推广。
• 证明所有奇维几何图在处处具有零曲率，将连续流形中的已知结果推广至离散图。
• 定义并分析图 $B_f(x)$，即从顶点 $x$ 和单射函数 $f$ 导出的几何子图，作为指标公式中的关键组成部分。
• 通过表明相同的指标公式在紧致黎曼流形上对 Morse 函数成立，统一离散与连续曲率理论。
• 通过单位球性质和完备化过程的形式化几何图概念，确保维数和欧拉示性数的拓扑一致性。

提出的方法

• 推导指标公式 $j_f(x) = \frac{1}{2}[2 - \chi(S(x)) - \chi(B_f(x))]$，其中 $j_f(x)$ 为顶点 $x$ 处的离散曲率，$S(x)$ 为单位球，$B_f(x)$ 为从 $f$ 导出的图。
• 采用积分几何方法，将曲率表示为在顶点集上所有单射函数 $f$ 上的指标 $i_f(x) = 1 - \chi(S_f^-(x))$ 的期望。
• 通过维数归纳法证明：在奇维几何图中，$B_f(x)$ 是一个 $(d-2)$-维几何图且欧拉示性数为零，从而推出 $j_f(x) = 0$。
• 将图 $G$ 的完备化定义为添加顶点和边以使所有单位球和子图成为几何图的过程，确保拓扑不变性。
• 引入多面体欧拉示性数的概念，即完备图 $G'$ 的欧拉示性数，该值在完备化过程中保持不变。
• 将公式应用于乘积图 $G \times H$，证明若 $G$ 和 $H$ 均为正维几何图，则 $G \times H$ 是一个具有明确定义欧拉示性数的多面体。

实验结果

研究问题

• RQ1 有限简单图的曲率是否在奇维中消失，如示例中所观察？
• RQ2 图的离散曲率是否可表示为在单射函数上指标的期望？
• RQ3 为使指标公式在几何图中成立，导图 $B_f(x)$ 必须满足哪些拓扑性质？
• RQ4 离散情形下的指标公式如何与连续情形下经典的庞加莱-霍普夫定理和高斯-博内定理相关联？
• RQ5 在何种条件下，几何图的完备化是唯一且在完备化过程中保持不变？

主要发现

• 对于任意奇维几何图，由于 $j_f(x) = -\chi(B_f(x))/2 = 0$，曲率 $K(x)$ 在每个顶点 $x$ 处恒为零。
• 指标公式 $j_f(x) = \frac{1}{2}[2 - \chi(S(x)) - \chi(B_f(x))]$ 对所有有限简单图成立，不仅限于几何图。
• 在奇维中，$B_f(x)$ 是一个 $(d-2)$-维几何图且欧拉示性数为零，从而保证 $j_f(x) = 0$。
• 在偶维几何图中，公式简化为 $j_f(x) = 1 - \chi(B_f(x))/2$，允许通过更小维数的图之和来计算图 $G$ 的欧拉示性数。
• 当 $f$ 为 Morse 函数时，该相同指标公式在紧致黎曼流形上也成立，其中 $S(x)$ 为小测地球，且 $B_f(x) = S(x) \cap \{y \mid f(y) = f(x)\}$。
• 图的多面体欧拉示性数在完备化过程中保持不变；例如，立方体的完备图具有欧拉示性数 2，而超立方体的完备图具有欧拉示性数 0。