混合 p-spin Ising 自旋玻璃自由能上大偏差由什么承载？

TAP 最大值在每个速率下承载自由能

论文的第一个结果在自由能本身的层面上回答了标题中的问题。设 M_N 为 Chen、Panchenko 和 Subag 的广义 TAP 自由能 F_TAP 在立方体 [-1,1]^N 上的最大值，log Z_N 为混合 p-spin Ising 自旋玻璃的对数配分函数。在条件 (R)（协方差级数的收敛半径大于一）下，论文证明 M_N 几乎必然可达，且对每个 t > 0，|M_N - log Z_N| 超过 tN 的概率以最大指数速率衰减：N^{-1} log P(|M_N - log Z_N| > tN) 的极限等于 -1。

这一陈述强于 Chen、Panchenko 和 Subag 早先的带定理，后者只在概率为 e^{-c(t)N}（某个正数 c(t)）的事件之外给出同样的比较。论文需要比较在每个指数速率下都成立，因为这样才能让大偏差陈述在 M_N 与 log Z_N 之间双向传递。证明结合了带定理与 Ramsey 定理，后者对每个无序实现找到一个重叠水平，使 Gibbs 测度在副本重心周围的带中放入一个与 N 无关的下界质量。

同一定理的第二部分传递了大偏差原理本身：N^{-1} M_N 以速度 N 满足具有良好速率函数的大偏差原理，当且仅当 N^{-1} log Z_N 满足，且此时两个速率函数相同。该定理尚未说明 F_TAP 的最大值位于何处、在哪个自重叠处，或它们是否为某个 TAP 函数的临界点；证明中使用的重心位于一个依赖于实现的重叠水平。其余结果回答了这些问题。

临界点无需严格 Plefka 条件即可存在

论文的第二个主要结果定位了偏离态。对 Chen、Panchenko 和 Subag 使用的类 C 中的 ξ，F_TAP 在立方体上的每个最大值点 x* 都位于内部 (-1,1)^N；若 ζ* 是 x* 处序参量泛函的唯一极小元，则 F_{ζ*} 在该处连续可微、梯度为零，且 F_{ζ*}(x*) = F_TAP(x*) = M_N。因此最大值点本身就是一个见证：一对 (ζ, x) 满足 ∇F_ζ(x) = 0，且其 TAP 值处于同一水平。

论文随后证明，这样的广义 TAP 临界点在区间 (f_eq, f_1) 中的每个上水平 f 处以自由能速率存在，其中 f_eq 是极限自由能，f_1 是偏离指数有限的区间的右端点。这正是论文移除 Boursier 所用假设之处：她的定理要求第一个正接触点是严格 Plefka 稳定的，而论文证明对 C 中的凸混合，严格 Plefka 条件和正则性假设都可以去掉。区间 (f_eq, f_1) 中的每个水平都是正则的，具有唯一的极小元 θ_f ∈ (0,1)，并且允许边缘首次接触。

论文明确指出这里的存在性并非初等。通过传递定理，水平 f 处近最大值点概率的下界蕴含分数矩公式在 (θ*, 1) 上的下半部分；反之，给定上半部分，存在性陈述等价于该下界。对凸 ξ，上半部分是 Guerra 界；对偶 ξ，下半部分归功于 Talagrand；对非偶的凸 ξ，论文从其稳定性结果背后的 Kac-Rice 构造推导出下半部分。论文还指出，它产生的临界点是 F_{ζ*} 的临界点，其序参量依赖于该点；它们未被证明是孤立的、严格稳定的，或是固定函数 F_{ζ_f} 的临界点。

近最大值点定位于障碍的接触集

为描述罕见态的几何，论文读取了 Parisi 泛函在约束极小元 ζ_f 处的一阶变分。障碍 O_ζ 由从 t 到 1 积分 ξ''(s)(Γ_ζ(s) - s) 定义，其中 Γ_ζ(t) 是 ∂_x Φ_ζ(t, X_t) 沿 Auffinger-Chen 过程的二阶矩。Parisi 泛函沿测度 μ 方向的一阶变分是 O_ζ 对 (μ - ζ) 的积分，因此障碍的极小元是移动质量最便宜的位置。接触集 C_f 是 O 在 (0,1] 上的 argmin；它是 (0,1) 的非空紧子集，包含 ζ_f 远离端点的支撑，且 O(0) 严格大于最小值。

