[论文解读] 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.

研究动机与目标

• 將量子計算、訊號處理與統計學習中的開放問題轉化為幾何與表示理論的表述形式。
• 為工程師與幾何學家建立張量分解與相關秩問題的共同語言（即「詞典」）。
• 識別並形式化張量幾何中的開放問題，特別是關於秩乘法性與糾纏態的問題，以促進合作研究。
• 探討Segre、Veronese與子空間簇等張量簇的幾何結構，並與資料分析與量子資訊中的實際問題關聯。
• 研究張量分解結構的非唯一性及其對量子糾纏態與複雜性理論的影響。

提出的方法

• 利用射影幾何與代數簇——特別是Segre、Veronese與Segre-Veronese嵌入——來建模秩一張量與部分對稱張量。
• 將第r階割線簇σr(X)定義為代數簇X上r個點的線性張集的Zariski閉包，用以表徵張量秩與分解複雜度。
• 引入子空間簇Subr₁,…,rₙ(V₁⊗⋯⊗Vₙ)以建模各因子中秩有界的張量，從而實現對張量秩與分解的結構化分析。
• 應用表示理論分析張量空間的對稱性與不變量，特別是在糾纏態與全像算法的背景下。
• 引入X-秩的概念，將張量秩推廣至任意代數簇，從而實現超越秩一分解的廣泛幾何分析。
• 利用實數域上的反例推翻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₁^opt ⊗ s₂^opt是局部一階分析下的臨界點，但其全域最優性仍未知，且無法保證全域最小化熵或非局域性。