TY - GEN
T1 - Towards Faster Feasible Matrix Multiplication by Trilinear Aggregation
AU - Schwartz, Oded
AU - Zwecher, Eyal
N1 - Publisher Copyright: © 2026 Copyright held by the owner/author(s).
PY - 2026/7/12
Y1 - 2026/7/12
N2 - Matrix multiplication is a fundamental kernel in high-performance computing. Many algorithms for fast matrix multiplication can only be applied to enormous matrices (n > 10100) and thus cannot be used in practice. Of all algorithms applicable to feasible input sizes, Pan's O(n2.773372) algorithm (1982) is asymptotically the fastest. We obtain an O(n2.773203) algorithm applicable to the same input sizes as Pan's algorithm. This algorithm is the fastest matrix multiplication algorithm with a base case smaller than 1000. Further, our method obtains the best asymptotic complexity for many small base cases, starting at n0 = 28. We also obtain better exponents (e.g., O(n2.773177)) for larger base cases. To construct our algorithm, we use the trilinear aggregation method. We identify parts of the algorithm that are equivalent to matrix multiplication with smaller base cases, and use the de Groote equivalence to replace these parts in a way that allows further optimization of our algorithms. Finally, we improve the additive complexity of our algorithm by finding a sparse decomposition and reducing the leading coefficient. These algorithms have the potential to outperform existing fast matrix multiplication algorithms in practice.
AB - Matrix multiplication is a fundamental kernel in high-performance computing. Many algorithms for fast matrix multiplication can only be applied to enormous matrices (n > 10100) and thus cannot be used in practice. Of all algorithms applicable to feasible input sizes, Pan's O(n2.773372) algorithm (1982) is asymptotically the fastest. We obtain an O(n2.773203) algorithm applicable to the same input sizes as Pan's algorithm. This algorithm is the fastest matrix multiplication algorithm with a base case smaller than 1000. Further, our method obtains the best asymptotic complexity for many small base cases, starting at n0 = 28. We also obtain better exponents (e.g., O(n2.773177)) for larger base cases. To construct our algorithm, we use the trilinear aggregation method. We identify parts of the algorithm that are equivalent to matrix multiplication with smaller base cases, and use the de Groote equivalence to replace these parts in a way that allows further optimization of our algorithms. Finally, we improve the additive complexity of our algorithm by finding a sparse decomposition and reducing the leading coefficient. These algorithms have the potential to outperform existing fast matrix multiplication algorithms in practice.
KW - Bilinear Algorithms
KW - Fast Matrix Multiplication
KW - Sparse Decomposition Method
KW - Trilinear Aggregation
UR - https://www.scopus.com/pages/publications/105045808857
U2 - 10.1145/3815436.3815438
DO - 10.1145/3815436.3815438
M3 - Conference contribution
T3 - Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC
SP - 354
EP - 363
BT - ISSAC 2026 - Proceedings of the 2026 International Symposium on Symbolic and Algebraic Computation
A2 - Koutschan, Christoph
A2 - Bostan, Alin
A2 - Pernet, Clement
A2 - Vu, Thi Xuan
T2 - International Symposium on Symbolic and Algebraic Computation, ISSAC 2026
Y2 - 13 July 2026 through 17 July 2026
ER -