[论文解读] Counting Lattice Points by means of the Residue Theorem

Matthias Beck|ArXiv.org|Jun 2, 2003

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

一句话总结

本文提出了一种利用留数定理计算n维格点多面体Ehrhart多项式的新型方法，推导出涉及单位根处留数及z=1处极点的显式公式。主要贡献在于通过留数理论证明了Ehrhart-Macdonald对偶性定律，并提出了一种算法化方法来计算Ehrhart系数，该方法在余维数2的情况下得到说明，并可推广至一般的凸格点多面体。

ABSTRACT

We use the residue theorem to derive an expression for the number of lattice oints in a dilated n-dimensional tetrahedron with vertices at lattice points on each coordinate axis and the origin. This expression is known as the Ehrhart polynomial. We show that it is a polynomial in t, where t is the integral dilation parameter. We prove the Ehrhart-Macdonald reciprocity law for these tetrahedra, relating the Ehrhart polynomials of the interior and the closure of the tetrahedra. To illustrate our method, we compute the Ehrhart coefficient for codimension 2. Finally, we show how our ideas can be used to compute the Ehrhart polynomial for an arbitrary convex lattice polytope.

研究动机与目标

• 开发一种基于复分析的初等方法，用于计算格点多面体的Ehrhart多项式。
• 通过留数微积分证明n维多面体的Ehrhart-Macdonald对偶性定律。
• 作为该方法的说明，计算余维数2多面体的Ehrhart系数$c_{n-2}$。
• 通过多元留数积分，将该留数理论方法推广至任意凸格点多面体。

提出的方法

• 通过生成函数将$t\bar{\frak{P}}$中的格点数量表示为洛朗级数系数。
• 定义一个亚纯函数$f_{-t}(z)$，其在$z=0$处的留数给出$L(\bar{\frak{P}}, t) - 1$，其极点位于$z=0$、$z=1$以及$\Omega$中的单位根处。
• 在黎曼球面上应用留数定理，注意到无穷远处的留数为零，从而将$L(\bar{\frak{P}}, t)$表示为$z=1$和$\lambda \in \Omega$处留数之和。
• 通过变量替换$z = e^w$计算$z=1$处的留数，将问题转化为$w=0$处的留数计算。
• 通过局部洛朗展开处理单位根$\lambda \in \Omega$处的留数，并将其与广义Dedekind和联系起来。
• 通过引入多元生成函数并在$\mathbb{C}^q$中的环面上进行积分，将该方法推广至一般的凸格点多面体。

实验结果

研究问题

• RQ1 能否利用复分析和留数定理计算格点多面体的Ehrhart多项式？
• RQ2 如何通过留数微积分推导出此类多面体的Ehrhart-Macdonald对偶性定律？
• RQ3 Ehrhart系数的结构是怎样的，特别是$c_{n-2}$，能否显式计算？
• RQ4 该留数理论方法能否推广至任意凸格点多面体？

主要发现

• 通过留数分析证明了Ehrhart多项式$L(\bar{\frak{P}}, t)$是$t$的多项式，从而确认了该类多面体的Ehrhart定理。
• $z=1$处的留数是$t$的有理函数，其系数有理地依赖于参数$a_1, \dots, a_n$。
• $\Omega$中单位根处的留数产生广义Dedekind和，这些和编码了高阶Ehrhart系数。
• 对于余维数2多面体，Ehrhart多项式的第一个非平凡系数$c_{n-2}$被显式计算。
• 通过在$q$维环面上对多元留数积分进行公式化，该方法可推广至一般的凸格点多面体。
• 该方法为利用多元留数微积分系统计算任意凸格点多面体的Ehrhart多项式提供了有效途径。