论文的第三个定理指出，在一个指数阶更小的事件之外，水平 f 处的近最大值点位于该接触集附近。同一定理给出了场律：∂_x Φ_{ζ_f}(q, X_q) 沿 Auffinger-Chen 过程的分布，其二阶矩 Γ_{ζ_f}(q) 在每个接触点处等于 q，因为 O' 在该处为零。这就是摘要中提到的 Auffinger-Chen 场律。

接触集也是定义 Plefka 因子的地方。记 a_Q = ξ''(Q)，U_Q = ∂²_x Φ_{ζ_f}(Q, X_Q)，χ_Q = E U_Q，Δ(Q) = 1 - a_Q E U_Q²，论文证明在接触点 Q ∈ C_f 处障碍二阶可微，且 O''(Q) = (1/2) a_Q Δ(Q) ≥ 0，因为 Q 是内部极小点。因此 Plefka 不等式 Δ ≥ 0 在接触集上成立。当 Δ(Q) > 0 时接触点是严格 Plefka 稳定的，当 Δ(Q) = 0 时是边缘的，意味着障碍在该处二阶平坦。这一区分很重要，因为严格条件正是论文能够对凸混合移除的。

Hessian 主体遵循反射 Pastur 律

第三个定理的第四部分描述了这些罕见态处 TAP 函数的曲率。对 a ≥ 0 和 [0,1) 上的概率测度 ρ，反射 Pastur 律 ν[a, ρ] 是实数轴上唯一的概率测度，其 Cauchy 变换 g 对上半平面中每个 z 满足 g(z) = ∫ ρ(dD) / (z + D - a g(z))。论文证明该律作为 √a W_N D_N 的经验谱分布的极限出现，其中 W_N 是非对角方差为 1/N 的 GOE 矩阵，D_N 是对角矩阵，其经验谱分布收敛到 ρ。

在接触点 Q 处，论文定义 ρ_Q 为 U_Q^{-1} + a_Q χ_Q 的分布，ν_Q 为反射 Pastur 律 ν[a_Q, ρ_Q]，λ_+(Q) 为其支撑的上确界。罕见 TAP 态处的 Hessian 主体接近该反射 Pastur 律，其边缘 λ_+(Q) 非正。该边缘恰好在障碍二阶平坦的接触点处消失，即在 Δ(Q) = 0 的边缘接触点处。这就是在该模型中边缘稳定性与谱边缘位置是同一现象的精确含义。

论文还记录了条件临界点附近的严格 Hessian 界：对测度 π 和水平 h，小宽度的容许数据以趋于一的概率具有远离零的单侧 Hessian，只要某个 Schur 补 S(π, h) 为负。在接触点的数据处，Schur 补有显式值 S(π_0, h_0) = q a θ Δ_0 - q Δ_0² / υ_0，当 Δ_0 > 0 时严格为负。当 Δ_0 = 0 时，论文用小的 η 扰动测度，并证明对每个 L ≥ L_S = (C_S + 1)/|A_2| 有 S(π_η, h_η) ≤ -η，同时 Δ_η = a η E_0 R² > 0。这就是边缘情形被处理而非被假设掉的方式。

固定稳定性裕度付出指数速率代价

论文的第五个结果量化了稳定性的代价。当每个接触点都是边缘的，即障碍在接触集每一点处二阶平坦时，要求一个固定的稳定性裕度会付出速率代价：找到具有该裕度的近最大值点的概率比在水平本身找到近最大值点的概率指数级更小。摘要将其表述为：当每个接触点都是这种类型时，固定稳定性裕度付出速率代价。

这是将接触集的局部几何与事件的指数代价联系起来的结果。它也解释了为什么严格 Plefka 条件是一个自然要尝试移除的假设：在边缘首次接触点处严格条件不成立，而论文对 M_N 的传递论证完全不需要 Hessian 估计，只需要扰动与未扰动 TAP 函数的确定性比较，以及扰动场的显式高斯尾界。论文指出 Boursier 使用了相同的扰动，但在严格 Plefka 条件下传递保留的临界点，而该条件在边缘首次接触点处失效。

所使用的扰动是一个小的偶次项：ξ_γ(t) = ξ(t) + γ² t^l，H^γ_N = H_N + γ H^{(l)}_N，其中 d_γ = l γ²。协方差的比较给出对每个实现和每个 x 有 |F^γ_TAP(x) - F_TAP(x) - γ H^{(l)}_N(x)| ≤ d_γ N，从而 |M^γ_N - M_N| ≤ γ S_N + d_γ N，其中 S_N 是扰动场的上确界。极限顺序是固定的：固定 f 和 ε，选择 γ，令 N 趋于无穷，然后才令 γ 减小到零。没有任何估计需要对 γ 一致。

