[論文レビュー] Conformal Loop Ensembles: The Markovian characterization and the loop-soup construction

Scott Sheffield⋆, Wendelin Werner|arXiv (Cornell University)|Jun 11, 2010

Stochastic processes and statistical mechanics参考文献 27被引用数 9

ひとこと要約

本稿は、$\kappa \in (8/3, 4]$ における一パラメータ族の確率的ループ集合、すなわち共形ループ集合（CLE）を定義し、共形制限性質を満たすことを確立する。SLEに基づくマルコフ的探索過程を用いて一意性を証明し、強度 $c \in (0,1]$ のブラウン運動ループ・サウプを用いた構成により CLE を構成する。$c < 1$ の場合、ループ・サウプにおけるループクラスタの外縁は CLE を与え、$c=1$ は臨界的相転移を示す。

ABSTRACT

For random collections of self-avoiding loops in two-dimensional domains, we define a simple and natural conformal restriction property that is conjecturally satisfied by the scaling limits of interfaces in models from statistical physics. This property is basically the combination of conformal invariance and the locality of the interaction in the model. Unlike the Markov property that Schramm used to characterize SLE curves (which involves conditioning on partially generated interfaces up to arbitrary stopping times), this property only involves conditioning on entire loops and thus appears at first glance to be weaker. Our first main result is that there exists exactly a one-dimensional family of random loop collections with this property---one for each k in (8/3,4]---and that the loops are forms of SLE(k). The proof proceeds in two steps. First, uniqueness is established by showing that every such loop ensemble can be generated by an "exploration" process based on SLE. Second, existence is obtained using the two-dimensional Brownian loop-soup, which is a Poissonian random collection of loops in a planar domain. When the intensity parameter c of the loop-soup is less than 1, we show that the outer boundaries of the loop clusters are disjoint simple loops (when c&gt;1 there is almost surely only one cluster) that satisfy the conformal restriction axioms. We prove various results about loop-soups, cluster sizes, and the c=1 phase transition. Taken together, our results imply that the following families are equivalent: 1. The random loop ensembles traced by certain branching SLE(k) curves for k in (8/3, 4]. 2. The outer-cluster-boundary ensembles of Brownian loop-soups for c in (0, 1]. 3. The (only) random loop ensembles satisfying the conformal restriction axioms.

研究の動機と目的

• 2次元領域における自己回避ループの確率的集合に自然な共形制限性質を定義し特徴づけること。
• この性質を満たす唯一の確率的ループ集合族が $\kappa \in (8/3, 4]$ に対応する SLE$_\kappa$ であることを証明すること。
• 強度 $c \in (0,1]$ のブラウン運動ループ・サウプを用いた構成により、このようなループ集合族の存在を確立すること。
• ループ・サウプが複数の不連続クラスタから単一の連結クラスタへと遷移する臨界強度 $c_0 = 1$ を特定すること。

提案手法

• シュラムのマルコフ性の弱い代替として、停止時刻ではなく完全なループに条件づける共形制限性質を導入する。
• SLE$_{\kappa, \kappa-6}$ のエクストルージョンとピン留めループ測度を用いた逐次的ループ生成によるマルコフ的探索過程を用いて CLE の一意性を証明する。
• 強度 $c$ の平面領域内におけるブラウン運動ループのポisson的確率的集合としてループ・サウプを構成する。
• $c < 1$ の場合、ループ・サウプにおけるループクラスタの外縁は CLE を形成し、互いに交差しない単純なループが共形制限公理を満たすことを示す。
• 強度 $c_0$ と $c'$ の交互なループ・サウプを用いた hull の再帰的探索過程により $c_0 \geq 1$ を証明し、既知の評価と組み合わせて $c_0 = 1$ を結論づける。
• 三つの構成の同等性を確立する：$\kappa \in (8/3,4]$ における SLE$_\kappa$ からの CLE、強度 $c \in (0,1]$ におけるループ・サウプクラスタの外縁、共形制限公理を満たす一意なループ集合族。

実験結果

リサーチクエスチョン

• RQ1 2次元における確率的ループ集合を特徴づけるために必要な最小限の共形不変性および局所性条件は何か？
• RQ2 共形制限性質は、1パラメータ族のループ集合を一意に特徴づけられるか？
• RQ3 ブラウン運動ループ・サウプの構成はどのように CLE を与え、強度パラメータ $c$ の役割は何か？
• RQ4 ループ・サウプが複数のクラスタから単一のクラスタへと遷移する臨界強度 $c_0$ は何か？
• RQ5 $c < 1$ の場合、ループ・サウプにおけるループクラスタの外縁は、SLE によって定義される CLE と同等か？

主な発見

• 共形制限性質を満たす一意の1パラメータ族の確率的ループ集合が存在し、$\kappa \in (8/3, 4]$ でインデックス付けされ、これらは SLE$_\kappa$ の形をとる。
• 強度 $c \in (0,1)$ のブラウン運動ループ・サウプにおけるループクラスタの外縁は CLE を形成し、それらの外縁は互いに交差しない単純なループであり、共形制限公理を満たす。
• ループ・サウプの臨界強度は $c_0 = 1$ であり、ここでは複数のクラスタから単一のクラスタへの相転移がほとんど確実に発生する。
• $c < 1$ の場合、ループ・サウプにおけるループクラスタの外縁はほとんど確実に互いに交差せず、CLE を形成する。このループ集合族の分布は、$\kappa = 4(1 - c)$ に対する CLE$_\kappa$ の分布と同等である。
• 強度 $c \in (0,1]$ のループ・サウプ構成は、$\kappa \in (8/3,4]$ における SLE$_\kappa$ によって生成される CLE と同じ分布を与える。これにより、三つの構成の間の同等性が確立される。
• $c_0 = 1$ の証明は、強度 $c_0$ と $c'$ の交互なループ・サウプを用いた再帰的 hull 展開プロセスに依拠し、Borel-Cantelli の補題と半平面容量の推定により $c_0 \geq 1$ かつ $c_0 \leq 1$ を示している。