[論文レビュー] Front progression for the East model

Oriane Blondel|arXiv (Cornell University)|Dec 18, 2012

Theoretical and Computational Physics参考文献 18被引用数 14

ひとこと要約

本稿は、非吸引的相互作用粒子系である東キネティカルに制約されたスピン模型（East KCSM）におけるフロント位置について、大数の法則とエルゴード性を確立する。標準的なカップリング手法が機能しないという点を克服するため、フロントの後方で平衡状態への指数的収束を定量的に評価する、新規のカップリング議論を開発した。これにより、KCSMにおける初の形状定理が証明された。

ABSTRACT

The East model is a one-dimensional, non-attractive interacting particle system with Glauber dynamics, in which a flip is prohibited at a site $x$ if the right neighbour $x+1$ is occupied. Starting from a configuration entirely occupied on the left half-line, we prove a law of large numbers for the position of the left-most zero (the front), as well as ergodicity of the process seen from the front. For want of attractiveness, the one-dimensional shape theorem is not derived by the usual coupling arguments, but instead by quantifying the local relaxation to the non-equilibrium invariant measure for the process seen from the front. This is the first proof of a shape theorem for a kinetically constrained spin model.

研究の動機と目的

• 標準的なカップリング議論が失敗する非吸引的キネティカルに制約されたスピン模型（KCSM）としての東モデルに対して、形状定理を確立すること。
• 完全に占有された左半直線から出発する東モデルにおける左端のゼロ（フロント）の位置に対して、大数の法則を証明すること。
• フロントから見た過程のエルゴード性を示すこと、すなわち不変測度の一意性とその分布への収束を示すこと。
• フロントの後方における非平衡不変測度への指数的収束を定量的に制御できる、新たなカップリング技術を開発すること。これにより、吸引性の欠如にもかかわらず結果を得ることを可能にする。

提案手法

• 距離Lだけフロントの後方にある配置の分布が、十分な時間が経過した後、全変動距離において指数的に平衡状態に近づくことを示す、洗練されたカップリング議論（定理4.7）を導入する。
• KS01とKPS02にインspiredされた反復的カップリング構成を用い、フロント付近の有限領域と、それより遥かに後方の無限領域に動的挙動を分離する。
• マルコフ性と収束推定を用いて、フロント軌道の遠く離れたセグメント間の相関を制御する。
• フロント軌道をサイズsのブロックに分解し、L = ⌊√s⌋を用いることで、単調性の欠如にもかかわらず、部分加法的アプローチを適用する。
• ボレル＝カンテリの補題とモーメント評価（補題3.4の一般化）を用いて、フロント位置のブロック単位の増分におけるフラクチュエーションを制御する。
• 有限速度伝播と定理4.7を用いて、フロントの動きの逸脱およびカップリング構成に起因する誤差項を制御する。

実験結果

リサーチクエスチョン

• RQ1 吸引性の欠如があるにもかかわらず、東モデルに対して形状定理を確立できるか？
• RQ2 完全に占有された左半直線から出発する東モデルにおけるフロント位置は、大数の法則を満たすか？
• RQ3 フロントから見た過程はエルゴード的であるか、すなわち不変測度が一意に存在し、分布として収束するか？
• RQ4 フロント付近の有限領域と、それより遥かに後方の無限領域の両方を制御できるカップリング議論を設計できるか？
• RQ5 フロントの後方における平衡状態への収束速度は何か？ そして、その収束速度はフロントのマクロな挙動を制御するためにどのように利用できるか？

主な発見

• フロント位置は大数の法則を満たす：lim_{t→∞} X(ω(t))/t = v almost surely であり、ここでvはフロント伝播の漸近的速さである。
• フロントから見た過程はエルゴード的である：一意な不変測度が存在し、システムは分布収束する。
• 距離Lだけフロントの後方にある配置は、初期状態に依存せず、時間tの後に全変動距離において指数的に平衡測度に近づく。
• カップリング構成により、2つの配置が、確率が1に近づくような任意に大きな有限区間でフロントから見た上で一致することが保証される。
• 速さvは、時間経過における期待フロント移動量の極限として特徴づけられ、主要な誤差項は指数的収束とボレル＝カンテリの議論によって制御される。
• 本証明により、キネティカルに制約されたスピン模型（KCSM）における初の形状定理が確立され、非吸引的KCSMの研究において画期的な前進が達成された。