arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv math/0603207math.NAcs.CCcs.DScs.NAmath.GR
收藏

快速矩阵乘法是稳定的

Fast matrix multiplication is stable

James Demmel, Ioana Dumitriu, Olga Holtz, Robert Kleinberg

AI总结:

本文对一类递归矩阵乘法算法进行前向误差分析,证明矩阵乘法指数可通过数值稳定算法实现,并表明群论算法也属于稳定算法。

摘要:

我们按照 [D. Bini 和 G. Lotti, 快速矩阵乘法算法的稳定性, Numer. Math. 36 (1980), 63--72] 的精神,对一大类递归矩阵乘法算法进行了前向误差分析。作为分析的结果,我们证明了矩阵乘法的指数(最优运行时间)可以通过数值稳定的算法实现。我们还证明了 [H. Cohn 和 C. Umans, 一种群论方法实现快速矩阵乘法, FOCS 2003, 438--449] 和 [H. Cohn, R. Kleinberg, B. Szegedy 和 C. Umans, 群论算法用于矩阵乘法, FOCS 2005, 379--388] 中提出的新群论算法都包含在我们的分析适用的算法类别中,因此是数值稳定的。我们对三种特定的快速群论算法进行了详细的误差分析。

英文摘要:

We perform forward error analysis for a large class of recursive matrix multiplication algorithms in the spirit of [D. Bini and G. Lotti, Stability of fast algorithms for matrix multiplication, Numer. Math. 36 (1980), 63--72]. As a consequence of our analysis, we show that the exponent of matrix multiplication (the optimal running time) can be achieved by numerically stable algorithms. We also show that new group-theoretic algorithms proposed in [H. Cohn, and C. Umans, A group-theoretic approach to fast matrix multiplication, FOCS 2003, 438--449] and [H. Cohn, R. Kleinberg, B. Szegedy and C. Umans, Group-theoretic algorithms for matrix multiplication, FOCS 2005, 379--388] are all included in the class of algorithms to which our analysis applies, and are therefore numerically stable. We perform detailed error analysis for three specific fast group-theoretic algorithms.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