斯坦尼斯拉夫·斯米尔诺夫
因严格证明 2 维临界渗流与伊辛模型的共形不变性(Cardy 公式、交叉概率),确立统计力学的连续极限
获奖原因
斯坦尼斯拉夫·斯米尔诺夫(Stanislav Smirnov,1970– )获 2010 年菲尔兹奖,表彰他严格证明 2 维统计物理模型的共形不变性与连续极限。
他的标志性成果(2001)是:对三角格上的临界伯努利渗流(Bernoulli percolation),证明”六边形中从四条边交叉的簇”的交叉概率收敛到一个仅依赖于共形结构的极限——正是物理学家卡迪(J. Cardy)用共形场论预言的公式。这不仅证实了渗流的共形不变性,还给出该极限是某个SLE(Schramm–Loewner 演化)曲线的事实,与维尔纳、施拉姆的工作汇合。
随后他把同样严格的共形不变性方法用于伊辛模型(Ising)与 自回避行走,证明它们的连续极限(临界 Ising 的界面 = SLE,自回避行走 = SLE),并算出相关临界指数。斯米尔诺夫的工作把 2 维统计力学的物理预言变成数学定理,是概率论与数学物理交叉的里程碑。
问题来龙去脉
一、2 维临界现象的连续极限
在格点模型(渗流、Ising、自回避行走)中,当参数调到临界点(如渗流概率 ),系统的相关长度发散,出现分形簇。物理学家用共形场论(CFT)预言:2 维临界模型的”宏观形态”应只依赖区域的共形结构(不依赖微观格点),并由一个普适的随机曲线描述。卡迪(1992)具体猜出三角格渗流的”四条边界交叉概率”公式——但都是物理启发,缺乏严格性。
一个核心问题:能否严格证明这些临界模型确实具有共形不变性,且其连续极限由 SLE 给出?
二、斯米尔诺夫的突破:离散的全纯函数
斯米尔诺夫的关键创意是构造一个在离散格点上”好到足以取极限”的离散全纯函数,使其收敛到连续的全纯函数,从而把”共形不变”变成可证的对象。
对三角格临界渗流,他定义 关联函数(两顶点同属开簇的概率)并证明它满足一个离散柯西–黎曼型方程(在取适当格点函数空间时)。更妙的是,他构造了一条”探索过程”(exploration path):从六边形边界出发,沿开/闭边交替行走,探查渗流簇的边界。他证明这条离散路径在 时,其极限是一个 SLE 曲线。
由此:
- “交叉概率”(六边形中四边被开簇连通的概率)在格距 时收敛到 SLE 的相应概率,而 SLE 的概率可显式算出,恰好等于卡迪公式;
- 共形不变性得证:该极限只依赖区域的共形等价类。
三、推广到 Ising 与自回避行走
斯米尔诺夫把同一方法用于:
- 伊辛模型:证明临界 Ising 的”相界”(domain wall)极限是 SLE,并算出其临界指数(如磁化指数 );
- 自回避行走 / 均匀生成树:用”loop-erased random walk”和”谐波探索”证明自回避行走极限为 SLE,三角格均匀生成树(UST)的边界为 SLE,验证了杜阿迪(Duplantier)的猜想。
这些结果第一次把 CFT 的物理预言逐一严格化。
四、意义与后续
- 随机共形几何的支柱:斯米尔诺夫的工作与施拉姆、维尔纳的 SLE 理论互相印证,共同奠定”随机共形几何”这一领域(把概率、复分析、统计物理统一)。
- 数学物理的严格化:渗流、Ising 的连续极限成为定理,使”临界现象”从物理直觉转为可证数学;后续发展了刘维尔量子引力(LQG)、高斯自由场与 SLE 的耦合(Sheffield)等。
- 方法遗产:他的”离散全纯函数 + 探索路径”技巧,成为研究 2 维格点模型连续极限的标准方法,影响了后来的 Duminil-Copin、Beffara 等人的工作。
斯米尔诺夫以”把物理的共形不变性变成严格的随机分析”的成就,把 21 世纪的概率论与数学物理推到了新高度,是随机几何领域的核心人物之一。