[논문 리뷰] Quantum Merlin-Arthur and Proofs Without Relative Phase

Roozbeh Bassirian, Bill Fefferman외 1명|arXiv (Cornell University)|2023. 06. 23.

Quantum Mechanics and Applications인용 수 2

한 줄 요약

이 논문은 상대 위상이 없는(상대 위상이 없는) 양자 멜린-아르투어(QMA)의 변종인 QMA+를 조사한다. 상대 위상의 부재가 양자 증명의 힘에 미치는 영향을 분석한 결과, 상대 위상은 메르린의 속임수 능력의 핵심 요소이며, 양자 얽힘보다 더 중요한 역할을 한다는 것을 입증한다. 특히, 상수 갭을 가진 QMA+는 갭 매개변수에 따라 QMA 또는 NEXP와 동일할 수 있으며, 이는 EXP ≠ NEXP이면 QMA+는 증폭이 불가능하다는 결과를 유도한다.

ABSTRACT

We study a variant of QMA where quantum proofs have no relative phase (i.e. non-negative amplitudes, up to a global phase). If only completeness is modified, this class is equal to QMA [arXiv:1410.2882]; but if both completeness and soundness are modified, the class (named QMA+ by Jeronimo and Wu) can be much more powerful. We show that QMA+ with some constant gap is equal to NEXP, yet QMA+ with some *other* constant gap is equal to QMA. One interpretation is that Merlin's ability to "deceive" originates from relative phase at least as much as from entanglement, since QMA(2) $\subseteq$ NEXP.

연구 동기 및 목표

• 상대 위상이 없는(즉, 상대 위상이 없는) QMA의 변종인 QMA+의 복잡도를 조사하는 것.
• 상대 위상 제약이 양자 증명 체계의 능력에 영향을 미치는지 여부를 규명하는 것.
• QMA+의 능력이 완전성-음성 갭에 따라 달라지는지 탐구하는 것.
• 양자 계산의 난이도에서 상대 위상과 얽힘의 역할을 명확히 하는 것.

제안 방법

• 비음성 위상 상태를 가진 단일 양자 증명을 사용하여 NEXP-완전 문제에 대한 QMA+ 프로토콜을 제안한다.
• 특정 증명 구조를 강제하는 스퍼시티 테스트를 설계한다: 1/√R ∑_{j∈[R]} |j⟩|v_j⟩ 형태의 두 번째 큐비트가 상수 크기인 상태.
• 다중 증명에 의존하지 않고 스왑 테스트와 진폭 추정을 사용하여 증명 구조를 검증한다.
• 프omise 갭 증폭 기법을 적용하여, 특정 갭을 가진 QMA+가 QMA와 동일하다는 것을 보인다.
• 모든 양자 상태는 상수 요소의 비음성 위상 상태로 근사 가능하며, 이는 음성 분석에 유리하다.
• 비음성 위상 상태에서 |+⟩^⊗m과의 중첩은 ℓ1 노름의 2^{-m/2} 배와 같다.

실험 결과

연구 질문

• RQ1 상수 갭을 가진 QMA+는 NEXP와 동일한가? 만약 그렇다면 어떤 조건에서 성립하는가?
• RQ2 상대 위상만 제약을 둔다면, QMA를 초월하는 양자 증명 체계의 능력이 증가하는가?
• RQ3 왜 일부 갭에서는 QMA+가 NEXP와 동일한 반면 다른 갭에서는 QMA와 동일한가? 이 이분화 현상의 이유는 무엇인가?
• RQ4 EXP ≠ NEXP이면 QMA+의 증폭이 가능한가? 이는 상대 위상의 역할에 대해 어떤 함의를 갖는가?

주요 결과

• 일부 상수 갭을 가진 QMA+는 NEXP와 동일하며, 이는 상대 위상 제약이 최대 수준의 계산 능력을 낳을 수 있음을 보여준다.
• 다른 상수 갭을 가진 QMA+는 QMA와 동일하며, 이는 QMA+가 갭 매개변수의 선택에 민감함을 시사한다.
• EXP ≠ NEXP이면 QMA+는 증폭이 불가능하며, 그렇지 않으면 QMA와 NEXP 사이의 붕괴가 발생할 것이다.
• 이 증명은 다중 증명 스퍼시티 테스트를 대체하여 단일 비음성 위상 증명에 대한 강성 테스트를 기반으로 한다.
• 모든 양자 상태는 비음성 위상 상태로 근사 가능하며, 이 경우 QMA+의 수용 확률은 원래 음성 확률의 최대 4배 이내로 제한되므로 음성 감소가 가능하다.
• 결과적으로 상대 위상가 얽힘보다 메르린의 속임수 능력에 더 중요한 역할을 함을 시사하며, QMA(2) ⊆ NEXP 이지만 상수 갭을 가진 QMA+는 NEXP에 도달할 수 있음을 보여준다.