[论文解读] The Complexity of Tensor Rank

Marcus Schaefer, Daniel Štefankovič|arXiv (Cornell University)|Dec 13, 2016

Quantum Computing Algorithms and Architecture被引用 5

一句话总结

该论文证明了在任意域上判定张量秩的问题与该域上的存在性理论决策问题在多项式时间内等价，从而将张量秩的复杂性与基本逻辑理论统一起来。研究证明：在 ℝ 上该问题为 ∃ℝ-完全，在 ℂ 上为 ∃ℂ-完全，在 ℚ 上为 ∃ℚ-完全，揭示了深刻的代数普遍性，并解释了以往关于 ℚ、ℝ 和 ℂ 上张量秩的 NP-难结果，同时为对称张量和固定秩张量开辟了新的复杂性理论洞见。

ABSTRACT

We show that determining the rank of a tensor over a field has the same complexity as deciding the existential theory of that field. This implies earlier NP-hardness results by Håstad~\cite{H90}. The hardness proof also implies an algebraic universality result.

研究动机与目标

• 确定任意域上张量秩的计算复杂性。
• 将张量秩问题与域的存在性理论统一，证明其在多项式时间内等价。
• 解释为何以往在 ℚ、ℝ 和 ℂ 上张量秩的 NP-难结果，是更广泛代数普遍性的一个特例。
• 探讨该等价性对对称张量、固定秩情形以及诸如 GRH 等数论假设的作用所具有的影响。
• 研究 Koiran 的 ∃ℂ 的 AM 上界是否可在不假设 GRH 的前提下转化为算法。

提出的方法

• 将任意域 𝔽 上的任意存在性一阶语句 φ 归约到一个张量秩实例，构造张量 T 和整数 k，使得 φ 在 𝔽 上为真当且仅当 T 的秩 ≤ k。
• 利用具有多重线性表达式的矩阵上的最小秩问题作为张量秩的桥梁，借助稳定等价性以保持解空间不变。
• 从具有多重线性项的矩阵 A 构造一个三维张量 T，通过块结构编码变量依赖关系与秩约束。
• 应用线性代数技术证明：在任意最小秩分解中，系数矩阵 A_xi 必须出现，从而确保解的恢复。
• 通过切片约束与克罗内克 delta 的行为，证明张量的实现空间与原始代数系统解集之间存在稳定等价性。
• 利用域的特定性质——例如复数作为实数对、实闭域，以及 ℚ 上的不可判定性——分析复杂性类。

实验结果

研究问题

• RQ1 在域 𝔽 上，张量秩问题是否在计算上等价于判定 𝔽 的存在性理论？
• RQ2 为何张量秩在 ℚ、ℝ 和 ℂ 上仍保持 NP-难？这对其底层逻辑有何含义？
• RQ3 张量秩的复杂性是否在 ℝ 上为 ∃ℝ-完全，在 ℂ 上为 ∃ℂ-完全？这对其在多项式阶层中的位置有何含义？
• RQ4 在 ℚ 上，张量秩问题是否可判定？其可判定性对 ℚ 的存在性理论有何影响？
• RQ5 Koiran 的 ∃ℂ 的 AM 上界是否可在不假设广义黎曼猜想（GRH）的前提下转化为算法？

主要发现

• 在任意域 𝔽 上，张量秩问题与判定 𝔽 的存在性理论在多项式时间内等价，建立了基本的复杂性对应关系。
• 张量秩问题在 ℝ 上为 ∃ℝ-完全，在 ℂ 上为 ∃ℂ-完全，在 ℚ 上为 ∃ℚ-完全，揭示了不同域之间复杂性的层级结构。
• 该结果将 Håstad 在 ℚ 上的 NP-难结果解释为更广泛的存在性理论等价性的特例。
• 在有限域上，该问题为 NP-完全，与存在性理论的 NP-完全性一致。
• 该证明建立了代数普遍性：每个代数集都与张量秩实现空间稳定等价，表明该问题捕获了该域上的全部代数几何。
• ∃ℚ 的复杂性仍为开放问题，任何关于 ℚ 上张量秩可判定性的结果，都将意味着数论中的重大突破，因为它将意味着 ∃ℚ 的可判定性。