[论文解读] 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$，并通过移位和分裂关系在这些指标上定义偏序。
• 将 $g_k(X)$ 定义为满足 $g_k((C,D)^ u(\mathrm{pt})) = 1$ 当 $k \leq \nu$，否则为 0 的线性泛函，从而形成向旗向量的下三角变换。
• 应用该变换，利用 polymake 等计算工具对双锥体和迭代锥体等特定多面体计算 $g_k(X)$。
• 通过对偶性定义 $g^ u_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 能否构造出有效指标集 $S_d$，使得 $g_k(X)$ 对 $k \in S_d$ 的非负性可推出 $CX$、$IX$ 和 $BX$ 的非负性？
• RQ5 在对偶性下 $g_k(X)$ 的行为如何？这对完整 $g$-向量的结构有何含义？

主要发现

• 完整 $g$-向量通过 $(C,D)$-基的下三角变换，线性重构了任意凸多面体的完整旗向量。
• 在维度 $d \leq 4$ 时，所有计算得到的 $g_k(X) \geq 0$，对所有斐波那契指标 $k$ 成立。
• 在维度 5 中，唯一负值出现在 $k = [00;11]$，对应 $X = BIC^3(\mathrm{pt})$，且 $g_k(X) < 0$。
• 在维度 6 中，唯一负值出现在 $k = [00;21]$，对应 $X = B^4C^2(\mathrm{pt})$，且 $g_k(X) < 0$。
• 在维度 7 中，三个例外 $k$ 值 $[00;13]$、$[00;31]$ 和 $[10;11]$ 对应 $X = B^2ICIC^2(\mathrm{pt})$ 时产生负的 $g_k(X)$。
• 在维度 8 中，四个例外 $k$ 值 $[00;23]$、$[00;41]$、$[10;21]$ 和 $[000;011]$ 对应 $X = B^4CIC^2(\mathrm{pt})$ 时产生负的 $g_k(X)$。