[论文解读] Discrete Morse Theory Is As Perfect As Morse Theory

Bruno Benedetti|arXiv (Cornell University)|Oct 4, 2010

Topological and Geometric Data Analysis参考文献 42被引用 3

一句话总结

该论文证明了离散莫尔斯理论在界定流形上同调时，其精度与经典莫尔斯理论相当：给定一个具有 c_i 个指标为 i 的临界点的 PL 三角剖分，经过精细细分后，可得到一个边界临界离散莫尔斯函数，其具有 c_i 个维度为 d−i 的内部临界面。该对偶性扩展了先前的结果，并解决了关于局部可构造三角剖分和组合坍缩深度的开放问题。

ABSTRACT

In bounding the homology of a manifold, Forman's Discrete Morse theory recovers the full precision of classical Morse theory: Given a PL triangulation of a manifold that admits a Morse function with c_i critical points of index i, we show that some subdivision of the triangulation admits a boundary-critical discrete Morse function with c_i interior critical faces of dimension d-i. This dualizes and extends a recent result by Gallais. Further consequences of our work are: (1) Every simply connected smooth d-manifolds (except possibly when d=4) admits a locally constructible triangulation. (This solves a problem by Zivaljevic.) (2) Up to refining the subdivision, the classical notion of geometric connectivity can be translated combinatorially via the notion of collapse depth.

研究动机与目标

• 建立经典莫尔斯理论与离散莫尔斯理论在界定流形上同调方面的对偶性。
• 将 Gallais 最近关于离散莫尔斯函数的结果扩展到边界临界情形。
• 解决 Zivaljevic 关于单连通光滑 d-流形（d≠4）存在局部可构造三角剖分的开放问题。
• 通过细分，组合性地刻画几何连通性，方法为坍缩深度。

提出的方法

• 使用配备有 c_i 个指标为 i 的临界点的流形的 PL 三角剖分。
• 应用细分过程以精细化三角剖分，使得可出现具有 c_i 个维度为 d−i 的内部临界面的边界临界离散莫尔斯函数。
• 利用临界点与临界面之间的对偶性，在离散设置中复现经典莫尔斯理论的上界。
• 将坍缩深度用作几何连通性的组合代理，通过细分加以细化。
• 利用拓扑不变性与对偶性原理，将结果从光滑情形推广至 PL 情形。
• 利用离散莫尔斯函数的结构，证明局部可构造三角剖分的存在性。

实验结果

研究问题

• RQ1 离散莫尔斯理论是否能在界定流形上同调时，达到与经典莫尔斯理论相同的同调精度？
• RQ2 每个单连通光滑 d-流形（d≠4）是否都存在一个局部可构造三角剖分？
• RQ3 几何连通性是否能通过离散莫尔斯理论中的坍缩深度进行组合性刻画？
• RQ4 临界点与临界面之间的对偶性，如何从经典莫尔斯理论推广到离散莫尔斯理论？
• RQ5 细分在将几何概念转化为组合不变量的过程中起到什么作用？

主要发现

• 对于任意配备有 c_i 个指标为 i 的临界点的流形的 PL 三角剖分，存在一个细分，使得其支持一个具有 c_i 个维度为 d−i 的内部临界面的边界临界离散莫尔斯函数。
• 每个单连通光滑 d-流形（d=4 除外）均存在一个局部可构造三角剖分，解决了 Zivaljevic 提出的开放问题。
• 经典几何连通性概念可通过细分组合性地转化为坍缩深度，从而在拓扑与离散几何之间建立起新联系。
• 经典与离散莫尔斯理论之间的对偶性在同调界定的语境下得到完整实现，其精度与经典理论完全匹配。
• 本研究通过引入边界临界离散莫尔斯函数，扩展了 Gallais 的工作，并细化了拓扑不变量的组合解释。