[논문 리뷰] Limitations of some simple adiabatic quantum algorithms

Lawrence M. Ioannou, Michele Mosca|ArXiv.org|2007. 02. 26.

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

한 줄 요약

이 논문은 단순한 등온 양자 알고리즘의 한계를 분석하여, 초기 해밀토니안 $ H_0 $가 하다르드 기저에서 대각형이며, 최종 해밀토니안 $ H_1 $가 계산 기저에서 대각형일 경우, 알고리즘이 큐비트 수에 대해 지수적 시간보다 빠른 실행 시간을 달성하려면 각각의 해밀토니안이 최소 두 개의 큰 상호수직 고유공간을 가져야 한다고 증명한다. 이 작업은 펄라와 구트만의 최적성 결과를 강화하여, 하다르드 기저에서 대각형인 어떤 해밀토니안도 검색 문제를 풀 때 균일한 초위상 상태보다 뛰어난 성능을 내지 못함을 보여준다.

ABSTRACT

Let $H(t)=(1-t/T)H_0 + (t/T)H_1$, $t\in [0,T]$, be the Hamiltonian governing an adiabatic quantum algorithm, where $H_0$ is diagonal in the Hadamard basis and $H_1$ is diagonal in the computational basis. We prove that $H_0$ and $H_1$ must each have at least two large mutually-orthogonal eigenspaces if the algorithm's running time is to be subexponential in the number of qubits. We also reproduce the optimality proof of Farhi and Gutmann's search algorithm in the context of this adiabatic scheme; because we only consider initial Hamiltonians that are diagonal in the Hadamard basis, our result is slightly stronger than the original.

연구 동기 및 목표

• 간단한 등온 양자 알고리즘의 구조적 한계를 규명하여 큐비트 수에 대해 지수적 시간보다 빠른 실행 시간을 달성하지 못하게 하는 원인을 밝히는 것.
• 등온 진화의 효율성에 영향을 주는 $ H_0 $와 $ H_1 $의 고유공간 구조의 역할을 분석하는 것.
• 등온 연속 시간 양자 검색에 대한 펄라와 구트만의 최적성 결과를 하다르드 기저에서 대각형인 초기 해밀토니안에 국한하여 강화하는 것.
• 최소한의 초기 해밀토니안 가정 하에 등온 알고리즘의 실행 시간에 대한 일반적인 하한을 설정하는 것.

제안 방법

• 저자들은 시간에 따라 변하는 해밀토니안 $ H_{\textrm{gen}}(t) = (1-s(t))H_0 + s(t)H_1 $ 을 사용하여 등온 진화를 모델링하며, $ s(t) $ 는 0에서 1로 증가하는 부드러운 함수이다.
• 분할을 통해 $ H_0 $ 와 $ H_1 $ 을 정의하며, $ H_0 $ 는 하다르드 기저에서 대각형이고, $ H_1 $ 은 계산 기저에서 대각형이다.
• 분석은 슈뢰딩거 방정식을 사용하여 진동수의 흐름을 추적하며, 변화하는 상태와 초기 균일 초위상 상태 간의 오버랩 변화율에 집중한다.
• 카우치-슈바르츠 부등식을 적용하여 초기 상태에서의 진폭 누출 속도를 제한하고, 이로부터 필수적인 진화 시간 $ T $ 에 대한 하한을 도출한다.
• 저자들은 $ |\langle u|\psi(T)\rangle|^2 $ 에 대한 유계를 유도하여, $ T $ 가 지수적으로 클 경우에만 이 값이 너무 빨리 감소하지 않음을 보여준다.
• 대칭성에 의해 유사한 추론을 최종 해밀토니안에 적용하여, $ H_0 $ 와 $ H_1 $ 이 모두 큰 상호수직 고유공간을 가져야만 지수적 시간보다 빠른 실행 시간이 가능함을 증명한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $ H_0 $ 와 $ H_1 $ 이 등온 양자 알고리즘이 지수적 시간보다 빠른 실행 시간을 달성할 수 있는가?
• RQ2 하나의 초기 해밀토니안이 하다르드 기저에서 대각형인 경우, 검색 문제를 풀 때 균일한 초위상 상태보다 뛰어난 성능을 낼 수 있는가?
• RQ3 효율적인 등온 진화를 위해 $ H_0 $ 와 $ H_1 $ 의 두 번째로 큰 고유공간의 최소 크기는 얼마여야 하는가?
• RQ4 $ H_0 $ 나 $ H_1 $ 의 가장 큰 고유공간의 차원은 실행 시간 하한에 어떤 영향을 미치는가?

주요 결과

• 만약 $ H_0 $ 의 가장 큰 고유공간이 작다면, 높은 확률로 해를 달성하기 위해 지수적 시간 $ T $ 가 필요하다.
• 유사하게, 만약 $ H_1 $ 의 가장 큰 고유공간이 작다면, 알고리즘 역시 지수적 시간 $ T $ 가 필요하다.
• 지수적 시간보다 빠른 실행 시간을 달성하려면 $ H_0 $ 와 $ H_1 $ 가 모두 최소 두 개의 큰 상호수직 고유공간을 가져야 한다.
• 유도된 유계 $ |\langle w|\psi_B(T)\rangle|^2 \leq \frac{2E_1T}{\sqrt{N}} + \frac{1}{\sqrt{N}} $ 는 높은 성공 확률를 달성하기 위해 $ T $ 가 지수적으로 커져야 한다는 것을 시사한다.
• 이 결과는 하다르드 기저에서 대각형인 어떤 해밀토니안도 균일한 초위상 상태보다 뛰어난 성능을 내지 못함을 보여줌으로써, 펄라와 구트만의 최적성 증명을 강화한다.
• 분석은 $ H_0 $ 와 $ H_1 $ 의 두 번째로 큰 고유공간의 차원이 알고리즘의 복잡도를 결정하는 데 핵심적인 요소임을 보여준다.