[論文レビュー] 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

ひとこと要約

本稿では、格子空間内の線形制約によって定義される有理多面体上でのベクトル分割関数およびオイラー＝マクローリン和の明示的残差公式を開発する。これらの多面体内の整数点の数、あるいはそれら上での指数多項式関数の和は、局所的に解析的かつ周期的である分岐指数多項式関数として与えられ、生成する錐の各錐領域において有効な明示的公式が、留数計算およびトッド作用素を用いて導出される。

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.

研究の動機と目的

• 与えられた格子ベクトルの集合に関連する分割多面体内の整数点の数に対する明示的で閉形式の式を導出すること。
• オイラー＝マクローリン和の公式を高次元の有理多面体および指数多項式関数へ一般化すること。
• 得られる数え上げおよび和関数が、生成錐の各錐領域において分岐指数多項式関数であることを確立すること。
• 留数計算およびトッド微分作用素を用いた、これらの関数を計算する体系的な手法を提供すること。
• 格子ベクトルが生成する錐の異なる領域において、ベクトル分割関数およびその和の周期多項式的挙動を示すこと。

提案手法

• 著者らは、双対格子の元 $\beta_k$ を用いて $\sum x_k \beta_k = \lambda$ を満たす非負実数解の集合として、分割多面体 $\Pi_{\Phi}(\lambda)$ を定義する。
• 指数多項式関数の環 $\mathrm{EP}(\mathbb{R}^N)$ に属する $f$ に対して、オイラー＝マクローリン和 $\mathcal{S}[f,\Phi](\lambda) = \sum_{\xi \in \Pi_{\Phi}(\lambda) \cap \mathbb{Z}^N} f(\xi)$ を導入する。
• 留数計算を用いて、生成錐 $C(\Phi)$ の各錐領域 $\mathfrak{c}$ の閉包上で有効な指数多項式関数 $\mathcal{P}[\mathfrak{c}, f, \Phi](\lambda)$ として、$\mathcal{S}[f,\Phi](\lambda)$ の明示的公式を構成する。
• この手法は、トッド作用素および母関数論に依拠しており、多面体の頂点および辺における明示的な留数計算が行われる。
• 著者らは、低次元の場合（$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]$ は5つの一次因子と1つの3次因子の積であり、$a_1$-$a_2$ 平面上で8本の異なる直線で関数が消えることを示している。
• 本稿は、オイラー＝マクローリン和 $\mathcal{S}[f,\Phi](\lambda)$ が、各錐領域 $\mathfrak{c}$ において留数に基づく明示的構成が可能な指数多項式関数 $\mathcal{P}[\mathfrak{c}, f, \Phi](\lambda)$ で与えられることを確認している。