[論文レビュー] A complete $g$-vector for convex polytopes

Jonathan Fine|arXiv (Cornell University)|Jan 10, 2010

Advanced Combinatorial Mathematics参考文献 3被引用数 3

ひとこと要約

本稿では、凸多面体の完全な $g$-ベクトルを導入し、$C$ および $D=IC-CC$ の演算子を用いた一般化されたトーリック $g$-ベクトルの拡張によって、フラッグベクトルを完全に符号化する。主な貢献は、フラッグベクトルからこの拡張された $g$-ベクトルへの線形変換であり、広範な計算により大多数の成分が非負であることが示されたが、高次元多面体では少数の例外的な負の値が見つかった。

ABSTRACT

We define an extension of the toric (middle perversity intersection homology) $g$-vector of a convex polytope $X$. The extended $g(X)$ encodes the whole of the flag vector $f(X)$ of $X$, and so is called complete. We find that for many examples that $g_k(X)\geq 0$ for most $k$ (independent of $X$).

研究の動機と目的

• 任意の凸多面体のフラッグベクトルを完全に符号化する完全な $g$-ベクトルを定義すること。
• $C$ および $D=IC-CC$ の語の基底を用いて、古典的トーリック $g$-ベクトルを拡張し、フラッグベクトルの線形再構成を可能にすること。
• さまざまな多面体および次元における拡張された $g_k(X)$ 成分の非負性を調査すること。
• 次元 4 を超える領域で $g_k(X) < 0$ となる例外的なフィボナッチインデックスパターンを特定・特徴づけること。
• 多面体の操作 $CX$、$IX$、$BX$ に対して非負性を保つ有効インデックス集合を伝搬させる組合せ的問題を定式化すること。

提案手法

• $C$ をコーン作用素、$D = IC - CC$ を形式的多面体の和に対する差分作用素として定義する。
• 一般化されたデーン＝ソムマーヴィル関係を用いて、$C$ および $D$ の語 $W$ に対する $W(\mathrm{pt})$ 上の線形関数の値が、フラッグベクトルを一意に決定することを示す。
• フィボナッチインデックス $k = [i_0,i_1; j_0,j_1]$ を用いて、基底語 $(C,D)^k$ をパrameter化し、シフトおよび分割関係による部分順序を定義する。
• $g_k(X)$ を、$g_k((C,D)^\nu(\mathrm{pt})) = 1$（$k \leq \nu$ のとき）、それ以外は 0 となる線形関数として定義し、フラッグベクトルへの下三角行列変換を形成する。
• polymake などの計算ツールを用いて、二重錐や反復コーンなどの特定の多面体に対して $g_k(X)$ を計算する。
• 双対性を用いて $g^\nu_k(X) = g_k(X^\vee)$ を定義し、双対性および多面体操作における有効インデックス集合の研究を可能にする。

実験結果

リサーチクエスチョン

• RQ1 どのフィボナッチインデックス $k$ に対して、ある凸多面体 $X$ に対して $g_k(X) < 0$ が成り立つか。
• RQ2 すべての次元にわたって、負の $g_k(X)$ を示す例外的な $k$ を体系的に特徴づけられるか。
• RQ3 非例外的 $k$ に対して $g_k(X) \geq 0$ を保証する組合せ的ルールまたは再帰的構造が存在するか。
• RQ4 非負性が $CX$、$IX$、$BX$ に対して保たれるように、$S_d$ のような有効インデックス集合を構成できるか。
• RQ5 双対性の下で $g_k(X)$ の値はどのように振る舞い、これは完全 $g$-ベクトルの構造にどのような含意を持つのか。

主な発見

• 完全 $g$-ベクトルは、$(C,D)$-基底からの下三角行列変換により、任意の凸多面体の完全なフラッグベクトルを線形的に再構成可能である。
• 次元 $d \leq 4$ の場合、すべての計算された $g_k(X) \geq 0$ が、すべてのフィボナッチインデックス $k$ に対して成り立つ。
• 次元 5 では、唯一 $X = BIC^3(\mathrm{pt})$ のとき $k = [00;11]$ で $g_k(X) < 0$ となる負の値が発生する。
• 次元 6 では、唯一 $X = B^4C^2(\mathrm{pt})$ のとき $k = [00;21]$ で $g_k(X) < 0$ となる負の値が発生する。
• 次元 7 では、$X = B^2ICIC^2(\mathrm{pt})$ のとき、3 つの例外的 $k$ 値 $[00;13]$、$[00;31]$、$[10;11]$ が負の $g_k(X)$ を与える。
• 次元 8 では、$X = B^4CIC^2(\mathrm{pt})$ のとき、4 つの例外的 $k$ 値 $[00;23]$、$[00;41]$、$[10;21]$、$[000;011]$ が負の $g_k(X)$ を生成する。