[论文解读] Residue formulae for vector partitions and Euler-MacLaurin sums

András Szenes, Michèle Vergne|ArXiv.org|Feb 24, 2002

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

一句话总结

本文为定义在格点空间中由线性约束所确定的有理多面体上的向量分拆函数和欧拉-麦克劳林求和，推导出显式的留数公式。研究证明，此类多面体中的整数点数量，或其上指数-多项式函数的和，由局部解析且周期性的分段指数-多项式函数给出，这些公式通过留数微分法和Todd算子推导得出，适用于生成锥的各个锥锥胞。

ABSTRACT

Given a finite set of vectors spanning a lattice and lying in a halfspace of a real vector space, to each vector $a$ in this vector space one can associate a polytope consisting of nonnegative linear combinations of the vectors in the set which sum up to $a$. This polytope is called the partition polytope of $a$. If $a$ is integral, this polytope contains a finite set of lattice points corresponding to nonnegative integral linear combinations. The partition polytope associated to an integral $a$ is a rational convex polytope, and any rational convex polytope can be realized canonically as a partition polytope. We consider the problem of counting the number of lattice points in partition polytopes, or, more generally, computing sums of values of exponential-polynomial functions on the lattice points in such polytopes. We give explicit formulae for these quantities using a notion of multi-dimensional residue due to Jeffrey-Kirwan. We show, in particular, that the dependence of these quantities on $a$ is exponential-polynomial on "large neighborhoods" of chambers. Our method relies on a theorem of separation of variables for the generating function, or, more generally, for periodic meromorphic functions with poles on an arrangement of affine hyperplanes.

研究动机与目标

• 推导给定一组格点向量所关联的分拆多面体中整数点数量的显式闭式表达式。
• 将欧拉-麦克劳林求和公式推广至高维有理多面体及指数-多项式函数。
• 建立所得计数与求和函数为分段指数-多项式函数，并在生成锥的每个锥锥胞中给出显式公式。
• 提供一种系统方法，利用留数微分法与Todd微分算子计算这些函数。
• 展示向量分拆函数及其和在格点向量生成锥的不同锥胞中的周期-多项式行为。

提出的方法

• 作者将分拆多面体 $\Pi_{\Phi}(\lambda)$ 定义为非负实数解集 $\sum x_k \beta_k = \lambda$，其中 $\beta_k$ 属于对偶格点。
• 他们为 $f \in \mathrm{EP}(\mathbb{R}^N)$（指数-多项式函数的环）引入欧拉-麦克劳林和 $\mathcal{S}[f,\Phi](\lambda) = \sum_{\xi \in \Pi_{\Phi}(\lambda) \cap \mathbb{Z}^N} f(\xi)$。
• 利用留数微分法，他们构造出 $\mathcal{S}[f,\Phi](\lambda)$ 的显式公式，表示为指数-多项式函数 $\mathcal{P}[\mathfrak{c}, f, \Phi](\lambda)$，该公式在锥 $C(\Phi)$ 的每个锥锥胞 $\mathfrak{c}$ 的闭包上有效。
• 该方法依赖于Todd算子与生成函数理论，通过多面体的顶点与边进行显式留数计算。
• 作者通过低维情形（$n=1,2,3$）的直接计算验证了公式，结果与周期-多项式行为及格线上的零化条件一致。
• 他们将一般情形与有理多面体的闵可夫斯基和联系起来，表明计数函数在求和权重上为周期-多项式。

实验结果

研究问题

• RQ1 如何显式计算由线性丢番图方程组定义的有理多面体中整数点的数量？
• RQ2 此类多面体上指数-多项式函数的欧拉-麦克劳林求和具有何种结构？
• RQ3 计数函数在生成锥的不同锥锥胞中如何表现？
• RQ4 欧拉-麦克劳林求和能否表示为具有显式留数公式的分段指数-多项式函数？
• RQ5 分拆函数及其和变体的零化区域是什么？它们与多面体几何有何关联？

主要发现

• 当 $n=1$ 时，分拆函数 $\iota[\mathfrak{c}_1,\Phi_1]$ 在直线 $a_2 = -1$ 和 $a_2 = -2$ 上为零，且差值 $\iota[\mathfrak{c}_1,\Phi_1,\text{even}] - \iota[\mathfrak{c}_2,\Phi_1]$ 在 $2a_1 - a_2 = 0$ 时为零。
• 当 $n=2$ 时，$\iota[\mathfrak{c}_1,\Phi_2]$ 的偶部与奇部分别在 $a_2 = -1, -2, -3, -4, -5$ 上为零，且差值 $\iota[\mathfrak{c}_1,\Phi_2] - \iota[\mathfrak{c}_2,\Phi_2]$ 在 $2a_1 - a_2 = -3, -2, -1, 0, 1$ 上为零。
• 当 $n=3$ 时，函数 $\iota[\mathfrak{c}_1,\Phi_3]$ 在 $a_2 = -1, -2, \dots, -8$ 上为零，且差值 $\iota[\mathfrak{c}_1,\Phi_3] - \iota[\mathfrak{c}_2,\Phi_3]$ 在直线 $2a_1 - a_2 = -5, -4, -3, -2, -1, 0, 1, 2$ 上为零。
• 函数 $\iota[\mathfrak{c}_1,\Phi_3,\text{even}]$ 的显式公式为 $a_1, a_2$ 的10次齐次多项式，系数为有理数，分母为 53760。
• 差值 $\iota[\mathfrak{c}_1,\Phi_3,\text{odd}] - \iota[\mathfrak{c}_2,\Phi_3]$ 为五个一次因子与一个三次因子的乘积，表明该函数在 $a_1$-$a_2$ 平面上的八条不同直线上为零。
• 本文确认，欧拉-麦克劳林和 $\mathcal{S}[f,\Phi](\lambda)$ 在每个锥锥胞 $\mathfrak{c}$ 上由指数-多项式函数 $\mathcal{P}[\mathfrak{c}, f, \Phi](\lambda)$ 给出，且其构造基于显式留数公式。