[论文解读] Discrete Morse Complexes

Manoj K. Chari, Michael Joswig|ArXiv.org|Nov 28, 2000

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

一句话总结

本文引入了离散莫射复形（discrete Morse complex），即一个单纯复形，其单纯形对应于单纯复形的哈斯图中无环匹配，从而形式化了所有离散莫射函数的空间。它建立了与组合拓扑学和枚举组合学的联系，证明了在n-单纯形上完美莫射匹配的数量至少以双指数函数的速度增长，其下界通过立方体分解递归推导得出。

ABSTRACT

We investigate properties of the set of discrete Morse functions on a simplicial complex as defined by Forman. It is not difficult to see that the pairings of discrete Morse functions of a finite simplicial complex again form a simplicial complex, the discrete Morse complex. It turns out that several known results from combinatorial topology and enumerative combinatorics, which previously seemed to be unrelated, can be re-interpreted in the setting of these discrete Morse complexes.

研究动机与目标

• 将一个单纯复形上所有离散莫射函数的集合形式化为一个拓扑空间。
• 研究该空间（称为离散莫射复形）的拓扑与组合结构。
• 建立离散莫射理论、图论与枚举组合学之间的联系。
• 推导出单纯复形（尤其是n-单纯形）中完美莫射匹配数量的紧致界限。
• 探索超立方体图中无环匹配的递归构造及其对莫射函数计数的影响。

提出的方法

• 通过单纯复形的哈斯图中的无环匹配来表示离散莫射函数。
• 将离散莫射复形定义为哈斯图边上的所有无环匹配所形成的抽象单纯复形。
• 采用图论解释：每条匹配边对应一个函数值递减的非临界对（面，余面）。
• 通过组合(n+1)-立方体的子立方体上的匹配，递归构造完美无环匹配。
• 推导出n-单纯形上完美莫射匹配数量的递归下界：r(n+1) = ((n+1)(n-1)/n) * r(n)^2。
• 应用关于超立方体中完美匹配的已知结果（如Clark, George, 和 Porter）来比较上下界。

实验结果

研究问题

• RQ1 如何为单纯复形上所有离散莫射函数的集合自然赋予一个拓扑结构？
• RQ2 离散莫射复形与根森林、完美匹配等经典组合对象之间有何关系？
• RQ3 单纯复形（尤其是n-单纯形）中完美莫射匹配数量的渐近增长速率如何？
• RQ4 能否通过超立方体中无环匹配的递归构造，获得最优莫射函数数量的非平凡下界？
• RQ5 离散莫射复形的拓扑性质如何与原复形的可坍缩性及同伦型相关联？

主要发现

• 单纯复形Δ的离散莫射复形被定义为哈斯图边上的抽象单纯复形，其单纯形对应于无环匹配。
• 由最大维单纯形构成的纯离散莫射复形，对应于临界面数量最少的莫射函数。
• 对于n-单纯形，完美莫射匹配的数量由r(n+1)从下方界定，其中r(n+1) = ((n+1)(n-1)/n) * r(n)^2，且r(1)=1，r(2)=2，r(3)=9。
• 下界r(n+1)超过乘积∏_{k=1}^{n-1} k^{2^{n-k-1}}，表明其增长速率约为(1.289)^{2^n}，即双指数增长。
• 通过(n+1)-立方体的子立方体递归构造匹配，可产生不同的完美无环匹配，有n+1种分裂方向选择，从而在递推关系中引入乘法因子。
• 该下界r(n+1)比Clark, George, 和 Porter关于(n+1)-立方体完美匹配结果的上界更紧，表明该递归构造能产生更高效的下界。