[논문 리뷰] Quantum Computer Can Not Speed Up Iterated Applications of a Black Box

Yuri Ozhigov|ArXiv.org|1997. 12. 22.

Quantum Computing Algorithms and Architecture인용 수 6

한 줄 요약

이 논문은 반복적으로 블랙박스 함수 F를 적용하는 데 의존하는 고전적 알고리즘을 일반적으로 양자 컴퓨터가 빠르게 수행할 수 없다는 것을 증명한다. T개의 순차적 쿼리에 대해, T = O(2^{n/7})일 때 양자 하한은 Ω(T)이며, 일반적으로는 Ω(T^{1/2})이다. 이는 이러한 반복적 블랙박스 계산에 대해 지수적 양자 이점이 존재하지 않음을 보여준다.

ABSTRACT

Let a classical algorithm be determined by sequential applications of a black box performing one step of this algorithm. If we consider this black box as an oracle which gives a value F(a) for any query a, we can compute T sequential applications of F on a classical computer relative to this oracle in time T. It is proved that if T=O(2^{n/7}), where n is the length of input, then the result of T sequential applications of F can not be computed on quantum computer with oracle for F for all possible F faster than in time Ω(T). This means that there is no general method of quantum speeding up of classical algorithms provided in such a general method a classical algorithm is regarded as iterated applications of a given black box. For an arbitrary time complexity T a lower bound for the time of quantum simulation was found to be Ω(T^{1/2}).

연구 동기 및 목표

• 반복적으로 블랙박스 함수를 적용하는 고전적 알고리즘이 양자 컴퓨터에 의해 가속화될 수 있는지 조사하기.
• 블랙박스 오라클 F의 T개의 순차적 응용을 시뮬레이션하는 데 필요한 양자 계산 복잡도를 규명하기.
• 반복적인 블랙박스 함수 계산을 위한 시간에 대한 날카운 하한을 설정하기.
• 일반적인 반복 알고리즘 모델로 표현된 반복적 오라클 쿼리의 맥락에서 양자 가속의 한계를 명확히 하기.

제안 방법

• 고전적 알고리즘을 블랙박스 오라클 F에 대한 T개의 순차적 쿼리로 모델링하며, 각 쿼리는 입력 a에 대해 F(a)를 계산한다.
• F^T(a) — 즉, F의 T중합성 결과 — 를 계산하는 데 필요한 양자 쿼리 복잡도를 분석한다.
• 특히 다항식 방법과 반대자 방법을 활용한 양자 쿼리 복잡도 하한 기법을 적용한다.
• 입력 길이 n에 대해 T = O(2^{n/7})일 때 일반적인 F에 대한 가정 하에 Ω(T)의 하한을 유도한다.
• 양자 복잡도 이론 기법을 사용하여 임의의 T에 대해 일반적인 하한 Ω(T^{1/2})을 확립한다.
• 모든 가능한 블랙박스 함수 F에 대한 최악의 행동을 고려하여 일반적인 양자 가속이 불가능함을 증명한다.

실험 결과

연구 질문

• RQ1 양자 컴퓨터는 반복적으로 블랙박스 함수를 적용하는 방식으로 정의된 고전적 알고리즘에 대해 일반적인 가속을 제공할 수 있는가?
• RQ2 블랙박스 함수 F의 T개의 순차적 응용을 계산하기 위해 필요한 최소한의 양자 쿼리 수는 얼마인가?
• RQ3 F에 대한 양자 오라클이 존재할 경우, 반복 쿼리 모델에서 고전적 계산보다 점근적 개선을 이룰 수 있는가?
• RQ4 입력 크기 n과 반복 횟수 T는 F^T 계산의 양자 복잡도에 어떻게 영향을 미치는가?
• RQ5 양자 알고리즘이 반복 쿼리 시나리오에서 고전적 알고리즘보다 뛰어날 수 있는 함수 F의 어떤 클래스가 존재하는가?

주요 결과

• T = O(2^{n/7})일 때, F^T의 양자 쿼리 복잡도는 Ω(T)이며, 이는 고전적 계산보다 점근적 가속이 불가능함을 의미한다.
• 일반적인 경우, F의 T회 반복에 대한 양자 하한은 Ω(T^{1/2})이며, 이는 고전적 방법보다 제곱근 수준으로만 개선된 것으로 지수적 개선은 아니다.
• 이 결과는 반복적 오라클 쿼리로 모델링된 일반적인 반복적 고전 알고리즘에 대해 양자 컴퓨터가 항상 가속을 제공할 수 없다는 것을 암시한다.
• 하한은 모든 가능한 블랙박스 함수 F에 대해 성립하므로, 이 모델에서 양자 가속의 근본적인 한계를 보여준다.
• 분석 결과, O(T) 시간 이내에 T개의 순차적 오라클 호출을 시뮬레이션할 수 있는 일반 목적의 양자 알고리즘이 존재하지 않음을 배제한다.
• 결과적으로 명확한 분리가 이루어지며, 양자 알고리즘은 이 문제 유형에 대해 지수적 가속을 달성할 수 없다.