[论文解读] Percolation without FKG

Vincent Beffara, Damien Gayet|arXiv (Cornell University)|Oct 29, 2017

Stochastic processes and statistical mechanics参考文献 12被引用 10

一句话总结

本文在不依赖正相关性的FKG条件的前提下，建立了离散渗滤模型的Russo-Seymour-Welsh（RSW）界限。通过引入一种基于精确相关性控制而非正相关的有限尺度准则，作者证明了在三角晶格上高负温度下的反铁磁伊辛模型以及相关函数振荡的离散高斯场的方框交叉性质，将RSW理论拓展至FKG正则模型之外。

ABSTRACT

We prove a Russo-Seymour-Welsh theorem for large and natural perturbative families of discrete percolation models that do not necessarily satisfy the Fortuin-Kasteleyn-Ginibre condition of positive association. In particular, we prove the box-crossing property for the antiferromagnetic Ising model with small parameter, and for certain discrete Gaussian fields with oscillating correlation function.

研究动机与目标

• 将Russo-Seymour-Welsh（RSW）理论拓展至不满足正相关性FKG条件的模型。
• 为具有负相关性或振荡相关性的离散渗滤模型建立方框交叉性质。
• 提出一种有限尺度准则，通过相关性控制而非正相关性来实现尺度间的估计传播。
• 将该方法应用于两个关键模型：反铁磁伊辛模型和具有振荡相关性的离散高斯场。
• 证明在适当的去相关假设下，具有方框交叉性质的参考模型的微扰仍保持该性质。

提出的方法

• 引入一种基于相关性控制而非正相关性的有限尺度准则，以确保方框交叉性质。
• 采用微扰论证：若参考模型满足方框交叉性质，则在相关性充分受控的邻近模型中该性质依然成立。
• 通过验证其相关性衰减和振荡行为满足必要技术条件，将该准则应用于离散高斯场。
• 通过构建与有限范围模型的耦合并利用分支过程有界影响衰减，分析三角晶格上的反铁磁伊辛模型。
• 将平滑随机波模型作为振荡相关函数的原型，证明此类场满足所需的衰减与振荡条件。
• 利用可观测量的局部收敛性与耦合技术，将无限体积测度与相关误差受控的有限范围近似联系起来。

实验结果

研究问题

• RQ1 Russo-Seymour-Welsh（RSW）方框交叉性质能否在不满足正相关性FKG条件的渗滤模型中建立？
• RQ2 在三角晶格上的反铁磁伊辛模型是否在存在负相关性的情况下，对大矩形仍表现出统一的正交叉概率？
• RQ3 能否将RSW型界限拓展至相关函数振荡且缓慢衰减的离散高斯场？
• RQ4 当FKG不成立时，方框交叉性质是否对满足该性质的参考模型的小扰动保持稳定？
• RQ5 能否基于相关性控制的有限尺度准则替代正相关性，以证明RSW界限？

主要发现

• 在三角晶格上高负温度下的反铁磁伊辛模型满足方框交叉性质，意味着对大矩形具有统一的正交叉概率。
• 作为临界伯努利渗滤微扰的离散高斯场，若其相关函数振荡，则满足RSW性质，尽管以往依赖FKG或正相关性的方法不再适用。
• 本文构建了一种有限尺度准则，通过精确控制相关性来实现尺度间交叉估计的传播，从而避免了对正相关性的依赖。
• 对于伊辛模型，作者证明了边界条件的影响随距离呈指数衰减，从而可构造出具有可控误差的有限范围近似。
• 该方法适用于相关性衰减阶数至少为 d > 10 的模型，包括近似经典随机波模型的平滑随机波模型，其相关函数具有振荡特性。
• 影响衰减的界被量化为 θ(n,ℓ) ≤ Cn²(N tanh β₀N)^{ℓ/2}，当 β₀ 足够大时表现出指数衰减。