[論文レビュー] Faces of Generalized Permutohedra

Alexander Postnikov, Victor Reiner+1 more|ArXiv.org|Sep 6, 2006

Mathematics and Applications参考文献 25被引用数 5

ひとこと要約

この論文は、置換体、アソシアヒドラ、グラフアソシアヒドラ、ネストオイドなど、広範なクラスの多面体を含む、単純な一般化置換体の $h$-および $\/gamma$-ベクトルの明示的公式を提供する。$\gamma$-ベクトルの降下統計に基づく組合せ的解釈を確立し、フラッグ単純多面体における $\gamma$-ベクトルの非負性に関するガルの予想を確認する。また、ディンキン図やパスに類するグラフの族における $h$-多項式の母関数を導出する。

ABSTRACT

The aim of the paper is to calculate face numbers of simple generalized permutohedra, and study their f-, h- and gamma-vectors. These polytopes include permutohedra, associahedra, graph-associahedra, simple graphic zonotopes, nestohedra, and other interesting polytopes. We give several explicit formulas for h-vectors and gamma-vectors involving descent statistics. This includes a combinatorial interpretation for gamma-vectors of a large class of generalized permutohedra which are flag simple polytopes, and confirms for them Gal's conjecture on nonnegativity of gamma-vectors. We calculate explicit generating functions and formulae for h-polynomials of various families of graph-associahedra, including those corresponding to all Dynkin diagrams of finite and affine types. We also discuss relations with Narayana numbers and with Simon Newcomb's problem. We give (and conjecture) upper and lower bounds for f-, h-, and gamma-vectors within several classes of generalized permutohedra. An appendix discusses the equivalence of various notions of deformations of simple polytopes.

研究の動機と目的

• 単純な一般化置換体の面数を計算し、$f$-、$h$-、および $\gamma$-ベクトルを研究すること。
• 広範なフラッグ単純多面体クラスにおける $\gamma$-ベクトルの組合せ的解釈を提供すること。
• フラッグ単純一般化置換体における $\gamma$-ベクトルの非負性に関するガルの予想を確認すること。
• ディンキン図から得られるものを含め、グラフアソシアヒドラの $h$-多項式の明示的母関数および公式を導出すること。
• 降下統計を通じてナラヤナ数およびシモン・ニューカンブの問題との関係を探索すること。

提案手法

• 一般化置換体の幾何的性質を前順序集合および同値関係の組合せ的データに翻訳するための「錐-前順序集合辞書」を用いる。
• ネストオイドのためのミンコフスキー和構成 $P_{\mathcal{B}} = \sum_{I \in \mathcal{B}} \Delta_I$ を適用する。ここで $\mathcal{B}$ は構築集合である。
• 木順序集合および $\mathcal{B}$-木における降下統計を用いて、$h$-ベクトルの明示的公式を導出する。
• 母関数と漸化式を用いて、ネストオイドおよびグラフアソシアヒドラの $h$-多項式を計算する。
• 偏微分方程式（PDE）技法と組合せ的恒等式を用いて、単一分岐およびパスに類するグラフの $h$-多項式に関する結果を証明する。
• 線形写像 $\phi$ および $\psi$ を用いて、変形錐 $D_P^V$、$D_P^E$、および $D_P^F$ 間の同型を確立し、$D_P^E \simeq D_P^V / \Delta(\mathbb{R}^d) \simeq D_P^F / \Delta'(\mathbb{R}^d)$ を示す。

実験結果

リサーチクエスチョン

• RQ1 単純な一般化置換体の $h$-ベクトルおよび $\gamma$-ベクトルの明示的公式は何か？
• RQ2 このクラスに属するフラッグ単純多面体における $\gamma$-ベクトルの組合せ的解釈はどのように得られるか？
• RQ3 有限型およびアフィン型のディンキン図に対応するグラフアソシアヒドラの $h$-多項式の母関数は何か？
• RQ4 グラフアソシアヒドラの面数はどのように抑えられ、変形族全体でどのような単調性の性質が成り立つか？
• RQ5 単純多面体における頂点、辺、面の移動に関する変形錐の関係は何か？

主な発見

• すべてのフラッグ単純一般化置換体において $\gamma$-ベクトルが非負であることが示され、このクラスにおけるガルの予想が確認された。
• 特に弦的構築集合に対して、$\mathcal{B}$-木および順序集合における降下統計を用いて、$h$-ベクトルの明示的公式が導出された。
• パスに類するグラフのためのグラフアソシアヒドラにおいて、$h$-多項式がナラヤナ多項式およびシモン・ニューカンブの問題と関係していることが示された。
• PDE手法を用いて、単一分岐木から得られるグラフアソシアヒドラの $h$-多項式の母関数が導出された。
• 変形錐 $D_P^V$、$D_P^E$、および $D_P^F$ が対角線的移動を除いて同型であることが示され、$\dim D_P^E = |F| - d$ が成り立つ。
• スタンレー＝ピットマン多面体の $h$-多項式が明示的に計算され、その $\gamma$-ベクトルが非負であることが示された。