[논문 리뷰] Quantum search for multiple items using parallel queries

Lov K. Grover, Jaikumar Radhakrishnan|ArXiv.org|2004. 07. 27.

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

한 줄 요약

이 논문은 d개의 병렬 복제본을 사용하여 데이터베이스에서 다수의 항목을 검색하는 양자 알고리즘을 제시하며, 거의 최적의 쿼리 복잡도를 달성한다. 이는 Ω(√(Nk/(d·min{d,k})))의 하한을 확립하고, 이 하한에 로그 인자 정도 이내로 도달하는 알고리즘을 설계함으로써, 고전적 그로버 검색과 힐리그만의 다중 항목 검색을 병렬 쿼리 모델으로 일반화한다.

ABSTRACT

In the quantum database search problem we are required to search for an item in a database. In this paper, we consider a generalization of this problem, where we are provided d identical copes of a database each with N items which we can query in parallel. Then, given k items, we are required to determine the locations where these items are stored. We show that any quantum algorithm for this task must perform Omega(sqrt{Nk/d min{d,k}}) parallel queries. We also design an algorithm whose performance comes within a factor O(log d) of this lower bound.

연구 동기 및 목표

• 병렬 쿼리가 가능한 다수의 데이터베이스 복제본이 존재할 때 다수의 항목을 찾는 데 있어 양자 검색 알고리즘의 격차를 보완하기 위해.
• d개의 동일한 데이터베이스에 대한 병렬 액세스 상황에서 고전적 그로버의 단일 항목 검색과 힐리그만의 다중 항목 검색을 일반화하기 위해.
• 크기가 각각 N인 d개의 병렬 데이터베이스에서 k개의 서로 다른 항목을 찾는 데 필요한 병렬 쿼리 수에 대한 엄밀한 하한과 상한을 확립하기 위해.
• 증명된 하한에 로그 인자 정도 이내로 도달하는 실용적인 양자 알고리즘을 설계하기 위해.

제안 방법

• 원래 데이터베이스 함수 f에 대해 F = f^⊗d로 표현되는 더 큰 단일 데이터베이스에서 k개의 항목을 검색하는 문제로 문제를 재구성한다.
• 양자 반박 방법을 사용하여 데이터베이스 변화에 대한 검색 문제의 민감도를 분석함으로써 병렬 쿼리 수에 대한 하한을 유도한다.
• N개의 주소를 N/d 크기의 d개의 서로소 집합으로 나누어 각각을 별도의 데이터베이스 복제본에 할당하는 랜덤화된 로드 밸런싱 전략을 설계한다.
• 보이어-브라스ارد-호이어-타프 양자 검색 알고리즘의 수정된 버전을 각 데이터베이스 복제본에 적용하며, 각 복제본에 최대 t개의 항목이 있다고 가정하고, 기대 쿼리 비용을 최소화할 수 있도록 t를 선택한다.
• 집중도 수식을 사용하여, 높은 확률로 어떤 데이터베이스 복제본에도 t개 이상의 항목이 포함되지 않음을 보장함으로써, 알고리즘이 일정 확률로 성공함을 보장한다.
• 성공 확률를 높이기 위해 알고리즘을 다수 번 반복함으로써, 전체적으로 이론적 하한에 가까운 총 쿼리 복잡도를 달성한다.

실험 결과

연구 질문

• RQ1 크기가 N인 데이터베이스의 d개 동일 복제본에서 k개의 서로 다른 항목을 찾는 데 필요한 최소 병렬 쿼리 수는 얼마인가?
• RQ2 병렬 양자 검색 모델에서 최적의 쿼리 복잡도는 N, k, d에 따라 어떻게 스케일링되는가?
• RQ3 이 문제에 대해 양자 알고리즘이 이론적 하한에 상수 인자 범위 내로 도달하는 쿼리 복잡도를 달성할 수 있는가?
• RQ4 k와 d의 상대적 크기에 따라 알고리즘 성능은 어떻게 달라지며, 특히 k ≤ √d, √d < k ≤ d lg d, 또는 k > d lg d일 경우 어떻게 되는가?
• RQ5 기존의 양자 검색 알고리즘(예: 그로버, 보이어-브라스ارد-호이어-타프)은 병렬 데이터베이스 환경에 얼마나 잘 적응할 수 있는가?

주요 결과

• 논문은 크기가 N인 데이터베이스의 d개 복제본에서 k개의 항목을 찾는 데 필요한 병렬 쿼리 수에 대해 Ω(√(Nk/(d·min{d,k})))의 하한을 확립한다.
• 이 하한에 로그 인자 정도 이내로 도달하는 O(√(Nk lg d / (d·min{d,k}))) 병렬 쿼리 수를 갖는 알고리즘을 설계한다.
• k ≤ √d인 경우, 알고리즘은 O(√(N/d)) 쿼리 수를 달성하며, 이는 상수 인자 범위 내에서 최적이다.
• k > d lg d인 경우, 알고리즘은 O(√(Nk)/d) 쿼리 수를 달성하며, 이는 병렬 액세스가 순차적 검색에 비해 상당한 속도 향상을 가능하게 함을 보여준다.
• 분석 결과, 모든 매개변수 영역에서 상한과 하한이 최대 로그 인자 정도 이내로 겹치며, 제안된 알고리즘이 거의 최적임을 시사한다.
• 결과는 그로버의 단일 항목 검색과 힐리그만의 다중 항목 검색을 병렬 쿼리 모델으로 일반화하며, 양자 검색 분야의 핵심 결과들을 통합한다.