[論文レビュー] Toroidal Dimer Model and Temperley's Bijection

Wangru Sun|arXiv (Cornell University)|Mar 2, 2016

Stochastic processes and statistical mechanics参考文献 14被引用数 5

ひとこと要約

この論文は、Temperleyの双対性を用いて、双周期的グラフ上のトーラス型ドミアモデルの熱力学的極限における相転移を確立する。ドミア測度の傾きがゼロのとき、対応するCRSF測度はほとんど確実に単一の全域木へ収束する。それ以外の場合は、無限個の成分を持つ非連結な全域森へ収束する。結果は高さ関数の傾きによって特徴付けられ、特定のグラフ条件(⋆)のもとで成り立つ。この条件は、ずれた正方形格子に対しても満たされている。

ABSTRACT

Temperley's bijection relates the toroidal dimer model to cycle rooted spanning forests ($CRSF$) on the torus. The height function of the dimer model and the homology class of $CRSF$ are naturally related. When the size of the torus tends to infinity, we show that the measure on $CRSF$ arising from the dimer model converges to a measure on (disconnected) spanning forests or spanning trees. There is a phase transition, which is determined by the average height change.

研究の動機と目的

• ドミアモデルから生じるサイクル・ルート付き全域森（CRSF）の極限測度の位相的構造を特徴づけること。
• ドミアモデルの高さ関数の傾きに基づいて、無限体積極限における相転移を特定すること。
• 極限CRSF測度が単一の全域木にのみ支持される、または非連結な森に支持されるような条件を確立すること。
• 全域森と高さ関数の観点から、ドミアモデルの相図の理解を拡張すること。
• 傾きがゼロのとき、極限測度が境界上の根の選び方に依存せず、ワイヤード全域木へ収束することを確認すること。

提案手法

• ドッブルグラフ上のドミア配置を、トーラス商グラフ $\mathcal{G}_N$ 上のサイクル・ルート付き全域森（CRSF）へ写像するTemperleyの双対性を用いる。
• CRSFのホモロジー類とドミアモデルの高さ関数との関係を、幾何学的・位相的議論によって分析する。
• 確率的ランダムウォークおよびループを消去したランダムウォーク（LERW）のスケーリング極限を用いて、極限森の連結性を研究する。
• 移行電流定理およびグリーン関数の推定を用いて、有限グラフ上の測度が無限体積極限へ収束する様子を分析する。
• 収束性およびグリーン関数の減衰性を保証するため、グラフに条件(⋆)を課す。これにより、相転移の結果が得られる。
• 極限測度の代理としてワイヤード全域木測度を用い、根の位置によらず収束することを証明する。

実験結果

リサーチクエスチョン

• RQ1 ドミアモデルから生じるCRSFの極限測度が、いつ単一の全域木へ収束するか。
• RQ2 極限ドミア測度の傾きが、極限CRSFにおける連結成分の数にどのように影響するか。
• RQ3 高さ関数の平均変化量（傾き）が、極限森の位相的構造を決定づける役割を果たすか。
• RQ4 傾きがゼロのとき、ドミア測度がトーラス上でのギブス測度へ収束することは、一意的な全域木を意味するか。
• RQ5 ワイヤード全域木構成における根頂点の選択に依存せず、極限測度が不変であるか。

主な発見

• 極限ドミア測度の傾きがゼロであり、かつグラフが条件(⋆)を満たすとき、極限CRSF測度はほとんど確実に単一の全域木に支持される。
• 傾きが非ゼロのとき、極限CRSF測度はほとんど確実に無限個の連結成分を持つ非連結な全域森に支持される。
• 相転移は完全に特徴づけられている：傾きがゼロ → 1つの木；非ゼロ → 無限個の木。
• この結果は、すべての $\mathbb{Z}^2$-周期的グラフで傾きがゼロのとき成り立ち、ワイヤード全域木測度における根の位置に依存しない。
• ずれた正方形格子グラフ（条件 ⋆ を満たす）では、相図に傾きがゼロに対応する領域（薄い青色）が存在し、ここでは単一の全域木が得られる。それ以外の領域では、無限個の成分が生じる。
• 傾きがゼロのとき、ドミアモデルの漸近的エントロピーと全域木測度のエントロピーは一致する。これは、両者の極限測度が一致するためである。