[论文解读] On the unbalanced cut problem and the generalized Sherrington-Kirkpatrick model

Aukosh Jagannath, Subhabrata Sen|arXiv (Cornell University)|Jul 27, 2017

Topological and Geometric Data Analysis参考文献 51被引用 3

一句话总结

该论文通过广义 $ p $-自旋玻璃模型的变分表示，结合 $ \Gamma $-收敛与插值技术，严格建立了稀疏 Erdős-Rényi 随机图上非平衡割问题的渐近不等式，表明其最大割值严格大于相同平均度数的随机正则图，差异量级为 $ C(\alpha)\sqrt{d}N $，其中 $ \alpha < 1/2 $。该结果源自统计物理与组合优化之间的联系。

ABSTRACT

We establish a strict asymptotic inequality between a class of graph partition problems on the sparse End\H{o]s-Rényi and random regular graph ensembles with the same average degree. Along the way, we establish a variational representation for the ground state energy for generalized mixed $p$-spin glasses and derive strict comparison inequalities for such models as the alphabet changes.

研究动机与目标

• 比较两种典型随机图系综——稀疏 Erdős-Rényi 图与随机正则图——中非平衡割问题的渐近行为。
• 在度数趋于无穷的极限下，为这两种系综之间最大 $ \alpha $-割的差异建立严格正的下界。
• 形式化组合图划分与广义 Sherrington-Kirkpatrick 自旋玻璃模型基态能量之间的联系。
• 推导广义 $ p $-自旋玻璃哈密顿量在系统字母表变化下的变分表示与比较不等式。
• 利用统计力学与随机分析工具，为图割问题的平均场近似提供严格的理论基础。

提出的方法

• 利用插值哈密顿量框架，比较不同图系综上 $ p $-自旋玻璃模型的基态能量。
• 应用高斯分部积分，推导自由能的微分不等式，表明其在插值参数 $ t \in [0,1] $ 上的单调性。
• 通过在磁化区间上对归一化最大能量应用超可加性论证，证明极限自由能的收敛性。
• 通过覆盖论证与高斯过程的矩界，建立极限自由能函数的连续性与凹性。
• 利用 $ \Gamma $-收敛与变分表示，将图割问题与广义 $ p $-自旋玻璃的基态能量联系起来。
• 在 $ \eta \to 0 $ 的极限过程中定义极限自由能 $ G(a) $，其在 $ [-1,1] $ 上连续且凹。

实验结果

研究问题

• RQ1 对于 $ \alpha < 1/2 $，稀疏 Erdős-Rényi 图上的最大 $ \alpha $-割是否严格大于随机正则图上的值？若成立，其差距如何？
• RQ2 非平衡割问题能否被严格关联至广义 $ p $-自旋玻璃模型的基态能量？
• RQ3 当平均度数 $ d \to \infty $ 时，Erdős-Rényi 图与随机正则图之间最大割值的差异具有何种渐近行为？
• RQ4 是否存在对两种系综之间最大割值归一化差异的严格正下界？
• RQ5 在系统字母表或配置空间变化下，能否为广义 $ p $-自旋玻璃模型推导出变分表示与比较不等式？

主要发现

• 对于任意 $ 0 < \alpha < 1/2 $，存在常数 $ C(\alpha) > 0 $，使得 Erdős-Rényi 图与随机正则图之间最大 $ \alpha $-割的差异满足严格下界：\[ \varliminf_{d\to\infty}\varliminf_{N\to\infty}\frac{{\sf MCUT}_{\alpha}(G(N,\frac{d}{N})) - {\sf MCUT}_{\alpha}(G^{\rm Reg}(N,d))}{\sqrt{d}N} \geq C(\alpha) \] 几乎必然成立。
• 在大度数极限下，割值差异严格为正，表明随机正则图的结构刚性导致其在非平衡割问题中性能次优，劣于 Erdős-Rényi 图。
• 广义 Sherrington-Kirkpatrick 模型的基态能量具有变分表示，使得在系统字母表或配置空间变化时，可导出严格比较不等式。
• 极限自由能函数 $ G(a) $（表示磁化区间上归一化最大能量）在 $ [-1,1] $ 上连续且凹，且当 $ \eta \to 0 $ 时具有明确的逐点极限。
• 该方法自然提出关于精确常数 $ C(\alpha) $ 的猜想，其预期与某泛函 $ \mathcal{P}_{T} $ 的极小化子相关，但本文未声称此即精确值。
• 对于最小 $ \alpha $-割问题，结果方向反转，因同一变分结构导致不等式方向相反。