On the low-rank approach for semidefinite programs arising in synchronization and community detection
A Proof Of The Block Model Threshold Conjecture