Iteration complexity of the Difference-of-Convex Algorithm for unconstrained optimization: a simple proof
Serge Gratton, Philippe L. Toint
TL;DR
The paper analyzes the global iteration complexity of the DC Algorithm (DCA) for unconstrained minimization of $f(x)=g(x)-h(x)$, where $g$ is μ-strongly convex and ∇h is Lipschitz with constant $L_h$. It provides a simple, explicit proof that the average squared gradient norms along iterates satisfy an upper bound $\frac{1}{\lfloor k/2 \rfloor}\sum_{i=\lceil k/2 \rceil}^k \|\nabla f(x_i)\|^2 = o(1/k)$, and it constructs a univariate slow-convergence example with $g(x)=\tfrac12 x^2$ and a convex $h$ with Lipschitz gradient yielding $\|\nabla f(x_k)\|^2 = 1/(k+1)^{1+2\delta}$ for any $\delta>0$. These results show that, in the worst case, DCA does not improve over steepest descent in iteration complexity, even though practical performance may benefit from exploiting DC structure or algorithmic variants. The work clarifies fundamental limits of DC-based optimization for iteration efficiency and informs when DC structure may or may not provide convergence advantages.
Abstract
We propose a simple proof of the worst-case iteration complexity for the Difference of Convex functions Algorithm (DCA) for unconstrained minimization, showing that the global rate of convergence of the norm of the objective function's gradients at the iterates converge to zero like o(1/k). A small example is also provided indicating that the rate cannot be improved.
