[論文レビュー] How to construct a flag complex with a given face vector

Andrew Frohmader|arXiv (Cornell University)|Dec 28, 2011

Limits and Structures in Graph Theory参考文献 4被引用数 5

ひとこと要約

本稿では、色付き複体と頂点拡張操作を活用して、指定された面ベクトルを持つフラッグ複体を構成的に構築する手法を提示する。面ベクトルが既知の境界条件を満たす場合、この構成が成功することを証明し、さらにこの手法を変形して、与えられた h ベクトルを持つ頂点分解可能（したがって Cohen-Macaulay）なフラッグ複体を生成可能にし、組合せ的位相幾何学における長年の問題に対する実用的解決策を提供する。

ABSTRACT

A method that often works for constructing a flag complex with a specified face vector is given. This method can also be adapted to construct a vertex-decomposable (and hence Cohen-Macaulay) flag complex with a specified h-vector.

研究の動機と目的

• 整数の面ベクトルがフラッグ複体のものとして実現可能であるための必要条件として知られている境界が存在するが、それらを満たすフラッグ複体を構成的に実現する方法の欠如に応えること。
• アドホックなまたは非構成的証明に依存するのではなく、指定された面ベクトルと一致するフラッグ複体を体系的かつアルゴリズム的に構築するアプローチを提供すること。
• 構成法を拡張し、与えられた h ベクトルを持つ頂点分解可能フラッグ複体を生成可能にし、シェーリング可能性や Cohen-Macaulay 性といった望ましい位相的性質を保証すること。
• 明示的な数値的および漸近的境界のもとで、構成が成功することを示し、実用的な成功基準を提供すること。

提案手法

• 中心的な手法は、色付き複体から出発し、各色ごとに1つの頂点を追加することで新たな複体 Δ⁺ を構成するものである。
• この構成により、元の複体 Δ がフラッグ複体であれば、Δ⁺ もフラッグ複体であり、かつ頂点分解可能であることが保証される（Cook-Nagel の定理による）。
• Δ⁺ の h ベクトルが Δ の面ベクトルと等しいことが示され、hᵢ(Δ⁺) = fᵢ₋₁(Δ) という恒等式が成り立つ。これにより、最終的な複体の h ベクトルを直接制御可能となる。
• フラッグ複体が色付き複体と同じ面ベクトルの境界条件を満たすことは、Frankl, Füredi, および Kalai によって確立されている。
• 与えられた面ベクトルに対して、頂点を色クラスに分割し、同じクラス内に辺が存在しないようにする方法を用いて、バランスの取れたフラッグ複体 Δ を構築する。
• 最終的な複体 Δ⁺ は、各色に対して1つの頂点を追加することで得られ、フラッグ性が保たれるとともに頂点分解可能性も保証される。

実験結果

リサーチクエスチョン

• RQ1 アドホックなまたは非構成的証明に依存せず、指定された面ベクトルを持つフラッグ複体を体系的に構築することは可能か？
• RQ2 与えられた整数の面ベクトルが実際にフラッグ複体に対応するための条件は何か？ そして、それを満たす構成的基準を提供できるか？
• RQ3 この構成法を、与えられた h ベクトルを持つ頂点分解可能フラッグ複体を生成可能に拡張できるか？ これにより、より高階の位相的性質が保証されるか？
• RQ4 Kruskal-Katona の定理と色付き複体の境界との関係が、フラッグ複体の実現可能性の文脈でどのように作用するか？

主な発見

• 構成法 2.3 は、面ベクトルが特定の境界条件を満たす限り、2次元における面の数が指定されたフラッグ複体を生成可能である。
• 定理 2.7 は、Kruskal-Katona の定理と色付き複体の定理から得られる境界が満たされている場合、構成が成功することを確立している。
• 命題 2.11 は、構成が成功することを保証する数値的境界を提示しているが、これは鋭くないため、境界を超えていてもしばしば成功することがある。
• 定理 2.12 は、大きな面数に対して構成が保証される漸近的条件を提供している。
• まずバランスの取れたフラッグ複体 Δ を構築し、その後頂点拡張操作 Δ⁺ を適用することで、与えられた h ベクトルを持つ頂点分解可能フラッグ複体を生成可能に拡張できる。
• Δ⁺ の h ベクトルは Δ の面ベクトルに等しいため、f(Δ) を指定することで h(Δ⁺) を直接制御でき、望ましい h ベクトルを持つ複体の正確な構築が可能となる。