Matrix Multiplication Exponent
Canonical statement
View source LaTeX
Over the concrete field \(\mathbb Q\), let
\[
\omega=\inf\{\tau:\text{two }n\times n\text{ matrices can be multiplied
using }O(n^{\tau+\varepsilon})\text{ field operations for every }
\varepsilon>0\}.
\]
Then
\[
\omega=2.
\]Notes
The conjecture states that the exponent of matrix multiplication equals two: over , two matrices can be multiplied in arithmetic operations for every . The question dates from around 1969, when Strassen showed that the classical cubic algorithm is not optimal, multiplying matrices with exponent [Strassen1969].
Since the input and output consist of entries, trivially, and no lower bound above this is known. On the other side, a long line of tensor-based constructions has driven the upper bound down: the refined laser method [AlmanVW2021] and subsequent asymmetric refinements [AlmanEtAl2024Asymmetry] yield , but the successive improvements have become small, and no known method approaches the conjectured value.
The conjecture remains open. A proof requires constructions of a fundamentally new kind reaching exponent arbitrarily close to ; a refutation would require the first nontrivial lower bound on .
References (3)
- [Strassen1969]
Gaussian elimination is not optimal
Open ↗Volker Strassen · 1969 · misc
- [AlmanVW2021]
A refined laser method and faster matrix multiplication
Open ↗Josh Alman and Virginia Vassilevska Williams · 2021 · misc
- [AlmanEtAl2024Asymmetry]
More asymmetry yields faster matrix multiplication
Open ↗Josh Alman and Ran Duan and Virginia Vassilevska Williams and Yinzhan Xu and Zixuan Xu and Renfei Zhou · 2024 · misc
The boxed statement is the canonical open formulation — not a stronger variant or a related research program. The status reflects the catalog's last review; do your own literature search before investing serious effort.