[論文レビュー] The 1-2 model: dimers, polygons, the Ising model, and phase transition

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

Stochastic processes and statistical mechanics参考文献 16被引用数 2

ひとこと要約

本稿では、各頂点の次数が1または2である統計力学的モデルである1-2模型を、六角格子上でのドミノ被覆とパフィアン法を用いて研究する。正確な表現を確立し、相転移の臨界面を同定し、特にa ≥ b ≥ c > 0の下で√a = √b + √cという条件が成り立つ場合、正の確率で無限に均質なクラスタが出現することを示す。

ABSTRACT

The 1-2 model on the hexagonal lattice is a process 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 decorated graph, 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 current paper is a short review of rigorous results and open problems for the 1-2 model. 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, Temperley, and Fisher. This approach yields certain exact representations, as well as results in the infinite-volume limit. Of especial 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 ‘homogenous’ 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 ≥ b ≥ c > 0, the surface given by √a = √ b+ √ c is critical. 1. Origin of the 1-2 model The 1-2 model originated in the work of computer scientists Schwartz and Bruck [18] on constrained coding systems. They studied an array of variables on the hexagonal lattice subject to the ‘not all equal’ constraint. Of particular interest to them was the asymptotic behaviour of the number of acceptable configurations. Using the method of so-called ‘holographic reduction’, they were able to map their counting problem to one of counting the number of perfect matchings (or ‘dimer coverings’) on a certain graph derived from the hexagonal lattice. This last problem may be Date: July 14, 2015. 2010 Mathematics Subject Classification. 82B20, 60K35, 05C70.

研究の動機と目的

• 頂点の次数制約を持つ統計力学系として、六角格子上の1-2模型を解析すること。
• 1-2模型、装飾されたグラフ上のドミノ被覆、および拡張されたイジング模型との厳密な関係を確立すること。
• 特定の頂点タイプの無限クラスタの出現の有無を調査すること。
• 無限体積極限における二辺相関関数の臨界面を特定すること。

提案手法

• 関心のある確率を関連するグラフ上のドミノ被覆の比として表現すること。
• カステレイン、テンパラー、ファイザーのパフィアン法を適用し、正確な分配関数を計算すること。
• 1-2模型を六角格子の装飾版におけるドミノ模型に写像すること。
• ホログラフィック還元技術を用いて、モデルを制約付き符号化システムに関連付けること。
• 無限体積極限を分析し、クラスタの挙動と相転移を研究すること。
• パrameter制約a ≥ b ≥ c > 0の下で、二辺相関関数の臨界面√a = √b + √cを導出すること。

実験結果

リサーチクエスチョン

• RQ1 無限体積極限において、与えられた次数タイプの頂点の無限均質クラスタが正の確率で出現するパrameter条件は何か？
• RQ2 二辺相関関数はどのように振る舞い、その相転移を制御する臨界面は何か？
• RQ3 1-2模型と装飾グラフ上のドミノ被覆との正確な関係は何か？
• RQ4 元の1-2模型の制約は、変更された格子上の拡張されたイジング模型および多角形模型とどのように関連するか？
• RQ5 パフィアン法は、この模型における正確な計算を可能にする役割を果たすか？

主な発見

• 1-2模型の無限体積極限において、すべてのクラスタはパrameter値にかかわらずほとんど確実に有限である。
• 与えられた頂点タイプの無限均質クラスタが正の確率で存在するのは、パrameterが特定の条件を満たす場合に限り、特にa ≥ b ≥ c > 0の下で√a = √b + √cという臨界面が成り立つときである。
• 二辺相関関数は相転移を示し、同じパrameter順序の下で、その臨界面が明示的に√a = √b + √cとして特定される。
• 1-2模型は装飾グラフ上のドミノ被覆と厳密に結びついており、パフィアン法を介して正確な統計計算が可能になる。
• モデルはシュワーツとブルックが研究した制約付き符号化システムから生じており、ホログラフィック還元によりカウント問題がドミノ数え上げに写像される。
• 基本的な技術は、確率をドミノ被覆の比として表現することにあり、これにより無限体積極限における正確な結果が得られる。