arXivDaily arXiv每日学术速递 周一至周五更新
稍安勿躁,官方尚未更新
arXiv 2602.20103math.OC
收藏

交替方向乘子法在半正定规划中的局部二次极限动力学

Local Second-Order Limit Dynamics of the Alternating Direction Method of Multipliers for Semidefinite Programming

School of Engineering and Applied Sciences, Harvard University(哈佛大学生物工程与应用科学学院)

Shucheng Kang, Heng Yang

AI总结:

本文提出了一种局部二次极限动力学框架,用于分析ADMM在半正定规划中的收敛行为,揭示了ADMM在缓慢收敛区域中的动态特性及影响因素。

摘要:

交替方向乘子法(ADMM)被广泛用于求解大规模半正定规划(SDP)问题,但在存在多个对偶最优解对的实例中,它常常进入长时间缓慢收敛的区域,其中Karush-Kuhn-Tucker(KKT)残差几乎停滞。为了解释和预测这些区域内的精细动态行为,我们开发了一个局部二次极限动力学框架,用于ADMM在任意KKT点附近——不一定是迭代的最终极限点。假设存在严格互补的对偶-原解对,我们通过利用改进和简化的变分特征,对(抛物线)二次方向导数的PSD投影算子进行了变分刻画,推导出ADMM动态的二次局部展开。该展开揭示了一个闭合的凸锥方向,其中局部一次更新消失,并诱导了一个二次极限映射,该映射在瞬态效应被滤除后支配持续漂移。我们表征了该映射的基本性质,包括其核、范围和连续性。原对解耦进一步得出ADMM中惩罚参数效应的清晰缩放定律。我们将这些性质与ADMM的二次动态特征联系起来,包括固定点、几乎不变集和微观相。三个缓慢收敛区域中的经验现象随后被解释或预测:(i)连续迭代差之间的角度很小但非零,除了稀疏尖峰;(ii)原问题和对偶问题不相容性对惩罚参数更新不敏感;(iii)迭代可以在低维子空间中短暂被困一段时间。在Mittelmann数据集上的大量数值实验验证了我们的理论预测。

英文摘要:

The alternating direction method of multipliers (ADMM) is widely used for solving large-scale semidefinite programs (SDPs), yet on instances with multiple primal-dual optimal solution pairs, it often enters prolonged slow-convergence regions where the Karush-Kuhn-Tucker (KKT) residuals nearly stall. To explain and predict the fine-grained dynamical behavior inside these regions, we develop a local second-order limit dynamics framework for ADMM near an arbitrary KKT point -- not necessarily the eventual limit point of the iterates. Assuming the existence of a strictly complementary primal-dual solution pair, we derive a second-order local expansion of the ADMM dynamics by leveraging a refined and simplified variational characterization of the (parabolic) second-order directional derivative of the PSD projection operator. This expansion reveals a closed convex cone of directions along which the local first-order update vanishes, and it induces a second-order limit map that governs the persistent drift after transient effects are filtered out. We characterize fundamental properties of this mapping, including its kernel, range, and continuity. A primal-dual decoupling further yields a clean scaling law for the effect of the penalty parameter in ADMM. We connect these properties to second-order dynamical features of ADMM, including fixed points, almost-invariant sets, and microscopic phases. Three empirical phenomena in slow-convergence regions are then explained or predicted: (i) angles between consecutive iterate differences are small yet nonzero, except for sparse spikes; (ii) primal and dual infeasibilities are insensitive to penalty-parameter updates; and (iii) iterates can be transiently trapped in a low-dimensional subspace for an extended period. Extensive numerical experiments on the Mittelmann dataset corroborate our theoretical predictions.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