On the Lower Bound of Minimizing Polyak-Łojasiewicz Functions

Pengyun Yue,Cong Fang,Zhouchen Lin
DOI: https://doi.org/10.48550/arxiv.2212.13551
2023-01-01
Abstract:Polyak-Lojasiewicz (PL) (Polyak, 1963) condition is a weaker condition than the strong convexity but suffices to ensure a global convergence for the Gradient Descent algorithm. In this paper, we study the lower bound of algorithms using first-order oracles to find an approximate optimal solution. We show that any first-order algorithm requires at least Omega (L/mu log 1/epsilon) gradient costs to find an epsilon-approximate optimal solution for a general L-smooth function that has an mu-PL constant. This result demonstrates the optimality of the Gradient Descent algorithm to minimize smooth PL functions in the sense that there exists a "hard" PL function such that no first-order algorithm can be faster than Gradient Descent when ignoring a numerical constant. In contrast, it is well-known that the momentum technique, e.g. Nesterov (2003, chap. 2), can provably accelerate Gradient Descent to O (root L/(mu) over cap log 1/epsilon) gradient costs for functions that are L-smooth and (mu) over cap -strongly convex. Therefore, our result distinguishes the hardness of minimizing a smooth PL function and a smooth strongly convex function as the complexity of the former cannot be improved by any polynomial order in general.
What problem does this paper attempt to address?