[논문 리뷰] Adiabatic Quantum Algorithms for the NP-Complete Maximum-Weight Independent Set, Exact Cover and 3SAT Problems

Vicky Choi|arXiv (Cornell University)|2010. 04. 13.

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

한 줄 요약

이 논문은 CK 그래프에서 문제 해밀토니안의 정점 가중치를 수정함으로써 NP-완전 문제를 대상으로 하는 애디아바틱 양자 알고리즘의 파라미터 튜닝 전략을 제안한다—특히 최대 무게 독립 집합(MIS), 정확한 커버, 3SAT에 대해. 정점 가중치를 스케일링하여 1차 양자 상전이를 방지함으로써 최소 스펙트럼 갭을 크게 증가시키고, 이는 이러한 알고리즘이 랜덤 인스턴스에 대해 실패한다는 이전의 주장에 도전한다.

ABSTRACT

The problem Hamiltonian of the adiabatic quantum algorithm for the maximum-weight independent set problem (MIS) that is based on the reduction to the Ising problem (as described in [Choi08]) has flexible parameters. We show that by choosing the parameters appropriately in the problem Hamiltonian (without changing the problem to be solved) for MIS on CK graphs, we can prevent the first order quantum phase transition and significantly change the minimum spectral gap. We raise the basic question about what the appropriate formulation of adiabatic running time should be. We also describe adiabatic quantum algorithms for Exact Cover and 3SAT in which the problem Hamiltonians are based on the reduction to MIS. We point out that the argument in Altshuler et al.(arXiv:0908.2782 [quant-ph]) that their adiabatic quantum algorithm failed with high probability for randomly generated instances of Exact Cover does not carry over to this new algorithm.

연구 동기 및 목표

• NP-완전 문제에 대한 애디아바틱 양자 알고리즘에서 기하급수적으로 작은 스펙트럼 갭이 발생할 경우 기하급수적인 실행 시간이 초래될 수 있다는 도전에 대응하기 위해.
• 문제 해밀토니안의 파rameter 튜닝—특히 정점 가중치 스케일링—이 애디아바틱 양자 계산에서 1차 양자 상전이를 방지할 수 있는지 조사하기 위해.
• Altshuler 등이 랜덤 정확한 커버 인스턴스에 대해 애디아바틱 양자 알고리즘이 실패한다고 주장한 바를, MIS 감소 기반의 새로운 알고리즘을 통해 일반성에 도전하기 위해.
• 스펙트럼 갭 행동이 파rameter 선택에 매우 민감한 점을 감안할 때, 적절한 애디아바틱 실행 시간의 정의는 무엇인지에 대한 근본적인 질문을 탐색하기 위해.
• 양자 상태 진동을 분석하고 더 강력한 애디아바틱 알고리즘 설계를 안내하기 위해 DeSEV 시각화 도구를 개발하고 적용하기 위해.

제안 방법

• MIS에 대한 문제 해밀토니안은 이징 모델로의 감소를 통해 유도되며, 문제 인스턴스를 변경하지 않고도 유연하게 튜닝 가능한 파rameters를 포함한다.
• CK 그래프의 정점 가중치는 에너지 장면을 수정하고 1차 양자 상전이를 억제하기 위해 스케일링되며, 이는 기하급수적으로 작은 스펙트럼 갭을 유발하는 것으로 알려져 있다.
• 분해된 상태 진동 시각화(DeSEV) 도구를 사용하여 애디아바틱 진동 중 기저 상태와 첫 번째 옹진 상태의 진동을 분석함으로써 피하기 어려운 수준 교차에 대한 통찰을 제공한다.
• 정확한 커버와 3SAT에 대한 애디아바틱 양자 알고리즘은 동일한 해밀토니안 프레임워크를 사용하여 MIS로의 감소를 통해 구성된다.
• 애디아바틱 실행 시간(ART)은 최소 스펙트럼 갭의 역수 비례로 스케일링된다고 가정하지만, 논문은 파rameter 민감성으로 인해 표준 ART 수식이 부적절할 수 있음을 제기한다.
• 수치 분석과 시각화를 통해 다양한 가중치 스케일링 조건에서의 스펙트럼 갭 행동을 비교함으로써, 상당히 큰 갭을 제공하는 구성 요소를 식별한다.

실험 결과

연구 질문

• RQ1 애디아바틱 양자 알고리즘의 문제 해밀토니안에서 정점 가중치를 튜닝하면 CK 그래프에서 1차 양자 상전이를 방지할 수 있는가?
• RQ2 정점 가중치 스케일링은 MIS에 대한 애디아바틱 양자 알고리즘에서 최소 스펙트럼 갭에 어떤 영향을 미치며, 이는 다항식 시간 성능으로 이어질 수 있는가?
• RQ3 Altshuler 등이 주장한 바와 같이, 랜덤 정확한 커버 인스턴스에 대해 애디아바틱 양자 알고리즘이 실패한다는 것이, 튜닝된 파rameters를 사용한 MIS로의 감소를 통해도 유지되는가?
• RQ4 문제 해밀토니안의 파arameter 선택에 따라 스펙트럼 갭이 매우 민감하게 반응할 경우, 적절한 애디아바틱 실행 시간의 수식은 무엇인가?
• RQ5 시각화 도구 DeSEV는 더 큰 스펙트럼 갭과 향상된 효율성을 갖춘 애디아바틱 알고리즘 설계에 실질적인 통찰을 제공할 수 있는가?

주요 결과

• CK 그래프에서 MIS 애디아바틱 알고리즘의 문제 해밀토니안에서 정점 가중치를 스케일링하는 것은 이전에 기하급수적으로 작은 스펙트럼 갭과 연결된 1차 양자 상전이를 성공적으로 방지한다.
• 최적의 가중치 스케일링을 통해 최소 스펙트럼 갭이 상당히 증가하며, 이는 CK 그래프에서 MIS에 대해 다항식 시간 애디아바틱 알고리즘이 가능할 수 있음을 시사한다. 이는 이전 예측과는 정반대이다.
• MIS 감소 기반의 정확한 커버에 대한 애디아바틱 양자 알고리즘은 Altshuler 등이 랜덤 인스턴스에서 이러한 알고리즘이 높은 확률로 실패한다고 주장한 바를 일반화할 수 없음을 뒷받침한다.
• DeSEV 시각화에서 도출된 수치 결과는 적절한 가중치 스케일링을 통해 기저 상태와 첫 번째 옹진 상태 사이의 피하기 어려운 수준 교차가 덜 심각해지는 것으로 나타나, 더 유리한 진동 경로를 나타낸다.
• 연구는 표준 가정—즉, 애디아바틱 실행 시간이 최소 스펙트럼 갭의 역수로 스케일링된다는 것—이 부족할 수 있음을 드러내며, 갭 행동이 파arameter 튜닝에 매우 민감하다는 점을 시사한다.
• 저자들은 문제 해밀토니안 파arameters—특히 정점 가중치—의 선택이 알고리즘 성능에 막대한 영향을 미칠 수 있음을 입증하며, 애디아바틱 양자 알고리즘 설계에 새로운 설계 원칙을 제안한다.