[论文解读] The Ehrhart Function for Symbols

Victor Guillemin, Shlomo Sternberg+1 more|arXiv (Cornell University)|Jan 29, 2006

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

一句话总结

该论文通过带余项的欧拉-麦克劳林公式，将埃赫尔哈特多项式定理推广至多重齐次符号，推导出在缩放多面体中格点上符号求和的渐近展开式。关键结果是：求和与积分之间的差值可表示为一个无限阶微分算子作用于积分的结果，外加一个与多面体无关的常数正则化项。

ABSTRACT

We derive an Ehrhart function for symbols from the Euler-MacLaurin formula with remainder.

研究动机与目标

• 将埃赫尔哈特定理从多项式推广至正则单形多面体上的多重齐次符号。
• 推导出在缩放多面体中格点上符号求和的渐近展开式。
• 识别并表征在将欧拉-麦克劳林公式应用于符号时所需的正则化常数 C。
• 证明正则化常数 C 与多面体无关，且源于符号求和与积分之间的差异。

提出的方法

• 对缩放多面体中格点上多重齐次符号的求和应用带余项的欧拉-麦克劳林公式。
• 以科凡斯科伊-普赫利科夫公式为起点，通过渐近展开将该公式从多项式推广至符号。
• 引入一个规范化的符号 $ f(x,s) $，以解析延拓余项，并将正则化常数 $ C(s) $ 定义为一个全纯函数。
• 通过极限 $ C = \lim_{N \to \infty} \left( \sum_{\ell \in N\Delta \cap \mathbb{Z}^n} f(\ell) - \int_{N\Delta} f(x) dx \right) $ 计算常数 $ C $，其中 $ \operatorname{Re} s < -r - n $。
• 利用符号 $ f \sim \sum_{\ell} f_\ell $ 的渐近展开，将求和与积分分解为齐次分量。
• 证明差值 $ p_w(N,f) - \tilde{p}(N,0,f) $ 允许一个渐近展开，其形式为 Todd 算子作用于积分后加上一个常数 $ C $。

实验结果

研究问题

• RQ1 如何将埃赫尔哈特多项式定理从多项式推广至正则单形多面体上的多重齐次符号？
• RQ2 当函数为符号而非多项式时，科凡斯科伊-普赫利科夫公式的正确推广形式是什么？
• RQ3 为何符号的欧拉-麦克劳林公式需要一个在多项式情形下不存在的正则化常数？
• RQ4 正则化常数 $ C $ 如何定义？其解析与几何性质是什么？
• RQ5 正则化常数 $ C $ 是否与多面体 $ \Delta $ 无关？若是，原因是什么？

主要发现

• 在 $ N\Delta $ 中格点上对多重齐次符号 $ f $ 求和与在 $ N\Delta $ 上对 $ f $ 积分之间的差值，存在关于 $ N $ 的幂级数渐近展开。
• 该渐近展开式为 $ \left( \mathop{\bf M}\left(\frac{\partial}{\partial h}\right) - \mathrm{Id} \right) \tilde{p}(N,h,f) \big|_{h=0} + C $，其中 $ \mathop{\bf M} $ 为 Todd 算子，$ C $ 为常数。
• 常数 $ C $ 与多面体 $ \Delta $ 无关，仅依赖于符号 $ f $，且在 $ \operatorname{Re} s < -r - n $ 时由 $ C = \sum_{\ell \in \mathbb{Z}^n} f(\ell) - \int_{\mathbb{R}^n} f(x) dx $ 给出。
• 正则化常数 $ C(s) $ 关于 $ s $ 全纯，且可解析延拓为整函数，满足 $ C = C(0) $。
• 渐近展开对所有 $ N \in \mathbb{Z}_+ $ 成立，且展开式中每一项仅涉及符号的有限个齐次分量。
• 该方法可推广至规范化符号 $ f(x,s) $，使得常数 $ C(s) $ 可通过解析延拓及无穷远处的极限来定义。