[论文解读] 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$ 的Cayley树上，硬核（HC）模型的平移不变吉布斯测度的极端性。它证明了当 $k \to 2$ 时，吉布斯测度 $\nu^*$ 在逸度 $\nu$ 低于临界阈值 $\nu_* = \nu_*(k)$ 时是极端的（即不能表示为其他吉布斯测度的非平凡凸组合），该阈值 $\nu_*(k)$ 由涉及 $k$ 和一个趋于 1 的根 $t_* \to 1$ 的非线性方程导出。该结果在非平凡参数范围内确认了吉布斯测度的唯一性，扩展了先前在树图上统计力学相变与极端性方面的研究。

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.

研究动机与目标

• 确定在何种条件下，Cayley树上硬核模型的平移不变吉布斯测度是极端的。
• 建立临界逸度阈值 $\nu_*(k)$ 的存在性，低于该阈值时吉布斯测度是极端的。
• 通过递推方程和谱方法分析硬核模型在Cayley树上的相变行为。
• 扩展先前在树图上统计力学中吉布斯测度极端性与唯一性的研究成果。

提出的方法

• 使用从吉布斯测度条件导出的比值 $z_x' = z_{1,x}/z_{0,x}$ 的递推方程，导出 $z = (1 + \nu z)^{-k}$。
• 分析不动点方程 $z = (1 + \nu z)^{-k}$ 以确定解的存在性与数量，对应于不同的吉布斯测度。
• 通过量 $\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$。
• 求解该不等式，将临界阈值 $\nu_* = \nu_*(k)$ 定义为使得不等式在 $t \to (t_*, 1)$ 时成立的最大 $\nu$，其中 $t_*$ 是多项式的最小根。
• 使用渐近分析表明 $\nu_*(k) \to 0$ 当 $k \to \infty$，并针对小的 $k$ 数值计算 $\nu_*(k)$。

实验结果

研究问题

• RQ1 对于硬核模型在度数为 $k$ 的Cayley树上，其平移不变吉布斯测度在哪些逸度 $\nu$ 值下是极端的？
• RQ2 临界阈值 $\nu_*(k)$ 是什么？低于该值时吉布斯测度是唯一且极端的？
• RQ3 随着树的度数 $k$ 增加，极端性阈值 $\nu_*(k)$ 如何变化？
• RQ4 由多布拉辛唯一性准则导出的极端性条件是否对所有 $k \geq 2$ 成立？
• RQ5 不动点方程 $z = (1 + \nu z)^{-k}$ 与吉布斯测度的极端性之间有何关系？

主要发现

• 吉布斯测度 $\nu^*$ 当且仅当 $\nu < \nu_*(k)$ 时是极端的，其中 $\nu_*(k)$ 由多项式 $t^{k+1} - k t^2 + (2k - 1)t - k + 1 = 0$ 的根 $t_* \to 1$ 定义。
• 当 $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)$ 内的最小根。