[論文レビュー] On the ranks and border ranks of symmetric tensors

J. M. Landsberg, Zach Teitler|ArXiv.org|Jan 5, 2009

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

ひとこと要約

本稿では、多項式の零点集合の特異点および対称フラットネイングを用いて、同次多項式の対称テンソルランクおよびボーダーランクを計算・評価するための新しい幾何的技法を開発する。特異点集合の次元を用いたランクに関する新規な下界を確立し、特定の条件下で単項式の正確なボーダーランクを示し、ランクが5以下の多項式の標準形とランクの上限を同定する。また、行列式およびパーマネントのWaringランクについても、改善された下界を得ている。

ABSTRACT

Motivated by questions arising in signal processing, computational complexity, and other areas, we study the ranks and border ranks of symmetric tensors using geometric methods. We provide improved lower bounds for the rank of a symmetric tensor (i.e., a homogeneous polynomial) obtained by considering the singularities of the hypersurface defined by the polynomial. We obtain normal forms for polynomials of border rank up to five, and compute or bound the ranks of several classes of polynomials, including monomials, the determinant, and the permanent.

研究の動機と目的

• 同次多項式の対称テンソルランクおよびボーダーランクを計算・評価するための幾何的技法の開発。
• 多項式が定める超曲面の特異点を分析することにより、一般化されたテンソルランクの新たな下界の提供。
• ボーダーランクが5以下の多項式の標準形を分類し、それらのランクまたはタイトな上限を同定すること。
• 行列式やパーマネントなどの基本的多項式のWaringランクの下界を改善すること。
• 微分幾何学および代数幾何学の道具を統合することで、古典的なランクおよびボーダーランクに関する結果を拡張すること。

提案手法

• 多項式の零点集合の特異点集合を用いて、その対称テンソルランクに対する新たな下界を導出する。
• 対称フラットネイング（Catalecticant行列）を適用し、ランクの不等式を用いてボーダーランクの下界を得る。
• 微分幾何学的手法および極化技術を用いて、多項式の構造およびその累乗和としての表現を分析する。
• 線形系およびセカント多様体の幾何的・代数的制約を用いて、ボーダーランク ≤5 の多項式の標準形を分類する。
• 逆系の理論およびセカント多様体を用いて、単項式、行列式、パーマネントなどの特定多項式のランクを評価する。
• 対称フラットネイングの核に関する次元数え上げと線形代数を用いて、可能な累乗和分解における項数の制約を導出する。

実験結果

リサーチクエスチョン

• RQ1 多項式 $ x_0^{a_0} \cdots x_m^{a_m} $ の対称テンソルランクは、$ a_0 \geq \sum_{i=1}^m a_i $ のときどのように求まるか？
• RQ2 ボーダーランクが3、4、5の同次多項式の標準形は何か？ それぞれのランクは何か？
• RQ3 多項式が定める超曲面の特異点集合が、その対称テンソルランクに対して非自明な下界を提供できるか？
• RQ4 行列式およびパーマネント多項式のWaringランクの正確な値またはタイトな上限は何か？
• RQ5 対称フラットネイングの核の構造は、累乗和分解における項数の制約をどのように制御できるか？

主な発見

• 単項式 $ x_0^{a_0} \cdots x_m^{a_m} $ のボーダーランクは、$ a_0 \geq \sum_{i=1}^m a_i $ のとき、正確に $ \prod_{i=1}^m (1 + a_i) $ である。これは定理1.1で証明されている。
• ボーダーランク3の多項式に対して、3つの標準形が与えられる：$ x^d + y^d + z^d $、$ x^{d-1}y + z^d $、$ x^{d-2}y^2 + x^{d-1}z $。それぞれのランクの上限は、$ 3 $、$ d \leq R \leq d+1 $、$ d \leq R \leq 2d-1 $ である。
• 行列式 $ \det_n $ のWaringランクは、$ R(\det_n) \geq \binom{n}{\lfloor n/2 \rfloor}^2 + n^2 - (\lfloor n/2 \rfloor + 1)^2 $ を満たす。これは従来の評価よりも顕著な改善である。
• パーマネント $ \operatorname{perm}_n $ のWaringランクは、$ R(\operatorname{perm}_n) \geq \binom{n}{\lfloor n/2 \rfloor}^2 + n(n - \lfloor n/2 \rfloor - 1) $ を満たす。これは特異点に基づく評価を用いて導出された。
• 多項式 $ x^2yz $ のランクは正確に6であり、ボーダーランクは正確に4である。これは円錐制約および対称フラットネイングのランクを用いた背理法によって示された。
• 任意の同次多項式 $ \phi \in S^d \mathbb{C}^n $ に対して、$ R(\phi) \leq \binom{n+d-1}{d} - n + 1 $ が成り立つ。これはセカント多様体に関する幾何的考察から得られた非自明な上界である。