[논문 리뷰] Polynomial constraints on representing entangled qubits as matrix product states

Andrew Critch, Jason Morton|arXiv (Cornell University)|2012. 10. 10.

Algebraic structures and combinatorial models인용 수 1

한 줄 요약

이 논문은 추적 대수학과 숨겨진 마르코프 모델과의 연결을 통해, 다체 양자 상태가 이동 불변 행렬 곱 상태(MPS) 또는 그 극한으로 표현될 수 있는지 특성화하는 진폭에 대한 다항식 제약 조건을 유도한다. 소규모 시스템에 대해 명시적인 방정식을 제공하고 매개변수 식별 가능성에 대한 추측을 제기함으로써, MPS 표현 가능성에 대한 대수적 이해를 발전시킨다.

ABSTRACT

We quantify the representational power of matrix product states (MPS) for entangled qubit systems by giving polynomial expressions in a pure quantum state's amplitudes which hold if and only if the state is a translation invariant matrix product state or a limit of such states. For systems with few qubits, we give these equations explicitly, considering both periodic and open boundary conditions. Using the classical theory of trace varieties and trace algebras, we explain the relationship between MPS and hidden Markov models and exploit this relationship to derive useful parameterizations of MPS. We make four conjectures on the identifiability of MPS parameters.

연구 동기 및 목표

• 이동 불변 행렬 곱 상태(MPS) 또는 그 극한으로 표현될 수 있는 얽힌 큐비트 상태가 어떤 것인지 대수적 제약 조건을 통해 특성화하는 것.
• 소규모 시스템에서 MPS 표현 가능성에 필수적이고 충분한 조건인 양자 상태의 진폭에 대한 명시적 다항식 방정식을 유도하는 것.
• 추적 대수학과 추적 다양체를 통해 MPS와 숨겨진 마르코프 모델 간의 수학적 연결을 수립하는 것.
• 더 나은 표현 분석을 위한 이 대수적 프레임워크 기반의 MPS 매개변수화를 제공하는 것.
• MPS 매개변수의 식별 가능성에 대한 추측을 제안하여 양자 상태 표현의 기본적인 구조적 질문을 다루는 것.

제안 방법

• MPS 상태를 특성화하는 다항식 불변량을 도출하기 위해 고전적 추적 다양체 이론과 추적 대수학 이론을 사용한다.
• 행렬 곱 상태의 대수적 구조를 적용하여, 상태가 이동 불변 MPS 또는 그 극한이면 항상 성립하는 진폭에 대한 다항식 제약 조건을 식별한다.
• 열린 경계 조건과 주기적 경계 조건을 모두 고려하여 소수의 큐비트를 가진 시스템에 대해 이러한 다항식 방정식을 명시적으로 구성한다.
• MPS와 숨겨진 마르코프 모델 간의 이중성에 기반하여, 대수기하 기법을 통해 MPS의 매개변수화를 도출한다.
• MPS 파동함수의 구조를 대수적으로 표현하기 위해 행렬의 추적에 대한 추적 항등식과 다항식 관계를 활용한다.
• 유도된 대수적 제약 조건을 바탕으로 MPS 매개변수의 유일성과 식별 가능성에 대한 추측을 수립한다.

실험 결과

연구 질문

• RQ1 순수 양자 상태의 진폭에 대한 어떤 다항식 제약 조건이 이동 불변 MPS 또는 그 극한으로서의 상태 표현 가능성에 필수적이고 충분한가?
• RQ2 추적 다양체와 추적 대수학의 대수적 구조는 행렬 곱 상태의 표현과 어떻게 관련되는가?
• RQ3 MPS와 숨겨진 마르코프 모델 간의 이중성은 어떻게 활용되어 MPS 파동함수의 매개변수화를 도울 수 있는가?
• RQ4 MPS 매개변수의 식별 가능성을 보장하는 조건는 무엇이며, 이를 어떻게 대수적으로 형식화할 수 있는가?
• RQ5 경계 조건(열린 경계 vs. 주기적 경계)은 MPS 표현 가능성에 대한 다항식 제약 조건의 형태에 어떻게 영향을 미치는가?

주요 결과

• 논문은 소규모 시스템에서 유효한, 상태가 이동 불변 MPS 또는 그 극한이 되는지를 특성화하는 양자 상태의 진폭에 대한 명시적 다항식 방정식을 도출한다.
• 유도된 대응관계는 추적 대수학 이론을 통해 MPS와 숨겨진 마르코프 모델 간의 정확한 대수적 연관성을 확립한다.
• 유도된 제약 조건은 이동 불변 조건 하에서 MPS 표현 가능성에 대해 필수적이고 충분함이 입증된다.
• 이 프레임워크는 추적 항등식을 기반으로 한 새로운 MPS 매개변수화를 가능하게 하여, 상태 표현에 대한 기하학적 및 대수적 시각을 제공한다.
• MPS 매개변수의 식별 가능성에 대한 네 가지 추측이 제안되며, 이는 매개변수 공간의 더 깊은 구조적 성질을 시사한다.
• 결과는 얽힌 큐비트 시스템에서 MPS의 대수적 한계와 능력을 이해하는 데 기초를 마련한다.