[논문 리뷰] Classical Verification of Quantum Proofs

Zhengfeng Ji|arXiv (Cornell University)|2015. 05. 27.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 양자 증거를 검증하기 위한 고전적 상호작용 프로토콜을 제시하며, 국소 해밀토니안 문제에 대한 양자 증거의 근사치를 역다항식 정밀도로 구하는 것이 QMA-난이도임을 입증한다. 이 작업은 양자 증거의 복잡성, 해밀토니안 복잡성, 그리고 얽힌 증거자와 양자 안정자 코드의 부분 강성에 기반한 QMA-완전성과 깊은 연결을 수립한다.

ABSTRACT

We present a classical interactive protocol that verifies the validity of a quantum witness state for the local Hamiltonian problem. It follows from this protocol that approximating the non-local value of a multi-player one-round game to inverse polynomial precision is QMA-hard. Our work makes an interesting connection between the theory of QMA-completeness and Hamiltonian complexity on one hand and the study of non-local games and Bell inequalities on the other.

연구 동기 및 목표

• 국소 해밀토니안 문제에 대한 양자 증거 상태를 검증하기 위한 고전적 상호작용 프로토콜을 개발한다.
• QMA-완전성, 해밀토니안 복잡성, 그리고 얽힌 증거자를 동반한 비국소 게임 간의 연결을 수립한다.
• 다중 플레이어 1라운드 게임의 비국소 값의 역다항식 정밀도 근사를 QMA-난이도임을 보인다.
• 일반 안정자 코드에 대해 특별한 플레이어를 지정한 비국소 게임의 강성 이론을 확장한다.

제안 방법

• 이 프로토콜은 얽힌 증거자와 함께 다중 증거자 1라운드 게임을 사용하며, 검증자는 비국소 상관관계를 통해 고전적으로 양자 증거를 검증한다.
• 특수 플레이어(t)를 포함한 일반화된 안정자 코드 게임을 사용하며, XZ형 생성자를 사용해 질문과 답변의 기댓값을 정의한다.
• 안정자 코드의 X 및 Z 생성자를 기반으로 t번째 큐비트에서 'π/4-기법'을 적용하여 네 개의 연산자 h₁⁽ᵗ⁾, h₂⁽ᵗ⁾, h₃⁽ᵗ⁾, h₄⁽ᵗ⁾을 생성한다.
• 질문은 {*, 0, 1, 2, 3}의 레이블로 인코딩되며, *는 질문이 없음을 의미하고, 답변은 비트이며 그 기댓값은 사전 정의된 부호와 일치해야 한다.
• 이 프로토콜은 부분 강성 정리에 의존하며, 최적에 가까운 양자 전략은 이상적인 양자 전략과 동형이어야 한다고 보여준다.
• 분석은 반사 연산 간의 상태에 의존하는 거리 측정법과 트레이스 부등식을 사용하여 이상 전략에서의 이격도를 제한한다.

실험 결과

연구 질문

• RQ1 고전적 통신과 얽힌 증거자를 사용하여, 고전적 검증자가 국소 해밀토니안 문제의 양자 증거 상태를 효율적으로 검증할 수 있는가?
• RQ2 다중 플레이어 1라운드 게임의 비국소 값의 역다항식 정밀도 근사를 QMA-난이도로 간주할 수 있는가?
• RQ3 양자 비국소 게임의 강성 이론을 특별한 플레이어를 지정한 일반 안정자 코드로 확장할 수 있는가?
• RQ4 얽힘은 고전 전략에 비해 더 높은 비국소 값 달성을 위해 어떤 역할을 하는가?

주요 결과

• 다중 플레이어 1라운드 게임의 비국소 값의 역다항식 정밀도 근사는 QMA-난이도이다.
• 특수 플레이어 안정자 게임은 부분 강성을 가지며, 임의의 최적에 가까운 양자 전략은 이상적인 양자 전략과 동형이어야 한다.
• 이 프로토콜은 고전적 검증자를 사용해 얽힌 비국소 게임을 통해 양자 증거를 검증하며, QMA와 비국소 게임 복잡성 간의 다리를 놓는다.
• 분석 결과, 반사 연산과 이상 전략 간의 상태에 의존하는 거리가 (1 + Cₗ)²의 기댓값의 제곱근으로 제한되며, 이는 타당성을 보장한다.
• 이 구성은 거리 ≥2이고 고정되지 않은 큐비트를 가진 임의의 안정자 코드로 5큐비트 코드 게임을 일반화한다.
• 이 방법은 얽힌 증거자에 대해 다중선형성 테스트가 타당함을 증명하며, NEXP ⊆ MIP*의 포함성을 뒷받침한다.