[論文レビュー] 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ランクの幾何的下界を、任意の射影的多様体上での一般化ランクへ拡張すること。
• アポラリー補題を多重斉次多項式へ一般化し、多重斉次テンソル分解のための新たな下界を導出すること。
• 特異点の次元と高次の不変量を組み込むことで、既存のカタレクティカンチの下界を改善すること。
• 特に $x_1^{d_1} \bdots x_n^{d_n}$ のような単項式の $k$-一般化ランクに対するタイトな下界を確立し、そのタイトさを予想すること。
• これらの下界を代数的複雑性の問題、例えば行列乗算や同時Waring分解への応用に適用すること。

提案手法

• 特異点の次元を組み込んだ [LT10] の幾何的下界を一般化し、古典的なカタレクティカンチ下界を強化する。
• アポラリー環上の理想との関係を結ぶ、多重斉次版のアポラリー補題を導入する。
• ベルティーニの定理と完全交差の議論を用いて、アポラリーイデアルの一般要素によって定義される多様体の交点を解析する。
• 分解に必要な項の数を、スキーム $\operatorname{Spec} A^F$ の次数および完全交差との交点を用いて評価する。
• 生成元の次数 $d_i$ を用いて、$r_k(F)$（$k$-一般化ランク）の下界を $r_k(F) \geq \ell(A^F)/(d_{j-k+1} \dotsm d_j)$ の式で導出する。
• Macaulay2 を用いて、単項式や行列乗算形式を含む特定の例について、計算的に例証と下界の検証を行う。

実験結果

リサーチクエスチョン

• RQ1 Waringランクの幾何的下界は、多重斉次多項式および任意の代数的多様体へ一般化可能か？
• RQ2 アポラリー多様体の特異点の次元を組み込むことで、カタレクティカンチに基づく下界にどのような改善が得られるか？
• 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$ の下界が得られ、そのアポラリーイデアルが二次式によって生成されることを根拠にしている。
• 任意の多重斉次 $F$ に対して、$r_k(F) \geq \ell(A^F)/(d_{j-k+1} \dotsm d_j)$ の下界が確立された。ここで $d_i$ は $F^\perp$ の生成元の次数である。
• 特異点多様体の幾何的データを組み込むことで、古典的カタレクティカンチ下界および非アーベル的カタレクティカンチ下界を改善している。
• 本稿は、新しい下界により $r(x_1 \dotsm x_n) = 2^{n-1}$ を確認し、[RS11] や [LT10] の結果をより広い枠組みへ拡張している。