pith. sign in

arxiv: 2503.13965 · v5 · pith:RQVVL23Tnew · submitted 2025-03-18 · 🧮 math.OC

First-Order Projected Algorithms With the Same Linear Convergence Rate Bounds as Their Unconstrained Counterparts

classification 🧮 math.OC
keywords algorithmsconvergenceunconstrainedboundsfirst-orderlinearoptimizationprojected
0
0 comments X
read the original abstract

In this paper, we propose a systematic approach for extending first-order optimization algorithms, originally designed for unconstrained strongly convex problems, to handle closed convex set constraints. We show that the resulting projected algorithms retain the same linear convergence rate bounds, provided that the underlying unconstrained optimization algorithms admit a quadratic Lyapunov function obtained from integral quadratic constraint (IQC) analysis. The projected algorithms are constructed by applying a projection in the norm induced by the Lyapunov matrix, ensuring both constraint satisfaction and optimality at the fixed point. Furthermore, under a linear transformation associated with this matrix, the projection becomes non-expansive in the Euclidean norm, thereby preserving the convergence rate bounds under the composition of the linearly convergent algorithmic operator and the projection. Our results indicate that, when analyzing worst-case convergence rates or when synthesizing first-order optimization algorithms with potentially higher-order dynamics, it suffices to focus solely on the unconstrained dynamics, since the same parameters or stepsizes can be employed without retuning.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. An optimal first-order method for smooth and strongly convex composite optimization and its stationary limit

    math.OC 2026-05 unverdicted novelty 7.0

    Prox-ITEM achieves the minimax-optimal distance-to-solution rate among span-based first-order methods for smooth strongly convex composite problems, with Prox-TMM as its stationary limit matching TMM rates.

  2. A Canonical Structure for Constructing Projected First-Order Algorithms With Delayed Feedback

    math.OC 2026-04 unverdicted novelty 6.0

    A canonical structure via linear transformation enables projected first-order algorithms with delayed feedback to reach the optimum at the same rate as their unconstrained versions.

  3. A Common Lyapunov Matrix Approach to the Exponential Stability of Augmented Primal-Dual Gradient Flow as LPV Systems

    eess.SY 2026-04 unverdicted novelty 5.0

    A common Lyapunov matrix for two Hurwitz matrices exists iff the intersection of strict Lyapunov matrices for one and non-strict for the other is nonempty; this yields exponential stability for the LPV representation ...