[論文レビュー] Report on "Geometry and representation theory of tensors for computer science, statistics and other areas."

Luke Oeding|ArXiv.org|Oct 21, 2008

Tensor decomposition and applications参考文献 34被引用数 12

ひとこと要約

この論文は、2008年のAIMワークショップの報告であり、テンソル幾何と表現論を、コンピュータサイエンス、統計学、量子情報分野に応用するものである。テンソル分解の幾何的枠組みを提唱し、ランク多様体、セカント多様体、もつれとの関係を確立した。また、実数体上ではランク乗法性が成立せず、任意に大きな反例が存在することを証明し、量子情報理論および計算複雑性理論における長年の予想に挑戦した。

ABSTRACT

This is a technical report on the proceedings of the workshop held July 21 to July 25, 2008 at the American Institute of Mathematics, Palo Alto, California, organized by Joseph Landsberg, Lek-Heng Lim, Jason Morton, and Jerzy Weyman. We include a list of open problems coming from applications in 4 different areas: signal processing, the Mulmuley-Sohoni approach to P vs. NP, matchgates and holographic algorithms, and entanglement and quantum information theory. We emphasize the interactions between geometry and representation theory and these applied areas.

研究の動機と目的

• 量子コンピューティング、信号処理、統計的学習分野の未解決問題を、幾何学的および表現論的形で再定式化すること。
• エンジニアと幾何学者の間で、テンソル分解およびランク関連問題に関する共通の言語（「辞書」）を確立すること。
• テンソル幾何における未解決問題、特にランク乗法性ともつれに関する問題を特定・形式化し、共同研究を促進すること。
• セグレ多様体、ヴェロネーゼ多様体、部分空間多様体などのテンソル多様体の幾何的構造を、データ解析や量子情報分野の実問題と関連付けて探求すること。
• テンソル分解構造の非一意性と、それが量子もつれおよび複雑性理論に与える影響を調査すること。

提案手法

• 射影幾何と代数的多様体（特にセグレ、ヴェロネーゼ、セグレ＝ヴェロネーゼ埋め込み）を用い、ランク1および部分的に対称なテンソルをモデル化した。
• 多様体 X 上の r 個の点の線形包のザリスキ閉包として、r 階セカント多様体 σr(X) を定義し、テンソルランクおよび分解の複雑さを特徴づけた。
• 各因子におけるランクが有界なテンソルをモデル化するため、部分空間多様体 Subr₁,…,rₙ(V₁⊗⋯⊗Vₙ) を導入し、テンソルランクと分解の構造的解析を可能にした。
• 表現論を用いて、テンソル空間の対称性と不変量を分析し、特にもつれとホログラフィックアルゴリズムの文脈で考察した。
• X-ランクの概念を導入し、ランク1分解に限らない一般化されたテンソルランクを定義し、ランク1分解を超える広範な幾何的解析を可能にした。
• 実数体上での反例を用いて、MinRank乗法性予想を反証した。行列 M = [[0,1],[-1,0]] と単位行列を用いた行列構成により、テンソル積におけるランクの著しい減少を示した。

実験結果

リサーチクエスチョン

• RQ1 部分空間のテンソル積のランクが、個々の最小ランクの積からどれほど逸脱しうるか。その逸脱は任意に大きくうつことができるか。
• RQ2 非自明で非一意なテンソル分解構造 S = S₁′⊗S₂′ が、テンソル空間を保存しながらも、もつれのないベクトルを避けることができるか。そのような分解の条件は何か。
• RQ3 部分空間のテンソル積における最小出力エントロピーまたはもつれエントロピーの加法性は成り立つか。幾何的反例によりこれを反証できるか。
• RQ4 セカント多様体および部分空間多様体の幾何的構造を用いて、P vs NP といった計算複雑性理論の根本的問題を解決できるか。
• RQ5 信号処理およびデータ解析におけるアルゴリズムの改善に利用可能な、テンソル多様体の隠れた対称性や定義方程式は存在するか。

主な発見

• MinRank乗法性予想は実数体上では誤りであり、(MinRank(X))² − MinRank(X⊗X) が任意に大きくうつ反例が存在する。
• X = span{M, I₂}（M = [[0,1],[-1,0]]）を用いた具体的な反例が構成され、MinRank(X) = 2 であるのに対し、MinRank(X⊗X) = 2 < 4 であることが示された。
• S₂ₙ = X⊗Iₙ に拡張することで、最小ランクは 2n のまま維持されるが、(M⊗Iₙ)⊗(M⊗Iₙ) − I₄ₙ² のランクは 2n² に達し、テンソル積におけるMinRankの任意に大きな減少を示した。
• 同じ反例により、エントロピー加法性予想も実数体上では誤りであることが示された。なぜなら log(2n) + log(2n) > log(2n²) であるからである。
• 一般部分空間 S₁, S₂ のテンソル積 S₁⊗S₂ は常に一般ではない。これは、ランク乗法性に関する構造的仮定を自明に仮定できないことを示唆する。
• 分解 s₁^opt ⊗ s₂^opt は局所的一階解析における臨界点ではあるが、そのグローバル最適性は未解決であり、エントロピーまたは非局所性をグローバルに最小化するとは限らない。