[论文解读] The Euler characteristic of an even-dimensional graph

Oliver Knill|arXiv (Cornell University)|Jul 15, 2013

Geometric Analysis and Curvature Flows参考文献 5被引用 13

一句话总结

本文通过将偶维有限简单图的欧拉示性数表示为二维子图上曲率的平均值，提出了一种新颖的积分几何解释。它建立了一个类似高斯-博内定理的关系，其中顶点处的欧拉曲率等于 $1 - \mathbb{E}[K(x,f)]/2$ 的期望值，通过随机二维截面将离散曲率与希尔伯特-爱因斯坦作用量联系起来，并引入了基于函数依赖曲率的可变形爱因斯坦张量。

ABSTRACT

We write the Euler characteristic X(G) of a four dimensional finite simple geometric graph G=(V,E) in terms of the Euler characteristic X(G(w)) of two-dimensional geometric subgraphs G(w). The Euler curvature K(x) of a four dimensional graph satisfying the Gauss-Bonnet relation sum_x K(x) = X(G) can so be rewritten as an average 1-E[K(x,f)]/2 over a collection two dimensional "sectional graph curvatures" K(x,f) through x. Since scalar curvature, the average of all these two dimensional curvatures through a point, is the integrand of the Hilbert action, the integer 2-2 X(G) becomes an integral-geometrically defined Hilbert action functional. The result has an interpretation in the continuum for compact 4-manifolds M: the Euler curvature K(x), the integrand in the classical Gauss-Bonnet-Chern theorem, can be seen as an average over a probability space W of 1-K(x,w)/2 with curvatures K(x,w) of compact 2-manifolds M(w). Also here, the Euler characteristic has an interpretation of an exotic Hilbert action, in which sectional curvatures are replaced by surface curvatures of integral geometrically defined random two-dimensional sub-manifolds M(w) of M.

研究动机与目标

• 将4D有限简单图的欧拉示性数重新表述为二维截面曲率的平均值。
• 通过随机二维子图建立离散版的高斯-博内-陈定理。
• 通过函数诱导曲面的平均值定义图的可变形爱因斯坦张量，从而实现与量子兼容的几何动力学。
• 探讨极值欧拉示性数是否对应于临界几何，可能满足修正的爱因斯坦方程。
• 研究曲率积分在选择物理或几何上显著图中的作用。

提出的方法

• 通过函数 $f$ 的水平集在每个顶点 $x$ 处定义一个二维子图 $G(f)$，形成通过 $x$ 的二维截面的离散类比。
• 使用二维曲面 $B_f(x)$ 的亏格 $1 - \chi(B_f(x))/2$ 作为局部曲率度量 $K(x,f)$。
• 将欧拉曲率 $K(x)$ 表达为所有函数 $f$ 上的期望 $\mathbb{E}[1 - K(x,f)/2]$。
• 将边和顶点上的里奇与数量曲率定义为轮图曲率的平均值，然后使用函数依赖的二维曲率重新定义它们。
• 通过 $f$ 的期望构造一个新的爱因斯坦张量 $T(v,e) = R(e) - S(v)$，保持守恒律。
• 应用高斯-博内定理，将总里奇曲率与欧拉示性数 $\chi(G)$ 关联起来。

实验结果

研究问题

• RQ1 能否将4D几何图的欧拉示性数表示为二维曲面曲率的平均值？
• RQ2 顶点处的欧拉曲率是否对应于随机函数 $f$ 上 $1 - K(x,f)/2$ 的期望值？
• RQ3 微分几何中的希尔伯特-爱因斯坦作用量能否通过离散图上的积分几何重建？
• RQ4 具有极值欧拉示性数的图是否为由新爱因斯坦张量定义的变分原理的临界点？
• RQ5 量子形变能否在离散几何中保持新爱因斯坦张量的守恒律？

主要发现

• 在4D几何图中，顶点 $x$ 处的欧拉曲率 $K(x)$ 等于所有单射函数 $f$ 上的期望值 $\mathbb{E}[1 - K(x,f)/2]$，从而将其与二维截面曲率联系起来。
• 对于二十面体，爱因斯坦张量 $T(v,e)$ 恒为零，因为所有边和顶点均有 $R(e) = S(v) = 1/6$，使其成为爱因斯坦图。
• 完全二分图 $K_{n,n}$ 的欧拉示性数为 $\chi(K_{n,n}) = 2n - n^2$，当 $n=6$ 时，在同阶连通图中达到最小值。
• 八面体在阶数为6的图中实现了最大的欧拉示性数 $\chi = 2$，且具有恒定的正曲率 $1/3$。
• 边概率为 $p$ 的随机 Erdős–Rényi 图的期望欧拉示性数呈指数增长：$\mathbb{E}[\chi(G)] \sim \pm e^{cn}$（$c > 0$），表明当 $n=1000$ 时，极值超过 $e^{50}$。
• 通过函数依赖曲率定义的新爱因斯坦张量在幺正对称下可变形，并保持守恒律 $\sum_{e \in B(v)} T_v(e) = 0$。