[论文解读] Linear inequalities for flags in graded posets

Louis J. Billera, Gábor Hetyei|arXiv (Cornell University)|Jun 25, 1997

Advanced Combinatorial Mathematics参考文献 2被引用 6

一句话总结

本文证明了由分等级偏序集中旗f-向量生成的凸锥的闭包是多面体，推导出非负链计数泛函极锥的显式面不等式。这些不等式与秩集上区间反链一一对应，其数量由卡塔兰数计数，且对秩至多为5的偏序集，最强的不等式已完全刻画。

ABSTRACT

The closure of the convex cone generated by all flag $f$-vectors of graded posets is shown to be polyhedral. In particular, we give the facet inequalities to the polar cone of all nonnegative chain-enumeration functionals on this class of posets. These are in one-to-one correspondence with antichains of intervals on the set of ranks and thus are counted by Catalan numbers. Furthermore, we prove that the convolution operation introduced by Kalai assigns extreme rays to pairs of extreme rays in most cases. We describe the strongest possible inequalities for graded posets of rank at most 5.

研究动机与目标

• 确定由分等级偏序集的旗f-向量生成的凸锥的结构。
• 识别该类偏序集中非负链计数泛函极锥的面定义不等式。
• 刻画该锥的极射线及其在Kalai卷积运算下的行为。
• 推导出秩至多为5的分等级偏序集的最强线性不等式。
• 建立面不等式与秩集中区间反链之间的双射关系。

提出的方法

• 利用对偶性和多面体组合学分析由分等级偏序集的旗f-向量生成的凸锥。
• 识别非负链计数泛函的极锥，并确定其面定义不等式。
• 在这些面不等式与秩集上区间反链之间建立双射。
• 将Kalai卷积运算应用于极射线，并证明在大多数情况下保持极性。
• 采用组合计数与基于秩的区间分析，推导出小秩偏序集的不等式。
• 使用卡塔兰数序列计数此类反链的数量，从而确认面不等式的数量。

实验结果

研究问题

• RQ1 由分等级偏序集的旗f-向量生成的凸锥的结构是什么？
• RQ2 分等级偏序集中非负链计数泛函极锥的面定义不等式是什么？
• RQ3 旗f-向量锥的极射线在Kalai卷积运算下如何表现？
• RQ4 秩至多为5的分等级偏序集的旗f-向量满足的最强线性不等式是什么？
• RQ5 能否以秩集中区间反链的组合方式刻画面定义不等式？

主要发现

• 证明了由分等级偏序集的旗f-向量生成的凸锥的闭包是多面体。
• 极锥的面不等式与秩集上区间反链之间存在一一对应关系。
• 此类面不等式的数量由卡塔兰数计数。
• Kalai卷积运算在大多数情况下将极射线映射为极射线，保持其极性。
• 对秩至多为5的分等级偏序集，其最强的线性不等式已完全描述并列出。
• 本研究对低秩情况下旗f-向量锥的极值结构提供了完整刻画。