“…[JL09] proposed a polynomial time algorithm (called Diagonal thresholding) that finds an estimator that is close to or − as long as log , which is better than the top eigenvector of ⊤ if ≪ √ , but is worse than the information-theoretically optimal estimator by a factor √ . Later many computational lower bounds of different kind appeared: reductions from the planted clique problem [BR13a, BR13b, WBS16, GMZ17, BBH18, BB19], low degree polynomial lower bounds [DKWB19,dKNS20], statistical query lower bounds [BBH + 21], SDP and sum-ofsquares lower bounds [KNV15b, MW15,PR22], lower bounds for Markov chain Monte Carlo methods [AWZ20]. These lower bounds suggest that the algorithms described above should have optimal guarantees in the regimes ≪ √ (Diagonal thresholding) and ≫ √ (the top eigenvector), so it is unlikely that there exist efficient algorithms with significantly better guarantees if ≪ √ or ≫ √ .…”