Nice write-up! The randomized SVD (Halko–Martinsson–Tropp) is a great practical fallback when you only need the top singular values/vectors.