[논문 리뷰] On the Power of Quantum Multi-Prover Interactive Proof Systems

Hirotada Kobayashi, Keiji Matsumoto|arXiv (Cornell University)|2001. 02. 19.

Quantum Computing Algorithms and Architecture참고 문헌 31인용 수 1

한 줄 요약

이 논문은 Watrous의 단일 검증자 양자 인터랙티브 프로토콜 모델을 확장하여 양자 다중 검증자 인터랙티브 프로토콜 체계를 제안한다. 다중 검증자 양자 프로토콜 체계로 표현할 수 있는 언어의 집합이 NEXP와 정확히 일치함을 증명하며, 이는 고전적 다중 검증자 체계와 비교해 어떤 이점도 가지 않음을 보이고, 또한 비밀 양자 비트를 갖지 않는 단일 검증자 양자 프로토콜 체계 역시 NEXP를 정확히 포괄함을 보여, 고전적 복잡도 클래스에 대한 첫 번째 정확한 양자 특성화를 제공한다.

ABSTRACT

In this paper we introduce a quantum analogue of multi-prover interactive proof systems by naturally extending the model of single-prover quantum interactive proof systems defined by Watrous. It is proved that the class of languages having quantum multi-prover interactive proof systems is equal to NEXP. It implies that the quantum analogue has no gain to the classical counterpart in the setting of multi-prover interactive proof systems. Another interesting result shown in this paper is that, in case the prover does not have his private qubits, the class of languages having single-prover quantum interactive proof systems is also equal to NEXP. To our knowledge, our results give the first exact characterizations of a classical time complexity class in quantum computational terms.

연구 동기 및 목표

• 단일 검증자 양자 인터랙티브 프로토콜의 자연스러운 확장으로서 양자 다중 검증자 인터랙티브 프로토콜 체계를 정의하고 형식화하는 것.
• 고전적 복잡도 클래스와의 관계에서 양자 다중 검증자 체계의 계산 능력을 규명하는 것.
• 양자 검증자가 비밀 양자 비트를 갖는지 여부에 따라 인터랙티브 프로토콜 환경에서 표현 능력이 향상되는지 조사하는 것.
• 특히 NEXP와 같은 고전적 시간 복잡도 클래스에 대한 정확한 양자 특성화를 제공하는 것.

제안 방법

• 양자 비트가 얽힌 또는 얽히지 않은 검증자들을 포함한 다중 검증자 환경으로 Watrous의 단일 검증자 양자 인터랙티브 프로토콜 모델을 확장하는 것.
• 표준 양자 정보 이론 원리에 기반해 양자 다중 검증자 프로토콜의 완전성 및 타당성 성질을 분석하는 것.
• 모든 NEXP에 속하는 언어가 양자 다중 검증자 체계에 의해 검증 가능하다는 것을 보이기 위해 감소 및 시뮬레이션 기법을 사용하는 것.
• 비밀 양자 비트 없이도 단일 검증자가 NEXP 언어에 대해 다중 검증자 체계의 전체 기능을 시뮬레이션할 수 있음을 증명하는 것.
• 양자 상태 준비, 측정 및 얽힘 조작을 활용해 NEXP 언어를 검증하는 프로토콜을 구성하는 것.
• 양자 검증자가 다중 검증자 환경에서 고전적 검증자보다 계산 능력이 뛰어나지 않음을 보여주는 것.

실험 결과

연구 질문

• RQ1 양자 다중 검증자 인터랙티브 프로토콜 체계의 계산 능력은 무엇인가?
• RQ2 양자 얽힘 또는 비밀 양자 비트의 포함이 다중 검증자 양자 프로토콜 체계에서 이점을 제공하는가?
• RQ3 비밀 양자 비트를 갖지 않는 단일 검증자 양자 인터랙티브 프로토콜 체계가 다중 검증자 체계와 동일한 복잡도 클래스를 포괄할 수 있는가?
• RQ4 NEXP와 같은 고전적 복잡도 클래스에 대해 양자 특성화가 존재하는가?
• RQ5 양자 다중 검증자 체계는 고전적 다중 검증자 체계보다 어떤 이점도 제공하는가?

주요 결과

• 양자 다중 검증자 인터랙티브 프로토콜 체계를 갖는 언어의 집합은 정확히 NEXP이다.
• 양자 다중 검증자 체계는 고전적 다중 검증자 체계와 비교해 어떤 계산 능력의 이점도 제공하지 않는다.
• 비밀 양자 비트 없이도 단일 검증자 양자 인터랙티브 프로토콜 체계는 NEXP의 전체 기능을 포괄할 수 있다.
• 본 논문은 고전적 시간 복잡도 클래스, 특히 NEXP에 대해 첫 번째 정확한 양자 특성화를 제공한다.
• 결과적으로, 이 설정에서 양자 얽힘과 비밀 양자 비트가 다중 검증자 체계의 표현 능력을 향상시키지 못한다는 것을 암시한다.