[논문 리뷰] Speedup of iterated quantum search by parallel performance

Yuri Ozhigov|ArXiv.org|1999. 04. 09.

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

한 줄 요약

이 논문은 선형 미분방정식을 통한 진폭 진동 모델링을 통해, 순차적인 고버의 반복을 동시에 평가함으로써 반복 양자 검색을 가속화하는 병렬 양자 알고리즘을 제안한다. 이로 인해 순차적 고버 반복에 비해 속도 향상 요소 √2를 달성하여, 최종 해를 찾는 데 소요되는 시간을 kπ√N/4에서 kπ√N/(4√2)로 감소시키며, 오차 확률은 약 k/√N 수준을 유지한다.

ABSTRACT

Given a sequence $f_1 (x_1), f_2 (x_1, x_2), ..., f_k (x_1, ..., x_k)$ of Boolean functions, each of which $f_i$ takes the value 1 in a single point of the form $x_1^0, x_2^0, ..., x_i^0, i=1,2,..., k$. A length of all $x_i^0$ is $n, N=2^n$. It is shown how to find $x_k^0 (k\geq 2)$ using \frac{kπ\sqrt{N}}{4\sqrt{2}}$ simultaneous evaluations of functions of the form $f_i, f_{i+1}$ with an error probability of order $k/\sqrt{N}$ which is $\sqrt{2}$ times as fast as by the $k$ sequential applications of Grover algorithm for the quantum search. Evolutions of amplitudes in parallel quantum computations are approximated by systems of linear differential equations. Some advantage of simultaneous evaluations of all $f_1 ,... f_k$ are discussed.

연구 동기 및 목표

• 반복 양자 검색 문제 해결에서 순차적 고버 반복의 비효율성을 해결하기 위해.
• 의존적인 부울 함수 체인에서 최종 해를 찾는 데 소요되는 시간 복잡도를 감소시키기 위해.
• 양자 검색에서 다수의 함수를 동시에 평가하는 데서 유리한 점을 탐색하기 위해.
• 분석적 통찰을 얻기 위해 양자 진폭 진동을 선형 미분방정식 시스템으로 모델링하기 위해.
• 오차 확률이 유한하게 유지되면서도 순차적 고버 기반 접근법에 비해 증명 가능한 속도 향상을 달성하기 위해.

제안 방법

• k개의 부울 함수 f₁(x₁), f₂(x₁,x₂), ..., fₖ(x₁,...,xₖ)를 포함하는 반복 양자 검색 문제를 수립하며, 각 함수는 유일한 해를 가진다.
• 모든 함수 fᵢ와 fᵢ₊₁가 단일 양자 계산 단계에서 동시에 평가되는 병렬 평가 전략을 제안한다.
• 양자 진폭의 진동을 선형 미분방정식 시스템을 사용하여 양자 상태의 역학을 근사적으로 모델링한다.
• 오차 확률이 k/√N 수준일 때, 필요한 동시 평가 횟수를 kπ√N/(4√2)로 유도한다.
• 이산적 고버 반복의 연속적 근사를 활용하여 속도 향상 증명을 단순화한다.
• 오차 확률을 분석하고, O(k/√N)로 스케일링됨을 보여주며, 이는 중간 정도의 k와 큰 N에 대해 여전히 작다는 것을 의미한다.

실험 결과

연구 질문

• RQ1 반복 양자 검색에서 다수의 부울 함수를 동시에 평가하는 것이 순차적 고버 반복에 비해 총 쿼리 수를 줄일 수 있는가?
• RQ2 검색 과정에서 fᵢ와 fᵢ₊₁를 동시에 평가함으로써 달성 가능한 이론적 속도 향상은 무엇인가?
• RQ3 이러한 병렬 계산에서 진폭 진동의 역학을 정확하게 어떻게 모델링할 수 있는가?
• RQ4 이 병렬 양자 검색 프레임워크에서 속도 향상과 오차 확률 사이의 상충 관계는 어떠한가?
• RQ5 미분방정식의 사용이 이 설정에서 양자 검색 과정의 엄밀하고 단순화된 분석을 가능하게 하는가?

주요 결과

• 제안된 병렬 양자 검색 알고리즘은 반복 검색 문제에서 순차적 고버 반복에 비해 √2의 속도 향상을 달성한다.
• 필요한 동시 함수 평가 횟수는 순차적 고버 검색의 kπ√N/4에서 kπ√N/(4√2)로 감소된다.
• 알고리즘의 오차 확률은 O(k/√N)로 유계이며, 중간 정도의 k와 큰 N에 대해 여전히 작다.
• 병렬 계산에서의 진폭 진동은 선형 미분방정식 시스템에 의해 잘 근사된다.
• 이 방법은 이산적 고버 반복을 연속적 미분방정식 모델로 대체함으로써 속도 향상 증명을 단순화한다.
• 이 접근법은 검색 체인에서 다수의 함수를 동시에 평가함으로써 상당한 성능 향상과 분석 가능성을 동시에 달성함을 보여준다.