[論文レビュー] On the geometry of tensor network states

J. M. Landsberg, Qi Yang+1 more|arXiv (Cornell University)|May 23, 2011

Topological and Geometric Data Analysis被引用数 5

ひとこと要約

この論文は、サイクルを含むグラフに関連するテンソルネットワーク状態（TNS）の集合がZariski位相で閉じていないことを証明することで、量子情報理論における疑問に答えている—つまり、TNSの列の極限が必ずしもTNSでないことを示している。著者らは、木構造およびループ構造のグラフに対するTNSの幾何的記述を確立し、Mulmuley-Sohoni多様体の境界を介して幾何学的計算複雑性理論に結びつける。また、TNS空間が極限に関して閉じるかどうかを決定する臨界性条件を示している。

ABSTRACT

We answer a question of L. Grasedyck that arose in quantum information theory, showing that the limit of tensors in a space of tensor network states need not be a tensor network state. We also give geometric descriptions of spaces of tensor networks states corresponding to trees and loops. Grasedyck's question has a surprising connection to the area of Geometric Complexity Theory, in that the result is equivalent to the statement that the boundary of the Mulmuley-Sohoni type variety associated to matrix multiplication is strictly larger than the projections and re-labelings of matrix multiplication. Tensor Network States are also related to graphical models in algebraic statistics.

研究の動機と目的

• Lars Grasedyckが提起した、テンソルネットワーク状態の集合が極限に関してZariski位相で閉じているかどうかという問いに答えること。
• 木構造および循環的構造を持つグラフに対するテンソルネットワーク状態空間の幾何的特徴付けを提供すること。
• テンソルネットワーク状態の閉包性質が、特にMulmuley-Sohoni多様体の境界を含む幾何学的計算複雑性理論の問題とどのように関連しているかを接続すること。
• 頂点次元の臨界性条件（劣臨界、臨界、過臨界）がTNS空間の代数的幾何に与える影響を分析すること。
• 次数1の劣臨界頂点に対して、バンドル構成と頂点還元技術を用いて複雑なTNS構成をより単純な場合に還元すること。

提案手法

• 各辺に次元 e_s を割り当てた有向グラフ Γ に基づいてテンソルネットワーク状態（TNS）を定義し、各辺に補助空間 E_s を割り当てる。
• 頂点および辺の空間のテンソル積上での縮約写像の像として TNS(Γ, e, V) を構成し、グラフの構造が局所的もつれを符号化することを活用する。
• セカント多様体のSegre埋め込みおよびGrassmannianバンドルの技術を用いて、TNS空間の幾何を記述する。
• 次数1の劣臨界頂点に対する還元技術を適用し、このような頂点が隣接頂点と統合可能であり、次元を調整することで削除可能であることを示す。
• 木構造に対しては、反復的に臨界または線形ケースに還元することでTNS空間を特徴付け、最終的にGrassmannian上のバンドルの像として表現する。
• サイクル付きグラフにおけるTNSの非閉包性と、行列乗算の軌道の閉包内に真に含まれるMulmuley-Sohoni多様体の境界の包含関係の等価性を確立する。

実験結果

リサーチクエスチョン

• RQ1 サイクルを含むグラフ Γ に関連するテンソルネットワーク状態の集合はZariski位相で閉じているか？
• RQ2 特に木構造およびループ構造に関して、テンソルネットワーク状態空間の幾何的性質はグラフ構造にどのように依存するか？
• RQ3 テンソルネットワーク状態の閉包性質と、幾何学的計算複雑性理論におけるMulmuley-Sohoni多様体の境界との関係は何か？
• RQ4 テンソルネットワークグラフにおける次数1の劣臨界頂点は、TNS空間に影響を与えることなく体系的に還元可能か？
• RQ5 頂点次元の条件（臨界、劣臨界、過臨界）が何であるときにTNS空間はZariski位相で閉じているか、あるいは開いているか？

主な発見

• サイクルを含むグラフに関連するテンソルネットワーク状態の集合はZariski位相で閉じていない。Grasedyckの問いに否定的な答えを与えた。
• 木構造に対しては、反復的バンドル構成を用いてTNS空間を完全に記述でき、すべての頂点が臨界のとき極限に関して閉じている。
• ループ構造のTNS空間の幾何的構造は、行列乗算に関連するMulmuley-Sohoni多様体の境界と等価であり、行列乗算そのものおよびその再表現の射影を真に含む。
• 次数1の劣臨界頂点は、隣接頂点と統合することで削除可能であり、TNS空間を保存したままグラフを簡略化できる。
• すべての頂点が臨界のとき、TNS空間はベース空間上にファイバーされたGrassmannianの積に同型であり、その次元は辺の次元と頂点の次元を含む式で与えられる。
• この結果は、サイクル付きグラフのTNS空間の閉包に、有限ランクの縮約として表現できないテンソルが含まれることを示しており、量子状態近似における根本的な幾何的障害を示している。