[论文解读] Krivine diffusions attain the Goemans--Williamson approximation ratio

Ronen Eldan, Assaf Naor|arXiv (Cornell University)|Jun 25, 2019

Stochastic processes and statistical mechanics参考文献 10被引用 7

一句话总结

本文证明，一种减慢的黏性布朗运动（Krivine扩散的特定实例）可实现Goemans–Williamson对MAXCUT问题的近似比。通过将时间改变的布朗运动的符号与高维向量的最优舍入方式关联，作者证明了所得符号的期望相关性通过Grothendieck恒等式匹配著名的$π/2$-近似比。

ABSTRACT

Answering a question of Abbasi-Zadeh, Bansal, Guruganesh, Nikolov, Schwartz and Singh (2018), we prove the existence of a slowed-down sticky Brownian motion whose induced rounding for MAXCUT attains the Goemans--Williamson approximation ratio. This is an especially simple particular case of the general rounding framework of Krivine diffusions that we investigate elsewhere.

研究动机与目标

• 解决Abbasi-Zadeh等人（2018年）提出的开放问题：是否存在一种能实现Goemans–Williamson近似比的随机舍入过程。
• 证明减慢的黏性布朗运动可诱导出一种MAXCUT舍入方案，其近似比与最优值一致。
• 即使该结果属于Krivine扩散更广泛框架的一部分，仍提供一个自包含的证明作为独立贡献。
• 通过Itô微积分与鞅表示法，建立随机过程与组合优化之间的联系。

提出的方法

• 该方法采用通过随机积分$\int_0^t e^{-s/2} \langle x, dB(s) \rangle$定义的时间改变布朗运动$Z_x(t)$，当$t \to \infty$时，该过程几乎必然收敛到一个高斯随机变量。
• 证明$Z_x(\infty)$具有与单位向量$u, v$的内积$\langle u, v \rangle$相同的协方差结构，从而可利用Grothendieck恒等式计算期望符号相关性。
• 将$Z_x(\infty)$的符号与一个鞅$M_u(t)$关联，该鞅通过条件期望推导得出，并证明其满足与Krivine扩散过程$W_u(t)$相同的SDE。
• 应用Itô公式推导$M_u(t)$的SDE，揭示其漂移系数$\xi$与标准正态分布CDF相关，与Krivine扩散的动力学一致。
• 利用Itô定理对SDE解的唯一性，将$M_u(t)$与$W_u(t)$等同，从而推出极限符号过程$\sigma_u$与$\mathrm{sign}(Z_u(\infty))$同分布。
• 关键恒等式$\mathbb{E}[\mathrm{sign}(Z_u(\infty))\mathrm{sign}(Z_v(\infty))] = \frac{2}{\pi}\arcsin(\langle u,v\rangle)$被用于确认近似比。

实验结果

研究问题

• RQ1 基于扩散的随机舍入过程能否实现Goemans–Williamson对MAXCUT的近似比？
• RQ2 减慢的黏性布朗运动是否诱导出一种舍入方案，使其达到最优的$\frac{2}{\pi}$-近似比？
• RQ3 由时间改变布朗运动导出的符号过程是否在分布上等价于通过Krivine扩散获得的符号过程？
• RQ4 能否通过Itô微积分与鞅理论，形式化随机过程与组合优化之间的联系？
• RQ5 在SDE中使用时变扩散系数是否能导出一种与已知最优界一致的舍入方法？

主要发现

• 由Krivine扩散$W_u(t)$诱导的符号过程$\sigma_u$以几乎必然收敛于$\mathrm{sign}(Z_u(\infty))$，确保其具有相同的分布行为。
• 符号期望相关性$\mathbb{E}[\sigma_u \sigma_v]$等于$\frac{2}{\pi}\arcsin(\langle u,v\rangle)$，这正是实现Goemans–Williamson近似比所必需的确切值。
• 过程$M_u(t) = \mathbb{E}[\mathrm{sign}(Z_u(\infty)) \mid \mathcal{F}_t]$满足与$W_u(t)$相同的SDE，由路径唯一性可推出对所有$t$有$W_u(t) = M_u(t)$。
• 通过Itô公式推导出$M_u(t)$的SDE，揭示其漂移系数$\xi$依赖于标准正态分布CDF，与Krivine扩散动力学一致。
• 因此，极限符号过程$\sigma_u$被证明与$\mathrm{sign}(Z_u(\infty))$同分布，确认了舍入方案的最优性。
• 该结果证实，Krivine扩散可实现MAXCUT的最佳已知近似比，解决了该领域的一个开放问题。