[논문 리뷰] Quantum Merlin Arthur with Exponentially Small Gap

Bill Fefferman, Cedric Yen-Yu Lin|arXiv (Cornell University)|2016. 01. 08.

Quantum Computing Algorithms and Architecture참고 문헌 17인용 수 11

한 줄 요약

이 논문은 지수적으로 작은 약속 갭을 가진 양자 멜린-아서 증명 체계—표기로 QMA_exp—가 정확히 PSPACE를 특징지며, 역지수적 검증 갭을 가진 문제의 복잡도를 해결한다. 저자들은 이러한 양자 프로토콜이 어떤 PSPACE 문제도 해결할 수 있음을 보여주고, 지수적으로 작은 갭을 가진 정밀한 국소 해밀토니안 문제는 PSPACE-완전임을 증명함으로써 QMA_exp = PSPACE임을 증명한다. 이는 갭이 다항수준 이하로 줄어들면 QMA에서 PSPACE로의 복잡도 급격한 전이를 보여준다.

ABSTRACT

We study the complexity of QMA proof systems with inverse exponentially small promise gap. We show that this class can be exactly characterized by PSPACE, the class of problems solvable with a polynomial amount of memory. As applications we show that a "precise" version of the Local Hamiltonian problem is PSPACE-complete, and give a provable setting in which the ability to prepare PEPS states is not as powerful as the ability to prepare the ground state of general Local Hamiltonians.

연구 동기 및 목표

• 완전성-음성 갭이 지수적으로 작은 QMA 증명 체계의 계산 능력을 특징짓는 것.
• 약속 갭이 지수적으로 작은 경우에도 국소 해밀토니안 문제가 여전히 QMA-완전한가를 판단하는 것.
• 양자 오ракูล의 맥락에서 PEPS 상태와 일반적인 국소 해밀토니안 기저 상태의 계산 능력을 비교하는 것.
• 지수적으로 작은 약속 갭 하에서 국소 해밀토니안 문제의 정밀한 복잡도 분류를 수립하는 것.

제안 방법

• 저자들은 양방향 포함성을 보여줌으로써 QMA_exp = PSPACE임을 증명한다: PSPACE ⊆ QMA_exp는 지수적으로 작은 오차를 가진 양자 단계 추정 프로토콜을 통해 증명된다.
• 그들은 키타예프의 국소 해밀토니안 문제에 대한 QMA-완전성 증명을 변형하여, 지수적으로 작은 갭을 가진 정밀한 버전이 여전히 QMA_exp-완전하다는 것을 보였다.
• 증명은 단일 제어 큐비트를 사용한 단계 추정을 통해 지수적으로 작은 간격을 가진 해밀토니안의 0과 0이 아닌 고유값을 구분하는 데 사용된다.
• 핵심 기술적 요소는 다항 수준의 자원으로 오차가 2^{-poly(n)} 이하로 제한되는 e^{-iAt}의 효율적 구현으로, 이는 고정밀도 고유값 추정을 가능하게 한다.
• 저자들은 고전적 다항 공간에서 k-국소 해밀토니안의 기저 상태 에너지를 이진 탐색으로 계산함으로써, 에너지를 다항 정밀도로 계산하는 것이 FPSPACE-완전임을 보였다.
• PEPS 상태와 국소 해밀토니안 기저 상태에 대한 양자 오라클을 비교하여, 후자가 PP = PSPACE가 아닐 경우 엄밀히 더 강력함을 보였다.

실험 결과

연구 질문

• RQ1 지수적으로 작은 약속 갭을 가진 QMA_exp 클래스가 PSPACE와 동일한가?
• RQ2 지수적으로 작은 약속 갭을 가진 국소 해밀토니안 문제가 여전히 PSPACE-완전한가?
• RQ3 일부 국소 해밀토니안의 기저 상태인 PEPS 상태가 일반적인 국소 해밀토니안 기저 상태의 계산 능력을 시뮬레이션할 수 있는가?
• RQ4 PEPS에 대한 양자 오라클과 일반적인 국소 해밀토니안에 대한 오라클 간의 계산 능력 관계는 무엇인가?
• RQ5 PEPS 상태를 준비할 수 있는 능력만으로도 국소 해밀토니안 기저 상태를 사용할 수 있는 모든 문제를 해결할 수 있는가?

주요 결과

• 완전성-음성 갭이 지수적으로 작은 QMA 프로토콜로 검증 가능한 문제들로 이루어진 QMA_exp 클래스는 정확히 PSPACE와 동일하다.
• 간격 b−a > 2^{-poly(n)}인 정밀한 k-국소 해밀토니안 문제는 3 ≤ k ≤ O(log n)일 때 PSPACE-완전하다.
• k-국소 해밀토니안의 기저 상태 에너지를 다항 정밀도로 계산하는 것은 FPSPACE-완전 문제이다.
• QMA_exp = PSPACE 증명은 오직 다항 자원으로 지수적으로 작은 구분 능력을 달성하는 수정된 단계 추정 프로토콜에 의존한다.
• PP = PSPACE가 아닐 경우, PEPS 상태는 일반적인 국소 해밀토니안 기저 상태보다 엄밀히 더 계산 능력이 떨어진다.
• 국소 해밀토니안 문제의 복잡도는 다항 갭이 있을 땐 QMA-완전에서 지수적으로 작은 갭일 경우 PSPACE-완전으로 전이되며, 이는 복잡도의 급격한 임계점임을 시사한다.