[论文解读] Geometric Complexity Theory and Tensor Rank

Peter Buergisser, Christian Ikenmeyer|arXiv (Cornell University)|Nov 5, 2010

Advanced Algebra and Geometry参考文献 17被引用 11

一句话总结

该论文通过利用群作用和表示理论分析张量秩与边界秩，推进了几何复杂性理论，表明仅使用 $G_s$-表示只能得到边界秩的平凡下界，并提出 $G$-表示与矩量多面体作为更强大的框架。该研究首次利用 $G$-表示建立了矩阵乘法张量边界秩的非平凡下界，证明了可以突破 $G_s$-障碍。

ABSTRACT

Mulmuley and Sohoni (GCT1 in SICOMP 2001, GCT2 in SICOMP 2008) proposed to view the permanent versus determinant problem as a specific orbit closure problem and to attack it by methods from geometric invariant and representation theory. We adopt these ideas towards the goal of showing lower bounds on the border rank of specific tensors, in particular for matrix multiplication. We thus study specific orbit closure problems for the group $G = GL(W_1) imes GL(W_2) imes GL(W_3)$ acting on the tensor product $W=W_1\otimes W_2\otimes W_3$ of complex finite dimensional vector spaces. Let $G_s = SL(W_1) imes SL(W_2) imes SL(W_3)$. A key idea from GCT2 is that the irreducible $G_s$-representations occurring in the coordinate ring of the $G$-orbit closure of a stable tensor $w\in W$ are exactly those having a nonzero invariant with respect to the stabilizer group of $w$. However, we prove that by considering $G_s$-representations, as suggested in GCT1-2, only trivial lower bounds on border rank can be shown. It is thus necessary to study $G$-representations, which leads to geometric extension problems that are beyond the scope of the subgroup restriction problems emphasized in GCT1-2. We prove a very modest lower bound on the border rank of matrix multiplication tensors using $G$-representations. This shows at least that the barrier for $G_s$-representations can be overcome. To advance, we suggest the coarser approach to replace the semigroup of representations of a tensor by its moment polytope. We prove first results towards determining the moment polytopes of matrix multiplication and unit tensors.

研究动机与目标

• 为克服几何复杂性理论中 $G_s$-表示仅能给出张量边界秩平凡下界的局限性。
• 基于 $G$-表示与矩量多面体构建框架，推导张量（尤其是矩阵乘法张量）边界秩的非平凡下界。
• 分析矩阵乘法张量与单位张量在 $G = \mathrm{GL}(W_1) \times \mathrm{GL}(W_2) \times \mathrm{GL}(W_3)$ 作用下的稳定子群与轨道闭包。
• 利用柯尔比谢夫系数刻画轨道闭包坐标环中的不可约 $G_s$-表示，并表明其不足以实现强下界。
• 启动对矩阵乘法与单位张量矩量多面体的研究，作为表示理论复杂性下界的一种更粗粒度、渐近的途径。

提出的方法

• 分析 $G = \mathrm{GL}(W_1) \times \mathrm{GL}(W_2) \times \mathrm{GL}(W_3)$ 作用下张量的轨道闭包，重点关注矩阵乘法与单位张量。
• 利用稳定子群 $H = \mathrm{stab}(w)$ 及其与 $G_s = \mathrm{SL}(W_1) \times \mathrm{SL}(W_2) \times \mathrm{SL}(W_3)$ 的关系，研究表示理论不变量。
• 应用最高权向量与轨道闭包上正则函数的理论，表明当 $m \geq 5$ 时，$\det_w^2$ 无法正则延拓至轨道闭包，暗示某些柯尔比谢夫系数非零。
• 引入矩量多面体 $P(w)$ 作为替代表示半群的更粗粒度不变量，其中 $P(w)$ 是归一化最高权的凸包。
• 利用 [4] 中关于柯尔比谢夫系数的渐近结果，证明对于矩阵乘法张量有 $P^o(\langle n,n,n\rangle) = \Delta(n^2,n^2,n^2)$，即完整单形。
• 利用 $u_{\underline{m}} \in P(w)$ 蕴含存在 $\ell$ 使得 $\ell \varepsilon_{\underline{m}} \in S(w)$ 的事实，将多面体中的有理点与实际表示联系起来。

实验结果

研究问题

• RQ1 仅使用 $G_s$-表示能否为矩阵乘法等张量的边界秩提供非平凡下界？
• RQ2 $G$-表示在几何复杂性理论中如何克服 $G_s$-表示的局限性？
• RQ3 如何刻画张量的矩量多面体？它们揭示了关于渐近表示理论不变量的哪些信息？
• RQ4 在何种条件下，轨道上的正则函数可延拓至其闭包？这与表示理论障碍有何关联？
• RQ5 能否利用渐近柯尔比谢夫系数结果完全确定矩阵乘法张量 $\langle n,n,n \rangle$ 的矩量多面体？

主要发现

• 该论文证明，仅使用 $G_s$-表示时，边界秩的下界仅为平凡值，如定理 4.6 所示。
• 该研究首次利用 $G$-表示建立了矩阵乘法张量边界秩的非平凡下界，证明了可以突破 $G_s$-障碍。
• 对于矩阵乘法张量 $\langle n,n,n \rangle$，基于渐近柯尔比谢夫系数结果，证明其矩量多面体 $P^o(\langle n,n,n \rangle)$ 为完整单形 $\Delta(n^2,n^2,n^2)$。
• $\det_w^2$ 在 $m \geq 5$ 时无法正则延拓至轨道闭包 $\overline{Gw}$，意味着某些 $G_s$-表示不出现，与直观预期相矛盾。
• 矩量多面体 $P(w)$ 被证明是半群 $S(w)$ 的生成集所对应归一化最高权的凸包，且 $P(w)$ 中的有理点来自这些权的整数组合。
• 对任意 $u_{\underline{m}} \in P(w)$，存在 $\ell$ 使得 $\ell \varepsilon_{\underline{m}} \in S(w)$，确保多面体捕捉了表示的渐近行为。