Matrix Completion has No Spurious Local Minimum
A tail inequality for quadratic forms of subgaussian random vectors