[论文解读] h-Polynomials of Reduction Trees

Karola Mészáros|arXiv (Cornell University)|Jul 10, 2014

Commutative Algebra and Its Applications被引用 3

一句话总结

本文引入了细分代数及其相关代数中约化树的h-多项式，建立了一个组合框架以证明约化形式的非负性。通过定义可壳化约化树，并将其h-多项式与流多面体的剖分联系起来，作者证明了约化形式会特化为平移后的h-多项式，从而解决了A.N. Kirillov关于这些多项式系数非负性的猜想。

ABSTRACT

Reduction trees are a way of encoding a substitution procedure dictated by the relations of an algebra. We use reduction trees in the subdivision algebra to construct canonical triangulations of flow polytopes which are shellable. We explain how a shelling of the canonical triangulation can be read off from the corresponding reduction tree in the subdivision algebra. We then introduce the notion of shellable reduction trees in the subdivision and related algebras and define h-polynomials of reduction trees. In the case of the subdivision algebra, the h-polynomials of the canonical triangulations of flow polytopes equal the h-polynomials of the corresponding reduction trees, which motivated our definition. We show that the reduced forms in various algebras, which can be read off from the leaves of the reduction trees, specialize to the shifted h-polynomials of the corresponding reduction trees. This yields a technique for proving nonnegativity properties of reduced forms. As a corollary we settle a conjecture of A.N. Kirillov.

研究动机与目标

• 开发一种组合方法，以证明Kirillov的准经典Yang-Baxter代数及其阿贝尔化中约化形式系数的非负性。
• 建立流多面体的典范剖分与细分代数中约化树之间的联系。
• 定义约化树的h-多项式，并证明其与典范剖分的h-多项式一致。
• 证明各种代数中的约化形式会特化为相应约化树的平移h-多项式。
• 解决A.N. Kirillov关于某些约化形式中系数非负性的猜想。

提出的方法

• 利用细分代数关系导出的约化树，构建流多面体的典范剖分。
• 引入部分约化树弱嵌入与强嵌入的概念，以模拟壳化顺序。
• 基于流多面体典范剖分的h-多项式，定义约化树的h-多项式。
• 利用强嵌入描述在特定约化顺序下约化树中所有叶节点的完整集合。
• 将该框架应用于证明各种代数中的约化形式会特化为相应约化树的平移h-多项式。
• 采用归纳论证和坐标向量约束（cG1,G）证明剖分中单形的交集是面，从而确保剖分的有效性。

实验结果

研究问题

• RQ1 Kirillov代数中约化形式的系数非负性能否通过组合方式解释？
• RQ2 流多面体典范剖分的几何结构如何抽象为约化树的代数性质？
• RQ3 约化树的h-多项式与典范剖分的h-多项式之间的确切关系是什么？
• RQ4 各种代数中的约化形式是否会特化为相应约化树的平移h-多项式？
• RQ5 A.N. Kirillov关于某些约化形式中系数非负性的猜想是否成立？

主要发现

• 细分代数中约化树的h-多项式与相应流多面体典范剖分的h-多项式完全一致。
• 包括细分代数在内的各种代数中的约化形式，会特化为相应约化树的平移h-多项式。
• 通过约化树构建的流多面体典范剖分是可壳化的，这通过强嵌入导出的壳化顺序得到证明。
• 典范剖分中任意两个单形的交集是两者的面，证实该构造产生了一个有效的剖分。
• 对应于叶节点G1和G2的两个单形的交集的维数为 |E(G1 ∩ G2)| + |V(G1 ∩ G2)| − 1。
• 本文通过h-多项式框架解决了A.N. Kirillov的猜想7，证明了约化形式中系数的非负性。