[논문 리뷰] Oracularization and Two-Prover One-Round Interactive Proofs against Nonlocal Strategies

Tsuyoshi Ito, Hirotada Kobayashi외 1명|ArXiv.org|2008. 10. 03.

Cryptography and Data Security참고 문헌 19인용 수 4

한 줄 요약

이 논문은 둘의 증거자 간에 사전 양자 얽힘이 있거나 무신호 전략을 사용하는 경우에도 안정성을 유지하는 두 증거자 한 라운드 상호작용 증명 체계의 두 가지 새로운 구성법을 제시한다. 이는 더미 질문을 사용한 오라클화 기법을 활용하여 이루어지며, PSPACE와 NEXP는 양자 도용 상황에서도 완벽한 완전성과 지수적으로 작은 안정성 오차를 갖는 체계를 갖는다. 이는 다중 증거자 체계가 얽힘의 영향을 받는 상황에서도 단일 증거자 체계보다 우월함을 보여준다.

ABSTRACT

A central problem in quantum computational complexity is how to prevent entanglement-assisted cheating in multi-prover interactive proof systems. It is well-known that the standard oracularization technique completely fails in some proof systems under the existence of prior entanglement. This paper studies two constructions of two-prover one-round interactive proof systems based on oracularization. First, it is proved that the two-prover one-round interactive proof system for PSPACE by Cai, Condon, and Lipton still achieves exponentially small soundness error in the existence of prior entanglement between dishonest provers (and more strongly, even if dishonest provers are allowed to use arbitrary no-signaling strategies). It follows that, unless the polynomial-time hierarchy collapses to the second level, two-prover systems are still advantageous to single-prover systems even when only malicious provers can use quantum information. Second, it is proved that the two-prover one-round interactive proof system obtained by oracularizing a three-query probabilistically checkable proof system becomes sound in a weak sense even against dishonest entangled provers with the help of a dummy question. As a consequence, every language in NEXP has a two-prover one-round interactive proof system of perfect completeness, albeit with exponentially small gap between completeness and soundness, in which each prover responds with only two bits. In other words, it is NP-hard to approximate within an inverse-polynomial the value of a classical two-prover one-round game, even when provers are entangled and each sends a two-bit answer to a verifier.

연구 동기 및 목표

• 증거자들이 사전 얽힘을 공유하거나 무신호 전략을 사용하는 상황에서 두 증거자 한 라운드 상호작용 증명 체계의 안정성을 유지하는 데 도전하는 것.
• 특히 PSPACE 체계와 같은 경우에서 얽힘의 영향을 받는 표준 오라클화 기법의 실패를 극복하는 것.
• 양자 도용 상황에서도 완벽한 완전성과 지수적으로 작은 안정성 오차를 갖는 NEXP에 대한 두 증거자 한 라운드 증명 체계를 구성하는 것.
• 다음 조건을 가정할 때, 얽힘의 영향을 받는 양자 환경에서 두 증거자 체계가 단일 증거자 체계보다 더 강력한지 입증하는 것: 다항시간 계층이 붕괴하지 않는다.

제안 방법

• 더미 질문을 도입하여 증거자의 행동을 안정화하고, 얽힘을 통한 도용을 방지함으로써 오라클화 기법을 변형한다.
• 기본으로 비적응형 세 질문 PCP 체계를 사용하며, 이는 결과적으로 두 비트의 답변을 갖는 게임을 가능하게 한다.
• 측도 측정 시퀀스에 따른 양자 상태 간의 이격을 제한하기 위해 트레이스 거리와 확률적 트레이스 부등식을 적용한다.
• 연속적인 측정에 걸쳐 트레이스 거리의 사슬을 사용하여 오차 누적도 제어하며, 단조성과 삼각 부등식을 활용한다.
• 질문 순서의 확률적 분석을 수행하고, 근사 확률에 따라 가중치를 적용하여 기대 오차 항을 제한한다.
• 코시-슈바르츠 부등식 및 기타 부등식을 사용하여 d1, d4, d3 함수를 포함하는 오차 항의 합을 제한하며, 최종적으로 εcons에 대한 오차 한계를 도출한다.

실험 결과

연구 질문

• RQ1 두 증거자 한 라운드 증명 체계에서 오라클화 기법이 얽힌 증거자들에 대해 강건하게 유지될 수 있는가?
• RQ2 Cai, Condon, Lipton의 PSPACE에 대한 두 증거자 한 라운드 체계는 사전 얽힘 또는 무신호 전략 하에서도 여전히 안정적인가?
• RQ3 양자 도용 상황에서도 완벽한 완전성과 지수적으로 작은 안정성 오차를 갖는 NEXP에 대한 두 증거자 한 라운드 증명 체계를 구성할 수 있는가?
• RQ4 이러한 체계에서 답변 길이와 오차 내성 사이에 트레이드오프가 존재하는가? 더미 질문을 통해 이를 최적화할 수 있는가?
• RQ5 양자 도용 상황에서 두 비트 답변을 갖는 두 증거자 한 라운드 게임에서 완전성과 안정성 사이의 최소 간격은 얼마인가?

주요 결과

• Cai, Condon, Lipton의 PSPACE에 대한 두 증거자 한 라운드 증명 체계는 증거자들이 사전 얽힘을 공유하거나 임의의 무신호 전략을 사용하는 경우에도 지수적으로 작은 안정성 오차를 유지한다.
• 모든 NEXP에 속하는 언어는 더미 질문을 사용한 오라클화 기법을 통해, 얽힌 증거자 상황에서도 완벽한 완전성과 지수적으로 작은 안정성 오차를 갖는 두 증거자 한 라운드 상호작용 증명 체계를 갖는다.
• 결과 게임은 각 증거자당 두 비트의 답변만을 가지며, 완전성과 안정성 사이의 간격은 지수 역수이며, 이는 다항식 인자 내에서 근사가 NP-난이도임을 의미한다.
• 안정성 오차는 (1 − w(G))² / Q²의 상수 배 이하로 제한되며, 여기서 Q는 질문의 수이다. 이는 체계가 양자 도용에 대해 강건함을 보여준다.
• 이 방법은 비적응형 t-질문 PCP 체계로 일반화 가능하며, 오차 한계는 t에 따라 적절히 스케일링되므로 광범위한 적용 가능성을 보인다.
• 이 구성은 얽힘의 영향을 받는 상황에서도 두 증거자 체계가 단일 증거자 체계보다 엄격히 더 강력함을 보여주며, 다항시간 계층이 두 번째 수준으로 붕괴하지 않는 한 성립한다.