Approaches to Bounding the Exponent of Matrix Multiplication
summary
Surveys known strategies that upper‑bound omega: handcrafted small tensor ranks and border ranks (Strassen 2.81, Coppersmith–Winograd to 2.38), packing many independent multiplications via the asymptotic sum inequality, and the laser/tensor‑power method yielding diminishing returns (limit ~2.3078 for that family). Proposes embedding n×n multiplication into semisimple algebras (group algebras, then association schemes) using combinatorial conditions like the triple product property and the strong uniquely solvable puzzle conjecture; shows commutative schemes could suffice to reach omega = 2.
AI-written summary · about
chapters (25)
- 0:00Start
- 0:29Introduction
- 1:21Outline
- 2:17The matrix multiplication tensor
- 4:47Upper bounds on rank
- 14:46"Asymptotic Rank" conjecture CW90
- 19:27Strong Uniquely Solvable Puzzle
- 24:04A different approach
- 25:40The general approach
- 27:23The Group Algebra
- 27:52"Nice basis" embedding
- 28:40The embedding
- 29:46How many multiplications?
- 33:09The triangle construction
- 34:16What should we be aiming for?
- 36:17Constructions in linear groups
- 37:54Group algebra approach
- 39:19General semi-simple algebras
- 40:21Weighted vs. unweighted MM
- 44:37Coherent configurations "group theory without groups"
- 46:54Coherent configs: examples
- 47:47Adjacency algebra
- 48:38Nice basis conditions
- 49:38Coherent configs vs. groups
- 53:16Open problems
