[論文レビュー] The scaling limit of critical Ising interfaces is CLE(3)

Stéphane Benoist, Clément Hongler|arXiv (Cornell University)|Apr 24, 2016

Stochastic processes and statistical mechanics参考文献 3被引用数 37

ひとこと要約

本論文は、単連結な領域における+境界条件を伴う臨界平面的イジング模型のスピン界面の全集合のスケーリング極限が、CLE₃と呼ばれる conformally invariant なランダムなループ集合であることを確立する。証明は、イジング模型とそのランダムクラスター（FK）表現とのカップリングに依拠し、境界に接するFKループ（境界探索に適している）を用いて、スケーリング極限における conformally invariant な探索プロセスにより、すべてのマクロなイジングループを再帰的に特定する。最終的に、自由弧の収束とマコリアン特性により、極限が CLE₃ に一致することが特定される。

ABSTRACT

In this paper, we consider the set of interfaces between + and - spins arising for the critical planar Ising model on a domain with + boundary conditions, and show that it converges towards CLE(3). Our proof relies on the study of the coupling between the Ising model and its random cluster (FK) representation, and of the interactions between FK and Ising interfaces. The main idea is to construct an exploration process starting from the boundary of the domain, to discover the Ising loops and to establish its convergence to a conformally invariant limit. The challenge is that Ising loops do not touch the boundary; we use the fact that FK loops touch the boundary (and hence can be explored from the boundary) and that Ising loops in turn touch FK loops, to construct a recursive exploration process that visits all the macroscopic loops. A key ingredient in the proof is the convergence of Ising free arcs to the Free Arc Ensemble (FAE), established in [BDH16]. Qualitative estimates about the Ising interfaces then allow one to identify the scaling limit of Ising loops as a conformally invariant collection of simple, disjoint SLE(3)-like loops and thus by the Markovian characterization of [ShWe12] as a CLE(3). A technical point of independent interest contained in this paper is an investigation of double points of interfaces in the scaling limit of critical FK-Ising. It relies on the technology of [KeSm12].

研究の動機と目的

• +境界条件を伴う臨界平面的イジング模型におけるスピン界面の全集合のスケーリング極限を厳密に同定すること。
• イジング界面が境界に接しないという課題を解決すること。これは、標準的な境界に基づく探索が適用できないことを意味する。
• 極限でのイジングループ集合が共形不変であり、シュラムとヴェルナーのマコリアン特性により CLE₃ に一致することを確立すること。
• 境界に接するFKループに基づく再帰的探索プロセスを構築し、すべてのマクロなイジングループを体系的に特定すること。
• イジング自由弧のスケーリング極限が、CLE₃ としての全ループ集合を同定するための主要な技術的要素である自由弧集合（FAE）に収束することを証明すること。

提案手法

• 境界から出発する再帰的探索プロセスを構築し、境界に接するFKループを用いてイジングループの探索を開始する。
• イジングループがFKループに接することを活用し、順次の探索ステップによりすべてのマクロなイジングループを階層的に特定する。
• 自由弧集合（FAE）へのイジング自由弧の収束（[BDH16] で確立）を、極限同定の基礎的入力として用いる。
• [ShWe12] における CLE のマコリアン特性を適用し、極限ループ集合が共形不変で、SLE₃ に類似したループから構成されるならば、それが CLE₃ に一致することを示す。
• 六本の腕イベントの推定値 [CDH16] を用いて、スケーリング極限における二重点および接触点を制御し、非単純または交差するループ行動を除外する。
• FK界面が SLE₁₆/₃ に収束することと、切り出し領域の構造を用いて、すべてのマクロなループが高確率で最終的に特定されることを保証する。

実験結果

リサーチクエスチョン

• RQ1 境界に接しない場合、+境界条件を伴う臨界平面的イジング模型におけるスピン界面の全集合のスケーリング極限は何か？
• RQ2 境界からアクセスできない場合、すべてのマクロなイジングループを特定する共形不変な探索プロセスをどのように構築できるか？
• RQ3 イジング界面の極限ループ集合はマコリアン性と共形不変性を満たすか？ もしそうならば、その正確な分布は何か？
• RQ4 イジング自由弧が自由弧集合（FAE）に収束することは、全ループ集合が CLE₃ に同定されることに利用可能か？
• RQ5 FKループは探索プロセスにおいて果たす役割は何か？ その性質（例：境界に接すること）は、スケーリング極限におけるイジングループの特定をどのように可能にするか？

主な発見

• +境界条件を伴う臨界平面的イジング模型におけるイジング界面の全集合は、スケーリング極限で CLE₃ に収束する。
• 本証明は、境界に接しない領域（κ ≤ 4）における最初の収束結果を確立するものであり、特に κ = 3 の場合に該当する。
• 境界に接するFKループに基づく再帰的探索プロセスは、δ → 0 のとき、高確率ですべてのマクロなイジングループを特定する。
• イジング自由弧のスケーリング極限は、CLE₃ としての極限を同定するための主要な技術的要素である自由弧集合（FAE）に収束する。
• 六本の腕イベントの推定値により、スケーリング極限におけるFKループの二重点および接触点は除外され、切り出し領域の境界が単純かつ互いに交差しない曲線であることが保証される。
• 極限ループ集合は共形不変であり、互いに交差しない単純な SLE₃ に類似したループから構成され、[ShWe12] のマコリアン特性により、これは CLE₃ に一意に特定される。