[論文レビュー] Convergence of Ising interfaces to Schramm's SLE curves

Dmitry Chelkak, Hugo Duminil‐Copin+3 more|arXiv (Cornell University)|Dec 2, 2013

Theoretical and Computational Physics参考文献 16被引用数 13

ひとこと要約

本稿は、臨界平面的イジング模型およびそのランダムクラスター表現における界面の強収束を、それぞれ $\kappa=3$ および $\kappa=16/3$ のシュラムのSLE曲線へと確立する。離散的正則観測量、断面推定、ロエナー進化および駆動過程の収束を組み合わせることで、スピンおよびFK界面のスケーリング極限がそれぞれ確実にSLE(3)およびSLE(16/3)であることを、マルティンゲール観測量およびレヴィの定理を用いて証明する。

ABSTRACT

We show how to combine our earlier results to deduce strong convergence of the interfaces in the planar critical Ising model and its random-cluster representation to Schramm's SLE curves with parameter $κ=3$ and $κ=16/3$ respectively.

研究の動機と目的

• スケーリング極限におけるイジング模型の界面がシュラムのSLE曲線に強収束することを確立すること。
• 駆動過程の弱収束を、連続的経路の位相における曲線の一致収束に拡張すること。
• マルティンゲール観測量の収束を用いて、スピンおよびFKイジング界面のスケーリング極限を同定すること。
• 離散的正則観測量、断面推定、およびロエナー進化の結果を、自己完結的な枠組みで統合すること。
• スケーリング極限における駆動過程が、スピンイジング模型ではパrameter $\kappa=3$、FKイジング模型では $\kappa=16/3$ のブラウン運動に一致することを証明すること。

提案手法

• $\delta\mathbb{Z}^2$ 上の臨界イジング模型における離散的フェルミオン観測量の使用、ドゥブリーシュイン境界条件を伴い。
• 容量による再パラメータライゼーションを伴う、観測量から導かれる駆動項を有するロエナー進化の応用。
• $G_t^\delta$ および $W_t^\delta$ の収束を用いて、離散的観測量が連続的マルティンゲールに一様収束することの確立。
• $M_t^\delta(z)$ の等連続性および一様有界性を用いて、領域の内部における収束を保証すること。
• レヴィの定理を応用して、極限駆動過程が $\kappa=3$ および $\kappa=16/3$ のブラウン運動に一致することを同定すること。
• 無限遠点における $G_t(w)$ の漸近的展開を用いて、$W_t$ および $W_t^2 - 3t$ がマルティンゲールであることを示し、$W_t = \sqrt{3}B_t$ を示唆すること。

実験結果

リサーチクエスチョン

• RQ1 臨界平面的イジング模型における界面は、曲線の均一位相においてシュラムのSLE(3)に収束するか？
• RQ2 ロエナー進化の駆動過程の収束を、弱収束から確実な均一収束に強化できるか？
• RQ3 イジング模型における離散的正則観測量は、スケーリング極限におけるマルティンゲール性とどのように関係するか？
• RQ4 FKイジング模型界面のスケーリング極限における $\kappa$ の正確な値は何か、そしてどのように特定されるか？
• RQ5 外部仮定に依存せずに、観測量および断面推定の収束のみを用いて界面の収束を確立できるか？

主な発見

• 臨界スピンイジング模型における界面は、連続的曲線の均一位相において確実にSLE(3)に収束する。
• 臨界FKイジング模型における界面は、連続的曲線の均一位相において確実にSLE(16/3)に収束する。
• イジング模型のロエナー進化の駆動過程は、$\kappa=3$ のブラウン運動に収束し、レヴィの定理により同定される。
• FKイジング模型の駆動過程は、マルティンゲール構造および漸近的展開により、$\kappa=16/3$ のブラウン運動に収束することが確認される。
• 離散的フェルミオン観測量は、連続的マルティンゲール $M_t(z)$ に一様収束し、これがスケーリング極限を特徴付ける。
• 等連続性および $g_t^\delta$ と $G_t^\delta$ の一様収束を用いて、ロエナー進化の収束が $g_t$ および $G_t^\delta$ の連続的対応物への収束により確立される。