[論文レビュー] Explicit tensors of border rank at least 2n-1

J. M. Landsberg|arXiv (Cornell University)|Sep 7, 2012

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

ひとこと要約

本稿は、奇数の $m$ に対して、$ℂ^m \otimes ℂ^m \otimes ℂ^m$ 内に境界ランクが $2m-1$ 以上である明示的なテンソルを構成し、[6] におけるヤングフラットネイング方程式が行列積テンソル上で消えることの非自明性を示した。さらに、[1] に由来する高ランクテンソルが境界ランク $2^k$（$T_{2^k}$ に対して）であることを示し、行列積におけるグリッサー方程式の非消える性質を解明した。これにより、リクトハイグの長年の記録に一致する新たな下界が得られた。

ABSTRACT

For odd n, I write down tensors in C^n\otimes C^n\otimes C^n of border rank 2n-1, showing the non-triviality of the Young-flattening equations of Landsberg-Ottaviani. I also study the border rank of the tensors of Alexeev et. al., showing the tensors their tensors T_{2^k}, despite having rank equal to 2^{k+1}-1, have border rank equal to 2^k, the minimum of any concise tensor. I also study the equations of Griesser.

研究の動機と目的

• 文献[6]のヤングフラットネイング方程式が、かつて自明であると予想されていたが、実際に消えない明示的なテンソルの構成により、それらが非自明であることを示すこと。
• 境界ランク $2m-1$ および $2m-2$ におけるグリッサー方程式の非自明性を解明し、特に行列積テンソルとの関係を明らかにすること。
• [1] および [3] に由来するテンソルの境界ランクを分析し、高ランクであるにもかかわらず低境界ランクであることを示すこと。
• グリッサー方程式が行列積テンソル $M_n$ 上でどこまで消えないかの正確な範囲を特定し、それによって $M_n$ の境界ランクに対する新たな下界を導出すること。

提案手法

• 奇数の $m$ に対して、構造的な線形写像と非退化性条件を用いて、$ℂ^m \otimes \u2102^m \otimes \u2102^m$ 内に境界ランクが $2m-1$ 以上である明示的なテンソルを構成する。
• テンソルを線形写像とみなしてヤングフラットネイング技法を適用し、関連する行列のランクを分析することで、$\hat{\sigma}_r$ 上で消える多項式方程式を導出する。
• 表現論的議論と一般性の仮定を用いて、特定の演算子 $U_j$ の線形結合が共通の核を持つ必要があることを示し、これにより方程式の非消える性質を導く。
• 行列積テンソル $M_n$ を、その像がブロック対角になるような基底で選ぶことで分析し、部分空間上の作用を $[X_1, X_j]$ として調べ、像の次元を計算して方程式の消えるかどうかを検証する。
• グラスマンニアン上での次元数え上げと、共通の核を持つ自己準同型の概型 $\Sigma_m$ を用いて、方程式が恒等的にゼロになる可能性を評価する。
• 特に $n$ が偶数および奇数の場合を比較し、$m$ の異なる値における方程式の挙動を分析することで、方程式が消える・消えない境界を鋭く特定する。

実験結果

リサーチクエスチョン

• RQ1 文献[6]のヤングフラットネイング方程式は、$ℂ^m \otimes \u2102^m \otimes \u2102^m$ 内で境界ランク $2m-1$ の場合に非自明か？
• RQ2 $T_{2^k} \in \u2102^k \otimes \u2102^{2^k} \otimes \u2102^{2^k}$ として[1]に由来するテンソルは、ランクが $2^{k+1} - 1$ であるが、境界ランクは $2^k$ に等しいか？
• RQ3 $ℂ^m \otimes \u2102^m \otimes \u2102^m$ 内の $\hat{\sigma}_r$ に対して、グリッサー方程式は $r = 2m-1$ および $r = 2m-2$ の場合に非自明か？
• RQ4 行列積テンソル $M_n$ に対して、グリッサー方程式が消える $r$ の正確な範囲は何か？ これにより $\underline{\mathbb{R}}(M_n)$ に対する下界はどのようになるか？
• RQ5 [3] の方程式を用いて、$\underline{\mathbb{R}}(M_n)$ に対する $2n^2 - n$ の下界を改善できるか？

主な発見

• 奇数の $m$ に対して、$ℂ^m \otimes \u2102^m \otimes \u2102^m$ 内に境界ランクが $2m-1$ 以上の明示的なテンソルを構成し、[6] のヤングフラットネイング方程式が $2m - \sqrt{m}$ の閾値を超えて非自明であることを証明した。
• [1] に由来するテンソル $T_{2^k}$ はランクが $2^{k+1} - 1$ であるが、境界ランクは正確に $2^k$ である。これは高ランクでも境界ランクが低いことを示している。
• グリッサー方程式は $r = 2m - 1$ およびすべての ${\mathbb{a}}$ に対して、また $r = 2m - 2$ で $m \leq 4$ の場合に自明であるが、$n$ が偶数のとき $r \leq \frac{3}{2}n^2 - 1$、$n$ が奇数のとき $r \leq \frac{3}{2}n^2 + \frac{n}{2} - 2$ では非自明である。
• 行列積テンソル $M_n$ に対して、グリッサー方程式は $n$ が偶数のとき $r \leq \frac{3}{2}n^2 - 1$、$n$ が奇数のとき $r \leq \frac{3}{2}n^2 + \frac{n}{2} - 2$ で消えない。これにより、$\underline{\mathbb{R}}(M_n) \geq \frac{3}{2}n^2 + \frac{n}{2} - 1$ という下界が得られ、リクトハイグの記録と一致する。
• [6] の方程式が明示的構成により非自明であることが示され、本稿は一般にこのような方程式の非自明性をテストするフレームワークを提供した。
• グリッサー方程式が $r = 2m - 2$ かつ $m > 4$ の場合に非自明であるかどうかは未解決であるが、その場合、[6] にない新たな方程式が得られる可能性がある。