[論文レビュー] Markov Transitions and the Propagation of Chaos

Alexander Gottlieb|ArXiv.org|Jan 13, 2000

Economic theories and models参考文献 18被引用数 8

ひとこと要約

本稿は、一般のn粒子マルコフ過程におけるカオスの伝播について、必要十分条件を確立し、カオスの伝播が純粋な初期状態に対して成立する場合に限り成立することを示している。主な結果は、マルコフ遷移関数を用いた特徴付けであり、ポーランド空間における弱収束とプロホロフの定理に依拠している。

ABSTRACT

The propagation of chaos is a central concept of kinetic theory that serves to relate the equations of Boltzmann and Vlasov to the dynamics of many-particle systems. Propagation of chaos means that molecular chaos, i.e., the stochastic independence of two random particles in a many-particle system, persists in time, as the number of particles tends to infinity. We establish a necessary and sufficient condition for a family of general n-particle Markov processes to propagate chaos. This condition is expressed in terms of the Markov transition functions associated to the n-particle processes, and it amounts to saying that chaos of random initial states propagates if it propagates for pure initial states. Our proof of this result relies on the weak convergence approach to the study of chaos due to Sznitman and Tanaka. We assume that the space in which the particles live is homeomorphic to a complete and separable metric space so that we may invoke Prohorov's theorem in our proof. We also show that, if the particles can be in only finitely many states, then molecular chaos implies that the specific entropies in the n-particle distributions converge to the entropy of the limiting single-particle distribution.

研究の動機と目的

• マルコフ過程の多粒子系におけるカオス伝播の一般定義を明確化すること。
• 無限粒子極限において分子的カオスが時間経過とともに保持される条件を特定すること。
• 特定のカオス伝播結果と一般的で統一的な基準との間のギャップを埋めること。
• 弱収束と位相的仮定を用いて、極限分布写像の役割を形式化すること。

提案手法

• すべてのカオス的初期系列がカオス的極限に伝播されることを要請する、強い意味でのカオス伝播の定義を採用する。
• 弱収束を用いたカオスのアプローチを用い、シュニトマンと田中による定理を援用する。
• 基礎となる状態空間がポーランド空間（完備で分離可能な距離空間）であると仮定することで、プロホロフの定理を適用する。
• n粒子過程のマルコフ遷移関数を用いてカオス伝播を特徴付ける。
• カオス伝播が、確率測度間の写像 F: P(S) → P(T) の連続性と同値であることを証明する。
• 置換と可換な決定的写像 f_n を用いた明示的例を構築し、それらがカオスを伝播するための必要十分条件として、誘導写像 F が連続であることであることを示す。

実験結果

リサーチクエスチョン

• RQ1 一般のn粒子マルコフ過程の族において、カオス伝播が成立する条件は何か？
• RQ2 純粋な初期状態（積測度）におけるカオス伝播が、すべてのカオス的初期系列における伝播を保証するのに十分か？
• RQ3 極限分布写像 F がカオス伝播を特徴付ける際に果たす正確な役割は何か？
• RQ4 位相的仮定（例：完備性と分離可能性）がカオス伝播結果の有効性に与える影響は何か？
• RQ5 決定的粒子ダイナミクスはカオスを伝播させ得るか？どのような条件下で？

主な発見

• n粒子マルコフ過程の族がカオスを伝播するための必要十分条件は、関連するマルコフ遷移関数が極限分布写像 F の連続性と同値である条件を満たすことである。
• カオス伝播は、純粋な初期状態における挙動によって完全に決定される：積測度に対してカオス伝播が成立するならば、すべてのカオス的系列に対しても成立する。
• 粒子空間がポーランド空間であるとき、任意の連続写像 F: P(S) → P(T) は、カオスを伝播するあるマルコフ遷移族の極限分布写像として現れる。
• 決定的ダイナミクスの場合、初期状態の経験的測度が p に収束する限り、粒子配置の経験的測度が F(p) に収束するとき、カオス伝播が成立する。
• 有限状態空間の場合、分子的カオスはn粒子分布における特定のエントロピーが、制限された単粒子分布のエントロピーに収束することを意味する。
• 証明は弱収束とプロホロフの定理に依拠しており、カオス的測度系列の極限が、極限分布 F(p) に対するデルタ測度であることを確立している。