[논문 리뷰] Quantum speedup for combinatorial optimization with flat energy landscapes

Madelyn Cain, Sambuddha Chattopadhyay외 4명|arXiv (Cornell University)|2023. 06. 22.

Quantum Computing Algorithms and Architecture인용 수 9

한 줄 요약

이 논문은 최적화된 양자 아다바틱 알고리즘과 고전적 Markov 체인 몬테카를로 방법을 비교하는 프레임워크를 개발하여, 평탄한 에너지 지형을 가진 어려운 인스턴스에서 2차 속도향상(제곱 속도향상) 조건을 보여주고, 지역 해밀토니안 수정이 시뮬레이티드 어닐링 및 관련 알고리즘으로 속도향상을 확장한다.

ABSTRACT

Designing quantum algorithms with a speedup over their classical analogs is a central challenge in quantum information science. Motivated by recent experimental observations of a superlinear quantum speedup in solving the Maximum Independent Set problem on certain unit-disk graph instances [Ebadi et al., Science 376, 6598 (2022)], we develop a theoretical framework to analyze the relative performance of the optimized quantum adiabatic algorithm and a broad class of classical Markov chain Monte Carlo algorithms. We outline conditions for the quantum adiabatic algorithm to achieve a quadratic speedup on hard problem instances featuring flat low-energy landscapes and provide example instances with either a quantum speedup or slowdown. We then introduce an additional local Hamiltonian with no sign problem to the optimized adiabatic algorithm to achieve a quadratic speedup over a wide class of classical simulated annealing, parallel tempering, and quantum Monte Carlo algorithms in solving these hard problem instances. Finally, we use this framework to analyze the experimental observations.

연구 동기 및 목표

• 양자 알고리즘이 NP-난제 조합 최적화 문제에 대해 고전적 해결사보다 우수할 수 있는지 동기 부여 및 분석한다.
• 낮은 에너지 고유상태의 국소화가 평탄한 지형에서 양자 및 고전적 성능을 어떻게 제어하는지 특징화한다.
• 시뮬레이티드 어닐링 및 병렬 온도 조정에 비해 QAA의 속도향상을 예측하기 위한 기준을 개발한다.
• 지역적이며 부호 문제-프리한 해밀토니안을 가지는 수정된 QAA를 제안하여 탈국소화를 강제하고 고전적 해결사에 비해 제곱 속도향상을 유도한다.

제안 방법

• 단위 디스크 그래프에서 비용을 인코딩하기 위해 Rydberg-원자에서 영감을 얻은 해밀토니안을 사용하여 최대 독립집합 문제를 모델링한다.
• 경관 구조를 런타임과 연결하기 위해 Cheeger 부등식과 스펙트럴 갭 경계치를 통해 SA 및 QMC 런타임을 분석한다.
• 제2차 섭동 이론을 사용하여 바람직한 교차에서 Delta_QAA를 결정하는 바닥상 및 1번째 들뜬 상태(|G> 및 |E>)를 식별한다.
• degenerate 매니폴드 내에서 탈국소화를 강제하는 Laplacian 유사 항 H_ll를 갖는 수정된 QAA를 도입한다.
• 수정된 QAA가 제곱 속도향상을 달성하는 조건을 도출하고, 갭과 λ/ω의 스케일링을 연결한다.
• 탈국소화-전이의 예를 보여주는 예시 그래프 가족(스타 그래프)을 제시하여 런타임에 대한 영향을 설명한다.

실험 결과

연구 질문

• RQ1 최적화된 QAA가 평탄한 에너지 지형을 가진 어려운 단위 디스크 그래프 인스턴스에서 SA 및 QMC보다 언제 우수한가?
• RQ2 저에너지 고유상태의 (탈국소화/국소화) 여부가 QAA의 최솟값 갭과 해당 런타임에 어떻게 영향을 미치는가?
• RQ3 로컬하고 부호 문제-프리한 해밀토니안을 추가하는 것이 많은 인스턴스에 걸쳐 탈국소화를 강제하고 고전적 해결사에 비해 제곱 속도향상을 제공할 수 있는가?
• RQ4 SA 및 QMC 런타임이 인스턴스 구조(D_b 비율 등)와 문제 크기에 따라 어떻게 스케일링하고, 이를 다양한 국소화 시나리오에서 QAA와 어떻게 비교되는가?
• RQ5 단위 디스크 그래프에서의 속도향상에 대한 실험적 관찰이 본 프레임워크 안에서 설명되는가?

주요 결과

• 평탄한 어려운 지형에서 SA 런타임은 테스트된 단위 디스크 그래프에서 최소한 exp(constant * sqrt(n)) 만큼 빠르게 증가하며, 이는 D_{b-1}/D_b 비율과 상관관계가 있다.
• QAA 런타임은 회피된 교차 간격 Delta_QAA에 의해 좌우되며, 이는 |G> 및 |E>의 국소화 특성에 의해 제어되어 탈국소화될 때 제곱 속도향상을 가능하게 한다.
• 탈국소화된 |G> 및 |E>는 (근최적 구성들에 걸쳐 고르게 분포하는 등) Delta_QAA^{-1}를 SA 한계보다 제곱적으로 작게 만든다.
• 대형 λ를 가진 지역 라플라시안 항 H_ll를 도입하면 탈국소화를 강제하고 QAA 갭을 유리하게 스케일링하도록 감소시켜, 스타-그래프 인스턴스 및 많은 단위 디스크 그래프에서 SA에 대해 제곱 속도향상을 달성한다.
• 실용적인 λ/ω 비를 가지는 단위 디스크 그래프의 경우, 수정된 QAA는 SA에 대해 제곱 속도향상을 보이고 분석된 영역에서 경로적적 QMC보다 유리한 경향을 보인다.