[論文レビュー] Symmetric tensors: rank, Strassen's conjecture and e-computability

Enrico Carlini, Maria Virginia Catalisano+3 more|arXiv (Cornell University)|Jun 10, 2015

Tensor decomposition and applications参考文献 7被引用数 4

ひとこと要約

本稿では、対称テンソルのWaringランクの新たな下界を確立するために $e$-計算可能性の概念を導入し、Strassen予想が無限に多くの新しい場合に成り立つことを証明している。形式のランクをそのアポラルイデアルのヒルベルト関数と、次元0のスキームにかかる幾何的制約とに関連させることで、正確なランク計算が得られ、いくつかの無限族の形式について予想が検証された。

ABSTRACT

In this paper we introduce a new method to produce lower bounds for the Waring rank of symmetric tensors. We also introduce the notion of $e$-computability and we use it to prove that Strassen's Conjecture holds in infinitely many new cases.

研究の動機と目的

• 対称テンソルのWaringランクに対する下界を計算するための新しい手法を開発すること。
• ランク計算のための道具として、$e$-計算可能性の概念を導入し、その性質を研究すること。
• 変数集合が互いに素である場合のランクの加法性を示すStrassen予想が、無限に多くの新しい形式族について成り立つことを証明すること。
• アポラルイデアルの幾何的・代数的制約を用いて、特定の対称形式の正確なランク計算を提供すること。
• 特定の形式が1-計算不能であることを示し、既存の計算技術の限界を明らかにすること。

提案手法

• アポラルイデアル $F^\bot$ と線形部分空間 $I$ に対して、$F$ のランクが一般の線形形式 $t$ について $T/(F^\bot:I + (t))$ のヒルベルト関数の和に等しいという条件として $e$-計算可能性を定義する。
• アポラリティ補題を用いて、$F$ にアポラルな次元0のスキームと、$I_{\text{scheme}} \subset F^\bot$ を満たすWaring分解を関連付ける。
• ヒルベルト関数解析を用いて、$\sum_i HF(T/\tilde{I}, i)$ を用いてランクの下界を導出する。ここで $\tilde{I} = F^\bot:(X_i) + (X_i)$ である。
• 幾何的制約を適用する：$X_iX_j + c_{ij}X_0^2 \in I_{\mathbb{X}}$ ならば、$c_{ij} = 0$ となるか、$a=1$ の場合に限る。これにより誤った解を排除する。
• 特定の形式（例：$F = x_0^a(x_1^b + \cdots + x_n^b)$）の $F^\bot$ の構造を活用し、イデアルの包含関係とヒルベルト関数の和を用いて $\mathrm{rk}(F)$ を計算する。
• 直線上の点数と直線の和集合に基づく背理法を用いて、特定のサイズの最小分解が成り立たないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 どの対称形式に対して $e$-計算可能性を用いてWaringランクを計算できるか。
• RQ2 Strassen予想—ランクが互いに素な変数集合上で加法的である—が、新しい形式族について成り立つか。
• RQ3 $e$-計算可能性を用いてWaringランクに対する鋭い下界を確立できるか。
• RQ4 標準的な計算技術（例：1-計算不能）に失敗する形式は存在するか。もし存在するなら、それらのランクはどのように計算できるか。
• RQ5 アポラルイデアルにどのような幾何的・代数的条件が、与えられた分解が最小であることを保証するか。

主な発見

• 形式 $F = x_0^a(x_1^b + \cdots + x_n^b)$ で $2 \leq a+1 \leq b$ かつ $n \geq 3$ を満たす場合、ランクは $bn - n + 3$ から $bn$ の間であり、$n=3$ のとき $\mathrm{rk}(F) = 3b$ である。
• 形式 $F = w(x^3 + y^3 + z^3)$ は $k[x,y,z,w]$ 上でランク9をもち、1-計算不能である。これはヒルベルト関数の和に関する背理法によって示された。
• Strassen予想は、単項式や $x_0^a(x_1^b + \cdots + x_n^b)$ のクラスを含む、無限に多くの新しい形式族について成り立つ。
• $F = x_0^a(x_1^b + \cdots + x_n^b)$ のランクは $a \geq 1$ のとき正確に $bn$ であり、下界 $bn - n + 3$ は鋭い。
• $F = x_0^a(x_1^b + \cdots + x_n^b)$ に対して、イデアル $F^\bot$ は $X_0^{a+1}$ と関係 $X_iX_j$、$X_1^b - X_i^b$ を含み、これらがアポラルスキームを制約する。
• $\mathrm{rk}(F) = bn - n + 3$ の証明は、$\sum_i HF(T/\tilde{I}, i) = bn - n + 2$ であり、直線上の点の分布に関する背理法により $\mathrm{rk}(F) > bn - n + 2$ であることを示すことによって成り立つ。