From Laplacian-to-Adjacency Matrix for Continuous Spins on Graphs

本文研究了图上的$O(n)$模型的大$n$极限，证明系统的自由能由低温下的拉普拉斯矩阵谱和高温下的邻接矩阵谱所支配，并针对树和修饰晶格导出了精确解，以突显配位数和平移不变性丧失的关键作用。

要点

想象一下，你试图理解一群人当手拉手组成一个巨大而杂乱的网时是如何行为的。有些人只与一个邻居手拉手，而有些人则与数十人相连。在物理学中，我们将这些称为“图”（连接网络）上的“自旋”。

本文就像一本指南，用于预测当手拉手的人数变得无限大时，这群人将如何行为。作者 Nikita Titov 和 Andrea Trombettoni 发现，支配这群人的规则会根据环境是“热”还是“冷”而改变。他们发现，两种不同的数学工具——让我们称之为“邻居图”和“连接图”——会轮流主导局面。

以下是他们发现的分解，使用简单的类比：

两个主要角色

为了理解这群人，作者使用了两种特定的图：

1. 拉普拉斯矩阵（“邻居图”）：这张图关注每个人握着多少只手。它根据每个人的直接局部连接来对待每个人。
2. 邻接矩阵（“连接图”）：这张图关注谁与谁相连，而不考虑他们握了多少只手。它突出了那些与许多人相连的“受欢迎”的人。

温度开关

本文解释说，系统的行为会根据温度在这两种图之间翻转：

• 低温下（“冷”人群）：
  想象人群处于冰冻状态。每个人都想紧密而完美地挤在一起。在这种状态下，“邻居图”（拉普拉斯矩阵）占据主导。人群表现得好像只关心他们的直接邻居。如果你处于许多邻居环绕的位置，你会感受到来自所有人的同等压力。人群变得非常均匀，就像一张平滑的平面。

• 高温下（“热”人群）：
  现在，想象人群处于一个狂野的派对中。每个人都在混乱地移动。在这种状态下，“连接图”（邻接矩阵）占据主导。人群不再关心具体握了多少只手，而是开始对整个网络的结构做出反应。“受欢迎”的位置（许多人连接的地方）成为焦点，行为由谁与谁相连的宏观图景决定。

“金发姑娘”区域与特殊形状

作者在不同形状的网络上测试了这一理论，以验证该规则是否成立：

• 树（分支家族树）：
  他们观察了“树”形（像没有循环的家族树）。他们发现了一个美丽而简单的解：人群的规则仅取决于每个人有多少邻居。这就像一份完美的食谱，其中唯一重要的成分就是握手的数量。这很罕见；通常，整个网络的形状会使数学变得极其困难。

• 装饰晶格（砌砖墙）：
  他们观察了一个标准网格，并在主要节点之间添加了额外的“装饰”（额外的人）。他们发现，尽管人群很杂乱，但“冷”行为仍然由“邻居图”支配。然而，“热”行为是混合的，两者之间的过渡很复杂。

• 二分图（双面舞池）：
  他们观察了一个被分成两组的网络，其中 A 组中的每个人都与 B 组中的每个人共舞。在这里，即使在人群发生相变的关键时刻，“热”行为也完全由“连接图”支配。这表明，如果网络以某种特定且强烈的方式连接，“连接图”将完全胜出。

为什么这很重要（根据本文）

通常，物理学家假设所有人都在一个完美的、重复的网格中（像棋盘），以使数学变得简单。但现实世界并不是一个完美的网格；它是一个由不同连接组成的杂乱网络。

本文为这些杂乱的网提供了一种新的“翻译器”。它说：“不要为复杂的数学而惊慌。只需查看温度。如果是冷的，使用邻居图。如果是热的，使用连接图。”

他们还比较了这种“经典”人群与“量子”人群（其中人们像波一样行动）。他们发现，虽然量子人群更杂乱，并且不像经典人群那样严格遵循“邻居数量”规则，但当事情变得非常热或非常冷时，它最终仍会稳定到与经典人群相同的行为。

总之：本文证明，对于相互作用的巨大网络，混乱的数学会简化为两种截然不同的机制，由网络的两种基本图支配，这完全取决于系统是热还是冷。

技术摘要

技术摘要：从图上的连续自旋的拉普拉斯矩阵到邻接矩阵

问题陈述
图上的相互作用自旋系统研究对于理解从网络动力学到组合优化问题（例如最大割）等现象至关重要。虽然 $O(n)$ 模型在大 $n$ 极限下在规则晶格上已得到充分理解——在该极限下它简化为受单一全局约束支配的球模型——但将其推广到一般的非随机图则带来了重大挑战。任意图上平移不变性的丧失，使得在热力学极限下需要无穷多组鞍点约束（每个格点一组），从而导致解析解极为罕见。本文解决的核心问题是：确定一般图上大 $n$ $O(n)$ 模型的自由能和基态性质如何由底层图结构所支配，具体而言，系统是由拉普拉斯矩阵描述还是由邻接矩阵描述。

