[论文解读] Two-valued local sets of the 2D continuum Gaussian free field: connectivity, labels, and induced metrics

Juhan Aru, Avelio Sepúlveda|arXiv (Cornell University)|Jan 11, 2018

Stochastic processes and statistical mechanics参考文献 17被引用 15

一句话总结

本文研究二维连续高斯自由场（GFF）的两值局部集（TVS），刻画其连通性、标记及诱导几何结构。证明了当 $a + b \geq 4\lambda$ 时，TVS 中的环路互不相交；当 $a + b < 4\lambda$ 时，其交集图连通；并表明仅当 $a \neq b$ 且 $2\lambda \leq a + b < 4\lambda$ 时，标记可从集合中恢复，且仅当 $a = b = 2\lambda$ 时，给定集合后标记相互独立。水平集渗滤的阈值被证明为 $-2\lambda$，并刻画了带标记的 CLE$_4$ 与 GFF 之间的耦合为局部集耦合，其中标记在缩放极限中编码了到边界的距离。

ABSTRACT

We study two-valued local sets, $\\mathbb{A}_{-a,b}$, of the two-dimensional continuum Gaussian free field (GFF) with zero boundary condition in simply connected domains. Intuitively, $\\mathbb{A}_{-a,b}$ is the (random) set of points connected to the boundary by a path on which the values of the GFF remain in $[-a,b]$. For specific choices of the parameters $a, b$ the two-valued sets have the law of the CLE$_4$ carpet, the law of the union of level lines between all pairs of boundary points, or, conjecturally, the law of the interfaces of the scaling limit of XOR-Ising model. Two-valued sets are the closure of the union of countably many SLE$_4$ type of loops, where each loop comes with a label equal to either $-a$ or $b$. One of the main results of this paper describes the connectivity properties of these loops. Roughly, we show that all the loops are disjoint if $a+b \\geq 4\\lambda$, and that their intersection graph is connected if $a + b &lt; 4\\lambda$. This also allows us to study the labels (the heights) of the loops. We prove that the labels of the loops are a function of the set $\\mathbb{A}_{-a,b}$ if and only if $a\ eq b$ and $2\\lambda \\leq a+b &lt; 4\\lambda$ and that the labels are independent given the set if and only if $a = b = 2\\lambda$. We also show that the threshold for the level-set percolation in the 2D continuum GFF is $-2\\lambda$. Finally, we discuss the coupling of the labelled CLE$_4$ with the GFF. We characterise this coupling as a specific local set coupling, and show how to approximate these local sets. We further see how in these approximations the labels naturally encode distances to the boundary.

研究动机与目标

• 理解二维连续高斯自由场（GFF）的两值局部集（TVS）的几何与拓扑结构，特别是其环路分量的连通性与标记。
• 确定在何种条件下，TVS 中环路的标记（高度）可从集合本身恢复，以及在何种条件下给定集合后标记相互独立。
• 刻画带标记的 CLE$_4$ 过程与 GFF 之间的耦合为局部集耦合，并探讨标记如何编码内在几何信息（如到边界的距离）。
• 确立二维 GFF 中水平集渗滤的阈值，证明其发生在 $-2\lambda$ 处。
• 证明在缩放极限中，TVS 中环路的标记对应于到边界的缩放距离，并建议在 CLE$_4$ 环路上存在一个共形不变度量。

提出的方法

• 利用局部集框架，将两值局部集 $\mathbb{A}_{-a,b}$ 定义为可数个 SLE$_4$ 类型环路的闭包，其标记为 $-a$ 或 $b$，确保条件独立性与调和延拓性质。
• 应用薄局部集与马尔可夫性质，分析给定 $\mathbb{A}_{-a,b}$ 时 GFF 的条件分布，将其分解为补集上的 GFF 与一个调和函数。
• 通过时间索引的探索过程 $\mathbb{B}_r^s$ 构造 TVS 的泊松点过程，其中在时间 $s$ 添加标记为 $2\lambda - r d_\ell$ 的环路，并取极限 $r \to 0$ 定义 $\mathbb{B}_0$。
• 利用离散局部集 $\mathbb{B}_r$ 与 SLE$_4(\rho)$ 过程的逼近，证明环路标记收敛至钉扎的 SLE$_4$ 环路测度 $M$，从而识别 $\mathbb{B}_0$ 为带标记的 CLE$_4$。
• 应用泊松点过程的更新与马尔可夫性质，证明带标记的环路过程为特征测度为 $M$ 的泊松过程，并利用此性质从集合中恢复标记结构。
• 通过缩放距离 $\bar{d}_r = r d_p$ 分析环路上的诱导度量，证明对包围稠密集的环路间距离具有紧性，暗示在极限下存在一个共形不变度量。

实验结果

研究问题

• RQ1 在什么条件下，两值局部集 $\mathbb{A}_{-a,b}$ 中的环路互不相交？
• RQ2 在什么条件下，可从集合本身恢复 $\mathbb{A}_{-a,b}$ 中环路的标记？在什么条件下，给定集合后标记相互独立？
• RQ3 二维连续 GFF 中水平集渗滤的阈值是什么？它与参数 $a$ 和 $b$ 的关系如何？
• RQ4 带标记的 CLE$_4$ 与 GFF 之间的耦合如何作为局部集耦合产生？标记编码了何种几何信息？
• RQ5 在缩放极限中，环路的标记是否可解释为到边界的距离？如果是，它们与 GFF 的内在几何结构有何关系？

主要发现

• 当且仅当 $a + b \geq 4\lambda$ 时，$\mathbb{A}_{-a,b}$ 中的环路两两不相交；当 $a + b < 4\lambda$ 时，其交集图为连通图。
• 当且仅当 $a \neq b$ 且 $2\lambda \leq a + b < 4\lambda$ 时，环路的标记是集合 $\mathbb{A}_{-a,b}$ 的函数。
• 当且仅当 $a = b = 2\lambda$ 时，给定集合后标记相互独立，这对应于 CLE$_4$ 地毯的对称情形。
• 二维 GFF 中水平集渗滤的阈值为 $-2\lambda$，即几乎必然地，集合 $\{x \in D : \Gamma(x) \geq -2\lambda\}$ 是连通的。
• 带标记的 CLE$_4$ 过程 $\mathbb{B}_0$ 被刻画为与 GFF 的局部集耦合，其标记对应于逼近集 $\mathbb{B}_r$ 中到边界的缩放极限距离。
• 在缩放极限中，$\mathbb{B}_0$ 中环路的标记编码了到边界的局部时间距离，且缩放距离 $\bar{d}_r = r d_p$ 构成一个紧族，暗示在 CLE$_4$ 环路上存在一个共形不变度量。