Table of Contents
Fetching ...

A preconditioned difference of convex functions algorithm with extrapolation and line search

Ran Zhang, Hongpeng Sun

TL;DR

This work develops two preconditioned proximal DC algorithms that integrate extrapolation with an aggressive non-monotone line search to tackle nonconvex optimization of the form $E(x)=f(x)+g_1(x)-g_2(x)$. The extrapolation parameter is adaptively governed by a line search, and a preconditioner $M$ facilitates efficient proximal updates. Global convergence is established under Kurdyka–Łojasiewicz properties for the augmented energy functions, with convergence rates characterized by the KL exponent. Numerical experiments on SCAD-regularized least squares and nonlocal Ginzburg–Landau image segmentation show substantial improvements in convergence speed and solution accuracy, including GPU-accelerated performance. The framework maintains the simplicity of DC methods while delivering robust acceleration and theoretical guarantees for a broad class of nonconvex problems.

Abstract

This paper proposes a novel proximal difference-of-convex (DC) algorithm enhanced with extrapolation and aggressive non-monotone line search for solving non-convex optimization problems. We introduce an adaptive conservative update strategy of the extrapolation parameter determined by a computationally efficient non-monotone line search. The core of our algorithm is to unite the update of the extrapolation parameter with the step size of the non-monotone line search interactively. The global convergence of the two proposed algorithms is established through the Kurdyka-Łojasiewicz properties, ensuring convergence within a preconditioned framework for linear equations. Numerical experiments on two general non-convex problems: SCAD-penalized binary classification and graph-based Ginzburg-Landau image segmentation models, demonstrate the proposed method's high efficiency compared to existing DC algorithms both in convergence rate and solution accuracy.

A preconditioned difference of convex functions algorithm with extrapolation and line search

TL;DR

This work develops two preconditioned proximal DC algorithms that integrate extrapolation with an aggressive non-monotone line search to tackle nonconvex optimization of the form . The extrapolation parameter is adaptively governed by a line search, and a preconditioner facilitates efficient proximal updates. Global convergence is established under Kurdyka–Łojasiewicz properties for the augmented energy functions, with convergence rates characterized by the KL exponent. Numerical experiments on SCAD-regularized least squares and nonlocal Ginzburg–Landau image segmentation show substantial improvements in convergence speed and solution accuracy, including GPU-accelerated performance. The framework maintains the simplicity of DC methods while delivering robust acceleration and theoretical guarantees for a broad class of nonconvex problems.

Abstract

This paper proposes a novel proximal difference-of-convex (DC) algorithm enhanced with extrapolation and aggressive non-monotone line search for solving non-convex optimization problems. We introduce an adaptive conservative update strategy of the extrapolation parameter determined by a computationally efficient non-monotone line search. The core of our algorithm is to unite the update of the extrapolation parameter with the step size of the non-monotone line search interactively. The global convergence of the two proposed algorithms is established through the Kurdyka-Łojasiewicz properties, ensuring convergence within a preconditioned framework for linear equations. Numerical experiments on two general non-convex problems: SCAD-penalized binary classification and graph-based Ginzburg-Landau image segmentation models, demonstrate the proposed method's high efficiency compared to existing DC algorithms both in convergence rate and solution accuracy.
Paper Structure (14 sections, 12 theorems, 126 equations, 2 figures, 4 tables, 2 algorithms)

This paper contains 14 sections, 12 theorems, 126 equations, 2 figures, 4 tables, 2 algorithms.

Key Result

Proposition 1

According to LSDE for updating the extrapolation parameter $\beta_{n+1}$, we assert that there exists a positive constant $C_{\lambda}$ such that $\frac{1}{\left( 1+\lambda _n \right) ^2}-\beta _{n+1}^{2}>C_{\lambda}$ for $\forall n$.

Figures (2)

  • Figure 1: The convergence rate of two algorithms for solving \ref{['eq:lsp_l1']} and \ref{['eq:lsp_Huber']}.
  • Figure 2: The performance of segmentation assignment.

Theorems & Definitions (26)

  • Definition 1: KL property, KL function and KL exponent ABS
  • Proposition 1
  • proof
  • Remark 1
  • Proposition 2
  • proof
  • Lemma 1
  • proof
  • Remark 2
  • Lemma 2
  • ...and 16 more