English

TRAFS: A Nonsmooth Convex Optimization Algorithm with $\mathcal{O}\left(\frac{1}{\epsilon}\right)$ Iteration Complexity

Optimization and Control 2024-01-30 v3 Numerical Analysis Numerical Analysis

Abstract

We present the Trust Region Adversarial Functional Subdifferential (TRAFS) algorithm for constrained optimization of nonsmooth convex Lipschitz functions. Unlike previous methods that assume a subgradient oracle model, we work with the functional subdifferential defined as a set of subgradients that simultaneously captures sufficient local information for effective minimization while being easy to compute for a wide range of functions. In each iteration, TRAFS finds the best step vector in an 2\ell_2-bounded trust region by considering the worst bound given by the functional subdifferential. TRAFS finds an approximate solution with an absolute error up to ϵ\epsilon in O(ϵ1)\mathcal{O}\left( \epsilon^{-1}\right) or O(ϵ0.5)\mathcal{O}\left(\epsilon^{-0.5} \right) iterations depending on whether the objective function is strongly convex, compared to the previously best-known bounds of O(ϵ2)\mathcal{O}\left(\epsilon^{-2}\right) and O(ϵ1)\mathcal{O}\left(\epsilon^{-1}\right) in these settings. TRAFS makes faster progress if the functional subdifferential satisfies a locally quadratic property; as a corollary, TRAFS achieves linear convergence (i.e., O(logϵ1)\mathcal{O}\left(\log \epsilon^{-1}\right)) for strongly convex smooth functions. In the numerical experiments, TRAFS is on average 39.1x faster and solves twice as many problems compared to the second-best method.

Keywords

Cite

@article{arxiv.2311.06205,
  title  = {TRAFS: A Nonsmooth Convex Optimization Algorithm with $\mathcal{O}\left(\frac{1}{\epsilon}\right)$ Iteration Complexity},
  author = {Kai Jia and Martin Rinard},
  journal= {arXiv preprint arXiv:2311.06205},
  year   = {2024}
}
R2 v1 2026-06-28T13:17:32.912Z