Learning to Discover Iterative Spectral Algorithms
About
We introduce AutoSpec, a neural network framework for discovering iterative spectral algorithms for large-scale numerical linear algebra and numerical optimization. Our self-supervised models adapt to input operators using coarse spectral information (e.g., eigenvalue estimates and residual norms), and predict recurrence coefficients for computing or applying a matrix polynomial tailored to a downstream task. The effectiveness of AutoSpec relies on three ingredients: an architecture whose inference pass implements short, executable numerical linear algebra recurrences; efficient training on small synthetic problems with transfer to large-scale real-world operators; and task-defined objectives that enforce the desired approximation or preconditioning behavior across the range of spectral profiles represented in the training set. We apply AutoSpec to discovering algorithms for representative tasks on spd matrices: accelerating matrix function approximation; accelerating sparse linear solvers; and spectral filtering/preconditioning for eigenvalue computations. On real-world matrices, the learned procedures deliver up to order-of-magnitude improvements in accuracy and/or reductions in iteration count, relative to spectrum-agnostic baselines. We find clear connections to classical theory: the induced polynomials may exhibit equioscillation behavior characteristic of Chebyshev polynomial approximation. The code is available at: https://github.com/zihanghliu/AutoSpec .
Related benchmarks
| Task | Dataset | Result | Rank | |
|---|---|---|---|---|
| Eigenvalue problem | SuiteSparse Matrix Collection (λ10) (test) | Iterations4 | 8 | |
| Eigenvalue problem | SuiteSparse Matrix Collection λ20 (test) | Iterations3 | 8 | |
| Linear systems | SuiteSparse Matrix Collection nos5 | Iterations75 | 4 | |
| Linear systems | SuiteSparse Matrix Collection wathen100 | Iterations35 | 4 | |
| Linear systems | SuiteSparse Matrix Collection thermomech TC | Iterations10 | 4 | |
| Linear systems | SuiteSparse Matrix Collection G2 circuit | Iterations69 | 4 | |
| Linear systems | SuiteSparse Matrix Collection gyro m | Iterations27 | 4 | |
| Linear systems | SuiteSparse Matrix Collection Dubcova2 | Iterations22 | 4 | |
| Linear systems | SuiteSparse Matrix Collection Flan 1565 | Iterations366 | 4 | |
| Linear systems | SuiteSparse Matrix Collection G3 circuit | Iterations100 | 4 |