[论文解读] A counterexample to Strassen's direct sum conjecture

Yaroslav Shitov|arXiv (Cornell University)|Dec 22, 2017

Tensor decomposition and applications参考文献 21被引用 8

一句话总结

本文提出了对斯特拉斯滕直接和猜想的反例，证明在无限域上，两个张量的直和的秩可以严格小于它们各自秩的和。通过代数几何与张量分解技术，作者构造了显式例子，表明组合双线性系统实现的乘法复杂度低于该猜想所预测的水平，从而解决了计算复杂性理论中一个长期悬而未决的问题。

ABSTRACT

The rank of tensors is not additive with respect to the direct sum.

研究动机与目标

• 解决张量直和的秩是否等于其各自秩之和的开放性问题。
• 在无限域上的双线性系统背景下，检验斯特拉斯滕直接和猜想及其强形式的有效性。
• 挑战一个基本假设，即最优算法对互不相交的双线性系统必须分别计算每个系统。
• 提供一个具体的反例，动摇张量秩复杂度中数十年来所公认的可加性假设。

提出的方法

• 使用代数几何与线性代数技术，在无限域上构造张量分解。
• 定义张量克隆，并利用域扩张分析矩阵表示中的自由度。
• 应用引理20，从一个具有受控秩和自由度的大矩阵中提取一个通用子张量。
• 利用弱列和向量识别的概念，从张量和中隔离出一个通用分量。
• 采用线性子空间的模ularity概念，对秩进行下界估计。
• 利用定理21和观察22，证明一个子张量在域扩张上是通用的，从而确保其高秩。

实验结果

研究问题

• RQ1 在无限域上，两个张量的直和的秩是否可能严格小于它们各自秩的和？
• RQ2 每个双线性系统直和的最优分解是否必然如强直接和猜想所暗示的那样，分别计算每个系统？
• RQ3 是否存在除直接分解之和之外的结构原因，导致张量分解中秩的次可加性？
• RQ4 代数几何技术是否可用于构造经典张量复杂度猜想的显式反例？
• RQ5 直接和猜想的失效是否可推广至有限域或边界秩情形？

主要发现

• 本文在任意无限域上构造了斯特拉斯滕直接和猜想的反例，表明 rank(T₁ ⊕ T₂) < rank(T₁) + rank(T₂) 是可能的。
• 该反例依赖于一个在域扩张上为通用的子张量，其自由度高于预期。
• 该构造使用了一个在有界次数域上至少具有 n³ − 6√3 n².⁵ 自由度的矩阵，暗示其具有高秩。
• 证明表明，两个张量的直和的秩可以严格小于其各自秩之和，从而与猜想相矛盾。
• 该结果意味着，对互不相交双线性系统的最优算法无需独立计算每个系统，从而否定了强直接和猜想。
• 该方法暗示，在足够大的有限域上也可能存在类似的反例，尽管尚未建立有效的界限。