[논문 리뷰] A polynomial-time algorithm for the ground state of one-dimensional gapped Hamiltonians

Yichen Huang|arXiv (Cornell University)|2014. 06. 24.

Quantum many-body systems참고 문헌 31인용 수 14

한 줄 요약

이 논문은 1차원 고정된 국소 해밀토니안의 기저 상태를 근사하는 결정론적 다항시간 알고리즘을 제시한다. 행렬 곱 상태(MPS) 표현과 볼록 최적화를 활용하여 효율적인 수렴을 달성한다. 주요 기여는 1차원 고정된 국소 해밀토니안 문제가 P에 속한다는 것을 증명한 것으로, 양자 복잡도 이론에서 오랫동안 열려 있던 문제를 해결하며, 이전의 확률적 또는 제한된(예: 거의 괴리 없는) 접근 방식을 초월한다.

ABSTRACT

A (deterministic) polynomial-time algorithm is proposed for approximating the ground state of (general) one-dimensional gapped Hamiltonians. Let $ε,n,η$ be the energy gap, the system size, and the desired precision, respectively. Neglecting $ε$-dependent subpolynomial (in $n$) and constant factors, the running time of the algorithm is $n^{O(1)}$ for $η=n^{-O(1)}$.

연구 동기 및 목표

• 일반적인 1차원 해밀토니안에 대해 QMA-완전성이 알려져 있음에도 불구하고, 1차원 고정된 국소 해밀토니안 문제의 계산 복잡도를 해결하기 위해.
• 괴리 없는 또는 거의 괴리 없는 경우에 국한되지 않는, 어떤 1차원 고정된 해밀토니안의 기저 상태를 증명 가능한 효율성으로 근사하는 결정론적 알고리즘을 개발하기 위해.
• 수렴 보장이 없고 국소 최소값에 갇힐 수 있는 히우리스틱 방법(예: DMRG)의 한계를 극복하기 위해.
• 일반적인 경우에도 상수의 스펙트럼 갭이 존재할 경우, 기저 상태가 유한한 결합 차수를 가진 MPS로 효율적으로 표현될 수 있음을 보장하기 위해.
• 최종적으로 1차원 고정된 해밀토니안을 갖는 애디아바틱 양자 계산을 고전적으로 효율적으로 시뮬레이션할 수 있는 고전 알고리즘을 제공하기 위해.

제안 방법

• 알고리즘은 큼직한 큐디트 체인에 대해 동적 프로그래밍 기반의 재귀적 접근을 사용하며, 1차원 고정된 시스템에서의 엔트로피 법칙을 활용하여 MPS 표현의 결합 차수를 제한한다.
• 볼록 최적화를 적용하여 하위계에서 최적의 밀도 행렬을 계산하고, 제약 조건(감소된 밀도 행렬 및 후보 상태와의 유사도)을 만족하면서 에너지를 최소화한다.
• 중요한 상태 수를 줄이기 위해 기수성 감소 기법을 사용하여 각 위치에서 관련 있는 MPS 상태의 수를 제한하며, 오차를 통제하는 다항적으로 유한한 후보 상태 집합(지원 집합)을 유지한다.
• 증거 상태를 도입하고, 낮은 질량 부분공간에서의 에너지 최소화를 통해 진짜 기저 상태에 가까운 저에너지 상태를 식별한다.
• 핵심 요소로는 최적화된 밀도 행렬의 가장 큰 고유값에 투영하여 얻은 절단된 상태(ϕ′_0, ϕ′_1)를 사용하여 효율적인 표현을 보장한다.
• 알고리즘은 지원 집합을 반복적으로 개선하고, 스펙트럼 성질(예: 마르코프 부등식)을 사용하여 후보 상태의 에너지를 유한하게 제한함으로써 수렴을 보장한다.

실험 결과

연구 질문

• RQ1 일반적인 1차원 고정된 해밀토니안의 기저 상태는 결정론적 다항시간 내에 근사 가능할 수 있는가?
• RQ2 1차원 고정된 국소 해밀토니안 문제는 P에 속하는가, 아니면 양자 우월성이 필요한가?
• RQ3 고전 알고리즘이 DMRG와 같은 히우리스틱 방법보다 수렴 보장과 실행 시간 보장 측면에서 우월한가?
• RQ4 상수의 스펙트럼 갭 존재가 기저 상태의 다항적으로 유한한 MPS 표현을 암시하는가?
• RQ5 최종적으로 1차원 고정된 해밀토니안을 갖는 애디아바틱 양자 계산은 고전적으로 다항시간 내에 효율적으로 시뮬레이션 가능한가?

주요 결과

• 상수의 스펙트럼 갭 ϵ이 존재하는 조건 하에, 정밀도 η = n^−O(1)를 위해 알고리즘의 실행 시간은 n^O(1)이다.
• 기저 상태는 결합 차수 D = 2^{Õ(1/ϵ + ϵ^{−1/4} log^{3/4}(n/η))}를 가진 MPS로 근사 가능하며, 이는 효율적인 표현을 보장한다.
• 알고리즘은 1차원 고정된 국소 해밀토니안 문제가 P에 속한다는 것을 증명하며, 양자 복잡도 이론에서 오랫동안 열려 있던 문제를 해결한다.
• 고정된 확률로, 계산된 MPS Ψ와 진짜 기저 상태 Ψ₀ 사이의 중첩 |⟨Ψ, Ψ₀⟩| ≥ 1 − η를 보장한다.
• 이전 결과에 비해, 이 알고리즘은 거의 괴리 없는 또는 교환 가능한 경우에 국한되지 않고 일반적인 1차원 고정된 해밀토니안에 대해 작동함으로써 개선된 결과를 제공한다.
• 최종적으로 1차원 고정된 해밀토니안을 갖는 애디아바틱 양자 계산은 다항시간 내에 고전적으로 효율적으로 시뮬레이션 가능하며, 이는 표준 가정 하에 이러한 시스템이 BQP에 대해 보편적이지 않음을 암시한다.