[논문 리뷰] Tensor Networks in a Nutshell

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

Quantum many-body systems참고 문헌 52인용 수 121

한 줄 요약

This tutorial introduces tensor networks and their diagrammatic language, explains how to represent quantum states with matrix product states and related networks, and shows how tensor contractions solve counting problems and relate to quantum circuits.

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.

연구 동기 및 목표

• 그래픽스 텐서 네트워크 언어와 그 역사적 맥락을 소개한다.
• 도식적 표기를 통해 텐서 네트워크와 양자 회로 간의 연결 고리를 설명한다.
• 행렬 곱 상태(MPS)와 특정 양자 상태를 효율적으로 표현하는 데 있어 그 역할을 제시한다.
• 텐서 수축을 조합적 카운팅 문제를 해결하는 도구로 시연한다.
• 도식 프레임워크 내에서 와이어를 구부리기, 컵, 캡, 그리고 SVD와 같은 핵심 텐서 연산을 강조한다.

제안 방법

• 오픈 다리를 가진 레이블이 붙은 도형으로 텐서를 제시하고 수축을 와이어로 나타낸다.
• 도식 규칙을 사용해 와이어 구부리기(컵/캡)와 교차(SWAP)와 같은 연산을 수행한다.
• 도식적 SVD를 도입하고 이것이 Schmidt 분해 및 MPS 표현을 얻는 데의 역할를 설명한다.
• 양분마다 순차적으로 SVD를 적용하고 결과를 묶어가며 행렬 곱 상태를 구축하는 방법을 보여준다.
• 텐서 네트워크가 수렴 수축을 통해 카운팅 문제를 어떻게 계산하는지, Penrose의 수축 기법을 포함하여 시연한다.

실험 결과

연구 질문

• RQ1 텐서 네트워크를 사용해 양자 상태, 회로, 수축을 시각적이고 대수적으로 어떻게 표현할 수 있는가?
• RQ2 도식적 SVD의 역할은 MPS 같은 효율적인 상태 표현을 구축하는 데 어떤가?
• RQ3 도식 조작(컵, 캡, SWAP)이 표준 선형대수 연산 및 불변량과 어떻게 관련되는가?
• RQ4 텐서 수축이 어떻게 조합 객체를 계산하고 Penrose’s contraction과 같은 알려진 알고리즘과 연결될 수 있는가?
• RQ5 얽힘 특성이 텐서 네트워크 표현에서 토폴로지 및 Schmidt 계수와 어떻게 연결되는가?

주요 결과

• 텐서 네트워크는 규칙적인 구조와 수축 스킴을 통해 특정 양자 상태를 효율적으로 근사적으로 표현한다.
• 행렬 곱 상태는 얽힘이 제한될 때 1D 상태 표현을 컴팩트하게 가능하게 하며, 결합 차원(bond dimension)이 한정될 때 당사자 수에 선형으로 비용이 증가한다.
• 도식적 SVD는 Schmidt 분해를 산출하고 MPS 구성 및 Eckart–Young–Mirsky 원리에 따른 축소를 뒷받침한다.
• 와이어를 구부리고 교차하는 행위(컵, 캡, SWAP)는 인덱스 변환과 맵-상태 이중성을 만들어 상태와 연산자를 통일한다.
• epsilon/텐서 도구 및 CNOT/COPY/XOR 관계는 일반적인 양자 게이트를 텐서 네트워크 언어에서 구현하고 분석하는 방법을 보여준다.
• 도식적 기법은 양자 회로, 얽힘 불변량, 상태 표현 사이를 잇고 개념적이면서도 계산적인 통찰을 가능하게 한다.