[论文解读] The geometry of rank decompositions of matrix multiplication I: 2x2 matrices

Luca Chiantini, Christian Ikenmeyer+2 more|arXiv (Cornell University)|Oct 25, 2016

Tensor decomposition and applications参考文献 2被引用 4

一句话总结

本文通过射影几何与不变量理论，对斯特拉森的2×2矩阵乘法算法进行了基于几何与对称性的分析，通过射影几何确立了其对称群，并引入了斯特拉森族中一个新颖的分解子族。通过在$PGL(U) \times PGL(V) \times PGL(W)$下的不变性，证明了该算法的正确性，从而为在高维情形下利用对称性约束发现新的矩阵乘法分解提供了框架。

ABSTRACT

This is the first in a series of papers on rank decompositions of the matrix multiplication tensor. In this paper we: establish general facts about rank decompositions of tensors, describe potential ways to search for new matrix multiplication decompositions, give a geometric proof of the theorem of Burichenko's theorem establishing the symmetry group of Strassen's algorithm, and present two particularly nice subfamilies in the Strassen family of decompositions.

研究动机与目标

• 理解2×2矩阵乘法张量的秩分解的几何与对称结构。
• 开发一种系统化方法，利用对称群与不变量搜索新的矩阵乘法分解。
• 通过射影几何提供斯特拉森算法对称群的几何证明，确认其结构。
• 识别并分析斯特拉森分解族中特别对称的子族，以获得计算与理论上的洞见。
• 通过在高维情形下利用对称性约束，为发现新的、可能最优的矩阵乘法分解奠定基础。

提出的方法

• 利用射影几何使斯特拉森分解的对称性显而易见，简化了其不变性性质的分析。
• 应用不变量理论，通过其对称群$PGL(U) \times PGL(V) \times PGL(W) \ltimes D_3$刻画矩阵乘法张量$M_{\langle 2\rangle}$，表明其在比例意义下唯一由该不变性确定。
• 运用$\mathfrak{S}_3$与$\mathbb{Z}_3$的表示理论，分解张量幂并计算$(U^* \otimes U)^{\otimes 3}$中$\mathfrak{S}_3 \times D_3$-不变张量的空间。
• 通过识别当$\dim U = 2$时$\mathfrak{S}_3 \times D_3$-不变张量的4维空间，将新分解的搜索问题简化为线性代数问题，实现系统化探索。
• 利用$M_{\langle 2\rangle}$由其对称群唯一确定的性质，无需直接展开即可证明斯特拉森分解的正确性。
• 引入斯特拉森族的一个方便子族，简化了新分解的搜索，并凸显了其底层几何结构。

实验结果

研究问题

• RQ1 斯特拉森2×2矩阵乘法分解的完整对称群是什么？如何从几何角度理解它？
• RQ2 如何利用矩阵乘法张量$M_{\langle 2\rangle}$在$PGL(U) \times PGL(V) \times PGL(W) \ltimes D_3$下的不变性来证明其正确性？
• RQ3 斯特拉森分解族中哪些子族在几何或代数上特别简单或对称？
• RQ4 能否利用$(U^* \otimes U)^{\otimes 3}$中$\mathfrak{S}_3 \times D_3$-不变张量的空间系统地搜索新的矩阵乘法分解？
• RQ5 如$S^3[21]$、$\Lambda^3[21]$和不可约$\mathfrak{S}_3$-模等表示理论工具，如何帮助计算不变子空间？

主要发现

• 当$\dim U = 2$时，$(U^* \otimes U)^{\otimes 3}$中$\mathfrak{S}_3 \times D_3$-不变张量的空间为4维，为新分解提供了有限维的搜索空间。
• 当$\dim U = 2$时，$(U^* \otimes U)^{\otimes 3}$中$\mathfrak{S}_3 \times \mathbb{Z}_3$-不变张量的空间为5维，证实了存在多个对称候选解。
• 斯特拉森分解的正确性通过不变性得以证明：任何在$PGL(U) \times PGL(V) \times PGL(W)$下不变且尺度正确的张量必为$M_{\langle 2\rangle}$。
• 通过射影几何时，成功实现了斯特拉森算法对称群的几何证明，简化了布里琴科早期的结果。
• 识别出斯特拉森族中一个特别对称的子族，该子族既简化了分析，也便于向高维推广。
• 该框架将新矩阵乘法分解的搜索问题简化为在小维不变空间上求解线性代数问题。