A Tight Bound of Hard Thresholding
Precise Undersampling Theorems