[논문 리뷰] Bounds on quantum ordered searching

Peter Høyer, Jan Neerbek|ArXiv.org|2000. 09. 08.

Quantum Computing Algorithms and Architecture참고 문헌 15인용 수 4

한 줄 요약

이 논문은 정확한 양자 순서 검색에 대한 새로운 하한값 $\frac{1}{\pi}(\ln N - 1)$을 확립하며 이전의 하한값을 향상시고, 여러 개의 이진 검색 인스턴스 간의 지식 공유와 양자 병렬 처리를 가능하게 함으로써 $\log_3 N + O(1)$ 쿼리(약 $0.631\log_2 N$)를 사용하는 새로운 양자 알고리즘을 제안한다. 방법은 하한값을 도출하기 위해 가중치가 부여된 전부의 쌍 내적을 사용하고, 중첩 상태의 기저 상태 간에 통신 메커니즘을 도입한다.

ABSTRACT

We prove that any exact quantum algorithm searching an ordered list of N elements requires more than \frac{1}π(\ln(N)-1) queries to the list. This improves upon the previously best known lower bound of {1/12}\log_2(N) - O(1). Our proof is based on a weighted all-pairs inner product argument, and it generalizes to bounded-error quantum algorithms. The currently best known upper bound for exact searching is roughly 0.526 \log_2(N). We give an exact quantum algorithm that uses \log_3(N) + O(1) queries, which is roughly 0.631 \log_2(N). The main principles in our algorithm are an quantum parallel use of the classical binary search algorithm and a method that allows basis states in superpositions to communicate.

연구 동기 및 목표

• 정확한 순서 검색의 양자 쿼리 복잡도에 대한 더 날카운 하한값을 확립하기 위해.
• 클래식 이진 검색보다 쿼리 복잡도에서 뛰어난 성능을 보이는 새로운 양자 알고리즘을 개발하기 위해.
• 중첩 상태에 있는 양자 상태 간의 지식 공유를 통한 알고리즘 효율성 향상 기법을 도입하기 위해.
• 비대칭적이고 부울이 아닌 양자 함수에 대한 하한값을 증명하는 데 사용할 수 있는 가중치가 부여된 전부의 쌍 내적을 일반화하기 위해.

제안 방법

• 논문은 벤넷 등과 암바인스의 이전 연구를 확장하여 양자 블랙박스 모델에서 하한값을 증명하기 위해 가중치가 부여된 전부의 쌍 내적을 사용하는 방법을 도입한다.
• 이를 바탕으로 정확한 양자 순서 검색에 대해 $\frac{1}{\pi}(\ln N - 1)$ 쿼리의 하한값을 유도한다.
• 제안된 알고리즘은 여러 개의 클래식 이진 검색 인스턴스를 양자 병렬로 실행함으로써 $\log_3 N + O(1)$ 쿼리를 사용한다. 각 인스턴스는 입력의 서로 다른 세그먼트에 집중한다.
• 핵심 혁신은 중첩 상태의 기저 상태 간에 통신 메커니즘을 도입하여, 입력에 대해 더 많은 정보를 습득한 상태가 다른 상태들에게 정보를 전달함으로써 집단적 학습을 가능하게 한다.
• 알고리즘은 각 쿼리당 알려진 비트 수를 약 3배로 증가시키는 단위 연산자 $\mathsf{U}^{(s)}$와 $\mathsf{V}^{(s)}$를 반복적으로 적용한다.
• 이 방법은 반복마다 비트 지식의 확장 인자 $F = \frac{m'}{m} \geq 3 - O\left(\frac{\log m}{m}\right)$를 달성하여 기하급수적 지식 증가를 이룬다.

실험 결과

연구 질문

• RQ1 크기 $N$인 순서 정렬된 목록을 정확하게 검색하기 위해 필요한 최소 쿼리 수는 얼마인가?
• RQ2 가중치가 부여된 전부의 쌍 내적을 사용하여 비대칭 양자 함수에 대해 더 날카운 하한값을 도출할 수 있는가?
• RQ3 중첩 상태에 있는 상태들 간의 지식 공유를 활용하여 순서 검색을 위한 양자 알고리즘을 구성하여 로그 이하의 쿼리 복잡도를 달성할 수 있는가?
• RQ4 이 새로운 알고리즘의 성능은 약 $0.526\log_2 N$ 쿼리를 사용하는 최고의 알려진 양자 알고리즘과 비교해 어떻게 되는가?

주요 결과

• 논문은 정확한 양자 순서 검색에 대해 $\frac{1}{\pi}(\ln N - 1)$ 쿼리의 새로운 하한값을 확립하였으며, 이는 이전의 하한값인 $\frac{1}{12}\log_2 N - O(1)$ 보다 향상된 것이다.
• 이 새로운 하한값은 약 $0.221\log_2 N$이며, 이는 클래식 $\lceil \log_2 N \rceil$에 비해 상수 인자로 1.9에서 4.6 사이의 양자 스피드업을 나타낸다.
• 정확한 양자 알고리즘은 $\log_3 N + O(1)$ 쿼리를 사용하며, 이는 약 $0.631\log_2 N$ 쿼리에 해당한다. 이는 클래식 이진 검색보다 우수하지만 최고의 알고리즘만큼 효율적이진 않다.
• 알고리즘은 여러 개의 이진 검색 인스턴스를 중첩 상태에서 동시에 실행하고, 기저 상태 간의 통신 메커니즘을 통해 지식을 공유함으로써 효율성을 달성한다.
• 이 방법은 쿼리당 알려진 비트 수를 약 3배로 증가시키며, 확장 인자 $F \geq 3 - O\left(\frac{\log m}{m}\right)$를 달성한다.
• 가중치가 부여된 전부의 쌍 내적은 비대칭적이고 부분 함수인 양자 쿼리 복잡도에 대한 하한값을 증명하는 데 강력하고 일반화 가능한 도구로 입증되었다.