Abstract:We study the Matrix Multiplication Verification Problem (MMV) where the goal is, given three $n \times n$ matrices $A$, $B$, and $C$ as input, to decide whether $AB = C$. A classic randomized algorithm by Freivalds (MFCS, 1979) solves MMV in $\widetilde{O}(n^2)$ time, and a longstanding challenge is to (partially) derandomize it while still running in faster than matrix multiplication time (i.e., in $o(n^{\omega})$ time). To that end, we give two algorithms for MMV in the case where $AB - C$ is sparse. Specifically, when $AB - C$ has at most $O(n^{\delta})$ non-zero entries for a constant $0 \leq \delta < 2$, we give (1) a deterministic $O(n^{\omega - \varepsilon})$-time algorithm for constant $\varepsilon = \varepsilon(\delta) > 0$, and (2) a randomized $\widetilde{O}(n^2)$-time algorithm using $\delta/2 \cdot \log_2 n + O(1)$ random bits. The former algorithm is faster than the deterministic algorithm of Künnemann (ESA, 2018) when $\delta \geq 1.056$, and the latter algorithm uses fewer random bits than the algorithm of Kimbrel and Sinha (IPL, 1993), which runs in the same time and uses $\log_2 n + O(1)$ random bits (in turn fewer than Freivalds's algorithm). We additionally study the complexity of MMV. We first show that all algorithms in a natural class of deterministic linear algebraic algorithms for MMV (including ours) require $\Omega(n^{\omega})$ time. We also show a barrier to proving a super-quadratic running time lower bound for matrix multiplication (and hence MMV) under the Strong Exponential Time Hypothesis (SETH). Finally, we study relationships between natural variants and special cases of MMV (with respect to deterministic $\widetilde{O}(n^2)$-time reductions).

Correcting matrix products over the ring of integers

Correcting matrix products over the ring of integers

Some counting questions for matrix products

Products of commutators in matrix rings

Products of Commutators of Transvections over Local Rings

The Group Invertibility of the Product of Two Matrices over Ring and Its Applications

The numerical range of matrix products

Product of positive semi-definite matrices

Matrix Multiplication Verification Using Coding Theory

Waring Problem for Matrices over Finite Fields

A+B=B+A

Algorithms for structured matrix-vector product of optimal bilinear complexity

Some Algebraic Aspects of combined matrices

Accurate solutions of M -matrix Sylvester equations

Products of Positive Semi-Definite Matrices

Cartan matrices and Brauer's k(B)-Conjecture III

Zero Triple Product Determined Matrix Algebras

Matrix Product Codes over Finite Commutative Frobenius Rings

Products of unipotent matrices of index 2 over division rings

On the Matrix Equation Al + Al+k = Jn