English

Faster Sparse Matrix Inversion and Rank Computation in Finite Fields

Data Structures and Algorithms 2022-12-13 v2 Numerical Analysis Symbolic Computation Numerical Analysis

Abstract

We improve the current best running time value to invert sparse matrices over finite fields, lowering it to an expected O(n2.2131)O\big(n^{2.2131}\big) time for the current values of fast rectangular matrix multiplication. We achieve the same running time for the computation of the rank and nullspace of a sparse matrix over a finite field. This improvement relies on two key techniques. First, we adopt the decomposition of an arbitrary matrix into block Krylov and Hankel matrices from Eberly et al. (ISSAC 2007). Second, we show how to recover the explicit inverse of a block Hankel matrix using low displacement rank techniques for structured matrices and fast rectangular matrix multiplication algorithms. We generalize our inversion method to block structured matrices with other displacement operators and strengthen the best known upper bounds for explicit inversion of block Toeplitz-like and block Hankel-like matrices, as well as for explicit inversion of block Vandermonde-like matrices with structured blocks. As a further application, we improve the complexity of several algorithms in topological data analysis and in finite group theory.

Keywords

Cite

@article{arxiv.2106.09830,
  title  = {Faster Sparse Matrix Inversion and Rank Computation in Finite Fields},
  author = {Sílvia Casacuberta and Rasmus Kyng},
  journal= {arXiv preprint arXiv:2106.09830},
  year   = {2022}
}

Comments

Appeared at ITCS 2022. Fixed the runtimes in Section 3 by using the correct generalization of the BA80 algorithm to arbitrary matrices with large displacement rank

R2 v1 2026-06-24T03:20:23.110Z