[논문 리뷰] Non-Adiabatic Quantum Dynamics of Grover's Adiabatic Search Algorithm

Sangchul Oh, Sabre Kais|arXiv (Cornell University)|2014. 06. 27.

Quantum Mechanics and Applications참고 문헌 2인용 수 7

한 줄 요약

이 논문은 두 상태 체계 표현을 사용하여 그로버의 아디아바틱 양자 검색 알고리즘의 비아디아바틱 역학을 연구하며, 블로흐 구 표면 상의 궤적을 통해 상태 진동을 시각화한다. 비아디아바틱 전이 확률이 짧은 시간에는 지수 감소에서 긴 시간에는 역제곱 감소로 전이됨을 밝혀내며, 일정한 근사 구동 해밀토니언이 이 확률을 역사사제곱 감소로 감소시켜 아디아바틱 정밀도를 크게 향상시킴을 보여준다.

ABSTRACT

We study quantum dynamics of Grover's adiabatic search algorithm with the equivalent two-level system. Its adiabatic and non-adiabatic evolutions are visualized as trajectories of Bloch vectors on a Bloch sphere. We find the change in the non-adiabatic transition probability from exponential decay for short running time to inverse-square decay for long running time. The size dependence of the critical running time is expressed in terms of Lambert $W$ function. The transitionless driving Hamiltonian is obtained to make a quantum state follow the adiabatic path. We demonstrate that a constant Hamiltonian, approximate to the exact time-dependent driving Hamiltonian, can alter the non-adiabatic transition probability from the inverse square decay to the inverse fourth power decay with running time. This may open up a new way of reducing errors in adiabatic quantum computation.

연구 동기 및 목표

• 최소 갭 근사 이론을 초월하여 그로버의 아디아바틱 검색 알고리즘의 비아디아바틱 양자 역학을 분석하기 위해.
• 효율적인 두 상태 체계의 블로흐 구 표면 상 궤적을 통해 아디아바틱 및 비아디아바틱 상태 진동을 시각화하기 위해.
• 짧은 시간과 긴 시간의 비아디아바틱 감소 영역 간 전이를 나타내는 임계 실행 시간의 스케일링을 규명하기 위해.
• 정확한 시간에 따라 변하는 해밀토니언보다 일정한 근사 구동 해밀토니언이 비아디아바틱 전이를 더 효과적으로 억제할 수 있는지 탐색하기 위해.
• 이러한 구동 해밀토니언이 오차율을 감소시켜 아디아바틱 양자 계산을 빠르게 수행할 잠재력을 평가하기 위해.

제안 방법

• 입력 상태 |φ_in⟩와 목표 상태 |w⟩로 이루어진 정규직교 기저를 사용하여 아디아바틱 검색을 시간에 따라 변하는 두 상태 체계로 모델링하기 위해.
• 에너지 갭이 ℏω(s) = (1/N)√(Z² + X²)인 시간에 따라 변하는 혼합 각도 θ(s)를 갖는 파울리 행렬을 사용하여 시간에 따라 변하는 해밀토니안을 표현하기 위해.
• 블로흐 벡터의 블로흐 구 표면 상 궤적을 통해 양자 상태 진동을 시각화하여 아디아바틱 및 비아디아바틱 행동을 구분하기 위해.
• 정확한 아디아바틱 진동을 강제하기 위해 정확한 전이 없음 구동 해밀토니안 H_D(t) = -ħ(ḋθ/2)σ_y를 유도하기 위해, 여기서 ḃθ = (1/T)(dθ/ds).
• 시간 도함수 ḃθ의 최소값과 최대값에서 유도된 H_D^min 및 H_D^max를 사용하여 시간에 따라 변하는 H_D(t)를 일정한 구동 해밀토니안으로 근사하기 위해.
• 실행 시간 T와 시스템 크기 N에 따라 비아디아바틱 전이 확률 P(T)를 계산하기 위해 시간에 따라 변하는 슈뢰딩거 방정식을 수치적으로 해결하기 위해.

실험 결과

연구 질문

• RQ1 그로버의 아디아바틱 검색 알고리즘에서 비아디아바틱 전이 확률은 실행 시간 T에 따라 어떻게 스케일링되는가?
• RQ2 지수 감소에서 역제곱 감소로의 전이를 나타내는 임계 실행 시간이 문제 크기 N에 따라 어떻게 의존하는가?
• RQ3 일정한 근사 구동 해밀토니언이 표준 아디아바틱 진동보다 비아디아바틱 오차를 크게 감소시킬 수 있는가?
• RQ4 근사 일정 구동 해밀토니안 H_D^min은 에너지 갭과 그로 인한 비아디아바틱 전이 확률에 어떻게 영향을 미치는가?
• RQ5 항목의 변화가 최소한이지만, 근사 구동 해밀토니안은 아디아바틱 조건을 얼마나 변화시키는가?

주요 결과

• 비아디아바틱 전이 확률 P(T)는 짧은 실행 시간 동안 지수 감소를 보이며, 긴 시간에는 역제곱 감소(P(T) ∝ 1/T²)로 전이된다.
• 역제곱 감소의 시작을 나타내는 임계 실행 시간 T_c는 시스템 크기 N에 따라 스케일링되며, 람베르트 W 함수를 사용하여 표현된다.
• 근사 일정 구동 해밀토니안 H_D^min은 긴 실행 시간 동안 비아디아바틱 전이 확률을 1/T²에서 1/T⁴로 감소시켜 오차 억제를 크게 향상시킨다.
• 아디아바틱 조건의 분모가 3.96% 증가하는 것 외에는 거의 변화가 없음에도 불구하고, H_D^min은 P(T)의 스케일링에 극적인 변화를 유도하여 갭 수정에 대한 비선형 반응을 나타낸다.
• 구동 해밀토니안 H_D^min은 순순한 에너지 준위와 블로흐 구 표면 궤적에 대해 최소한의 변화를 유도하지만, 비아디아바틱 오차 억제에 있어 극적인 향상을 이룬다.
• 수치 결과는 일정한 근사 구동 해밀토니언이 오차 감소 측면에서 정확한 시간에 따라 변하는 해밀토니언보다 뛰어난 성능을 보일 수 있으며, 더 빠른 아디아바틱 양자 계산을 위한 실용적인 길을 제시한다.