Paper: 2604.26932 Authors: Junan Lin, Paul J. Goulart, Luca Furieri Categories: math.OC, cs.LG
The Gap
ADMM is the workhorse for structured convex optimization, but its performance hinges on two knobs: penalty parameter ρ and relaxation parameter α. Practitioners know this. The problem: tuning ρ requires expensive matrix refactorizations in solvers like OSQP, while α is cheap to update but lacks principled tuning methods. Prior work focused on learning ρ schedules, accepting the computational cost. In settings like Model Predictive Control, where you solve thousands of similar problems in sequence, this cost compounds.
The gap: no one had shown how to learn α policies with convergence guarantees, nor demonstrated that learned α schedules could outperform fixed choices without sacrificing theoretical safety.
Problem: ADMM performance depends on (ρ, α) tuning
|
+---> Prior work: Learn ρ schedules
| Limitation: Expensive refactorizations
|
+---> This paper: Learn α schedules
Assumption: Time-varying (ρ, α) can converge
Method: Policy learning + theoretical analysis
Evidence: Faster convergence on QP benchmarks
Conclusion: α-tuning is computationally cheaper
and theoretically sound
The Increment
One sentence: Before this paper, ADMM parameter tuning meant choosing between expensive ρ updates or unprincipled α heuristics; after, you can learn α policies that provably converge and run faster.
Core Mechanism
The method has three components. First, a convergence analysis that extends classical ADMM theory to handle time-varying penalty and relaxation parameters under mild assumptions (bounded parameter sequences, sufficient penalty magnitude). This establishes the theoretical foundation.
Second, a policy learning framework that treats α selection as a sequential decision problem. At each iteration, a policy network observes problem state (primal/dual residuals, iterates) and outputs the next α value. The policy is trained offline on a distribution of related problems, then deployed online.
Third, an implementation strategy that exploits OSQP’s architecture. Since α updates don’t trigger matrix refactorizations (unlike ρ updates), the learned policy can adapt at every iteration with minimal overhead. The policy is trained via supervised learning on expert trajectories or reinforcement learning with convergence speed as reward.
Problem instance (QP parameters)
|
v
[ADMM Solver]
|
+----+----+
| |
v v
Primal Dual <--- State observation
residual residual at iteration k
| |
+----+----+
|
v
[Policy Network]
|
v
α(k+1) <--- Relaxation parameter
|
v
[ADMM Update] (no refactorization needed)
|
v
x(k+1), z(k+1), y(k+1)
Think of ADMM as a car navigating to a destination (the optimal solution). The penalty parameter ρ is like the car’s suspension stiffness—changing it requires pulling over and swapping parts (matrix refactorization). The relaxation parameter α is like the steering wheel angle—you can adjust it continuously while driving. Classical ADMM uses cruise control with fixed steering. This paper learns a driving policy that adjusts the steering based on road conditions (residuals), getting you there faster without stopping to change parts. The convergence proof is the safety certification that this adaptive steering won’t cause crashes.
Key Concepts
-
Over-relaxation in ADMM: Standard ADMM alternates between updating primal variable x, auxiliary variable z, and dual variable y. Over-relaxation means using a weighted combination of the new and old z values when updating y, controlled by parameter α. When α = 1, you get standard ADMM. When α
> 1, you “overshoot” the update, which can accelerate convergence if chosen well but destabilize if chosen poorly. Imagine pushing a swing: α = 1 is pushing at the natural frequency, α> 1is pushing harder to build amplitude faster, but push too hard (α too large) and you disrupt the rhythm. The trick is knowing when to push hard and when to ease off. -
Time-varying convergence analysis: Classical convergence proofs assume fixed parameters. Allowing parameters to change at every iteration breaks standard proof techniques because the contraction properties change over time. This paper shows convergence still holds if: (1) parameters stay within reasonable bounds, (2) the penalty stays large enough to maintain strong convexity, and (3) the relaxation doesn’t oscillate wildly. It’s like proving a car reaches its destination even if the driver adjusts steering continuously, by showing the adjustments are bounded and the car maintains forward progress.
-
Policy learning for optimization: Instead of hand-tuning α or using fixed schedules, train a neural network to map problem state to α values. The policy sees residuals (how far from optimality) and iterates (current position), then outputs α. Training uses either imitation learning (copy expert trajectories from grid search) or reinforcement learning (reward faster convergence). The key insight: in MPC and similar settings, you solve many structurally similar problems, so a policy learned on past problems generalizes to future ones.
Framework Shift
Before (fixed parameters): After (learned policy):
Problem --> [ADMM with Problem --> [ADMM with
fixed ρ, α] learned α(k)]
| |
v v
Slow convergence Fast convergence
or manual tuning + convergence proof
^
|
[Policy trained on
problem family]
From static parameter selection to adaptive policies, the core shift is treating parameter tuning as a learning problem over problem distributions rather than a per-instance optimization.
Expert Assessment
Problem choice: Real gap. MPC practitioners solve thousands of QPs per second with the same structure. Shaving iterations matters. The focus on α over ρ is clever—it exploits a computational asymmetry in existing solvers that others overlooked.
Method maturity: The convergence analysis is solid but not groundbreaking—it extends known results to time-varying parameters under reasonable assumptions. The policy learning is straightforward supervised/RL. The real contribution is showing these pieces fit together: you can learn α policies that work in practice and still converge in theory. No major algorithmic innovation, but good engineering insight.
Experimental integrity: Baselines are fair (OSQP with default and tuned fixed parameters). The benchmarks are standard QP test problems. Numbers show consistent improvement in iteration count and wall-clock time. One concern: the policy is trained and tested on similar problem distributions. Generalization to out-of-distribution problems is not thoroughly explored. The paper is honest about this limitation.
Writing quality: The convergence proof section is dense and could use more intuition before diving into technical conditions. The experimental section is clear. The related work undersells how much prior work exists on adaptive ADMM parameters—it focuses narrowly on learning-based methods and misses classical adaptive schemes. Rewriting Section 2 to better motivate why time-varying parameters are hard to analyze would strengthen the paper.
Verdict: weak accept — Solid incremental contribution with practical value, but limited novelty in individual components. The combination is useful and the convergence guarantees are non-trivial, but this won’t change how people think about optimization.
Takeaways
If you’re building a solver for repeated structured problems (MPC, online learning, real-time control), consider learning parameter schedules for cheap-to-update knobs. The pattern generalizes: identify which parameters are expensive to change (trigger refactorizations, recompilations) and which are cheap, then focus learning on the cheap ones. The convergence analysis technique—showing time-varying parameters converge under boundedness and sufficient regularization—is a template for analyzing other adaptive algorithms. For practitioners: if your solver has a relaxation parameter, try learning a simple policy (even a lookup table based on residual ratios) before investing in more complex tuning.
论文: 2604.26932 作者: Junan Lin, Paul J. Goulart, Luca Furieri 分类: math.OC, cs.LG
缺口
ADMM 是结构化凸优化的主力算法,但其性能取决于两个旋钮:惩罚参数 ρ 和松弛参数 α。
实践者都知道这一点。
问题在于:调整 ρ 需要在 OSQP 等求解器中进行昂贵的矩阵重分解,而 α 更新成本低廉却缺乏原则性的调优方法。
先前工作专注于学习 ρ 调度策略,接受了计算成本。
在模型预测控制等场景中,需要连续求解数千个相似问题,这种成本会累积。
缺口:没有人展示过如何学习带收敛保证的 α 策略,也没有证明学到的 α 调度能在不牺牲理论安全性的前提下超越固定选择。
问题:ADMM 性能依赖 (ρ, α) 调优
|
+---> 先前工作:学习 ρ 调度
| 局限:昂贵的重分解
|
+---> 本文:学习 α 调度
假设:时变 (ρ, α) 可收敛
方法:策略学习 + 理论分析
证据:QP 基准上更快收敛
结论:α 调优计算更便宜
且理论可靠
增量
一句话:这篇论文之前,ADMM 参数调优意味着在昂贵的 ρ 更新和无原则的 α 启发式之间选择;之后,你可以学习可证明收敛且运行更快的 α 策略。
核心机制
方法包含三个组件。
首先是收敛性分析,将经典 ADMM 理论扩展到在温和假设下(有界参数序列、足够的惩罚幅度)处理时变惩罚和松弛参数。
这建立了理论基础。
其次是策略学习框架,将 α 选择视为序列决策问题。
每次迭代时,策略网络观察问题状态(原始/对偶残差、迭代值)并输出下一个 α 值。
策略在相关问题的分布上离线训练,然后在线部署。
第三是利用 OSQP 架构的实现策略。
由于 α 更新不会触发矩阵重分解(不像 ρ 更新),学到的策略可以在每次迭代时以最小开销进行调整。
策略通过监督学习(基于专家轨迹)或强化学习(以收敛速度为奖励)训练。
问题实例(QP 参数)
|
v
[ADMM 求解器]
|
+----+----+
| |
v v
原始 对偶 <--- 第 k 次迭代的
残差 残差 状态观测
| |
+----+----+
|
v
[策略网络]
|
v
α(k+1) <--- 松弛参数
|
v
[ADMM 更新](无需重分解)
|
v
x(k+1), z(k+1), y(k+1)
把 ADMM 想象成一辆导航到目的地(最优解)的汽车。
惩罚参数 ρ 就像汽车的悬挂刚度——改变它需要停车换零件(矩阵重分解)。
松弛参数 α 就像方向盘角度——你可以在行驶中连续调整。
经典 ADMM 使用固定方向盘的定速巡航。
本文学习一个驾驶策略,根据路况(残差)调整方向盘,让你更快到达而无需停车换零件。
收敛性证明是安全认证,保证这种自适应转向不会导致事故。
关键概念
- ADMM 中的过松弛:标准 ADMM 在更新原始变量 x、辅助变量 z 和对偶变量 y 之间交替。
过松弛意味着在更新 y 时使用新旧 z 值的加权组合,由参数 α 控制。
当 α = 1 时,得到标准 ADMM。
当 α > 1 时,你”超调”更新,如果选择得当可以加速收敛,但选择不当会失稳。
想象推秋千:α = 1 是按自然频率推,α > 1 是更用力推以更快增加振幅,但推太猛(α 太大)会打乱节奏。
诀窍是知道何时用力推、何时放松。
- 时变收敛性分析:经典收敛性证明假设固定参数。
允许参数在每次迭代时变化会破坏标准证明技术,因为收缩性质随时间变化。
本文证明如果满足以下条件仍能收敛:(1) 参数保持在合理范围内,(2) 惩罚足够大以维持强凸性,(3) 松弛不会剧烈振荡。
这就像证明即使司机持续调整方向盘,汽车仍能到达目的地,通过证明调整是有界的且汽车保持前进。
- 优化的策略学习:不是手动调优 α 或使用固定调度,而是训练神经网络将问题状态映射到 α 值。
策略看到残差(距离最优性多远)和迭代值(当前位置),然后输出 α。
训练使用模仿学习(复制网格搜索的专家轨迹)或强化学习(奖励更快收敛)。
关键洞察:在 MPC 等场景中,你求解许多结构相似的问题,因此在过去问题上学到的策略可以泛化到未来问题。
框架转变
之前(固定参数): 之后(学习策略):
问题 --> [固定 ρ, α 问题 --> [学习 α(k)
的 ADMM] 的 ADMM]
| |
v v
收敛慢或需 快速收敛
手动调优 + 收敛证明
^
|
[在问题族上
训练的策略]
从静态参数选择到自适应策略,核心转变是将参数调优视为问题分布上的学习问题,而非单个实例的优化。
专家评审
选题眼光:真实缺口。
MPC 实践者每秒求解数千个相同结构的 QP。
削减迭代次数很重要。
专注于 α 而非 ρ 很聪明——它利用了现有求解器中被他人忽视的计算不对称性。
方法成熟度:收敛性分析扎实但不算突破——它将已知结果扩展到合理假设下的时变参数。
策略学习是直接的监督/强化学习。
真正的贡献是展示这些部分如何组合:你可以学习在实践中有效且理论上仍收敛的 α 策略。
没有重大算法创新,但有良好的工程洞察。
实验诚意:基线公平(带默认和调优固定参数的 OSQP)。
基准是标准 QP 测试问题。
数字显示迭代次数和实际运行时间的一致改进。
一个担忧:策略在相似问题分布上训练和测试。
对分布外问题的泛化没有充分探索。
论文对此局限性是诚实的。
写作功力:收敛性证明部分密集,在深入技术条件前可以增加更多直觉。
实验部分清晰。
相关工作低估了自适应 ADMM 参数的先前工作量——它狭隘地关注基于学习的方法,遗漏了经典自适应方案。
重写第 2 节以更好地说明为何时变参数难以分析会增强论文。
判决:弱接收 — 扎实的增量贡献,有实用价值,但单个组件的新颖性有限。
组合是有用的,收敛保证是非平凡的,但这不会改变人们对优化的思考方式。
要点总结
如果你在为重复结构化问题(MPC、在线学习、实时控制)构建求解器,考虑为易更新的旋钮学习参数调度。
这个模式可以泛化:识别哪些参数改变成本高(触发重分解、重编译),哪些成本低,然后将学习集中在成本低的参数上。
收敛性分析技术——证明时变参数在有界性和足够正则化下收敛——是分析其他自适应算法的模板。
对实践者:如果你的求解器有松弛参数,在投资更复杂的调优前,尝试学习一个简单策略(甚至基于残差比率的查找表)。