[논문 리뷰] Short Multi-Prover Quantum Proofs for SAT without Entangled Measurements

Jing Chen, Andrew Drucker|arXiv (Cornell University)|2010. 11. 02.

Quantum Information and Cryptography참고 문헌 14인용 수 19

한 줄 요약

이 논문은 3-SAT에 대한 BellQMA 프로토콜을 제안하며, $\tilde{O}(\text{poly}(\text{poly}(m)))$명의 멀린이 각각 $O(\log m)$ 큐비트를 전송하고, 완전성 $1 - \exp(-\Omega(\sqrt{m}))$와 일정한 사운드니스 갭을 달성한다. 이 프로토콜은 얽힌 측정을 피하여 이전 연구보다 분석이 간단하며, 증명 길이와 사운드니스 파rameter는 그대로 유지한다.

ABSTRACT

BellQMA protocols are a subclass of multi-prover quantum Merlin-Arthur protocols in which the verifier is restricted to perform nonadaptive,unentangled measurements on the quantum states received from each Merlin. In this paper, we prove that m-clause 3-SAT instances have BellQMA proofs of satisfiability with constant soundness gap, in which O(sqrt(m)polylog(m)) Merlins each send O(log m) qubits to Arthur. Our result answers a question of Aaronson et al., who gave a protocol with similar parameters that used entangled measurements; the analysis of our protocol is significantly simpler than that of Aaronson et al. Our result also complements recent work of Brandao, Christandl, and Yard, who showed upper bounds on the power of multiprover quantum proofs with unentangled but adaptive (LOCC) measurements.

연구 동기 및 목표

• 짧은 다중-증인 양자 증명에서 얽힌 측정이 필수적인지 여부를 규명하기 위해.
• 일정한 사운드니스 갭과 비선형 증명 길이를 갖는 3-SAT에 대한 벨QMA 프로토콜을 구성하기 위해.
• 이전 프로토콜의 분석을 단순화하기 위해, 얽힌(스왑 테스트) 측정에 의존한 것과 비교하여.
• 점차 증가하는 $k$에 대해 LOCCQMA 및 벨QMA에 대한 최근 부정적인 결과를 보완하기 위해.
• 비얽힌, 비적응형 측정이 NP-완전 문제에 대한 효율적인 양자 증명 체계를 위해 충분한지 보여주기 위해.

제안 방법

• Arthur에게 $\tilde{O}(\sqrt{m})$명의 비얽힌 멀린이 각각 $O(\log m)$-큐비트 상태를 전송하는 벨QMA 프로토콜을 설계한다.
• 각각 $n$개의 정점과 $m$개의 절이 있는 $d$-정규 그래프를 기반으로 한 정점 집합과 간선 제약 조건의 확률적 구성 방법을 사용한다.
• Arthur가 겹치는 정점 집합 간의 색상 일관성을 독립적이고 비적응형 측정을 통해 검증하는 검증 절차를 정의한다.
• 집중도 한계와 체비세프 부등식을 적용하여 간선 제약 조건에서 위반이 발생하지 않을 확률을 근사한다.
• 불일치하는 할당에 대해 위반된 절의 기대 수를 그래프의 확산성과 차수 한계를 활용하여 하한을 설정한다.
• $\varepsilon < \eta/20$ 및 $d > 1$라는 사실을 이용하여 $\mathbb{E}[V_{i,j}] \geq \varepsilon/n$의 하한을 유도함으로써, 비중요하지 않은 위반 확률이 보장된다.

실험 결과

연구 질문

• RQ1 3-SAT에 대한 짧은 다중-증인 양자 증명은 얽힌 측정 없이도 일정한 사운드니스 갭과 비선형 증명 길이를 유지하면서 구성될 수 있는가?
• RQ2 벨QMA 모델에서 효율적인 증명 체계를 달성하기 위해 스왑 테스트 또는 얽힌 측정이 필수적인가?
• RQ3 이전 프로토콜의 분석을 동일한 점근적 파라미터를 유지하면서 크게 단순화할 수 있는가?
• RQ4 비얽힌, 비적응형 측정을 갖는 벨QMA 프로토콜은 NP-완전 문제에 대해 어떤 능력을 갖는가?
• RQ5 측정이 비얽힌 및 비적응형으로 제한될 경우, 증명 길이가 절의 수 $m$에 따라 어떻게 변화하는가?

주요 결과

• 프로토콜은 완전성 $1 - \exp(-\Omega(\sqrt{m}))$와 사운드니스 $1 - \Omega(1)$을 달성하며, 이는 이전 프로토콜의 사운드니스 갭과 일치한다.
• 멀린의 수는 $\tilde{O}(\sqrt{m})$이며, 각각 $O(\log m)$ 큐비트를 전송하여 총 증명 길이가 비선형이 된다.
• 프로토콜은 완전히 얽힌 측정을 피하며, 비얽힌, 비적응형 측정에만 의존하여 분석을 단순화한다.
• 위반된 절의 기대 수는 $\Omega((m')^2 / n)$로 하한이 보장되며, 여기서 $m' = \Theta(\sqrt{n})$이므로 고확률 탐지 가능성이 보장된다.
• 체비세프 부등식을 사용하여 $m' = \Theta(\sqrt{n})$일 때 $\Pr[V = 0] \leq 0.01$임을 보여, 높은 확률로 사운드니스가 성립함을 증명한다.
• 결과적으로, 벨QMA 모델에서 3-SAT의 짧은 양자 증명을 위해 얽힌 측정이 필수적인 것은 아님을 시사한다.