Abstract:Convex optimization is a vibrant and successful area due to the existence of a variety of efficient algorithms that leverage the rich structure provided by convexity. Convexity of a smooth set or a function in a Euclidean space is defined by how it interacts with the standard differential structure in this space -- the Hessian of a convex function has to be positive semi-definite everywhere. However, in recent years, there is a growing demand to understand non-convexity and develop computational methods to optimize non-convex functions. Intriguingly, there is a type of non-convexity that disappears once one introduces a suitable differentiable structure and redefines convexity with respect to the straight lines, or {\em geodesics}, with respect to this structure. Such convexity is referred to as {\em geodesic convexity}. Interest in studying it arises due to recent reformulations of some non-convex problems as geodesically convex optimization problems over geodesically convex sets. Geodesics on manifolds have been extensively studied in various branches of Mathematics and Physics. However, unlike convex optimization, understanding geodesics and geodesic convexity from a computational point of view largely remains a mystery. The goal of this exposition is to introduce the first part of geodesic convex optimization -- geodesic convexity -- in a self-contained manner. We first present a variety of notions from differential and Riemannian geometry such as differentiation on manifolds, geodesics, and then introduce geodesic convexity. We conclude by showing that certain non-convex optimization problems such as computing the Brascamp-Lieb constant and the operator scaling problem have geodesically convex formulations.

The sparseness of g-convex functions

Convex Hypersurfaces of Prescribed Weingarten Curvatures

A class of fully nonlinear equations arising from conformal geometry

Variational Properties of Quadratic Curvature Functionals

Gauss–Newton Method for Convex Composite Optimizations on Riemannian Manifolds

Weak Sharp Minima on Riemannian Manifolds

Strong Convexity of Sets in Riemannian Manifolds

The rigidity of eigenfunctions' gradient estimates

Minimal Graphic Functions on Manifolds of Non-Negative Ricci Curvature

Curvature and complexity: Better lower bounds for geodesically convex optimization

Convergence Analysis of Gradient Algorithms on Riemannian Manifolds Without Curvature Constraints and Application to Riemannian Mass

On Some Basic Results Related to Affine Functions on Riemannian Manifolds

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

First-order Methods for Geodesically Convex Optimization

Scalar curvature comparison and rigidity of $3$-dimensional weakly convex domains

Schouten Curvature Functions on Locally Conformally Flat Riemannian Manifolds

On Compact Riemannian Manifolds with Convex Boundary and Ricci Curvature Bounded from Below

Convex Functions on Grassmannian Manifolds and Lawson–Osserman Problem

A Criterion of Nonparabolicity by the Ricci Curvature

A New Variational Characterization of N-Dimensional Space Forms

ON STABILITY OF A CLASS OF CONVEX FUNCTIONS