[论文解读] Ehrhart polynomial and multiplicity Tutte polynomial

Michele D’Adderio, Luca Moci|arXiv (Cornell University)|Feb 1, 2011

Advanced Combinatorial Mathematics参考文献 16被引用 3

一句话总结

本文建立了zono­tope的Ehrhart多项式与多重Tutte多项式之间的精确代数关系，证明了由整数向量列表生成的zono­tope的Ehrhart多项式是多重Tutte多项式的特化形式：$\mathcal{E}_{\mathcal{Z}(X)}(q) = q^n M_X(1 + 1/q, 1)$。该联系为Ehrhart多项式的系数提供了新的组合与几何解释，并导出了zono­tope及其内部的体积和整数点数的显式公式。

ABSTRACT

We prove that the Ehrhart polynomial of a zonotope is a specialization of the multiplicity Tutte polynomial. We derive some formulae for the volume and the number of integer points of the zonotope.

研究动机与目标

• 建立zono­tope的Ehrhart多项式与多重Tutte多项式之间深层次的代数联系。
• 为Ehrhart多项式的系数提供新的解释，尽管已知其首项、$n-1$次项和常数项的性质，但这些系数的组合或几何意义仍不甚明了。
• 利用多重Tutte多项式推导出zono­tope及其内部整数点数的显式公式。
• 加强多重Tutte多项式与分拆函数$\mathcal{P}_X(\lambda)$之间的联系，特别是通过拟多项式和环面排列结构。

提出的方法

• 作者将多重Tutte多项式$M_X(x,y)$定义为经典Tutte多项式的推广，通过子集$A \subseteq X$的指标$m(A) = [\Lambda_A : \langle A\rangle_\mathbb{Z}]$引入格点算术。
• 他们证明了zono­tope$\mathcal{Z}(X)$的Ehrhart多项式是通过将$M_X(x,y)$在$x = 1 + 1/q$和$y = 1$处特化，并乘以$q^n$得到的，即$\mathcal{E}_X(q) = q^n M_X(1 + 1/q, 1)$。
• 提供了两种独立的证明：一种基于[15]中关于$\mathcal{Z}(X)$中整数点数的已知结果；另一种基于通过$M_X(1+t,1) = t^n \mathcal{E}_X(1/t)$反转系数。
• 证明利用了膨胀zono­tope的性质，表明$q\mathcal{Z}(X) = \mathcal{Z}(qX)$，并推导出$M_{qX}(x,y)$的缩放恒等式，这对主定理至关重要。
• 作者利用Ehrhart-Macdonald对偶性推导出内部整数点数的公式：$\mathcal{I}_X(q) = (-q)^n M_X(1 - 1/q, 1)$。
• 他们将这些结果应用于计算zono­tope的体积为常数项$M_X(1,1)$，并通过$M_X(2,1)$和$M_X(0,1)$的取值计算边界与内部的整数点数。

实验结果

研究问题

• RQ1 如何用已知的算术多项式不变量表达zono­tope的Ehrhart多项式？
• RQ2 多重Tutte多项式与zono­tope的Ehrhart多项式之间是否存在精确的代数关系？
• RQ3 能否通过多重Tutte多项式为Ehrhart多项式的系数（尤其是首项和常数项之外的系数）提供组合或几何解释？
• RQ4 多重Tutte多项式如何编码关于膨胀zono­tope及其内部整数点数的信息？
• RQ5 多重Tutte多项式能否统一或澄清Ehrhart理论、分拆函数与环面排列之间的联系？

主要发现

• zono­tope$\mathcal{Z}(X)$的Ehrhart多项式为$\mathcal{E}_X(q) = q^n M_X(1 + 1/q, 1)$，确立了直接的特化关系。
• $\mathcal{Z}(X)$中的整数点数为$M_X(2,1)$，为此计数提供了新的组合解释。
• zono­tope$\mathcal{Z}(X)$的体积等于$M_X(1,1)$，即多重Tutte多项式的常数项。
• $\mathcal{Z}(X)$内部的整数点数为$M_X(0,1)$，为此提供了新的公式。
• 膨胀zono­tope$q\mathcal{Z}(X)$内部的整数点数为$\mathcal{I}_X(q) = (-q)^n M_X(1 - 1/q, 1)$，该公式通过Ehrhart-Macdonald对偶性导出。
• 对于示例列表$X = \{(3,0),(0,2),(1,1)\}$，Ehrhart多项式为$\mathcal{E}_X(q) = 11q^2 + 6q + 1$，体积为$M_X(1,1) = 11$，$\mathcal{Z}(X)$内部的整数点数为$M_X(0,1) = 6$。