长程相互作用与普适类

长程相互作用会改变临界现象的长距离理论。若短程模型的低动量传播子由

\[ k^2 \]

控制，那么幂律相互作用常会引入

\[ k^\sigma \]

型的非解析项。正是这个项改变了 Gaussian 固定点、上临界维度、Mermin-Wagner 判据和有限尺寸标度。

长程相互作用对普适类的影响，需要和模型定义本身分开处理：

• 模型定义决定相互作用如何写、边界如何处理、能量如何求和。
• 普适类分析研究在这些定义给定之后，长距离场论和临界指数如何变化。

若模型定义没有说清楚，普适类分析会失去落点；若只停留在定义层，又看不出为什么 \(\sigma\) 会进入 RG 指数。

长程核与动量空间

常用长程耦合写为

\[ J(r)\sim \frac{1}{r^{d+\sigma}}, \qquad \sigma>0. \]

在动量空间中，它对应的长波展开包含非解析项：

\[ J(0)-J(k)\sim k^\sigma. \]

因此长程 LGW 泛函的 Gaussian 部分可以写成

\[ \mathcal H_0 = \frac12 \int\frac{d^dk}{(2\pi)^d} \left(k^\sigma+t\right)|\phi_k|^2. \]

对应传播子为

\[ G(k) \sim \frac1{k^\sigma+t}. \]

在临界点 \(t=0\)：

\[ G(k)\sim \frac1{k^\sigma}. \]

和一般形式

\[ G(k)\sim \frac1{k^{2-\eta}} \]

比较，长程 Gaussian 区域给出

\[ \eta=2-\sigma. \]

这一步的物理意思是：短程模型中，长波涨落的代价通常像 \(k^2\)，也就是普通 Laplacian；长程模型中，远距离耦合让低动量能量代价变成 \(k^\sigma\)。当 \(\sigma<2\) 时，\(k^\sigma\) 在小 \(k\) 处比 \(k^2\) 更强，说明长程尾部更强地约束长波涨落。临界行为因此不再由短程 Gaussian 理论控制。

Gaussian 量纲分析

要求

\[ \int d^dx\,\phi(-\nabla^2)^{\sigma/2}\phi \]

无量纲，可得场的 scaling dimension：

\[ x_\phi=\frac{d-\sigma}{2}. \]

温度项

\[ t\int d^dx\,\phi^2 \]

给出

\[ \boxed{y_t=\sigma}. \]

外场项

\[ h\int d^dx\,\phi \]

给出

\[ \boxed{y_h=\frac{d+\sigma}{2}}. \]

若相互作用为

\[ u\int d^dx\,\phi^4, \]

则

\[ y_u=d-4x_\phi=2\sigma-d. \]

因此长程 \(\phi^4\) 理论的上临界维度为

\[ \boxed{d_c=2\sigma}. \]

更一般地，对于 \(\phi^p\) 相互作用：

\[ y_p=d-p\frac{d-\sigma}{2}, \]

令 \(y_p=0\) 得到

\[ \boxed{ d_c(p,\sigma)=\frac{p\sigma}{p-2}. } \]

三个常见区域

长程模型常粗略分成三个区域。

第一，平均场区域。若

\[ d>2\sigma, \]

则 \(\phi^4\) 相互作用 irrelevant，Gaussian/平均场图像有效。有限尺寸下还可能出现危险无关变量，因此要小心区分热力学极限指数和有限尺寸指数。

这里的条件可以从

\[ y_u=2\sigma-d \]

直接读出。若 \(y_u<0\)，四次相互作用在大尺度衰减，Gaussian 固定点稳定，于是平均场图像成立。注意这不是说系统没有相互作用，而是说在临界长距离标度意义下，相互作用项不再改变 leading critical exponents。

第二，长程相互作用固定点区域。此时长程项 \(k^\sigma\) 控制长波行为，但相互作用 \(u\) 仍然 relevant，临界指数含有涨落修正。

第三，短程区域。当长程尾部在 RG 下变得不重要，体系流向短程固定点。朴素量纲分析给出 crossover 在

\[ \sigma=2. \]

更精细的 Sak 判据将边界写为

\[ \sigma_\ast=2-\eta_{\rm SR}. \]

这一区域在具体模型和数值分析中常有强有限尺寸修正，因此需要谨慎判断。

所以长程模型不是只有“长程”和“短程”两种状态，而是至少要区分：

