Estimation of spectral gaps for sparse symmetric matrices
Michele Benzi, Michele Rinelli, Igor Simunec

TL;DR
This paper introduces an efficient algorithm combining Hutchinson's estimator and Lanczos method to identify all spectral gaps above a certain size in sparse symmetric matrices, with proven error bounds and practical effectiveness.
Contribution
The paper presents a novel approach that efficiently detects all spectral gaps above a threshold using a single Hutchinson sample and focused Lanczos iterations, with rigorous error analysis.
Findings
The proposed method reliably detects spectral gaps above a threshold.
Using one Hutchinson sample with focused Lanczos iterations is optimal.
Numerical experiments confirm the method's efficiency and accuracy.
Abstract
In this paper we propose and analyze an algorithm for identifying spectral gaps of a real symmetric matrix by simultaneously approximating the traces of spectral projectors associated with multiple different spectral slices. Our method utilizes Hutchinson's stochastic trace estimator together with the Lanczos algorithm to approximate quadratic forms involving spectral projectors. Instead of focusing on determining the gap between two particular consecutive eigenvalues of , we aim to find all gaps that are wider than a specified threshold. By examining the problem from this perspective, and thoroughly analyzing both the Hutchinson and the Lanczos components of the algorithm, we obtain error bounds that allow us to determine the numbers of Hutchinson's sample vectors and Lanczos iterations needed to ensure the detection of all gaps above the target width with high probability. In…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMatrix Theory and Algorithms · Point processes and geometric inequalities
