양자 얽힘을 견제하는 두 증인 일라운드 증명 시스템

초록

이 논문은 두 증인 일라운드 상호작용 증명 시스템에 대해, 기존 오라클화 기법이 양자 얽힘에 의해 무너지는 경우를 극복하는 두 가지 새로운 설계를 제시한다. 첫째, PSPACE‑완전 문제에 대한 기존 시스템이 비신호 전략까지도 지수적으로 작은 사운드니스 오류를 유지함을 증명한다. 둘째, 3‑쿼리 PCP를 오라클화하고 더미 질문을 도입함으로써 NEXP 언어에 대해 완전성은 1, 사운드니스는 지수적으로 작은 격차를 갖는 두 비트 응답 시스템을 구축한다. 결과적으로, 얽힌 증인이라도 두 비트 답변 게임의 값을 역폴리노미얼 정확도로 근사하는 것이 NP‑hard함을 보인다.

상세 분석

본 연구는 다중 증인 인터랙티브 증명 시스템에서 양자 얽힘이 제공하는 비국소 전략에 대한 방어 메커니즘을 탐구한다. 전통적인 오라클화 기법은 증인들이 사전 얽힌 상태를 공유할 경우, 검증자가 질문을 독립적으로 선택하더라도 증인들이 협조적으로 응답함으로써 사운드니스가 급격히 악화되는 문제가 알려져 있다. 이러한 한계를 극복하기 위해 저자들은 두 가지 독립적인 접근법을 제시한다. 첫 번째는 Cai‑Condon‑Lipton이 제시한 PSPACE‑완전 문제에 대한 두 증인 일라운드 프로토콜을 재검토하여, 증인들이 임의의 비신호 전략을 사용하더라도 사운드니스 오류가 2^{−poly(n)} 수준으로 유지된다는 것을 보인다. 핵심 아이디어는 검증자가 질문을 무작위로 선택하고, 증인들의 응답을 서로 독립적인 함수 형태로 제한함으로써 비신호 제약을 강제하는 것이다. 이 과정에서 선형 프로그래밍 이중성 및 고전적인 마르코프 부등식이 활용되어, 얽힌 증인이라도 전체 게임 가치가 고전적 가치와 거의 동일함을 증명한다. 두 번째 결과는 3‑쿼리 PCP를 오라클화하고, 검증자가 각 증인에게 무작위 더미 질문을 추가로 제시하는 방식을 도입한다. 이 더미 질문은 증인들이 실제 질문과 무관하게 일정 확률로 무의미한 입력을 받게 하여, 얽힌 증인들이 사전 정보를 이용해 일관된 답변을 만들기 어렵게 만든다. 결과적으로, NEXP에 속하는 모든 언어는 완전성 1, 사운드니스 1−2^{−poly(n)}를 갖는 두 비트 응답 프로토콜에 포함될 수 있다. 특히, 이 프로토콜은 각 증인이 오직 두 비트를 전송하도록 제한함에도 불구하고, 얽힌 증인들이 게임 가치를 역폴리노미얼 정확도로 근사하는 문제 자체가 NP‑hard임을 보여준다. 이론적으로는 비신호 전략을 포함한 가장 일반적인 양자 비국소 모델까지도 포괄하며, 실용적인 관점에서는 증인 간 통신 비용을 최소화하면서도 양자 공격에 강인한 검증 메커니즘을 제공한다는 점에서 의미가 크다.