[论文解读] The conformally invariant measure on self-avoiding loops

Wendelin Werner|arXiv (Cornell University)|Nov 24, 2005

Stochastic processes and statistical mechanics参考文献 22被引用 5

一句话总结

本文证明了在复平面上及黎曼曲面上，自避环路存在唯一（至多缩放因子）的共形不变测度，该测度由共形限制与尺度不变性特征刻画。该测度自然地作为临界渗滤簇外边界及布朗运动环路外边界的标度极限出现，其豪斯多夫维数为 4/3，且与 SLE$_{8/3}$ 深刻关联。

ABSTRACT

We show that there exists a unique (up to multiplication by constants) and natural measure on simple loops in the plane and on each Riemann surface, such that the measure is conformally invariant and also invariant under restriction (i.e. the measure on a Riemann surface S' that is contained in another Riemann surface S, is just the measure on S restricted to those loops that stay in S'). We study some of its properties and consequences concerning outer boundaries of critical percolation clusters and Brownian loops.

研究动机与目标

• 在复平面及黎曼曲面上建立自避环路共形不变测度的存在性与唯一性。
• 通过共形限制与限制性质刻画该测度，确保其在共形映射与区域限制下保持不变。
• 将该测度与物理及概率模型联系起来，包括布朗运动环路的外边界及临界渗滤簇边界的外边界。
• 证明该测度完全由其在环形区域上的行为决定，且几乎所有环路均具有豪斯多夫维数 4/3。
• 证明该测度是临界渗滤中离散外边界的标度极限，从而建立离散与连续模型之间的联系。

提出的方法

• 通过共形限制与限制不变性证明测度的唯一性，表明任何此类测度必与所提出的测度成比例。
• 将测度显式构造为布朗环路测度下外边界的分布，利用外边界维数的已知结果。
• 利用布朗环路测度的共形不变性及外边界的限制性质，推导出所得测度的不变性。
• 应用 SLE$_{8/3}$ 理论，证明布朗环路的外边界几乎必然为简单环路，且该测度在共形映射下保持不变。
• 通过证明外边界的联合分布收敛于测度 $\mu$，建立临界渗滤中离散外边界的标度极限。
• 利用五臂估计及海峡的非局部闭包性质，证明离散外边界在分布上收敛于连续外边界。

实验结果

研究问题

• RQ1 在复平面上是否存在唯一（至多缩放因子）的共形不变测度，作用于自避环路，且满足共形限制？
• RQ2 在黎曼曲面上的自避环路测度如何通过共形不变性与复平面上的测度相关联？
• RQ3 共形不变测度能否作为临界渗滤中外边界的标度极限实现？
• RQ4 该测度所支持的环路的豪斯多夫维数是多少？这与布朗运动的已知结果有何关联？
• RQ5 该测度在共形映射下（特别是环形区域中）的行为如何？其在细环形区域中的质量衰减速率如何？

主要发现

• 在复平面上存在唯一（至多缩放因子）的共形不变测度，作用于自避环路，且满足共形限制与限制不变性。
• 该测度支持的环路具有精确的豪斯多夫维数 $4/3$，与二维布朗运动外边界维数的已知结果一致。
• 该测度是布朗环路测度下外边界的分布，提供了概率构造。
• 该测度是临界渗滤簇外边界的标度极限，意味着渗滤簇外边界的形状与布朗环路外边界的分布相同。
• 在环形区域 $\{z : |z| \in (1, \exp(\rho))\}$ 中，环绕该区域的环路质量随 $\rho \to 0^+$ 衰减为 $c \cdot \exp(-5\pi^2/(4\rho))$，该结果由共形不变性与 SLE$_{8/3}$ 性质推导得出。
• 该测度可由公式 $\mu_D(\{\gamma : \gamma \text{ 分离 } z \text{ 与 } \partial D \text{ 且 } \gamma \not\subset D'\}) = c \log \Phi'(z)$ 特征化，其中 $\Phi$ 是从 $D'$ 到 $D$ 的共形映射，且固定点 $z$。