[论文解读] Residues formulae for volumes and Ehrhart polynomials of convex polytopes

W. Baldoni-Silva, Michèle Vergne|arXiv (Cornell University)|Mar 15, 2001

Advanced Combinatorial Mathematics参考文献 7被引用 48

一句话总结

本文利用 Jeffrey-Kirwan 余数定理，为凸多面体的体积和 Ehrhart 多项式建立了余数公式，重点研究了根系 $A_n$ 和流多面体。通过迭代常数项展开提供了体积的代数计算，并证明了体积与 Ehrhart 多项式之间的可除性性质，验证了 Chan-Robbins-Yuen 的猜想，并将结果推广至周期性 Ehrhart 函数。

ABSTRACT

In these notes, we explain residue formulae for volumes of convex polytopes, and for Ehrahrt polynomials based on the notion of total residue. We apply this method to the computation of the volume of the Chan-Robbins polytope. The final computation is based on a total residue formula for the system $A_n$, similar to Morris identity. For flow polytopes, a formula of change of variables in total residues leads to a "nice formula" for Ehrhart polynomials in function of mixed volumes. We apply it to Pitman-Stanley polytope.

研究动机与目标

• 开发基于余数的凸多面体体积与 Ehrhart 多项式公式，特别是源自根系的多面体。
• 为计算流多面体（如 Chan-Robbins-Yuen 多面体）的体积，提供一种代数替代方法，避免单纯形分解。
• 证明级联多面体体积与其特定面体积之间的可除性性质，验证 Chan-Robbins-Yuen 的猜想。
• 通过生成函数的周期版本与 Khovanskii-Pukhlikov 定理，将余数方法推广至 Ehrhart 多项式。
• 分析 $A_3^+$ 正锥中的大区域结构，并在每个区域中推导出体积与分拆函数的显式多项式表达式。

提出的方法

• 在 $V_{\mathbb{C}}$ 中的超平面排列上使用有理函数的全余数映射 $Tres_{\triangle}$，投影到简单有理函数空间 $S_{\triangle}$。
• 应用 Jeffrey-Kirwan 余数公式：$\operatorname{vol} P_{\Phi}(a) = \langle\langle \mathfrak{c}, J_{\Phi}(a) \rangle\rangle$，其中 $J_{\Phi}(a)$ 是 $\frac{e^{\langle a,x \rangle}}{\prod_{k=1}^N \alpha^k(x)}$ 的余数。
• 将级联多面体的体积表示为有理函数的迭代常数项，从而实现显式代数计算。
• 通过余数中变量替换公式，将体积公式转化为 Ehrhart 多项式公式。
• 通过周期余数 $K_{\Phi}(a) = Tres_{\triangle}\left(\frac{e^{\langle a,x \rangle}}{\prod_{k=1}^N (1 - e^{\langle \alpha^k, x \rangle})}\right)$ 计算 Kostant 分拆函数。
• 利用对称群作用与余数展开，在每个大区域 $\mathfrak{c}_i$ 中推导出 $v(A_3^+, \mathfrak{c}_i)(a)$ 与 $k(A_3^+, \mathfrak{c}_i)(a)$ 的显式多项式表达式。

实验结果

研究问题

• RQ1 如何利用余数理论代数地计算与根系 $A_n$ 相关的流多面体的体积？
• RQ2 级联多面体体积被其特定面体积整除的代数机制是什么？该机制是否验证了 Chan-Robbins-Yuen 的猜想？
• RQ3 能否通过在余数映射中进行变量替换，从体积余数公式推导出流多面体的 Ehrhart 多项式？
• RQ4 在 $A_3^+$ 的正锥中，大区域的结构是怎样的？体积与分拆函数在这些区域中如何变化？
• RQ5 Kostant 分拆函数 $k(A_3^+, \mathfrak{c}_i)(a)$ 在各区域中如何表现？它们满足哪些连续性与对称性性质？

主要发现

• 对于 $A_3^+$ 的完整流多面体，其体积为 $v(A_3^+, \mathfrak{c}_1)(a) = \frac{1}{6}a_1^2(a_1 + 3a_2)$，与通过余数计算得到的已知结果一致。
• 同一多面体在区域 $\mathfrak{c}_1$ 中的 Ehrhart 多项式为 $k(A_3^+, \mathfrak{c}_1)(a) = \frac{1}{6}(a_1+1)(a_1+2)(a_1 + 3a_2 + 3)$，验证了周期余数公式。
• 体积函数 $v(A_3^+, \mathfrak{c}_2)(a) = \frac{1}{6}(a_1+a_2+a_3)^2(a_1+a_2-2a_3)$ 在锥的边界上为零，其双重根源于两个根不在边界面上。
• 当 $a_2 = a_3 = 0$ 时，Kostant 分拆函数 $k(A_3^+, \mathfrak{c}_1)(a)$ 限制为 $\frac{1}{6}(x+1)(x+2)(x+3)$，表明其在区域间具有连续性。
• 函数 $k(A_3^+, \mathfrak{c}_3)(a)$ 在体积多项式之外包含一个修正项 $a_1^2 + \frac{3}{2}a_1a_2 + \frac{1}{2}a_1a_3 - \frac{1}{2}a_3^2 + \frac{11}{6}a_1 + a_2 + \frac{2}{3}a_3 + 1$，反映了 Ehrhart 函数的周期性。
• 在每个大区域 $\mathfrak{c}_i$ 中，体积与分拆函数均不相同，证实了这些区域是体积与 Ehrhart 函数多项式表示的最小定义域。