#eckart-young theorem #singular value decomposition #SVD #truncated svd #matrix factorization #low-rank approximation #optimal approximation