1: \begin{abstract}%   <- trailing '%' for backward compatibility of .sty file

2: Algorithms based on the hard thresholding principle have been well studied with sounding theoretical guarantees in the compressed sensing and more general sparsity-constrained optimization. It is widely observed in existing empirical studies that when a restricted Newton step was used (as the debiasing step),  the hard-thresholding algorithms tend to meet halting conditions in a significantly low number of iterations and are very efficient.

3: %However, the thus obtained Newton hard-thresholding algorithms do not offer any better

4: {{

5: Hence, the thus obtained Newton hard-thresholding algorithms call for stronger

6: theoretical guarantees than for their simple hard-thresholding counterparts.

7: }} 

8: %This annoying discrepancy between theory and empirical studies has been known for some time.

9: This paper provides a theoretical justification for the use of the restricted Newton step.

10: We build our theory and algorithm, Newton Hard-Thresholding Pursuit (\NHTP), for the sparsity-constrained optimization. Our main result shows that \NHTP\ is quadratically convergent under the standard assumption of restricted strong convexity and smoothness.

11: We also establish its global convergence to a stationary point under a weaker assumption.

12: In the special case of the compressive sensing, \NHTP\ effectively reduces to some of the existing hard-thresholding algorithms with a Newton step.  Consequently, our fast convergence result justifies why those algorithms perform better than without the Newton step. The efficiency of \NHTP\ was demonstrated on both synthetic and real data in compressed sensing and sparse logistic regression.

13: \end{abstract}

14: