[논문 리뷰] Matrix Product State Representations

David Pérez-Garcı́a, Frank Verstraete외 2명|ArXiv.org|2006. 08. 25.

Spectroscopy and Quantum Chemical Studies인용 수 26

한 줄 요약

이 논문은 순수 양자 다체 상태에 대한 행렬 곱 상태(MPS) 표현에 대한 체계적인 이론적 분석을 제공하며, 이동 불변성 여부에 관계없이 개방된 경계 조건과 순환 경계 조건에 대해 정규형을 수립한다. 일반적인 국소 해밀토니안 하에서 지배 상태의 유일성을 증명하고, 양자 회로에서 얽힘이 제한된(결합 차수에 상한이 있는) 시스템이 고전적으로 효율적으로 시뮬레이션 가능하다는 것을 보이며, 양자 우월성에서 얽힘의 핵심 역할을 부각시킨다.

ABSTRACT

This work gives a detailed investigation of matrix product state (MPS) representations for pure multipartite quantum states. We determine the freedom in representations with and without translation symmetry, derive respective canonical forms and provide efficient methods for obtaining them. Results on frustration free Hamiltonians and the generation of MPS are extended, and the use of the MPS-representation for classical simulations of quantum systems is discussed.

연구 동기 및 목표

• 유한한 양자 시스템에서 이동 불변성 여부에 관계없이 MPS 표현의 자유도를 완전히 특성화하는 것.
• 개방 및 순환 경계 조건 하에서 MPS의 정규형을 도출하여 유일하고 효율적인 상태 표현을 가능하게 하는 것.
• MPS가 국소 해밀토니안의 정확한 지배 상태가 되는 조건을 수립하며, 유일성 및 에너지 갭 성질을 포함한다.
• 낮은 얽힘(결합 차수에 상한이 있는)을 가진 양자 회로가 고전적으로 효율적으로 시뮬레이션 가능하다는 것을 보이며, 얽힘의 역할을 명확히 하는 것.
• MPS 기반 변분 방법, 부모 해밀토니안, 순차적 상태 준비에 관한 결과를 통합하고 확장하는 것.

제안 방법

• 전이 연산자의 일반화된 조르당 분해를 통해 정규형 MPS 표현을 유도하며, 이동 불변 시스템의 경우 행렬 곱의 구조와 CP 사상(완전히 양의 연산자)을 사용한다.
• 유한한 상관 상태 이론을 적용하여 MPS를 비어 있는 상태와 주기적 성분으로 분류함으로써 고유한 분해를 가능하게 한다.
• 국소 프로젝터를 사용하여 임의의 MPS에 대해 부모 해밀토니안을 구성하고, 일반 조건 하에서 지배 상태의 유일성을 증명한다.
• 결합 차수와 얽힘 및 상관 성질 간의 관계를 밝히기 위해 밸런스 결합도 그림과 행렬 곱의 구조를 활용한다.
• 결합 차수에 대해 다항 시간 자원으로 제한되는 복잡도를 가지는, 교대 최소 제곱 기반 변분 알고리즘을 적용하여 MPS 근사를 최적화한다.
• 결합 차수 D가 다항적으로 증가할 경우, 측정 기반 양자 계산의 기대값과 측정 결과가 다항 시간 내에 계산 가능하다는 점을 보여주어 고전적 시뮬레이션을 입증한다.

실험 결과

연구 질문

• RQ1 주어진 양자 상태를 행렬 곱 상태(MPS)로 표현할 수 있는 자유도의 전반적인 범위는 무엇이며, 이를 정규형으로 줄일 수 있는가?
• RQ2 국소 해밀토니안의 지배 상태가 MPS로 어떻게 유일하게 표현될 수 있으며, 언제 다중성(퇴화)이 발생하는가?
• RQ3 MPS는 일차원 양자 시스템의 지배 상태를 효율적으로 근사할 수 있는가? 이를 위해 필요한 얽힘 스케일링은 무엇인가?
• RQ4 제한된 얽힘을 가진 양자 회로는 어느 정도까지 고전적으로 시뮬레이션 가능하며, 결합 차수는 어떤 역할을 하는가?
• RQ5 MPS를 사용하여 다중 양자 얽힘 상태를 순차적으로 생성할 수 있는가? 실험적으로 실현 가능한 조건은 무엇인가?

주요 결과

• 개방 경계 조건을 가진 임의의 MPS에 대해, 전이 연산자가 고유한 주요 고유값을 가진다면 고유한 정규형이 존재한다.
• 주기적 경계 조건을 가진 이동 불변 시스템의 경우, 상태는 비어 있는 상태와 주기적 성분의 중첩으로 고유하게 분해되며, 각 성분은 정규형 표현을 가진다.
• MPS로부터 구성된 부모 해밀토니안의 지배 상태는 전이 연산자가 일반 조건(C1)을 만족할 경우, 열역학적 극한을 취하지 않더라도 유한한 시스템에서도 유일하다.
• 결합 차수 D가 시스템 크기 N에 대해 다항적으로 증가할 경우, 이러한 상태에서의 측정 기반 양자 계산은 다항 시간(poly(N)) 내에 고전적으로 시뮬레이션 가능하다.
• 각 큐비트가 최대 O(log N)개의 이중 큐비트 게이트에 참여하는 양자 회로는 MPS의 결합 차수가 유한하게 유지될 경우, 다항 시간 내에 고전적으로 시뮬레이션 가능하다.
• 교대 최소 제곱 기반 변분 MPS 접근법은 실용적으로 효율적이지만, 비凸성으로 인해 최악의 경우 복잡도가 NP-난이도일 수 있다.