[論文レビュー] Ising model and s-embeddings of planar graphs

Dmitry Chelkak|arXiv (Cornell University)|Jun 25, 2020

Stochastic processes and statistical mechanics被引用数 6

ひとこと要約

本稿では、フェルミオン的観測量を用いた平面的イジング模型の解析のための幾何的枠組みとしてs-埋め込みを導入し、これらの観測量が埋め込み上でのs-正則関数に一致することを示している。有界な幾何構造および小さなQ写像条件の下で、著者らはFK-イジング模型に対してRSW型の交叉推定を証明し、定量的な速度見積もりを伴うフェルミオン的観測量の収束を確立した。さらに、ミンコフスキー空間における離散的表面の平均曲率が、連続極限におけるディラック方程式の質量に対応することを示した。

ABSTRACT

We discuss the notion of s-embeddings $\mathcal{S}=\mathcal{S}_\mathcal{X}$ of planar graphs carrying a nearest-neighbor Ising model. The construction of $\mathcal{S}_\mathcal{X}$ is based upon a choice of a global complex-valued solution $\mathcal{X}$ of the propagation equation for Kadanoff-Ceva fermions. Each choice of $\mathcal{X}$ provides an interpretation of all other fermionic observables as s-holomorphic functions on $\mathcal{S}_\mathcal{X}$. We set up a general framework for the analysis of such functions on s-embeddings $\mathcal{S}^δ$ with $δ o 0$. Throughout this analysis, a key role is played by the functions $\mathcal{Q}^δ$ associated with $\mathcal{S}^δ$, the so-called origami maps in the bipartite dimer model terminology. In particular, we give an interpretation of the mean curvature of the limit of discrete surfaces $(\mathcal{S}^δ;\mathcal{Q}^δ)$ viewed in the Minkowski space $\mathbb R^{2,1}$ as the mass in the Dirac equation describing the continuous limit of the model. We then focus on the simplest situation when $\mathcal{S}^δ$ have uniformly bounded lengths/angles and $\mathcal{Q}^δ=O(δ)$; as a particular case this includes all critical Ising models on doubly periodic graphs via their canonical s-embeddings. In this setup we prove RSW-type crossing estimates for the random cluster representation of the model and the convergence of basic fermionic observables. The proof relies upon a new strategy as compared to the already existing literature, it also provides a quantitative estimate on the speed of convergence.

研究の動機と目的

• s-埋め込みを用いた平面的イジング模型におけるフェルミオン的観測量の解析のための一般的枠組みを構築すること。
• R^{2,1}における離散的表面としてのイジング模型の連続極限を解釈し、平均曲率を連続的ディラック方程式における質量に一致させること。
• グラフの幾何的仮定を弱める条件下で、FK-イジング模型に対してRSW型の交叉推定を確立すること。
• スケーリング極限におけるフェルミオン的観測量の収束を、明示的な定量的スピード見積もりとともに証明すること。
• 従来の文献とは異なる、s-埋め込み上の離散的複素解析に基づく収束証明の新戦略を提供すること。

提案手法

• カダノフ＝チェバのフェルミオン伝播方程式のグローバルな複素解Xからs-埋め込みS_Xを構成する。
• s-埋め込み上でのs-正則関数を定義し、H_F変換を介してフェルミオン的観測量と関連付ける。
• 各s-埋め込みS^δに付随するQ^δ写像（折りたたみ写像）を導入し、R^{2,1}における離散的表面の幾何を支配する。
• Q^δ写像を用いて、極限表面の平均曲率を連続的ディラック方程式における質量項として解釈する。
• Flat(δ)仮定の下でs-正則関数の事前正則性理論を確立し、ラプラシアンをQ^δΔ_Sで近似可能にする。
• S-グラフ上での後退ランダムウォークを適用し、離散的長方形内での到達確率の見積もりを導出し、交叉推定を証明する。

実験結果

リサーチクエスチョン

• RQ1 フェルミオン的観測量は、グラフの幾何的埋め込み上でどのようにs-正則関数として体系的に解釈できるか？
• RQ2 Minkowski空間R^{2,1}における離散的表面の文脈において、Q^δ写像の幾何的・物理的意味は何か？
• RQ3 フェルミオン的観測量がスケーリング極限で収束する条件は何か？ その収束速度は？
• RQ4 s-埋め込み上の離散的複素解析を用いて、FK-イジング模型に対してRSW型の交叉推定を確立できるか？
• RQ5 極限表面の平均曲率は、連続モデルにおけるディラック方程式の質量項とどのように関係するか？

主な発見

• 著者らは、s-埋め込みの辺長と角度が一様に有界であり、かつQ^δ = O(δ)であるという仮定の下で、FK-イジング模型に対してRSW型の交叉推定を証明した。
• フェルミオン的観測量は、従来の手法とは異なる新規な戦略を用いて、定量的なスピード見積もりを伴ってスケーリング極限に収束することを証明した。
• ミンコフスキー空間R^{2,1}における極限表面(S^δ; Q^δ)の平均曲率は、モデルを支配する連続的ディラック方程式における質量項に一致する。
• Q^δ写像は、ディラック方程式の質量を離散的から連続的極限に移行する際の主要な幾何的道具であり、質量を曲率項として解釈可能にする。
• Flat(δ)仮定の下で、s-埋め込み上のラプラシアンはQ^δΔ_Sで近似可能であり、強固な離散的複素解析フレームワークを可能にする。
• 本稿では、収束および交叉推定の証明に不可欠な、s-正則関数の新規な事前正則性理論を確立した。