[論文レビュー] 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

ひとこと要約

本稿は、2次元連続ガウス自由場（GFF）の2値局所集合（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.

研究の動機と目的

• 2次元連続ガウス自由場（GFF）の2値局所集合（TVS）の幾何的・位相的構造を理解すること、特にそのループ成分の接続性とラベル付けに関するもの。
• TVS内のループのラベル（高さ）が、集合そのものからいつ回復可能か、および集合が与えられた下でいつ独立であるかを特定すること。
• ラベル付きCLE$_4$プロセスとGFFのカップリングを局所集合カップリングとして特徴付け、ラベルが境界への距離といった内在的な幾何的情報をどのように符号化するかを調査すること。
• 2次元GFFにおけるレベル集合透過化の閾値を確立し、それが $-2\lambda$ であることを示すこと。
• スケーリング極限において、TVS内のループのラベルが境界へのスケーリングされた距離に対応することを示し、CLE$_4$のループに一貫した conformally invariant メトリックを提案すること。

提案手法

• 局所集合の枠組みを用いて、$-a$ または $b$ のラベルをもつSLE$_4$型のループを可算個集めたものの閉包として、2値局所集合 $\mathbb{A}_{-a,b}$ を定義・構成し、条件付き独立性および調和拡張の性質を保証する。
• 薄い局所集合およびマルコフ性の概念を用い、$\mathbb{A}_{-a,b}$ が与えられた下でのGFFの条件付き分布を分析し、補集合上のGFFと調和関数に分解する。
• 時間でインデックスされた探索過程 $\mathbb{B}_r^s$ を用いたポisson点プロセスの構成により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$に同定できることを確立する。
• ポisson点プロセスの再生性およびマルコフ性を用いて、ラベル付きループプロセスが特徴的測度 $M$ を持つポアソン過程であることを証明し、これにより集合からラベル構造を回復する。
• スケーリングされた距離 $\bar{d}_r = r d_p$ を用いたループ上の誘導メトリックを分析し、稠密な集合を囲むループ間の距離に関して緊張性を示し、極限において一貫した conformally invariant メトリックが存在することを示唆する。

実験結果

リサーチクエスチョン

• RQ1 パrameter $a$ と $b$ に関して、2値局所集合 $\mathbb{A}_{-a,b}$ のループが互いに交差しない条件は何か？
• RQ2 ループのラベルが集合 $\mathbb{A}_{-a,b}$ そのものからいつ回復可能か、また集合が与えられた下でいつ独立か？
• RQ3 2次元連続GFFにおけるレベル集合透過化の閾値は何か？パrameter $a$ と $b$ とどのように関係するか？
• RQ4 ラベル付きCLE$_4$とGFFのカップリングがどのように局所集合カップリングとして生じるか、そしてラベルがどのような幾何的情報を符号化するか？
• RQ5 スケーリング極限において、ループのラベルは境界への距離として解釈可能か？その場合、GFFの内在的幾何構造とどのように関係するか？

主な発見

• ループ $\mathbb{A}_{-a,b}$ は、$a + b \geq 4\lambda$ のときかつそのときに限り、互いに交差しない。$a + b < 4\lambda$ のとき、それらの交差グラフは連結である。
• ループのラベルは、集合 $\mathbb{A}_{-a,b}$ の関数であるための必要十分条件は、$a \neq b$ かつ $2\lambda \leq a + b < 4\lambda$ である。
• 集合が与えられた下でラベルが独立であるための必要十分条件は、$a = b = 2\lambda$ であり、これはCLE$_4$カーペットの対称的ケースに一致する。
• 2次元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$のループに一貫した conformally invariant メトリックが存在することを示唆する。