[論文レビュー] Ehrhart-Macdonald reciprocity extended

Matthias Beck, Richard Ehrenborg|ArXiv.org|Apr 11, 2005

Advanced Combinatorial Mathematics参考文献 4被引用数 10

ひとこと要約

本稿は、有理的多面体の接錐における値関数を用いて、格子点の数え上げと立体角の和を統一的に扱うことで、Ehrhart-Macdonaldの対称性を一般化する。Brionの定理と錐の有理生成関数を用い、拡大された多面体内の整数点における値関数の重み付き和が、負の整数における対称性を満たす有理整数係数多項式（準多項式）をなすことを証明する。これは古典的なEhrhartとMacdonaldの結果を統一的な枠組みで拡張する。

ABSTRACT

For a convex polytope P with rational vertices, we count the number of integer points in integral dilates of P and its interior. The Ehrhart-Macdonald reciprocity law gives an intimate relation between these two counting functions. A similar counting function and reciprocity law exists for the sum of all solid angles at integer points in dilates of P. We derive a unifying generalization of these reciprocity theorems which follows in a natural way from Brion's Theorem on conic decompositions of polytopes.

研究の動機と目的

• 整数点の数え上げ（古典的Ehrhart多項式）とMacdonaldの立体角和を、値関数を用いた統一的枠組みで統合すること。
• 拡大多面体上の値関数に基づく計数関数を導入することで、有理的多面体に対する対称性の法則を一般化すること。
• 得られる計数関数が、多面体の分母を割る周期を持つ準多項式であることを確立すること。
• EhrhartとMacdonaldの両結果を一般化する、値関数重み付き和の対称性の法則を証明すること。

提案手法

• 有理的多面体の各整数点における接錐に値関数を定義し、数え上げと立体角測度を一般化する。
• 計数関数 $ V_{\bf P}(t) = \sum_{{\bf m} \in \mathbb{Z}^d} v_{t{\bf P}}({\bf m}) $ を構成する。ここで $ v $ は接錐上の値関数である。
• 多面体の錐分解にBrionの定理を適用し、$ V_{\bf P}(t) $ の生成関数を頂点錐ごとの和として表現する。
• 単純錐の有理生成関数を用い、$ \bf z $ の有理関数として表現し、単位根に極を持つ。
• L’Hôpitalの定理を用いて $ \bf z \to 1 $ における極限を計算し、$ V_{\bf P}(r + pt) $ が $ t $ についての多項式であることを示し、したがって準多項式であることを示す。
• 半開平行多面体 $ \underline{\Pi}_{\bf v}(r) $ と $ \overline{\Pi}_{\bf v}(r) $ の幾何的性質を関係づけ、逆数と平行移動の対称性を用いて対称性の法則を確立する。

実験結果

リサーチクエスチョン

• RQ1 Ehrhart-Macdonaldの対称性定理は、一様な値関数的枠組みの下で統一可能か？
• RQ2 指示関数や立体角とは異なる値関数を用いた場合、計数関数 $ V_{\bf P}(t) $ の構造はどのように変化するか？
• RQ3 準多項式 $ V_{\bf P}(t) $ の周期は、多面体 $ \bf P $ の分母とどのように関係するか？
• RQ4 計数関数 $ V_{\bf P}(t) $ の対称性の法則は、接錐の幾何的性質とその半開基本平行多面体の性質から導出可能か？

主な発見

• 値関数に基づく計数関数 $ V_{\bf P}(t) $ は、有理的多面体 $ \bf P $ の次元 $ d $ における準多項式である。
• $ V_{\bf P}(t) $ の周期は多面体 $ \bf P $ の分母を割る。また、$ \bf P $ が整数頂点を持つ場合、$ V_{\bf P}(t) $ は多項式である。
• 対称性の法則 $ V_{\bf P}(-t) = (-1)^d V_{-\bf P^\circ}(t) $ が成り立ち、これはEhrhartとMacdonaldの両対称性定理を一般化する。
• 各頂点錐の生成関数は有理関数であり、その特異点は総和において相殺され、準多項式構造を保証する。
• 対称性の法則は、恒等式 $ \overline{\Pi}_{\bf v}(r) = -\underline{\Pi}_{\bf v}(-r) + \sum_{k=1}^d {\bf w}_k $ を用いて、半開平行多面体 $ \underline{\Pi}_{\bf v}(r) $ と $ \overline{\Pi}_{\bf v}(r) $ を関係づけることで証明される。
• 三角形分割における非有界単体を許容することで、本手法は非有界多面体へと拡張可能であり、有理生成関数についても類似の結果が得られる。