[论文解读] Front progression for the East model

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

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

一句话总结

本文建立了非吸引性的相互作用粒子系统——东边动力学约束自旋模型（East kinetically constrained spin model）中前缘位置的大数定律与遍历性。通过发展一种新颖的耦合论证方法，量化了前缘后方远处系统趋近平衡态的指数松弛速率，证明了首个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）的形状定理，其中标准耦合论证方法失效。
• 证明当系统从完全占据的左半直线开始时，东模型中左起第一个零位（即前缘）位置的大数定律。
• 证明从前缘视角观察的过程是遍历的，即不变测度唯一且系统收敛至该测度。
• 发展一种新型耦合技术，量化前缘后方非平衡不变测度的指数松弛速率，从而在缺乏吸引力的条件下实现结果。

提出的方法

• 引入一种改进的耦合论证（定理4.7），表明在足够长时间后，前缘后方距离L处的配置分布与平衡态在总变差距离上呈指数接近。
• 采用受[KS01]和[KPS02]启发的迭代耦合构造，将动力学分为靠近前缘的有限部分与远离前缘的无限部分。
• 利用马氏性质与松弛估计，控制前缘轨迹中相距较远区段之间的相关性。
• 将前缘轨迹分解为大小为s的块，令L = ⌊√s⌋，尽管缺乏单调性，仍应用类似次可加性的论证方法。
• 利用Borel-Cantelli引理与矩界（推广自引理3.4）控制前缘位置块间增量的波动。
• 结合有限传播速度与定理4.7，控制由前缘运动偏差及耦合构造引起的误差项。

实验结果

研究问题

• RQ1 尽管缺乏吸引力，是否仍可为东模型建立形状定理？
• RQ2 当系统从完全占据的左半直线开始时，东模型中前缘位置是否满足大数定律？
• RQ3 从前缘视角观察的过程是否为遍历的，即是否收敛至唯一的不变测度？
• RQ4 能否设计一种耦合论证，同时控制前缘附近的有限区域与远离前缘的无限区域？
• RQ5 前缘后方的系统趋近平衡态的速率如何？该速率如何用于控制前缘的宏观行为？

主要发现

• 前缘位置满足大数定律：lim_{t→∞} X(ω(t))/t = v 几乎必然成立，其中v为前缘传播的渐近速度。
• 从前缘视角观察的过程是遍历的：唯一的不变测度存在，且系统在分布上收敛至该测度。
• 在时间t后，前缘后方距离L处的配置分布与平衡测度在总变差距离上呈指数接近，且对所有初始配置一致成立。
• 耦合构造确保，两个从前缘视角观察的配置在任意大的有限区间上一致的概率趋于1。
• 速度v被表征为期望前缘位移随时间的极限，主要误差项通过指数松弛与Borel-Cantelli论证加以控制。
• 该证明首次建立了动力学约束自旋模型的形状定理，标志着非吸引性KCSM研究的重大突破。