A Conditional Gradient-based Method for Simple Bilevel Optimization with Convex Lower-level Problem
By Ruichen Jiang, Nazanin Abolfazli, Aryan Mokhtari, Erfan Yazdandoost Hamedani. 2022
40 citations recorded by the source corpus.
In this paper, we study a class of bilevel optimization problems, also known as simple bilevel optimization, where we minimize a smooth objective function over the optimal solution set of another convex constrained optimization problem. Several iterative methods have been developed for tackling this class of problems. Alas, their convergence guarantees are either asymptotic for the upper-level objective, or the convergence rates are slow and sub-optimal. To address this issue, in this paper, we introduce a novel bilevel optimization method that locally approximates the solution set of the lower-level problem via a cutting plane, and then runs a conditional gradient update to decrease the upper-level objective. When the upper-level objective is convex, we show that our method requires ${\mathcal{O}}(\max\{1/\epsilon_f,1/\epsilon_g\})$ iterations to find a solution that is $\epsilon_f$-optimal for the upper-level objective and $\epsilon_g$-optimal for the lower-level objective. Moreover, when the upper-level objective is non-convex, our method requires ${\mathcal{O}}(\max\{1/\epsilon_f^2,1/(\epsilon_f\epsilon_g)\})$ iterations to find an $(\epsilon_f,\epsilon_g)$-optimal solution. We also prove stronger convergence guarantees under the H\"olderian error bound assumption on the lower-level problem. To the best of our knowledge, our method achieves the best-known iteration complexity for the considered class of bilevel problems.
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
- Liangzu Peng
- Paris V. Giampouras
- René Vidal
- Ehsan Elhamifar
- Paolo Favaro
- Guangcan Liu
- Zhouchen Lin
- M. Soltanolkotabi
Citations in the corpus
- The Ideal Continual Learner: An Agent That Never Forgets (2023, methodology): “Since the constraint w ∈ Kt−1 of (2) requires w to be a global minimizer of all previous tasks, for each task ICL† needs to solve a bilevel program (2), which is in general difficult (Vicente & Calamai, 1994; Jiang et al., 2022).”