[论文解读] New lower bounds for the rank of matrix multiplication

J. M. Landsberg|arXiv (Cornell University)|Jun 7, 2012

graph theory and CDMA systems参考文献 4被引用 7

一句话总结

本文通过利用张量分解和分块矩阵中的换位子结构导出的多项式不变量，建立了矩阵乘法秩的新下界。通过将斯特拉斯滕型方程推广至高阶张量的坐标分析，证明了 $ n \times n $ 矩阵乘法的秩至少为 $ (3 - \frac{1}{p+1})n^2 - (1 + 2p\binom{2p}{p-1})n $，显著改进了 $ n > 84 $ 时的先前下界，渐近下界趋近于 $ 3n^2 - o(n^2) $。

ABSTRACT

The rank of the matrix multiplication operator for nxn matrices is one of the most studied quantities in algebraic complexity theory. I prove that the rank is at least n^2-o(n^2). More precisely, for any integer p\leq n -1, the rank is at least (3- 1/(p+1))n^2-(1+2p\binom{2p}{p-1})n. The previous lower bound, due to Blaser, was 5n^2/2-3n (the case p=1). The new bounds improve Blaser's bound for all n>84. I also prove lower bounds for rectangular matrices significantly better than the the previous bound.

研究动机与目标

• 解决代数复杂性理论中长期悬而未决的难题：确定矩阵乘法秩的紧致下界。
• 克服先前下界（尤其是 Bläser 的 $ \frac{5}{2}n^2 - 3n $）的局限性，该下界在 $ n $ 较大时非最优。
• 通过 $ p $ 重楔积和分块矩阵行列式，将 Strassen 的方程推广至更高阶张量不变量。
• 通过分析换位子块行列式的非零性，建立推导更紧致秩下界的框架。
• 提供一种系统化方法，利用组合系数和基的选择计算下界表达式中的误差项。

提出的方法

• 将矩阵乘法表示为 $ A \otimes B \otimes C $ 中的元素，其中 $ A, B, C $ 是矩阵对偶空间。
• 应用由张量在 $ \Lambda^p A $ 上诱导的映射 $ T_A^{\wedge p} $，其生成的分块矩阵行列式构成一个多项式不变量。
• 对 $ \Lambda^p A $ 和 $ \Lambda^{p+1} A $ 的基进行排序，以分离包含 0 的指标与不包含 0 的指标，从而实现矩阵的分块分解。
• 构造形如 $ \begin{pmatrix} 0 & Q \\ \tilde{Q} & R \end{pmatrix} $ 的分块矩阵，其中 $ R $ 是以 $ X_0 $ 为对角块的分块对角矩阵，而 $ Q, \tilde{Q} $ 包含来自 $ X_1, \dots, X_{2p} $ 的元素。
• 假设 $ X_0 $ 为单位矩阵，使行列式简化为 $ \det(Q\tilde{Q}) $，其为换位子 $ [X_i, X_j] $ 的分块矩阵。
• 利用引理 2.2 和引理 2.3，选择 $ \mathbb{n} $ 和 $ 2p\binom{2p}{p-1}\mathbb{n} $ 个基向量，使得 $ \det(Q\tilde{Q}) \neq 0 $，从而确保秩有下界。

实验结果

研究问题

• RQ1 对于 $ n \times n $ 矩阵乘法，其秩的最佳可能下界是什么？与现有下界相比有何改进？
• RQ2 如何利用更高阶张量不变量（特别是由楔积和分块矩阵行列式导出的）来推导更紧致的秩下界？
• RQ3 通过分析张量诱导映射中换位子块的结构，能否改进 Bläser 下界中的误差项？
• RQ4 在何种条件下，由张量诱导映射导出的 $ Q\tilde{Q} $ 的行列式保持非零？这与秩下界有何关联？
• RQ5 下界 $ (3 - \frac{1}{p+1})n^2 - (1 + 2p\binom{2p}{p-1})n $ 的渐近行为与猜想的 $ 3n^2 $ 极限相比如何？

主要发现

• 对于任意整数 $ p \leq n-1 $，$ n \times n $ 矩阵乘法的秩至少为 $ (3 - \frac{1}{p+1})n^2 - (1 + 2p\binom{2p}{p-1})n $，提供了对先前下界系统的改进。
• 当 $ p = 1 $ 时，该下界退化为 $ \frac{5}{2}n^2 - 3n $，与 Bläser 的结果一致；但对于 $ n > 84 $，新下界严格更优。
• 通过选择 $ p = \lfloor \sqrt{\log n} \rfloor $，下界渐近趋近于 $ 3n^2 - o(n^2) $，表明秩的下界由趋近于 $ 3n^2 $ 的常数倍控制。
• 误差项 $ 1 + 2p\binom{2p}{p-1} $ 源于为确保 $ \det(Q\tilde{Q}) $ 非零所需基向量的数量，依据引理 2.3。
• 该方法成功将 Strassen 的方程推广至更高阶不变量，且在特定基选择下 $ \det(Q\tilde{Q}) $ 的非零性提供了对低秩的强多项式障碍。
• 后续研究中，Massarenti 和 Raviolo 修正了原始下界中误差项的错误，确认了该框架的正确性，同时对定量估计进行了优化。