[論文レビュー] Upper and lower bound theorems for graph-associahedra

Victor Matveevich Buchstaber, Vadim Volodin|arXiv (Cornell University)|May 10, 2010

Advanced Combinatorial Mathematics参考文献 18被引用数 5

ひとこと要約

本稿では、グラフアソシアヒードラ（およびその主要な部分クラス：アソシアヒードラ、サイクロヘドラ、パーミュートヒードラ、ステロヒードラ）のγ-、g-、h-、f-ベクトルに対する、改善不能な上界と下界を確立する。そのために、円筒上での逐次的側面削り出しを用いた再帰的構成法により、n次元のグラフアソシアヒードラを(n−1)次元のものから構築する。主な貢献は、すべてのグラフアソシアヒードラのγ-ベクトルがアソシアヒードラとパーミュートヒードラのものの中間にあることを証明し、木やハミルトングラフではより鋭い境界が得られることを示し、微分方程式法とシェリング法を統合する帰納的公式を導出することにある。

ABSTRACT

From the paper of the first author it follows that upper and lower bounds for $γ$-vector of a simple polytope imply the bounds for its $g$-,$h$- and $f$-vectors. In the paper of the second author it was obtained unimprovable upper and lower bounds for $γ$-vectors of flag nestohedra, particularly Gal's conjecture was proved for this case. In the present paper we obtain unimprovable upper and lower bounds for $γ$-vectors (consequently, for $g$-,$h$- and $f$-vectors) of graph-associahedra and some its important subclasses. We use the constructions that for an $(n-1)$-dimensional graph-associahedron $P_{Γ_n}$ give the $n$-dimensional graph-associahedron $P_{Γ_{n+1}}$ that is obtained from the cylinder $P_{Γ_n} imes I$ by sequential shaving some facets of its bases. We show that the well-known series of polytopes (associahedra, cyclohedra, permutohedra and stellohedra) can be derived by these constructions. As a corollary we obtain inductive formulas for $γ$- and $h$- vectors of the mentioned series. These formulas communicate the method of differential equations developed by the first author with the method of shavings developed by the second author.

研究の動機と目的

• グラフアソシアヒードラおよびその重要な部分クラスに対するγ-、g-、h-、f-ベクトルの改善不能な上界と下界を確立すること。
• 再帰的構成を用いてタイトな境界を導出し、フラッグネストオヘドラに対するギャルの予想（非負のγ-ベクトル）を証明すること。
• ブーツターバーの微分方程式法とヴォロディンの側面削り出し法の二つの別個の手法を、γ-およびh-ベクトルの帰納的公式を生成するという点で統一すること。
• 新しい構成法を用いて、アソシアヒードラ、サイクロヘドラ、パーミュートヒードラ、ステロヒードラのγ-およびh-ベクトルに対する明示的な帰納的公式を導出すること。

提案手法

• n次元のグラフアソシアヒードラを、(n−1)次元のものから、$P_{\tilde{̻}_n} \times I$ として円筒を形成し、その底面から逐次的に側面を削ることで構成する。
• 削り出し構成を応用して、特にパス、サイクル、完全、星型グラフに対するグラフアソシアヒードラのγ-およびh-ベクトルの帰納的公式を導出する。
• 連結なビルドイングセットにおいて $B_1 \subseteq B_2$ ならば $h_i(P_{B_1}) \leq h_i(P_{B_2})$ が成り立つことを利用して、h-ベクトルにおける成分ごとの不等式を確立する。
• H-およびγ-ベクトルの母関数に対する微分方程式を導出する：$\frac{dH_{St}}{dx} = H_{St}(\alpha + t + \alpha t H_{Pe})$ および $\frac{d\gamma_{St}}{dx} = \gamma_{St}(1 + \tau x \gamma_{Pe})$。
• ビルドイングセットおよびネスト集合の理論を用いて、グラフアソシアヒードラがグラフの連結部分グラフから生じることを示し、その面ベクトルが極値ケースによって有界づけられることを示す。
• フラッグネストオヘドラの極値基準として、立方体 ($I^n$) およびパーミュートヒードラ ($Pe^n$) の既知のγ-ベクトルの境界を用いる。

実験結果

リサーチクエスチョン

• RQ1 任意のグラフアソシアヒードラのγ-ベクトルに対する、最もタイトな上界と下界は何か？
• RQ2 グラフアソシアヒードラのγ-、g-、h-、f-ベクトルは、アソシアヒードラ、サイクロヘドラ、パーミュートヒードラ、ステロヒードラといった基本的多面体のそれらとどのように比較できるか？
• RQ3 ブーツターバーの微分方程式法とヴォロディンの側面削り出し法を、グラフアソシアヒードラの構築と解析に統合する統一的枠組みとして実現できるか？
• RQ4 ギャルの予想（フラッグネストオヘドラの非負なγ-ベクトル）はすべてのフラッグネストオヘドラに対して成り立つのか？また、極値境界を用いて証明可能か？
• RQ5 主な系列のグラフアソシアヒードラ（アソシアヒードラ、サイクロヘドラ、パーミュートヒードラ、ステロヒードラ）のγ-およびh-ベクトルを支配する帰納的公式は何か？

主な発見

• 任意の$[n+1]$個の頂点を持つグラフアソシアヒードラ $P_{\Gamma_{n+1}}$ に対して、$\gamma_i(As^n) \leq \gamma_i(P_{\Gamma_{n+1}}) \leq \gamma_i(Pe^n)$ が成り立ち、等号成立条件は改善不能である。
• ハミルトングラフ $\Gamma_{n+1}$ に対しては、$\gamma_i(Cy^n) \leq \gamma_i(P_{\Gamma_{n+1}}) \leq \gamma_i(Pe^n)$ が成り立ち、木に対しては $\gamma_i(As^n) \leq \gamma_i(P_{\Gamma_{n+1}}) \leq \gamma_i(St^n)$ が成り立ち、[PRW]で提唱された予想を確認する。
• ステロヒードラの帰納的公式は、削り出し構成から得られる：$\gamma(St^n) = \gamma(St^{n-1}) + \tau \sum_{i=1}^{n-1} \binom{n-1}{i-1} \gamma(St^{i-1}) \gamma(Pe^{n-i-1})$。
• ステロヒードラの$H$-多項式は $\frac{dH_{St}}{dx} = H_{St}(\alpha + t + \alpha t H_{Pe})$ を満たし、微分方程式法とシェリングプロセスを結びつける。
• n次元パーミュートヒードラのγ-ベクトルは $\gamma_i(Pe^n) = A(n+1,i)$ であり、ここで $A(n+1,i)$ は $n+1$ 個の要素の順列のうち $i$ 個の低下をもつものの数を表す。
• f-、g-、h-、およびγ-ベクトルの境界は明示的に計算可能である：$h_i(I^n) = \binom{n}{i}$、$h_i(As^n) = \frac{1}{n+1} \binom{n+1}{i} \binom{n+1}{i+1}$、$h_i(Cy^n) = \binom{n}{i}^2$、および $\gamma_i(As^n) = \frac{1}{i+1} \binom{2i}{i} \binom{n}{2i}$。