[논문 리뷰] Quantum computation and the evaluation of tensor networks

Itai Arad, Zeph Landau|arXiv (Cornell University)|2008. 05. 01.

Quantum Computing Algorithms and Architecture참고 문헌 28인용 수 7

한 줄 요약

이 논문은 주어진 척도에서 텐서 네트워크의 값을 가법적으로 근사하는 양자 알고리즘을 제시하며, 텐서 네트워크 평가를 양자 계산의 완전 문제로 설정한다. 유니터리 게이트를 텐서로 대체하고 시간을 수축 순서에 따라 인코딩함으로써 양자 회로를 텐서 네트워크로 재해석함으로써, 통계역학 모델의 분할 함수를 근사하는 데 새로운 양자 알고리즘을 가능하게 하고, 존스 다항식과 투트 다항식에 대한 기존의 양자 알고리즘을 통합적인 시각으로 재정의한다.

ABSTRACT

We present a quantum algorithm that additively approximates the value of a tensor network to a certain scale. When combined with existing results, this provides a complete problem for quantum computation. The result is a simple new way of looking at quantum computation in which unitary gates are replaced by tensors and time is replaced by the order in which the tensor-network is "swallowed". We use this result to derive new quantum algorithms that approximate the partition function of a variety of classical statistical mechanics models, including the Potts model.

연구 동기 및 목표

• 주어진 척도에서 텐서 네트워크 값의 가법적 근사를 제공하는 양자 알고리즘을 제시함으로써, 텐서 네트워크 평가를 양자 계산의 완전 문제로 설정한다.
• 시간을 수축 순서에 따라 인코딩함으로써, 유니터리 게이트를 텐서로 대체하는 방식으로 양자 계산을 텐서 네트워크의 관점에서 재정의한다.
• q-상태 통계역학 모델의 분할 함수를 근사하는 데 새로운 양자 알고리즘을 유도한다. 이는 푸츠 모델을 포함한다.
• 존스 다항식과 투트 다항식에 대한 알려진 양자 알고리즘들을 텐서 네트워크 프레임워크 내에서 재구성함으로써, 기하학적 및 개념적 통찰을 제공한다.
• 최적의 텐서 네트워크 수축 순서의 계산 복잡도를 탐구하고, 양자 계산에서 보편적인 텐서 집합의 가능성을 고려한다.

제안 방법

• 각 게이트가 텐서에 대응하고 큐비트 선이 텐서 인덱스에 대응하는 방식으로 양자 회로를 텐서 네트워크로 표현한다.
• 텐서 네트워크의 값을 모든 변 색채우기의 곱의 합으로 정의하며, 이는 흔히 추적과 유사한 수축에 해당한다.
• 양자 확률 추정과 제어 수축을 사용하여 텐서 네트워크 값의 가법 근사를 수행하는 양자 알고리즘을 설계한다.
• 텐서 네트워크의 구조를 활용하여 양자 회로를 시뮬레이션하고, 분할 함수 표현을 통해 푸츠 모델과 같은 물리적 모델로 매핑한다.
• 텐서 네트워크 프레임워크를 활용하여 알려진 존스 다항식 및 투트 다항식 알고리즘을 구조화된 네트워크에서의 추적 평가로 재해석한다.
• 수축 순서가 텐서 네트워크 평가에서 차지하는 역할을 분석하여, 다양한 순서가 계산 효율성에 상당한 영향을 미칠 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 가법 근사 하에서 텐서 네트워크 평가는 양자 계산의 완전 문제로 작용할 수 있는가?
• RQ2 표준 양자 회로 모델은 시간을 수축 순서에 따라 인코딩함으로써 어떻게 텐서 네트워크로 재정의될 수 있는가?
• RQ3 주어진 텐서 네트워크에 대해 최적의 수축 순서를 찾는 데 필요한 계산 복잡도는 무엇인가?
• RQ4 텐서 네트워크 프레임워크는 존스 다항식과 투트 다항식과 같은 위상적 불변량에 대한 양자 알고리즘의 복잡도에 새로운 통찰을 제공할 수 있는가?
• RQ5 제안된 알고리즘의 물리적 통계역학 모델에 대한 근사 척도는 무엇이며, 기존의 고전적 방법과 비교해 볼 때 어떤가?

주요 결과

• 논문은 텐서 네트워크 값의 가법 근사가 BQP에 대해 완전 문제임을 입증하며, 양자 계산의 새로운 특성화를 제공한다.
• 제안된 양자 알고리즘은 푸츠 모델을 포함한 임의의 q-상태 통계역학 모델의 분할 함수를 가법적으로 근사한다.
• 일부 비물리적 통계역학 모델에 대해서는 근사 척도가 충분히 작아 BQP-완전 문제를 해결할 수 있으며, 이는 비트라이벌한 양자 우월성을 시사한다.
• 텐서 네트워크 프레임워크는 양자 회로를 기하학적이고 직관적으로 재해석할 수 있게 하며, 유니터리 게이트를 텐서로 대체하고 시간을 수축 순서로 표현한다.
• 알고리즘의 성능은 수축 순서의 선택에 따라 달라지므로, 이 순서의 조합 최적화가 효율성에 매우 중요하다는 것을 시사한다.
• 이 프레임워크는 존스 다항식 및 투트 다항식에 대한 기존 알고리즘을 자연스럽게 수용하며, 이들이 텐서 네트워크 평가의 특수한 경우임을 보여준다.