[論文レビュー] The 1-2 model

Geoffrey Grimmett, Zhongyang Li|arXiv (Cornell University)|Jul 15, 2015

Stochastic processes and statistical mechanics参考文献 24被引用数 10

ひとこと要約

この論文は、各頂点の次数が1または2である六角格子上の1-2模型について、ドミノ被覆とパフィアン法を用いて相転移を分析する厳密な結果をレビューする。2辺相関関数の臨界面は、√a = √b + √c で定義され、無限大均一クラスタが特定のパラメータ条件下でのみ存在することを示している。一方、無限体積極限ではすべてのクラスタがほとんど確実に有限である。

ABSTRACT

The current paper is a short review of rigorous results for the 1-2 model. The 1-2 model on the hexagonal lattice is a model of statistical mechanics in which each vertex is constrained to have degree either 1 or 2. It was proposed in a study by Schwartz and Bruck of constrained coding systems, and is strongly connected to the dimer model on a decoration of the lattice, and to an enhanced Ising model and an associated polygon model on the graph derived from the hexagonal lattice by adding a further vertex in the middle of each edge. The general 1-2 model possesses three parameters $a$, $b$, $c$. The fundamental technique is to represent probabilities of interest as ratios of counts of dimer coverings of certain associated graphs, and to apply the Pfaffian method of Kasteleyn, Fisher, and Temperley. Of special interest is the existence (or not) of phase transitions. It turns out that all clusters of the infinite-volume limit are almost surely finite. On the other hand, the existence (with strictly positive probability) of infinite `homogeneous' clusters, containing vertices of given type, depends on the values of the parameters. A further type of phase transition emerges in the study of the two-edge correlation function, and in this case the critical surface may be found explicitly. For instance, when $a \ge b \ge c > 0$, the surface given by $\sqrt a = \sqrt b + \sqrt c$ is critical.

研究の動機と目的

• 各頂点の次数が1または2である六角格子上の1-2模型の統計力学を、厳密な数学的技法を用いて分析すること。
• 特に無限クラスタと相関関数に関連する、モデル内の相転移の存在と性質を調査すること。
• パフィアン法とドミノ被覆表現を用いて、相転移の明示的な臨界面を確立すること。
• 1-2模型、装飾格子上のドミノ模型、および拡張されたイジング模型との関係を明確にすること。

提案手法

• 関心のある確率を関連するグラフ上のドミノ被覆の比率として表現すること。
• カステレイン、ファイザー、テンパーリーのパフィアン法を適用し、正確な分配関数と相関関数を計算すること。
• 装飾された六角格子を用いて、1-2模型をドミノ模型および拡張されたイジング模型に関連付けること。
• 無限体積極限を分析し、クラスタのほとんど確実な有限性を特定すること。
• パrameter依存の条件を用いて、2辺相関関数の臨界面を導出すること。
• パラメータの三つ組(a, b, c)を用いて相互作用および相転移の挙動を記述すること。

実験結果

リサーチクエスチョン

• RQ1 1-2模型において、どのようなパrameter条件下で無限大均一クラスタが存在するか。
• RQ2 2辺相関関数はどのように振る舞い、その臨界面はどのように定義されるか。
• RQ3 1-2模型と装飾格子上のドミノ模型との関係は何か。
• RQ4 1-2模型の無限体積極限において、すべてのクラスタはほとんど確実に有限か。
• RQ5 パラメータa, b, cはモデルの相構造にどのように影響するか。

主な発見

• 1-2模型の無限体積極限において、パラメータの値に関わらず、すべてのクラスタがほとんど確実に有限である。
• 無限大均一クラスタは、a ≥ b ≥ c > 0 などの特定の条件を満たす場合に限り、正の確率で存在する。
• 2辺相関関数の臨界面は、a ≥ b ≥ c > 0 のとき、方程式 √a = √b + √c で明示的に与えられる。
• モデルは2辺相関関数における相転移を示しており、臨界面条件によって検出可能である。
• 1-2模型は、装飾格子上のドミノ模型およびエッジ中心グラフ上の拡張されたイジング模型と強く関連している。
• パフィアン法により、ドミノ被覆の数え上げを用いて、確率と相関関数を正確に計算できる。