Aug 2026· SIAM Journal on Optimization· Vol 36, pp. 1837-1866· 0 citations· 29 references
TL;DR
To the best of the knowledge, this is the first algorithm that incorporates the trust region strategy for constrained optimization on Riemannian manifolds and has the second-order convergence property for optimization problems on Riemannian manifolds with nonlinear inequality constraints.
Abstract
Abstract.
We consider Riemannian inequality-constrained optimization problems. Such problems inherit the benefits of Riemannian approach developed in the unconstrained setting and naturally arise from applications in control, machine learning, and other fields. We propose a Riemannian primal-dual interior point trust region method (RIPTRM) for solving them. We prove its global convergence to an approximate Karush–Kuhn–Tucker point and a weak second-order stationary point. Under the strict complementarity condition, this result reduces to global convergence to a second-order stationary point. To the best of our knowledge, this is the first algorithm that incorporates the trust region strategy for constrained optimization on Riemannian manifolds and has the second-order convergence property for optimization problems on Riemannian manifolds with nonlinear inequality constraints. We conduct numerical experiments in which we introduce a truncated conjugate gradient method and an eigenvalue-based subsolver for RIPTRM to approximately and exactly solve the trust region subproblems, respectively. Empirical results show that RIPTRMs consistently find solutions with high accuracy.
This work proves $O(j^{-1})$ gap bounds for both recovered and averaged primal candidates and gives a sharper bound on the primal error for exactly recovered points, and proves the dual proximal-gradient method produces finite gaps tending to zero.
This study extends the stabilized SQP framework from Euclidean spaces to Riemannian manifolds and proves that the generated sequence has an accumulation point that is a Karush--Kuhn--Tucker (KKT) point, an approximate KKT (AKKT) point, or a stationary point of an associated feasibility problem.
We analyze an inexact, proximal trust-region algorithm for minimizing the sum of a smooth nonconvex function and a nonsmooth convex function. Our algorithm leverages the proximal gradient as a benchmark to guarantee global convergence. However, evaluating the proximal gradient involves solving a nonsmooth convex optimi...
Robert J. Baraldi, Drew P. Kouri, L. Maia· 0 citations
This work proposes an inexact primal-dual Newton method with an inner solver based on the conjugate residual (CR) method, which handles indefiniteness in the subproblem directly as it arises and establishes worst-case global convergence guarantees and strong empirical performance on large-scale, nonconvex problems.
We introduce the centered weak discrete Riemannian gradient (c-wDRG) framework for the unified analysis of optimization methods on Riemannian manifolds. The framework uses a center point to represent the relevant logarithmic differences in a common tangent space and covers Riemannian steepest descent, proximal point, p...
We study an inexact interior-point method for nonsmooth, possibly nonconvex optimization in a Hilbert space with inequality constraints ordered by a cone in a Banach lattice, with particular emphasis on infinite-dimensional state-constrained optimal control. The objective function is given by the sum of a smooth, possi...
Behzad Azmi, Alberto De Marchi· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.