Commutative coherent configurations suffice for matrix multiplication exponent two

A coherent configuration is a finite set equipped with a partition of its ordered pairs into basis relations; it is commutative when its adjacency algebra is commutative. A coherent configuration realizes the matrix multiplication tensor n,n,n\langle n,n,n\rangle when the associated tensor realization has matrix dimensions n,n,nn,n,n, and its rank is the number of basis relations.

Commutative coherent configuration conjecture. There exist commutative coherent configurations Cn{\cal C}_n realizing n,n,n\langle n,n,n\rangle and of rank n2+o(1)n^{2+o(1)}.

Such configurations would provide a route to proving that the matrix multiplication exponent satisfies ω=2\omega=2. The paper gives commutative coherent configurations yielding nontrivial upper bounds on ω\omega, but the asserted rank-n2+o(1)n^{2+o(1)} family is not established here.

Sources & referencesView supporting material

Primary source

Henry Cohn and Christopher Umans, “Fast matrix multiplication using coherent configurations”, arXiv:1207.6528 (2012).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.