Abstract:SIAM Journal on Optimization, Volume 34, Issue 2, Page 1374-1401, June 2024. A popular approach to minimizing a finite sum of smooth convex functions is stochastic gradient descent (SGD) and its variants. Fundamental research questions associated with SGD include (i) how to find a lower bound on the number of times that the gradient oracle of each individual function must be assessed in order to find an [math]-minimizer of the overall objective; (ii) how to design algorithms which guarantee finding an [math]-minimizer of the overall objective in expectation no more than a certain number of times (in terms of [math]) that the gradient oracle of each function needs to be assessed (i.e., upper bound). If these two bounds are at the same order of magnitude, then the algorithms may be called optimal. Most existing results along this line of research typically assume that the functions in the objective share the same condition number. In this paper, the first model we study is the problem of minimizing the sum of finitely many strongly convex functions whose condition numbers are all different. We propose an SGD-based method for this model and show that it is optimal in gradient computations, up to a logarithmic factor. We then consider a constrained separate block optimization model and present lower and upper bounds for its gradient computation complexity. Next, we propose solving the Fenchel dual of the constrained block optimization model via generalized SSNM, which we introduce earlier, and show that it yields a lower iteration complexity than solving the original model by the ADMM-type approach. Finally, we extend the analysis to the general composite convex optimization model and obtain gradient-computation complexity results under certain conditions.

On optimality conditions for multivariate Chebyshev approximation and convex optimization

Optimization-Aided Construction of Multivariate Chebyshev Polynomials

On Nonlinear Simultaneous Chebyshev Approximation Problems

Generalized Derivatives and Optimality Conditions in Nonconvex Optimization

The Bregman Distance, Approximate Compactness and Convexity of Chebyshev Sets in Banach Spaces

Second-order optimality conditions for general nonconvex optimization problems and variational analysis of disjunctive systems

On quasi-convex smooth optimization problems by a comparison oracle

A Gradient Complexity Analysis for Minimizing the Sum of Strongly Convex Functions with Varying Condition Numbers

A note on approximate Karush-Kuhn-Tucker conditions in locally Lipschitz multiobjective optimization

Exploring Chebyshev Polynomial Approximations: Error Estimates for Functions of Bounded Variation

Approximate Karush-Kuhn-Tucker conditions for nonsmooth bilevel optimization problems

The minimizer of the sum of two strongly convex functions

Optimality Conditions for Convex Stochastic Optimization Problems in Banach Spaces with Almost Sure State Constraints

Optimality conditions at infinity for nonsmooth minimax programming

Biorthogonal Greedy Algorithms in convex optimization

Optimality conditions and subdifferential calculus for infinite sums of functions

First-order optimality conditions for non-commutative optimization problems

On the Optimality of Target-Data-Dependent Kernel Greedy Interpolation in Sobolev Reproducing Kernel Hilbert Spaces

Geometry, Computation, and Optimality in Stochastic Optimization

Approximation of optimization problems with constraints through kernel Sum-Of-Squares