[논문 리뷰] Dynamics of quantum adiabatic evolution algorithm for Number Partitioning

Vadim Smelyanskiy, U. von Toussaint외 1명|ArXiv.org|2002. 02. 26.

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

한 줄 요약

이 논문은 시간에 따라 변화하는 해밀토니안을 가진 양자 스핀 거친계 모델로의 매핑을 통해 NP-완전 문제인 숫자 분할 문제에 대한 양자 아디아바틱 알고리즘을 분석한다. 최소 에너지 갭을 $ g_{\text{min}} = \mathcal{O}(n \, 2^{-n/2}) $로 유도하며, 이는 시스템의 동역학이 에너지 공간에서 일차원 양자 확산으로 환원될 수 있기 때문에 지수적 복잡도를 드러내며, 이는 랜덤 인스턴스에서 알고리즘의 효율성을 제한한다.

ABSTRACT

We have developed a general technique to study the dynamics of the quantum adiabatic evolution algorithm applied to random combinatorial optimization problems in the asymptotic limit of large problem size $n$. We use as an example the NP-complete Number Partitioning problem and map the algorithm dynamics to that of an auxilary quantum spin glass system with the slowly varying Hamiltonian. We use a Green function method to obtain the adiabatic eigenstates and the minimum excitation gap, $g_{ m min}={\cal O}(n 2^{-n/2})$, corresponding to the exponential complexity of the algorithm for Number Partitioning. The key element of the analysis is the conditional energy distribution computed for the set of all spin configurations generated from a given (ancestor) configuration by simulteneous fipping of a fixed number of spins. For the problem in question this distribution is shown to depend on the ancestor spin configuration only via a certain parameter related to the energy of the configuration. As the result, the algorithm dynamics can be described in terms of one-dimenssional quantum diffusion in the energy space. This effect provides a general limitation on the power of a quantum adiabatic computation in random optimization problems. Analytical results are in agreement with the numerical simulation of the algorithm.

연구 동기 및 목표

• 문제 크기 $ n \to \infty $ 일 때 랜덤 NP-완전 최적화 문제에 대한 양자 아디아바틱 알고리즘의 渐近적 행동을 이해하기 위해.
• 불안정하고 무질서한 시스템, 예를 들어 랜덤 조합 최적화 문제와 같은 랜덤 조합 최적화 문제에서 양자 아디아바틱 계산의 기본적 한계를 규명하기 위해.
• 조건부 에너지 분포와 효과적인 일차원 확산을 바탕으로 아디아바틱 진동의 동역학을 분석하는 일반적 프레임워크를 수립하기 위해.
• 숫자 분할 문제에서 알고리즘의 런타임 복잡도를 결정하는 최소 에너지 갭을 정량화하기 위해.

제안 방법

• 숫자 분할 문제의 양자 아디아바틱 진동을 시간에 따라 변화하는 해밀토니안을 가진 효과적인 양자 스핀 거친계 모델로 매핑한다.
• 그린 함수 방법을 사용하여 아디아바틱 고유상태와 최소 자극 갭 $ g_{\text{min}} $를 계산한다.
• 고정된 수의 스핀 $ r $을 한 구성에서 반전시켰을 때 얻어진 스핀 구성의 조건부 에너지 분포를 분석한다.
• 이 조건부 분포가 조상 구성의 에너지와 관련된 단일 매개수에만 의존함을 입증하여, 동역학의 일차원 환원이 가능함을 보여준다.
• 기울어진 경로 방법과 가우시안 근사를 적용하여 큰 $ n $의 극한에서 경로 적분을 평가하고, 에너지 전이 확률에 대한 해석적 표현을 도출한다.
• 조건부 에너지 분포의 수치 시뮬레이션과 이론적 예측 간의 비교를 통해 분석 결과의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 랜덤 숫자 분할 인스턴스에 대한 양자 아디아바틱 알고리즘의 최소 에너지 갭의 渐近적 스케일링은 무엇인가?
• RQ2 왜 아디아바틱 알고리즘의 동역학은 에너지 공간에서 일차원 확산 과정으로 환원될 수 있는가?
• RQ3 단일 에너지 관련 매개수에만 의존하는 조건부 에너지 분포가 동역학을 단순화하는 데 어떤 역할을 하는가?
• RQ4 대칭적인 경우에서의 양자 터널링 가능성에도 불구하고, 왜 알고리즘이 지수적 복잡도를 보이는가?
• RQ5 랜덤 최적화 문제에서의 무질서와 과도함이 양자 아디아바틱 계산의 능력에 얼마나 깊이 영향을 미치는가?

주요 결과

• 최소 에너지 갭은 $ g_{\text{min}} = \mathcal{O}(n \, 2^{-n/2}) $로 스케일링되며, 이는 숫자 분할 문제에서 지수적 런타임 복잡도를 나타낸다.
• 조상 구성의 에너지에만 의존하는 조건부 에너지 분포 덕분에, 아디아바틱 알고리즘의 동역학은 에너지 공간에서 일차원 양자 확산으로 매핑될 수 있다.
• 큰 $ n $ 근처에서 조건부 에너지 분포 $ P_r(\Omega' | \Omega) $는 가우시안이며, 분산 $ \sigma^2(q) \sim n \sigma^2(0) $로 표현되어 확산 행동을 확인한다.
• 작은 $ r $, 예를 들어 $ r=1 $ 또는 $ r=n-1 $의 경우, 조건부 분포는 유한한 구간 내에서 균일해지며, 이는 해석적 및 수치적 결과와 일치한다.
• 수치 시뮬레이션을 통해 $ P_{r,\mathbf{z}}(\eta) $ 는 이론적 예측 $ \frac{1}{2} \int_0^{\Omega'} d\eta \, P_r(\eta|0) = \text{erf}\left( \frac{\Omega'}{\sigma(q) \sqrt{2n}} \right) $ 와 뛰어난 일치를 보인다.
• 분석을 통해 무질서와 에너지 공간에서의 확산 메커니즘의 상호작용으로 인해, 무작위 최적화 문제에서의 양자 아디아바틱 계산에 일반적인 제한이 존재한다는 것이 드러났다.