[논문 리뷰] Improved Soundness for QMA with Multiple Provers

Alessandro Chiesa, Michael A. Forbes|arXiv (Cornell University)|2011. 08. 10.

Cryptography and Data Security참고 문헌 21인용 수 6

한 줄 요약

이 논문은 PCP 구성에 의존하지 않고도 NP-완전 문제에 대한 두 프로버를 갖는 양자 멜린-아서트(QMA) 프로토콜의 타당성 분석을 향상시켜, 최적의 타당성 갭 Ω(N⁻²)을 달성한다. 또한 κ 프로버로 일반화하여 κ ∈ Ω(log N)일 때 타당성 갭이 Ω(κ²N⁻¹)이 되는 매끄러운 무결성 상호작용을 도출함으로써, PCP 기반 구성에 의한 부분선형 다중프로버 QMA 프로토콜에 대한 열린 문제를 해결한다.

ABSTRACT

We present three contributions to the understanding of QMA with multiple provers: 1) We give a tight soundness analysis of the protocol of [Blier and Tapp, ICQNM '09], yielding a soundness gap Omega(1/N^2). Our improvement is achieved without the use of an instance with a constant soundness gap (i.e., without using a PCP). 2) We give a tight soundness analysis of the protocol of [Chen and Drucker, ArXiV '10], thereby improving their result from a monolithic protocol where Theta(sqrt(N)) provers are needed in order to have any soundness gap, to a protocol with a smooth trade-off between the number of provers k and a soundness gap Omega(k^2/N), as long as k>=Omega(log N). (And, when k=Theta(sqrt(N)), we recover the original parameters of Chen and Drucker.) 3) We make progress towards an open question of [Aaronson et al., ToC '09] about what kinds of NP-complete problems are amenable to sublinear multiple-prover QMA protocols, by observing that a large class of such examples can easily be derived from results already in the PCP literature - namely, at least the languages recognized by a non-deterministic RAMs in quasilinear time.

연구 동기 및 목표

• PCP 구성에 의존하지 않고 2CSP에 대한 Blier-Tapp QMA 프로토콜의 타당성 갭을 향상시키는 것.
• Chen-Drucker 프로토콜에 대해 타당성 분석을 엄밀하게 수행하여 프로버 수 κ와 타당성 갭 사이의 매끄러운 상호작용을 가능하게 하는 것.
• PCP 기반 구성에 의한 부분선형 다중프로버 QMA 프로토콜에 대한 열린 문제를 해결하기 위해, 많은 NP-완전 문제들이 이러한 구성에 적합함을 보여주는 것.

제안 방법

• 균일성과 간선 일致성 테스트에 기반한 새로운 기각 확률 추론을 사용하여 Blier-Tapp 프로토콜을 분석한다.
• Chen-Drucker 프로토콜에 대한 정교한 분석을 적용하여, 벨 측정과 곱 테스트를 활용해 타당성을 κ와 N에 따라 제한한다.
• 비결합 상태의 기각 확률을 제한하기 위해, 만족 불가능한 그래프에서 색칠 기반 감소를 사용한다.
• 정점 레지스터의 국소 상태가 균일에 가까운지를 보장하기 위해 균일성 테스트를 도입하여 타당성 강화를 가능하게 한다.
• 간선 일치성, 색 일치성, 스왑 테스트의 기각 확률을 통합하여 타당성 하한을 하나의 기준으로 통합한다.
• 고전적 PCP 문헌의 결과를 활용하여, 준선형 시간 내에 비결정적 RAM으로 결정 가능한 언어들이 부분선형 다중프로버 QMA 프로토콜을 갖는다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 PCP 구성에 의존하지 않고 Blier-Tapp 프로토콜의 타당성 갭을 향상시킬 수 있는가?
• RQ2 Chen-Drucker 프로토콜에서 프로버 수 κ와 타당성 갭 사이의 최적의 상호작용은 무엇인가?
• RQ3 LOCC 검증 하에서 어떤 NP-완전 문제들이 부분선형 다중프로버 QMA 프로토콜에 적합한가?
• RQ4 상수 타당성과 O(√N) 총 큐비트를 갖는 이중프로버 QMA 프로토콜에 대해, 타당한 상한이 존재하는가?
• RQ5 PCP 기반 구성은 부분선형 다중프로버 QMA 프로토콜에 적합한 넓은 범위의 NP-완전 문제를 도출할 수 있는가?

주요 결과

• Blier-Tapp 프로토콜의 타당성 갭은 PCP 사용 없이도 Ω(N⁻²)로 향상되어 엄밀한 하한을 확보한다.
• Chen-Drucker 프로토콜의 경우, 프로버 수 κ ∈ Ω(log N)일 때 타당성 갭이 Ω(κ²N⁻¹)이며, κ ∈ Θ(√N)일 때 최적의 스케일링을 달성한다.
• κ = 2일 때, 프로토콜은 타당성 갭 Ω(N⁻²)을 달성하며, 개선된 Blier-Tapp 결과와 일치한다.
• 논문은 비결정적 RAM이 준선형 시간 내에 결정할 수 있는 언어들이 모두 부분선형 다중프로버 QMA 프로토콜을 갖는다는 것을 보여줌으로써 열린 문제를 해결한다.
• 벨 측정만을 사용하고 얽힘 연산을 피하는 새로운 프로토콜을 구성하여 완전성은 완벽하고 타당성 갭은 Ω(κ²N⁻¹)을 확보한다.
• 분석을 통해 Chen-Drucker 프로토콜의 타당성이 엄밀하며, 동일한 조건 하에서는 더 이상 향상될 수 없음을 확인한다.