A group-theoretic approach to fast matrix multiplication

被引:68
作者
Cohn, H [1 ]
Umans, C [1 ]
机构
[1] Microsoft Res, Redmond, WA 98052 USA
来源
44TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS | 2003年
关键词
D O I
10.1109/SFCS.2003.1238217
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We develop a new, group-theoretic approach to bounding the exponent of matrix multiplication. There are two components to this approach: (1) identifying groups G that admit a certain type of embedding of matrix multiplication into the group algebra C[G], and (2) controlling the dimensions of the irreducible representations of such groups. We present machinery and examples to support (1), including a proof that certain families of groups of order n(2+o(l)) support n x n matrix multiplication, a necessary condition for the approach to yield exponent 2. Although we cannot yet completely achieve both (1) and (2), we hope that it may be possible, and we suggest potential routes to that result using the constructions in this paper.
引用
收藏
页码:438 / 449
页数:12
相关论文
共 15 条
[11]   A SPERNER-TYPE THEOREM AND QUALITATIVE INDEPENDENCE [J].
KORNER, J ;
SIMONYI, G .
JOURNAL OF COMBINATORIAL THEORY SERIES A, 1992, 59 (01) :90-103
[12]  
LAFFERTY J, 1992, EXPT MATH, V1
[13]   GAUSSIAN ELIMINATION IS NOT OPTIMAL [J].
STRASSEN, V .
NUMERISCHE MATHEMATIK, 1969, 13 (04) :354-&
[14]   ASYMPTOTIC OF THE LARGEST AND THE TYPICAL DIMENSIONS OF IRREDUCIBLE REPRESENTATIONS OF A SYMMETRIC GROUP [J].
VERSHIK, AM ;
KEROV, SV .
FUNCTIONAL ANALYSIS AND ITS APPLICATIONS, 1985, 19 (01) :21-31
[15]  
[No title captured]