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.

Principal Pivot Transforms On Radix-2 Diht-Type Matrices

Principal pivot transforms: properties and applications

Braided Matrices A(R,F)

Pseudo Principal Pivot Transform: The Group Inverse Case

Fast and Stable Pascal Matrix Algorithms

Digit-reversal Permutation Algorithm Based on Look-Up Tables for In-Place Single-Radix Fast Fourier Transforms

A note on positive partial transpose blocks

Pivoting in Linear Complementarity: Two Polynomial-Time Cases

Periodicity and Circulant Matrices in the Riordan Array of a Polynomial

The Nullity Theorem for Principal Pivot Transform

Generalizing Random Butterfly Transforms to Arbitrary Matrix Sizes

The Implement of 2n——Point FFT Module Radix

Radix-2 Fast Hartley Transform Revisited

Split-Radix Algorithm for the Discrete Hirschman Transform

Rigid Matrices from Rectangular PCPs

The Generalized Triangular Decomposition.

Novel Theory for Polynomial and Rational Matrices at Infinity. Part 2. Rational Matrices

Matrix Factorization for Fast DCT Algorithms

The Pascal Matrix, Commuting Tridiagonal Operators and Fourier Algebras

P-tensors, P0-tensors, and Their Applications

Equivalent Polyadic Decompositions of Matrix Multiplication Tensors