[論文レビュー] Fourier transforms of polytopes, solid angle sums, and discrete volume

Ricardo Vázquez Díaz, Quang-Nhat Le+1 more|arXiv (Cornell University)|Feb 27, 2016

Advanced Combinatorial Mathematics参考文献 32被引用数 6

ひとこと要約

本稿では、多面体の格子点の立体角和を実数倍のスケーリングにおいて計算するためのフーリエ解析的枠組みを導入する。繰り返しストークスの定理を用いて指示関数のフーリエ変換を導出し、ポアソン和公式を適用することで、離散体積の準多項式表現が得られる。主な貢献は、この和の展開における余次元1の係数についての閉形式表現を提供することであり、これは従来の整数倍のスケーリングでのマクドナルドの立体角多項式を実数倍パラメータへ一般化するものである。

ABSTRACT

Given a real closed polytope $P$, we first describe the Fourier transform of its indicator function by using iterations of Stokes' theorem. We then use the ensuing Fourier transform formulations, together with the Poisson summation formula, to give a new algorithm to count fractionally-weighted lattice points inside the one-parameter family of all real dilates of $P$. The combinatorics of the face poset of $P$ plays a central role in the description of the Fourier transform of $P$. We also obtain a closed form for the codimension-1 coefficient that appears in an expansion of this sum in powers of the real dilation parameter $t$. This closed form generalizes some known results about the Macdonald solid-angle polynomial, which is the analogous expression traditionally obtained by requiring that $t$ assumes only integer values. Although most of the present methodology applies to all real polytopes, a particularly nice application is to the study of all real dilates of integer (and rational) polytopes.

研究の動機と目的

• 実数倍のスケーリングにおける分数加重格子点の数え上げのための新しい手法を、フーリエ解析を用いて開発すること。
• 従来整数倍のスケーリングでのみ定義されていたマクドナルドの立体角多項式を、実数倍パラメータへ一般化すること。
• 多面体の面の順序付き集合構造とそのフーリエ変換の減衰挙動との間の関係を確立すること。
• ポアソン和公式と繰り返しストークスの定理を用いて、離散体積の列挙を計算的に効率的に行うアルゴリズムを提供すること。
• 実数倍スケーリングにおける立体角和展開の余次元1係数についての閉形式表現を導出すること、既知の結果を拡張する。

提案手法

• ストークスの定理を繰り返し適用することで、多面体の指示関数のフーリエ変換を計算し、各反復で1単位分の減衰が得られるようにする。
• フーリエ変換が非等方的であることを特徴づけ、波数ベクトルが面法線と一致する方向に依存した減衰率を持つことを示す。
• ポアソン和公式を適用して、格子点数え上げ問題を双対格子上の減衰フーリエ変換の和に変換する。
• 多様な波数ベクトルが面に直交する非一般な状況における発散を、減衰因子を組み込んで取り扱い、解析を行う。
• フーリエ変換の階層的構造を用いて、有理数多面体における立体角和の準多項式性を確立する。
• 立体角和のべき級数展開における余次元1係数についての閉形式表現を、面の順序付き集合に基づいて導出する。

実験結果

リサーチクエスチョン

• RQ1 微分幾何学とストークスの定理を用いて、多面体の指示関数のフーリエ変換を体系的に計算する方法は何か？
• RQ2 有理数多面体の実数倍スケーリングにおける立体角和の構造は何か？ そして、マクドナルドの整数値立体角多項式はどのように一般化されるか？
• RQ3 多面体の面の順序付き集合構造は、そのフーリエ変換の減衰挙動と解析的構造にどのように影響を与えるか？
• RQ4 実数倍スケーリングにおける立体角和展開の余次元1係数について、閉形式表現を導出できるか？
• RQ5 ポアソン和公式は、格子点数え上げ問題を収束が制御された周波数領域での和への変換にどのように寄与するか？

主な発見

• 多面体の指示関数のフーリエ変換は、繰り返しストークスの定理を用いて計算され、各反復で1単位分の減衰が得られ、非一般な波数ベクトルが面に直交する点で停止する。
• 有理数多面体の実数倍スケーリングにおける立体角和が準多項式であることが示され、マクドナルドの結果が整数パラメータから実数パラメータへ拡張された。
• 立体角和展開における余次元1係数についての閉形式表現が導出され、既知の結果を一般化し、面の寄与と二面角を用いて表現される。
• 本手法により、スケーリングされた多面体内の分数加重格子点の数え上げのための新アルゴリズムが得られ、従来のエーリヒャート法やマクドナルド法に比べて計算上の利点がある。
• このアプローチにより、面の順序付き集合の組合せ論とフーリエ変換の解析的挙動（特に非一般な波数ベクトルにおける挙動）との深い関係が明らかになった。
• この枠組みは一般に実多面体に適用可能であるが、特に整数および有理数多面体においては、滑らかな結果が得られ、離散体積の計算が効率的に行える。