[논문 리뷰] Quantum bounds for ordered searching and sorting

Peter Høyer, Jan Neerbek외 1명|arXiv (Cornell University)|2001. 02. 15.

Quantum Computing Algorithms and Architecture참고 문헌 10인용 수 3

한 줄 요약

이 논문은 양자 블랙박스 모델에서 순서 있는 검색과 정렬에 대한 향상된 양자 하한을 확립한다: 순서 있는 목록 검색에 대해 (1/π)(ln N − 1)의 하한과 N개의 요소 정렬에 대해 N/(2π)(ln N − 1)의 하한을 도출한다. 또한, log₃N + O(1)의 쿼리 수를 사용하는 정확한 양자 알고리즘을 제안하며, 이는 고전적 이진 탐색의 양자 최적화된 버전으로, 양자 루틴을 통해 탐색 트리의 탐색 속도를 높인다.

ABSTRACT

We consider the quantum complexities of searching an ordered list and sorting an un-ordered list. For searching an ordered list of N elements, we prove a lower bound of \\frac{1}{\\pi}(\\ln(N)-1) on the number of oracle queries that access the list elements. This improves the previously best lower bound of ({1/12}\\log_2(N) - O(1)) due to Ambainis. For sorting N numbers, we prove a lower bound of \\frac{N}{2\\pi}(\\ln(N)-1) on the number of binary comparisons. The previously best lower bound is \\Omega(N). Our proofs are based on a weighted all-pairs inner product argument, and our results generalize to bounded error quantum algorithms. Both results are proven in the so-called quantum black box model, a quantum analogue of classical decision trees. In addition to our lower bound results, we give an exact quantum algorithm for ordered searching using (\\log_3(N) + O(1)) queries, which is roughly 0.631 \\log_2(N). Although our algorithm is worse than that of Farhi, Goldstone, Gutmann and Sipser, which makes 0.526 \\log_2(N) queries, its philosophy is completely different. Our algorithm is a quantum version of the classical binary search algorithm, and it uses a quantum routine for traversing through a binary search tree faster than classically.

연구 동기 및 목표

• 순서 있는 목록 검색과 순서 없는 목록 정렬에 대한 양자 쿼리 복잡도에 대해 더 강력한 하한을 확립하기 위해.
• 양자 속도 향상을 활용하여 이진 탐색 트리의 탐색을 가속화하는 양자 알고리즘을 개발하기 위해.
• 결과를 오차가 제한된 양자 알고리즘과 양자 블랙박스 모델으로 일반화하기 위해.
• 특히 정렬에 대해 암바인스 및 다른 이들이 이전에 확립한 하한을 초월하기 위해.

제안 방법

• 모든 쌍 간 내적의 가중치를 활용하여 양자 쿼리 하한을 유도한다.
• 쿼리 복잡도를 정의하기 위해 고전적 결정 트리의 양자 버전인 양자 블랙박스 모델을 적용한다.
• 고전적 이진 탐색의 구조를 기반으로 하되, 양자 탐색 루틴을 통합하여 개선된 양자 알고리즘을 설계한다.
• 양자 진폭 강화와 상태 조작을 활용하여 탐색 트리 탐색을 가속화한다.
• 순서 있는 및 순서 없는 데이터에 대한 양자 액세스의 정보 이론적 한계를 분석하여 하한을 유도한다.
• 오차 전파와 쿼리 효율성을 분석하여 결과를 오차가 제한된 양자 알고리즘으로 일반화한다.

실험 결과

연구 질문

• RQ1 크기 N인 순서 있는 목록을 검색하기 위해 필요한 최소한의 양자 쿼리 수는 얼마인가?
• RQ2 순서 없는 N개의 요소를 정렬하기 위한 양자 쿼리 복잡도 하한은 얼마인가?
• RQ3 고전적 이진 탐색의 구조를 유지하면서도 양자 속도 향상을 달성할 수 있는 양자 알고리즘을 설계할 수 있는가?
• RQ4 새로운 하한은 양자 블랙박스 모델에서 이전에 알려진 하한과 어떻게 비교되는가?
• RQ5 정렬 및 검색에 대한 양자 알고리즘은 오차가 제한된 설정으로 얼마나 일반화될 수 있는가?

주요 결과

• 양자 순서 있는 검색에 대해 (1/π)(ln N − 1)의 새로운 하한이 증명되었으며, 이는 암바인스의 이전 하한 (1/12)log₂N − O(1)을 초월한다.
• N개의 요소를 정렬하기 위해 N/(2π)(ln N − 1)의 하한이 확립되었으며, 이는 이전에 알려진 Ω(N) 하한보다 더 날카롭다.
• log₃N + O(1)의 쿼리 수를 사용하는 정확한 양자 알고리즘을 구성하였으며, 이는 약 0.631 log₂N 쿼리에 해당한다.
• 제안된 양자 알고리즘은 고전적 이진 탐색의 직접적인 양자 동반자로, 탐색 트리를 더 빠르게 탐색하기 위해 양자 루틴을 사용한다.
• 결과는 오차가 제한된 양자 알고리즘으로 일반화되었으며, 다양한 오차 범위에서의 안정성을 보였다.
• 가중치가 부여된 모든 쌍 간 내적의 접근 방식이 구조적 문제에서 양자 쿼리 복잡도 하한을 유도하는 데 강력한 도구로 밝혀졌다.