[論文レビュー] Phase Coexistence and Slow Mixing for the Hard-Core Model on Z^2

Antonio Blanca, David Galvin+2 more|arXiv (Cornell University)|Nov 27, 2012

Markov Chains and Monte Carlo Methods参考文献 17被引用数 8

ひとこと要約

本稿は、ℤ²上のハードコアモデルにおける位相共存のための最初の非自明な下界を確立し、故障線とタクシー走路を用いた新しい図形的議論により、すべてのλ > 5.3646で複数のギブス状態が存在することを証明した。さらに、トーラス格子上ではλ > 5.3646、自由境界条件格子上ではλ > 7.1031で局所マルコフ連鎖の混合が遅いことを示し、従来の境界値を7倍改善した。

ABSTRACT

In the hard-core model on a finite graph we are given a parameter lambda>0, and an independent set I arises with probability proportional to lambda^|I|. On infinite graphs a Gibbs distribution is defined as a suitable limit with the correct conditional probabilities. In the infinite setting we are interested in determining when this limit is unique and when there is phase coexistence, i.e., existence of multiple Gibbs states. On finite graphs we are interested in determining the mixing time of local Markov chains. On Z^2 it is conjectured that these problems are related and that both undergo a phase transition at some critical point lambda_c approx 3.79. For phase coexistence, much of the work to date has focused on the regime of uniqueness, with the best result being recent work of Restrepo et al. showing that there is a unique Gibbs state for all lambda < 2.3882. Here we give the first non-trivial result in the other direction, showing that there are multiple Gibbs states for all lambda > 5.3646. Our proof adds two significant innovations to the standard Peierls argument. First, building on the idea of fault lines introduced by Randall, we construct an event that distinguishes two boundary conditions and always has long contours associated with it, obviating the need to accurately enumerate short contours. Second, we obtain vastly improved bounds on the number of contours by relating them to a new class of self-avoiding walks on an oriented version of Z^2. We extend our characterization of fault lines to show that local Markov chains will mix slowly when lambda > 5.3646 on lattice regions with periodic (toroidal) boundary conditions and when lambda > 7.1031 with non-periodic (free) boundary conditions. The arguments here rely on a careful analysis that relates contours to taxi walks and represent a sevenfold improvement to the previously best known values of λ.

研究の動機と目的

• 2次元整数格子ℤ²上のハードコアモデルにおける位相共存のための最初の非自明な下界を確立すること。
• 周期的境界条件および自由境界条件を伴うℤ²の有限ボックス上での局所マルコフ連鎖の高速混合に関する従来の境界値を改善すること。
• 「タクシー歩行」と呼ばれる、向き付けられた格子上の自己回避歩行のクラスと関連付けることで、輪郭数の上限を新たに確立すること。
• ランダルの故障線技術を拡張し、短い輪郭の正確な数え上げに依存しないようにすること。
• タクシー歩行の接続定数μₜの tighter 界を提供することで、臨界活性度λ_cのより良い推定値を得ること。

提案手法

• ワイヤード境界条件と自由境界条件を区別するための、故障線に基づく新規イベントを導入し、常に長い輪郭が存在することを保証する。
• ハードコアモデルにおける輪郭を、方向付きℤ²上での有向自己回避歩行（「タクシー歩行」として知られる）に関連付けることで、それらの数を制限する。
• 劣加法性とフェケーテの補題を用いて、タクシー歩行の成長率を分析し、このクラスの接続定数μₜを確立する。
• 行列に基づく固有値技術（アームの方法を用いて）を適用し、長さnの歩行で長さmのセグメントで始まり終わり、長さmのセグメントを持つ遷移行列A(m,n)の最大固有値を用いてμₜの上界を求める。
• タクシー歩行の一部であるブリッジの超乗法的性質を用いてμₜの下界を導出し、この方法の理論的限界を向上させる。
• μₜの境界をペイエルズの議論と組み合わせ、位相共存および混合遅延のためのλの下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 ℤ²上のハードコアモデルで、どのようなλの値に対して位相共存（複数のギブス状態）が生じるか？
• RQ2 位相共存が生じる臨界活性度λ_cの、現在知られている最高の下界は何か？
• RQ3 λが増加するにつれて、ℤ²の有限ボックス上でのハードコアモデルの局所マルコフ連鎖の混合時間はどのように変化するか？
• RQ4 輪郭数を、新たな自己回避歩行のクラスと関連付けることで、より効果的に制限できるか？
• RQ5 現在の方法（タクシー歩行とその接続定数を用いた）でλ_cを上限付ける理論的限界は何か？

主な発見

• 本稿は、すべてのλ > 5.3646で位相共存が成立することを証明し、共存領域における最初の非自明な下界を提供した。
• トーラス（周期的）境界条件ではλ > 5.3646、自由境界条件ではλ > 7.1031で局所マルコフ連鎖の混合が遅いことを確立した。
• 20114×20114行列の固有値解析を用いて、タクシー歩行の接続定数μₜに対する上界μₜ < 1.5884を導出した。
• ブリッジの列挙から下界μₜ > 1.5196を取得し、この方法では現在λ_c ≤ 4.3332を超える改善は不可能であることが示された。
• μₜ < 1.5884の境界から、位相共存の臨界閾値推定値λ_c < μₜ⁴ − 1 < 5.3646が得られた。
• 本手法は、従来の混合遅延の最良境界値（λ ≈ 7.1031）を7倍改善した。