[論文レビュー] The Complexity of Tensor Rank

Marcus Schaefer, Daniel Štefankovič|arXiv (Cornell University)|Dec 13, 2016

Quantum Computing Algorithms and Architecture被引用数 5

ひとこと要約

この論文は、任意の体上のテンソルランクを決定することは、その体の存在論的理論を決定することと多項式時間同値であることを確立し、テンソルランクの複雑さを根本的な論理的理論と統一する。体 ℝ 上では ∃ℝ-完全、体 ℂ 上では ∃ℂ-完全、体 ℚ 上では ∃ℚ-完全であることが証明され、代数的普遍性が顕在化し、これまでの NP 困難性の結果がより広範な代数的普遍性の特別な場合であることが説明される。さらに、対称テンソルおよび固定ランクテンソルにおける新たな計算複雑性の洞察が得られる。

ABSTRACT

We show that determining the rank of a tensor over a field has the same complexity as deciding the existential theory of that field. This implies earlier NP-hardness results by Håstad~\cite{H90}. The hardness proof also implies an algebraic universality result.

研究の動機と目的

• 任意の体上のテンソルランクの計算複雑度を特定すること。
• テンソルランク問題を体の存在論的理論と統一し、多項式時間同値であることを示すこと。
• これまでの ℚ、ℝ、ℂ 上でのテンソルランクの NP 困難性が、より広範な代数的普遍性の特別な場合である理由を説明すること。
• この同値性が、対称テンソル、固定ランクケース、および GRH などの数論的仮定の役割に与える影響を検討すること。
• Koiran の ∃ℂ に対する AM 上界が、GRH を仮定せずにアルゴリズム化可能かどうかを調査すること。

提案手法

• 体 𝔽 上の任意の存在論的第一階論理文を、テンソル T と整数 k に還元する。φ が 𝔽 上で真であることと、T がランク ≤ k を持つことは同値である。
• 多項式的線形表現を持つ行列の minrank 問題を、テンソルランクへのブリッジとして用い、解空間を保つ安定同値性を活用する。
• 多項式的線形表現を持つ行列 A から、変数の依存関係とランク制約を符号化するブロック構造を用いて、3次元テンソル T を構築する。
• 線形代数的手法を適用し、係数行列 A_xi が最小ランク分解に現れることを示し、解の回復を保証する。
• スライス上の制約とクロネッカーのデルタの振る舞いを介して、テンソルの実現空間と元の代数的系の解集合との間の安定同値性を証明する。
• 分野固有の性質（例：複素数を実数のペアとして扱う、実閉体、ℚ 上での決定不能性）を用いて、複雑さクラスを分析する。

実験結果

リサーチクエスチョン

• RQ1 体 𝔽 上でのテンソルランク問題は、その体の存在論的理論を決定することと計算的に同値か？
• RQ2 なぜテンソルランクは ℚ、ℝ、ℂ 上で依然として NP 困難であり、これはこれらの体の背後にある論理に何を示唆するか？
• RQ3 ℝ 上でテンソルランクが ∃ℝ-完全であることは、ℂ 上で ∃ℂ-完全であることは、その多項式階層における位置づけに何を意味するか？
• RQ4 ℚ 上でのテンソルランク問題は決定可能か？その決定可能性は、∃ℚ の決定可能性に何を意味するか？
• RQ5 Koiran の ∃ℂ に対する AM 上界は、GRH を仮定せずにアルゴリズム化可能か？

主な発見

• 任意の体 𝔽 上でのテンソルランクは、その体の存在論的理論を決定することと多項式時間同値であり、根本的な複雑さの対応関係を確立する。
• テンソルランク問題は ℝ 上で ∃ℝ-完全、ℂ 上で ∃ℂ-完全、ℚ 上で ∃ℚ-完全であることが示され、体ごとの複雑さの階層が明らかになる。
• この結果により、Håstad の ℚ 上での NP 困難性は、より広範な存在論的理論同値性の特別な場合であることが説明される。
• 有限体上では問題は NP 完全であり、存在論的理論が NP 完全であることに整合する。
• 証明により代数的普遍性が確立される：任意の代数的集合は、テンソルランクの実現空間と安定同値である。これは、問題がその体上のすべての代数幾何学を捉えていることを示す。
• ∃ℚ の複雑さは未解決のままであり、ℚ 上でのテンソルランクの決定可能性が示されれば、数論における画期的な進展を意味する。なぜなら、それは ∃ℚ の決定可能性を示唆するからである。