1: \begin{abstract}

2: We present a novel, practical and provable approach for solving diagonally constrained semi-definite programming (SDP) problems at scale \emph{using accelerated non-convex programming}.  

3: Our algorithm non-trivially combines acceleration motions from convex optimization with coordinate power iteration and matrix factorization techniques.

4: % We achieve improved empirical performance compared even to recent state of the art approaches and provide rigorous theoretical guarantees under non-convex settings. 

5: % 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.

6: The algorithm is extremely simple to implement, and adds only a single extra hyperparameter -- momentum -- for which we provide tuning bounds that hold in theory and practice. %, following our theory.

7: From a theoretical perspective, we prove that our method admits local linear convergence in the neighborhood of the optimum, and always converges to a first-order critical point.

8: We showcase the experimental merits of our method on three major application domains: MaxCut, MaxSAT, and MIMO signal detection. 

9: In all cases, our methodology provides significant speedups over non-convex and convex SDP solvers -- $5\times$ faster than state-of-the-art non-convex solvers and $9$ to $10^3 \times$ faster than convex SDP solvers -- while maintaining comparable solution quality.

10: \end{abstract}

11: