[論文レビュー] Hard constraints and the bethe lattice: adventures at the interface of combinatorics and statistical physics

Graham Brightwell, Peter Winkler|ArXiv.org|Apr 28, 2003

Markov Chains and Monte Carlo Methods参考文献 19被引用数 34

ひとこと要約

この論文は、統計物理学におけるハード制約系を、無限大の正則木（ベーゼ格子）から有限の制約グラフ H へのグラフ同型写像を用いて調査する。複数の不変ギブス測度が存在する条件を特定し、組合せ的構造と相転移の関連を明らかにするとともに、k-彩色可能なグラフ H が Hom(T^{k-1}, H) において長距離作用を引き起こすことを証明し、グラフ彩色と木構造上の統計力学の深い関係を示している。

ABSTRACT

Statistical physics models with hard constraints, such as the discrete hard-core gas model (random independent sets in a graph), are inherently combinatorial and present the discrete mathematician with a relatively comfortable setting for the study of phase transition. In this paper we survey recent work (concentrating on joint work of the authors) in which hard-constraint systems are modeled by the space $\hom(G,H)$ of homomorphisms from an infinite graph $G$ to a fixed finite constraint graph $H$. These spaces become sufficiently tractable when $G$ is a regular tree (often called a Cayley tree or Bethe lattice) to permit characterization of the constraint graphs $H$ which admit multiple invariant Gibbs measures. Applications to a physics problem (multiple critical points for symmetry-breaking) and a combinatorics problem (random coloring), as well as some new combinatorial notions, will be presented.

研究の動機と目的

• ハードコアガスモデルやランダム彩色といったハード制約系における相転移を、グラフ同型写像の枠組みを用いて理解すること。
• 正則木（ベーゼ格子）G に対して、空間 Hom(G, H) に複数の不変ギブス測度が存在するような有限制約グラフ H を特徴付けること。
• ハード制約付きの組合せモデルにおける長距離秩序および凍結ギブス測度の出現を探索すること。
• グラフ論的性質（例：彩色可能性、分解可能性）と木構造上の統計力学的現象との関連を確立すること。
• 最大次数が有界な有限グラフ G に対して、Hom(G, H) の非連結性を関連付ける予想を提示し、それを検証すること。

提案手法

• 無限大のグラフ G から有限の制約グラフ H へのグラフ同型写像の空間 Hom(G, H) を用いてハード制約系をモデル化する。
• ギブス測度と相転移の解析を容易にするために、ベーゼ格子（正則木）を基本となるグラフ G として用いる。
• 確率論的および組合せ論的技法を用いて、Hom(T^r, H) 上の不変ギブス測度の存在と構造を分析する。
• 遠く離れたノードにおける境界条件が根のスピンに制約を及える現象を記述するため、「長距離作用」という概念を導入する。
• 標準的な彩色の一般化であるベクトル値彩色を用いて、k-彩色可能な H に対して Hom(T^{k-1}, H) における長距離作用を明示的に構成する。
• H における分解可能性の概念を活用し、Hom(G, H) が連結か非連結かを特徴付けることで、位相と統計力学の関連を明確にする。

実験結果

リサーチクエスチョン

• RQ1 どの有限制約グラフ H に対して、空間 Hom(T^r, H) に複数の不変ギブス測度が存在するか？
• RQ2 正則木 T^r に対して、グラフ彩色可能性と Hom(T^r, H) における長距離作用の存在との関係は何か？
• RQ3 ベーゼ格子上のハード制約系において、凍結ギブス測度（自明にギブス条件を満たす）がどのような条件下で出現するか？
• RQ4 H の構造（例：ループの有無、分解可能性）は、最大次数が有界な有限グラフ G に対して Hom(G, H) の連結性にどのように影響するか？
• RQ5 k-彩色可能性などのグラフ論的性質は、最大次数が有界な G に対して Hom(G, H) の位相的構造をどの程度正確に予測できるか？

主な発見

• 空間 Hom(T^r, H) に複数の不変ギブス測度が存在するための必要十分条件は、H が分解可能でないことである。これは相転移の明確な組合せ的基準を示している。
• 任意のk-彩色可能なグラフ H に対して、空間 Hom(T^{k-1}, H) は長距離作用を示す。これは、遠く離れた境界条件が根のスピンに制約を及えることを意味し、非自明な長距離秩序を示している。
• q-彩色モデルにおいて、r-正則木 T^r 上で q ≤ r+1 のとき、凍結ギブス測度が存在する。これは決定論的で非エルゴード的な配置から生じる。
• k-彩色可能な H に対して、Hom(T^{k-1}, H) における長距離作用の存在は、標準彩色の一般化であるベクトル値彩色の構成により保証される。
• k-彩色可能な H に対して、最大次数が k より小さいある有限グラフ G に対して、空間 Hom(G, H) は非連結である。これは、彩色可能性と位相的非連結性の関連を支持する。
• H の分解可能性は、すべての有限グラフ G に対して Hom(G, H) が連結であることと同値である。これは、H の位相的性質をホモモーフィズム空間の観点から特徴づけるものである。