[論文レビュー] An effective criterion for the additive decompositions of forms

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

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

ひとこと要約

本稿は、線形系とコhomologyに関する条件を用いて、同次多項式の加法的分解（Waring分解）の一意性および最小性を特定する有効な基準を提示する。4次形式に関しては、特定の部分集合を含む最小部分空間の次元が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において、以前の結果が不完全であった点を補完して高次形式へ拡張すること。
• 線形形式の集合に関する幾何的およびコhomological条件を用いて、d次形式の最小分解がいつ一意的であるかを同定すること。
• d=4のケースを解明し、ランクが2n+1である場合に同定可能性を決定する新たな条件（部分空間次元eに基づく）を同定すること。
• 関連する線形系における線形独立性および基底点集合の条件をテストすることで、分解の一意性を検証する実用的手法を提供すること。

提案手法

• 多項式の分解を射影空間内の線形包の条件に翻訳するために、ヴェロネーゼ埋め込み νd: P^n → P^r を用いる。
• 有限集合 S ⊂ P^n が C[z0,…,zn]^⌊d/2⌋ の空間に独立な条件を課すという条件を適用し、最小性および一意性をテストする。
• コhomologicalツール（例：h^1(IA(2)) = 0）および残差完全列を用いて、集合AおよびSに関連する線形系の基底点を分析する。
• h^1(IA(2)) の消滅および制限写像の上への性質を用いて、特定の条件下で |IS(2)| の基底点がSに等しいことを示す。
• 線形的に一般配置（LGP）の概念を導入し、d=4におけるP^n内の点の配置を分類する。
• Sylvesterの定理（有理正規曲線上の点のランクに関する）を適用し、代替的分解の可能性を制限する。

実験結果

リサーチクエスチョン

• RQ1 同次多項式のd次形式の最小加法的分解がいつ一意的となるか。
• RQ2 対称テンソル分解の同定可能性について、有効的かつ計算的に検証可能な基準を開発できるか。
• RQ3 d=4の場合、P^n内の点のどの幾何的配置がランクおよび分解の一意的決定を保証するか。
• RQ4 特定の点の部分集合を含む最小部分空間の次元が、形式の同定可能性にどのように影響するか。
• RQ5 |IS(2)| の基底点が集合Sと一致するのはいつか、そしてこれは分解の一意性にどのような意味を持つのか。

主な発見

• 定理1.1は有効な基準を提供する：集合Sがk個の点から成り、C[z0,…,zn]^⌊d/2⌋ にk個の独立な条件を課すならば、rX(q) = |S| であり、|S| ≤ binom(n+⌊d/2⌋−1, n) ならば分解は一意的である。
• d=4およびランク2n+1の場合、定理3.1は、qが同定可能であることと、Sの部分集合を含む最小部分空間Nの次元e ≥ 2であることとが同値であることを示している。
• e = 1の場合、集合S(X, q)の次元は1であり、複数の分解が存在することを意味し、|IS(2)| の基底点は直線Nを含む。
• 証明により、e ≥ 2 ならば |IS(2)| の基底点はちょうどSに等しくなることが示され、これにより定理1.2およびコhomological消滅から一意性が導かれる。
• 本稿は、|IS(2)| の基底点が代替的集合A（同じランク）を許容する場合にのみ非一意性が生じることを確立している。
• d=4および|S|=2n+1でLGPにあれば、基準により同定可能性が保証されるが、e=1の低次元部分空間にある配置では非一意性が生じる。