[논문 리뷰] Quantum Versus Classical Proofs and Advice

Scott Aaronson, Greg Kuperberg|arXiv (Cornell University)|2006. 04. 10.

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

한 줄 요약

이 논문은 QMA와 QCMA 사이의 양자 오라클 분리를 확립하여, 특정 쿼리 복잡도 설정에서 양자 증거가 고전적 증거보다 우월함을 보여준다. 조건부로 고전적 기술과 양자 오라클을 갖춘 상태에서도, 마킹된 n-qubit 상태를 찾는 데 최소 Ω(√(2ⁿ/(m+1))) 쿼리가 필요하다는 하한을 증명하고, 이 하한에 거의 도달하는 QCMA 프로토콜을 제시한다. 또한 이전에 양자 증거가 필요하다고 여겨졌던 군 소속 여부 문제에 대해 고전적 증거로도 충분함을 보여준다.

ABSTRACT

This paper studies whether quantum proofs are more powerful than classical proofs, or in complexity terms, whether QMA=QCMA. We prove three results about this question. First, we give a "quantum oracle separation" between QMA and QCMA. More concretely, we show that any quantum algorithm needs $Ω(\sqrt{2^n/(m+1)})$ queries to find an $n$-qubit "marked state" $\lvertψ angle$, even if given an $m$-bit classical description of $\lvertψ angle$ together with a quantum black box that recognizes $\lvertψ angle$. Second, we give an explicit QCMA protocol that nearly achieves this lower bound. Third, we show that, in the one previously-known case where quantum proofs seemed to provide an exponential advantage, classical proofs are basically just as powerful. In particular, Watrous gave a QMA protocol for verifying non-membership in finite groups. Under plausible group-theoretic assumptions, we give a QCMA protocol for the same problem. Even with no assumptions, our protocol makes only polynomially many queries to the group oracle. We end with some conjectures about quantum versus classical oracles, and about the possibility of a classical oracle separation between QMA and QCMA.

연구 동기 및 목표

• 양자 복잡도 이론에서 양자 증거(QMA)가 고전적 증거(QCMA)보다 더 강력한가를 조사하는 것.
• QMA = QCMA인지 여부에 대한 열린 문제를 해결하기 위해, 두 클래스가 다를 수 있는 상대화된 세계를 구성하는 것.
• BQP/qpoly 및 BQP/poly 클래스에서 양자적 고전적 조언의 능력을 분석하는 것.
• 군 소속 여부 문제와 같이 알려진 문제들에서 양자 증거가 지수적 우위를 제공하는지 조사하는 것.
• QMA와 QCMA 사이의 고전적 오라클 분리 가능성과 양자 오라클이 복잡도 분리에 미치는 역할을 탐색하는 것.

제안 방법

• 양자 오라클을 초상태에서 접근 가능한 유니터리 연산의 시퀀스로 일반화하여, 고전적 오라클을 일반화하는 개념을 도입한다.
• 마킹된 n-qubit 상태를 찾는 데 필요한 쿼리 하한을 Ω(√(2ⁿ/(m+1)))로 증명한다. 이는 m비트 고전적 기술과 양자 오라클이 상태를 인식하는 경우에도 성립한다.
• 이 하한에 거의 도달하는 QCMA 프로토콜을 구성하여, 이 설정에서 고전적 증거가 거의 최적임을 보여준다.
• 보수적 입력에 대해 유니터리 행렬이 취할 수 있는 서로 다른 값의 수를 제한하기 위해, 다항식 계수를 가진 유니터리 행렬을 활용하는 새로운 대수적 기법을 적용한다.
• 클리퍼드 대수의 구조와 반교환 관계를 이용하여 행렬 차이에 대한 제약 조건을 유도하고, 비영인 변형의 수에 대한 하한을 도출한다.
• k개의 변수에 대해 선형 다항식으로 구성된 항목을 가진 임의의 유니터리 행렬 U(X)는 {0,1}^k 위에서 최대 4^N개의 서로 다른 값을 가질 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 QMA와 QCMA 사이에 분리되는 양자 오라클이 존재하는가?
• RQ2 마킹된 상태 문제에서 고전적 증거(QCMA)가 양자 증거(QMA)와 동일한 쿼리 복잡도를 달성할 수 있는가?
• RQ3 이전에 QMA로만 해결된 군 소속 여부 문제에 대해, 합리적인 군 이론적 가정 하에 QCMA 프로토콜이 존재하는가?
• RQ4 보수적 입력에 대해 유니터리 행렬의 변동을 제한하는 데 사용된 기법이 다른 복잡도론적 분리 문제로 확장 가능한가?
• RQ5 QMA와 QCMA 사이에 고전적 오라클 분리가 존재하는가, 아니면 양자 오라클 접근이 필수적인가?

주요 결과

• QMA^U ≠ QCMA^U를 만족하는 양자 오라클 U가 존재하여, 두 클래스 사이에 양자 오라클 분리를 확립한다.
• 마킹된 n-qubit 상태를 찾는 데는, m비트 고전적 기술과 양자 오라클이 존재하더라도 최소 Ω(√(2ⁿ/(m+1)))의 쿼리가 필요하다.
• 이 하한에 거의 도달하는 QCMA 프로토콜을 구성하여, 이 설정에서 고전적 증거가 양자 증거와 거의 동등한 능력을 지닌다는 것을 보여준다.
• 군 소속 여부 문제에 대해, 합리적인 군 이론적 가정 하에 QCMA 프로토콜을 제시하며, 가정이 없더라도 군 오라클에 다항식 수준의 쿼리만 수행한다.
• k개의 변수에 대해 일차 복소다항식으로 구성된 항목을 가진 유니터리 행렬 U(X)가 {0,1}^k 위에서 취할 수 있는 서로 다른 값의 수는 최대 4^N개이며, 여기서 N은 행렬의 크기이다.
• 분석 결과, k비트 변형 중에서 최대 2N개만 비영일 수 있으며, 이는 U(X)가 입력 변수에 대해 실질적으로 영향을 받는 범위를 제한한다.