[논문 리뷰] Adiabatic quantum computing solution of the knapsack problem

Mark W. Coffey|arXiv (Cornell University)|2017. 01. 19.

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

한 줄 요약

이 논문은 이징 해밀토니안을 사용하여 정수 가중치 배낭 문제를 해결하기 위한 등온 양자 계산(AQC) 접근법을 제시한다. 두 가지 큐비트 효율적인 구현 방식을 제시한다: 하나는 $n + c$ 큐비트를 사용하고, 다른 하나는 $n + \lfloor \log_2 c \rfloor + 1$ 큐비트를 사용한다. 주요 기여는 통계역학과 다이로그함수와 같은 특수함수를 활용하여 스펙트럼 갭의 행동과 쉬운 문제와 어려운 문제 간의 상전이를 분석적으로 특성화한 것이다. 특히 부분합 문제 변형에 대해 이와 같은 분석을 수행하였다.

ABSTRACT

We illustrate the adiabatic quantum computing solution of the knapsack problem with both integer profits and weights. For problems with $n$ objects (or items) and integer capacity $c$, we give specific examples using both an Ising class problem Hamiltonian requiring $n+c$ qubits and a much more efficient one using $n+[\log_2 c]+1$ qubits. The discussion includes a brief mention of classical algorithms for knapsack, applications of this commonly occurring problem, and the relevance of further studies both theoretically and numerically of the behavior of the energy gap. Included too is a demonstration and commentary on a version of quantum search using a certain Ising model. Furthermore, an Appendix presents analytic results concerning the boundary for the easy-versus-hard problem-instance phase transition for the special case subset sum problem.

연구 동기 및 목표

• 정수 가중치와 수익을 갖는 NP-완전한 배낭 문제를 해결하기 위한 등온 양자 계산 프레임워크를 개발한다.
• $n + c$ 큐비트 대신 $n + \lfloor \log_2 c \rfloor + 1$ 큐비트를 사용하여 효율적인 이징 해밀토니안을 설계함으로써 큐비트 요구량을 줄인다.
• 특히 쉬운 문제에서 어려운 문제로의 전이 근처에서, AQC의 스펙트럼 갭 행동을 분석한다.
• 통계역학과 특수함수를 활용하여 부분합 문제의 상전이 경계에 대한 분석적 결과를 제공한다.
• AQC와 양자 검색 간의 연관성을 탐색하며, 선형 보간이 그로버 유사 속도 향상 달성에 한계를 갖는다는 점을 논의한다.

제안 방법

• 전체 무게 제약 조건과 수익 최대화를 포함하는 이진 최적화 문제로 배낭 문제를 공식화한다.
• 문제 해밀토니안을 이징 모델 형태로 구성한다: $ H_p = -\sum_i h_i \sigma_z^i - \sum_{i<j} J_{ij} \sigma_z^i \sigma_z^j $, 이는 배낭 제약 조건과 목적 함수를 코딩한다.
• 선형 보간 $ H(s) = (1-s)H_0 + sH_p $ 를 통해 전단계로의 등온 진동을 적용하며, 초기 해밀토니안은 $ H_0 = -h_0 \sum_i \sigma_x^i $ 이다.
• 고정된 선택된 항목 수를 갖는 제약 조건이 있는 부분합 문제를 모델링하기 위해 통계역학과 광역계를 적용한다.
• 다이로그함수 $ \text{Li}_2 $ 를 사용하여 스케일된 에너지 $ x $, 임계값 $ \kappa_c $ 및 상전이 경계의 정확한 분석적 표현을 유도한다.
• 스펙트럼 갭과 열역학적 양에 대한 관계를 유도하는 미분 관계 $ \kappa_c(\alpha) = \frac{1}{\ln 2} \int \alpha \, dx(\alpha) $ 를 유도한다.

실험 결과

연구 질문

• RQ1 어떻게 최소한의 큐비트 오버헤드로 배낭 문제를 효율적으로 이징 해밀토니안에 인코딩할 수 있는가?
• RQ2 등온 양자 계산에서 쉬운 문제와 어려운 문제 간의 상전이에 대해 스펙트럼 갭과의 관계는 어떠한가?
• RQ3 통계역학을 활용하여 부분합 문제의 임계값 $ \kappa_c $ 에 대한 분석적 표현을 도출할 수 있는가?
• RQ4 보간 함수의 선택(예: 선형 대비 스케일링된 함수)이 양자 검색 및 최적화에 대한 AQC 성능에 어떤 영향을 미치는가?
• RQ5 특수함수인 다이로그함수는 열역학적 극한에서 에너지 및 갭 행동을 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 $n + \lfloor \log_2 c \rfloor + 1$ 큐비트만을 사용하여 효율적인 이징 해밀토니안을 구성함으로써, $n + c$ 큐비트 버전 대비 자원 요구량을 크게 줄였다.
• 부분합 문제의 경우, $ \kappa_c(\alpha) = \frac{1}{\ln 2} \int \alpha \, dx(\alpha) $ 를 통해 상전이 경계를 분석적으로 특성화하였으며, 정확한 표현은 다이로그함수를 포함한다.
• 특히 $ x = 1/4 $ 와 $ \kappa_c = 1 $ 근처에서, $ x(\kappa_c) = \frac{1}{12}(3 \pm 2\sqrt{6\ln 2}\sqrt{1 - \kappa_c}) $ 라는 관계식이 도출되었으며, 이는 상전이의 임계 영역을 기술한다.
• 저에너지 극한($ \alpha \to \infty $)에서, $ x(\kappa_c) \approx \frac{12}{49}(\ln^2 2) \kappa_c^2 $ 라는 관계식이 도출되었으며, 이는 에너지가 $ \kappa_c $ 와 제곱스케일링 됨을 보여준다.
• 임계값 $ \kappa_c $ 가 $ \alpha \to -\alpha, \mu \to -\mu $ 에 대해 대칭임이 입증되었고, 에너지 및 밀도는 상보적인 대칭성을 갖는다.
• 특수점에서 정확한 닫힌 형태의 평가가 제공되었으며, $ \text{Li}_2(-e^{\alpha_-}) = -\frac{\pi^2}{15} + \frac{1}{2}\ln^2\left(\frac{\sqrt{5}-1}{2}\right) $ 와 $ \text{Li}_2(-e^{\alpha_+}) = -\frac{\pi^2}{10} + \frac{1}{2}\ln^2\left(\frac{\sqrt{5}+1}{2}\right) $ 이다. 이를 통해 $ x $ 와 $ \kappa_c $ 의 정밀한 계산이 가능해진다.