Abstract:The performance of sparse iterative solvers is typically limited by sparse matrix-vector multiplication, which is itself limited by memory system and network performance. As the gap between computation and communication speed continues to widen, these traditional sparse methods will suffer. In this paper we focus on an alternative building block for sparse iterative solvers, the “matrix powers ker-nel” [x, Ax, $\rm A^{2}x$, …, $\rm A^{k}x$], and show that by organizing computations around this kernel, we can achieve near-minimal communication costs. We consider communication very broadly as both network communication in parallel code and memory hierarchy access in sequential code. In particular, we introduce a parallel algorithm for which the number of messages (total latency cost) is independent of the power k, and a sequential algorithm, that reduces both the number and volume of accesses, so that it is independent of k in both latency and bandwidth costs. This is part of a larger project to develop “communication-avoiding Krylov subspace methods,” which also addresses the numerical issues associated with these methods. Our algorithms work for general sparse matrices that “partition well”. We introduce parallel performance models of matrices arising from 2D and 3D problems and show predicted speedups over a conventional algorithm of up to $7x$ on a Petaflop-scale machine and up to $22x$ on computation across the Grid. Analogous sequential performance models of the same problems predict speedups over a conventional algorithm of up to $10x$ on an out-of-core implemen-tation, and up to $2.5x$ when we use our ideas to reduce off-chip latency and bandwidth to DRAM. Finally, we validate the model on an out-of-core sequential implementation and measured a speedup of over $3x$, which is close to the predicted speedup.

Keeping it sparse: Computing Persistent Homology revisited

Expected Complexity of Persistent Homology Computation via Matrix Reduction

Computing Connection Matrices via Persistence-like Reductions

Persistent (Co)Homology in Matrix Multiplication Time

U-match factorization: sparse homological algebra, lazy cycle representatives, and dualities in persistent (co)homology

Efficient and Scalable Kernel Matrix Approximations using Hierarchical Decomposition

An Exposition on the Algebra and Computation of Persistent Homology

Nonlinear Random Matrices and Applications to the Sum of Squares Hierarchy

Preserving Sparsity and Privacy in Straggler-Resilient Distributed Matrix Computations

A Kernel for Multi-Parameter Persistent Homology

A Matrix Hyperbolic Cosine Algorithm and Applications

Computing sparse derivatives and consecutive zeros problem

Persistent Homology via Ellipsoids

On Parallelizing Matrix Multiplication by the Column-Row Method

Sparse Partial-Tracing

Distributed Computation of Persistent Cohomology

Randomized Compression of Rank-Structured Matrices Accelerated with Graph Coloring

Avoiding communication in sparse matrix computations

Hierarchical Lowrank Arithmetic with Binary Compression