[論文レビュー] The G-stable rank for tensors

Harm Derksen|arXiv (Cornell University)|Feb 19, 2020

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

ひとこと要約

この論文は、幾何的不変式論に基づく新しいテンソルランク概念であるG安定ランクを導入し、非整数値を許容し、スーパー乗法的性質を保証することで、スライスランクを一般化・精緻化する。G安定ランクは形式的ローレンツ級数上の最適化問題として定式化され、F₃上でのキャップセット問題に対する上界の改善に応用され、従来の手法よりも tighter な漸近的推定値が得られる。

ABSTRACT

We introduce the $G$-stable rank of a higher order tensors over perfect fields. The $G$-stable rank is related to the Hilbert-Mumford criterion for stability in Geometric Invariant Theory. We will relate the $G$-stable rank to the tensor rank and slice rank. For numerical applications, we express the $G$-stable rank as a solution to an optimization problem. Over the field ${\mathbb F}_3$ we discuss an application to the Cap Set Problem.

研究の動機と目的

• スライスランクやテンソルランクといった既存の概念を精緻化する新しいテンソルランク不変量、G安定ランクを定義すること。
• 完備体上での幾何的不変式論におけるヒルベルト＝ムーディー基準とG安定ランクとの関係を確立すること。
• 形式的べき級数上の最適化により、G安定ランクの数値的フレームワークを提供または近似すること。
• G安定ランクをF₃上でのキャップセット問題に応用し、キャップセットのサイズに対するより良い上界を得ること。
• G安定ランクのスーパー乗法的性質と、テンソル分解および近似へのその影響を調査すること。

提案手法

• G安定ランクは、GL(Vi, K((t))) 内の1パラメータ部分群 g(t) に対して、g(t)·v の t-付値が正であるようなものについて、スロープ関数 μα(g(t), v) の下界として定義される。
• スロープ μα(g(t), v) は、g_i(t) の対数行列式の重み付き和を、変換されたテンソル g(t)·v の t-付値で割ったものであり、重みは α_i である。
• G安定ランクは、非負変数 t_i に対する線形計画問題として表現され、制約条件は i+j+k ≤ 2n に対して t_i + t_j + t_k ≥ 1 である。
• この手法は、ケンプの仕事により完備体に適応されたヒルベルト＝ムーディー基準を用いて、形式的べき級数における退化を介してランクを定義する。
• キャップセット問題においては、G安定ランクを用いて、3∑f_{n,i}t_i を最小化する線形制約（三重和から導かれる）に基づいて、キャップセットのサイズを上界で制約する。
• 線形計画問題の最適解は、n mod 3 に応じた周期的パターンに従うと予想され、t_i = 1 はおおよそ 2n/3 までのインデックスに対して成り立ち、その後は減少する分数に続く。

実験結果

リサーチクエスチョン

• RQ1 幾何的不変式論におけるヒルベルト＝ムーディー基準を、新たな精緻化されたテンソルランク不変量を定義するためにどのように利用できるか？
• RQ2 G安定ランクとスライスランクやテンソルランクといった既存のテンソルランク概念との関係は何か？
• RQ3 G安定ランクは、形式的ローレンツ級数上の最適化により計算または近似可能か？
• RQ4 G安定ランクは、F₃上でのキャップセット問題に対する上界をどのように改善するか？
• RQ5 G安定ランクの漸近的挙動は何か？また、スーパー乗法的構造を有するか？

主な発見

• G安定ランクは、スライスランクとは異なり、縦テンソル積に関してスーパー乗法的であるため、漸近的解析に適している。
• n=1 から 6 までで、G安定ランクによるキャップセットサイズの上界は、それぞれ 2.25、6、15、39、105、274 であり、以前の推定値を上回る。
• 線形計画問題の最適解は、n mod 3 に従う周期的パターンに従うと予想され、t_i = 1 は最初の (2n−3)/3、(2n−5)/3、または (2n−7)/3 個のインデックスに対して成り立つ。その後は減少する分数に続く。
• n ≥ 4 の場合、G安定ランクはエレンバーグ＝ギースヴァイクトの上界（EG）よりもキャップセットサイズに対して tighter な上界を与える。この改善は n が増加するにつれて大きくなる。
• 数値実験から、G安定ランクは Cθⁿ/√n の形の上界をもたらすことが示唆され、強い漸近的推定の可能性を示している。
• この手法により、キャップセット問題が係数 t_i に関する線形計画問題に再定式化され、i+j+k ≤ 2n ならば t_i + t_j + t_k ≥ 1 であるという制約が導かれる。