[论文解读] Sixty years of percolation

Hugo Duminil‐Copin|arXiv (Cornell University)|Dec 13, 2017

Stochastic processes and statistical mechanics参考文献 21被引用 6

一句话总结

本文回顾了六十年来渗透理论的发展，重点聚焦于伯努利渗滤和随机簇（FK）渗滤的进展，特别是在二维情形。研究证明，平面FK渗滤的相变在 $ q \leq 4 $ 时为连续相变，在 $ q > 4 $ 时为不连续相变，通过任意任何理函数和转移矩阵方法，分别基于连通概率的多项式衰减（证明连续性）和严格正的衰减速率（证明不连续性）。

ABSTRACT

Percolation models describe the inside of a porous material. The theory emerged timidly in the middle of the twentieth century before becoming one of the major objects of interest in probability and mathematical physics. The golden age of percolation is probably the eighties, during which most of the major results were obtained for the most classical of these models, named Bernoulli percolation, but it is really the two following decades which put percolation theory at the crossroad of several domains of mathematics. In this short (and very partial) review, we propose to describe briefly some of the recent progress as well as some famous challenges remaining in the field. This review is not intended to probabilists (and a fortiori not to specialists in percolation theory): the target audience is mathematicians of all kinds.

研究动机与目标

• 回顾过去六十年中渗透理论的主要进展，特别是二维模型中的进展。
• 阐明平面随机簇模型中簇权 $ q $ 的相变本质。
• 严格证明相变在 $ q \leq 4 $ 时为连续相变，在 $ q > 4 $ 时为不连续相变，从而解决Baxter提出的长期猜想。
• 强调任意任何理函数和转移矩阵形式在分析临界行为中的作用。
• 指出开放问题，特别是猜想 $ q_c(d) = 2 $ 对所有 $ d \geq 3 $ 成立。

提出的方法

• 利用任意任何理函数推导离散围线积分恒等式，以约束临界行为。
• 应用转移矩阵形式化方法，计算临界状态下连通概率的指数衰减速率 $ \tau(q) $。
• 证明当 $ q > 4 $ 时 $ \tau(q) > 0 $，意味着相变不连续。
• 建立 $ \theta_n(p_c, q) $ 的多项式下界，适用于 $ q \in [1,4] $，意味着相变连续。
• 利用 $ q = 2 $ 时可观测量的共形协变性，推导出强RSW型估计及界面收敛性。
• 利用反射正性和平均场近似，证明在高维或大 $ q $ 情形下相变不连续。

实验结果

研究问题

• RQ1 平面随机簇渗滤中簇权 $ q $ 的相变本质是什么？是连续的还是不连续的？
• RQ2 任意任何理函数是否足以控制临界点 $ p_c $ 处的临界指数行为？
• RQ3 转移矩阵方法能否严格计算衰减速率 $ \tau(q) $，且在 $ q > 4 $ 时是否为正？
• RQ4 相变在 $ q \leq 4 $ 时是否连续，能否通过连通概率的多项式下界证明？
• RQ5 高维FK渗滤中不连续相变的临界阈值 $ q_c(d) $ 是多少？是否对所有 $ d \geq 3 $ 都有 $ q_c(d) = 2 $ ？

主要发现

• 平面FK渗滤的相变在 $ q \leq 4 $ 时为连续相变，这是通过任意任何理函数的离散围线积分趋于零所导出的 $ \theta_n(p_c, q) $ 的多项式下界所证明。
• 当 $ q > 4 $ 时，$ \theta_n(p_c, q) $ 的衰减速率 $ \tau(q) $ 严格为正，意味着相变不连续，该结论通过转移矩阵形式化方法得到证明。
• 当 $ q = 2 $ 时，任意任何理函数在标度极限下具有共形协变性，从而导出强RSW估计及界面收敛性。
• 当 $ q = 2 $ 时，FK模型通过Edwards-Sokal耦合对应于伊辛模型，因此可利用其特殊性质证明 $ \theta(p,2) $ 的连续性。
• 在高维情形下，当 $ d $ 固定且 $ q \geq q_c(d) \gg 1 $，或当 $ q \geq 3 $ 且 $ d \geq d_c(q) \gg 1 $ 时，相变不连续，该结论通过反射正性和平均场论证得到支持。
• 猜想 $ q_c(d) = 2 $ 对所有 $ d \geq 3 $ 成立仍未被证明，是数学物理领域的一项重大挑战。