[논문 리뷰] Residue formulae for vector partitions and Euler-MacLaurin sums

András Szenes, Michèle Vergne|ArXiv.org|2002. 02. 24.

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]$는 다섯 개의 일차 요소와 하나의 삼차 요소의 곱으로 표현되며, 이는 $a_1$-$a_2$ 평면상에서 여덟 개의 서로 다른 직선에서 함수가 영이 됨을 보여준다.
• 논문은 오일러-매클라우린 합 $\mathcal{S}[f,\Phi](\lambda)$가 각 원뿔 영역 $\mathfrak{c}$에서 잔여 기반으로 구성된 지수다항함수 $\mathcal{P}[\mathfrak{c}, f, \Phi](\lambda)$로 주어진다는 것을 확인하였다.