[논문 리뷰] Computational Bottlenecks of Quantum Annealing

Sergey Knysh|arXiv (Cornell University)|2015. 06. 29.

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

한 줄 요약

이 논문은 대규모 스핀 거품 시스템에서 양자 안일링의 O(log N) 계산적 저항을 규명하며, 비임계점 뿐 아니라 피하기적 수준 교차로 인해 기하급수적으로 작은 에너지 갭이 발생할 수 있음을 보여준다. 이중 패턴 가우시안 호프필드 모델을 정확한 비파erturbative 방법으로 분석하여 이러한 저항이 N의 분수거듭제곱 비율로 시간 복잡도가 증가하게 하며, 이는 이전에 우려되었던 것보다 덜 심각한 기하급수적 느려짐을 암시한다.

ABSTRACT

A promising approach to solving hard binary optimisation problems is quantum adiabatic annealing (QA) in a transverse magnetic field. An instantaneous ground state --- initially a symmetric superposition of all possible assignments of $N$ qubits --- is closely tracked as it becomes more and more localised near the global minimum of the classical energy. Regions where the energy gap to excited states is small (e.g. at the phase transition) are the algorithm's bottlenecks. Here I show how for large problems the complexity becomes dominated by $O(\log N)$ bottlenecks inside the spin glass phase, where the gap scales as a stretched exponential. For smaller $N$, only the gap at the critical point is relevant, where it scales polynomially, as long as the phase transition is second order. This phenomenon is demonstrated rigorously for the two-pattern Gaussian Hopfield Model. Qualitative comparison with the Sherrington-Kirkpatrick Model leads to similar conclusions.

연구 동기 및 목표

• 임계점 이후의 양자 안일링에서 계산적 저항의 근본 원인을 이해하기 위해.
• 대규모 시스템에서 스핀 거품 상에서 피하기적 수준 교차의 역할을 엄밀히 분석하기 위해.
• 다중 작은 갭이 존재할 경우 시간 복잡도가 다항식으로 유지되는지 아니면 기하급수적으로 증가하는지 판단하기 위해.
• 스핀 거품에서 작은 갭에 대한 파erturbative 추론의 타당성을 비파erturbative 방법을 통해 평가하기 위해.
• 양자 안일링 하드웨어에서 관측된 성능 스케일링에 대한 이론적 기반을 제공하기 위해.

제안 방법

• 이중 패턴 가우시안 호프필드 모델을 정확하고 비파erturbative 방법으로 분석한다.
• 횡방향 자기장의 진화를 시간에 따라 변하는 잠재력으로 지배되는 확률적 과정으로 모델링하며, Fokker-Planck 방정식을 사용한다.
• 스케일링 가정을 적용하여 Fokker-Planck 방정식을 고유값 문제를 포함한 상미분방정식(ODE)으로 단순화한다.
• Airy 함수를 사용하여 보편적 游가적 해를 유도하며, 전역 최소값 근처에서 가장 낮은 에너지 준위의 통계를 기록한다.
• 비차원 시간 변수 τ를 도입하고, (μ, ν, ϑ) 공간에서 마코프 과정을 구성하여 시스템의 동역학을 시뮬레이션한다.
• 잠재력의 스케일링을 수행하고 τ를 연장하여 충분한 통계를 확보하기 위해 수치 시뮬레이션을 수행하며, 결과는 요청 시 제공 가능.

실험 결과

연구 질문

• RQ1 왜 스핀 거품 상에서 양자 안일링의 에너지 갭이 기하급수적으로 작아지는가?
• RQ2 대규모 시스템에서 이러한 저항은 얼마나 존재하며, 시스템 크기 N에 따라 어떻게 스케일링되는가?
• RQ3 왜 스핀 거품 상에서 피하기적 수준 교차는 시간 복잡도를 기하급수적 스케일링이 아닌 분수거듭제곱 비율로 이끌는가?
• RQ4 스핀 거품에서 에너지 준위 통계의 비파erturbative 행동은 파erturbative 예측과 어떻게 다를까?
• RQ5 터널링 저항 메커니즘은 확률 과정과 극값 통계를 통해 엄밀하게 기술될 수 있는가?

주요 결과

• 스핀 거품 상에서 계산적 저항의 수는 O(log N)로 증가하며, 단일 임계점이 아닌 것으로 나타났다.
• 이러한 저항에서의 에너지 갭은 스트레칭된 지수 함수 비율로 감소하며, 이로 인해 시간 복잡도는 N의 분수거듭제곱 비율로 증가한다.
• 간극에 대한 주요 기여는 ODE 해에서 가장 작은 고유값 α = 1/4에서 비롯되며, 극값 통계 이론에서 알려진 결과와 일치한다.
• 횡방향 자기장 Γ의 기하급수적으로 간격이 떨어진 값들에서 터널링 사건의 계단식 구조가 나타나며, 이는 에너지 표면의 계층적 구조를 암시한다.
• 시간 복잡도는 이전에 우려되었던 것보다 덜 심각하며, 전체 기하급수적 스케일링이 아니라 N의 분수거듭제곱 비율로만 증가한다.
• 분석 결과, Γ → 0일 때 저항이 더 쉬워지는 경향을 보이며, 고전적 극한에서 터널링이 억제된다는 기대와는 정반대의 결과를 도출한다.