[论文解读] On the convergence of FK-Ising Percolation to SLE$(16/3, 16/3-6)$

Christophe Garban, Hao Wu|arXiv (Cornell University)|Feb 12, 2018

Stochastic processes and statistical mechanics参考文献 29被引用 9

一句话总结

本文通过拓扑框架和离散停止时间分析，不依赖全纯可观测量，提供了临界FK-Ising渗滤中弦切探索过程收敛到弦切SLE(16/3, 16/3−6)的简化且完整的证明。关键贡献在于严格证明了标度极限的空间马尔可夫性质以及停止时间的收敛性，通过径向SLE标度推导出一臂指数1/8。

ABSTRACT

We give a simplified and complete proof of the convergence of the chordal exploration process in critical FK-Ising percolation to chordal SLE$_κ( κ-6)$ with $κ=16/3$. Our proof follows the classical excursion-construction of SLE$_κ(κ-6)$ processes in the continuum and we are thus led to introduce suitable cut-off stopping times in order to analyse the behaviour of the driving function of the discrete system when Dobrushin boundary condition collapses to a single point. Our proof is very different from [KS15, KS16] as it only relies on the convergence to the chordal SLE$_κ$ process in Dobrushin boundary condition and does not require the introduction of a new observable. Still, it relies crucially on several ingredients: a) the powerful topological framework developed in [KS17] as well as its follow-up paper [CDCH$^+$14], b) the strong RSW Theorem from [CDCH16], c) the proof is inspired from the appendix A in [BH16]. One important emphasis of this paper is to carefully write down some properties which are often considered {\em folklore} in the literature but which are only justified so far by hand-waving arguments. The main examples of these are: 1) the convergence of natural discrete stopping times to their continuous analogues. (The usual hand-waving argument destroys the spatial Markov property). 2) the fact that the discrete spatial Markov property is preserved in the the scaling limit. (The enemy being that $\mathbb{E}[X_n |\, Y_n]$ does not necessarily converge to $\mathbb{E}[X|\, Y]$ when $(X_n,Y_n) o (X,Y)$). We end the paper with a detailed sketch of the convergence to radial SLE$_κ( κ-6)$ when $κ=16/3$ as well as the derivation of Onsager's one-arm exponent $1/8$.

研究动机与目标

• 建立在标度极限下，具有完全线性边界条件的FK-Ising探索过程收敛到弦切SLE(16/3, 16/3−6)。
• 提供一种不依赖全纯可观测量的证明，而是基于在多布吕欣边界条件下已知的SLE收敛性以及拓扑工具。
• 严格证明两个广泛假设但此前仅凭启发式论证成立的性质：离散停止时间的收敛性，以及在标度极限中空间马尔可夫性质的保持。
• 通过径向SLE(16/3, 16/3−6)标度极限推导出昂萨格的一臂指数1/8。

提出的方法

• 在连续情形下使用SLE(κ, κ−6)过程的经典偏移构造，通过[KS17]中的拓扑框架将其适配到离散设置。
• 引入截断停止时间，以分析当多布吕欣边界条件坍缩为一点时，离散系统的驱动函数。
• 依赖[CDCH16]中的强RSW定理，以控制交叉概率并确保标度极限的一致性。
• 应用[KS17]中的拓扑工具，处理局部一致拓扑下探索路径的收敛性。
• 改编[BH16]附录A中的技术以处理径向情形，并推导出一臂指数。
• 通过仔细分析条件期望，证明离散空间马尔可夫性质在标度极限中得以保持。

实验结果

研究问题

• RQ1 具有完全线性边界条件的临界FK-Ising渗滤的探索路径是否收敛到弦切SLE(16/3, 16/3−6)？
• RQ2 是否可以在不引入新可观测量的前提下，仅基于在多布吕欣边界条件下的已知收敛性来证明收敛性？
• RQ3 尽管一般条件下期望的条件收敛性不成立，离散停止时间与空间马尔可夫性质是否在标度极限中得以保持？
• RQ4 径向SLE(16/3, 16/3−6)极限是否意味着临界FK-Ising模型的一臂指数为1/8？
• RQ5 该方法是否可推广到其他已知SLE收敛性与RSW估计的格点模型？

主要发现

• 当格点间距δ → 0时，具有完全线性边界条件的临界FK-Ising渗滤中的弦切探索过程弱收敛到弦切SLE(16/3, 16/3−6)。
• 该证明建立了离散停止时间向其连续对应物的收敛性，解决了长期以来启发式论证中的一个关键缺口。
• 尽管一般条件下条件期望不收敛，离散空间马尔可夫性质在标度极限中得以保持。
• 通过径向SLE(16/3, 16/3−6)极限和[SSW09]中的指数公式，严格推导出临界伊辛模型的一臂指数为1/8。
• 径向探索路径收敛到SLE(16/3, 16/3−6)意味着大环形区域的交叉概率以n^{−1/8 + o(1)}的速率衰减，与昂萨格指数在极限下一致。
• 该方法可推广到其他具有已知SLE收敛性与RSW估计的模型，如自回避环消除随机游走、均匀生成树（UST）和离散高斯自由场（GFF）水平线，前提是满足RSW条件。