[論文レビュー] Dual matroid polytopes and internal activity of independence complexes

Alexander Heaton, José Alejandro Samper|arXiv (Cornell University)|May 8, 2020

Advanced Combinatorial Mathematics参考文献 29被引用数 5

ひとこと要約

本稿は、マトロイド独立性複体のシェーリング順序と双対マトロイドポリトープの幾何的関係を確立し、$µ$-重みを通じて双対ポリトープの直線シェーリングが独立性複体のシェーリングを誘導することを示している。主な貢献は、多面体双対性を通じた内部活性の幾何的特徴付けであり、古典的マトロイド理論と現代的幾何コンビナトリクスを統合し、スタンレーの予想およびシモンの予想を研究するための新たなツールを提供する。

ABSTRACT

Shelling orders are a ubiquitous tool used to understand invariants of cell complexes. Significant effort has been made to develop techniques to decide when a given complex is shellable. However, empirical evidence shows that some shelling orders are better than others. In this article, we explore this phenomenon in the case of matroid independence complexes. Based on a new relation between shellability of dual matroid polytopes and independence complexes, we outline a systematic way to investigate and compare different shellings orders. We explain how our new tools recast and deepen various classical results to the language of geometry, and suggest new heuristics for addressing two old conjectures due to Simon and Stanley. Furthermore, we present freely available software which can be used to experiment with these new geometric ideas.

研究の動機と目的

• 特定のマトロイド独立性複体のシェーリング順序が他のものよりも有効である理由を、すべての順序が有効であるにもかかわらず理解すること。
• 双対マトロイドポリトープのシェーリング順序とマトロイド独立性複体における内部活性との間の幾何的対応関係を確立すること。
• 内部活性およびシェーリング可能性に関する古典的結果の幾何的再解釈を提供すること。
• 多面体幾何および直線シェーリングを用いて、スタンレーの予想およびシモンの予想を調査するための新たなツールを開発すること。
• これらの幾何的シェーリング技法を実験可能な自由なソフトウェアとして導入すること。

提案手法

• 多面体双対性を用いて、双対マトロイドポリトープ $P_M^*$ のシェーリング順序を、独立性複体 $\mathcal{I}(M)$ のシェーリング順序へ写像する。
• 著者らは、基底集合 $E$ 上に重み関数 $\ell$ を定義し、$\ell$-重みによる順序 $<_{\ell}$ を基底に導入する。これは $P_M^*$ の直線シェーリングに対応する。
• 彼らは、$<_{\ell}$ が $P_M^*$ のシェーリングであるならば、$\mathcal{I}(M)$ のシェーリングを誘導することを証明し、制限集合は内部的に受動的集合に一致することを示す。
• この手法は、$\mathcal{A}_E$ のブレードアレンジメントを用いて、$E$ 上の全順序を $P_M$ の正規ファナンのチャネルと関連付ける。
• このアプローチにより、$\mathcal{I}(M)$ の $h$-ベクトルと $P_M^*$ の $cd$-インデックスの関係が示され、潜在的な不変量回復機構が示唆される。
• フレームワークは、折り返し線シェーリングにおけるピボット操作の下で、階数付き性、グリードォイド、ラティス構造といった構造的性質の保存を分析するために応用される。

実験結果

リサーチクエスチョン

• RQ1 双対マトロイドポリトープの幾何は、マトロイド独立性複体の内部活性とどのように関係しているか？
• RQ2 折り返し線シェーリングの制限集合の順序集合がピボット操作の下で、階数付き順序集合、グリードォイド、またはラティスとして保存される条件は何か？
• RQ3 双対マトロイドポリトープの $cd$-インデックスを用いて、独立性複体の $h$-ベクトルを回復または特徴付けられるか？
• RQ4 幾何的手法を用いて、シェーリングデータから完全な Tutte 多項式を回復できるか？
• RQ5 どのような条件下で、直線シェーリングの結果として得られる制限集合の順序集合が、スタンレーの予想が要求する純粋なマルチコンプレックスとなるか？

主な発見

• マトロイド $M$ の基底に $\ell$-重みによって誘導される順序 $<_{\ell}$ は、独立性複体 $\mathcal{I}(M)$ のシェーリング順序である。
• $<_{\ell}$ シェーリングにおける基底 $B$ の制限集合は、$\ell$ が誘導する全順序に関する $B$ の内部的に受動的集合に正確に一致する。
• 双対ポリトープ $P_M^*$ のシェーリング順序は、$\mathcal{I}(M)$ のシェーリング順序を誘導し、内部活性の幾何的メカニズムを確立する。
• このフレームワークは、内部活性によるマトロイドのシェーリング可能性のバイアスの特徴付けの新たな幾何的解釈を提供する。
• 結果から、$P_M^*$ の $cd$-インデックスと $\mathcal{I}(M)$ の $h$-ベクトルの間には深い関係があり、互いに回復可能である可能性が示唆される。
• 本稿では、ピボットに基づく変更によって構造的性質（階数付き性、グリードォイド、ラティス）を分析可能な、新たなシェーリングのクラス「折り返し線シェーリング」を導入する。