[논문 리뷰] A polynomial-time algorithm for the ground state of 1D gapped local Hamiltonians

Zeph Landau, Umesh Vazirani외 1명|arXiv (Cornell University)|2013. 07. 19.

Quantum many-body systems참고 문헌 16인용 수 23

한 줄 요약

이 논문은 1차원 고정된 국소 해밀토니안의 기저 상태를 다항 시간 내에 근사하는 최초의 랜덤화 알고리즘을 제시한다. 볼록 최적화, 행렬 곱 상태(MPS) 구조, 그리고 새로운 근사 기저 상태 투영(AGSP) 기법을 결합하여, 진짜 기저 상태와의 역다항식 민감도를 가지는 MPS 근사값을 효율적으로 계산한다. 이는 양자 many-body 물리학 분야에서 오랫동안 열려있던 문제를 해결한다.

ABSTRACT

Computing ground states of local Hamiltonians is a fundamental problem in condensed matter physics. We give the first randomized polynomial-time algorithm for finding ground states of gapped one-dimensional Hamiltonians: it outputs an (inverse-polynomial) approximation, expressed as a matrix product state (MPS) of polynomial bond dimension. The algorithm combines many ingredients, including recently discovered structural features of gapped 1D systems, convex programming, insights from classical algorithms for 1D satisfiability, and new techniques for manipulating and bounding the complexity of MPS. Our result provides one of the first major classes of Hamiltonians for which computing ground states is provably tractable despite the exponential nature of the objects involved.

연구 동기 및 목표

• 1D 고정된 국소 해밀토니안의 기저 상태가 양자 힐버트 공간의 지수적 크기에도 불구하고 고전 컴퓨터에서 효율적으로 근사될 수 있는지 여부를 해결하기 위해.
• 1D 시스템에서 QMA-완전성의 이론적 난이도와 DMRG의 실용적 성공 사이의 모순을 해소하기 위해.
• 기저 상태의 MPS 표현을 다항식 바인드 차원을 가진 역다항식 민감도로 보장하는 알고리즘을 제공하기 위해.
• 고정된 1D 시스템이 힐버트 공간의 다루기 쉬운 영역에 위치해 있음을 보여주어, 고전적 시뮬레이션의 효율성을 뒷받침하기 위해.

제안 방법

• 알고리즘은 밀도 행렬의 에너지를 최소화하는 볼록 최적화 프레임워크를 사용하며, 다항 차원의 부분공간에 제한된다.
• 반복 단계인 연장, 크기 자르기, 결합 자르기, 오차 감소를 통해 타당한 상태 집합을 구성하며, 각 단계에서 핵심 매개변수의 다항 경계를 유지한다.
• 오차를 줄이면서도 다항식 바인드 차원과 컷을 가로질러서의 스킴트 차원을 유지하는 새로운 AGSP(근사 기저 상태 투영)를 설계한다.
• Hastings의 면적 법칙 결과와 AGSP 구성 분야의 최근 진전을 활용하여 얽힘과 MPS 복잡도를 제한한다.
• 행렬 곱 가중치와 차원 감소 기법을 활용하여 볼록 프로그램을 효율적으로 해결한다.
• 최종 상태는 최적화된 밀도 행렬의 주요 고유벡터로 추출되어 진짜 기저 상태와 높은 오버랩을 확보한다.

실험 결과

연구 질문

• RQ1 1D 고정된 국소 해밀토니안의 기저 상태는 고전 컴퓨터에서 다항 시간 내에 계산될 수 있는가?
• RQ2 DMRG의 실용적 성공은 고정된 1D 시스템의 더 깊은 구조적 성질에서 기인하는가?
• RQ3 다항식 바인드 차원을 가진 행렬 곱 상태(MPS)를 사용하여 기저 상태를 보장된 효율성으로 근사할 수 있는 알고리즘이 존재하는가?
• RQ4 스펙트럼 갭 조건과 함께 얽힘 경계가 결합되면, 기저 상태 근사에 대한 다항 시간 알고리즘이 가능해지는가?
• RQ5 근사 기저 상태 투영(AGSP)은 고정된 1D 시스템의 효율적 고전적 시뮬레이션을 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 알고리즘은 시간 복잡도가 n^{c(d,ε)} poly(n/η) 내에서 수행되며, c(d,ε) = 2^{O(log³d / ε)} 이고, 높은 확률로 진짜 기저 상태와의 민감도가 1−η 이상인 MPS 근사값을 반환한다.
• 알고리즘은 다항 시간 내에 역다항식 민감도(1−η)를 달성하며, 바인드 차원은 n에 대한 다항식으로 유한하게 유지된다.
• 반복 단계를 통한 타당한 집합 구성은 어떤 컷을 가로질러도 스킴트 차원이 다항식으로 유한하게 유지됨을 보장한다.
• 오차 감소 단계는 임의의 고정된 다항식 p(n)에 대해 민감도 1−1/p(n)을 달성하도록 수정할 수 있으며, 에너지는 최소값 ε₀ + 1/p(n) 이내이다.
• 이전의 면적 법칙 증명을 위한 AGSP와 달리, 오차 감소에 충분한 더 단순한 새로운 AGSP 구성에 의존한다.
• 결과적으로 고정된 1D 시스템은 MPS를 통해 간결한 고전적 기술을 가질 수 있음을 보여주며, 고전적 시뮬레이션에 유리한 하위클래스의 존재를 뒷받침한다.