1: \begin{abstract}
2:
3:
4: We consider the minimization of a cost function $f$ on a manifold $\calM$ using Riemannian gradient descent and Riemannian trust regions (RTR). We focus on satisfying necessary optimality conditions within a tolerance $\varepsilon$. Specifically, we show that, under Lipschitz-type assumptions on the pullbacks of $f$ to the tangent spaces of~$\calM$, both of these algorithms produce points with Riemannian gradient smaller than $\varepsilon$ in $\mathcal{O}(1/\varepsilon^2)$ iterations. Furthermore, RTR returns a point where also the Riemannian Hessian's least eigenvalue is larger than $-\varepsilon$ in $\mathcal{O}(1/\varepsilon^3)$ iterations. There are no assumptions on initialization.
5: The rates match their (sharp) unconstrained counterparts as a function of the accuracy $\varepsilon$ (up to constants) and hence are sharp in that sense.
6:
7: These are the first general results for global rates of convergence to approximate first- and second-order KKT points on manifolds.
8: They apply in particular for optimization constrained to compact submanifolds of $\Rn$,
9: under simpler assumptions.
10:
11:
12: \end{abstract}
13: