Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2512.05285 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911379949092864 |
|---|---|
| author | Nejma, Aziz Ben |
| author_facet | Nejma, Aziz Ben |
| contents | The Polyak-Łojasiewicz (PŁ) inequality extends the favorable optimization properties of strongly convex functions to a broader class of functions. In this paper, we prove a theorem (also obtained by Criscitiello, Rebjock and Boumal in an earlier blog post) showing that the richness of the class of PŁ functions is rooted in the nonsmooth case since sufficient regularity forces them to be essentially strongly convex. More precisely, we prove that if $f$ is a $C^2$ PŁ function having a bounded set of minimizers, then it has a unique minimizer and is strongly convex on a sublevel set of the form $\{f\leq a\}$. We show that this implies a result of Asplund on properties of the squared distance function, and discuss some consequences on smoothness assumptions in results in the literature. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_05285 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Polyak-Łojasiewicz inequality is essentially no more general than strong convexity for $C^2$ functions Nejma, Aziz Ben Optimization and Control The Polyak-Łojasiewicz (PŁ) inequality extends the favorable optimization properties of strongly convex functions to a broader class of functions. In this paper, we prove a theorem (also obtained by Criscitiello, Rebjock and Boumal in an earlier blog post) showing that the richness of the class of PŁ functions is rooted in the nonsmooth case since sufficient regularity forces them to be essentially strongly convex. More precisely, we prove that if $f$ is a $C^2$ PŁ function having a bounded set of minimizers, then it has a unique minimizer and is strongly convex on a sublevel set of the form $\{f\leq a\}$. We show that this implies a result of Asplund on properties of the squared distance function, and discuss some consequences on smoothness assumptions in results in the literature. |
| title | Polyak-Łojasiewicz inequality is essentially no more general than strong convexity for $C^2$ functions |
| topic | Optimization and Control |
| url | https://arxiv.org/abs/2512.05285 |