Interior-point methods on manifolds: theory and applications

03/08/2023
by   Hiroshi Hirai, et al.
0

Interior-point methods offer a highly versatile framework for convex optimization that is effective in theory and practice. A key notion in their theory is that of a self-concordant barrier. We give a suitable generalization of self-concordance to Riemannian manifolds and show that it gives the same structural results and guarantees as in the Euclidean setting, in particular local quadratic convergence of Newton's method. We analyze a path-following method for optimizing compatible objectives over a convex domain for which one has a self-concordant barrier, and obtain the standard complexity guarantees as in the Euclidean setting. We provide general constructions of barriers, and show that on the space of positive-definite matrices and other symmetric spaces, the squared distance to a point is self-concordant. To demonstrate the versatility of our framework, we give algorithms with state-of-the-art complexity guarantees for the general class of scaling and non-commutative optimization problems, which have been of much recent interest, and we provide the first algorithms for efficiently finding high-precision solutions for computing minimal enclosing balls and geometric medians in nonpositive curvature.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/24/2019

Sampling and Optimization on Convex Sets in Riemannian Manifolds of Non-Negative Curvature

The Euclidean space notion of convex sets (and functions) generalizes to...
research
01/06/2022

No self-concordant barrier interior point method is strongly polynomial

It is an open question to determine if the theory of self-concordant bar...
research
06/17/2018

Geodesic Convex Optimization: Differentiation on Manifolds, Geodesics, and Convexity

Convex optimization is a vibrant and successful area due to the existenc...
research
10/27/2019

Towards a theory of non-commutative optimization: geodesic first and second order methods for moment maps and polytopes

This paper initiates a systematic development of a theory of non-commuta...
research
07/15/2020

Numerical Accuracy of Ladder Schemes for Parallel Transport on Manifolds

Parallel transport is a fundamental tool to perform statistics on Rie-ma...
research
07/24/2023

Efficiently Sampling the PSD Cone with the Metric Dikin Walk

Semi-definite programs represent a frontier of efficient computation. Wh...
research
06/14/2018

Convex Class Model on Symmetric Positive Definite Manifolds

The effectiveness of Symmetric Positive Definite (SPD) manifold features...

Please sign up or login with your details

Forgot password? Click here to reset