[논문 리뷰] Quantum Multi Prover Interactive Proofs with Communicating Provers

Michael Ben-Or, Avinatan Hassidim외 1명|ArXiv.org|2008. 06. 24.

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

한 줄 요약

이 논문은 두 개의 양자 검증자와 양자 메시지를 통해 상호작용하지만 양자 메시지를 통해 상호작용하는 양자 다중검증자 상호검증 체계를 제안한다. 양측의 검증자가 양자 얽힘을 공유하지 않지만 무제한의 고전적 통신을 가능하게 하며, 이로 인해 완전한 완전성과 일정한 음성 갭을 달성한다. 이는 NEXP에 속하는 임의의 언어를 두 번의 라운드와 로그 크기의 양자 통신으로 효율적으로 검증할 수 있게 하며, 음성 갭을 확보하기 위해 양자 얽힘의 열화를 음성 메커니즘으로 활용한다.

ABSTRACT

Multi Prover Interactive Proof systems (MIPs)were first presented in a cryptographic context, but ever since they were used in various fields. Understanding the power of MIPs in the quantum context raises many open problems, as there are several interesting models to consider. For example, one can study the question when the provers share entanglement or not, and the communication between the verifier and the provers is quantum or classical. While there are several partial results on the subject, so far no one presented an efficient scheme for recognizing NEXP (or NP with logarithmic communication), except for [KM03], in the case there is no entanglement (and of course no communication between the provers). We introduce another variant of Quantum MIP, where the provers do not share entanglement, the communication between the verifier and the provers is quantum, but the provers are unlimited in the classical communication between them. At first, this model may seem very weak, as provers who exchange information seem to be equivalent in power to a simple prover. This in fact is not the case - we show that any language in NEXP can be recognized in this model efficiently, with just two provers and two rounds of communication, with a constant completeness-soundness gap.

연구 동기 및 목표

• 양자 다중검증자 상호검증 체계의 계산 능력을 조사한다. 이 체계에서는 검증자가 양자 얽힘을 공유하지 않지만 고전적 통신을 통해 상호작용할 수 있다.
• 이러한 모델이 검증자 간의 고전적 통신을 통해 협력할 수 있음에도 불구하고, NEXP에 속하는 언어를 효율적으로 식별할 수 있는지 판단한다.
• 검증자와 검증자 간의 얽힘 열화를 기반으로 한 음성 증명을 수립한다. 통신의 한계가 아니라 얽힘의 열화가 음성 메커니즘으로 작용한다.
• 양자 증명 체계의 강건성을 다양한 제약 조건 하에서 평가하기 위해, 얽힌 검증자 모델과 통신 금지 검증자 모델 간의 이중성에 대해 탐색한다.

제안 방법

• 검증자는 두 개의 고전적 쿼리를 초월한 양자 상태로 표현한 초위상 상태를 전송하여 위상 일관성을 유지한다.
• 검증자는 양자 메시지를 수신하지만, 고전적 통신을 통해 검증자 간의 답변을 조율하는 데 활용하며, 양자 얽힘 감시를 통해 이를 탐지한다.
• 음성은 도용 전략이 검증자와 검증자 간의 얽힘을 일정량 감소시키며, 이는 일정한 확률로 감지 가능하다는 점을 통해 증명된다.
• 이론은 고전적 3SAT 프로토콜로 감소되며, 측정 결과의 확률적 분석을 통해 성공 확률의 경계를 유도한다.
• 주요 부등식과 경계는 정리 4.3과 실패 확률에 대한 보조정리들을 사용하여 유도되며, 이는 도용 전략이 높은 확률로 성공할 수 없음을 보장한다.
• 증명은 검증자들이 동시에 높은 확률로 성공할 수 없는 측정 결과 집합 R을 구성함으로써 이루어지며, 실패 확률과 얽힘 손실에 대한 경계를 사용한다.

실험 결과

연구 질문

• RQ1 NEXP는 검증자 간에 양자 얽힘이 없고 고전적 통신이 무제한으로 가능한 양자 MIP 모델에서 식별될 수 있는가?
• RQ2 검증자와 검증자 간에 양자 통신이 존재하고, 검증자 간 고전적 통신이 함께 존재할 때도 일정한 음성 갭과 완전한 완전성이 유지되는가?
• RQ3 양자 상호검증 체계에서 통신하는 검증자를 위한 음성 보장을 위해 양자 얽힘의 열화를 근본적인 메커니즘으로 사용할 수 있는가?
• RQ4 원래의 Raz 결과가 적용되지 않기 때문에, 통신하는 검증자를 갖는 양자 MIP에 대해 병렬 반복 보조정리가 존재하는가?
• RQ5 검증자들이 고전적 통신 채널 외에도 제한된 양자 얽힘을 갖는 경우 모델은 어떻게 행동하는가?

주요 결과

• 프로토콜은 완전한 완전성을 달성한다: x ∈ L 이면, 정직한 검증자 전략을 사용할 경우 검증자는 확률 1로 수락한다.
• 프로토콜은 일정한 음성 갭을 달성한다: x ∉ L 이면, 어떤 검증자 전략도 수락 확률이 고정된 상수 c < 1 이하로 유지된다.
• 검증자의 양자 메시지는 고전적 쿼리의 초위상 상태이며, 이를 측정하면 상태가 붕괴된다. 이를 도용하는 검증자는 탐지되지 않게 할 수 없다.
• 음성 증명은 도용 전략이 검증자와 검증자 간의 얽힘을 일정량 감소시키며, 이는 일정한 확률로 감지 가능하다는 점에 기반한다.
• 프로토콜은 오직 O(log N) 큐비트의 양자 통신만을 사용하여, 다항로그 크기의 통신으로 NP-완전 언어에 적합하다.
• EXP ≠ NEXP 라는 가정 하에 결과가 성립하며, 이는 이 모델이 고전적 검증자와 제한된 검증자를 갖는 고전적 모델보다 엄밀히 더 강력하다는 것을 의미한다.