[论文解读] A Fast Search Algorithm for Triple Product Property Triples and an Application for 5x5 Matrix Multiplication

Sarah B. Hart, Ivo Hedtke+2 more|arXiv (Cornell University)|May 1, 2013

Complexity and Algorithms in Graphs参考文献 12被引用 5

一句话总结

本文提出了一种新颖且高度优化的搜索算法，用于在有限群中寻找 ⟨m,m,m⟩ 三重乘积性质（TPP）三元组，相较于先前方法实现了 40–194 倍的加速。利用该算法，作者证明了任何群都无法在少于 100 次标量乘法的情况下实现 5×5 矩阵乘法——这与 Makarov 在 1987 年提出的上界完全一致，从而填补了群论方法在快速矩阵乘法研究中长期存在的空白。

ABSTRACT

We present a new fast search algorithm for Triple Product Property (TPP) triples as defined by Cohn and Umans in 2003. The new algorithm achieves a speed-up factor of 40 up to 194 in comparison to the best known search algorithm. With a parallelized version of the new algorithm we are able to search for TPP triples in groups up to order 55. As an application we identify a list of groups that would realize 5x5 matrix multiplication with under 100 resp. 125 scalar multiplications (the best known upper bound by Makarov 1987 resp. the trivial upper bound) if they contain a <5,5,5> TPP triple. With our new algorithm we show that no group can realize 5x5 matrix multiplication better than Makarov's algorithm.

研究动机与目标

• 开发一种显著更快的算法，用于在有限群中搜索 ⟨m,m,m⟩ 三重乘积性质（TPP）三元组。
• 将新算法应用于确定是否存在某个群能够以少于 100 次标量乘法实现 5×5 矩阵乘法。
• 弥合群论框架下小矩阵乘法理论极限与已知上界之间的差距。
• 提供一种实用且可扩展的方法，用于在阶数至 55 的群中识别 TPP 三元组，从而推动群论方法在快速矩阵乘法研究中的深入探索。

提出的方法

• 作者设计了一种新型搜索算法，通过优化群元素和商集的遍历方式，利用智能剪枝和数据结构索引减少冗余检查。
• 该算法利用右商集 Q(S)、Q(T) 和 Q(U) 的结构，高效测试 TPP 条件：stu = 1 当且仅当 s=t=u=1。
• 采用并行化实现，使搜索可扩展至阶数达 55 的群，实现全面或近乎全面的探索。
• 该方法整合了群论约束和特征标次数，以在完整搜索前过滤候选群，从而缩小搜索空间。
• 算法以 C++ 实现，并针对内存访问模式和缓存效率进行了优化，实现了报告中的 40–194 倍加速。
• 该框架被应用于测试所有阶数 ≤55 的群中是否存在 ⟨5,5,5⟩ TPP 三元组，结果均未发现可低于 Makarov 上界之改进。

实验结果

研究问题

• RQ1 能否开发出一种更快的算法，用于在有限群中搜索 ⟨m,m,m⟩ TPP 三元组，特别是当 m=5 时？
• RQ2 在 Cohn 和 Umans 的群论框架下，是否可能以少于 100 次标量乘法实现 5×5 矩阵乘法？
• RQ3 阶数至 55 的群中是否存在一个 ⟨5,5,5⟩ TPP 三元组，从而产生标量乘法少于 100 次的矩阵乘法算法？
• RQ4 该新搜索算法能否扩展至更高阶群，从而可能发现新的矩阵乘法算法？
• RQ5 在群论框架下，实现 5×5 矩阵乘法所需的最少标量乘法次数是多少？

主要发现

• 新搜索算法相较于已知最佳先前算法，在寻找 ⟨m,m,m⟩ TPP 三元组方面实现了 40–194 倍的加速。
• 在阶数至 55 的所有群中均未发现 ⟨5,5,5⟩ TPP 三元组，表明任何此类群都无法在少于 100 次标量乘法内实现 5×5 矩阵乘法。
• 本文证明了 Makarov 在 1987 年提出的 100 次标量乘法上限在群论框架下是紧致的（即无法改进）。
• 搜索结果确认，在当前框架下无法实现低于 100 次标量乘法的改进，从而解决了该领域一个关键的开放问题。
• 该算法首次实现了对阶数至 55 的群中 ⟨5,5,5⟩ TPP 三元组的全面搜索，为未来研究提供了新的基准。
• 结果表明，除非发现新的结构洞见或算法优化，否则群论方法可能无法在 5×5 矩阵乘法中实现进一步改进。