[論文レビュー] Strong shellability of simplicial complexes

Jin Yun Guo, Yi-Huang Shen+1 more|arXiv (Cornell University)|Apr 19, 2016

Commutative Algebra and Its Applications参考文献 9被引用数 4

ひとこと要約

本稿では、単体的複体の強いシェーラビリティを導入し、その facet の順序に追加の条件を課する、シェーラビリティのより厳しい形態を提示する。純粋な強いシェーラビリティを持つ複体は、その codimension-one グラフによって特徴付けられ、その facet 理想は線形商を持つことが示され、強 h-割り当てを用いた高速なアルゴリズムにより強いシェーラビリティの検証が可能である。

ABSTRACT

Imposing a strong condition on the linear order of shellable complexes, we introduce strong shellability. Basic properties, including the existence of dimension-decreasing strong shelling orders, are developed with respect to nonpure strongly shellable complexes. Meanwhile, pure strongly shellable complexes can be characterized by the corresponding codimension one graphs. In addition, we show that the facet ideals of pure strongly shellable complexes have linear quotients.

研究の動機と目的

• 単体的複体の facet に対する stricter な順序制約を課す、より強いシェーラビリティの形式「強いシェーラビリティ」を定義し、その性質を調査すること。
• シェーラビリティから強いシェーラビリティにまで拡張された次元低下型シェーリング順序の概念を導入し、非純粋な複体に対してもその存在を証明すること。
• 純粋な強いシェーラビリティを持つ複体を、その codimension-one グラフを用いて特徴付けることにより、このような複体を特定する組合せ的基準を提供すること。
• 純粋な強いシェーラビリティを持つ複体の facet 理想が常に線形商を持つことを示し、代数的性質と組合せ的構造との関連を明確にすること。
• 強 h-割り当てを用いた一般化手法により、強いシェーラビリティの検証を効率的に行うアルゴリズム的手法を提供すること。これは、Moriyama のシェーラビリティ検証法の一般化である。

提案手法

• 任意の二つの facet $F_i, F_j$ について $i < j$ ならば、$|F_j \setminus F_k| = 1$、$F_j \setminus F_k \subseteq F_j \setminus F_i$、$F_k \setminus F_j \subseteq F_i$ を満たす $F_k$（$k < j$）が存在するという、新たな facet 順序条件を導入し、強いシェーラビリティを定義する。
• 制限写像と組合せ的議論を用いて、非純粋な複体に対しても次元低下型の強いシェーリング順序が存在することを証明する。
• 特に純粋な場合の強いシェーラビリティの解析のための道具として、複体の codimension-one グラフを定義する。
• 純粋な強いシェーラビリティと、codimension-one グラフ上の特定の組合せ的条件との同値性を確立する。
• 強いシェーリング順序を用いて線形商の性質を構成することで、純粋な強いシェーラビリティを持つ複体の facet 理想が線形商を持つことを証明する。
• Moriyama の h-割り当て法を強 h-割り当てに一般化し、逐次的に強い候補 facet を削除できるようにすることで、強いシェーラビリティの多項式時間検証が可能となる。

実験結果

リサーチクエスチョン

• RQ1 facet 順序にどのような条件が課されると単体的複体が強いシェーラビリティを持つようになるのか。これは標準的なシェーラビリティとはどのように異なるのか。
• RQ2 非純粋な強いシェーラビリティを持つ複体に対しても、次元低下型の強いシェーリング順序を保証できるか。
• RQ3 純粋な複体の codimension-one グラフは、強いシェーラビリティを特徴付けるためにどのように利用できるか。
• RQ4 純粋な強いシェーラビリティを持つ複体の facet 理想は常に線形商を持つのか。その理由は何か。
• RQ5 強 h-割り当ての一般化を用いて、強いシェーラビリティを効率的に検証できるか。また、その方法はブルートフォースな列挙と比べてどのように異なるか。

主な発見

• 強いシェーラビリティは、標準的なシェーラビリティよりも厳密に強い。これは、標準的なシェーラビリティ基準に加えて、facet 順序に追加の構造的条件を課す必要があるためである。
• すべての非純粋な強いシェーラビリティを持つ複体は、次元低下型の強いシェーリング順序を持つ。これは、シェーラビリティを持つ複体について既知の結果を拡張したものである。
• 純粋な単体的複体が強いシェーラビリティを持つための必要十分条件は、その codimension-one グラフが特定の組合せ的条件を満たすことである。これにより、グラフ論的特徴付けが得られる。
• 純粋な強いシェーラビリティを持つ複体の facet 理想は線形商を持つ。これは、組合せ的性質と重要な代数的不変量との関連を示している。
• 強いシェーラビリティは、強 h-割り当てを用いることで効率的に判定可能である。純粋な複体が強いシェーラビリティを持つための必要十分条件は、逐次的に強い候補 facet を削除できる h-割り当てが存在することである。
• 検証すべき候補 h-割り当ての数は、$ \frac{| abla( riangle)|!}{h_0! \cdots h_{d+1}!} $ で抑えられ、これは $ | abla( riangle)|! $ よりも著しく小さいため、実用的な検証アルゴリズムが可能となる。