[論文レビュー] 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ベクトル錐の極値的構造を完全に特徴づけた。