An accelerated proximal PRS-SQP algorithm with dual ascent-descent procedures for smooth composite optimization
Jiachen Jin, Guodong Ma, Jinbao Jian
TL;DR
This work addresses smooth composite optimization of the form $\min_x f(x) + g(Ax)$ by introducing the HAP-PRS-SQP algorithm, which unifies augmented Lagrangian dual ascent and dual descent updates into a single framework with flexible stepsizes $r$ and $s$ where $r+s \neq 0$. A hybrid acceleration that blends inertial extrapolation and back substitution is embedded between algorithmic steps to enhance convergence. The authors prove convergence under KL assumptions and provide rates depending on the KL exponent, demonstrating that the dual update direction does not compromise convergence. Numerical experiments on regularized binary classification and smooth LASSO validate the method, showing improved convergence speed and stability over existing splitting SQP approaches and gradient methods, with robust performance across different dual-update regimes.
Abstract
Conventional wisdom in composite optimization suggests augmented Lagrangian dual ascent (ALDA) in Peaceman-Rachford splitting (PRS) methods for dual feasibility. However, ALDA may fail when the primal iterate is a local minimum, a stationary point, or a coordinatewise solution of the highly nonconvex augmented Lagrangian function. Splitting sequential quadratic programming (SQP) methods utilize augmented Lagrangian dual descent (ALDD) to directly minimize the primal residual, circumventing the limitations of ALDA and achieving faster convergence in smooth optimization. This paper aims to present a fairly accessible generalization of two contrasting dual updates, ALDA and ALDD, for smooth composite optimization. A key feature of our PRS-SQP algorithm is its dual ascent-descent procedure, which provides a free direction rule for the dual updates and a new insight to explain the counterintuitive convergence behavior. Furthermore, we incorporate a hybrid acceleration technique that combines inertial extrapolation and back substitution to improve convergence. Theoretically, we establish the feasibility for a wider range of acceleration factors than previously known and derive convergence rates within the Kurdyka- Lojasiewicz framework. Numerical experiments validate the effectiveness and stability of the proposed method in various dual-update scenarios.
