[論文レビュー] Residues formulae for volumes and Ehrhart polynomials of convex polytopes

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

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)$は錐の境界上で消失し、2つの根が境界面にないため二重根を持つ。
• コスタント分割関数$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$において体積関数および分割関数は互いに異なるため、各チャネルが体積およびエーリヒャート関数の多項式表現の最小領域であることが確認された。