[논문 리뷰] QMA/qpoly Is Contained In PSPACE/poly: De-Merlinizing Quantum Protocols

Scott Aaronson|ArXiv.org|2005. 10. 31.

Quantum Computing Algorithms and Architecture참고 문헌 14인용 수 15

한 줄 요약

이 논문은 양자 상태에 대한 존재적 양자화를 제거하는 새로운 기법을 제안하며, QMA에 다항 크기의 양자 조언을 추가한 클래스(QMA/qpoly)가 다항 크기의 고전적 조언을 가진 PSPACE(PSPACE/poly)에 포함됨을 증명한다. 주요 결과는 이 맥락에서 양자 조언이 고전적 조언보다 지수적 우월성을 제공하지 않음을 보여주며, 양자 복잡도 이론에서 근본적인 질문을 해결하고 최근의 결과들(예: QIP/qpoly = ALL)과 대비되는 통찰을 제공한다.

ABSTRACT

This paper introduces a new technique for removing existential quantifiers over quantum states. Using this technique, we show that there is no way to pack an exponential number of bits into a polynomial-size quantum state, in such a way that the value of any one of those bits can later be proven with the help of a polynomial-size quantum witness. We also show that any problem in QMA with polynomial-size quantum advice, is also in PSPACE with polynomial-size classical advice. This builds on our earlier result that BQP/qpoly is contained in PP/poly, and offers an intriguing counterpoint to the recent discovery of Raz that QIP/qpoly = ALL. Finally, we show that QCMA/qpoly is contained in PP/poly and that QMA/rpoly = QMA/poly.

연구 동기 및 목표

• 양자 조언이 양자 복잡도 클래스에서 고전적 조언보다 지수적 우월성을 제공하는지 여부를 해결하기 위해.
• 존재적 양자화를 제거하는 새로운 기법을 개발하여, 양자 프로토콜의 디머린라이제이션을 가능하게 하기 위해.
• QMA/qpoly ⊆ PSPACE/poly를 확립하여, 이 설정에서 양자 조언이 고전적 조언보다 더 많은 계산 능력을 제공하지 않음을 보여주기 위해.
• 양자 위증의 한계를 분석함으로써, 양자 증인과 고전적 또는 양자 조언 간의 상호작용을 연구하기 위해.
• 이러한 결과들이 QCMA/qpoly 및 QMA/rpoly와 같은 다른 복잡도 클래스에 미치는 영향을 탐색하기 위해.

제안 방법

• 양자 상태가 계산 기저 상태에 대한 그림자(shadows)를 통해 감지될 수 있다는 사실을 활용하여, 멀린의 양자 메시지를 고전적 메시지로 대체하는 디머린라이제이션 기법을 도입한다.
• 모든 양자 증인을 고전적 쿼리만으로 양자 검증자에 대한 효과를 시뮬레이션하기 위해 양자 강화 절차를 활용하며, 높은 확률로 정확성을 보장한다.
• 모든 고전적 기저 상태를 순환하는 카운터 기반 검증 프로토콜을 사용하여, 유효한 양자 증인이 존재하는지 여부를 감지한다.
• 수용 확률이 올바른 증인과 잘못된 증간 간에 분리되도록 보장하기 위해 양자 진폭 강화 및 오차 감소 기법을 적용한다.
• 모든 가능한 고전적 조언 문자열을 반복하며, 유한 오차 양자 회로를 사용해 양자 증거와의 일관성을 검증함으로써 QMA/qpoly 기계의 행동을 시뮬레이션하는 PSPACE 알고리즘을 구축한다.
• 거짓 양성 및 거짓 음성의 확률를 제한하기 위해 농도 경계 및 스펙트럼 분석(Lemma 14 및 Lemma 15 등)을 활용한다.

실험 결과

연구 질문

• RQ1 QMA 복잡도 클래스에서 양자 조언이 고전적 조언보다 지수적 우월성을 제공할 수 있는가?
• RQ2 QMA/qpoly에서 양자 증인을 고전적 조언과 PSPACE 기계만으로 시뮬레이션할 수 있는가?
• RQ3 QMA 프로토콜에서 양자 상태에 대한 존재적 양자화를 효과적으로 제거할 수 있는가? 이는 PSPACE에의 포함성을 이끌어낸다.
• RQ4 PSPACE 계산과 결합했을 때, 양자 조언의 능력이 고전적 조언으로 붕괴되는가?
• RQ5 양자 조언 크기의 하한을 Ω(2^n / n²)에서 Ω(2^n)으로 강화하여 로그 인자를 제거할 수 있는가?

주요 결과

• QMA/qpoly ⊆ PSPACE/poly이므로, 다항 크기의 양자 조언을 가진 양자 멀린-아서 프로토콜로 해결할 수 있는 모든 문제는 다항 크기의 고전적 조언을 가진 고전적 다항 공간 기계로도 해결 가능하다.
• 디머린라이제이션 기법을 통해 계산 기저 상태에 대한 양자 상태의 그림자를 활용하여 멀린의 양자 메시지를 고전적 메시지로 대체할 수 있다.
• 논문은 QCMA/qpoly ⊆ PP/poly를 확립하여 이 결과를 QCMA 설정으로 확장한다.
• QMA/rpoly = QMA/poly임을 보여주며, 조언에 랜덤성의 존재가 결정적 조언이 가능할 수 있는 것 이상의 능력을 제공하지 않음을 시사한다.
• 양자 조언 크기의 하한은 Ω(2^n / n²)이며, 이는 이 맥락에서 양자 조언이 고전적 조언보다 초다항적 우월성을 제공하지 않음을 시사한다.
• 이 결과는 QIP/qpoly = ALL임을 보여준 레즈의 결과와 대비되며, 양자 조언이 모든 양자 상호작용 증명 체계에서 동일한 붕괴를 유도하지는 않음을 시사한다.