[논문 리뷰] Lower Bounds for Quantum Search and Derandomization

Harry Buhrman, Ronald de Wolf|ArXiv.org|1998. 11. 18.

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

한 줄 요약

이 논문은 양자 검색 알고리즘의 질의 복잡도에 대한 기본 하한을 설정하며, T=O(√N)일 때 하향 오차를 달성하기 위해 Ω(N)의 질의가 필요하다는 것을 보이고, RP 기계의 성공 확률을 증폭하는 데서 양자 알고리즘이 고전적 방법보다 유의미하게 뛰어나지 못함을 보여준다. 또한 순서가 지정된 목록에서 유계 오차 검색에 대해 Ω(√(log N)/log log N)의 질의 하한을 증명한다.

ABSTRACT

We prove lower bounds on the error probability of a quantum algorithm for searching through an unordered list of N items, as a function of the number T of queries it makes. In particular, if T=O(sqrt{N}) then the error is lower bounded by a constant. If we want error <1/2^N then we need T=Omega(N) queries. We apply this to show that a quantum computer cannot do much better than a classical computer when amplifying the success probability of an RP-machine. A classical computer can achieve error <=1/2^k using k applications of the RP-machine, a quantum computer still needs at least ck applications for this (when treating the machine as a black-box), where c>0 is a constant independent of k. Furthermore, we prove a lower bound of Omega(sqrt{log N}/loglog N) queries for quantum bounded-error search of an ordered list of N items.

연구 동기 및 목표

• 질의 횟수에 대한 함수로서 양자 검색 알고리즘의 오차 확률에 대한 날것의 하한을 설정하는 것.
• 고전적 방법에 비해 양자 알고리즘이 RP 기계의 성공 확률을 증폭하는 데서 가지는 한계를 분석하는 것.
• 유계 오차 조건 하에서 순서가 지정된 목록에서의 양자 검색에 대한 하한을 유도하는 것.
• 양자 알고리즘이 결정성 제거 설정에서 고전적 방법보다 더 적은 질의로 지수적 오차 감소를 달성할 수 없다는 것을 보여주는 것.

제안 방법

• 오차 확률을 제한하기 위해 적대자 방법과 정보 이론적 추론을 사용하여 양자 질의 복잡도를 분석한다.
• 각 질의를 계산 단위로 간주하면서, 양자 질의 모델을 사용해 RP 기계를 블랙박스로 시뮬레이션한다.
• 양자 질의 복잡도 하한과 고전적 결정성 제거 기법을 융합한 하이브리드 추론을 적용하여 성능을 비교한다.
• 제한된 질의 하에서 양자 상태의 진화 구조를 분석하고 모순을 통해 하한을 도출한다.
• 비교를 위한 기초로 알려진 양자 질의 복잡도 결과(예: 그로버 알고리즘)를 적용한다.
• 비교를 모델링하고 검색 공간의 대칭성과 구조를 활용하여 순서가 지정된 목록 검색을 고려한다.

실험 결과

연구 질문

• RQ1 크기가 N인 무작위 순서의 목록을 검색할 때 오차 <1/2^N을 달성하기 위해 필요한 최소 질의 수는 얼마인가?
• RQ2 질의 수가 O(√N)일 때 양자 검색 알고리즘의 오차 확률은 어떻게 변화하는가?
• RQ3 양자 알고리즘이 RP 기계의 성공 확률을 증폭하는 데서 고전적 알고리즘을 능가할 수 있는가?
• RQ4 크기가 N인 순서가 지정된 목록에서 유계 오차 양자 검색의 질의 복잡도 하한은 무엇인가?
• RQ5 양자 알고리즘이 고전적 방법보다 RP 기계를 더 효율적으로 결정성 제거할 수 있는 정도는 어느 정도인가?

주요 결과

• 만약 양자 알고리즘이 크기가 N인 무작위 순서의 목록을 검색하기 위해 T=O(√N)의 질의를 수행한다면, 그 오차 확률은 상수 이하로 제한된다.
• 오차 <1/2^N을 달성하기 위해 양자 알고리즘은 T=Ω(N)의 질의가 필요하며, 이는 고전적 하한과 일치한다.
• RP 기계의 성공 확률을 증폭하기 위해, 양자 컴퓨터 역시 고전적으로 k번의 응용이 필요할 때와 마찬가지로 Ω(k)의 질의가 필요하다.
• 이 논문은 크기가 N인 순서가 지정된 목록에서의 유계 오차 양자 검색에 대해 Ω(√(log N)/log log N)의 질의 하한을 증명한다.
• 양자 알고리즘은 RP 기계를 위한 결정성 제거 작업에서 고전적 알고리즘을 유의미하게 능가할 수 없다.
• 결과적으로 양자 가속은 결정성 제거의 기본 질의 비용을 초월하지 못하며, 이는 오차 감소의 근본적 비용을 초월하지 못한다는 것을 보여준다.