[논문 리뷰] Computing the Degenerate Ground Space of Gapped Spin Chains in Polynomial Time

Christopher T. Chubb, Steven T. Flammia|arXiv (Cornell University)|2015. 02. 24.

Matrix Theory and Algorithms인용 수 10

한 줄 요약

이 논문은 스펙트럼 갭이 있는 1차원 스핀 체인의 비퇴화 기저 상태 프로젝터를 근사하는 다항시간 알고리즘을 제시한다. Landau-Vazirani-Vidick 프레임워크를 기반으로 하여, 반체인에서 국소적으로 구별 가능성을 통합함으로써 비퇴화 케이스를 확장하여 완전성을 확보하고, 시스템 크기의 다항함수에 비례하는 런타임과 퇴화 수에 대해 지수함수적으로 의존하는 역다항오차를 달성한다.

ABSTRACT

Given a gapped Hamiltonian of a spin chain, we give a polynomial-time algorithm for finding the degenerate ground space projector. The output is an orthonormal set of matrix product states that approximate the true ground space projector up to an inverse polynomial error in any Schatten norm, with a runtime exponential in the degeneracy. Our algorithm is an extension of the recent algorithm of Landau, Vazirani, and Vidick for the nondegenerate case, and it includes the recent improvements due to Huang. The main new idea is to incorporate the local distinguishability of ground states on the half-chain to ensure that the algorithm returns a complete set of global ground states.

연구 동기 및 목표

• 스펙트럼 갭이 있는 1차원 스핀 체인의 비퇴화 기저 상태를 정확하고 효율적으로 근사하는 알고리즘을 개발한다.
• Landau, Vazirani, 및 Vidick의 비퇴화 기저 상태 다항시간 알고리즘을 비퇴화 케이스로 확장한다.
• 반체인에서의 국소적 구별 가능성에 기반하여 알고리즘이 완전한 정규직교 기저 상태 집합을 반환하도록 보장한다.
• 시스템 크기의 다항함수 런타임을 유지하면서도, 상수 수준의 퇴화와 스펙트럼 갭을 처리할 수 있도록 한다.
• 스체텐 노름, 특히 프로베니우스 노름과 트레이스 노름에서의 근사 오차에 대한 이론적 보장을 제공한다.

제안 방법

• 비퇴화 LVV 알고리즘의 타당 집합 구축 기법을 반체인에서 기저 상태의 국소적 구별 가능성 요소를 통합함으로써 비퇴화 케이스로 확장한다.
• 에너지 제약 조건과 증거자 간의 오버랩 최소화를 이용하여 타당 집합을 줄이며 근사 정확도를 유지한다.
• 근사 기저 상태를 행렬 곱 상태(MPS) 표현으로 사용하여 다항적 결합 차원을 보장한다.
• 다항적으로 유 bounds된 결합 차원을 가진 행렬 곱 연산자(MPO)로서의 최소 질량 프로젝터인 상태 기반 근사 기저 상태 프로젝터(AGSP)를 구성한다.
• 반체인에서 전체 체인으로 타당 집합을 성장시키는 다단계 반복 절차를 적용하며, 각 단계에서 후보 상태 수를 작게 유지한다.
• 1차원 영역 법칙과 스펙트럼 갭에 기반하여 기저 상태가 낮은 결합 차원의 MPS로 잘 근사될 수 있음을 보장함으로써 효율적인 계산이 가능하다.

실험 결과

연구 질문

• RQ1 비퇴화 기저 상태 근사 다항시간 알고리즘은 스펙트럼 갭이 있는 1차원 스핀 체인에 대해 비퇴화 케이스로 확장될 수 있는가?
• RQ2 반체인에서 기저 상태의 국소적 구별 가능성은 어떻게 활용되어 전체 기저 상태의 완전한 정규직교 기저를 회복할 수 있는가?
• RQ3 비퇴화 케이스에서 근사 기저 상태 프로젝터(AGSP)의 최소 질량과 결합 차원은 얼마이며, 이를 효율적으로 구성할 수 있는가?
• RQ4 비퇴화 케이스와 비교하여 비퇴화 설정에서 런타임은 퇴화 수와 스펙트럼 갭에 따라 어떻게 변화하는가?
• RQ5 정확한 퇴화 수 g의 사전 지식이 없이도 알고리즘이 안정적으로 작동할 수 있는가? 즉, g = O(1)임만 안다면 충분한가?

주요 결과

• 알고리즘은 진짜 기저 상태 프로젝터와 프로베니우스 노름 오차가 최대 η 이하인 행렬 곱 상태의 정규직교 집합을 구성한다. 여기서 η는 시스템 크기 n에 대해 역다항함수이다.
• 런타임은 n에 대해 다항함수이며, 구체적으로 n^O(1)이며, 퇴화 수 g에 대해 지수함수적으로 의존한다. 이는 g가 상수로 가정된다는 점에서 중요하다.
• 트레이스 노름 오차는 프로베니우스 노름 오차의 O(√g) 배 이하로 제한되며, g가 상수이므로 여전히 역다항함수 수준을 유지한다.
• 반체인에서의 국소적 구별 가능성 조건을 강제함으로써 기저 상태 기저의 완전성이 보장되며, 이는 이전 접근 방식과의 핵심적 차이점이다.
• 알고리즘은 알려지지 않은 퇴화 수에 대해 안정적이다: g = O(1)임만 안다면 충분하며, 일부 경쟁적 접근 방식이 요구하는 명시적 상한이 필요로 하지 않는다.
• 결과로 얻어진 AGSP는 다항적 유 bounds된 결합 차원을 가진 MPO로서의 최소 질량 프로젝터이며, MPO 관측량의 기대값 추정을 효율적으로 수행할 수 있다.