区域	控制图像	读数值数据时的提醒
平均场长程区	Gaussian 固定点	有危险无关变量和体积型有限尺寸效应
非平庸长程区	长程相互作用固定点	指数随 \(\sigma\) 连续变化或有明显 crossover
短程区	短程固定点	长程尾部只产生修正项，但有限尺寸漂移可能很慢

实际模拟中最难的是边界附近。有限尺寸数据可能在一个尺寸范围内看起来像长程指数，到了更大尺寸才逐渐流向短程指数。

Mermin-Wagner 与长程相互作用

短程连续对称性模型中，Mermin-Wagner 定理的红外积分来自

\[ \int\frac{d^dk}{k^2}. \]

长程模型中，Goldstone 模的低动量刚度可能变成 \(k^\sigma\)，对应积分为

\[ \int\frac{d^dk}{k^\sigma}. \]

其红外行为由

\[ \int_0 dk\,k^{d-1-\sigma} \]

控制。若

\[ d-\sigma\le0, \]

积分红外发散，长波涨落足以摧毁真正长程序；若

\[ d>\sigma, \]

红外积分收敛，长程相互作用可能允许低维连续对称性系统在有限温出现长程序。

这给出一个直觉边界：

\[ \sigma=d. \]

它可以看成短程 Mermin-Wagner 图像在长程传播子下的推广。

这也解释了为什么低维长程模型会有一些看似反直觉的相变。二维短程 \(O(2)\) 模型没有真正长程序，只能有 BKT 准长程序；但若相互作用足够长程，红外涨落被削弱，就可能允许真正长程序。是否发生普通对称性破缺、BKT-like 行为，还是其他 crossover，要看 \(d,\sigma,N\) 以及具体缺陷能量。

随机行走图像

长程传播子也可以用随机行走理解。普通短程随机行走满足

\[ R^2\sim N. \]

若步长分布具有长尾

\[ P(r)\sim \frac1{r^{d+\sigma}}, \]

则在 \(\sigma<2\) 时出现 Levy flight，典型位移满足

\[ R\sim N^{1/\sigma}. \]

在 \(\sigma>2\) 时回到普通扩散：

\[ R\sim N^{1/2}. \]

边界 \(\sigma=2\) 通常伴随对数修正。这个图像和长程场论中的

\[ k^\sigma \leftrightarrow k^2 \]

crossover 是同一类物理：当长程跳跃尾部足够强时，扩散和关联传播都不再由普通 Laplacian 控制。

关联函数的裸长程尾巴

长程相互作用还有一个容易误读的现象：即使在高温无序相，关联函数的最终远距离尾巴也可能是幂律。

设

\[ J(r)\sim \frac1{r^{d+\sigma}}, \qquad \sigma>0. \]

高温展开第一阶给出

\[ G(r)\approx \beta J(r) \sim \frac{\beta}{r^{d+\sigma}}. \]

因此连通关联函数中通常会有一个由哈密顿量直接带来的背景项：

\[ G_c(r)\supset \frac{A(T)}{r^{d+\sigma}}. \]

短程高温相通常写成

\[ G_c(r)\sim e^{-r/\xi}. \]

长程高温相更稳妥的图像是

\[ G_c(r) \sim A e^{-r/\xi} + \frac{B}{r^{d+\sigma}}. \]

在中短距离，指数项或 crossover 项可能更显眼；但当 \(r\to\infty\) 时，指数衰减比任何幂律都快，最终会留下裸长程尾巴。

这不表示高温相是临界相。因为

\[ \chi \sim \int^\infty dr\,r^{d-1}r^{-(d+\sigma)} = \int^\infty dr\,r^{-1-\sigma} \]

对 \(\sigma>0\) 收敛，所以热力学响应仍然有限。

临界点处要比较两个幂律。集体临界涨落给出

\[ G_c(r)\sim r^{-(d-2+\eta)}. \]

裸尾巴给出

\[ G_{\rm tail}(r)\sim r^{-(d+\sigma)}. \]

谁衰减更慢，谁主导 leading behavior。长程 fixed point 的常见结果是

\[ \eta_{\rm LR}=2-\sigma, \]

因此

\[ G_c(r)\sim r^{-(d-\sigma)}, \]

它比

\[ r^{-(d+\sigma)} \]

慢得多。此时裸尾巴仍可能作为 subleading correction 存在。

