266a47ef10a70dc2.tex
1: \begin{abstract}
2: %This work focuses on efficient ways to solve the important class of semidefinite programming instances (SDPs) with diagonal constraints.
3: We present a novel, practical and provable approach for solving diagonally constrained semidefinite programming problems at scale.  
4: Our algorithm non-trivially combines acceleration motions from convex optimization, coordinate power iteration and matrix factorization techniques.
5: We achieve an overall improved empirical performance, \emph{compared even to very recent state of the art approaches}, with rigorous guarantees under non-convex settings. 
6: The algorithm is extremely simple to implement, and involves a single free parameter to tune (momentum): we provide bounds for its tuning, following our theory.
7: In theoretical aspects, we prove that the accelerated method admits local linear convergence in the neighborhood of the optimum; to the best of our knowledge, this is the first theory result that incorporates momentum motions in gradient descent approaches for SDPs.
8: In terms of experiments, we showcase the merits of our method on two major application domains: the MaxCut SDP, and MaxSAT instances. 
9: Our method is $5 \times $ faster than state of the art non-convex solvers, and $9\times$ to $10^3 \times$ faster than convex SDP solvers, while providing a competitive solution quality in almost all instances we considered.
10: %\textcolor{blue}{On almost all instances, our method is 3 times faster than Mixing Method and 7-1000 times faster than other SDP solvers.}
11: %\textcolor{magenta}{Tasos: 1-2 sentences how our method is better}.
12: We hope that our ideas lead to further algorithmic advances and support new applications of semidefinite programming.
13: \end{abstract}
14: