[논문 리뷰] Quantum adiabatic evolutions that can't be used to design efficient algorithms

Zhaohui Wei, Mingsheng Ying|ArXiv.org|2006. 04. 11.

Quantum Computing Algorithms and Architecture참고 문헌 1인용 수 3

한 줄 요약

이 논문은 간단한 초기 또는 최종 해밀토니안을 가진 양자 아디아바틱 알고리즘은 역지수적 최소 에너지 갭을 겪으며, 이는 이들이 지수적으로 느리게 되고 따라서 효율적인 계산에 효과적이지 않음을 보여준다. 저자들은 양자 아디아바틱 정리에 의해 이러한 진화가 임의의 보간 경로를 사용하더라도 다항 시간 성능을 달성할 수 없음을 증명함으로써, 검색과 같은 특정 문제에 대해 효율적인 양자 슈퍼포지션을 배제한다.

ABSTRACT

Quantum adiabatic computation is a novel paradigm for the design of quantum algorithms, which is usually used to find the minimum of a classical function. In this paper, we show that if the initial hamiltonian of a quantum adiabatic evolution with a interpolation path is too simple, the minimal gap between the ground state and the first excited state of this quantum adiabatic evolution is an inverse exponential distance. Thus quantum adiabatic evolutions of this kind can't be used to design efficient quantum algorithms. Similarly, we show that a quantum adiabatic evolution with a simple final hamiltonian also has a long running time, which suggests that some functions can't be minimized efficiently by any quantum adiabatic evolution with a interpolation path.

연구 동기 및 목표

• 초기 또는 최종 해밀토니안이 너무 단순할 경우 양자 아디아바틱 알고리즘의 성능 한계를 조사하는 것.
• 양자 아디아바틱 진화가 고전적 함수의 최소화에 대해 효율적인 해를 제공할 수 있는지 판단하는 것.
• 일부 아디아바틱 경로가 지수적으로 작은 에너지 갭을 유도하여 효율적인 알고리즘 설계를 무효화하는 것을 입증하는 것.
• 선형 보간 경로에서의 결과를 임의의 연속적인 보간 경로로 일반화하는 것.
• 양자 아디아바틱 최적화에서 악성 케이스를 식별하기 위한 이론적 기반을 제공하는 것.

제안 방법

• 저자들은 최소 갭이 아디아바틱 진화를 보장하기 위해 충분히 크다는 조건을 사용하여 양자 아디아바틱 정리를 적용한다.
• 최소 갭 $ g_{\text{min}} = \min_t [E_1(t) - E_0(t)] $ 와 해밀토니안의 변화율 $ D_{\text{max}} = \max_t |\langle E_1,t | \frac{dH}{dt} | E_0,t \rangle| $ 을 정의한다.
• 선형 보간 경로 $ H(t) = (1-t/T)H_0 + (t/T)H_1 $ 에 대해 $ g_{\text{min}} $ 의 하한을 유도하여, 이 값이 $ \frac{2}{2^{n/2 - n/100}} $ 보다 작다는 것을 보여준다.
• 임의의 연속적인 보간 경로 $ H(t) = f(t)H_0 + g(t)H_1 $ 에 대해 결과를 일반화하여, 동일한 갭 하한을 상수 $ c_2 $ 로 스케일링한 형태로 유지한다.
• 대칭성과 유니터리 변환을 사용하여, 최종 해밀토니안이 단순한 프로젝터일 경우에도 최소 갭이 동일한 지수적 표현으로 유계임을 보여준다.
• 시간에 따라 변하는 해밀토니안의 특성 다항식을 분석하고 특정 구간 내의 근을 식별하여 에너지 갭을 유계로 제한하는 데 기반한다.

실험 결과

연구 질문

• RQ1 간단한 초기 해밀토니안을 가진 양자 아디아바틱 알고리즘이 고전적 함수 최소화에 대해 효율적인 성능를 달성할 수 있는가?
• RQ2 간단한 초기 또는 최종 해밀토니안을 가진 아디아바틱 진화에서 최소 에너지 갭은 무엇이며, 이는 실행 시간에 어떻게 영향을 미치는가?
• RQ3 보간 경로의 선택이 이러한 아디아바틱 진화에서 최소 갭에 영향을 미치는가?
• RQ4 이 프레임워크를 사용하여 양자 아디아바틱 알고리즘의 최악의 성능을 유계로 제한할 수 있는가?
• RQ5 간단한 최종 해밀토니안을 가진 아디아바틱 진화를 사용하여 양자 검색에서 지수적 스피드업을 달성할 수 있는가?

주요 결과

• 간단한 초기 해밀토니안을 가진 아디아바틱 진화에서 최소 갭 $ g_{\text{min}} $ 는 $ \frac{2}{2^{n/2 - n/100}} $ 이하로 유계이며, 이는 $ n $ 에 대해 지수적으로 작다.
• 결과적으로 필요한 진화 시간 $ T $ 는 $ n $ 에 대해 지수적으로 커지며, 이는 이러한 알고리즘이 비효율적임을 의미한다.
• 동일한 지수적 하한은 선형 경로 외에도 임의의 연속적인 보간 경로에 대해서도 성립한다.
• 상수 $ c_2 $ 를 포함하여 일반화되어, $ c_1 < f(t) + g(t) < c_2 $ 를 만족하는 임의의 경로에 대해 $ g_{\text{min}} < \frac{2c_2}{2^{n/2 - n/100}} $ 이다.
• 최종 해밀토니안이 단순할 경우(예: 프로젝터일 경우), 동일한 결과가 성립하며, 이러한 진화도 지수적으로 작은 갭을 겪는다.
• 이는 최적의 경로 선택이어도 구조적 검색과 같은 문제에 대해 양자 아디아바틱 알고리즘이 지수적 스피드업을 제공할 수 없다는 것을 의미한다.