Sublinear Time Eigenvalue Approximation via Random Sampling

• Published in: Algorithmica 2024-06, Vol.86 (6), p.1764-1829
• Main Authors: Bhattacharjee, Rajarshi, Dexter, Gregory, Drineas, Petros, Musco, Cameron, Ray, Archan
• Format: Article
• Language: English
• Subjects: Algorithm Analysis and Problem Complexity; Algorithms; Approximation; Computer Science; Computer Systems Organization and Communication Networks; Data Structures and Information Theory; Eigenvalues; Errors; Mathematics of Computing; Random sampling; Theory of Computation
• ISSN: 0178-4617; 1432-0541
• DOI: 10.1007/s00453-024-01208-5

We study the problem of approximating the eigenspectrum of a symmetric matrix A ∈ R n × n with bounded entries (i.e., ‖ A ‖ ∞ ≤ 1 ). We present a simple sublinear time algorithm that approximates all eigenvalues of A up to additive error ± ϵ n using those of a randomly sampled O ~ log 3 n ϵ 3 × O ~ log 3 n ϵ 3 principal submatrix. Our result can be viewed as a concentration bound on the complete eigenspectrum of a random submatrix, significantly extending known bounds on just the singular values (the magnitudes of the eigenvalues). We give improved error bounds of ± ϵ nnz ( A ) and ± ϵ ‖ A ‖ F when the rows of A can be sampled with probabilities proportional to their sparsities or their squared ℓ 2 norms respectively. Here nnz ( A ) is the number of non-zero entries in A and ‖ A ‖ F is its Frobenius norm. Even for the strictly easier problems of approximating the singular values or testing the existence of large negative eigenvalues (Bakshi, Chepurko, and Jayaram, FOCS ’20), our results are the first that take advantage of non-uniform sampling to give improved error bounds. From a technical perspective, our results require several new eigenvalue concentration and perturbation bounds for matrices with bounded entries. Our non-uniform sampling bounds require a new algorithmic approach, which judiciously zeroes out entries of a randomly sampled submatrix to reduce variance, before computing the eigenvalues of that submatrix as estimates for those of A . We complement our theoretical results with numerical simulations, which demonstrate the effectiveness of our algorithms in practice.