[论文解读] On optimizing discrete Morse functions

Patricia Hersh|arXiv (Cornell University)|Nov 16, 2003

Topological and Geometric Data Analysis参考文献 17被引用 6

一句话总结

本文開發工具以優化CW複形中的離散莫射函數，特別聚焦於偏序集階層複形上的字典序離散莫射函數。提出一種同時反轉多條梯度路徑的準則，並建立梯度路徑與排列的字典序首個約化表達式之間的對應關係，證明透過僅含最高維度臨界細胞的優化莫射函數，偏序集 $Π_{S_n}$ 是同倫意義上的科恩-麥考勒。

ABSTRACT

Forman introduced discrete Morse theory as a tool for studying CW complexes by essentially collapsing them onto smaller, simpler-to-understand complexes of critical cells in [Fo]. Chari reformulated discrete Morse theory for regular cell complexes in terms of acyclic matchings on face posets in [Ch]. This paper addresses two questions: (1) under what conditions may several gradient paths in a discrete Morse function simultaneously be reversed to cancel several pairs of critical cells, to further collapse the complex, and (2) how to use lexicographically first reduced expressions for permutations (in the sense of [Ed]) to make (1) practical for poset order complexes. Applications include Cohen-Macaulayness of a new partial order, recently introduced by Remmel, on the symmetric group (by refinement on the underlying partitions into cycles) as well as a simple new proof of the homotopy type for intervals in the weak order for the symmetric group. Additional applications appear in [HW].

研究动机与目标

• 開發同時取消離散莫射函數中多對臨界細胞的準則。
• 透過排列上的組合結構，特徵化字典序離散莫射函數中哪些梯度路徑可個別反轉。
• 將所開發工具應用於證明關於 $‘1,\dots,n’$ 上循環分割的偏序集 $Π_{S_n}$ 是同倫意義上的科恩-麥考勒。
• 將優化機制推廣至偏序集中的區間，確保該方法不僅適用於完整複形。
• 提供系統性方法，以最小化由偏序集階層複形自然產生的離散莫射函數的莫射數。

提出的方法

• 提出一種準則，可同時反轉多條個別可反轉的梯度路徑，以取消多對臨界細胞。
• 建立字典序離散莫射函數中梯度路徑與排列之字典序首個約化表達式之間的對應關係。
• 定義最小內容增加標記法，以簡化字典序莫射函數中臨界細胞的取消。
• 利用單純複形的過濾結構來引導離散莫射函數的構造與優化。
• 在複形的面偏序集中應用無環匹配，特別聚焦於由飽和鏈的非本質集合所形成的布爾代數。
• 基於對應元的字典序與樹結構變換，在布爾代數上定義偏序，以防止梯度路徑中產生環路。

实验结果

研究问题

• RQ1 在何種條件下，可同時反轉多條梯度路徑，以取消離散莫射函數中多對臨界細胞？
• RQ2 在字典序離散莫射函數中，哪些梯度路徑可個別反轉，且如何以組合方式特徵化？
• RQ3 梯度路徑與排列之字典序首個約化表達式之間的對應關係，如何促進臨界細胞的取消？
• RQ4 優化機制能否推廣至偏序集中的區間？其是否保持同倫性質？
• RQ5 由雷梅爾最近引入的偏序集 $Π_{S_n}$ 是否為同倫意義上的科恩-麥考勒？能否透過離散莫射理論證明？

主要发现

• 建立了一項準則，可透過反轉多條個別可反轉的梯度路徑，同時取消多對臨界細胞。
• 證明了字典序離散莫射函數中梯度路徑與排列之字典序首個約化表達式之間存在一一對應關係。
• 顯示偏序集 $Π_{S_n}$ 為同倫意義上的科恩-麥考勒，因其優化離散莫射函數僅含最高維度臨界細胞。
• 臨界細胞依其非本質集合組織成布爾代數 $B_m$，且每個此類代數皆容許完全的無環匹配。
• 各布爾代數上無環匹配的並集形成整個面偏序集上的無環匹配，且在不同布爾代數之間無方向環路。
• 該方法可推廣至偏序集中的區間 $(x, ω)$，並保持同倫型，進而使所有區間的科恩-麥考勒性得以證明。