[论文解读] A condition for long-range order in discrete spin systems with application to the antiferromagnetic Potts model

Ron Peled, Yinon Spinka|arXiv (Cornell University)|Dec 11, 2017

Theoretical and Computational Physics参考文献 19被引用 8

一句话总结

本文在 $ℤ^d$ 晶格上，针对具有近邻相互作用的离散自旋系统，建立了一个关于长程序的一般条件，特别证明了在高维下低温时，反铁磁 $q$-态 Potts 模型中存在亚晶格对称性破缺（BSS）相。关键结果表明，对于某一绝对常数 $c>0$，有 $q_c(\mathbb{Z}^d) \geq c\,d^{1/20}\log^{-2/5}d$，展示了当 $q \geq 4$ 时在高维下由熵驱动的长程序。

ABSTRACT

We give a general condition for a discrete spin system with nearest-neighbor interactions on the $\mathbb{Z}^d$ lattice to exhibit long-range order. The condition is applicable to systems with residual entropy in which the long-range order is entropically driven. As a main example we consider the antiferromagnetic $q$-state Potts model and rigorously prove the existence of a broken sub-lattice symmetry phase at low temperature and high dimension -- a new result for $q\ge 4$. As further examples, we prove the existence of an ordered phase in a clock model with hard constraints and extend the known regime of the demixed phase in the lattice Widom-Rowlinson model.

研究动机与目标

• 建立具有近邻相互作用的离散自旋系统中长程序的一般条件，特别是当序由熵驱动而非能量偏好时。
• 解决长期悬而未决的难题：严格证明在 $q \geq 4$ 时，反铁磁 $q$-态 Potts 模型在低温下存在亚晶格对称性破缺（BSS）相。
• 将 Potts 模型中已知有序相的范围扩展至此前仅知 $q=3$ 情况的高维区域之外。
• 提供一个通用框架，适用于其他系统（如硬核约束的时钟模型和 Widom-Rowlinson 晶格模型），通过识别促进长程序的结构条件。

提出的方法

• 发展一种广义的佩尔斯型论证方法，以处理熵驱动序，其中畴壁降低熵而非能量，使得标准佩尔斯论证不再适用。
• 将晶格分解为区域 $X_*$、$X_{\text{bad}}$ 和 $X_{\text{overlap}}$，其中 $X_*$ 为关注区域，$X_{\text{bad}}$ 包含邻域不平衡或受限制边的顶点。
• 将图案 $(A,B)$ 定义为自旋集合对，使得相互作用 $\lambda_{a,b}$ 达到最大值 $\lambda_{\text{max}}$，并赋予权重 $\lambda_A\lambda_B$ 以量化其主导性。
• 采用基于连通区域宏观形状的粗粒化方案，利用这些集合在高维中熵显著低于无约束集合的事实，特别是具有奇偶性一致（奇/偶）的集合。
• 通过分析受限边数和邻域不平衡数，对配置的熵进行界定，从而导出给定断裂尺寸 $(L,M)$ 的概率的指数衰减估计。
• 应用标准平衡统计力学技术，推导出极端平衡态中截断关联的指数衰减，从而确认长程序的存在。

实验结果

研究问题

• RQ1 在高维晶格 $\mathbb{Z}^d$ 上，反铁磁 $q$-态 Potts 模型在低温下是否对 $q \geq 4$ 存在通过亚晶格对称性破缺实现的长程序？
• RQ2 能否提出一个一般条件，以保证具有近邻相互作用的离散自旋系统中由熵驱动的长程序？
• RQ3 在高维中，畴壁或团簇的何种结构特性可足够抑制其熵，从而在无能量代价的情况下仍允许长程序？
• RQ4 对具有宏观形状约束的奇偶性连通集合进行粗粒化，如何降低熵并实现严格的佩尔斯型估计？
• RQ5 该框架在多大程度上可推广至其他模型（如硬核时钟模型或 Widom-Rowlinson 模型），以证明新的有序相？

主要发现

• 本文严格证明了在 $\mathbb{Z}^d$ 上，对于任意 $q$，当维度 $d$ 足够大时，反铁磁 $q$-态 Potts 模型中存在亚晶格对称性破缺（BSS）相。
• 建立了临界态数的下界：$q_c(\mathbb{Z}^d) \geq c\,d^{1/20}\log^{-2/5}d$，其中 $c>0$ 为绝对常数，表明 $q_c$ 随 $d$ 以幂律速率增长。
• 由于奇偶性约束和宏观形状规则性，高维中畴壁的熵被抑制，从而即使畴壁无能量代价，也能实施佩尔斯型论证。
• 断裂尺寸为 $(L,M)$ 的概率以 $\exp\left(-\frac{c}{q^5\log d}\left(\frac{L}{d} + \frac{M}{qd^{1/4}}\right)\right)$ 的速率指数衰减，支持长程序的存在。
• 在每个极端平衡态中，截断关联的指数衰减得以确立，从而确认长程序的存在。
• 该方法不仅适用于 Potts 模型，还证明了在硬核时钟模型中存在有序相，并扩展了晶格 Widom-Rowlinson 模型中已知的分离相范围。