Approaches to Bounding the Exponent of Matrix Multiplication
summary
Survey of specific progress and a new direction: Strassen’s 2x2 decomposition gives seven multiplications (ω ≤ 2.81), repeated tensor powers and the laser/Coppersmith–Winograd pipeline push ω down to ~2.37, and border rank replaces exact rank in many improvements. A group-algebra reduction uses three subsets with the triple product property to embed k×k multiplication into a group of size ≈k^2, but large character degrees kill the gain. The proposed shift embeds into semi-simple algebras/coherent configurations, defines omega_sub_s (support-rank exponent), and shows omega_sub_s → 2 implies ω → 2.
AI-written summary · about
chapters (17)
- 0:00Introduction
- 1:58Outline
- 4:42Tensors
- 6:23The matrix multiplication tensor
- 15:52Upper bounds on rank
- 23:30A different approach
- 25:13The general approach
- 28:58The embedding
- 30:30How many multiplications?
- 33:00The triangle construction
- 41:19Group algebra approach
- 42:17General semi-simple algebras
- 43:24Weighted vs. unweighted MM
- 45:54Coherent configurations group theory without groups
- 46:25Coherent configs vs. groups
- 47:19Commutative CCs suffice
- 47:38Open problems
