Tools to bound the singular values of a finite sum of random matrices from below?
Posted by olivia, at math.stackexchange.com,
Matrix Chernoff bounds (see also this arXiv paper) are usually used to give upper bounds on the largest eigenvalue of a finite…