[论文解读] Generalized permutohedra, h-vector of cotransversal matroids and pure O-sequences

Suho Oh|arXiv (Cornell University)|May 31, 2010

graph theory and CDMA systems参考文献 5被引用 7

一句话总结

本文通过构建广义排列多面体中的格点与拟拟阵基之间的双射，证明了斯坦利猜想：拟拟阵的 h-向量是一个纯 O-序列。利用闵可夫斯基和的精细混合剖分与多面体实现，作者表明所得的单项式构成一个纯序理想，其次数序列与 h-向量一致，从而通过几何-组合构造证实了该猜想在拟拟阵情形下的成立。

ABSTRACT

Stanley has conjectured that the h-vector of a matroid complex is a pure O-sequence. We will prove this for cotransversal matroids by using generalized permutohedra. We construct a bijection between lattice points inside a r-dimensional convex polytope and bases of a rank r transversal matroid.

研究动机与目标

• 证明斯坦利猜想：任何拟拟阵的 h-向量是纯 O-序列，特别针对拟拟阵情形。
• 通过由二部图构造的广义排列多面体，建立拟拟阵的几何实现。
• 构建多面体中的格点与拟阵基之间的双射，从而诱导出一个纯单项式序理想。
• 表明该理想次数序列与拟阵的 h-向量一致，从而在该情形下证实猜想。
• 通过将先前关于余图与路径格拟阵的结果推广至更广泛的拟拟阵类，实现方法的推广。

提出的方法

• 将拟拟阵的一个表示所导出的单纯形的闵可夫斯基和构造为广义排列多面体。
• 利用闵可夫斯基和的精细混合剖分，将多面体分解为对应于格点的胞腔。
• 通过子图的左度向量，定义广义排列多面体中的格点与对偶拟阵（为拟阵）的基之间的双射。
• 通过公式 $ x_1^{c_1-1} imes ext{...} imes x_r^{c_r-1} $ 为每个格点分配单项式，其中 $ c_i $ 为该点的坐标。
• 通过证明将任意坐标设为零后仍保持成员关系，证明所得单项式集合构成一个纯单项式序理想。
• 通过证明最大单项式（对应满秩胞腔）均位于超平面 $ x_1 + ext{...} + x_r = n $ 上，从而证明其纯性。

实验结果

研究问题

• RQ1 拟拟阵的 h-向量是否如斯坦利所猜想的那样为纯 O-序列？
• RQ2 能否通过广义排列多面体与精细混合剖分的几何构造，将 h-向量实现为纯单项式序理想的次数序列？
• RQ3 具有给定数量外部被动元素的基的数量是否等于所构造序理想中给定次数的单项式数量？
• RQ4 与拟拟阵相关的广义排列多面体的格点能否与对偶拟阵的基之间建立双射？
• RQ5 该多面体结构是否保留了生成纯序理想所必需的组合性质，以从 h-向量出发？

主要发现

• 任何拟拟阵的 h-向量都是纯 O-序列，从而证实了该类情形下斯坦利的猜想。
• 存在一个自然的双射，将广义排列多面体 $ P_{ ext{M}^*} $ 中的格点与对偶拟阵 $ ext{M}^* $ 的基一一对应。
• 具有 $ i $ 个外部被动元素的基的数量等于 $ h_i $，即 h-向量的第 $ i $ 个分量。
• 由格点构造的单项式序理想中，所有最大单项式均具有相同的次数 $ n $，从而证实了其纯性。
• 通过精细混合剖分的构造确保每个格点唯一对应一个基，且每个基也唯一对应一个格点。
• 关键恒等式 $ c_1 + ext{...} + c_r - r = e_{ ext{M}}(B) $ 将格点的坐标和与对应基的外部被动元素数量联系起来。