[論文レビュー] Poisson summation formula and Box splines

Michèle Vergne|arXiv (Cornell University)|Feb 26, 2013

Mathematical Analysis and Transform Methods参考文献 3被引用数 4

ひとこと要約

本稿は、ポアソン和公式を用いて、複素パラメータをもつボックススプラインの一般化されたデコンボリューション公式を確立し、ダーメン＝ミッキェリの逆公式を平行移動およびパラメータ化されたボックススプラインへと拡張する。主な貢献は、整数格子上の一般化された部屋にわたる一様な再構成であり、離散関数をパラメータ化されたボックススプラインとの畳み込みから復元するTodd作用素を用いる。この結果は、ハミルトニアン幾何学におけるコスタントの分割関数およびデュイステルマット＝ヘックマン測度への応用を含む。

ABSTRACT

We generalize Dahmen-Micchelli deconvolution formula for Box splines with parameters. Our proof is based on identities for Poisson summation of rational functions with poles on hyperplanes.

研究の動機と目的

• ダーメン＝ミッキェリのデコンボリューション公式を複素パラメータをもつボックススプラインへと拡張すること。
• 格子上の離散関数を、パラメータ化されたボックススプラインとの畳み込みから復元する一様な公式を確立すること。
• デコンボリューション公式を、ハミルトニアン幾何学におけるコスタントの分割関数およびデュイステルマット＝ヘックマン測度に応用すること。
• 留数理論と錐分割を用いた新しい分割関数の母関数恒等式の証明を提供すること。

提案手法

• ボックススプラインのフーリエ変換と格子上での離散和との関係を、ポアソン和公式を用いて関係づける。
• 単位立方体上での指数関数的重み付き積分 $ e^{i t_k y_k} $ を用いた、パラメータ化されたボックススプライン $ B(\nabla, \mathbf{y}) $ の導入。
• 元の離散関数を畳み込みから回復するための無限級数として定義される微分作用素 $ \mathrm{Todd}(\nabla, \partial) $ の適用。
• 解析接続と $ \lambda + t\epsilon $ による正の錐内に一般化されたベクトル $ \epsilon $ を用いた正則点近似（$ t \to 0^+ $）。
• 部屋分解と解析接続を活用し、拡大された部屋 $ \tau - Z(\Phi) $ 上で分岐解析関数 $ T^\tau(\Phi, \mathbf{y}) $ を定義する。
• 留数理論と錐分割技術を用いた証明により、既知の分割関数母関数に関する結果と同等であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ダーメン＝ミッキェリのデコンボリューション公式を、複素パラメータ $ \mathbf{y} $ をもつボックススプラインへどのように一般化できるか？
• RQ2 平行移動およびパラメータ化されたボックススプラインとの畳み込みから、格子上の離散関数に対する一様な再構成公式を導出できるか？
• RQ3 コスタントの分割関数の母関数とパラメータ化されたボックススプラインのフーリエ変換との関係は何か？
• RQ4 平行移動されたゾノトープおよび格子上の拡大された部屋のケースに、デコンボリューション公式はどのように拡張されるか？
• RQ5 パラメータ化されたボックススプライン畳み込みから、ダーメン＝ミッキェリの準多項式空間の構造を回復できるか？

主な発見

• すべての $ \lambda \in \Lambda \cap \Delta $ に対して、$ \Delta $ がゾノトープの一般化された平行移動であるとき、$ m(\lambda) = \lim_{t \to 0^+} \mathrm{Todd}(\nabla, \partial) b(\mathbf{y}, m)(\lambda + t\epsilon) $ というデコンボリューション公式が一様に成り立つ。
• $ \mathbf{y} = 0 $ のとき、関数 $ b(0, m) $ が領域 $ \Omega $ 上で多項式であるための必要十分条件は、$ m $ が $ \Omega - Z(\nabla) $ 上で多項式であることである。これは多項式性の領域の双対性を確立する。
• コスタントの分割関数 $ \mathrm{Trace}_{S_\nu}(e^{i\mathbf{y}}) $ は、各拡大部屋 $ \tau - Z(\nabla) $ 上で解析関数として与えられ、多様なスプライン $ T^\tau(\Phi, \mathbf{y}) $ の解析接続にTodd作用素を適用することで表現される。
• 恒等式 $ \mathrm{Trace}_{S\nu}(e^{i\mathbf{y}}) = \sum_{s \in \mathcal{V}} s^{-\nu} \left( \mathrm{Todd}([q], \mathbf{y}, s)(\partial) T^\tau(\Phi, \mathbf{y}) \right)|_{q=1} $ は、分割関数の母関数恒等式に対する新しい証明を提供する。
• ダーメン＝ミッキェリの準多項式空間 $ DM(\nabla) $ は、関数 $ Q(\mathfrak{c}) $ によって生成され、$ Q(\mathfrak{c})(\nu) = 1 $（$ \nu = 0 $ のとき）、$ 0 $（$ \nu \in (\mathfrak{c} - Z(\nabla)) \cap \Lambda $ のとき）を満たす。これにより、アラコーブ内での一意性が確認される。