English

Further limitations of the known approaches for matrix multiplication

Computational Complexity 2017-12-21 v1 Data Structures and Algorithms

Abstract

We consider the techniques behind the current best algorithms for matrix multiplication. Our results are threefold. (1) We provide a unifying framework, showing that all known matrix multiplication running times since 1986 can be achieved from a single very natural tensor - the structural tensor TqT_q of addition modulo an integer qq. (2) We show that if one applies a generalization of the known techniques (arbitrary zeroing out of tensor powers to obtain independent matrix products in order to use the asymptotic sum inequality of Sch\"{o}nhage) to an arbitrary monomial degeneration of TqT_q, then there is an explicit lower bound, depending on qq, on the bound on the matrix multiplication exponent ω\omega that one can achieve. We also show upper bounds on the value α\alpha that one can achieve, where α\alpha is such that n×nα×nn\times n^\alpha \times n matrix multiplication can be computed in n2+o(1)n^{2+o(1)} time. (3) We show that our lower bound on ω\omega approaches 22 as qq goes to infinity. This suggests a promising approach to improving the bound on ω\omega: for variable qq, find a monomial degeneration of TqT_q which, using the known techniques, produces an upper bound on ω\omega as a function of qq. Then, take qq to infinity. It is not ruled out, and hence possible, that one can obtain ω=2\omega=2 in this way.

Keywords

Cite

@article{arxiv.1712.07246,
  title  = {Further limitations of the known approaches for matrix multiplication},
  author = {Josh Alman and Virginia Vassilevska Williams},
  journal= {arXiv preprint arXiv:1712.07246},
  year   = {2017}
}

Comments

16 pages. To appear in 9th Innovations in Theoretical Computer Science Conference (ITCS 2018)