[論文レビュー] Equilibrium Glauber and Kawasaki dynamics of continuous particle systems

Yu. G. Kondratiev, Eugene Lytvynov+1 more|arXiv (Cornell University)|Mar 2, 2005

Markov Chains and Monte Carlo Methods参考文献 25被引用数 8

ひとこと要約

本稿は、リーマン多様体 X 上の無限連続粒子系に対して、粒子の出生・死（Glauber）および粒子の移動（Kawasaki）をモデル化する均衡 Glauber 動的および Kawasaki 動的を構築する。対称化測度および生成作用素に関する十分条件を確立し、保存的マルコフ過程の存在を示し、測度論的基礎を備えた連続系への確率的ダイナミクスの拡張を達成する。

ABSTRACT

We construct two types of equilibrium dynamics of infinite particle systems in a Riemannian manifold X. These dynamics are analogs of the Glauber, respectively Kawasaki dynamics of lattice spin systems. The Glauber dynamics now is a process where interacting particles randomly appear and disappear, i.e., it is a birth-and-death process in X, while in the Kawasaki dynamics interacting particles randomly jump over X. We establish conditions on a priori explicitly given symmetrizing measures and generators of both dynamics under which corresponding conservative Markov processes exist.

研究の動機と目的

• 格子スピン系における Glauber 動的および Kawasaki 動的の枠組みを、リーマン多様体 X 上の無限連続粒子系へと拡張すること。
• 粒子が確率的に出現・消滅する（Glauber）か、空間を飛び移動する（Kawasaki）粒子系をモデル化し、均衡測度を保存すること。
• 両動的において保存的マルコフ過程の存在を保証するための、対称化測度および生成作用素に関する十分条件を確立すること。
• 連続系における均衡確率的ダイナミクスの、測度論的基礎を備えた厳密な構成を提供すること。

提案手法

• X 上の出生・死過程として Glauber 動的を定義し、相互作用ポテンシャルを含む生成作用素に従って粒子が確率的に出現・消滅するようにする。
• X 上の移動過程として Kawasaki 動的を定義し、粒子数を保存しながら粒子が確率的に再配置されるようにし、空間的移動確率を生成作用素で記述する。
• 事前に対称化測度を指定し、ダイナミクスに関して詳細な釣り合いを満たすようにし、その密度に関する条件を課して可逆性を保証する。
• マルコフ過程の生成作用素理論を用い、無限小生成作用素が適切に定義された保存的マルコフ過程に拡張可能であるための条件を導出する。
• 無限次元状態空間における統計力学および確率解析の技術を応用し、存在性および保存性を保証する。
• リーマン幾何学を用いて空間的構造および移動確率を定義し、ダイナミクスが底辺となる多様体の計量を尊重するようにする。

実験結果

リサーチクエスチョン

• RQ1 与えられた対称化測度に関して、リーマン多様体 X 上の無限個の相互作用粒子系に対して、Glauber 型の出生・死過程が存在するための条件は何か？
• RQ2 指定された対称化測度に関して、保存的かつ可逆的となるように、X 上の無限粒子系に対して Kawasaki 型の粒子移動ダイナミクスをどのように構成できるか？
• RQ3 Glauber 動的および Kawasaki 動的の両方において、保存的マルコフ過程の存在を保証する生成作用素および対称化測度に関する明示的条件は何か？
• RQ4 格子系における確率的ダイナミクスの枠組みを、曲がったまたは非ユークリッド的な空間領域を含む、連続的かつ無限粒子系の多様体上に一般化できるか？

主な発見

• 本稿は、Glauber 動的において、保存的マルコフ過程の存在を保証する対称化測度および生成作用素に関する十分条件を確立し、詳細釣り合いおよび時間反転可逆性を保証する。
• Kawasaki 動的に対しても、類似の条件下で保存的マルコフ過程が得られ、粒子の移動によって総粒子数が保存される。
• 対称化測度は事前に仮定され、明示的に与えられており、可逆性および混合性条件の直接的検証が可能である。
• マルコフ過程の存在は生成作用素の拡張技術を用いて証明され、無限粒子配置の空間上で過程が適切に定義されることを保証する。
• ダイナミクスは一般のリーマン多様体上で構築されており、曲がった空間や非ユークリッド的領域にも適用可能である。
• 本フレームワークは、古典的な Glauber 動的および Kawasaki 動的を格子系から連続系へと一般化し、連続系の統計力学の厳密な基礎を提供する。