1: \begin{abstract}

2: 	The difficulty of minimizing a nonconvex function is in part explained by the presence of saddle points. This slows down optimization algorithms and impacts worst-case complexity guarantees. However, many nonconvex problems of 

3: 	interest possess a favorable structure for optimization, in the sense that saddle points can be escaped efficiently by appropriate algorithms. This \emph{strict saddle} property has been extensively 

4: 	used in data science to derive good properties for first-order algorithms, such as convergence to 

5: 	second-order critical points. However, the analysis and the design of second-order algorithms in the strict 

6: 	saddle setting have received significantly less attention.

7: 	

8: 	In this paper, we consider second-order trust-region methods for a class of strict saddle functions 

9: 	defined on Riemannian manifolds. These functions exhibit (geodesic) strong convexity around minimizers 

10: 	and negative curvature at saddle points. We show that the standard trust-region method with exact 

11: 	subproblem minimization finds an approximate local minimizer in a number of iterations that depends 

12: 	logarithmically on the accuracy parameter, which significantly improves known results for general 

13: 	nonconvex optimization. We also propose an inexact variant of the algorithm that explicitly leverages the 

14: 	strict saddle property to compute the most appropriate step at every iteration. Our bounds for the inexact 

15: 	variant also improve over the general nonconvex case, and illustrate the benefit of using strict saddle 

16: 	properties within optimization algorithms.\\

17: 	

18: 	\textbf{Keywords:} Riemannian optimization, strict saddle function, second-order method, complexity guarantees. \\

19: 	

20: 	\textbf{MSC:} 49M05, 49M15, 65K05, 90C60.

21: \end{abstract}

22: