Regularized Bulk Universality versus Bounded-Disorder Nonuniversality for Annealed Complexity of Spherical $p$-Spin Landscapes

技术摘要：正则化体量普适性与有界无序非普适性之对比：球面 $p$-Spin 景观的退火复杂度研究

1. 问题陈述
本文研究了当无序张量项为非高斯分布时，球面 $p$-spin 哈密顿量（$p \ge 3$）的退火复杂度（即期望临界点数量的指数速率）的普适性。具体而言，本文探讨了匹配有限个无序分布阶矩以达到标准高斯分布，是否足以保证退火复杂度与高斯极限一致。

文中识别出的核心张力存在于两个机制之间：

1. 正则化体量普适性（Regularized Bulk Universality）： 当临界点计数被“正则化”（通过软化器进行平滑，并限制在坐标去定域化的“非相干”框架内）时的行为。
2. 未正则化非普适性（Unregularized Nonuniversality）： 在紧致能量窗口内，原始、未正则化的临界点计数的行为，该计数可能由稀有的、定域化的事件（尖峰或相干块）所主导，而这些事件在有限阶矩匹配中是不可见的。

2. 研究方法
作者结合使用了概率不变性原理、大偏差理论以及球面景观的几何分析。

• 乘性林德伯格原理（Multiplicative Lindeberg Principle）： 不同于标准的加性不变性原理，本文开发了一种针对 Kac–Rice 分配函数的“乘性”比较方法。这是必要的，因为分配函数本身随 $N$ 指数级增长。该方法使用乘积混合路径（product-mixture path）在非高斯无序与高斯无序之间进行插值，从而保持张量坐标的聚合影响预算。
• 非相干框架（Incoherent Frames）： 分析将 Kac–Rice 泛函限制在基向量分量较小的框架（非相干框架）内。这确保了没有任何单个张量坐标会对梯度或黑塞矩阵（Hessian）产生主导性影响，从而允许在矩匹配条件下进行普适性证明。
• 去正则化缺陷（De-regularization Defects）： 文中定义了“去正则化缺陷”来量化正则化（平滑后）压力与精确的、未正则化的临界点计数之间的差距。这些缺陷衡量了当平滑参数趋于零时，正则化泛函捕捉精确计数的失败程度。
• 反例构建： 为了证明非普适性，作者构建了特定的光滑、紧支撑概率律，这些概率律匹配高达 $2p$ 阶（或任何有限阶）的高斯矩，但具有特定的尾部行为或“凸起”结构。
• 定域化障碍（Localized Obstructions）： 本文分析了破坏未正则化设定下普适性的两种机制：
  • 单尖峰分支（One-spike branch）： 单个大小为 $O(\sqrt{N})$ 的条目创造了一个局部极大值。
  • 中观相干块（Mesoscopic coherent block）： 一个由 $O(N^{1/p})$ 个坐标组成的块通过对齐创造了一个秩为一的能量剖面。

3. 核心贡献与结果

A. 正则化体量普适性（无条件）
本文证明了对于非相干框架下的正则化 Kac–Rice 泛函，在相对较弱的条件下普适性成立：

• 矩匹配： 如果无序坐标匹配前 $m$ 个高斯矩并满足一致的亚指数尾部界限，则对于所有 $p \ge 3$ 且 $m \ge 2$ 的情况，正则化退火压力均收敛至高斯极限。
• 比例收敛： 若满足 $(m-1)(p-2) > 2$，则非高斯与高斯期望的比值趋于 1。值得注意的是，对于 $p \ge 5$，仅匹配均值和方差（$m=2$）便足以实现比例普适性。
• 鲁棒性： 这些结果对于有序张量模型和标准对称坐标模型均成立，并在特定条件下可推广至 Weibull 尾部分布。
• 变分极限： 高斯极限通过一个涉及半圆律和 Kac–Rice 复杂度势能 $\theta_p(u)$ 的一维变分公式被明确给出。

B. 未正则化非普适性（反例）
本文证明了有限阶矩匹配对于未正则化计数是不足够的：

• 有界无序共存： 存在对称、紧支撑、光滑的概率律，其匹配高达 $2p$ 阶（及任何有限阶）的高斯矩，使得：
  • 正则化期望比值收敛于 1（即正则化观测量满足普适性）。
  • 在紧致高能窗口内的未正则化期望临界点计数，其指数速率严格大于高斯极限。
• 失效机制：
  • 单尖峰： 若无序律的尾部足够重（例如更宽的高斯尾部或特定的凸起），一个大小为 $a\sqrt{N}$ 的条目可以创造一个局部极大值，其代价（指数成本）低于高斯代价。
  • 相干块： 一个由 $O(N^{1/p})$ 个坐标组成的块落入特定有界区间，可以创造一个速度为 $N$ 的概率成本，该成本超过了高斯速率。即使无序是有界的（即条目被一致限制在 $N^{1/2-\epsilon}$ 内），这种障碍依然存在。
• 含义： 没有任何预设的有限阶矩集能够强制要求空间不受限的、未正则化的退火计数遵循高斯能量窗口速率。

C. 向精确普适性的条件归约
本文并非声称对于一般非高斯无序具有精确普适性，而是提供了一个定量归约：

• 缺陷分析： 精确普适性等价于两个单侧“去正则化缺陷”（衡量用正则化泛函近似硬性 Kac–Rice 切片的误差）的消失，以及对“定域补集”（不在非相干区域内的临界点）的控制。
• 充分必要条件： 如果缺陷消失，则精确复杂度由体量压力与定域分支压力的最大值决定。本文展示了在构建的反例中，定域分支占据主导地位，从而阻止了普适性的实现。

4. 重要性与主张
本文阐明了随机矩阵与自旋玻璃理论中不同领域内矩匹配的不同角色：

• 与热力学的区别： 虽然在球面模型中，有限 $2p$ 阶矩对于热力学观测量（自由能、基态）是精确的，但本文证明它们对于退火复杂度是不足够的。复杂度对“中观”相干偏差和二次尺度尾部具有敏感性，而这些因素不会影响自由能。
• 正则化 vs. 现实： 结果强调了景观中的一种二分法：其“体量”（去定域化、正则化）是普适的，但“边缘”或稀有的定域事件（未正则化）保留了对特定无序律的依赖。
• 局限性： 作者明确指出，本文并未证明完全的淬火（quenched）普适性定理。反例依赖于稀有事件（概率为 $e^{-O(N)}$），这些事件主导了退火期望，但可能不会影响典型的（淬火）行为。此外，本文并未断言非高斯极限的存在；仅证明了严格的速率分离。
• 开放问题： 本文指出，控制“混合剖面”（同时具有定域和去定域质量的点）的分支，以及证明一般非高斯无序下去正则化缺陷的消失，是实现完整精确普适性定理所需的开放问题。

总而言之，这项工作建立了正则化体量观测量与未正则化临界点计数之间的严格分离，证明了由于定域化相干障碍的存在，有限阶矩匹配无法控制退火复杂度。