[논문 리뷰] Quantum vs. Classical Communication and Computation

Harry Buhrman, Richard Cleve외 1명|ArXiv.org|1998. 02. 14.

Quantum Computing Algorithms and Architecture참고 문헌 17인용 수 84

한 줄 요약

이 논문은 블랙박스 양자 알고리즘을 양자 통신 프로토콜로 변환하는 일반적인 시뮬레이션 기법을 소개한다. 이 기법은 양자 병렬성을 활용하여 양자와 고전적 통신 복잡도 간의 점근적 분리를 달성한다. 유계 오차 모델에서는 제곱근 수준의 분리가 이루어지고, 영오차 모델에서는 지수적 분리가 이루어지며, 동시에 OR, PARITY, MAJORITY 함수에 대해 양자 속도 향상의 새로운 하한을 도출하여, 유계 오차 조건 하에서 그로버의 제곱근 속도 향상이 불가능하다는 것을 보여준다.

ABSTRACT

We present a simple and general simulation technique that transforms any black-box quantum algorithm (a la Grover's database search algorithm) to a quantum communication protocol for a related problem, in a way that fully exploits the quantum parallelism. This allows us to obtain new positive and negative results. The positive results are novel quantum communication protocols that are built from nontrivial quantum algorithms via this simulation. These protocols, combined with (old and new) classical lower bounds, are shown to provide the first asymptotic separation results between the quantum and classical (probabilistic) two-party communication complexity models. In particular, we obtain a quadratic separation for the bounded-error model, and an exponential separation for the zero-error model. The negative results transform known quantum communication lower bounds to computational lower bounds in the black-box model. In particular, we show that the quadratic speed-up achieved by Grover for the OR function is impossible for the PARITY function or the MAJORITY function in the bounded-error model, nor is it possible for the OR function itself in the exact case. This dichotomy naturally suggests a study of bounded-depth predicates (i.e. those in the polynomial hierarchy) between OR and MAJORITY. We present black-box algorithms that achieve near quadratic speed up for all such predicates.

연구 동기 및 목표

• 양자 블랙박스 알고리즘과 양자 통신 복잡도 간의 공식적 연결을 수립하기 위해.
• 특정 문제에 대해 양자 통신 프로토콜이 고전적 프로토콜보다 점근적 우월성을 달성할 수 있음을 보여주기 위해.
• 통신 복잡도 하한을 블랙박스 모델로 환원하여 양자 쿼리 복잡도에 대한 새로운 하한을 도출하기 위해.
• OR, PARITY, MAJORITY와 같은 기본 부울 함수에 대한 양자 속도 향상의 한계를 조사하기 위해.
• 다항계층의 유계 깊이 조건을 갖는 부울 함수의 역할과 그들의 양자 계산 복잡도를 탐구하기 위해.

제안 방법

• 모든 블랙박스 양자 알고리즘을 양자 통신 프로토콜로 매핑하는 일반적인 시뮬레이션 기법을 제안하며, 양자 병렬성을 유지한다.
• 양자 알고리즘의 구조(예: 그로버의 검색)를 활용하여 동일성, 내적, 상호배타성 문제 등의 통신 프로토콜을 구성한다.
• 기존의 양자 알고리즘(예: 그로버의 알고리즘)을 통신 문제에 적용하여 통신 비용을 감소시킨 새로운 양자 프로토콜을 유도한다.
• 오차가 제한된 조건에서 양자 게이트를 근사하기 위해 앰플리튜드 강화 및 위상 추정 기법을 사용하여 정밀도를 ε 이내로 유지한다.
• 통신 복잡도 문제를 블랙박스 계산 문제로 환원하여 양자 쿼리 복잡도에 대한 하한을 도출한다.
• 깊이-d 부울 회로의 구조를 활용하여 다항계층 내의 부울 함수로 결과를 일반화하고, 재귀적 근사 기법을 적용한다.

실험 결과

연구 질문

• RQ1 양자 통신 프로토콜은 총합 함수에 대해 고전적 프로토콜보다 점근적 우월성을 달성할 수 있는가?
• RQ2 유계 오차 모델에서 그로버 알고리즘의 제곱근 속도 향상은 PARITY 및 MAJORITY 함수에 대해 달성 가능한가?
• RQ3 고전적 및 양자 통신 복잡도 모델 간의 최대 가능한 분리는 얼마인가?
• RQ4 통신 복잡도 하한을 이용하여 블랙박스 양자 계산 모델에서 비트리버럴 하한을 도출할 수 있는가?
• RQ5 다항계층 내의 유계 깊이 조건을 갖는 부울 함수는 양자 쿼리 복잡도 하에서 어떻게 행동하는가?

주요 결과

• 유계 오차 고전적 및 양자 통신 복잡도 간에 제곱근 수준의 분리를 달성하여, 명백한 양자 우월성을 입증한다.
• 영오차 고전적 및 정확한 양자 통신 복잡도 간에 지수적 분리를 확립하였으며, 상수 인자 범위 내에서 최적이다.
• 유계 오차 모델 하에서 OR 함수에 대한 그로버 알고리즘의 제곱근 속도 향상이 PARITY 및 MAJORITY 함수에 대해 불가능하다는 것을 입증한다.
• OR 함수에 대해 정확한 양자 알고리즘이 상수 인자 이내의 속도 향초를 초과할 수 없음을 확인하여, 양자 우월성의 한계를 확인한다.
• 모든 유계 깊이 조건을 갖는 부울 함수(다항계층 내)에 대해 블랙박스 양자 알고리즘을 활용해 거의 제곱근 수준의 속도 향상을 달성한다.
• 시뮬레이션 기법을 통해 날카운 하한을 도출할 수 있었으며, 후속 연구에서 PARITY 및 MAJORITY에 대해 최적성의 확인이 이루어졌다.