An accelerated first-order method with complexity analysis for solving cubic regularization subproblems

被引:7
|
作者
Jiang, Rujun [1 ]
Yue, Man-Chung [2 ]
Zhou, Zhishuo [1 ]
机构
[1] Fudan Univ, Sch Data Sci, Shanghai, Peoples R China
[2] Hong Kong Polytech Univ, Dept Appl Math, Hung Hom, Hong Kong, Peoples R China
关键词
Cubic regularization subproblem; First-order methods; Constrained convex optimization; Complexity analysis;
D O I
10.1007/s10589-021-00274-7
中图分类号
C93 [管理学]; O22 [运筹学];
学科分类号
070105 ; 12 ; 1201 ; 1202 ; 120202 ;
摘要
We propose a first-order method to solve the cubic regularization subproblem (CRS) based on a novel reformulation. The reformulation is a constrained convex optimization problem whose feasible region admits an easily computable projection. Our reformulation requires computing the minimum eigenvalue of the Hessian. To avoid the expensive computation of the exact minimum eigenvalue, we develop a surrogate problem to the reformulation where the exact minimum eigenvalue is replaced with an approximate one. We then apply first-order methods such as the Nesterov's accelerated projected gradient method (APG) and projected Barzilai-Borwein method to solve the surrogate problem. As our main theoretical contribution, we show that when an epsilon-approximate minimum eigenvalue is computed by the Lanczos method and the surrogate problem is approximately solved by APG, our approach returns an epsilon-approximate solution to CRS in (O) over tilde(epsilon(-1/2)) matrix-vector multiplications (where (O) over tilde(.) hides the logarithmic factors). Numerical experiments show that our methods are comparable to and outperform the Krylov subspace method in the easy and hard cases, respectively. We further implement our methods as subproblem solvers of adaptive cubic regularization methods, and numerical results show that our algorithms are comparable to the state-of-the-art algorithms.
引用
收藏
页码:471 / 506
页数:36
相关论文
共 50 条
  • [31] Transient growth of accelerated first-order methods
    Samuelson, Samantha
    Mohammadi, Hesameddin
    Jovanovic, Mihailo R.
    2020 AMERICAN CONTROL CONFERENCE (ACC), 2020, : 2858 - 2863
  • [32] TIKHONOV REGULARIZATION OF A NONHOMOGENEOUS FIRST-ORDER EVOLUTION EQUATION
    Rouhani, Behzad Djafari
    Piranfar, Mohsen Rahimi
    DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES S, 2024, 17 (5-6): : 2173 - 2185
  • [33] SAT solving for variants of first-order subsumption
    Coutelier, Robin
    Rath, Jakob
    Rawson, Michael
    Biere, Armin
    Kovacs, Laura
    FORMAL METHODS IN SYSTEM DESIGN, 2024,
  • [34] Physical Computational Complexity and First-order Logic
    Whyman, Richard
    FUNDAMENTA INFORMATICAE, 2021, 181 (2-3) : 129 - 161
  • [35] The Complexity of Decomposing Modal and First-Order Theories
    Goeller, Stefan
    Jung, Jean Christoph
    Lohrey, Markus
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 325 - 334
  • [36] The complexity of definability by open first-order formulas
    Areces, Carlos
    Campercholi, Miguel
    Penazzi, Daniel
    Ventura, Pablo
    LOGIC JOURNAL OF THE IGPL, 2020, 28 (06) : 1093 - 1105
  • [37] ON THE FIRST-ORDER COMPLEXITY OF INDUCED SUBGRAPH ISOMORPHISM
    Verbitsky, Oleg
    Zhukovskii, Maksim
    LOGICAL METHODS IN COMPUTER SCIENCE, 2019, 15 (01) : 25:1 - 25:24
  • [38] The Complexity of Decomposing Modal and First-Order Theories
    Goeller, Stefan
    Jung, Jean-Christoph
    Lohrey, Markus
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2015, 16 (01)
  • [39] Complexity of existential positive first-order logic
    Bodirsky, Manuel
    Hermann, Miki
    Richoux, Florian
    JOURNAL OF LOGIC AND COMPUTATION, 2013, 23 (04) : 753 - 760
  • [40] First-Order Subsumption via SAT Solving
    Rath, Jakob
    Biere, Armin
    Kovacs, Laura
    2022 FORMAL METHODS IN COMPUTER-AIDED DESIGN, FMCAD, 2022, 3 : 160 - 169