[论文解读] On tensors of border rank $l$ in $\C^{m imes n imes l}$

Shmuel Friedland|arXiv (Cornell University)|Mar 9, 2010

Tensor decomposition and applications参考文献 14被引用 3

一句话总结

本文对 $ \mathbb{C}^{m \times n \times l} $ 中边秩至多为 $ l $ 的张量提供了集合论刻画，重点研究了 $ V_4(3,3,4) $ 和 $ V_4(4,4,4) $。证明了 $ V_4(3,3,4) $ 由次数为 9 和 16 的齐次多项式定义，$ V_4(4,4,4) $ 由次数为 5、9 和 16 的多项式定义，通过矩阵理论与代数几何方法解决了萨尔蒙猜想的部分内容。

ABSTRACT

We study tensors in $\C^{m imes n imes l}$ whose border rank is $l$. We characterize the tensors in $\C^{3 imes 3 imes 4}$ and in $\C^{4 imes 4 imes 4}$ of border rank 4 at most.

研究动机与目标

• 对 $ \mathbb{C}^{3\times3\times4} $ 中边秩至多为 4 的张量的簇 $ V_4(3,3,4) $ 进行集合论方程刻画。
• 将此刻画扩展至 $ V_4(4,4,4) $，解决关于 $ \mathbb{P}^3\times\mathbb{P}^3\times\mathbb{P}^3 $ 的第四条弦簇定义方程的萨尔蒙猜想的关键情形。
• 通过对称矩阵子空间的性质及伴随积的可交换性，建立 $ \mathbb{C}^{m\times n\times l} $ 中张量边秩为 $ l $ 的条件。
• 基于矩阵理论与代数几何，提出一个通过多项式不变量刻画边秩的一般框架，特别关注对称矩阵空间正交补的作用。

提出的方法

• 分析张量 $ \mathcal{T} $ 的 $ p $-切片的张成，特别是 $ \mathbf{T}_1(\mathcal{T}) $，以推导张量矩阵切片结构的条件。
• 使用条件 $ X(\mathrm{adj}\, Y)Z - Z(\mathrm{adj}\, Y)X = 0 $ 对所有 $ X,Y,Z $ 属于切片空间成立，该条件当且仅当张量边秩至多为 $ l $ 时成立，且该条件导出次数为 5 的齐次多项式方程。
• 该方法涉及分析由第三切片矩阵张成的对称矩阵空间的正交补 $ \mathbf{S}(\mathbf{T}_3(\mathcal{T}))^\perp $，并要求该空间包含一个可逆矩阵，且满足可交换性与特征值条件。
• 应用矩阵理论结果，包括对秩一的对称矩阵进行合同同时对角化的结论，以刻画张量的秩或边秩恰好为 $ l $ 的情形。
• 当任意切片空间均不包含可逆矩阵时，通过置换与基变换将问题约化为低维情形，最终将 $ \mathcal{T} \in \mathbb{C}^{4\times4\times4} $ 的情形与 $ \mathbb{C}^{3\times3\times4} $ 联系起来。
• 通过连续性论证及一系列边秩为 $ l $ 的张量的极限，将秩为 $ l $ 的结果推广至边秩为 $ l $ 的情形。

实验结果

研究问题

• RQ1 什么是 $ V_4(3,3,4) $ 的集合论定义理想，即 $ \mathbb{C}^{3\times3\times4} $ 中边秩至多为 4 的张量的簇？
• RQ2 萨尔蒙猜想是否可对 $ V_4(4,4,4) $ 验证，特别是其是否由次数为 5、9 和 16 的多项式定义？
• RQ3 在张量的矩阵切片满足何种条件下，其边秩等于 $ l $，特别是当切片空间维数为 $ l $，且其对称矩阵正交补维数也为 $ l $ 时？
• RQ4 如何利用矩阵空间中三个矩阵满足 $ X(\mathrm{adj}\, Y)Z = Z(\mathrm{adj}\, Y)X $ 的条件来刻画边秩为 $ l $ 的张量？
• RQ5 通过合同关系对称矩阵的同步对角化在确定三阶张量的秩或边秩中起到何种作用？

主要发现

• 簇 $ V_4(3,3,4) $ 由次数为 9 和 16 的齐次多项式集合论定义，解决了萨尔蒙猜想的关键情形。
• 簇 $ V_4(4,4,4) $ 由次数为 5、9 和 16 的齐次多项式集合论定义，证实了萨尔蒙猜想的修正版本。
• 张量 $ \mathcal{T} \in \mathbb{C}^{m\times n\times l} $ 的边秩为 $ l $ 当且仅当其第三切片矩阵空间 $ \mathbf{T}_3(\mathcal{T}) $ 满足 $ \dim \mathbf{S}(\mathbf{T}_3(\mathcal{T}))^\perp = l $，且正交补 $ \mathbf{S}(\mathbf{T}_3(\mathcal{T}))^\perp $ 包含一个可逆矩阵，并满足对所有 $ X,Y,Z $ 在该空间中成立的可交换性条件 $ X(\mathrm{adj}\, Y)Z = Z(\mathrm{adj}\, Y)X $。
• 当 $ \mathrm{brank}\, \mathcal{T} = l $ 时，空间 $ \mathbf{S}(\mathbf{T}_3(\mathcal{T}))^\perp $ 必须是 $ \mathrm{S}(l,\mathbb{C}) $ 的子空间，由 $ l $ 个线性无关且可同时对角化的秩一对称矩阵张成，且该空间必须满足：对某些 $ A,B $ 在该空间中，$ A\,\mathrm{adj}\, B $ 有 $ l $ 个互异的特征值。
• 条件 $ X(\mathrm{adj}\, Y)Z = Z(\mathrm{adj}\, Y)X $ 导出一组次数为 5 的齐次多项式方程，这些方程是边秩 $ \leq l $ 的充要条件，前提是切片空间包含一个可逆矩阵。
• 本文证明：若 $ \mathcal{T} \in \mathbb{C}^{4\times4\times4} $ 且任意 $ p $-切片空间均不包含可逆矩阵，则可通过置换与基变换将 $ \mathcal{T} $ 约化为 $ \mathbb{C}^{3\times3\times4} $ 中的张量，从而可将 $ V_4(4,4,4) $ 的刻画归约为 $ V_4(3,3,4) $ 的刻画。