方法论
作者利用大 $n$ 展开，分析了具有 $N$ 个格点的图 $G$ 上的铁磁经典 $O(n)$ 模型。哈密顿量通过邻接矩阵 $A_{ij}$ 定义。为了处理自旋向量具有固定模长（$S_i \cdot S_i = n$）的约束，作者采用了狄拉克 $\delta$ 函数的积分表示，为每个节点引入了一个依赖于格点的拉格朗日乘子 $\lambda_i$。

在大 $n$ 极限下，配分函数通过鞍点近似进行评估，导出了一个具有矩阵 $M_{ij} = K A_{ij} - \delta_{ij} \lambda_i$ 的高斯模型。自由能由 $M$ 的谱决定。分析的核心在于针对各种图拓扑求解鞍点方程 $\partial f / \partial \lambda_i = 0$（等价于强制执行 $\langle S_i^2 \rangle = 1$）。作者考察了这些乘子在两个不同极限下的行为：

1. 低温 ($T \to 0$, $K \to \infty$)： 系统寻求基态，此时矩阵 $M$ 由局部配位数主导。
2. 高温 ($T \to \infty$, $K \to 0$)： 系统通过微扰论进行分析，此时矩阵 $M$ 由对角项主导，$A$ 的谱随之显现。

该研究涵盖了若干特定的图类：树、装饰晶格、带边界的条带以及配位数发散的完全二分图。此外，还将经典结果与 Y 图上量子转子模型的大 $n$ 极限进行了对比。

主要贡献与结果

• 拉普拉斯矩阵到邻接矩阵的交叉： 主要发现是，一般图上大 $n$ 模型的自由能由拉普拉斯矩阵（$L_{ij} = z_i \delta_{ij} - A_{ij}$）的谱在低温下决定，而由邻接矩阵（$A_{ij}$）的谱在高温下决定。

  • 在 $T \to 0$ 极限下，拉格朗日乘子收敛为 $\lambda_i = K z_i$（其中 $z_i$ 为配位数），使得 $M$ 正比于拉普拉斯矩阵。这迫使基态在整个图上呈现均匀性。
  • 在 $T \to \infty$ 极限下，拉格朗日乘子变为与格点无关（$\lambda_i \approx \text{const}$），$M$ 变为正比于平移了一个常数的邻接矩阵。这使得基态能够局域化在具有高配位数的格点周围。

• 树上的精确解： 作者为树图上的拉格朗日乘子提供了精确的解析解。他们证明，对于任何树，乘子仅取决于最近邻的数量（$z_i$）和耦合常数 $K$，其形式为：
  $$\lambda_i = \frac{1}{2} + \frac{z_i}{4} \left( -1 + \sqrt{1 + 16K^2} \right)$$
  该结果明确展示了从鞍点方程中如何涌现出拉普拉斯矩阵（当 $K \to \infty$ 时）和邻接矩阵（当 $K \to 0$ 时）的结构。

• 装饰晶格： 对于破坏平移不变性的装饰晶格，作者表明，虽然临界点附近自由能的奇异部分由拉普拉斯谱支配（这与先前关于球模型的研究一致），但完整的自由能仅在零温极限下严格遵循拉普拉斯谱。在有限温度下，装饰格点和体格点的拉格朗日乘子不同，它们满足特定的乘积约束（在临界点处 $\lambda_l \lambda_d = 12$），而不仅仅是随配位数缩放。

• 发散的配位数： 在配位数随系统尺寸发散的完全二分图情形下，标准的普适类论证（依赖于有限配位数）不再适用。在此情况下，即使在临界温度下，临界行为也由邻接矩阵支配，拉格朗日乘子保持在由邻接谱决定的固定值上，而不是收敛到拉普拉斯值。

• 量子与经典对比： 与 Y 图上量子转子模型的对比表明，虽然经典模型的拉格朗日乘子仅依赖于局部配位数 $z_i$，但量子模型的乘子依赖于图结构中的具体位置（例如，距离结点的距离）。然而，两种模型在高温行为上收敛一致，在低温下均表现为由拉普拉斯矩阵主导的行为。

意义
本文确立了：一般图上连续自旋的大 $n$ 极限并非由单一通用矩阵支配，而是由拉普拉斯矩阵和邻接矩阵之间的相互作用所支配，这种相互作用由温度决定。这为在复杂、非平移不变图上进行平衡态和动力学量的解析与数值计算提供了一个框架，相较于处理原始的 $O(n)$ 问题更为容易，因为极限模型是高斯型的。

作者指出，虽然大 $n$ 近似有助于定性洞察并作为 $1/n$ 展开的基础，但其对有限 $n$ 的定量准确性取决于具体问题。这项工作将经典球模型的理解扩展到了非规则图，突出了图拓扑（特别是配位数的分布）如何决定模式的局域化以及相变的性质。结果表明，对于铁磁系统，从拉普拉斯主导到邻接主导的转变是一个普遍性质，尽管其具体实现因图类而异。文章最后指出，将这些结果推广到反铁磁系统、自旋玻璃和随机图是重要的未来方向。