[論文レビュー] A Holonomic Ideal Annihilating the Fisher-Bingham Integral

Tamio Koyama|arXiv (Cornell University)|Apr 7, 2011

Stochastic processes and financial applications参考文献 7被引用数 7

ひとこと要約

本稿は、[9]で同定された微分作用素の集合が、任意の次元 $ n $ に対して、Fisher–Bingham 積分を消滅させる holonomic 理想を生成することを証明している。これは、被積分関数の消滅理想の統合理想を計算し、それが提案された作用素と一致することを示すことによって達成される。この結果は、方向統計における Fisher–Bingham 尤度推定に向けたホロノミック勾配降下法の適用可能性を裏付けている。

ABSTRACT

We calculate the integration ideal of annihilating differential operators of the non-normalized Fisher-Bingham distribution and show that the ideal agrees with the set of operators for the Fisher-Bingham integral given in "Holonomic Gradient Descent and its Application to the Fisher-Bingham Integral". They conjectured that the set generates a holonomic ideal and we prove their conjecture.

研究の動機と目的

• Fisher–Bingham 積分を消滅させる微分作用素の集合が、すべての $ n $ に対してホロノミック理想を形成することを証明すること。
• Fisher–Bingham 被積分関数の消滅理想の統合理想を、多項式係数を持つ微分作用素環内で計算すること。
• この統合理想が、[9]で提案された作用素によって正確に生成されることを確立し、それらのホロノミック性を確認すること。
• $ n=1,2 $ の場合に既にコンピュータで検証済みの結果を、任意の $ n $ に対して一般化する証明を提供すること。

提案手法

• Fisher–Bingham 積分とその消滅作用素を表現するため、多項式係数を持つ微分作用素環 $ D_d $ を用いる。
• 統合理想の概念を適用する：$ (I + \text{項が } t \text{ に依存}) \bigcap D_{d'} $、ここで $ D_{d'} $ は変数 $ x, y $ のみを含む。
• Oaku のアルゴリズムを用いて統合理想を計算し、重み付き項順序の下で記号的計算とグレブナー基底技術を用いて一般の $ n $ に拡張する。
• 球面 $ S^n(r) $ 上のハール測度が、$ t_i^2 + \cdots + t_{n+1}^2 - r^2 $ や $ t_i\partial_{t_j} - t_j\partial_{t_i} $ などの特定の微分作用素によって消滅することを活用する。
• 特徴的理想のクルル次元をチェックすることにより、ホロノミック性を確認する代数解析の基本定理を適用する。
• 変数変換とモジュール論的議論を用いて、統合理想が (1.3) に記載された作用素によって生成されることを示し、$ t_i - \partial_{y_i} $ を法として合同に帰着する。

実験結果

リサーチクエスチョン

• RQ1 Fisher–Bingham 積分を消滅させるために[9]で提案された微分作用素の集合が、すべての $ n $ に対してホロノミック理想を生成するか？
• RQ2 Fisher–Bingham 被積分関数の消滅理想の統合理想を明示的に計算し、それが提案された作用素と一致することを示せるか？
• RQ3 ホロノミック勾配降下法は、小さい次元を越えて Fisher–Bingham 分布に適用可能か？
• RQ4 被積分関数 $ \exp(\sum x_{ij}t_i t_j + \sum y_i t_i) |dt| $ の消滅理想の正確な構造は何か？

主な発見

• Fisher–Bingham 被積分関数の消滅理想の統合理想は、(1.3) に記載された作用素によって生成され、それらの完全性が証明された。
• (1.3) に記載された作用素の集合は、任意の $ n $ に対して $ D_{d'} $ 内でホロノミック理想を生成し、[9]の予想が裏付けられた。
• 証明により、Fisher–Bingham 尤度推定におけるホロノミック勾配降下法が任意次元において理論的に正当化されることが示された。
• 結果は一般の $ n $ に対して成り立ち、$ n=1,2 $ の場合に既にコンピュータで検証済みの結果をすべての自然数に拡張した。
• 統合理想の計算は、重み付き項順序の下でのグレブナー基底技術に依存し、初期理想は $ \{t_i\} $ によって生成される。その結果、可除性条件を満たすのはゼロ作用素のみであると結論づけられた。