๐ฎ
๐ฎ
The Ethereal
Further limitations of the known approaches for matrix multiplication
December 19, 2017 ยท The Ethereal ยท ๐ Information Technology Convergence and Services
"No code URL or promise found in abstract"
Evidence collected by the PWNC Scanner
Authors
Josh Alman, Virginia Vassilevska Williams
arXiv ID
1712.07246
Category
cs.CC: Computational Complexity
Cross-listed
cs.DS
Citations
42
Venue
Information Technology Convergence and Services
Last Checked
1 month ago
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 $T_q$ of addition modulo an integer $q$. (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รถnhage) to an arbitrary monomial degeneration of $T_q$, then there is an explicit lower bound, depending on $q$, on the bound on the matrix multiplication exponent $ฯ$ that one can achieve. We also show upper bounds on the value $ฮฑ$ that one can achieve, where $ฮฑ$ is such that $n\times n^ฮฑ\times n$ matrix multiplication can be computed in $n^{2+o(1)}$ time. (3) We show that our lower bound on $ฯ$ approaches $2$ as $q$ goes to infinity. This suggests a promising approach to improving the bound on $ฯ$: for variable $q$, find a monomial degeneration of $T_q$ which, using the known techniques, produces an upper bound on $ฯ$ as a function of $q$. Then, take $q$ to infinity. It is not ruled out, and hence possible, that one can obtain $ฯ=2$ in this way.
Community Contributions
Found the code? Know the venue? Think something is wrong? Let us know!
๐ Similar Papers
In the same crypt โ Computational Complexity
๐ฎ
๐ฎ
The Ethereal
An Exponential Separation Between Randomized and Deterministic Complexity in the LOCAL Model
๐ฎ
๐ฎ
The Ethereal
The Parallelism Tradeoff: Limitations of Log-Precision Transformers
๐ฎ
๐ฎ
The Ethereal
The Hardness of Approximation of Euclidean k-means
๐ฎ
๐ฎ
The Ethereal
Slightly Superexponential Parameterized Problems
๐ฎ
๐ฎ
The Ethereal