结果适用于何处以及止于何处

假设是逐条陈述的，它们对解读结论很重要。定理 1（M_N 与 log Z_N 之间的传递）只假设 (R)，即 ξ(t) = Σ_{p≥2} β_p² t^p 的收敛半径大于一。定理 3(i)-(ii) 和关于平衡水平的推论假设 (H)，即 ξ 满足 (R) 且在 [-1,1] 上凸。定理 2 假设 ξ 属于 Chen、Panchenko 和 Subag 的类 C，该类包含每个多项式并强制收敛半径至少为二。定理 3(iii)-(iv)、关于 Hessian 的推论和定理 5 同时假设 (H) 和 ξ ∈ C。

类 C 仅通过关于 Parisi 方程和 TAP 修正的引用事实进入；定理 2 的 (b) 部分和约束极小元的唯一性只需要 (R)。论文还指出，每个满足 (R) 的偶 ξ 在 [-1,1] 上凸，因为此时 ξ'' 是系数非负的偶次幂级数，所以 (H) 是 Boursier 的常设假设。在 (H) 下允许奇次项，但具有奇次项的凸 ξ 至少有两个活跃次数，因为单个奇次单项式在 [-1,1] 上不凸。具有一个活跃次数的凸协方差是 Sherrington-Kirkpatrick 模型 ξ(t) = β² t² 和纯偶 p-spin 模型。

结果针对开区间 (f_eq, f_1) 中的水平 f 陈述。该区间非空当且仅当 θ* = ζ_P({0}) 小于一，当 Parisi 测度为 δ_0 时为空。对 f ≥ f_1，论文只有上界 P(N^{-1} log Z_N ≥ f) ≤ e^{N Σ(f)}，它由 Markov 不等式和 E Z_N = e^{N ξ(1)/2} 对每个 N 成立；在这些水平上，定义 Σ(f) 的下确界在 θ = 1 处取得，且 Σ(f) = ξ(1)/2 - f。论文通篇处理 f ∈ (f_eq, f_1)。

论文还标明了它的临界点不是什么。定理 2(a) 的点是 F_{ζ*} 的临界点，其序参量 ζ* 依赖于该点；它们未被证明是孤立的、严格稳定的，或是固定函数 F_{ζ_f} 的临界点。对具有至少两个活跃次数的凸 ξ，定理 5(a) 提供 F_{ζ_f} 的临界点，它们在速率任意接近 Σ(f) 处局部强凹，因而孤立。论文还指出，对所有对 (ζ, x) 量化的事件未必可测，因此 P 在下界中表示内概率，在上界中表示外概率，且每个陈述的极限等式对两者都成立。

边缘接触是改变图景的情形

本文中最具决策相关性的区分是严格 Plefka 稳定接触与边缘接触。Boursier 早先的工作在严格 Plefka 条件下证明了相应的存在性和速率陈述，该条件要求第一个正接触点处 Δ(Q) > 0，她预期严格性可以移除。本文证明对 C 中的凸混合它确实可以移除：区间 (f_eq, f_1) 中的每个水平都是正则的，并且允许边缘首次接触。论文指出边缘首次接触实际出现的两个情形：低温下 Sherrington-Kirkpatrick 模型在所有接近 f_eq 的水平上，以及一族近临界 2 + 4 混合中一个区间的水平上。

第二个区分是论文证明具有相同大偏差的两个对象。M_N 是序参量下确界在立方体上的最大值，而 log Z_N 是对数配分函数；传递定理使它们的大偏差速率函数相同，且传递是双向的。论文谨慎地指出，这本身并不定位最大值点，这就是为什么定位、场律和 Hessian 结果是独立的定理，而不是传递的推论。

第三个区分是水平 f 与稳定性裕度之间的区分。论文的稳定性结果表明，在边缘接触点处要求固定裕度会付出指数速率代价，因此承载偏离的态不是稳定态而是边缘态。对决定研究哪个区域的读者，论文自身的情景划分是：C 中凸混合在 (f_eq, f_1) 中的水平，允许边缘接触且速率为 Σ(f)；在 f_1 或以上的水平，只有 Markov 上界可用；以及严格 Plefka 情形，论文将其纳入而非取代。论文的贡献在于表明边缘情形不是退化例外，而正是早先严格条件所排除的情形。

本文引用的文献