Table of Contents
Fetching ...

Frank-Wolfe-type methods for a class of nonconvex inequality-constrained problems

Liaoyuan Zeng, Yongle Zhang, Guoyin Li, Ting Kei Pong, Xiaozhou Wang

TL;DR

It is shown that new generalized linear-optimization oracles based on new generalized linear-optimization oracles (LO) can be computed efficiently with closed-form solutions in some important optimization models that arise in compressed sensing and machine learning.

Abstract

The Frank-Wolfe (FW) method, which implements efficient linear oracles that minimize linear approximations of the objective function over a fixed compact convex set, has recently received much attention in the optimization and machine learning literature. In this paper, we propose a new FW-type method for minimizing a smooth function over a compact set defined as the level set of a single difference-of-convex function, based on new generalized linear-optimization oracles (LO). We show that these LOs can be computed efficiently with closed-form solutions in some important optimization models that arise in compressed sensing and machine learning. In addition, under a mild strict feasibility condition, we establish the subsequential convergence of our nonconvex FW-type method. Since the feasible region of our generalized LO typically changes from iteration to iteration, our convergence analysis is completely different from those existing works in the literature on FW-type methods that deal with fixed feasible regions among subproblems. Finally, motivated by the away steps for accelerating FW-type methods for convex problems, we further design an away-step oracle to supplement our nonconvex FW-type method, and establish subsequential convergence of this variant. Numerical results on the matrix completion problem with standard datasets are presented to demonstrate the efficiency of the proposed FW-type method and its away-step variant.

Frank-Wolfe-type methods for a class of nonconvex inequality-constrained problems

TL;DR

It is shown that new generalized linear-optimization oracles based on new generalized linear-optimization oracles (LO) can be computed efficiently with closed-form solutions in some important optimization models that arise in compressed sensing and machine learning.

Abstract

The Frank-Wolfe (FW) method, which implements efficient linear oracles that minimize linear approximations of the objective function over a fixed compact convex set, has recently received much attention in the optimization and machine learning literature. In this paper, we propose a new FW-type method for minimizing a smooth function over a compact set defined as the level set of a single difference-of-convex function, based on new generalized linear-optimization oracles (LO). We show that these LOs can be computed efficiently with closed-form solutions in some important optimization models that arise in compressed sensing and machine learning. In addition, under a mild strict feasibility condition, we establish the subsequential convergence of our nonconvex FW-type method. Since the feasible region of our generalized LO typically changes from iteration to iteration, our convergence analysis is completely different from those existing works in the literature on FW-type methods that deal with fixed feasible regions among subproblems. Finally, motivated by the away steps for accelerating FW-type methods for convex problems, we further design an away-step oracle to supplement our nonconvex FW-type method, and establish subsequential convergence of this variant. Numerical results on the matrix completion problem with standard datasets are presented to demonstrate the efficiency of the proposed FW-type method and its away-step variant.
Paper Structure (4 sections, 3 theorems, 20 equations, 1 algorithm)

This paper contains 4 sections, 3 theorems, 20 equations, 1 algorithm.

Key Result

proposition thmcounterproposition

Consider P0. If the gMFCQ holds at every point in $\mathcal{F}$, then any local minimizer of P0 is a stationary point of P0.

Theorems & Definitions (9)

  • definition thmcounterdefinition: gMFCQ
  • definition thmcounterdefinition: Stationary point
  • proposition thmcounterproposition
  • proof
  • lemma thmcounterlemma
  • lemma thmcounterlemma
  • proof
  • definition thmcounterdefinition: Linear-optimization oracle
  • remark thmcounterremark: Well-definedness of ${\@fontswitch\mathcal{L}O}$