[论文解读] How is a graph like a manifold?

Ethan D. Bolker, Victor Guillemin+1 more|ArXiv.org|Jun 10, 2002

Advanced Combinatorial Mathematics参考文献 17被引用 15

一句话总结

本文通过在正则图上应用Morse理论，引入图论Betti数，建立了图论与流形理论之间的深刻类比，从而为解决经典组合问题（如简单多面体的面计数和嵌入图的平行重绘）提供了方法。关键贡献在于表明，McMullen猜想的面计数公式自然源自这些图Betti数，且平行重绘的数量由一个类似于McMullen公式的公式给出，该公式通过与GKM流形及等变上同调的联系得到验证。

ABSTRACT

In this article, we discuss some classical problems in combinatorics which can be solved by exploiting analogues between graph theory and the theory of manifolds. One well-known example is the McMullen conjecture, which was settled twenty years ago by Richard Stanley by interpreting certain combinatorial invariants of convex polytopes as the Betti numbers of a complex projective variety. Another example is the classical parallel redrawing problem, which turns out to be closely related to the problem of computing the second Betti number of a complex compact $(\C^*)^n$-manifold.

研究动机与目标

• 建立图论与流形理论之间的概念性与计算性桥梁，尤其通过Betti数的视角。
• 利用图论不变量解决简单 $n$-维凸多面体中 $n-k$-维面的计数这一经典问题。
• 通过表明McMullen猜想的不变量是源自图上Morse理论的图Betti数，为其提供组合解释。
• 通过连接与轴函数的关联，将Lagrangian插值推广至图，解决多项式同余方程组问题。
• 通过涉及零阶与一阶Betti数的公式，计数嵌入图的平行重绘数量，推广至非简单多面体与非3-独立图。

提出的方法

• 在正则图上定义连接与Morse函数，以诱导离散Morse理论框架。
• 利用离散Morse理论，将图Betti数 $\beta_\ell$ 定义为与图的临界单元相关联的同调群的秩。
• 将所得Betti数应用于表达简单多面体的 $n-k$-维面数量，公式为 $f_{n-k} = \sum_{\ell=0}^{k} \binom{n-\ell}{k-\ell} \beta_\ell$。
• 在图的边上引入轴函数，以模拟无穷小运动与平行重绘，利用精确性与测地线结构。
• 通过求解形如 $f_i - f_j \equiv 0 \mod x_i - x_j$ 的方程组，在图上构造多项式插值问题的解，利用图连接。
• 推导出次数为 $k$ 的解空间维数的公式：$n\beta_0 + \beta_1$，该公式在测地线精确性与无拐点曲线等条件下成立。

实验结果

研究问题

• RQ1 如何通过正则图上的离散Morse理论定义并计算图论Betti数？
• RQ2 McMullen猜想关于简单多面体面数的结论能否通过图Betti数重新解释并证明？
• RQ3 嵌入图的平行重绘与其底层图的Betti数之间存在何种关系？
• RQ4 图上的多项式同余方程组如何推广经典Lagrangian插值？在何种条件下可解？
• RQ5 当标准假设（如3-独立性）不成立时，公式 $n\beta_0 + \beta_1$ 在多大程度上仍能正确计数平行重绘？

主要发现

• 简单 $n$-维凸多面体中 $n-k$-维面的数量由公式 $f_{n-k} = \sum_{\ell=0}^{k} \binom{n-\ell}{k-\ell} \beta_\ell$ 给出，其中 $\beta_\ell$ 为多面体1-骨架的图Betti数。
• Betti数 $\beta\_\ell$ 满足 $\beta_k = \beta_{n-k}$ 且 $\beta_0 \leq \beta_1 \leq \cdots \leq \beta_r$，其中 $r = \lceil n/2 \rceil$，通过将其解释为复射影簇的Betti数，确认了McMullen猜想。
• 嵌入在 $\mathbb{R}^n$ 中的图的平行重绘数量由公式 $n\beta_0 + \beta_1$ 给出，其中 $\beta_0$ 与 $\beta_1$ 为图在连接下的零阶与一阶Betti数。
• 对于Petersen图，Betti数为 $\beta = (1,4,4,1)$，平行重绘数量为 $2 \cdot 1 + 4 = 6$，其中包括内五边形的缩放。
• 对于大星形十二面体，Betti数为 $\beta = (5,5,5,5)$，其平行重绘数量为 $3 \cdot 5 + 5 = 20$，即每张面对应一个，尽管 $\beta_0 = 1$ 条件不成立。
• 即使轴函数不满足3-独立性或测地线不满足无拐点性，公式 $n\beta_0 + \beta_1$ 仍能正确计数平行重绘，如 $n$-边形中 $n = 2\beta_0 + \beta_1$ 的情形。