[논문 리뷰] QMIP = MIP*

Anne Broadbent, Joseph F. Fitzsimons외 1명|arXiv (Cornell University)|2010. 04. 07.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 양자 다중증인 상호작용 증명 시스템으로 결정 가능한 언어의 클래스인 QMIP가, 얽힌 증인을 가진 고전적 다중증인 시스템으로 결정 가능한 언어의 클래스인 MIP*과 동일하다는 것을 증명한다. 저자들은 상호작용 증명 프레임워크에 universal blind quantum computation을 적응시킴으로써, 이 설정에서 공유된 얽힘만으로도 양자 우월성의 전반적인 능력을 포괄함을 보여주며, 양자 검증자의 필요성을 제거한다.

ABSTRACT

The way entanglement influences the power of quantum and classical multi-prover interactive proof systems is a long-standing open question. We show that the class of languages recognized by quantum multi-prover interactive proof systems, QMIP, is equal to MIP*, the class of languages recognized by classical multi-prover interactive proof systems where the provers share entanglement. After the recent result by Jain, Ji, Upadhyay and Watrous showing that QIP=IP, our work completes the picture from the verifier's perspective by showing that also in the setting of multiple provers with shared entanglement, a quantum verifier is no more powerful than a classical one: QMIP=MIP*. Our techniques are based on the adaptation of universal blind quantum computation (a protocol recently introduced by us) to the context of interactive proof systems. We show that in the multi-prover scenario, shared entanglement has a positive effect in removing the need for a quantum verifier. As a consequence, our results show that the entire power of quantum information in multi-prover interactive proof systems is captured by the shared entanglement and not by the quantum communication.

연구 동기 및 목표

• 양자 다중증인 상호작용 증명 시스템(QMIP)이 얽힌 증인을 가진 고전적 시스템(MIP*)보다 더 강력한가라는 오랫동안 열려 있던 문제를 해결하기 위해.
• 다중증인 증명 시스템에서 양자 우월성의 핵심 자원이 양자 통신인지 공유된 얽힘인지를 규명하기 위해.
• 공유된 얽힘을 가진 증인들이 있을 경우, 고전적 검증자가 양자 검증자와 동일한 계산 능력을 달성할 수 있음을 보여주기 위해.
• 이 설정에서 양자 정보의 전체 능력이 양자 통신이나 양자 검증이 아닌, 오직 얽힘에 의해 포괄된다는 것을 입증하기 위해.

제안 방법

• 다중증인 상호작용 증명 모델에 universal blind quantum computation 프로토콜을 적응시키기 위해.
• 공유된 얽힘을 사용하여, 고전적 검증자가 안전하게 양자 계산을 위탁할 수 있도록 양자 계산을 시뮬레이션하는 방법을 사용하기 위해.
• 양자 계산을 수행하기 위해 검증자가 양자 연산을 수행할 필요가 없도록, 얽힌 증인이 어떤 양자 계산도 시뮬레이션할 수 있는 프로토콜을 구성하기 위해.
• 증인이 공유된 얽힘을 가질 경우, 검증자의 양자 능력이 불필요해지며, 양자 검증을 고전적 검증으로 줄일 수 있음을 보여주기 위해.
• 상호작용 증명의 구조를 활용하여, 얽힘이 MIP* 프레임워크 내에서 보편적인 양자 계산을 가능하게 한다는 것을 보여주기 위해.
• 결과적으로 유사한 표현 능력을 갖는 QMIP와 MIP*가 동일하다는 것을 증명함으로써, QMIP = MIP*를 확립하기 위해.

실험 결과

연구 질문

• RQ1 전체 양자 다중증인 상호작용 증명 시스템의 능력을 발휘하기 위해 양자 검증자가 반드시 필요한가, 아니면 얽힌 증인들이 있을 경우 고전적 검증자로도 충분한가?
• RQ2 공유된 얽힘만으로도 다중증인 증명 시스템에서 양자 정보의 전체 계산적 우월성을 제공할 수 있는가?
• RQ3 고전적 상호작용을 통해 고전적 검증자와의 상호작용만으로도 보편적인 양자 계산을 얽힌 증인들에게 위탁할 수 있는가?
• RQ4 상호작용 증명 시스템의 능력을 향상시키는 데서 얽힘과 양자 통신의 정확한 역할은 무엇인가?
• RQ5 QMIP는 MIP*보다 엄밀히 더 큰가, 아니면 동일한가?

주요 결과

• QMIP는 정확히 MIP*와 동일하다. 즉, 양자 다중증인 상호작용 증명 시스템이 얽힌 증인을 가진 고전적 시스템보다 더 많은 계산 능력을 제공하지는 않는다.
• 이 맥락에서 양자 정보의 전체 능력은 양자 통신이나 양자 검증이 아닌, 공유된 얽힘에 의해 포괄된다.
• 증인이 공유된 얽힘을 가질 경우, 고전적 검증자가 양자 검증자와 동일한 계산 능력을 시뮬레이션할 수 있다.
• 보편적인 블라인드 양자 계산은 상호작용 증명 시스템에 적응시켜, 고전적 상호작용만으로도 전체 양자 계산의 보편성을 달성할 수 있다.
• 이 결과는 이 모델에서의 양자 우월성이 오직 얽힘에서 기인하며, 검증자의 양자 능력에서 기인하지 않는다는 것을 시사한다.
• 증명는 양자 시스템과 얽힌 고전적 증명 시스템 간의 날카로운 동치성을 확립하여, 검증자의 관점에서 그림을 완성한다.