[論文レビュー] Functional Integration on Constrained Function Spaces

J. LaChapelle|arXiv (Cornell University)|Dec 3, 2012

Gaussian Processes and Bayesian Inference参考文献 10被引用数 10

ひとこと要約

本稿では、関数空間における運動的および力学的制約を同等に扱うためにベイズ推論にインspiredされた機能的統合枠組みを導入する。積分子における条件付きおよび共役分布の機能的類似物を導出し、制約付きガンマ過程を用いて素数の個数関数モデルを構築するために新たなツールを提供する。

ABSTRACT

Analogy with Bayesian inference is used to study constrained physical systems within the context of functional integration. Since functional integrals probe function spaces, both kinematical and dynamical constraints are treated simultaneously and on equal footing. Following the analogy, functional counterparts of conditional and conjugate probability distributions are introduced for integrators and then applied to some well-known examples of constrained functional integrals. The analysis leads to some new functional integration tools and methods. These are utilized to construct a model of the prime counting function as a constrained gamma process.

研究の動機と目的

• 関数空間における運動的および力学的制約の統一的取り扱いを、ベイズ的類推を用いて行う。
• 積分子における条件付きおよび共役確率分布の機能的類似物を開発する。
• これらのツールを代表的な制約付き関数的積分に適用し、新たな計算手法を導出する。
• 制約付きガンマ過程を用いて素数の個数関数の確率的モデルを構築する。

提案手法

• 関数空間における制約を条件付き確率として扱うべく、ベイズ的類推を用いて関数的積分を定式化する。
• ベイズ的条件付きおよび共役事前分布に類する、機能的条件付き積分子および共役積分子を定義する。
• ホノモニックまたは非ホノモニック制約を有する標準的な制約付き系に、この枠組みを適用する。
• これらの類似物の代数的構造を通じて、新たな機能的統合ツールを導出する。
• 過程の経路空間に制約を課すことで、素数の個数関数のためのガンマ過程モデルを構築する。
• 機能的共役構造を用いて、得られる確率的モデルの整合性と取り扱いやすさを保証する。

実験結果

リサーチクエスチョン

• RQ1 関数的統合の文脈で、運動的および力学的制約をどのように対称的に取り扱えるか？
• RQ2 積分子の文脈において、条件付きおよび共役確率分布の機能的類似物は何か？
• RQ3 ベイズ的類推は、制約付き関数的積分に新たな計算ツールをもたらせるか？
• RQ4 制約付きガンマ過程は、素数の個数関数をどのようにモデル化できるか？
• RQ5 数論的関数に機能的共役積分子を適用することで、どのような構造的性質が生じるか？

主な発見

• 機能的ベイズ的類推により、関数空間における運動的および力学的制約の取り扱いが成功裏に統一された。
• 機能的条件付きおよび共役積分子が厳密に定義され、新たな取り扱いやすい統合手法をもたらすことが示された。
• この枠組みにより、制約付きガンマ過程としての素数の個数関数の整合的確率的モデルの構築が可能になった。
• 得られたモデルは、素数の個数関数の既知の数論的性質と構造的に整合性を示した。
• 算術関数を制約付き確率過程を用いてモデル化するための新しい道筋を提供した。
• 関数的統合ツールが、確率的類推から体系的に導出可能であり、その適用範囲を数論へと拡張できることを示した。