[论文解读] Fuzzy transformations and extremality of Gibbs measures for the Potts model on a Cayley tree

Christof Kuelske, U. A. Rozikov|arXiv (Cornell University)|Mar 23, 2014

Theoretical and Computational Physics参考文献 13被引用 10

一句话总结

本文通过模糊变换与边界律分析，研究了在Cayley树上q-state Potts模型的平移不变分裂Gibbs测度（TISGMs）的极端性。结果表明，在低温下，至少存在 $2^{q-1} + q$ 个极端TISGMs，扩展了已知的 $q+1$ 个极端测度；通过谱方法与变分法，给出了极端性成立的温度区间显式边界。

ABSTRACT

We continue our study of the full set of translation-invariant splitting Gibbs measures (TISGMs, translation-invariant tree-indexed Markov chains) for the $q$-state Potts model on a Cayley tree. In our previous work \cite{KRK} we gave a full description of the TISGMs, and showed in particular that at sufficiently low temperatures their number is $2^{q}-1$. In this paper we find some regions for the temperature parameter ensuring that a given TISGM is (non-)extreme in the set of all Gibbs measures. In particular we show the existence of a temperature interval for which there are at least $2^{q-1} + q$ extremal TISGMs. For the Cayley tree of order two we give explicit formulae and some numerical values.

研究动机与目标

• 确定先前工作中在Cayley树上q-state Potts模型发现的 $2^q - 1$ 个平移不变分裂Gibbs测度（TISGMs）的极端性状态。
• 识别参数区域——特别是温度区间——其中这些TISGMs在全部Gibbs测度集合中为极端或非极端。
• 解决一个开放问题：除标准的 $q+1$ 个之外新发现的TISGMs是否为极端测度，尤其与已知的自由边界条件和均匀边界条件测度进行比较。
• 应用模糊变换并分析由边界律导出的转移矩阵的谱性质，推导极端性的充分条件。

提出的方法

• 分析依赖于平移不变边界律的分类，即满足非线性树递推关系的正q维向量，其与TISGMs一一对应。
• 使用模糊变换将状态空间分解为块，揭示所有TISGMs的转移矩阵中存在 $2\times2$ 块结构，从而支持基于对称性的分析。
• 通过分析关联转移矩阵的谱半径，并应用与Kesten-Stigum界及尾σ代数非平凡性相关的准则，确定测度的极端性。
• 采用变分法研究函数 $g(\theta, q)$，该函数决定唯一解 $\breve{\theta}$ 的存在性，使得 $\mu_1(\theta, m)$ 在 $\theta \in [\theta_c, \breve{\theta})$ 范围内为极端测度，其中 $\theta_c = q+1$。
• 利用数值分析与连续性论证，表明在临界温度 $\theta_c$ 附近的测度仍保持极端性，利用了 $\gamma$ 与 $\kappa$ 关于 $\theta$ 的连续性。
• 通过涉及 $\theta$、$m$ 与 $q$ 的不等式，推导出极端性的显式边界，尤其针对 $m=2$ 的情形，并证明当 $q \geq 5$ 时，Kesten-Stigum界并非紧致。

实验结果

研究问题

• RQ1 在Cayley树上Potts模型的 $2^q - 1$ 个TISGMs在哪些温度区间内是全部Gibbs测度集合中的极端测度？
• RQ2 由 $z_1$-分支生成的 $2^{q-1} - 1$ 个TISGMs 与由 $z_2$-分支生成的 $2^{q-1} - 1$ 个TISGMs 是否为极端测度？若为极端，其条件为何？
• RQ3 Kesten-Stigum非极端性界是否可改进？本文是否建立了Kesten-Stigum阈值与自由边界条件测度实际极端性阈值之间的间隙？
• RQ4 自由边界条件测度在低温下是否保持极端性？其极端性与其他TISGMs相比如何？
• RQ5 临界温度 $\theta_c = q+1$ 在 $z_1$-分支测度从非极端到极端的转变中起何精确作用？

主要发现

• 当 $q \geq 4$ 时，函数 $g(\theta, q)$ 存在唯一零点 $\breve{\theta}(q)$，使得 $\mu_1(\theta, m)$ 在 $\theta \in [\theta_c, \breve{\theta})$ 范围内为极端测度，其中 $\theta_c = q+1$ 且 $\breve{\theta} < \theta^*$，证明了在非平凡区间内存在极端性。
• 当 $q = 6$ 时，数值分析显示 $\theta^* \approx 11.485$ 且 $\breve{\theta} \approx 8.903$，表明临界温度与极端性阈值之间存在约 $2.582$ 的间隙。
• 当 $m=2$ 且 $q < 9$ 时，测度 $\mu_2(\theta, m)$ 在 $\theta < 7$ 时为极端测度，而Kesten-Stigum非极端性界为 $\widehat{\theta} \approx 7.4852$，两界限间存在约 $0.4852$ 的间隙。
• 在 $\theta_c = q+1$ 的充分小穿孔邻域内，所有 $\mu_1(\theta, m)$ 测度均为极端测度，这是由于 $\gamma$ 与 $\kappa$ 的连续性，确认了临界点附近的极端性。
• 极端TISGMs的总数至少为 $2^{q-1} + q$，包括来自均匀边界条件类的 $q$ 个测度与低温区域中 $\mu_1(\theta, m)$ 家族的 $2^{q-1}$ 个测度。
• 本文证明了自由边界条件测度 $\mu_0$ 在 $\theta = \theta_c$ 处为极端测度，并由于连续性在邻域内保持极端性，从而解决了极端性问题中的一个关键情形。