a complete introduction to overcompleteness
The Paulsen problem, continuous operator scaling, and smoothed analysis