[論文レビュー] Tensor Networks in a Nutshell

Jacob Biamonte, Ville Bergholm|arXiv (Cornell University)|Jul 31, 2017

Quantum many-body systems参考文献 52被引用数 121

ひとこと要約

このチュートリアルはテンソルネットワークとその図式言語を紹介し、行列積状態（matrix product states）と関連するネットワークを用いて量子状態を表現する方法を説明し、張るテンソルの縮約がカウント問題を解くとともに量子回路とどのように関連するかを示します。

ABSTRACT

Tensor network methods are taking a central role in modern quantum physics and beyond. They can provide an efficient approximation to certain classes of quantum states, and the associated graphical language makes it easy to describe and pictorially reason about quantum circuits, channels, protocols, open systems and more. Our goal is to explain tensor networks and some associated methods as quickly and as painlessly as possible. Beginning with the key definitions, the graphical tensor network language is presented through examples. We then provide an introduction to matrix product states. We conclude the tutorial with tensor contractions evaluating combinatorial counting problems. The first one counts the number of solutions for Boolean formulae, whereas the second is Penrose's tensor contraction algorithm, returning the number of $3$-edge-colorings of $3$-regular planar graphs.

研究の動機と目的

• 図的テンソルネットワーク言語とその歴史的背景を紹介する。
• 図式表記を通じてテンソルネットワークと量子回路の関係を説明する。
• matrix product statesと、特定の量子状態を効率的に表現する際の役割を示す。
• テンソル縮約を、組合せカウント問題を解く手段として実演する。
• ワイヤーの曲げ（cups / caps）、および SVD といった主要なテンソル操作を図式フレームワークで強調する。

提案手法

• テンソルをラベル付きの形状とオープンレッグとして示し、縮約をワイヤーとして描く。
• 図式ルールを用いて、ワイヤーの曲げ（cups / caps）や交差（SWAP）などの操作を行う。
• 図式SVD を導入し、Schmidt分解とMPS表現の獲得における役割を説明する。
• 分割を跨いでSVDを反復的に適用し、結果を束ねることで matrix product states を構築する方法を示す。
• テンソルネットワークが縮約を通じて組合せ問題を数える方法を、Penrose の縮約技法を含めて実演する。

実験結果

リサーチクエスチョン

• RQ1 テンソルネットワークは、量子状態、回路、縮約を視覚的・代数的に表現するためにどのように用いられるか。
• RQ2 図式SVDが、MPSのような効率的な状態表現を構築する際の役割は何か。
• RQ3 図式的操作（cups、caps、SWAP）は、標準的な線形代数の演算や不変量とどう関連するか。
• RQ4 テンソル縮約は組合せオブジェクトを数えるのにどのように役立ち、Penrose の縮約のような既知のアルゴリズムとどう結びつくか。
• RQ5 エンタングルメントの性質は、テンソルネットワーク表現のトポロジーと Schmidt係数とどのように関連するか。

主な発見

• テンソルネットワークは、規則的な構造と縮約スキームを通じて、特定の量子状態を効率的に近似表現する。
• Matrix product states は、エンタングルメントが制限されている場合に1D状態をコンパクトに表現でき、結合次元が有界であればコストはパーティの数に対して線形にスケールする。
• 図式SVD は Schmidt 分解を生み出し、MPS の構築と Eckart–Young–Mirsky 原理による截断を支える。
• ワイヤーの曲げと交差（cups、caps、SWAP）は、インデックス変換とマップ–状態の対称性を生み出し、状態と作用素を統一する。
• epsilon/テンソル道具と CNOT/COPY/XOR 関係は、一般的な量子ゲートをテンソルネットワーク言語でどのように実現・分析できるかを示す。
• 図式的手法は、量子回路、エンタングルメント不変量、および状態表現を結び付け、概念的および計算的な洞察を可能にする。