[论文解读] Theorems of Brion, Lawrence, and Varchenko on rational generating functions for cones

Matthias Beck, Christian Haase+1 more|arXiv (Cornell University)|Jun 23, 2005

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

一句话总结

本文闡述並演示了關於有理錐體之有理生成函數的布里翁定理與勞倫斯–瓦潜科定理，顯示有理多面體之頂點錐體的生成函數之和等於其整數點之生成函數。主要貢獻在於對有理函數如何透過錐體分解來編碼有限點集之結構性洞察，進而實現 Ehrhart 譜多項式與整數點計數之高效計算，時間複雜度為多項式時間。

ABSTRACT

We discuss and give elementary proofs of results of Brion and of Lawrence-Varchenko on the lattice-point enumerator generating functions for polytopes and cones. This largely expository note contains a new proof of Brion's Formula using irrational decompositions, and a generalization of the Lawrence-Varchenko formula.

研究动机与目标

• 解釋並演示布里翁與勞倫斯–瓦潜科公式如何使無限的有理生成函數「坍縮」為僅編碼多面體整數點的有限多項式。
• 示範有理多面體之頂點錐體的有理生成函數之和如何重建多面體整數點之生成函數。
• 建立基礎，以透過錐體之符號分解方式，高效計算有理多面體中的整數點數。
• 將這些定理與巴爾文諾克演算法連結，該演算法可將有理錐體短符號分解為單純錐體。
• 展示這些結果如何實現 Ehrhart 譜多項式與相關生成函數之多項式時間計算。

提出的方法

• 使用生成函數將錐體與多面體中的整數點編碼，其中變數的指數為格點座標。
• 應用布里翁公式：有理多面體之頂點錐體的有理生成函數之和等於多面體整數點之生成函數。
• 應用勞倫斯–瓦潜科公式：相對於一組一般方向向量，對由邊方向定義之錐體的生成函數進行符號和，可重建多面體整數點之生成函數。
• 利用對偶性，將勞倫斯–瓦潜科公式與多面體正常扇形的對偶連結，並推導一般形式的布里翁型公式。
• 運用巴爾文諾克演算法，將有理錐體分解為帶符號的單純錐體，以實現生成函數之高效計算。
• 利用單純錐體之生成函數具有簡單封閉形式的事實：$ \frac{x^p}{(1 - x^{w_1}) \cdots (1 - x^{w_d})} $，其中 $ p $ 為基本平行體中唯一的整數點。

实验结果

研究问题

• RQ1 如何從多面體之頂點錐體的生成函數重構有理多面體中整數點之生成函數？
• RQ2 為何頂點錐體之有理生成函數之和會坍縮為僅編碼多面體整數點的多項式？
• RQ3 一般方向向量在定義勞倫斯–瓦潜科公式中所用錐體時扮演何種角色？
• RQ4 有理錐體之生成函數能否被有效分解為較簡單的單純錐體函數？
• RQ5 巴爾文諾克之短符號分解演算法如何實現 Ehrhart 譜多項式之多項式時間計算？

主要发现

• 布里翁公式指出：有理多面體之頂點錐體的有理生成函數之和，等於多面體整數點之生成函數。
• 勞倫斯–瓦潜科公式提供了一組符號和，其對象為相對於一般方向向量之邊方向所定義之錐體的生成函數，此和亦可重建多面體整數點之生成函數。
• 巴爾文諾克演算法可在多項式時間內，將任一有理錐體分解為單純錐體之符號和，且項數受輸入大小之多項式邊界限制。
• 單純錐體之生成函數具有簡單封閉形式：$ \sigma_{\mathcal{K}}(x) = \frac{x^p}{(1 - x^{w_1}) \cdots (1 - x^{w_d})} $，其中 $ p $ 為基本平行體中唯一的整數點。
• 這些結果暗示，Ehrhart 譜多項式 $ L_{\mathcal{P}}(t) = \#(t\mathcal{P} \cap \mathbb{Z}^d) $ 可透過有理生成函數在多項式時間內計算。
• 此方法已實作於 barvinok 與 LattE 等軟體套件中，且透過非有理分解技術實現性能提升。