Year: 2025
Type: preprint
Abstract: 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 or other type of nontrivial verification, and is based solely on properties of a specific order 6 group action. Our proof is based on the recent combination of flip graph algorithms and symmetries.
Source: arXiv (Cornell University)
Authors: Ikenmeyer, Christian, Moosbauer, Jakob
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W6948029624
Cites:
Cited by:
Related to: