[论文解读] Geometric lower bounds for generalized ranks

Zach Teitler|arXiv (Cornell University)|Jun 19, 2014

Tensor decomposition and applications参考文献 61被引用 23

一句话总结

本文将 Waring 秩的几何下界推广至多重齐次多项式与任意概形，通过奇点维数与广义正交性方法引入改进的秩界。研究证明，形如 $x_1^{d_1} \dots x_n^{d_n}$ 的单项式的 k-广义秩下界为 $(d_1+1)\dots(d_{n-k}+1)$，并提出等式成立的猜想，已在特殊情形下验证，将经典结果拓展至更广泛的张量分解设定。

ABSTRACT

We revisit a geometric lower bound for Waring rank of polynomials (symmetric rank of symmetric tensors) of Landsberg and Teitler and generalize it to a lower bound for rank with respect to arbitrary varieties, improving the bound given by the "non-Abelian" catalecticants recently introduced by Landsberg and Ottaviani. This is applied to give lower bounds for ranks of multihomogeneous polynomials (partially symmetric tensors); a special case is the simultaneous Waring decomposition problem for a linear system of polynomials. We generalize the classical Apolarity Lemma to multihomogeneous polynomials and give some more general statements. Finally we revisit the lower bound of Ranestad and Schreyer, and again generalize it to multihomogeneous polynomials and some more general settings.

研究动机与目标

• 将 [LT10] 中最初针对 Waring 秩提出的几何下界推广至任意射影概形上的广义秩。
• 将正交性引理推广至多重齐次多项式，并用于推导多重齐次张量分解的新下界。
• 通过引入奇点的维数与高阶不变量，改进基于 catalecticant 的现有界。
• 为单项式（特别是 $x_1^{d_1} \dots x_n^{d_n}$）的 k-广义秩建立紧致下界，并提出其紧致性的猜想。
• 将这些界应用于代数复杂性中的问题，如矩阵乘法与同时 Waring 分解。

提出的方法

• 通过引入 apolar 理想的奇点集维数，推广 [LT10] 的几何下界，从而增强经典 catalecticant 界。
• 提出正交性引理的多重齐次版本，将多重齐次形式的分解与 apolar 环中的理想联系起来。
• 应用 Bertini 定理与完备交论证，分析由 apolar 理想中一般元素定义的概形的交集。
• 利用概形 $\operatorname{Spec} A^F$ 的次数及其与完备交的交集，界定分解中项数的下界。
• 通过公式 $r_k(F) \geq \ell(A^F)/(d_{j-k+1} \dotsm d_j)$ 推导 $r_k(F)$（即 k-广义秩）的下界，其中 $d_i$ 为 $F^\perp$ 生成元的次数。
• 使用 Macaulay2 对特定情形（包括单项式与矩阵乘法形式）的示例与界进行计算验证。

实验结果

研究问题

• RQ1 Waring 秩的几何下界能否推广至多重齐次多项式与任意概形？
• RQ2 在 apolar 概形中引入奇点集维数，能否改进基于 catalecticant 的界？
• RQ3 经典正交性引理如何推广至多重齐次形式，以用于界定广义秩？
• RQ4 下界 $r_k(x_1^{d_1} \dotsm x_n^{d_n}) \geq (d_1+1)\dotsm(d_{n-k}+1)$ 是否紧致？等式在何种条件下成立？
• RQ5 这些界对矩阵乘法复杂性与同时 Waring 分解问题有何影响？

主要发现

• 对于 $x_1^{d_1} \dotsm x_n^{d_n}$ 这类单项式，其相对于 k 变量分解的广义秩下界为 $(d_1+1)\dotsm(d_{n-k}+1)$，并提出等式成立的猜想。
• 当 $F = x_1 \dotsm x_n$ 时，有 $r_k(F) \geq 2^{n-1}$，且在 $k=n$ 时与已知的 Waring 秩一致。
• 针对矩阵乘法形式的古典 Waring 秩，导出界 $r_{\text{MH}}(\text{mult}_n) \geq 1 + 3n^2$，利用其 apolar 理想由二次型生成的性质。
• 对任意多重齐次 $F$，建立下界 $r_k(F) \geq \ell(A^F)/(d_{j-k+1} \dotsm d_j)$，其中 $d_i$ 为 $F^\perp$ 生成元的次数。
• 该界通过引入 apolar 概形奇点集的几何数据，优于经典 catalecticant 界与非交换 catalecticant 界。
• 本文通过新界确认了 $r(x_1 \dotsm x_n) = 2^{n-1}$，将 [RS11] 与 [LT10] 的结果拓展至更广泛的框架。