[论文解读] Ehrhart-Macdonald reciprocity extended

Matthias Beck, Richard Ehrenborg|ArXiv.org|Apr 11, 2005

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

一句话总结

本文通过在有理多面体的切锥上使用赋值（valuation）统一了整数格点计数与立体角求和，从而推广了Ehrhart-Macdonald对偶性。利用Brion定理和锥体的有理生成函数，证明了在缩放多面体中，整数点上赋值的加权和构成一个拟多项式，其在负整数处的取值满足一个对偶性定律，从而在统一框架下推广了经典的Ehrhart与Macdonald结果。

ABSTRACT

For a convex polytope P with rational vertices, we count the number of integer points in integral dilates of P and its interior. The Ehrhart-Macdonald reciprocity law gives an intimate relation between these two counting functions. A similar counting function and reciprocity law exists for the sum of all solid angles at integer points in dilates of P. We derive a unifying generalization of these reciprocity theorems which follows in a natural way from Brion's Theorem on conic decompositions of polytopes.

研究动机与目标

• 将经典的Ehrhart多项式（整数点计数）与Macdonald的立体角和统一到一个基于赋值的框架下。
• 通过在缩放多面体上引入基于赋值的计数函数，推广有理多面体的对偶性定律。
• 证明所得计数函数为拟多项式，其周期整除多面体的分母。
• 证明赋值加权和的对偶性定律，该定律统一推广了Ehrhart与Macdonald的结果。

提出的方法

• 在有理多面体每个整数点处的切锥上定义一个赋值，该赋值同时推广了计数与立体角测度。
• 构造计数函数 $ V_{\bf P}(t) = \sum_{{\bf m} \in \mathbb{Z}^d} v_{t{\bf P}}({\bf m}) $，其中 $ v $ 是切锥上的赋值。
• 利用多面体的锥分解上的Brion定理，将 $ V_{\bf P}(t) $ 的生成函数表示为顶点锥之和。
• 对单形锥使用有理生成函数，将其表示为 $ \bf z $ 的有理函数，极点位于单位根处。
• 应用L’Hôpital法则计算 $ \bf z \to 1 $ 时的极限，证明 $ V_{\bf P}(r + pt) $ 是 $ t $ 的多项式，因此为拟多项式。
• 通过关联半开平行多面体 $ \underline{\Pi}_{\bf v}(r) $ 与 $ \overline{\Pi}_{\bf v}(r) $ 的几何性质，利用反演与平移下的对称性，建立对偶性定律。

实验结果

研究问题

• RQ1 Ehrhart-Macdonald对偶性定理能否在统一的赋值理论框架下被统一？
• RQ2 当使用非指示函数或非立体角的赋值时，计数函数 $ V_{\bf P}(t) $ 的结构如何？
• RQ3 拟多项式 $ V_{\bf P}(t) $ 的周期如何与多面体 $ \bf P $ 的分母相关？
• RQ4 能否从切锥及其半开基本平行多面体的几何性质出发，推导出 $ V_{\bf P}(t) $ 的对偶性定律？

主要发现

• 基于赋值的计数函数 $ V_{\bf P}(t) $ 是一个 $ d $ 次拟多项式，其中 $ d $ 是有理多面体 $ \bf P $ 的维数。
• 若多面体 $ \bf P $ 的顶点为整数点，则 $ V_{\bf P}(t) $ 为多项式；否则其周期整除 $ \bf P $ 的分母。
• 对偶性定律 $ V_{\bf P}(-t) = (-1)^d V_{-\bf P^\circ}(t) $ 成立，该式统一推广了Ehrhart与Macdonald的对偶定理。
• 每个顶点锥的生成函数是有理函数，其奇点在总和中相互抵消，从而保证了拟多项式结构。
• 通过对半开平行多面体 $ \underline{\Pi}_{\bf v}(r) $ 与 $ \overline{\Pi}_{\bf v}(r) $ 的关系，利用恒等式 $ \overline{\Pi}_{\bf v}(r) = -\underline{\Pi}_{\bf v}(-r) + \sum_{k=1}^d {\bf w}_k $ 证明了对偶性定律。
• 该方法可推广至无界多面体，通过在三角剖分中允许无界单形，对有理生成函数得到类似结果。