[논문 리뷰] A classical approximation scheme for the ground-state energy of Ising spin Hamiltonians on planar graphs

Nikhil Bansal, Sergey Bravyi외 1명|arXiv (Cornell University)|2007. 05. 08.

Markov Chains and Monte Carlo Methods참고 문헌 17인용 수 4

한 줄 요약

이 논문은 평면 그래프 위의 이징 스핀 하미르토니안의 기저 상태 에너지를 계산하는 고전적 근사 알고리즘을 제시한다. 이 알고리즘은 스핀 수에 대해 선형적인 런타임을 가지며, 상대 오차 ε에 대해 지수적 의존성을 보인다. 이는 정확한 계산의 NP-난해성 문제를 피하기 위해 평면 그래프의 구조를 활용함으로써 달성되며, 또한 차수에 제한이 없는 별 그래프를 포함한 평면 그래프 위의 양자 이징 스핀 거품 문제로도 확장된다.

ABSTRACT

We describe an efficient approximation algorithm for evaluating the ground-state energy of the classical Ising Hamiltonian with linear terms on an arbitrary planar graph. The running time of the algorithm grows linearly with the number of spins and exponentially with 1/epsilon, where epsilon is the worst-case relative error. This result contrasts the well known fact that exact computation of the ground-state energy for the two-dimensional Ising spin glass model is NP-hard. We also present a classical approximation algorithm for the Local Hamiltonian Problem or Quantum Ising Spin Glass problem on a planar graph with bounded degree which is known to be a QMA-complete problem. Using a different technique we find a classical approximation algorithm for the quantum Ising spin glass problem on the simplest planar graph with unbounded degree, the star graph.

연구 동기 및 목표

• 임의의 평면 그래프 위의 고전적 이징 하미르토니안의 기저 상태 에너지를 효율적으로 근사하는 고전적 알고리즘을 개발하는 것.
• 이차원 이징 스핀 거품 문제에서 정확한 기저 상태 에너지 계산의 계산 불가능성(이미 알려진 바와 같이 NP-난해성)을 다루는 것.
• 차수에 제한이 있는 평면 그래프에서의 양자 국소 하미르토니안 문제(QMA-완전 문제)로 근사 프레임워크를 확장하는 것.
• 차수에 제한이 없는 별 그래프(평면 그래프이지만 차수가 유계가 아님)에서의 양자 이징 스핀 거품 문제에 대한 고전적 근사 제공.
• 평면 구조가 기저 상태 에너지 계산의 복잡성에도 불구하고 효율적인 고전적 근사를 가능하게 함을 보여주는 것.

제안 방법

• 기본 그래프의 평면 구조를 활용하여 스핀 수에 대해 선형적으로 증가하는 런타임을 갖는 동적 프rogram밍 또는 재귀적 분해 접근법을 설계한다.
• 런타임이 상대 오차 1/ε에 대해 지수적으로 의존하는 오차 제한 근사 기법을 적용하여 최악의 경우 상대 오차가 제어됨을 보장한다.
• 하미르토니안을 고전적 시뮬레이션에 적합한 형태로 매핑함으로써 고전적 근사 프레임워크를 양자 이징 스핀 거품 문제에 적용한다.
• 별 그래프에 특화된 기법을 적용하여, 반사 대칭성과 위상적 단순성을 활용해 차수가 무한대임에도 불구하고 고전적 근사를 달성한다.
• 근사 오차의 경계와 진짜 기저 상태 에너지로의 수렴을 보장하기 위해 통계역학 및 그래프 이론 분야의 기존 결과를 활용한다.
• 그래프의 평면성을 이용해 문제를 더 작은 다룰 수 있는 부분 문제로 분해하고, 효율적으로 해결 및 재결합할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 스핀 수에 대해 지수적 이하의 런타임을 갖는 고전적 알고리즘이 평면 그래프 위의 고전적 이징 하미르토니안의 기저 상태 에너지를 근사할 수 있는가?
• RQ2 평면성과 같은 구조적 제약 조건을 통해 이차원 이징 스핀 거품 문제의 NP-난해성은 어느 정도 완화될 수 있는가?
• RQ3 고전적 근사 프레임워크는 차수에 제한이 있는 평면 그래프에서의 양자 이징 스핀 거품 문제로 확장될 수 있는가?
• RQ4 차수에 제한이 없는 평면 그래프(예: 별 그래프)에서의 양자 이징 스핀 거품 문제에 대해 고전적 근사를 설계하는 것이 가능한가?
• RQ5 이러한 고전적 근사 기법에서 근사 정확도(ε)와 계산 비용 사이의 상호 교환 관계는 어떠한가?

주요 결과

• 알고리즘은 스핀 수에 대해 선형적으로 증가하는 런타임을 갖는다.
• 런타임은 상대 오차 ε에 대해 지수적으로 증가하며, 이는 정확도와 효율성 사이의 조절 가능한 트레이드오프를 제공한다.
• 평면성의 특성을 활용함으로써 이차원 이징 스핀 거품 문제에서 정확한 기저 상태 에너지 계산의 NP-난해성을 성공적으로 우회한다.
• 차수에 제한이 있는 평면 그래프에서의 양자 이징 스핀 거품 문제에 대해 고전적 근사 알고리즘을 개발하였으며, 이 문제는 QMA-완전 문제로 알려져 있다.
• 별 그래프에서의 양자 이징 스핀 거품 문제에 대해 별도의 고전적 근사 프레임워크를 구성하였다.
• 결과적으로 평면 구조가 일반적인 설정에서 계산적으로 어려운 양자 및 고전적 스핀 거품 문제에 대해서도 효율적인 고전적 근사를 가능하게 함을 보여주었다.