[论文解读] Symmetric tensors: rank, Strassen's conjecture and e-computability

Enrico Carlini, Maria Virginia Catalisano+3 more|arXiv (Cornell University)|Jun 10, 2015

Tensor decomposition and applications参考文献 7被引用 4

一句话总结

本文引入了 $e$-可计算性概念，以建立对对称张量的 Waring 秩的新下界，并证明了 Strassen 猜想在无穷多个新情形下成立。通过将形式的秩与它的正交理想（apolar ideal）的 Hilbert 函数联系起来，并利用零维概形的几何约束，作者得出了精确的秩计算结果，并验证了该猜想在多个无穷形式族中的成立。

ABSTRACT

In this paper we introduce a new method to produce lower bounds for the Waring rank of symmetric tensors. We also introduce the notion of $e$-computability and we use it to prove that Strassen's Conjecture holds in infinitely many new cases.

研究动机与目标

• 开发一种新方法，用于计算对称张量的 Waring 秩的下界。
• 引入并研究 $e$-可计算性这一概念，作为秩计算的工具。
• 证明 Strassen 猜想——在不相交变量集上秩具有可加性——对无穷多个新形式族成立。
• 利用 apolar 理想的几何与代数约束，对特定对称形式提供精确的秩计算。
• 证明某些形式不是 1-可计算的，从而揭示现有计算技术的局限性。

提出的方法

• 将 $e$-可计算性定义为对正交理想 $F^{ot}$ 与线性子空间 $I$ 的一种条件，使得 $F$ 的秩等于 $T/(F^{ot}:I + (t))$ 的 Hilbert 函数之和，其中 $t$ 为一般线性形式。
• 利用对偶性引理，将 Waring 分解与关于 $F$ 正交的零维概形联系起来，其中 $I_{\text{scheme}} \subset F^{ot}$。
• 通过 Hilbert 函数分析推导下界，形式为 $\sum_i HF(T/\tilde{I}, i)$，其中 $\tilde{I} = F^{ot}:(X_i) + (X_i)$。
• 应用几何约束：若 $X_iX_j + c_{ij}X_0^2 \in I_{\mathbb{X}}$，则 $c_{ij} = 0$ 除非 $a=1$，以排除虚假解。
• 利用特定形式（如 $F = x_0^a(x_1^b + \cdots + x_n^b)$）的 $F^{ot}$ 结构，通过理想包含关系与 Hilbert 函数求和计算 $\mathrm{rk}(F)$。
• 基于直线上点的数量以及直线并集上的点分布，使用反证法排除某些大小的最小分解。

实验结果

研究问题

• RQ1 对于哪些对称形式，可以使用 $e$-可计算性来计算其 Waring 秩？
• RQ2 Strassen 猜想——即在不相交变量集上秩具有可加性——是否对新的形式族成立？
• RQ3 $e$-可计算性能否用于建立 Waring 秩的紧下界？
• RQ4 是否存在标准计算技术（如 1-可计算性）失效的形式？若存在，其秩仍可如何计算？
• RQ5 apolar 理想的哪些几何与代数条件能确保给定分解是最小的？

主要发现

• 形式 $F = x_0^a(x_1^b + \cdots + x_n^b)$ 满足 $2 \leq a+1 \leq b$ 且 $n \geq 3$ 时，其秩介于 $bn - n + 3$ 与 $bn$ 之间；当 $n=3$ 时，$\mathrm{rk}(F) = 3b$。
• 形式 $F = w(x^3 + y^3 + z^3)$ 在 $k[x,y,z,w]$ 中的秩为 9，且不是 1-可计算的，通过 Hilbert 函数求和的反证法得以证明。
• Strassen 猜想对无穷多个新形式族成立，包括单项式以及 $x_0^a(x_1^b + \cdots + x_n^b)$ 类型。
• $F = x_0^a(x_1^b + \cdots + x_n^b)$ 的秩恰好为 $bn$，当 $a \geq 1$ 时，下界 $bn - n + 3$ 是紧的。
• 对于 $F = x_0^a(x_1^b + \cdots + x_n^b)$，理想 $F^{ot}$ 包含 $X_0^{a+1}$ 以及关系 $X_iX_j$ 和 $X_1^b - X_i^b$，这些关系对正交概形构成约束。
• 证明 $\mathrm{rk}(F) = bn - n + 3$ 的关键在于：首先证明 $\sum_i HF(T/\tilde{I}, i) = bn - n + 2$，然后通过点在直线上的分布反证法得出 $\mathrm{rk}(F) > bn - n + 2$。