[論文レビュー] An extremality of the translation-invariant Gibbs measure for the HC-model on a Cayley tree

U. A. Rozikov, Р. М. Хакимов|arXiv (Cornell University)|Oct 15, 2016

Theoretical and Computational Physics参考文献 1被引用数 3

ひとこと要約

この論文は、次数 $k \to \infty$ のケイリー木におけるハードコア（HC）モデルの平行移動不変ギブス測度の極値性を確立する。$k \to 2$ のとき、適切な非線形方程式を用いて $k$ と根 $t_* \to 1$（$k \to \infty$ のとき）を含む $k$ に依存する非線形方程式から導かれる臨界閾値 $\nu_* = \nu_*(k)$ よりも小さい場合、ギブス測度 $\nu^*$ が極値（つまり、他のギブス測度の非自明な凸結合ではない）であることを証明する。この結果は、非自明な領域におけるギブス測度の一意性を確認し、統計力学における木構造上の相転移および極値性に関する先行研究を拡張する。

ABSTRACT

In this paper we study the extremality of translation-invariant Gibbs measure for the HC-model on a Cayley tree. It is known that for this model the translation-invariant measure is unique. We give a new proof of this statement and found regions of the extremality of this measure on the Cayley tree of order k.

研究の動機と目的

• ケイリー木の次数 $k$ におけるハードコアモデルの平行移動不変ギブス測度が極値である条件を特定すること。
• ギブス測度が極値である臨界粒子数閾値 $\nu_*(k)$ の存在を確立すること。
• 再帰的方程式とスペクトル法を用いて、ケイリー木上のハードコアモデルの相転移挙動を分析すること。
• 統計力学における木グラフ上のギブス測度の極値性および一意性に関する先行結果を拡張すること。

提案手法

• ギブス測度の条件から導かれる比 $z_x' = z_{1,x}/z_{0,x}$ の再帰的式を用い、$z = (1 + \nu z)^{-k}$ に到達する。
• 固定点方程式 $z = (1 + \nu z)^{-k}$ を分析して、解の存在と数を特定し、それらが異なるギブス測度に対応することを検証する。
• Dobrushinの一意性基準を $\nu(\text{測度})$ と $\nu(\text{混合})$ の量を用いて適用し、$k \nu(\text{測度}) \nu(\text{混合}) < 1$ を要求する。
• 極値性条件を $t = z^{1/k}$ に関する多項式不等式に還元する：$t^{k+1} - k t^2 + (2k - 1)t - k + 1 > 0$。
• 不等式を解いて、$t \to (t_*, 1)$ の範囲で不等式が成り立つ最大の $\nu$ として臨界閾値 $\nu_* = \nu_*(k)$ を定義する。ここで $t_*$ は多項式の最小根である。
• 漸近的解析を用いて $\nu_*(k) \to 0$（$k \to \infty$ のとき）を示し、小規模な $k$ に対して $\nu_*(k)$ を数値的に計算する。

実験結果

リサーチクエスチョン

• RQ1 次数 $k$ のケイリー木におけるハードコアモデルの平行移動不変ギブス測度が極値である粒子数 $\nu$ の値は何か？
• RQ2 ギブス測度が一意的かつ極値的である臨界閾値 $\nu_*(k)$ は何か？
• RQ3 木の次数 $k$ が増加するにつれて、極値性閾値 $\nu_*(k)$ はどのように変化するか？
• RQ4 Dobrushinの一意性基準から導かれる極値性条件は、すべての $k \geq 2$ に対して成り立つか？
• RQ5 固定点方程式 $z = (1 + \nu z)^{-k}$ とギブス測度の極値性の間にはどのような関係があるか？

主な発見

• ギブス測度 $\nu^*$ は、多項式 $t^{k+1} - k t^2 + (2k - 1)t - k + 1 = 0$ の根 $t_* \to 1$（$k \to \infty$ のとき）に対応する $\nu < \nu_*(k)$ のときかつそのときに限り極値である。
• $k = 2$ のとき $\nu_*(2) \to 7.159$ であり、$\nu_*(k)$ は $k$ と共に減少し、$k \to \infty$ のとき $0$ に近づく。
• 非一意性の始まりを示す臨界閾値 $\nu_{\text{cr}}(k) = k^k / (k - 1)^{k+1}$ は、すべての $k \geq 2$ に対して $\nu_*(k) > \nu_{\text{cr}}(k)$ を満たす。
• $k \to \infty$ のとき、極値性閾値 $\nu_*(k) \to 0$ となるため、高次元の木構造では極値性が失われる。
• 数値計算により $\nu_*(3) \approx 3.771$、$\nu_*(4) \approx 2.745$、$\nu_*(5) \approx 2.242$、$\nu_*(18) \approx 1.015$、$\nu_*(3000) \approx 0.250$ であることが判明。
• 極値性条件は、$t \in (t_*, 1)$ で $t^{k+1} - k t^2 + (2k - 1)t - k + 1 > 0$ が成り立つことと同値であり、ここで $t_*$ は $(0,1)$ 内の最小根である。