Monotone Inclusions, Acceleration, and Closed-Loop Control
- 4 January 2023
- journal article
- research article
- Published by Institute for Operations Research and the Management Sciences (INFORMS) in Mathematics of Operations Research
- Vol. 48 (4) , 2353-2382
Abstract
We propose and analyze a new dynamical system with a closed-loop control law in a Hilbert space [ ], aiming to shed light on the acceleration phenomenon for monotone inclusion problems, which unifies a broad class of optimization, saddle point, and variational inequality (VI) problems under a single framework. Given an operator [ ] that is maximal monotone, we propose a closed-loop control system that is governed by the operator [ ], where a feedback law [ ] is tuned by the resolution of the algebraic equation [ ] for some [ ]. Our first contribution is to prove the existence and uniqueness of a global solution via the Cauchy–Lipschitz theorem. We present a simple Lyapunov function for establishing the weak convergence of trajectories via the Opial lemma and strong convergence results under additional conditions. We then prove a global ergodic convergence rate of [ ] in terms of a gap function and a global pointwise convergence rate of [ ] in terms of a residue function. Local linear convergence is established in terms of a distance function under an error bound condition. Further, we provide an algorithmic framework based on the implicit discretization of our system in a Euclidean setting, generalizing the large-step hybrid proximal extragradient framework. Even though the discrete-time analysis is a simplification and generalization of existing analyses for a bounded domain, it is largely motivated by the aforementioned continuous-time analysis, illustrating the fundamental role that the closed-loop control plays in acceleration in monotone inclusion. A highlight of our analysis is a new result concerning [ ]-order tensor algorithms for monotone inclusion problems, complementing the recent analysis for saddle point and VI problems. Funding: This work was supported in part by the Mathematical Data Science Program of the Office of Naval Research [Grant N00014-18-1-2764] and by the Vannevar Bush Faculty Fellowship Program [Grant N00014-21-1-2941].Keywords
All Related Versions
This publication has 79 references indexed in Scilit:
- Newton-Like Dynamics and Forward-Backward Methods for Structured Monotone Inclusions in Hilbert SpacesJournal of Optimization Theory and Applications, 2013
- Asymptotic behavior of second-order dissipative evolution equations combining potential with non-potential effectsESAIM: Control, Optimisation and Calculus of Variations, 2010
- Convergence rate analysis of iteractive algorithms for solving variational inequality problemsMathematical Programming, 2003
- A second-order gradient-like dissipative dynamical system with Hessian-driven damping.Journal de Mathématiques Pures et Appliquées, 2002
- On linear convergence of iterative methods for the variational inequality problemJournal of Computational and Applied Mathematics, 1995
- Local structure of feasible sets in nonlinear programming, Part III: Stability and sensitivity1987
- Weak convergence of the sequence of successive approximations for nonexpansive mappingsBulletin of the American Mathematical Society, 1967
- Some methods of speeding up the convergence of iteration methodsUSSR Computational Mathematics and Mathematical Physics, 1964
- The stability of solutions of linear differential equationsDuke Mathematical Journal, 1943
- Note on the Derivatives with Respect to a Parameter of the Solutions of a System of Differential EquationsAnnals of Mathematics, 1919