[论文解读] Face numbers of cubical barycentric subdivisions

Christina Savvidou|arXiv (Cornell University)|May 22, 2010

Advanced Combinatorial Mathematics参考文献 2被引用 4

一句话总结

本文引入了立方复形 K 的立方重心剖分（sd_c）并推导了其在该变换下短立方 h-向量与长立方 h-向量的显式公式。证明了短立方 h-多项式在 sd_c 下保持对称性、非负性与实根性，并刻画了连续剖分的渐近行为，表明其收敛于与 f_{d-1}(K)x(x+1)^{d-2} 成比例的极限多项式。

ABSTRACT

The cubical barycentric subdivision sd_c(K) of a cubical complex K is introduced as an analogue of the barycentric subdivision of a simplicial complex. Explicit formulas for the short and long cubical h-vector of sd_c(K) are given, in terms of those of K. It is deduced that symmetry and nonnegativity of these h-vectors, as well as real rootedness of the short cubical h-polynomial, are preserved under cubical barycentric subdivision. The asymptotic behavior of the short and long cubical h-vectors of successive cubical barycentric subdivisions of K is also determined.

研究动机与目标

• 开发立方复形的单纯重心剖分的立方类比。
• 推导短立方 h-向量与长立方 h-向量在该立方重心剖分下的显式变换公式。
• 研究 h-向量的关键性质——对称性、非负性与实根性——是否在剖分下保持不变。
• 确定在重复立方重心剖分下 h-多项式的渐近行为。

提出的方法

• 将立方重心剖分 sd_c(K) 定义为一个多面复形，其面与 K 的面格中不包括空面的闭区间一一对应。
• 通过包含原 f-多项式与有理系数的生成函数变换，表达短立方 h-多项式 h^{(sc)}_{sd_c(K)}(x)。
• 利用具有系数 C(d,i,j) 的生成函数，推导长立方 h-向量 h^{(c)}(sd_c(K)) 的条目关于 h^{(c)}(K) 的显式非负有理线性组合。
• 通过生成函数级数的代数运算，建立变换系数 C(d,i,j) 的生成函数，这些系数为有理数且非负。
• 利用短 h-向量与长 h-向量之间的递推关系，以及 h-多项式与约化欧拉示性数之间的联系，推导变换公式。
• 通过研究 h^{(c)}_{sd_c^n(K)}(x)/2^{n(d-1)} 当 n → ∞ 时的极限，分析连续剖分的渐近行为，证明其收敛于 f_{d-1}(K)x(x+1)^{d-2}。

实验结果

研究问题

• RQ1 立方重心剖分是否保持立方 h-向量的对称性？
• RQ2 短立方 h-多项式的非负性与实根性在立方重心剖分下是否保持不变？
• RQ3 在重复立方重心剖分下，长立方 h-多项式的渐近行为如何？
• RQ4 sd_c(K) 的长立方 h-向量的条目能否表示为 K 的条目的非负有理线性组合？
• RQ5 迭代剖分的归一化 h-多项式的极限是否收敛于特定的多项式表达式？

主要发现

• sd_c(K) 的长立方 h-向量的条目通过系数 C(d,i,j) 表示为 K 的条目的非负有理线性组合，其中 C(d,i,j) 由生成函数显式确定。
• 长立方 h-向量的对称性在立方重心剖分下保持不变，由恒等式 C(d,d−i,d−j) = C(d,i,j) 所示。
• 长立方 h-向量的非负性在 sd_c 下保持不变，因为变换系数 C(d,i,j) 为非负有理数。
• 若原始复形 K 的 h-向量非负，则 sd_c(K) 的短立方 h-多项式为实根式，扩展了单纯复形中的一个结果。
• 在重复立方重心剖分下，归一化 h-多项式 h^{(c)}_{sd_c^n(K)}(x)/2^{n(d−1)} 在 n → ∞ 时逐系数收敛于 f_{d−1}(K)x(x+1)^{d−2}。
• 若 (−1)^{d−1}χ̃(K) ≥ 0，则对所有充分大的 n，sd_c^n(K) 的 h-多项式具有非负且单峰的系数。