[論文レビュー] On tensors of border rank $l$ in $\C^{m imes n imes l}$

Shmuel Friedland|arXiv (Cornell University)|Mar 9, 2010

Tensor decomposition and applications参考文献 14被引用数 3

ひとこと要約

本稿は、$ \mathbb{C}^{m \times n \times l} $ 内の境界ランクが $ l $ 以下のテンソルの集合論的特徴付けを、$ V_4(3,3,4) $ および $ V_4(4,4,4) $ に焦点を当てて行っている。$ V_4(3,3,4) $ は次数 9 および 16 の斉次多項式によって定義され、$ V_4(4,4,4) $ は次数 5、9、16 の多項式によって定義され、行列論的および代数幾何学的技法を用いてサミュエル予想の一部が解決された。

ABSTRACT

We study tensors in $\C^{m imes n imes l}$ whose border rank is $l$. We characterize the tensors in $\C^{3 imes 3 imes 4}$ and in $\C^{4 imes 4 imes 4}$ of border rank 4 at most.

研究の動機と目的

• テンソルの境界ランクが 4 以下の $ \mathbb{C}^{3\times3\times4} $ 内の多様体 $ V_4(3,3,4) $ を集合論的方程式を用いて特徴付けること。
• この特徴付けを $ V_4(4,4,4) $ に拡張し、$ \mathbb{P}^3\times\mathbb{P}^3\times\mathbb{P}^3 $ の第 4 番目のセカント多様体の定義方程式に関するサミュエル予想の重要なケースを解明すること。
• 対称行列部分空間の性質および随伴積の可換性を用いて、$ \mathbb{C}^{m\times n\times l} $ 内のテンソルが境界ランク $ l $ を持つための条件を確立すること。
• 特に、対称行列空間の直交補空間の役割に注目し、行列理論および代数幾何学に基づく一般枠組みを提供し、境界ランクを多項式不変量を用いて特徴付けること。

提案手法

• テンソル $ \mathcal{T} $ の $ p $-スライスの張る空間、特に $ \mathbf{T}_1(\mathcal{T}) $ を分析し、テンソルの行列スライスの構造に関する条件を導出する。
• すべての $ X,Y,Z $ に対して $ X(\mathrm{adj}\, Y)Z - Z(\mathrm{adj}\, Y)X = 0 $ が成り立つという条件を用い、これは境界ランクが $ l $ 以下であるための必要十分条件であり、次数 5 の斉次多項式方程式を導く。
• 第 3 スライス行列が張る対称行列空間 $ \mathbf{S}(\mathbf{T}_3(\mathcal{T})) $ の直交補空間 $ \mathbf{S}(\mathbf{T}_3(\mathcal{T}))^\perp $ を分析し、その空間が可逆行列を含み、可換性および固有値条件を満たすことを要請する。
• ランク 1 の対称行列の同時合同対角化に関する結果を応用し、テンソルのランクまたは境界ランクがちょうど $ l $ である条件を特徴付ける。
• スライス空間に可逆行列を含まない場合、置換および基底変換により低次元のケースに還元し、最終的に $ \mathcal{T} \in \mathbb{C}^{4\times4\times4} $ を $ \mathbb{C}^{3\times3\times4} $ に帰着させる。
• ランク $ l $ のテンソルの列の極限と連続性の議論を用い、ランク $ l $ の場合の結果を境界ランク $ l $ の場合に拡張する。

実験結果

リサーチクエスチョン

• RQ1 境界ランクが 4 以下の $ \mathbb{C}^{3\times3\times4} $ 内のテンソルの多様体 $ V_4(3,3,4) $ の集合論的定義イデアルは何か？
• RQ2 サミュエル予想は $ V_4(4,4,4) $ に対して検証可能か？ 特に、多項式の次数が 5、9、16 であるかどうかを確認できるか？
• RQ3 テンソルのスライス行列にどのような条件が満たされると、その境界ランクが $ l $ に等しくなるか？ 特にスライス空間の次元が $ l $ で、その対称行列空間の直交補空間の次元が $ l $ である場合に注目する。
• RQ4 行列空間に属する 3 つの行列 $ X,Y,Z $ が $ X(\mathrm{adj}\, Y)Z = Z(\mathrm{adj}\, Y)X $ を満たすという条件が、境界ランク $ l $ のテンソルを特徴付けるのにどのように利用できるか？
• RQ5 合同変換による対称行列の同時対角化は、3 テンソルのランクまたは境界ランクを決定する上でどのような役割を果たすか？

主な発見

• $ V_4(3,3,4) $ は、次数 9 および 16 の斉次多項式によって集合論的に定義され、サミュエル予想の重要なケースが解決された。
• $ V_4(4,4,4) $ は、次数 5、9、16 の斉次多項式によって集合論的に定義され、修正版サミュエル予想が確認された。
• テンソル $ \mathcal{T} \in \mathbb{C}^{m\times n\times l} $ が境界ランク $ l $ を持つための必要十分条件は、第 3 スライス行列空間 $ \mathbf{T}_3(\mathcal{T}) $ に対して $ \dim \mathbf{S}(\mathbf{T}_3(\mathcal{T}))^\perp = l $ であり、さらに直交補空間 $ \mathbf{S}(\mathbf{T}_3(\mathcal{T}))^\perp $ が可逆行列を含み、すべての $ X,Y,Z $ に対して $ X(\mathrm{adj}\, Y)Z = Z(\mathrm{adj}\, Y)X $ を満たすことである。
• 境界ランク $ \mathrm{brank}\, \mathcal{T} = l $ の場合、空間 $ \mathbf{S}(\mathbf{T}_3(\mathcal{T}))^\perp $ は、$ l $ 個の線形独立で、同時に対角化可能なランク 1 の対称行列によって張られる $ \mathrm{S}(l,\mathbb{C}) $ の部分空間でなければならない。さらに、ある $ A,B \in \mathbf{S}(\mathbf{T}_3(\mathcal{T}))^\perp $ に対して $ A\,\mathrm{adj}\, B $ が $ l $ 個の異なる固有値を持つことが必要である。
• 条件 $ X(\mathrm{adj}\, Y)Z = Z(\mathrm{adj}\, Y)X $ は、スライス空間に可逆行列が含まれる場合に限り、境界ランク $ \leq l $ の必要十分条件である次数 5 の斉次多項式方程式系を導く。
• 本稿は、$ \mathcal{T} \in \mathbb{C}^{4\times4\times4} $ でスライス空間に可逆行列が含まれない場合、置換および基底変換により $ \mathbb{C}^{3\times3\times4} $ 内のテンソルに還元可能であり、$ V_4(4,4,4) $ の特徴付けを $ V_4(3,3,4) $ の特徴付けに帰着できることを確立した。