[论文解读] gamma-vectors of edge subdivisions of the boundary of the cross polytope

Natalie Aisbett|arXiv (Cornell University)|Sep 9, 2012

Advanced Combinatorial Mathematics参考文献 5被引用 6

一句话总结

该论文构建了一个旗单纯复形 Γ(Θ)，其 f-向量等于通过交叉单纯形边界进行边 stellar 子剖分得到的任意旗单纯复形 Θ 的 γ-向量。该构造依赖于子剖分序列，并证明了 γ-向量满足 Frankl-Füredi-Kalai 不等式，部分证实了 Nevo 和 Petersen 的猜想：旗同调球面的 γ-向量是旗复形的 f-向量。

ABSTRACT

For any flag simplicial complex $Θ$ obtained by stellar subdividing the boundary of the cross polytope in edges, we define a flag simplicial complex $Γ(Θ)$ (dependent on the sequence of subdivisions) whose $f$-vector is the $γ$-vector of $Θ$. This proves that the $γ$-vector of any such simplicial complex satisfies the Frankl-Füredi-Kalai inequalities, partially solving a conjecture by Nevo and Petersen \cite{np}. We show that when $Θ$ is the dual simplicial complex to a nestohedron, and the sequence of subdivisions corresponds to a flag ordering as defined in \cite{ai}, that $Γ(Θ)$ is equal to the flag simplical complex defined there.

研究动机与目标

• 证明通过交叉单纯形边界进行边 stellar 子剖分得到的任意旗单纯复形 Θ 的 γ-向量是某个旗单纯复形的 f-向量。
• 验证该构造满足 Frankl-Füredi-Kalai 不等式，支持 Nevo 和 Petersen 的猜想。
• 当子剖分序列对应旗排序时，证明其与旗嵌套多面体的先前构造一致。
• 建立一个一般框架，将子剖分序列与具有 γ-向量 f-向量的旗复形联系起来。

提出的方法

• 定义与交叉单纯形边界边 stellar 子剖分序列相关的旗单纯复形 Γ(Θ)，使用嵌套集理论和顶点标记。
• 通过在每次子剖分步骤后追踪邻接关系的链复形，递归构造 Γ(Θ)。
• 利用先前工作中提出的构架（包含生成集和旗排序），将子剖分序列与嵌套集及顶点邻接关系关联。
• 证明 Γ(Θ) 中的邻接关系对应于原始复形中子剖分子复形的包含与交集性质。
• 通过子剖分序列的归纳推理，证明 Γ(Θ) 的 f-向量与 Θ 的 γ-向量一致。
• 验证当 Θ 为旗嵌套多面体的对偶单纯复形且子剖分序列为旗排序时，该构造与先前基于生成集定义的旗复形一致。

实验结果

研究问题

• RQ1 任何通过交叉单纯形边界边子剖分得到的旗单纯复形 Θ 的 γ-向量是否可实现为某个旗单纯复形的 f-向量？
• RQ2 Γ(Θ) 的构造是否依赖于边子剖分的具体序列？若依赖，其依赖关系如何？
• RQ3 当子剖分序列对应旗排序时，所得旗复形 Γ(Θ) 是否与旗嵌套多面体的先前构造一致？
• RQ4 此类复形的 γ-向量是否满足 Frankl-Füredi-Kalai 不等式？

主要发现

• 任何属于 sd(Σ_{d−1}) 的 Θ 的 γ-向量都是某个旗单纯复形 Γ(Θ) 的 f-向量，从而部分证明了 Nevo 和 Petersen 的猜想 1.2。
• Γ(Θ) 的构造依赖于边子剖分的序列，且在不同子剖分顺序下并非唯一（非典范）。
• 当 Θ 是旗嵌套多面体的对偶单纯复形且子剖分序列为旗排序时，Γ(Θ) 与先前基于生成集定义的旗复形一致。
• 此类复形的 γ-向量满足 Frankl-Füredi-Kalai 不等式，因为这些不等式是旗复形 f-向量的必要条件。
• 通过链复形结构和嵌套集性质刻画了 Γ(Θ) 中的邻接关系，确保其为旗复形且具有正确的 f-向量。