[논문 리뷰] Generalized Grover Search Algorithm for Arbitrary Initial Amplitude Distribution

David Biron, Ofer Biham외 3명|arXiv (Cornell University)|1998. 01. 28.

Quantum Computing Algorithms and Architecture인용 수 3

한 줄 요약

이 논문은 초기 진폭 분포가 임의일 때도 작동하도록 그로버의 양자 검색 알고리즘을 일반화하며, 선형 차분방정식을 통해 진폭 진동의 정확한 해를 유도한다. 주요 기여는 최적 측정 시간 T ∼ O(√(N/r))과 초기 진폭의 표준편차에만 의존하는 확률 경계를 도출한 것이다. 이는 그로버의 방법을 균일한 초기 상태 이외의 경우로 확장한다.

ABSTRACT

Grover's algorithm for quantum searching of a database is generalized to deal with arbitrary initial amplitude distributions. First order linear difference equations are found for the time evolution of the amplitudes of the r marked and N-r unmarked states. These equations are solved exactly. An expression for the optimal measurement time T \sim O(\sqrt{N/r}) is derived which is shown to depend only on the initial average amplitudes of the marked and unmarked states. A bound on the probability of measuring a marked state is derived, which depends only on the standard deviation of the initial amplitude distributions of the marked or unmarked states.

연구 동기 및 목표

• 균일한 초기 진폭 분포를 초월하여 그로버의 양자 검색 알고리즘을 확장하기 위해.
• 임의의 초기 분포 하에서 표적으로 지정된 상태와 지정되지 않은 상태의 진폭 시간 진동을 모델링하기 위해.
• 표적으로 지정된 상태와 지정되지 않은 상태의 평균 진폭에만 의존하는 최적 측정 시간 T를 도출하기 위해.
• 초기 진폭 분포의 표준편차에 기반하여 표적으로 지정된 상태를 측정할 성공 확률에 경계를 설정하기 위해.
• 일차 선형 차분방정식을 사용하여 진폭 진동에 대한 정확한 해석적 해를 제공하기 위해.

제안 방법

• 표적으로 지정된 상태와 지정되지 않은 상태의 진폭 시간 진동을 기술하는 일차 선형 차분방정식을 수립하기 위해.
• 이 차분방정식을 정확히 풀어 시간에 따른 진폭 동역학을 추적하기 위해.
• 최적 측정 시간 T를 T ∼ O(√(N/r))로 표현하기 위해, 여기서 N은 총 상태 수이고 r은 표적 상태 수이다.
• 초기 진폭 분포의 표준편차를 사용하여 표적으로 지정된 상태를 측정할 성공 확률에 대한 경계를 유도하기 위해.
• 최적 시간과 성공 확률이 초기 평균 진폭과 분산에 어떻게 의존하는지 분석하기 위해.
• 균일한 초기 진폭에서 표준 그로버 알고리즘이 일반화된 알고리즘으로 축소됨을 보여줌으로써 결과를 검증하기 위해.

실험 결과

연구 질문

• RQ1 그로버 알고리즘의 최적 측정 시간은 비균일한 초기 진폭 분포에 따라 어떻게 달라지는가?
• RQ2 초기 진폭의 표준편차만을 사용하여 표적으로 지정된 상태를 측정할 성공 확률를 경계할 수 있는가?
• RQ3 임의의 초기 분포 하에서 표적으로 지정된 상태와 지정되지 않은 상태의 진폭은 정확히 어떻게 시간에 따라 변화하는가?
• RQ4 초기 진폭이 비균일할 경우 일반화된 알고리즘이 여전히 √(N/r) 스케일링을 유지하는가?
• RQ5 일반화된 알고리즘이 최대 성공 확률에 도달하기 위한 조건은 무엇인가?

주요 결과

• 최적 측정 시간은 T ∼ O(√(N/r))이며, 이는 표적으로 지정된 상태와 지정되지 않은 상태의 초기 평균 진폭에만 의존한다.
• 표적으로 지정된 상태를 측정할 확률는 초기 진폭 분포의 표준편차에만 의존하는 함수로 경계된다.
• 일차 선형 차분방정식을 사용하여 진폭 진동에 대한 정확한 해석적 해가 도출되었다.
• 초기 진폭이 균일할 경우 일반화된 알고리즘이 표준 그로버 알고리즘으로 축소된다.
• 초기 진폭 분포의 분산이 낮을수록 성공 확률 경계가 더 날카롭게 된다.
• 결과적으로 √(N/r) 스케일링이 비균일한 초기 진폭 분포일 경우에도 그 유지됨을 확인하였다.