[论文解读] Universality for critical KCM: infinite number of stable directions

Ivailo Hartarsky, Laure Marêché+1 more|arXiv (Cornell University)|Apr 19, 2019

Stochastic processes and statistical mechanics被引用 2

一句话总结

该论文在二维空间中建立了具有无穷多个稳定方向的临界动力学约束模型（KCM）的普遍性，证明了感染时间的标度为 exp(q^{-2α})——该指数是相应自展渗滤模型指数的两倍，这是由于单调动力学中不存在的能量势垒所致。该结果证实了Martinelli、Morris和Toninelli的猜想，解决了KCM普遍性分类中的一个关键开放问题。

ABSTRACT

Kinetically constrained models (KCM) are reversible interacting particle systems on $\mathbb{Z}^d$ with continuous-time constrained Glauber dynamics. They are a natural non-monotone stochastic version of the family of cellular automata with random initial state known as $\mathcal{U}$-bootstrap percolation. KCM have an interest in their own right, owing to their use for modelling the liquid-glass transition in condensed matter physics. In two dimensions there are three classes of models with qualitatively different scaling of the infection time of the origin as the density of infected sites vanishes. Here we study in full generality the class termed `critical'. Together with the companion paper by Martinelli and two of the authors we establish the universality classes of critical KCM and determine within each class the critical exponent of the infection time as well as of the spectral gap. In this work we prove that for critical models with an infinite number of stable directions this exponent is twice the one of their bootstrap percolation counterpart. This is due to the occurrence of `energy barriers', which determine the dominant behaviour for these KCM but which do not matter for the monotone bootstrap dynamics. Our result confirms the conjecture of Martinelli, Morris and the last author, who proved a matching upper bound.

研究动机与目标

• . 建立具有无穷多个稳定方向的临界KCM的普遍性。
• . 确定该类模型中感染时间与谱间隙的确切标度。
• . 解决感染时间指数为相应自展渗滤模型指数两倍的猜想。
• . 阐明能量势垒在KCM动力学中的作用，将其与单调自展渗滤模型区分开来。

提出的方法

• . 使用局部函数 φq 通过Dirichlet型和方差来界定谱间隙。
• . 构造一组通过合法路径与临界团簇相连的配置集合 A，确保 φ 仅在这些路径上非零。
• . 应用Harris不等式和引理6.1来下界估计 µ(A)，这对方差估计至关重要。
• . 采用修改后的路径 ˜γ，使其在关键列 C2N 外保持动力学不变，从而在假设存在避开 B(n) 的路径时导出矛盾。
• . 依赖推论6.5，证明从 Ωg 到 ω 且满足 ω0 = 0 的路径必须穿过 B(n)，从而得出当 ω0 = 0 时 φ(ω) = 0。
• . 综合这些估计，验证通过谱间隙方法获得 E[τ0] 下界所需的三个条件。

实验结果

研究问题

• RQ1 . 具有无穷多个稳定方向的临界KCM的感染时间的确切标度是什么？
• RQ2 . 能量势垒的存在如何改变其动力学行为，相较于单调自展渗滤模型？
• RQ3 . 这类KCM的感染时间指数是否恰好是相应自展渗滤模型指数的两倍？
• RQ4 . 通过谱间隙方法导出的 E[τ0] 下界是否与真实的渐近标度一致？

主要发现

• . 具有无穷多个稳定方向的临界KCM的感染时间 E[τ0] 标度为 exp(q^{-2α})，其中 α 是相应自展渗滤模型的临界指数。
• . 该指数恰好是自展渗滤模型对应指数的两倍，原因在于能量势垒的存在，而这些势垒在单调动力学中不影响行为。
• . 通过谱间隙方法建立的 E[τ0] 下界对平衡模型是紧确的，与猜想的渐近行为一致。
• . 该结果证实了Martinelli、Morris和Toninelli的猜想，他们此前已证明了匹配的上界。
• . 对于非平衡模型，校正因子预计为 (log q)^4，源于临界团簇的一维几何结构。
• . 谱间隙 Trel 与 E[τ0] 具有相同的指数，证实了该类模型中时间尺度的普遍性。