Designing Strassen's algorithm

08/30/2017
by   Joshua A. Grochow, et al.
0

In 1969, Strassen shocked the world by showing that two n x n matrices could be multiplied in time asymptotically less than O(n^3). While the recursive construction in his algorithm is very clear, the key gain was made by showing that 2 x 2 matrix multiplication could be performed with only 7 multiplications instead of 8. The latter construction was arrived at by a process of elimination and appears to come out of thin air. Here, we give the simplest and most transparent proof of Strassen's algorithm that we are aware of, using only a simple unitary 2-design and a few easy lines of calculation. Moreover, using basic facts from the representation theory of finite groups, we use 2-designs coming from group orbits to generalize our construction to all n (although the resulting algorithms aren't optimal for n at least 3).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/27/2021

Improved algorithms for Boolean matrix multiplication via opportunistic matrix multiplication

Karppa Kaski (2019) proposed a novel type of "broken" or "opportunis...
research
11/11/2022

On automorphism group of a possible short algorithm for multiplication of 3×3 matrices

Studying algorithms admitting nontrivial symmetries is a prospective way...
research
01/08/2019

Fast generalized DFTs for all finite groups

For any finite group G, we give an arithmetic algorithm to compute gener...
research
05/11/2017

Cache-oblivious Matrix Multiplication for Exact Factorisation

We present a cache-oblivious adaptation of matrix multiplication to be i...
research
11/07/2022

Non-existence of a short algorithm for multiplication of 3×3 matrices with group S_4× S_3

One of prospective ways to find new fast algorithms of matrix multiplica...
research
08/27/2017

Strassen's 2x2 matrix multiplication algorithm: A conceptual perspective

Despite its importance, all proofs of the correctness of Strassen's famo...

Please sign up or login with your details

Forgot password? Click here to reset