Abstract:Invariance transformations of polyadic decompositions of matrix multiplication tensors define an equivalence relation on the set of such decompositions. In this paper, we present an algorithm to efficiently decide whether two polyadic decompositions of a given matrix multiplication tensor are equivalent. With this algorithm, we analyze the equivalence classes of decompositions of several matrix multiplication tensors. This analysis is relevant for the study of fast matrix multiplication as it relates to the question of how many essentially different fast matrix multiplication algorithms there exist. This question has been first studied by de~Groote, who showed that for the multiplication of $2\times2$ matrices with $7$ active multiplications, all algorithms are essentially equivalent to Strassen's algorithm. In contrast, the results of our analysis show that for the multiplication of larger matrices, (e.g., $2\times3$ by $3\times2$ or $3\times3$ by $3\times3$ matrices), two decompositions are very likely to be essentially different. We further provide a necessary criterion for a polyadic decomposition to be equivalent to a polyadic decomposition with integer entries. Decompositions with specific integer entries, e.g., powers of two, provide fast matrix multiplication algorithms with better efficiency and stability properties. This condition can be tested algorithmically and we present the conclusions obtained for the decompositions of small/medium matrix multiplication tensors.

Balancing permuted copies of multigraphs and integer matrices

Is This a New Class of Matrices?

On Supmodular Matrices

On the class of matrices with rows that weakly decrease cyclicly from the diagonal

Permutation-Like Matrices

Equivalent Polyadic Decompositions of Matrix Multiplication Tensors

On the Column Number and Forbidden Submatrices for [math]-Modular Matrices

Strong Cocomparability Graphs and Slash-Free Orderings of Matrices

Waring Problem for Matrices over Finite Fields

Integer programs with nearly totally unimodular matrices: the cographic case

A Matrix Polynomial Spectral Approach for General Joint Block Diagonalization.

Commuting matrices, and modules over Artinian local rings

Integer matrices with a given characteristic polynomial and multiplicative dependence of matrices

Linear balanceable and subcubic balanceable graphs

On the image of graph distance matrices

A Row-wise Algorithm for Graph Realization

P-matrices and signed digraphs

On pairs of complementary GJ pivoting transforming skew-symmetric matrices

Multislant matrices and Jacobi--Trudi determinants over finite fields

Random permutation matrix models for graph products