[논문 리뷰] Modified Grover's search algorithm for the cases where the number of solutions is known

Anupam Gupta, Mayank Gupta외 1명|ArXiv.org|2005. 06. 14.

Data Management and Algorithms인용 수 4

한 줄 요약

이 논문은 해의 수 $ M $ 가 알려져 있을 경우 $ O(\log N) $ 시간 복잡도를 달성하는 수정된 그로버 알고리즘을 제안한다. 이는 반복적인 그로버 단계를 한 번의 최적화된 유니터리 회전으로 대체함으로써 이루어진다. $ M $ 가 알려져 있지 않지만 상한선이 제공될 경우 시간 복잡도는 $ O(M\log N) $ 로 감소하며, 이는 작은 $ M $ 에서 기존의 그로버 알고리즘 $ O(\sqrt{N/M}) $ 보다 크게 향상된다. 이 방법은 알려진 $ M $ 를 활용하여 초기 초위상 상태를 한 번의 단계로 직접 해 상태로 매핑하기 위해 필요한 정확한 회전 각도를 계산한다.

ABSTRACT

Grover's search algorithm searches a database of $N$ unsorted items in $O(\sqrt{N/M})$ steps where $M$ represents the number of solutions to the search problem. This paper proposes a scheme for searching a database of $N$ unsorted items in $O(logN)$ steps, provided the value of $M$ is known. It is also shown that when $M$ is unknown but if we can estimate an upper bound of possible values of $M$, then an improvement in the time complexity of conventional Grover's algorithm is possible. In that case, the present scheme reduces the time complexity to $O(MlogN)$.

연구 동기 및 목표

• 해의 수 $ M $ 가 알려져 있거나 상한선을 가질 수 있는 경우 그로버 검색 알고리즘의 시간 복잡도를 감소시키는 것.
• 기존의 그로버 반복 외의 유니터리 연산이 $ M $ 의 사전 지식을 활용하여 더 빠른 수렴을 이룰 수 있는지 탐색하는 것.
• 알려진 $ M $ 에 맞게 조정된 기하학적 위상 회전을 통해 반복적인 증폭을 회피하고 한 번의 단계로 상태를 준비할 수 있음을 보여주는 것.
• 다양한 $ M $ 의 가정 조건(알려져 있음, 상한선이 있는 경우, 상한선 없음) 하에서 시간 복잡도 향상 분석하는 것.
• 사전에 $ M $ 가 부분적 또는 완전히 알려져 있을 수 있는 실용적 상황에서 양자 검색을 최적화하는 프레임워크 제공하는 것.

제안 방법

• 검색 상태를 큐비트 초위상으로 표현한다: $ |S\rangle = \cos\theta|0\rangle + \sin\theta|1\rangle $, 여기서 $ \theta = \arcsin(\sqrt{M/N}) $ 이며, $ |0\rangle $ 과 $ |1\rangle $ 은 비해결 상태와 해 상태를 각각 나타낸다.
• 초기 상태를 직접 해 상태로 매핑하기 위해 각도 $ \frac{\pi}{2} - \theta $ 만큼의 단일 스텝 유니터리 연산자 $ A = \begin{pmatrix} \sin\theta & -\cos\theta \\ \cos\theta & \sin\theta \end{pmatrix} $ 를 유도한다.
• 연산을 $ A = XO $ 로 구성한다. 여기서 $ O $ 는 표준 오라클이며, $ X $ 는 $ X = \begin{pmatrix} \sin\theta & \cos\theta \\ \cos\theta & -\sin\theta \end{pmatrix} $ 로 정의된 유니터리 행렬로, 평균 이외의 점에 대해 반전을 가능하게 한다.
• 알려진 $ M $ 를 사용하여 $ \theta $ 를 계산함으로써, 한 번의 스텝으로 해 상태에 대한 완전한 진폭 전달을 위한 정확한 회전을 결정할 수 있다.
• 초기 균일 초위상 상태를 준비하기 위해 하다마드 게이트를 적용하여 $ O(\log N) $ 시간 내에 입력을 형성하고, 최적화된 단일 스텝 회전에 입력한다.
• 알려져 있지 않은 $ M $ 에 대해 상한선이 제공될 경우, 각 후보 $ M $ 에 대해 알고리즘을 실행하고 측정을 통해 결과를 검증하며, 정확한 해가 나올 때까지 반복한다.

실험 결과

연구 질문

• RQ1 해의 수 $ M $ 가 알려져 있을 경우 그로버 검색의 시간 복잡도를 $ O(\sqrt{N/M}) $ 이하로 낮출 수 있는가?
• RQ2 어떤 유니터리 변환을 통해 초기 초위상 상태를 한 번의 단계로 직접 해 상태로 매핑할 수 있는가?
• RQ3 반복적인 그로버 단계를 한 번의 최적화된 회전으로 대체할 경우 전체 시간 복잡도에 어떤 영향을 미치는가?
• RQ4 해의 수 $ M $ 가 알려져 있지 않지만 상한선이 제공될 경우 성능 향상은 어떠한가?
• RQ5 제안된 방법은 알려진 또는 상한선이 존재하는 해의 수를 가진 다른 양자 검색 문제로 일반화될 수 있는가?

주요 결과

• 해의 수 $ M $ 가 알려져 있을 경우, 수정된 알고리즘은 $ O(\sqrt{N/M}) $ 반복을 한 번의 최적화된 유니터리 회전으로 대체함으로써 $ O(\log N) $ 시간 복잡도를 달성한다.
• 알려져 있지 않은 $ M $ 에 대해 상한선 $ M_{\text{max}} $ 가 존재할 경우 시간 복잡도는 $ O(M_{\text{max}} \log N) $ 로 감소하며, $ M $ 이 작을 경우 $ O(\sqrt{N/M}) $ 보다 크게 향상된다.
• 핵심적인 향상은 반복적인 진폭 증폭을 제거하고 알려진 또는 상한선이 존재하는 $ M $ 에 맞게 조정된 기하학적 회전을 사용함으로써 한 번의 스텝으로 직접 상태 준비가 가능해졌기 때문이다.
• 비평균 점에 대한 반전을 기반으로 유도된 제안된 연산자 $ A $ 는 행렬의 작용을 통해 상태 벡터에 대해 한 번의 스텝으로 해 상태에 완전한 진폭 전달을 달성함을 검증하였다.
• 해의 수 $ M $ 가 알려져 있을 경우, $ \sin\theta $ 와 $ \cos\theta $ 가 $ M $ 과 $ N $ 에서 계산 가능하므로, 이 방법은 유니터리이고 물리적으로 실현 가능한 것으로 남는다.
• 이 방법은 사전에 해의 수가 알려지거나 추정 가능한 상황에서 양자 검색 최적화의 새로운 방향을 열어준다.