[論文レビュー] Discrete Morse Complexes

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

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

ひとこと要約

本稿では、単体複体のハッセ図における非巡回マッチングに一致する単体の単体複体としての離散モース複体を導入し、すべての離散モース関数の空間を形式化する。組合せトポロジーと数え上げ組合せ論との関係を確立し、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 を導出する。
• クラーク、ジョージ、ポーターらの結果（例えば、(n+1)-立方体における完全マッチング）を応用し、上界と下界を比較する。

実験結果

リサーチクエスチョン

• RQ1 単体複体上のすべての離散モース関数の集合に、自然な位相的構造をどのように与えることができるか？
• RQ2 離散モース複体とルート付きフォレストや完全マッチングといった古典的組合せオブジェクトとの関係は何か？
• RQ3 特にn単体において、完全モースマッチングの数の漸近的増加率はどのようになるか？
• RQ4 ハイパーキューブにおける非巡回マッチングの再帰的構成は、最適なモース関数の数に対する非自明な下界をもたらすか？
• RQ5 離散モース複体の位相的性質は、元の複体の収縮可能性およびホモトピー型とどのように関係するか？

主な発見

• 単体複体Δの離散モース複体は、ハッセ図の辺上に定義された抽象単体複体であり、単体は非巡回マッチングに対応する。
• 純粋な離散モース複体（最大次元の単体からなるもの）は、臨界面の数が最小となるモース関数に対応する。
• n単体に対して、完全モースマッチングの数は、r(1)=1、r(2)=2、r(3)=9 である r(n+1) = ((n+1)(n-1)/n) * r(n)^2 で与えられる下界 r(n+1) によって下から抑えられる。
• 下界 r(n+1) は ∏_{k=1}^{n-1} k^{2^{n-k-1}} を超え、およそ (1.289)^{2^n} の二重指数的増加率を示す。
• (n+1)-立方体の部分立方体を用いたマッチングの再帰的構成により、相異なる完全な非巡回マッチングが得られ、スプリット方向に n+1 通りの選択肢があるため、再帰の乗法的係数が生じる。
• r(n+1) の下界は、クラーク、ジョージ、ポーターの (n+1)-立方体における完全マッチングに関する結果からの上界よりもタイトであり、再帰的構成がより効率的な下界をもたらすことを示している。