[논문 리뷰] Quantum Interactive Oracle Proofs

Baocheng Sun, Thomas Vidick|arXiv (Cornell University)|2026. 01. 19.

Quantum Computing Algorithms and Architecture인용 수 0

한 줄 요약

이 논문은 양자 상호작용형 오라클 증명(qIOP)을 도입하고, 상호작용형 오라클 증명의 양자 일반화이며, 일정 쿼리 복잡도와 함께 QMA에 대해 두 가지 무조건적 구성을 제시한다. 검증기 큐비트 사용과 통신 복잡도에서 차이가 있다.

ABSTRACT

We initiate the study of quantum Interactive Oracle Proofs (qIOPs), a generalization of both quantum Probabilistically Checkable Proofs and quantum Interactive Proofs, as well as a quantum analogue of classical Interactive Oracle Proofs. In the model of quantum Interactive Oracle Proofs, we allow multiple rounds of quantum interaction between the quantum prover and the quantum verifier, but the verifier has limited access to quantum resources. This includes both queries to the prover's messages and the complexity of the quantum circuits applied by the verifier. The question of whether QMA admits a quantum interactive oracle proof system is a relaxation of the quantum PCP Conjecture. We show the following two main constructions of qIOPs, both of which are unconditional: - We construct a qIOP for QMA in which the verifier shares polynomially many EPR pairs with the prover at the start of the protocol and reads only a constant number of qubits from the prover's messages. - We provide a stronger construction of qIOP for QMA in which the verifier not only reads a constant number of qubits but also operates on a constant number of qubits overall, including those in their private registers. However, in this stronger setting, the communication complexity becomes exponential. This leaves open the question of whether strong qIOPs for QMA, with polynomial communication complexity, exist. As a key component of our construction, we introduce a novel single prover many-qubits test, which may be of independent interest.

연구 동기 및 목표

• 고전적 IOP의 양자 아날로그이면서 qPCP의 완화로서 qIOP 연구를 고무한다.
• 다양한 변형의 양자 상호작용형 오라클 증명을 정의하고 완전성/오류성 매개변수를 확립한다.
• 서로 다른 검증자 및 통신 트레이드오프를 가지는 QMA에 대한 qIOP의 무조건적 구성들을 제공한다.
• 텔리포테이션 기반 인코딩과 근접성 PCP 등의 핵심 기법을 강조하여 상수 쿼리 읽기를 달성한다.
• qIOP와 qPCP를 연결하는 미해결 문제와 잠재적 암호학적 응용을 개요한다.

제안 방법

• 쿼리 복잡도 q(n)와 통신 l(n)을 갖는 양자 IOP 프레임워크를 도입한다.
• 공유된 EPR 쌍과 상수 큐비트 검증을 사용하여 q(n)=O(1) 및 l(n)=poly(n)인 QMA 용 qIOP를 보인다.
• 검증기가 상수 큐비트로 작동하는 q(n)=O(1) 및 l(n)=exp(poly(n))인 QMA 용 더 강력한 강한 qIOP를 보인다.
• 구성의 핵심 구성요소로 새로운 단일 프루버 다수 큐빗 테스트를 구성의 핵심 요소로 활용한다.
• 텔레포테이션, Pauli/XZ 측정, 근접성 PCP를 활용하여 비국소 해밀토니안 측정과 상수 쿼리 검증을 연결한다.
• 양자 측정을 검증하면서도 고전적 통신을 가능하게 하려면 오익 오류정정 코드 인코딩을 통한 상호작용형 오라클 증명 모델의 커밋먼트를 도입한다.

실험 결과

연구 질문

• RQ1 양자 IOP 프레임워크가 QMA 언어에 대해 상수 쿼리 검증기를 구현할 수 있는가?
• RQ2 검증기 양자 자원 한계와 qIOP의 통신 복잡도 사이의 트레이드오프는 무엇인가?
• RQ3 QMA용 다항식 통신 복잡도의 강한 qIOP가 있으며, 지수적 통신 없이 달성할 수 있는가?
• RQ4 qIOP가 qPCP와 어떤 관계가 있으며, qIOP에서 qPCP로의 블랙박스 변환이 존재하는가?
• RQ5 qIOP 기법이 암호학적 프로토콜이나 Fiat-Shamir 스타일의 비대화식 양자 주장(QMA 용)에 적용될 수 있는가?

주요 결과

• 상수 완전성-오류성 간격을 갖는 q(n)=O(1) 및 l(n)=poly(n)인 QMA용 qIOP 시스템이 존재한다.
• 상수 완전성-오류성 간격을 갖는 q(n)=O(1) 및 l(n)=exp(poly(n))인 QMA용 더 강력한 강한 qIOP가 있다.
• 첫 번째 프로토콜은 증거자의 텔레포테이션과 근접성 PCP를 사용하여 비국소 측정의 상수 쿼리 검증을 가능하게 한다.
• 두 번째 프로토콜은 다중 큐빗 테스트에 의존하여 측정을 프루버에게 위임하고 에너지 측정 결과를 복구하기 위해 고전적 PCP 기법을 사용하되 지수적 통신 비용이 따른다.
• 새로운 단일 프루버 다수 큐빗 테스트가 도입되어 독립적으로도 관심을 끌 수 있다.