[論文レビュー] On the convergence of FK-Ising Percolation to SLE$(16/3, 16/3-6)$

Christophe Garban, Hao Wu|arXiv (Cornell University)|Feb 12, 2018

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

ひとこと要約

本稿は、正則な観測量に依存せず、位相的枠組みと離散停止時刻解析を用いて、臨界FK-Ising確率的浸透の弦的探索過程がchordal SLE(16/3, 16/3−6)に収束することの簡素化され完全な証明を提供する。主な貢献は、スケーリング極限における空間的マルコフ性の厳密な正当化と停止時刻の収束の確立であり、径路的SLEスケーリングによって1/8の1本腕指数が得られる。

ABSTRACT

We give a simplified and complete proof of the convergence of the chordal exploration process in critical FK-Ising percolation to chordal SLE$_κ( κ-6)$ with $κ=16/3$. Our proof follows the classical excursion-construction of SLE$_κ(κ-6)$ processes in the continuum and we are thus led to introduce suitable cut-off stopping times in order to analyse the behaviour of the driving function of the discrete system when Dobrushin boundary condition collapses to a single point. Our proof is very different from [KS15, KS16] as it only relies on the convergence to the chordal SLE$_κ$ process in Dobrushin boundary condition and does not require the introduction of a new observable. Still, it relies crucially on several ingredients: a) the powerful topological framework developed in [KS17] as well as its follow-up paper [CDCH$^+$14], b) the strong RSW Theorem from [CDCH16], c) the proof is inspired from the appendix A in [BH16]. One important emphasis of this paper is to carefully write down some properties which are often considered {\em folklore} in the literature but which are only justified so far by hand-waving arguments. The main examples of these are: 1) the convergence of natural discrete stopping times to their continuous analogues. (The usual hand-waving argument destroys the spatial Markov property). 2) the fact that the discrete spatial Markov property is preserved in the the scaling limit. (The enemy being that $\mathbb{E}[X_n |\, Y_n]$ does not necessarily converge to $\mathbb{E}[X|\, Y]$ when $(X_n,Y_n) o (X,Y)$). We end the paper with a detailed sketch of the convergence to radial SLE$_κ( κ-6)$ when $κ=16/3$ as well as the derivation of Onsager's one-arm exponent $1/8$.

研究の動機と目的

• 完全にワイヤード境界条件を有するFK-Ising探索過程がスケーリング極限においてchordal SLE(16/3, 16/3−6)に収束することを確立すること。
• 正則な観測量に依存しない証明を提供すること。代わりに、Dobrushin境界条件の下でのSLEへの収束と位相的ツールに依存すること。
• 広く仮定されているが、直感的で曖昧な正当化しか与えられていない2つの性質を厳密に正当化すること：離散停止時刻の収束とスケーリング極限における空間的マルコフ性の保存。
• 径路的SLE(16/3, 16/3−6)スケーリング極限を用いて、臨界イジング模型のオンサージェーの1本腕指数1/8を導出すること。

提案手法

• 連続的枠組みにおけるSLE(κ, κ−6)過程の古典的エクストリーム構成を、[KS17]の位相的枠組みを用いて離散的設定に適応する。
• Dobrushin境界条件が点に収縮する際の離散系のドライブ関数を解析するため、切り上げ停止時刻を導入する。
• [CDCH16]の強いRSW定理に依存して、横断確率を制御し、スケーリング極限における一様性を保証する。
• [KS17]の位相的ツールを用いて、局所一様位相における探索路の収束を処理する。
• [BH16]の付録Aの技術を適応し、径路的ケースを扱い、1本腕指数を導出する。
• 条件付き期待値の一般の収束が成立しないにもかかわらず、離散的空間的マルコフ性がスケーリング極限に保存されることを、慎重に条件付き期待値を分析することで確立する。

実験結果

リサーチクエスチョン

• RQ1 完全にワイヤード境界条件を有する臨界FK-Ising確率的浸透の探索路は、chordal SLE(16/3, 16/3−6)に収束するか？
• RQ2 正則な観測量を導入せず、Dobrushin境界条件の下での既知の収束にのみ依存して収束を証明できるか？
• RQ3 一般の条件付き期待値の収束が成立しないにもかかわらず、離散停止時刻と空間的マルコフ性はスケーリング極限に保存されるか？
• RQ4 径路的SLE(16/3, 16/3−6)極限は、臨界FK-Ising模型における1本腕指数1/8を示唆するか？
• RQ5 提案された手法は、既知のSLE収束とRSW推定を持つ他の格子模型に一般化可能か？

主な発見

• 完全にワイヤード境界条件を有する臨界FK-Ising確率的浸透における弦的探索過程は、格子間隔δ → 0のとき、弱収束してchordal SLE(16/3, 16/3−6)に収束する。
• 証明は、離散停止時刻がその連続的類似物に収束することを確立し、ヒューリスティックな議論における長年のギャップを解消する。
• 一般の条件付き期待値の収束が成立しないにもかかわらず、スケーリング極限において離散的空間的マルコフ性が保存される。
• 臨界イジング模型の1本腕指数が、径路的SLE(16/3, 16/3−6)極限と[SSW09]の指数公式を用いて厳密に1/8として導出される。
• 径路的探索路のSLE(16/3, 16/3−6)への収束は、大きな中空領域において横断確率がn^{−1/8 + o(1)}のオーダーで減少することを示し、オンサージェーの指数と一致する。
• 本手法は、RSW条件を満たす限り、ループ・エリースド・ランダムウォーク、UST、離散GFFレベル線など、既知のSLE収束とRSW推定を持つ他のモデルへ一般化可能である。