[論文レビュー] An approximative approach to construction of the Glauber dynamics in continuum

Dmitri Finkelshtein, Yuri Kondratiev+2 more|arXiv (Cornell University)|Oct 22, 2009

Markov Chains and Monte Carlo Methods参考文献 4被引用数 5

ひとこと要約

本稿では、連続的時間の誕生・消滅過程を有限体積のマーカフチェーンの系列に離散化することにより、連続的粒子系における非平衡Glauberダイナミクスを近似的に構成する手法を提案する。著者らは、相関関数のバナッハ空間上での強い連続的収縮半群への離散近似の収束を証明し、半群近似およびカットオフ技術を用いてダイナミクスの存在を確立する。

ABSTRACT

We develop a new approach for the construction of the Glauber dynamics in continuum. Existence of the corresponding strongly continuous contraction semigroup in a proper Banach space is shown. Additionally we present the finite- and infinite-volume approximations of the semigroup by families of bounded linear operators.

研究の動機と目的

• 標準的なマルコフ過程の技法が不十分である非平衡Glauberダイナミクスを、構成的で近似的な方法で連続的粒子系に適用すること。
• 平衡ギブス測度を超えて、一般の初期分布へとGlauberダイナミクスの構成を拡張すること。
• 無限体積における連続的時間Glauberダイナミクスの離散時間近似のための厳密な収束フレームワークを提供すること。
• 相関関数のバナッハ空間上での強い連続的収縮半群の存在を確立し、任意の初期測度の時間発展の研究を可能にすること。

提案手法

• 著者らは、成長制御パrameter $C$ を含む重み付きノルムを備えた、相関関数のバナッハ空間 $\mathcal{L}_C$ を定義する。
• 彼らは、拡大する領域 $\Lambda_n$ 上での時間離散化された誕生・消滅過程に基づき、生成子の有限体積近似 $T_n$ を構成する。遷移率はGlauberダイナミクスから導出される。
• 離散時間半群 $ (T_n)^{[nt]} $ が、$ n \to \infty $ のとき、バナッハ空間ノルムにおいて連続的時間半群 $ \hat{T}_t $ に収束することが示され、有界時間区間上で一様に成り立つ。
• 関数を有限体積に制限するためのカットオフ作用素 $ p_n $ が用いられ、近似の有界性と収束性を保証する。
• 生成子近似 $ A_n = n(T_n - \mathbf{1}_n) $ が、$ \mathcal{L}_{2C} $ 上で無限小生成子 $ \hat{L} $ に強く収束することを証明し、優越収束および誕生・消滅率の推定を用いる。
• 証明は、遷移作用素をゼロ粒子、1粒子、および多粒子寄与に分解し、相互作用ポテンシャル $\phi$ の可積分性条件を用いて各項を評価することで成り立つ。

実験結果

リサーチクエスチョン

• RQ1 平衡ギブス測度やディリクレ形式理論に依存せずに、連続的粒子系における非平衡Glauberダイナミクスを構成できるか？
• RQ2 無限体積において、連続的時間マルコフ過程を離散時間マルコフ連鎖の系列でどのように近似できるか？
• RQ3 離散時間近似が、適切な相関関数のバナッハ空間上での定義された連続的時間半群に収束するか？
• RQ4 相互作用ポテンシャル $\phi$ にどのような条件を課すと、近似スキームの収束が保証されるか？
• RQ5 得られた半群が強い連続性および収縮性を示すことができるか？

主な発見

• バナッハ空間 $ \mathcal{L}_C $ 上での強い連続的収縮半群 $ \hat{T}_t $ の存在が確立され、一般の初期測度に対する厳密な時間発展が可能になる。
• 有限体積の離散時間近似 $ (T_n)^{[nt]} $ が、$ n \to \infty $ のとき、有界時間区間上でノルム収束により連続的時間半群 $ \hat{T}_t $ に収束することが示された。
• 生成子近似 $ A_n $ が、$ \mathcal{L}_{2C} $ 上で強い作用素位相において無限小生成子 $ \hat{L} $ に収束し、誤差の境界が $ O(1/n) $ で減少することが証明された。
• 収束は、相互作用ポテンシャル $ \phi $ の可積分性、特に $ \int_{\mathbb{R}^d} (1 - e^{-\phi(x)}) dx < \infty $ に依存しており、これにより全誕生・消滅率が有限であることが保証される。
• カットオフ手続き $ p_n $ は収束性とノルム制御を維持し、有限体積から無限体積への結果の拡張を可能にする。
• 本手法は、画像処理や確率的モデリングへの応用を想定した、非平衡Glauberダイナミクスの連続的粒子系における構成的でアルゴリズム的フレームワークを提供する。