High-order methods beyond the classical complexity bounds, II: inexact high-order proximal-point methods with segment search

A bi-level optimization framework (BiOPT) was proposed in [3] for convex composite optimization, which is a generalization of bi-level unconstrained minimization framework (BLUM) given in [20]. In this continuation paper, we introduce a pth-order proximal-point segment search operator which is used to develop novel accelerated methods. Our first algorithm combines the exact element of this operator with the estimating sequence technique to derive new iteration points, which shown to attain the convergence rate O(k−(3p+1)/2), for the iteration counter k. We next consider inexact elements of the high-order proximal-point segment search operator to be employed in the BiOPT framework. We particularly apply the accelerated highorder proximal-point method at the upper level, while we find approximate solutions of the proximal-point segment search auxiliary problem by a combination of non-Euclidean composite gradient and bisection methods. For q = bp/2c, this amounts to a 2qth-order method with the convergence rate O(k−(6q+1)/2) (the same as the optimal bound of 2qth-order methods) for even p (p = 2q) and the superfast convergence rate O(k−(3q+1)) for odd p (p = 2q + 1).

[1]  Nesterov Yurii,et al.  Inexact accelerated high-order proximal-point methods , 2020, Mathematical Programming.

[2]  Ohad Shamir,et al.  Oracle complexity of second-order methods for smooth convex optimization , 2017, Mathematical Programming.

[3]  Yurii Nesterov,et al.  Relatively Smooth Convex Optimization by First-Order Methods, and Applications , 2016, SIAM J. Optim..

[4]  Arnold Neumaier,et al.  OSGA: a fast subgradient algorithm with optimal complexity , 2014, Mathematical Programming.

[5]  Y. Nesterov Inexact High-Order Proximal-Point Methods with Auxiliary Search Procedure , 2021, SIAM Journal on Optimization.

[6]  Masoud Ahookhosh,et al.  Optimal subgradient algorithms for large-scale convex optimization in simple domains , 2015, Numerical Algorithms.

[7]  Yurii Nesterov,et al.  Implementable tensor methods in unconstrained convex optimization , 2019, Mathematical Programming.

[8]  A. Neumaier,et al.  Solving structured nonsmooth convex optimization with complexity O(ε-1/2)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document , 2017, TOP.

[9]  Marc Teboulle,et al.  A Descent Lemma Beyond Lipschitz Gradient Continuity: First-Order Methods Revisited and Applications , 2017, Math. Oper. Res..

[10]  Yurii Nesterov,et al.  Interior-point polynomial algorithms in convex programming , 1994, Siam studies in applied mathematics.

[11]  Yurii Nesterov,et al.  Universal gradient methods for convex optimization problems , 2015, Math. Program..

[12]  Naman Agarwal,et al.  Lower Bounds for Higher-Order Convex Optimization , 2017, COLT.

[13]  Yurii Nesterov,et al.  Gradient methods for minimizing composite functions , 2012, Mathematical Programming.

[14]  Shuzhong Zhang,et al.  An Optimal High-Order Tensor Method for Convex Optimization , 2019, COLT.

[15]  Masoud Ahookhosh,et al.  A Bregman Forward-Backward Linesearch Algorithm for Nonconvex Composite Optimization: Superlinear Convergence to Nonisolated Local Minima , 2020, SIAM J. Optim..

[16]  R. Rockafellar Monotone Operators and the Proximal Point Algorithm , 1976 .

[17]  Masoud Ahookhosh,et al.  Accelerated first-order methods for large-scale convex optimization: nearly optimal complexity under strong convexity , 2019, Math. Methods Oper. Res..

[18]  Yurii Nesterov,et al.  Superfast Second-Order Methods for Unconstrained Convex Optimization , 2020, Journal of Optimization Theory and Applications.

[19]  Yurii Nesterov,et al.  Smooth minimization of non-smooth functions , 2005, Math. Program..

[20]  B. Martinet Brève communication. Régularisation d'inéquations variationnelles par approximations successives , 1970 .

[21]  José Mario Martínez,et al.  Worst-case evaluation complexity for unconstrained nonlinear optimization using high-order regularized models , 2017, Math. Program..

[22]  Yurii Nesterov,et al.  High-order methods beyond the classical complexity bounds, I: inexact high-order proximal-point methods , 2021 .