[论文解读] 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

一句话总结

该论文在初始测度 $\nu$ 满足空位密度 $q > \bar{q} < 1$ 且空位间平均距离有界时，证明了在多项式增长的无限图上，Fredrickson-Andersen 一自旋促进模型（FA1f）的平衡态收敛速度为指数或拉伸指数级。该结果依赖于谱间隙估计与块动力学技术，将非平衡收敛结果推广至非平衡稳态测度之外。

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$，以控制方差并应用条件独立性论证。
• 关键的技术工具是方差不等式（引理 6.6），该不等式在函数 $g$ 在约束块的并集之外为零的条件下，界定了在乘积测度下 $g$ 的方差。
• 通过与受限块动力学进行比较，推导出谱间隙估计，利用条件 $\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 是否可将东模型的收敛结果推广至非定向、非合作型 KCSM（如 FA1f）？
• RQ5 空位密度 $q$ 在决定非平衡动力学的收敛阈值 $\bar{q}$ 时起什么作用？

主要发现

• 在空位密度 $q > \bar{q} < 1$ 且最近空位间平均距离有界的初始测度 $\nu$ 下，FA1f 模型在具有多项式增长的无限图上收敛至平衡态已被证明。
• 在 $\mathbb{Z}^1$ 中，收敛速率为指数级，反映了在一维中更快的混合速度。
• 在 $d > 1$ 时，收敛为拉伸指数级，表明由于高维几何约束导致混合速度更慢。
• 该结果对满足空位间距均匀有界条件的任意初始分布 $\nu$ 均成立，包括非平凡的伯努利乘积测度（$p' \neq p$）。
• 该证明方法可推广至其他非合作型 KCSM，表明其具有广泛的适用性。
• 关键方差不等式（引理 6.6）使得块动力学中谱间隙的控制成为可能，构成收敛论证的核心。