[論文レビュー] Dimer model and holomorphic functions on t-embeddings of planar graphs

Dmitry Chelkak, Benoît Laslier+1 more|arXiv (Cornell University)|Jan 31, 2020

Markov Chains and Monte Carlo Methods被引用数 7

ひとこと要約

本稿は、重み付き二部平面グラフのt埋め込みにおける離散的正則関数の統一的枠組みを導入し、その関数がケノンのTグラフ上の調和関数の微分とイジング模型におけるスミルノフのs正則性を一般化することを示している。主な貢献は、一般のt埋め込み条件のもとで、ドミノ模型の高さフラクチュエーションがガウス自由場に収束することを示すメタ定理の確立であり、t正則関数の事前正則性理論も開発された。

ABSTRACT

We introduce the framework of discrete holomorphic functions on t-embeddings of weighted bipartite planar graphs; t-embeddings also appeared under the name Coulomb gauges in a recent paper arXiv:1810.05616. We argue that this framework is particularly relevant for the analysis of scaling limits of the height fluctuations in the corresponding dimer models. In particular, it unifies both Kenyon's interpretation of dimer observables as derivatives of harmonic functions on T-graphs and the notion of s-holomorphic functions originated in Smirnov's work on the critical Ising model. We develop an a priori regularity theory for such functions and provide a meta-theorem on convergence of the height fluctuations to the Gaussian Free Field. We also discuss how several more standard discretizations of complex analysis fit this general framework.

研究の動機と目的

• ドミノ模型とイジング模型における離散的正則関数理論をt埋め込みを通じて統一すること。
• 平面グラフ上のドミノ模型の高さフラクチュエーションのスケーリング極限を分析する一般枠組みを確立すること。
• t埋め込み上におけるt正則関数の事前正則性理論を構築することおよび関連するTグラフ上の調和関数を対象とすること。
• 一般的な幾何的仮定のもとで、ドミノ模型の結合関数がガウス自由場に収束することを証明すること。

提案手法

• Kasteleyn行列に関連する幾何的制約を満たす辺ベクトルを持つ重み付き平面グラフとしてt埋め込みを定義すること。
• 局所的回転因子を含む離散的コーシー・リーマン型条件を満たす、双対グラフの頂点上での複素数値関数としてt正則関数を導入すること。
• t正則関数の閉形式および積分恒等式を導出し、それらをTグラフ上の調和関数と関連付けること。
• Lipschitzおよび指数的尾部仮定のもとで、Tグラフ上の確率ウォークの分散および交差推定を確立すること。
• 幾何的制御仮定（Lip(κ,δ)およびExp-Fat(δ)）のもとで、調和関数およびt正則関数の部分列収束を証明すること。
• 標準的な離散化（直交対角埋め込み、s埋め込み、等半径グリッド、および正則格子）がt正則関数の枠組みに適合することを示すこと。

実験結果

リサーチクエスチョン

• RQ1 t埋め込み上の離散的正則関数は、s正則性やTグラフ調和関数といった既存の枠組みをどのように統一できるか？
• RQ2 ドミノ模型の高さフラクチュエーションがガウス自由場に収束するための幾何的および解析的条件は何か？
• RQ3 t正則関数およびそれらに関連するTグラフ上の調和関数がどのような正則性を持つのか？
• RQ4 複素解析の標準的離散化（例：正方形タイル、等半径グリッド）は、t埋め込み枠組みにどのように適合するか？
• RQ5 折りたたみ写像（origami map）は、t埋め込みと離散的正則構造をどのように関連付けるか？

主な発見

• t埋め込み上でのドミノ模型の結合関数が、t正則関数の線形結合として表せることを示した。
• Lip(κ,δ)およびExp-Fat(δ)仮定のもとで、t正則関数の事前正則性理論が確立され、有界性および収束性が保証された。
• Exp-Fat(δ)条件のもとで、Tグラフ上の調和関数の部分列極限が存在し、連続であることが示された。
• 一般的なt埋め込み仮定のもとで、ドミノ模型の高さフラクチュエーションがスケーリング極限においてガウス自由場に収束することを証明した。
• 正三角形グリッド上で[22]条件により定義された離散的正則関数が、適切なt埋め込みのもとでt正則関数と等価であることが示された。
• 本枠組みは、s正則性、直交対角埋め込み、等半径グリッドをt正則関数の特別な場合として統一した。