[논문 리뷰] Quantum Arthur-Merlin Games

Chris Marriott, John Watrous|ArXiv.org|2005. 06. 15.

Quantum Computing Algorithms and Architecture참고 문헌 23인용 수 5

한 줄 요약

이 논문은 아서가 공개 랜덤성을 사용하고 멜린이 양자 메시지를 전송하는 고전적 상호작용 증명 체계의 양자 변종인 양자 아서-멜린 게임을 소개한다. 한 메시지만 있는 양자 아서-멜린 게임(QMA)에서 오류를 소통 길이를 늘리지 않고 지수적으로 감소시킬 수 있음을 증명하며, QMA ⊆ PP 및 로그 길이의 양자 증거가 BQP를 초월하는 계산 능력을 제공하지 않는 등의 핵심 결과를 이끌어낸다.

ABSTRACT

This paper studies quantum Arthur-Merlin games, which are Arthur-Merlin games in which Arthur and Merlin can perform quantum computations and Merlin can send Arthur quantum information. As in the classical case, messages from Arthur to Merlin are restricted to be strings of uniformly generated random bits. It is proved that for one-message quantum Arthur-Merlin games, which correspond to the complexity class QMA, completeness and soundness errors can be reduced exponentially without increasing the length of Merlin's message. Previous constructions for reducing error required a polynomial increase in the length of Merlin's message. Applications of this fact include a proof that logarithmic length quantum certificates yield no increase in power over BQP and a simple proof that QMA is contained in PP. Other facts that are proved include the equivalence of three (or more) message quantum Arthur-Merlin games with ordinary quantum interactive proof systems and some basic properties concerning two-message quantum Arthur-Merlin games.

연구 동기 및 목표

• 아서가 공개 랜덤성을 사용하고 멜린이 양자 메시지를 전송하는 양자 아서-멜린 게임을 체계화하여, 고전적 AM 복잡도를 양자 영역으로 확장한다.
• 아서의 메시지가 유일하게 균일하게 생성된 랜덤 비트일 조건 하에서, 양자 상호작용 증명 체계의 능력과 구조를 조사한다.
• QMA에서 오류 감소 문제를 해결하여, 완전성 및 타당성 오류를 메르린의 양자 메시지 길이를 늘리지 않고 지수적으로 감소시킬 수 있음을 보인다.
• QMA ⊆ PP 및 다중 메시지 양자 아서-멜린 게임과 양자 상호작용 증명 체계 간의 새로운 복잡도 클래스 관계를 확립한다.
• 오류 감소 기법이 양자 증거의 능력과 BQP 및 QMA 간의 관계에 끼치는 영향을 탐구한다.

제안 방법

• 아서의 메시지가 공개 랜덤 비트이고 멜린이 양자 상태를 전송할 수 있는 양자 상호작용 증명 체계로서의 양자 아서-멜린 게임을 정의한다.
• 양자 상태의 유사도와 Fuchs-van de Graaf 부등식을 사용하여, 한 메시지만 있는 프로토콜에서 타당성 오류를 유한하게 제한하며, 양자 연산과 밀도 행렬의 성질을 활용한다.
• QMAM(세 메시지 양자 아서-멜린 게임)에 대해 병렬 반복 프로토콜을 구성하여 타당성 오류를 지수적으로 감소시키며, 기존의 양자 상호작용 증명 체계 결과에 기반한다.
• 다항수의 메시지를 갖는 임의의 양자 아서-멜린 게임이 병렬화를 통해 세 메시지 양자 상호작용 증명 체계로 변환될 수 있음을 증명함으로써, 세 메시지 양자 아서-멜린 게임과 동등한 계산 능력을 가짐을 보인다.
• 오류 감소 기법을 적용하여, 임의의 다항식 r에 대해 QIP = QMAM(1, 2^(-r))임을 보이며, 이는 QIP가 지수적으로 작은 오류를 갖는 한 메시지 양자 아서-멜린 게임으로 시뮬레이션될 수 있음을 시사한다.
• 양자 증거 모델을 사용하여, 오류 감소가 메시지 크기를 늘리지 않더라도 가능하므로, 로그 길이의 양자 증거가 BQP의 능력을 초월하지 않음을 보인다.

실험 결과

연구 질문

• RQ1 한 메시지만 있는 양자 아서-멜린 게임(QMA)에서 멜린의 양자 메시지 길이를 늘리지 않고 오류를 지수적으로 감소시킬 수 있는가?
• RQ2 QMA가 AM에 포함되지 않거나, QAM이 PH에 포함되지 않는 오라클이 존재하는가? 이는 BQP 대비 PH의 관계를 밝혀낸다.
• RQ3 ‘거의-NP = AM’의 양자 버전, 즉 ‘거의-QMA = QAM’이 성립하는가?
• RQ4 세 메시지 이상의 양자 아서-멜린 게임은 세 메시지 양자 상호작용 증명 체계와 동등한 계산 능력을 갖는가?
• RQ5 이 논문에서 개발한 오류 감소 기법을 사용하여 QMA가 PP에 포함됨을 보일 수 있는가?

주요 결과

• 이전의 구성에서 메시지 길이가 다항식적으로 증가해야 했던 한계를 해결하기 위해, QMA에서 오류를 멜린의 양자 메시지 길이를 늘리지 않고 지수적으로 감소시킬 수 있다.
• QMA는 PP에 포함되며, 이는 QMA에서의 지수적 오류 감소에 기반한 간단한 증명을 통해 확립된다.
• 로그 길이의 양자 증거는 오류 감소가 메시지 크기를 늘리지 않기 때문에 BQP의 계산 능력을 초월하지 않는다.
• 세 메시지 이상의 양자 아서-멜린 게임은 병렬화 기법 덕분에 세 메시지 양자 상호작용 증명 체계와 동등한 계산 능력을 갖는다.
• QIP에 속하는 임의의 언어는 완전성가 정확하고 타당성 오류가 2^(-r)인 세 메시지 양자 아서-멜린 게임으로 표현 가능하며, 이는 QIP = QMAM(1, 2^(-r))임을 시사한다.
• QMAM 프로토콜에서 병렬 반복에 따라 타당성 오류가 지수적으로 감소하며, 멜린이 반복 간 전략을 얽매이지 않아도 된다.