RUS  ENG
Full version
JOURNALS // Matematicheskii Sbornik // Archive

Mat. Sb., 2017 Volume 208, Number 11, Pages 90–138 (Mi sm8833)

This article is cited in 4 papers

Fast matrix multiplication and its algebraic neighbourhood

V. Ya. Panab

a Department of Mathematics and Computer Science, Lehman College of the City University of New York, Bronx, NY, USA
b The Graduate Center of the City University of New York, New York, NY, USA

Abstract: Matrix multiplication is among the most fundamental operations of modern computations. By 1969 it was still commonly believed that the classical algorithm was optimal, although the experts already knew that this was not so. Worldwide interest in matrix multiplication instantly exploded in 1969, when Strassen decreased the exponent 3 of cubic time to $2.807$. Then everyone expected to see matrix multiplication performed in quadratic or nearly quadratic time very soon. Further progress, however, turned out to be capricious. It was at stalemate for almost a decade, then a combination of surprising techniques (completely independent of Strassen's original ones and much more advanced) enabled a new decrease of the exponent in 1978–1981 and then again in 1986, to $2.376$. By 2017 the exponent has still not passed through the barrier of $2.373$, but most disturbing was the curse of recursion — even the decrease of exponents below $2.7733$ required numerous recursive steps, and each of them squared the problem size. As a result, all algorithms supporting such exponents supersede the classical algorithm only for inputs of immense sizes, far beyond any potential interest for the user.
We survey the long study of fast matrix multiplication, focusing on neglected algorithms for feasible matrix multiplication. We comment on their design, the techniques involved, implementation issues, the impact of their study on the modern theory and practice of Algebraic Computations, and perspectives for fast matrix multiplication.
Bibliography: 163 titles.

Keywords: matrix multiplication, bilinear algorithms, tensor decomposition, feasible matrix multiplication, exponent of matrix multiplication.

UDC: 519.61+519.712.63+512.647.2

MSC: 68Q25, 65F05, 15A06, 15A69, 01A60, 15-03

Received: 10.10.2016 and 28.03.2017

DOI: 10.4213/sm8833


 English version:
Sbornik: Mathematics, 2017, 208:11, 1661–1704

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024