[논문 리뷰] Quantum Adiabatic Computation and the Travelling Salesman Problem

Tien D. Kieu|ArXiv.org|2006. 01. 23.

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

한 줄 요약

이 논문은 오라클 해밀토니안을 사용하여 NP-완전 문제인 TSP(최소 비용 순회 문제)에 대한 새로운 양자 아디아바틱 알고리즘을 제안한다. 이 알고리즘은 계산 시간과 에너지 복잡도 모두 다항식 스케일링을 달성하며, 이는 이전의 접근 방식과는 다릅니다. 주요 기여는 에너지에 의존하는 아디아바틱 진화 시간에 대한 일반적인 하한을 도출한 것으로, 이는 에너지가 양자 계산에서 근본적인 복잡도 자원임을 드러냅니다.

ABSTRACT

The NP-complete problem of the travelling salesman (TSP) is considered in the framework of quantum adiabatic computation (QAC). We first derive a remarkable lower bound for the computation time for adiabatic algorithms in general as a function of the energy involved in the computation. Energy, and not just time and space, must thus be considered in the evaluation of algorithm complexity, in perfect accordance with the understanding that all computation is physical. We then propose, with oracular Hamiltonians, new quantum adiabatic algorithms of which not only the lower bound in time but also the energy requirement do not increase exponentially in the size of the input. Such an improvement in both time and energy complexity, as compared to all other existing algorithms for TSP, is apparently due to quantum entanglement. We also appeal to the general theory of Diophantine equations in a speculation on physical implementation of those oracular Hamiltonians.

연구 동기 및 목표

• NP-완전 문제인 TSP에 대한 기존의 양자 아디아바틱 알고리즘들이 겪는 지수적 시간 및 에너지 복잡도 문제를 해결하기 위해.
• 시간과 공간과 함께 물리적 자원으로서의 에너지도 알고리즘 복잡도 평가에 고려되어야 한다는 것을 입증하기 위해.
• 시간과 에너지 양쪽 모두에서 지수적 스케일링을 피하는 TSP를 위한 새로운 오라클 해밀토니안의 클래스를 개발하기 위해.
• 디오판틴 방정식 이론을 통해 이러한 오라클 해밀토니안의 물리적 실현 가능성 탐색을 위해.
• 제안된 알고리즘에서 관측된 복잡도 향상의 배경에 양자 얽힘(entanglement)이 기여할 수 있음을 탐색하기 위해.

제안 방법

• 스chrödinger 방정식과 실제 상태 진화와 위상 모호한 상태 진화 간의 차이를 사용하여 일반적인 아디아바틱 계산 시간 하한을 유도한다.
• 시간에 따라 변하는 해밀토니안 H(t) = f(t)HI + g(t)HP를 도입하여 초기 해밀토니안 HI와 문제 해밀토니안 HP 사이를 선형으로 보간한다.
• 진화된 상태와 기준 상태 사이의 힐버트 공간 거리를 사용하여, 초기 상태에 대한 문제 해밀토니안 HP의 에너지 분포 ΔIE에 의존하는 최소 진화 시간 T_min을 유도한다.
• 최단 순회를 인코딩한 기본 상태를 갖는 오라클 해밀토니안을 제안하며, 선형 보간을 허용하는 유한 차원 힐베르트 공간을 사용한다.
• 디오판틴 방정식 이론을 적용하여 오라클 해밀토니안을 정수 해가 유효한 TSP 순회에 해당하는 물리적 해밀토니안으로 매핑한다.
• 결과로 얻어진 물리적 해밀토니안의 기본 상태 에너지가 최소 순회 길이와 일치함을 보여주어, 원칙적으로 물리적 구현이 가능함을 시사한다.

실험 결과

연구 질문

• RQ1 에너지에 명시적으로 의존하는 아디아바틱 계산 시간 하한을 유도할 수 있는가? 이는 계산의 물리적 성격을 반영할 수 있는가?
• RQ2 TSP에 대한 양자 아디아바틱 알고리즘을 설계할 수 있는가? 이 경우 시간과 에너지 복잡도가 도시 수 M에 대해 다항식 스케일링을 보일 수 있는가?
• RQ3 양자 얽힘은 NP-완전 문제의 다항식 스케일링을 가능하게 하는 데 어떤 역할을 하는가?
• RQ4 기존 수학적 프레임워크인 디오판틴 방정식을 사용하여 TSP의 오라클 해밀토니안을 물리적으로 실현할 수 있는가?
• RQ5 양자 자원을 활용하여 고전적 시뮬레이션의 스케일링 M^M을 능가할 수 있는가?

주요 결과

• 일반적인 아디아바틱 계산 시간 하한이 T_min ≥ 2 / ΔIE로 도출되었으며, 여기서 ΔIE는 초기 상태에 대한 문제 해밀토니안의 에너지 분포이다.
• 제안된 오라클 해밀토니안 접근법은 계산 시간과 에너지 모두에서 다항식 스케일링을 달성하며, 시간 하한은 도시 수 M과 무관하게 일정에 수렴한다.
• 이 알고리즘의 에너지 비용은 이전의 모든 TSP에 대한 양자 아디아바틱 알고리즘과는 달리 M의 제곱에 비례하여 증가한다.
• 이 방법은 해밀토니안의 기본 상태에 TSP 해를 인코딩하는 오라클 해밀토니안에 의존하며, 유한 차원 힐베르트 공간의 설정이 선형 보간을 가능하게 한다.
• 디오판틴 방정식을 통한 물리적 실현이 추측되며, 디오판틴 다항식으로 구성된 해밀토니안은 최단 TSP 순회 길이와 일치하는 기본 상태 에너지를 갖는다.
• 결과적으로, 이전에 아디아바틱 양자 계산에서 부족하게 다뤄졌던 양자 얽힘(entanglement)이 이 복잡도 향상의 핵심 요소일 수 있음을 시사한다.