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

一句话总结

本文建立了拟阵独立性复形的壳化序与对偶拟阵多面体之间的几何联系，表明对偶多面体的直线壳化可通过对µ-权重诱导出独立性复形的壳化。关键贡献在于通过多面体对偶性几何刻画了内部活性，统一了经典拟阵理论与现代几何组合学，并为研究Stanley和Simon的猜想提供了新工具。

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.

研究动机与目标

• 理解为何某些拟阵独立性复形的壳化序比其他有效，尽管所有序都有效。
• 建立对偶拟阵多面体的壳化序与拟阵独立性复形中内部活性之间的几何对应关系。
• 为拟阵中内部活性与壳化性的经典结果提供新的几何重解释。
• 利用多面体几何与直线壳化，开发研究Stanley和Simon猜想的新工具。
• 引入可自由获取的软件，用于实验这些几何壳化技术。

提出的方法

• 利用多面体对偶性，将对偶拟阵多面体 $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 何种条件下，直线壳化能确保所得限制集偏序集为纯多重复形，如Stanley猜想所要求？

主要发现

• 由 $\ell$-权重在拟阵 $M$ 的基上诱导出的顺序 $<_{\ell}$ 是独立性复形 $\mathcal{I}(M)$ 的壳化序。
• 在 $<_{\ell}$ 壳化中，基 $B$ 的限制集恰好是相对于 $\ell$ 所诱导全序的 $B$ 的内部被动集。
• 对偶多面体 $P_M^*$ 的壳化序可诱导出 $\mathcal{I}(M)$ 的壳化序，建立了内部活性的几何机制。
• 该框架为Björner通过内部活性刻画拟阵壳化性的结果提供了新的几何解释。
• 结果表明，$P_M^*$ 的 $cd$-指标与 $\mathcal{I}(M)$ 的 $h$-向量之间存在深刻联系，具有相互恢复的潜力。
• 本文引入了一类新的壳化——断裂直线壳化，其结构性质（分次性、贪心序、格结构）可通过基于枢轴的修改进行分析。