[论文解读] A $2n^2-log(n)-1$ lower bound for the border rank of matrix multiplication

J. M. Landsberg, Mateusz Michałek|arXiv (Cornell University)|Aug 26, 2016

Complexity and Algorithms in Graphs参考文献 3被引用 7

一句话总结

该论文通过改进应用边界替换法并结合柯尔祖尔扁平化，建立了 $2n^2 - \lceil \log_2 n \rceil - 1$ 的新下界，用于 $n \times n$ 矩阵乘法张量的边界秩。该结果优于先前的界限，并通过代数几何方法，特别是通过研究可压缩张量与格拉斯曼流形上的陈类计算，揭示了替换法的局限性。

ABSTRACT

Let M_n denote the matrix multiplication tensor for nxn matrices. We use the border substitution method combined with Koszul flattenings to prove the border rank lower bound of 2n^2-log(n)-1 for M_n.

研究动机与目标

• 建立 $n \times n$ 矩阵乘法张量边界秩的更强下界，以深入理解矩阵乘法的渐近复杂度。
• 通过引入柯尔祖尔扁平化与代数几何技术，对先前用于秩与边界秩界限的边界替换法进行精细化与扩展。
• 通过刻画 $({\mathbb{a}}', {\mathbb{b}}', {\mathbb{c}}')$-可压缩张量的代数簇，研究替换法在边界秩设定下的局限性。
• 计算乘积格拉斯曼流形上向量丛的上陈类，以判断通用张量是否可实现 $({\mathbb{a}}', {\mathbb{b}}', {\mathbb{c}}')$-可压缩，从而评估该方法的有效性。

提出的方法

• 作者将边界替换法应用于矩阵乘法张量 $M_{\langle n,n,n \rangle}$，通过参数 $m < n$ 控制消去子空间的构造。
• 结合柯尔祖尔扁平化，通过与张量相关的特定线性映射的秩，推导出边界秩的下界。
• 该方法涉及在格拉斯曼流形乘积 $G({\mathbb{a}}', A^*) \times G({\mathbb{b}}', B^*) \times G({\mathbb{c}}', C^*)$ 上构造一个向量丛 $\mathcal{E}^*$，其截面对应于被 $A' \otimes B' \otimes C'$ 消去的张量。
• 利用利特尔伍德-理查森法则与皮埃里公式，计算 $\mathcal{E}^*$ 的上陈类，其贡献来自格拉斯曼流形上的施普伦格尔类。
• 通过选择 $m = n - \lceil \log_2 n \rceil - 1$ 优化界限，该选择使相对于先前界限的改进达到最大。
• 该方法识别出 $({\mathbb{a}}', {\mathbb{b}}', {\mathbb{c}}')$-可压缩张量的代数簇 $X({\mathbb{a}}', {\mathbb{b}}', {\mathbb{c}}')$，并证明其为泽里斯基闭集，利用其几何性质限制替换法的应用范围。

实验结果

研究问题

• RQ1 边界替换法能否系统性地优化，以获得矩阵乘法张量边界秩的更强下界？
• RQ2 当边界替换法与柯尔祖尔扁平化结合时，所能实现的最大改进程度为何？
• RQ3 在何种条件下边界替换法无法提供非平凡下界，其失败能否从几何角度进行刻画？
• RQ4 格拉斯曼流形上对偶丛的陈类如何决定 $({\mathbb{a}}', {\mathbb{b}}', {\mathbb{c}}')$-可压缩张量的存在性？
• RQ5 当使用 $m = n - \lceil \log_2 n \rceil - 1$ 时，边界秩下界在渐近意义下的精确提升程度为何？

主要发现

• 该论文为 $n \times n$ 矩阵乘法的边界秩建立了新下界 $\underline{\mathbb{R}}(M_{\langle n \rangle}) \geq 2n^2 - \lceil \log_2 n \rceil - 1$。
• 当 $n = 10$ 时，该下界为 $196$，相比先前的 $2n^2 - n + 1$ 下界提升了 6。
• 当 $n = 100$ 时，下界达到 $19,992$，相比先前下界提升了 92。
• 当 $n = 1000$ 时，下界为 $1,999,989$，相比先前下界提升了 989。
• 该方法揭示，由于可压缩张量的几何结构，边界替换方法在 $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ 中的张量上，其边界秩界限的提升能力受限于 $3m - 3$。
• 在特定情形下，$a = b = c = 5$，$a' = 2$，$b' = 1$，$c' = 5$，上陈类计算得出纤维次数为 50，确认从关联簇到射影张量空间的映射是有限且满射的。