[論文レビュー] Fredrickson-Andersen one spin facilitated model out of equilibrium

Oriane Blondel, Nicoletta Cancrini+3 more|arXiv (Cornell University)|May 21, 2012

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

ひとこと要約

本稿では、多項式成長を示す無限グラフ上でのFredrickson-Andersen 1スピン支援モデル（FA1f）について、非平衡初期測度 $\nu$ からの初期化において、空き状態の密度 $q > \bar{q} < 1$ かつ隣接する空き状態間の平均距離が一様に有界である場合、平衡分布への指数的または伸びた指数的収束が確立される。この結果は、スペクトルギャップ推定とブロックダイナミクス技法に依拠しており、平衡定常測度を超えた非平衡収束を拡張するものである。

ABSTRACT

We consider the Fredrickson and Andersen one spin facilitated model (FA1f) on an infinite connected graph with polynomial growth. Each site with rate one refreshes its occupation variable to a filled or to an empty state with probability $p\in[0,1]$ or $q=1-p$ respectively, provided that at least one of its nearest neighbours is empty. We study the non-equilibrium dynamics started from an initial distribution $ν$ different from the stationary product $p$-Bernoulli measure $μ$. We assume that, under $ν$, the mean distance between two nearest empty sites is uniformly bounded. We then prove convergence to equilibrium when the vacancy density $q$ is above a proper threshold $\bar q&lt;1$. The convergence is exponential or stretched exponential, depending on the growth of the graph. In particular it is exponential on $\bbZ^d$ for $d=1$ and stretched exponential for $d&gt;1$. Our result can be generalized to other non cooperative models.

研究の動機と目的

• 初期分布 $\nu$ が定常でない場合のFA1fモデルの平衡分布への収束を確立すること。
• 多項式成長を示す無限グラフ上での運動量制約付きスピンモデル（KCSM）の非平衡ダイナミクスを分析すること。
• 初期分布 $\nu \neq \mu$ の場合に、定常積測度 $p$-ベルヌーイ測度 $\mu$ への収束が成立する条件を特定すること。
• 特に非協力的KCSM（FA1fなど）において、平衡状態を超えた収束結果を拡張すること。
• 類似した制約を持つ他の非協力的モデルに適用可能な一般枠組みを提供すること。

提案手法

• 著者らは、多項式成長を示す無限連結グラフ $\mathcal{G}$ 上でのFA1fモデルを分析し、各サイトが局所的制約に基づきレート1で更新されるものとする：サイトが更新可能となるのは、少なくとも一つの隣接サイトが空である場合に限る。
• 初期測度 $\nu$ が最近隣接する空き状態間の平均距離が一様に有界であると仮定し、これにより空き状態の空間的分布が十分に分散していることが保証される。
• 証明ではブロックダイナミクス分解を用い、グラフを互いに素な部分集合 $A$ と $B$ に分割することで、分散の制御と条件付き独立性の議論を可能にする。
• 重要な技術的道具として、関数 $g$ が制約付きブロックの和集合の外で消える場合に、積測度下での $g$ の分散を制限する不等式（補題6.6）が用いられる。
• 制約付きブロックダイナミクスとの比較によりスペクトルギャップ推定が得られ、誤差項の制御のため $\max(1 - \mu(c_A), 1 - \mu(c_B)) < 1/16$ の条件が用いられる。
• 収束速度は $d=1$ の場合に指数的であり、$d>1$ の場合に伸びた指数的であることが示され、グラフの成長率に依存する。

実験結果

リサーチクエスチョン

• RQ1 非定常測度 $\nu$ からの初期化において、FA1fモデルがどの条件下で平衡分布に収束するか。
• RQ2 多項式成長を示す無限グラフ上でのFA1fモデルについて、$\nu \neq \mu$ の場合に指数的または伸びた指数的収束を確立できるか。
• RQ3 空き状態の初期空間的分布（最近隣接空き状態間の平均距離で測る）が、平衡分布への収束にどのように影響するか。
• RQ4 東モデル（East model）の収束結果を、非指向的かつ非協力的KCSM（FA1fなど）に一般化できるか。
• RQ5 空き状態密度 $q$ が非平衡ダイナミクスにおける収束閾値 $\bar{q}$ の決定に果たす役割は何か。

主な発見

• 多項式成長を示す無限グラフ上でのFA1fモデルについて、初期測度 $\nu$ が最近隣接空き状態間の平均距離が一様に有界であり、空き状態密度 $q > \bar{q} < 1$ である場合、平衡分布への収束が証明された。
• 一様次元 $\mathbb{Z}^1$ では収束速度が指数的であり、1次元では混合が速いことを反映している。
• $d > 1$ の場合、収束は伸びた指数的であり、高次元の幾何的制約により混合が遅いことを示している。
• 空き状態間隔に一様な有界性を満たす任意の初期分布 $\nu$ に対して結果が成り立ち、$p' \neq p$ の非自明なベルヌーイ積測度を含む。
• 証明技法は他の非協力的KCSMに対しても一般化可能であり、FA1fを超えた広範な適用可能性を示唆している。
• 核心的な不等式として、ブロックダイナミクスにおけるスペクトルギャップの制御が可能となる分散不等式（補題6.6）が得られ、収束議論の根幹をなしている。