Kurdyka–Łojasiewicz Exponent via Inf-projection

• Published in: Foundations of computational mathematics Vol. 22; no. 4; pp. 1171 - 1217
• Main Authors: Yu, Peiran, Li, Guoyin, Pong, Ting Kei
• Format: Journal Article
• Language: English
• Published: New York Springer US 01.08.2022; Springer; Springer Nature B.V
• Subjects: Applications of Mathematics; Computer Science; Convergence; Convex analysis; Convexity; Economics; Functions, Exponential; Linear and Multilinear Algebras; Machine learning; Math Applications in Computer Science; Mathematical research; Mathematics; Mathematics and Statistics; Matrix Theory; Numerical Analysis; Optimization; Optimization models; China; Inf-projection; 90C25; Kurdyka–Łojasiewicz exponent; 90C22; Convergence rate; 90C06; 90C26; First-order methods; Kurdyka–Łojasiewicz inequality
• ISSN: 1615-3375; 1615-3383
• DOI: 10.1007/s10208-021-09528-6

Kurdyka–Łojasiewicz (KL) exponent plays an important role in estimating the convergence rate of many contemporary first-order methods. In particular, a KL exponent of 1 2 for a suitable potential function is related to local linear convergence. Nevertheless, KL exponent is in general extremely hard to estimate. In this paper, we show under mild assumptions that KL exponent is preserved via inf-projection. Inf-projection is a fundamental operation that is ubiquitous when reformulating optimization problems via the lift-and-project approach. By studying its operation on KL exponent, we show that the KL exponent is 1 2 for several important convex optimization models, including some semidefinite-programming-representable functions and some functions that involve C 2 -cone reducible structures, under conditions such as strict complementarity. Our results are applicable to concrete optimization models such as group-fused Lasso and overlapping group Lasso. In addition, for nonconvex models, we show that the KL exponent of many difference-of-convex functions can be derived from that of their natural majorant functions, and the KL exponent of the Bregman envelope of a function is the same as that of the function itself. Finally, we estimate the KL exponent of the sum of the least squares function and the indicator function of the set of matrices of rank at most k .