[论文解读] An effective criterion for the additive decompositions of forms

Edoardo Ballico|arXiv (Cornell University)|Nov 5, 2018

Tensor decomposition and applications参考文献 18被引用 6

一句话总结

本文提出了一种有效准则，用于识别齐次多项式（Waring分解）的唯一性与最小性，通过线性系统与上同调的条件。结果表明，对于四次型式，当包含某一子集的最小子空间维数至少为2时，唯一性成立，从而扩展了先前关于对称张量可识别性的结果，并给出了明确且可测试的几何条件。

ABSTRACT

We give an effective criterion for the identifiability of additive decompositions of homogeneous forms of degree $d$ in a fixed number of variables. Asymptotically for large $d$ it has the same order of the Kruskal's criterion adapted to symmetric tensors given by L. Chiantini, G. Ottaviani and N. Vannieuwenhoven. We give a new case of indentifiability for $d=4$.

研究动机与目标

• 为齐次多项式加法分解（Waring分解）的对称张量形式提供一种有效且可测试的可识别性准则。
• 将Kruskal型准则的适用范围扩展至高次型式，特别是d=4的情形，此前结果尚不完整。
• 通过线性形式集合的几何与上同调条件，刻画d次型式最小分解的唯一性。
• 通过识别一个新条件（基于子空间维数e），解决d=4的情形，该条件在秩为2n+1时决定可识别性。
• 提供一种实用方法，通过检验相关线性系统的线性无关性与基点集条件，验证分解的唯一性。

提出的方法

• 使用Veronese嵌入νd: P^n → P^r，将多项式分解转化为射影空间中的线性张成条件。
• 应用有限点集S ⊂ P^n对齐次多项式空间C[z0,…,zn]^⌊d/2⌋施加独立条件的条件，以检验最小性与唯一性。
• 利用上同调工具（如h^1(IA(2)) = 0）和余式正合序列，分析与集合A和S相关联的线性系统的基点集。
• 通过h^1(IA(2))的消失性与限制映射的满射性，证明在特定条件下|IS(2)|的基点集等于S。
• 引入线性一般位置（LGP）概念，并利用其对P^n中点构型进行分类，适用于d=4的情形。
• 应用Sylvester定理于有理正则曲线上点的秩，以约束可能的替代分解。

实验结果

研究问题

• RQ1 齐次多项式d次型式的最小加法分解在何种条件下是唯一的？
• RQ2 能否为对称张量分解的可识别性开发一种有效且可计算测试的准则？
• RQ3 对于d=4，P^n中何种点的几何构型可确保秩与分解被唯一确定？
• RQ4 包含点子集的最小子空间的维数如何影响型式的可识别性？
• RQ5 |IS(2)|的基点集何时与集合S重合？这对分解的唯一性有何含义？

主要发现

• 定理1.1提供了有效准则：若k个点的集合S在C[z0,…,zn]^⌊d/2⌋上施加k个独立条件，则rX(q) = |S|，且若|S| ≤ binom(n+⌊d/2⌋−1, n)，则分解唯一。
• 对于d=4且秩为2n+1的情形，定理3.1表明，当且仅当包含S的子集的最小子空间N的维数e ≥ 2时，q是可识别的。
• 当e = 1时，集合S(X, q)的维数为1，意味着存在多个分解，且|IS(2)|的基点集包含直线N。
• 证明表明，若e ≥ 2，则|IS(2)|的基点集恰好为S，结合定理1.2与上同调消失性，可推出唯一性。
• 本文确立了非唯一性恰好发生在|IS(2)|的基点集允许存在其他同秩集合A时。
• 对于d=4且|S|=2n+1处于LGP的情形，该准则确认可识别性成立，除非构型位于低维子空间（e=1）中，此时非唯一性出现。