[논문 리뷰] An exact tensor network for the 3SAT problem

Artur García-Sáez, José I. Latorre|arXiv (Cornell University)|2012. 03. 01.

Quantum Computing Algorithms and Architecture참고 문헌 3인용 수 9

한 줄 요약

이 논문은 3SAT 인스턴스의 비정규화된 양자 상태를 인코딩하는 정확한 텐서 네트워크를 구축한다. 여기서 상태의 계수는 해에 대응한다. 네트워크의 수축은 해의 수를 계산하며, 이는 #P-완전 복잡도 클래스에 속하게 되고, 한 개의 해를 찾는 데는 변수 수에 대해 다항수의 국소 관측량 수축만 필요하다는 것을 보여준다.

ABSTRACT

We construct a tensor network that delivers an unnormalized quantum state whose coefficients are the solutions to a given instance of 3SAT, an NP-complete problem. The tensor network contraction that corresponds to the norm of the state counts the number of solutions to the instance. It follows that exact contractions of this tensor network are in the #P-complete computational complexity class, thus believed to be a hard task. Furthermore, we show that for a 3SAT instance with n bits, it is enough to perform a polynomial number of contractions of the tensor network structure associated to the computation of local observables to obtain one of the explicit solutions to the problem, if any. Physical realization of a state described by a generic tensor network is equivalent to finding the satisfying assignment of a 3SAT instance and, consequently, this experimental task is expected to be hard.

연구 동기 및 목표

• 3SAT 인스턴스의 모든 해를 비정규화된 양자 상태의 계수로 인코딩하는 텐서 네트워크 표현을 개발하는 것.
• 이 상태의 노름을 텐서 네트워크 수축을 통해 계산하면 해의 수를 세는 것이 가능하며, 이는 #P-완전 복잡도 클래스에 속하게 된다는 것을 보여주는 것.
• 해의 명시적 해를 구하기 위해 변수 수에 대해 다항수의 국소 관측량 수축만 필요하다는 것을 보여주는 것.
• 이러한 텐서 네트워크 상태를 물리적으로 실현하는 데의 복잡도를 규명하여, 3SAT를 푸는 데의 어려움과 연결짓는 것.

제안 방법

• 각 3SAT 절은 논리적 제약 조건을 인코딩하는 랭크-3 텐서로 표현되는 텐서 네트워크를 구성한다.
• 이 절 텐서들을 조합하여 전체 3SAT 인스턴스를 나타내는 글로벌 텐서 네트워크를 구성한다.
• 네트워크의 수축을 정의하여 인코딩된 양자 상태의 노름을 계산하며, 이는 만족할 수 있는 할당의 수와 동일하다.
• 특히 단일 큐비트 프로젝터의 기대값을 포함한 국소 관측량 수축을 사용하여 상태에서 개별 해를 추출한다.
• 텐서 네트워크의 구조를 활용하여, 해가 존재한다면 해를 식별하기 위해 다항수의 수축만 필요하다는 것을 보장한다.
• 이 구성에 대해 정확한 텐서 네트워크 수축의 계산 복잡도가 #P-완전하다는 것을 증명하며, 본질적인 어려움을 암시한다.

실험 결과

연구 질문

• RQ1 텐서 네트워크를 구성하여 그 수축이 3SAT 인스턴스의 해의 수를 산출할 수 있는가?
• RQ2 변수 수에 대해 다항수의 국소 수축만을 사용하여 텐서 네트워크 상태에서 단일 만족 가능한 할당을 추출할 수 있는가?
• RQ3 이 특정 텐서 네트워크 구조의 수축 계산 복잡도는 무엇인가?
• RQ4 텐서 네트워크 상태의 물리적 실현 방식은 3SAT를 푸는 데의 어려움과 어떻게 관련이 있는가?
• RQ5 텐서 네트워크 공식화를 사용하여 양자 상태 준비의 복잡도론적 하한을 설정할 수 있는가?

주요 결과

• 텐서 네트워크는 3SAT 인스턴스의 모든 해를 비정규화된 양자 상태의 계수로 인코딩한다.
• 텐서 네트워크의 수축은 해의 총 수를 계산하며, 이는 #P-완전 복잡도 클래스에 속하게 된다.
• 해를 한 개 찾는 데에는 변수 수에 대해 다항수의 국소 관측량 수축만 필요하다.
• 텐서 네트워크 상태의 물리적 준비 과정은 3SAT 인스턴스를 푸는 것과 계산적으로 동일하므로, 어려운 것으로 기대된다.
• 이 구성은 텐서 네트워크 수축 복잡도와 3SAT 해 수 계산의 #P-완전성 사이의 직접적인 연결을 수립한다.
• 이 방법은 양자 상태 준비가 NP-완전 문제를 푸는 것과 대응되는 공식적 프레임워크를 제공한다.