Information Limits of Low-Rank Approximation Certification

Kang Liu, Bohao Qu

Low-rank approximation can require additional matrix--vector products to verify that its error meets a prescribed tolerance. We characterize this certification cost for both relati…