[論文レビュー] On optimizing discrete Morse functions

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

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

ひとこと要約

本稿では、CW複体における臨界セルのキャンセルを通じて離散モース関数を最適化するための道具を開発する。特に、順序集合の順序複体における辞書式離散モース関数に焦点を当てる。複数の勾配経路を同時に反転するための基準を導入し、勾配経路と置換の辞書的最小の縮約表現との間の対応関係を確立する。これにより、上位次元の臨界セルのみを含む最適化されたモース関数を用いて、poset $Π_{S_n}$ がホモトピー的コhen＝マカウリーであることを証明する。

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’$ 上のサイクル分割のposet $Π_{S_n}$ がホモトピー的コhen＝マカウリーであることを証明すること。
• 最適化のメカニズムをposetの区間へ一般化し、全複体を超える応用が可能であることを保証すること。
• 順序集合の順序複体から自然に生じる離散モース関数におけるモース数の最小化の体系的アプローチを提供すること。

提案手法

• 個別に反転可能である複数の勾配経路を同時に反転させる基準を導入し、複数の臨界セルペアのキャンセルを実現する。
• 辞書式離散モース関数における勾配経路と置換の辞書的最小の縮約表現との間の対応関係を確立する。
• 辞書式モース関数における臨界セルのキャンセルを簡素化するため、最小内容増加ラベル付けを定義する。
• 単体的複体のフィルトレーションを用いて、離散モース関数の構築と最適化をガイドする。
• 特に、飽和鎖の非本質的集合によって形成されるブール代数に注目し、面のposetへの非巡回マッチングを適用する。
• コタームの辞書的順序と木構造変換に基づくブール代数上の部分順序を用いて、勾配経路におけるサイクルを防ぐ。

実験結果

リサーチクエスチョン

• RQ1 離散モース関数において、複数の勾配経路を同時に反転させ、複数の臨界セルペアをキャンセルするための条件は何か？
• RQ2 辞書式離散モース関数におけるどの勾配経路が個別に反転可能であり、その特徴はどのように組合せ的に記述できるか？
• RQ3 勾配経路と置換の辞書的最小の縮約表現との対応関係が、臨界セルのキャンセルをどのように促進するか？
• RQ4 最適化のメカニズムはposetの区間へ一般化可能か？また、ホモトピー的性質は保持されるか？
• RQ5 最近リムエルによって導入されたposet $Π_{S_n}$ はホモトピー的コhen＝マカウリーか？そして、離散モース理論を用いてこの性質を証明できるか？

主な発見

• 個別に反転可能である複数の勾配経路を同時に反転させることで、複数の臨界セルペアをキャンセルするための基準が確立された。
• 辞書式離散モース関数における勾配経路と置換の辞書的最小の縮約表現との間の全単射対応が証明された。
• 最適化された離散モース関数が上位次元の臨界セルのみを含むことから、poset $Π_{S_n}$ がホモトピー的コhen＝マカウリーであることが示された。
• 臨界セルは非本質的集合に基づきブール代数 $B_m$ に整理され、それぞれの代数は完全な非巡回マッチングを備える。
• 異なるブール代数間で非巡回マッチングの合併が取られ、全体の面のposet上に非巡回マッチングが得られ、異なる代数間で有向サイクルが発生しない。
• この手法はposetの区間 $(x, ω)$ へ一般化可能であり、ホモトピー型を保ちつつ、すべての区間におけるコhen＝マカウリー性の証明を可能にする。