[论文解读] Explicit tensors of border rank at least 2n-1

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

Tensor decomposition and applications参考文献 5被引用 6

一句话总结

本文在 $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ 中构造了显式张量，其边界秩至少为 $2m-1$（当 $m$ 为奇数时），证明了 [6] 中 Young 扁平化方程在矩阵乘法张量上消失的非平凡性。此外，本文表明 [1] 中某些高秩张量的边界秩较低（$T_{2^k}$ 的边界秩为 $2^k$），并解决了 Griesser 方程在矩阵乘法张量上的非消失行为，从而得到与 Lickteig 长期保持的纪录一致的新下界。

ABSTRACT

For odd n, I write down tensors in C^n\otimes C^n\otimes C^n of border rank 2n-1, showing the non-triviality of the Young-flattening equations of Landsberg-Ottaviani. I also study the border rank of the tensors of Alexeev et. al., showing the tensors their tensors T_{2^k}, despite having rank equal to 2^{k+1}-1, have border rank equal to 2^k, the minimum of any concise tensor. I also study the equations of Griesser.

研究动机与目标

• 通过构造在 Young 扁平化方程不消失的显式张量，证明 [6] 中的 Young 扁平化方程此前被认为平凡，实则非平凡。
• 解决 Griesser 方程在边界秩 $2m-1$ 和 $2m-2$ 下的非平凡性状态，尤其针对矩阵乘法张量。
• 分析 [1] 和 [3] 中张量的边界秩，表明尽管其秩很高，但边界秩却很低。
• 确定 Griesser 方程在矩阵乘法张量 $M_n$ 上不消失的精确范围，从而推导出其边界秩的新下界。

提出的方法

• 在 $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ 中为奇数 $m$ 构造边界秩至少为 $2m-1$ 的显式张量，利用结构化的线性映射和非退化条件。
• 通过将张量视为线性映射并分析相关矩阵的秩，应用 Young 扁平化技术，推导出在 $\hat{\sigma}_r$ 上消失的多项式方程。
• 利用表示论论证和通用性假设，证明某些算子 $U_j$ 的线性组合必有公共核，从而表明方程非消失。
• 通过选择使矩阵乘法张量 $M_n$ 的像为分块对角形式的基，研究对换子 $[X_1, X_j]$ 在维数为 $2m - r$ 的子空间上的作用，计算像的维数以检验方程是否消失。
• 在格拉斯曼流形和具有公共核的自同态簇 $\Sigma_m$ 上进行维数计数，评估方程是否恒为零。
• 比较不同 $m$ 和 $n$ 下方程的行为，特别是 $n$ 为偶数和奇数时，推导出方程消失或不消失的精确界限。

实验结果

研究问题

• RQ1 在 $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ 中，[6] 的 Young 扁平化方程在边界秩 $2m-1$ 下是否非平凡？
• RQ2 $T_{2^k} \in \mathbb{C}^k \otimes \mathbb{C}^{2^k} \otimes \mathbb{C}^{2^k}$（来自 [1]）的边界秩是否为 $2^k$，尽管其秩为 $2^{k+1} - 1$？
• RQ3 在 $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ 中，$\hat{\sigma}_r$ 的 Griesser 方程在 $r = 2m-1$ 和 $r = 2m-2$ 时是否非平凡？
• RQ4 对于矩阵乘法张量 $M_n$，Griesser 方程在哪些 $r$ 范围内消失？这能给出 $\underline{\mathbb{R}}(M_n)$ 的什么新下界？
• RQ5 能否利用 [3] 中的方程改进 $\underline{\mathbb{R}}(M_n)$ 的 $2n^2 - n$ 下界？

主要发现

• 对于奇数 $m$，在 $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ 中构造了边界秩至少为 $2m-1$ 的显式张量，证明了 [6] 中 Young 扁平化方程的非平凡性，超越了此前的 $2m - \sqrt{m}$ 门槛。
• $T_{2^k}$ 张量（来自 [1]）尽管秩为 $2^{k+1} - 1$，但其边界秩恰好为 $2^k$，表明高秩并不意味着高边界秩。
• Griesser 方程在 $r = 2m - 1$ 和所有 ${\mathbb{a}}$ 下为平凡，且在 $r = 2m - 2$ 且 $m \leq 4$ 时也为平凡；但在 $n$ 为偶数时 $r \leq \frac{3}{2}n^2 - 1$，在 $n$ 为奇数时 $r \leq \frac{3}{2}n^2 + \frac{n}{2} - 2$ 时为非平凡。
• 对于矩阵乘法张量 $M_n$，Griesser 方程在 $r \leq \frac{3}{2}n^2 - 1$（$n$ 为偶数）和 $r \leq \frac{3}{2}n^2 + \frac{n}{2} - 2$（$n$ 为奇数）时不消失，从而得到下界 $\underline{\mathbb{R}}(M_n) \geq \frac{3}{2}n^2 + \frac{n}{2} - 1$，与 Lickteig 的结果一致。
• 通过显式构造证明了 [6] 中方程的非平凡性，本文还提供了一般性框架以检验此类方程的非平凡性。
• 本文未解决 $r = 2m - 2$ 且 $m > 4$ 时 Griesser 方程是否非平凡，但若为非平凡，则将产生超越 [6] 的新方程。