[논문 리뷰] An intuitive Hamiltonian for quantum search

Stephen Fenner|ArXiv.org|2000. 04. 24.

Quantum Computing Algorithms and Architecture참고 문헌 7인용 수 9

한 줄 요약

이 논문은 그로버의 양자 검색 알고리즘을 단계별로 정확히 재현하는 단순한 시간에 종속되지 않는 해밀토니안을 소개한다. 이는 알고리즘에 대한 새로운 물리적 직관을 제공하며, 디지털 회로의 진동과 정확히 일치하는 연속시간 역학으로의 직접적 다리를 놓는다. 이전의 유사한 접근 방식과 달리, 최적의 $ O(2^{n/2}) $ 검색 시간을 갖는다.

ABSTRACT

We present new intuition behind Grover's quantum search algorithm by means of a Hamiltonian. Given a black-box Boolean function f mapping strings of length n into {0,1} such that f(w) = 1 for exactly one string w, L. K. Grover describes a quantum algorithm that finds w in O(2^{n/2}) time. Farhi & Gutmann show that w can also be found in the same amount time by letting the quantum system evolve according to a simple Hamiltonian depending only on f. Their system evolves along a path far from that taken by Grover's original algorithm, however. The current paper presents an equally simple Hamiltonian matching Grover's algorithm step for step. The new Hamiltonian is similar in appearance from that of Farhi & Gutmann, but has some important differences, and provides new intuition for Grover's algorithm itself. This intuition both contrasts with and supplements other explanations of Grover's algorithm as a rotation in two dimensions, and suggests that the Hamiltonian-based approach to quantum algorithms can provide a useful heuristic for discovering new quantum algorithms.

연구 동기 및 목표

• 시간에 종속되지 않는 해밀토니안을 사용하여 그로버의 양자 검색 알고리즘에 대한 새로운 직관적인 물리적 해석을 제공한다.
• 디지털 회로의 각 단계와 정확히 일치하는 단위 변환의 진동을 정확히 시뮬레이션하는 해밀토니안을 구축한다.
• 이 접근 방식을 파르히와 구트만의 이전 아날로그 해밀토니안과 대조하여, 다른 진동 경로를 따르는 점을 비교한다.
• 해밀토니안 기반 설계가 새로운 양자 알고리즘을 발견하는 힌트로 기능할 수 있음을 제안한다.
• 아날로그 해밀토니안이 디지털 양자 회로를 효율적으로 시뮬레이션할 수 있는지, 반대로도 마찬가지인지 탐구한다.

제안 방법

• 시스템의 시간 진동을 지배하는 해밀토니안 $ H = \frac{1}{2} \sin(2\theta) \left( |\sigma\rangle\!\langle\sigma| - |w\rangle\!\langle w| \right) $ 를 제안하며, 여기서 $ \theta = \arccos(1/\sqrt{N}) $ 이다.
• 시간 진동 연산자 $ e^{-iHt_0} $ 가 $ t_0 = \frac{\pi - 2\theta}{\sin 2\theta} $ 일 때, $ |\sigma\rangle $ 와 $ |w\rangle $ 가 생성하는 두 차원 부분공간에서 그로버의 반복 연산자 $ G $ 와 일치함을 보인다.
• $ e^{-iHt_0} = G + 2P $ 를 증명하며, 여기서 $ P $ 는 $ |\sigma\rangle $-$ |w\rangle $ 부분공간의 수직 여부를 나타내는 사영 연산자이다. 이는 전체 진동의 정확한 진동을 보장한다.
• 연산자 지수 항등식 $ e^{A} = \lim_{k\to\infty} \left(I + \frac{A}{k}\right)^k $ 을 사용하여 이산 단위 변환의 진동과 연속시간 역학을 연결한다.
• 새로운 해밀토니안을 파르히와 구트만의 $ H' $ 과 비교하여, 경로와 물리적 타당성에서의 차이를 보여주되, 디지털 회로 진동과 더 가까운 일치를 보임을 확인한다.
• 해밀토니안 $ e^{-iH} $ 와 $ G $ 사이의 근사 오차를 분석하여, $ x = N^{-1/2} $ 일 때 오차가 $ O(N^{-3/2}) $ 임을 확인함으로써, 대략 최적임을 입증한다.

실험 결과

연구 질문

• RQ1 시간에 종속되지 않는 해밀토니안을 구성할 수 있는가? 이는 그로버 알고리즘의 각 단계를 정확히 시간 진동으로 재현할 수 있어야 한다.
• RQ2 이 해밀토니안 기반 진동은 파르히와 구트만의 아날로그 접근 방식과 비교해 경로와 물리적 타당성 측면에서 어떻게 다를까?
• RQ3 해밀토니안 기반 접근 방식은 특히 단위 변환 회로로 쉽게 표현할 수 없는 알고리즘의 경우, 새로운 양자 알고리즘을 발견하는 데 힌트로 기능할 수 있는가?
• RQ4 해밀토니안의 시간 진동이 작은 양자 회로에 의해 효율적으로 시뮬레이션될 수 있는지 판단할 수 있는 일반 기준은 무엇인가?
• RQ5 원래의 파르히와 구트만의 해밀토니안은 양자 회로에 의해 효율적으로 시뮬레이션될 수 있는가? 이는 아날로그에서 디지털 양자 알고리즘 설계에 어떤 함의를 갖는가?

주요 결과

• 제안된 해밀토니안 $ H $ 는 초기 상태 $ |\sigma\rangle $ 와 목표 상태 $ |w\rangle $ 가 생성하는 부분공간에서 시간 진동 $ e^{-iHt_0} $ 가 정확히 그로버의 반복 연산자 $ G $ 와 일치함을 보여준다.
• 진동 시간 $ t_0 = \frac{\pi - 2\theta}{\sin 2\theta} $ 는 $ e^{-iHt_0} = G $ 를 유도하며, 그로버 알고리즘과 동일한 $ O(2^{n/2}) $ 검색 복잡도를 달성한다.
• $ e^{-iH} $ 와 $ G $ 사이의 근사 오차는 $ O(N^{-3/2}) $ 이며, 이는 큰 $ N $ 에서 이산 및 연속시간 진동이 거의 구분되지 않음을 확인한다.
• 이 해밀토니안은 파르히와 구트만의 $ H' $ 과는 상당히 다름을 보이며, 힐베르트 공간 내에서 다른 경로를 따르지만, 디지털 알고리즘의 진동과 더 가까운 일치를 보인다.
• 이 방법은 해밀토니안이 단위 변환 회로보다 더 직관적인 기초가 될 수 있음을 시사한다.
• 결과적으로, 해밀토니안이 알려진 알고리즘 단계와 일치하도록 구성되어 있을 경우, 그 해밀토니안의 진동이 양자 회로에 의해 효율적으로 시뮬레이션될 수 있음을 암시한다.