[论文解读] 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

一句话总结

本文引入了强壳化（strong shellability），这是一种对单纯复形更严格的壳化形式，对单纯形序列施加了额外的顺序条件。研究证明，纯强壳化复形可通过其余维一图表征，且其面理想具有线性商式，通过强 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.

研究动机与目标

• 定义并研究一种更强的壳化形式——强壳化，其对单纯复形的面施加了更严格的排序约束。
• 将维度递减壳化顺序的概念从壳化推广到强壳化复形，证明其在非纯复形中也存在。
• 通过余维一图表征纯强壳化复形，提供一种组合判别准则以识别此类复形。
• 证明纯强壳化复形的面理想具有线性商式，将代数性质与组合结构联系起来。
• 提出一种基于强 h-赋值的高效算法，用于验证强壳化性，推广了 Moryama 对壳化的处理方法。

提出的方法

• 通过新的面排序条件引入强壳化：对任意两个面 $F_i, F_j$ 满足 $i < j$，存在一个面 $F_k$（$k < 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$。
• 利用限制映射和组合论证，证明非纯复形中存在维度递减的强壳化顺序。
• 将复形的余维一图定义为分析强壳化性的工具，尤其在纯情形下。
• 建立纯强壳化性与余维一图上特定图论条件的等价性。
• 利用强壳化顺序证明纯强壳化复形的面理想具有线性商式。
• 将 Moryama 的 h-赋值方法推广为强 h-赋值，通过依次移除强候选面，实现强壳化性的多项式时间算法验证。

实验结果

研究问题

• RQ1 何种面排序条件使单纯复形成为强壳化复形？这与标准壳化有何不同？
• RQ2 是否能保证非纯强壳化复形中存在维度递减的强壳化顺序？
• RQ3 如何利用纯复形的余维一图来表征强壳化性？
• RQ4 纯强壳化复形的面理想是否总是具有线性商式？如果是，原因是什么？
• RQ5 能否通过 h-赋值的推广高效验证强壳化性？与暴力枚举相比有何优势？

主要发现

• 强壳化严格强于壳化，因为它在标准壳化准则之外，对面排序施加了额外的结构条件。
• 每个非纯强壳化复形都存在一个维度递减的强壳化顺序，扩展了壳化复形的已知结果。
• 一个纯单纯复形是强壳化复形，当且仅当其余维一图满足特定组合条件，提供了图论表征。
• 纯强壳化复形的面理想具有线性商式，将组合性质与关键代数不变量联系起来。
• 强壳化性可通过强 h-赋值高效判定：一个纯复形是强壳化复形，当且仅当存在一种 h-赋值，使得可依次移除强候选面。
• 需检查的候选 h-赋值数量被限制在 $ \frac{| abla( riangle)|!}{h_0! \cdots h_{d+1}!} $，远小于 $ | abla( riangle)|! $，从而实现了高效的验证算法。