低温相也要分情况。离散对称性有序相中，普通关联函数有平台

\[ G(r)\to m^2, \]

所以应看连通关联函数：

\[ G_c(r)=G(r)-m^2. \]

它往往会继承 \(r^{-(d+\sigma)}\) 裸尾巴。连续对称性低温相还会有 Goldstone mode；若 Goldstone 贡献衰减更慢，leading 行为由 Goldstone 模决定，裸长程尾巴只是背景修正。

数值上不要只看 log-log 图。更清楚的诊断是补偿量：

\[ r^{d+\sigma}G_c(r). \]

如果进入裸长程尾巴区，它会趋向一个温度相关平台。平台高度随 \(T\) 变化；平台存在说明最终指数由 \(d+\sigma\) 控制。

体积标度区域

某些区域中，系统没有普通连续相变，或者有限尺寸响应更接近 first-order-like 的体积主导行为。这时常看到

\[ \chi_{\max}\sim L^d, \qquad C_{\max}\sim L^d. \]

若仍用有限尺寸标度关系

\[ \chi\sim L^{2y_h-d}, \qquad C\sim L^{2y_t-d}, \]

则得到

\[ 2y_h-d=d, \qquad 2y_t-d=d. \]

因此

\[ \boxed{ y_h=d,\qquad y_t=d. } \]

这组指数应理解为体积主导响应的有限尺寸标度，而不是普通相互作用固定点的非平庸临界指数。

这句话容易被误读。\(y_t=d,y_h=d\) 并不是在说出现了一个神秘的新局域场论固定点；它只是说若峰值响应按体积 \(L^d\) 增长，那么把它强行写进普通有限尺寸标度公式时，会得到这组有效指数。它常用于描述 first-order-like、完全图型或强平均场有限尺寸行为。使用时应同时说明观测量、尺寸范围和相变性质。

与几何观测量的关系

在 FK 或 percolation 表象中，磁化率常与 cluster 大小矩有关。若最大 cluster 大小满足

\[ C_1\sim L^{d_F}, \]

而磁化率满足

\[ \chi\sim L^{2y_h-d}, \]

则许多情形下有几何关系

\[ d_F=y_h. \]

这说明几何观测量不只是可视化工具，也能作为普适类的敏感探针。对于长程模型，某些无量纲几何量如 wrapping probability、cluster 半径分布、loop 分形维度，可能比热力学指数更容易分辨 crossover。

非局域核的一个类比

启发性类比：self-attention

下面的 self-attention 类比只用于帮助理解“非局域核”这个结构。它不是 Monte Carlo 算法或临界理论的一部分，也不应被当作普适类判断依据。

长程相互作用的共同结构是：一个位置可以直接和许多远处位置耦合。这个思想在其他领域也会出现。例如 self-attention 中，对固定位置 \(i\)，权重为

\[ A_{ij} = \frac{ \exp(Q_i\cdot K_j/\sqrt{d_k}) }{ \sum_m\exp(Q_i\cdot K_m/\sqrt{d_k}) }. \]

若定义

\[ E_{ij}=-\frac{Q_i\cdot K_j}{\sqrt{d_k}}, \]

则

\[ A_{ij} = \frac{e^{-E_{ij}}}{\sum_m e^{-E_{im}}}. \]

这在形式上像一个条件 Boltzmann 分布。它提示我们：非局域核可以被看成一种位置依赖的有效相互作用或条件配分函数。

这个类比只用于直觉。self-attention 不是平衡统计模型，权重由数据和网络参数动态生成，也没有固定的哈密顿量和热力学极限。但它说明“非局域耦合 + 归一化权重 + 有效相互作用核”是一种很普遍的数学结构。

因此这段不应拿来推导 Monte Carlo 的临界指数。它更像一个提醒：长程问题的数学核心是非局域核，而非局域核也会出现在统计物理以外的模型中。真正进入临界理论主线的，仍然是固定哈密顿量、平衡权重和可定义热力学极限的长程格点系统。

小结

长程相互作用改变普适类，主要通过三件事：

1. 传播子从 \(k^2\) 变成 \(k^\sigma\)。
2. 场和 coupling 的 scaling dimension 随 \(\sigma\) 改变。
3. 有限尺寸和周期边界下，尾部相互作用带来更强的定义依赖和修正项。

因此研究长程模型时，要同时说明相互作用定义、边界处理、算法加速和有限尺寸标度方案。