Strassen's algorithm via orbit flip graphs

Christian Ikenmeyer, Jakob Moosbauer

We give a short proof for Strassen's result that the rank of the 2 by 2 matrix multiplication tensor is at most 7. The proof requires no calculations and also no pattern matching o…