[论文解读] h-Polynomials via Reduced Forms

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

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

一句话总结

本文证明了流多面体的细分代数中的约化形式编码了正则旗剖分，推广了这些剖分的h-多项式。证明了特定约化形式产生非负多项式，通过几何与Ehrhart理论方法证实了Kirillov在准经典Yang-Baxter代数中关于非负性的猜想的特例。

ABSTRACT

The flow polytope $\mathcal{F}_{\widetilde{G}}$ is the set of nonnegative unit flows on the graph $\widetilde{G}$. The subdivision algebra of flow polytopes prescribes a way to dissect a flow polytope $\mathcal{F}_{\widetilde{G}}$ into simplices. Such a dissection is encoded by the terms of the so called reduced form of the monomial $\prod_{(i,j)\in E(G)}x_{ij}$. We prove that we can use the subdivision algebra of flow polytopes to construct not only dissections, but also regular flag triangulations of flow polytopes. We prove that reduced forms in the subdivision algebra are generalizations of $h$-polynomials of the triangulations of flow polytopes. We deduce several corollaries of the above results, most notably proving certain cases of a conjecture of Kirillov about the nonnegativity of reduced forms in the noncommutative quasi-classical Yang-Baxter algebra.

研究动机与目标

• 建立细分代数中约化形式的几何解释，即作为流多面体正则旗剖分的h-多项式。
• 通过将其与剖分数和Ehrhart理论联系，证明约化形式的系数为非负。
• 验证Kirillov关于准经典Yang-Baxter代数中约化形式非负性猜想的特例。
• 利用约化形式推广已知的Ehrhart序列与Kostant划分函数的结果。

提出的方法

• 使用细分代数通过约化树将流多面体的剖分编码为单形。
• 定义特定的约化顺序σ，以构造一致路径与团，从而生成正则旗剖分。
• 证明当某些变量被特化为1时，单项式的约化形式对应于该流多面体剖分的h-多项式。
• 利用剖分的正则性，证明约化形式中系数的非负性。
• 通过h-多项式恒等式，将流多面体的Ehrhart序列与约化形式关联。
• 利用恒等式 i(F_G, m) = K_{G}(m, 0, ..., 0, -m)，将Ehrhart序列用Kostant划分函数表示。

实验结果

研究问题

• RQ1 细分代数中的约化形式能否被解释为流多面体剖分的h-多项式？
• RQ2 通过细分代数构造的流多面体正则旗剖分，其约化形式的系数是否非负？
• RQ3 在准经典Yang-Baxter代数中，单项式 x_{12}x_{23}...x_{n-1,n} 在 x=(1,...,1) 和 β−1 处的约化形式是否非负？
• RQ4 流多面体的Ehrhart序列与细分代数中的约化形式有何关联？
• RQ5 能否利用Kostant划分函数通过约化形式表达流多面体的Ehrhart序列？

主要发现

• 当将某些变量设为1进行特化时，细分代数中单项式的约化形式等于对应流多面体正则旗剖分的平移h-多项式。
• 约化形式的系数为非负，因为其计数了正则旗剖分中的面。
• 在准经典Yang-Baxter代数中，单项式 x_{12}x_{23}...x_{n-1,n} 在 x=(1,...,1) 和 β−1 处的约化形式是关于β的具有非负系数的多项式，从而证实了Kirillov猜想的特例。
• 流多面体 F_{G̃} 的Ehrhart序列可表示为 Q_G^{S(β)}(β−1) = ∑_{m≥0} i(F_{G̃}, m) β^m (1−β)^{dim(F_{G̃})+1}，将约化形式与Ehrhart理论联系起来。
• F_{G̃} 的第m倍缩放中整点的数量等于Kostant划分函数 K_{G̃}(m, 0, ..., 0, -m)，从而可将Ehrhart序列以Kostant划分函数的新形式表达。
• 恒等式 Q_G^{S(β)}(β−1) = ∑_{m≥0} K_{G̃}(m, 0, ..., 0, -m) β^m (1−β)^{#E(G)+#V(G)} 将 [6, 定理3.10] 推广至任意图G。