Random Matrices and Provable Algorithms for Approximate Diagonalization - Jesse M. Banks (2022)