[논문 리뷰] Residues formulae for volumes and Ehrhart polynomials of convex polytopes

W. Baldoni-Silva, Michèle Vergne|arXiv (Cornell University)|2001. 03. 15.

Advanced Combinatorial Mathematics참고 문헌 7인용 수 48

한 줄 요약

이 논문은 제프리-키르완 잔류 정리와 루트 계열 $A_n$를 활용하여 볼록 다면체의 부피 및 에르하르트 다항식에 대한 잔류 공식을 수립한다. 유동 다면체에 초점을 맞추며, 반복적인 상수항 전개를 통한 부피의 대수적 계산과 부피 및 에르하르트 다항식의 약수성 성질을 증명하여 찬-로빈스-유엔의 추측을 확인하고, 주기적 에르하르트 함수로의 결과 확장을 제공한다.

ABSTRACT

In these notes, we explain residue formulae for volumes of convex polytopes, and for Ehrahrt polynomials based on the notion of total residue. We apply this method to the computation of the volume of the Chan-Robbins polytope. The final computation is based on a total residue formula for the system $A_n$, similar to Morris identity. For flow polytopes, a formula of change of variables in total residues leads to a "nice formula" for Ehrhart polynomials in function of mixed volumes. We apply it to Pitman-Stanley polytope.

연구 동기 및 목표

• 루트 체계에서 유래하는 볼록 다면체의 부피 및 에르하르트 다항식에 대한 잔류 기반 공식을 개발한다.
• 찬-로빈스-유엔 다면체를 예시로 하여 단체 분할의 대체 대수적 방법을 통해 유동 다면체의 부피를 계산한다.
• 카스케이드 다면체의 부피와 그 면의 부피 사이의 약수성 성질을 증명하여 찬-로빈스-유엔의 추측을 확인한다.
• 카호반스카이-푸크리예프 정리를 활용하여 생성함수의 주기적 형태를 도입함으로써 잔류 방법을 에르하르트 다항식으로 확장한다.
• 특정 $A_3^+$의 양의 코ーン 내의 큰 치안의 구조를 분석하고 각 치안에서의 부피 및 분할 함수에 대한 명시적 다항식 표현을 유도한다.

제안 방법

• 복소수 벡터 공간 $V_{\mathbb{C}}$ 내의 초평면 배치에서 극을 가지는 유리 함수에 대해 전체 잔류 맵 $Tres_{\triangle}$ 를 사용하며, 단순 유리 함수의 공간 $S_{\triangle}$ 에 사영한다.
• 제프리-키르완 잔류 공식을 적용: $\operatorname{vol} P_{\Phi}(a) = \langle\langle \mathfrak{c}, J_{\Phi}(a) \rangle\rangle$, 여기서 $J_{\Phi}(a)$ 는 $\frac{e^{\langle a,x \rangle}}{\prod_{k=1}^N \alpha^k(x)}$ 의 잔류이다.
• 카스케이드 다면체의 부피를 유리 함수의 반복적인 상수항으로 표현함으로써 명시적 대수적 계산이 가능하게 한다.
• 잔류에서의 변수 변경 공식을 사용하여 부피 공식을 에르하르트 다항식 공식으로 변환한다.
• 주기적 잔류를 통해 코스타ント 분할 함수를 계산: $K_{\Phi}(a) = Tres_{\triangle}\left(\frac{e^{\langle a,x \rangle}}{\prod_{k=1}^N (1 - e^{\langle \alpha^k, x \rangle})}\right)$.
• 대칭군 작용과 잔류 전개를 이용하여 각 큰 치안 $\mathfrak{c}_i$ 에서 $v(A_3^+, \mathfrak{c}_i)(a)$ 와 $k(A_3^+, \mathfrak{c}_i)(a)$ 에 대한 명시적 다항식 표현을 유도한다.

실험 결과

연구 질문

• RQ1 루트 계열 $A_n$ 와 관련된 유동 다면체의 부피는 잔류 이론을 통해 어떻게 대수적으로 계산할 수 있는가?
• RQ2 카스케이드 다면체의 부피가 특정 면의 부피로 나누어지는 대수적 메커니즘은 무엇이며, 이는 찬-로빈스-유엔의 추측을 확인하는가?
• RQ3 잔류 맵에서의 변수 변경을 통해 부피 잔류 공식으로부터 에르하르트 다항식을 유도할 수 있는가?
• RQ4 $A_3^+$ 의 양의 코너 내의 큰 치안의 구조는 어떠한가? 그리고 부피 및 분할 함수는 각 치안에서 어떻게 변화하는가?
• RQ5 각 치안에서의 코스타ント 분할 함수 $k(A_3^+, \mathfrak{c}_i)(a)$ 는 어떻게 행동하는가? 그리고 연속성과 대칭성 성질을 만족하는가?

주요 결과

• 완전한 유동 다면체 $A_3^+$ 의 부피는 $v(A_3^+, \mathfrak{c}_1)(a) = \frac{1}{6}a_1^2(a_1 + 3a_2)$ 로 주어지며, 잔류 계산을 통한 기존 결과와 일치한다.
• 같은 다면체의 치안 $\mathfrak{c}_1$ 에서의 에르하르트 다항식은 $k(A_3^+, \mathfrak{c}_1)(a) = \frac{1}{6}(a_1+1)(a_1+2)(a_1 + 3a_2 + 3)$ 로 주어지며, 주기적 잔류 공식을 확인한다.
• 부피 함수 $v(A_3^+, \mathfrak{c}_2)(a) = \frac{1}{6}(a_1+a_2+a_3)^2(a_1+a_2-2a_3)$ 는 코의 경계에서 0이 되며, 경계 면에 있지 않은 두 근으로 인해 이중근을 가진다.
• 코스타ント 분할 함수 $k(A_3^+, \mathfrak{c}_1)(a)$ 는 $a_2 = a_3 = 0$ 일 때 $\frac{1}{6}(x+1)(x+2)(x+3)$ 로 제한되며, 치안 간의 연속성을 보여준다.
• 함수 $k(A_3^+, \mathfrak{c}_3)(a)$ 는 부피 다항식을 초월하여 $a_1^2 + \frac{3}{2}a_1a_2 + \frac{1}{2}a_1a_3 - \frac{1}{2}a_3^2 + \frac{11}{6}a_1 + a_2 + \frac{2}{3}a_3 + 1$ 의 수정 항을 포함하며, 이는 에르하르트 함수의 주기성에 기인한다.
• 부피 및 분할 함수는 각 큰 치안 $\mathfrak{c}_i$ 에서 서로 다를 뿐 아니라, 이는 치안이 부피 및 에르하르트 함수의 다항식 표현을 위한 최소 영역임을 확인한다.