[논문 리뷰] The compositional structure of multipartite quantum entanglement

Bob Coecke, Aleks Kissinger|arXiv (Cornell University)|2010. 02. 12.

Algebraic structures and combinatorial models참고 문헌 26인용 수 14

한 줄 요약

이 논문은 GHZ 및 W 상태를 기본 구성 요소로 사용하여 다부분 양자 얽힘을 위한 구성적 그래픽스 계산법을 제안한다. 이 상태들은 특수한 GHZ와 반특수한 W에 해당하는 교환 법칙을 만족하는 프로베누스 대수를 유도하며, 그래프 재작성과 SLOCC 분류를 통해 임의의 다부분 상태를 완전하고 대수적으로 구조화된 방식으로 표현할 수 있다.

ABSTRACT

While multipartite quantum states constitute a (if not the) key resource for quantum computations and protocols, obtaining a high-level, structural understanding of entanglement involving arbitrarily many qubits is a long-standing open problem in quantum computer science. In this paper we expose the algebraic and graphical structure of the GHZ-state and the W-state, as well as a purely graphical distinction that characterises the behaviours of these states. In turn, this structure yields a compositional graphical model for expressing general multipartite states. We identify those states, named Frobenius states, which canonically induce an algebraic structure, namely the structure of a commutative Frobenius algebra (CFA). We show that all SLOCC-maximal tripartite qubit states are locally equivalent to Frobenius states. Those that are SLOCC-equivalent to the GHZ-state induce special commutative Frobenius algebras, while those that are SLOCC-equivalent to the W-state induce what we call anti-special commutative Frobenius algebras. From the SLOCC-classification of tripartite qubit states follows a representation theorem for two dimensional CFAs. Together, a GHZ and a W Frobenius state form the primitives of a graphical calculus. This calculus is expressive enough to generate and reason about arbitrary multipartite states, which are obtained by "composing" the GHZ- and W-states, giving rise to a rich graphical paradigm for general multipartite entanglement.

연구 동기 및 목표

• 임의의 수의 큐비트를 포함하는 다부분 양자 얽힘에 대한 고수준의 구조적 이해를 제공하기 위해.
• 기본적으로 다른 클래스의 삼부분 얽힘을 나타내는 GHZ 상태와 W 상태 사이의 대수적 및 그래픽적 차이를 규명하기 위해.
• GHZ 및 W 상태의 조합을 통해 임의의 다부분 양자 상태를 생성하고 추론할 수 있는 구성적 그래픽스 모델을 개발하기 위해.
• SLOCC 최대 삼부분 큐비트 상태와 프로베누스 상태 사이의 대응 관계를 설정하고, 그로 인해 유도되는 대수적 구조를 특성화하기 위해.
• 다부분 얽힘을 위한 보편적인 그래픽스 계산법의 기초를 다지기 위해, 양자 계산 및 프로토콜 설계에의 적용을 고려하여.

제안 방법

• 삼부분 양자 상태로서의 프로베누스 상태를 도입하여, 자연스럽게 교환 법칙을 만족하는 프로베누스 대수(CFA)를 유도한다.
• 합성 µ ◦ δ의 질량에 기반하여, GHZ 상태는 특수한 CFA를, W 상태는 반특수한 CFA를 유도한다고 규명한다.
• 삼부분 큐비트 상태의 SLOCC 분류를 활용하여, 두 차원 CFA에 대한 표현 정리를 증명한다.
• GHZ 및 W 상태를 기본 원소로 사용하는 그래픽스 계산법을 구축하며, 이는 구성 요소 간의 텐서 곱과 시스템의 연결을 의미한다.
• CFAs의 대칭성을 활용하여 복잡한 다부분 상태를 다루고 추론하기 위해 그래프 재작성 규칙을 적용한다.
• 특수한 CFA(GHZ)와 반특수한 CFA(W)의 조합에 더해 단일 큐비트 상태를 포함함으로써, 그래픽스 계산법에서 계산의 보편성을 확립한다.

실험 결과

연구 질문

• RQ1 다부분 얽힘에서 GHZ 상태와 W 상태 사이의 근본적인 차이를 뒷받침하는 대수적 및 그래픽스적 구조는 무엇인가?
• RQ2 모든 SLOCC 최대 삼부분 큐비트 상태는 프로베누스 상태로 특성화될 수 있는가? 만약 그렇다면, 어떤 종류의 CFA를 유도하는가?
• RQ3 어떻게 하면 GHZ 및 W 상태를 기반으로 하여 임의의 다부분 얽힌 상태를 생성하고 추론할 수 있는 구성적 그래픽스 계산법을 구축할 수 있는가?
• RQ4 GHZ/W 계산법에서 두 그래픽스 표현식이 동일한 양자 상태를 나타내기 위한 필수 및 충분 조건은 무엇인가?
• RQ5 이 프레임워크는 큸디트로 확장될 수 있는가? 그리고 µ ◦ δ의 중간 질량이 고차원 시스템에서 어떤 역할을 하는가?

주요 결과

• 모든 SLOCC 최대 삼부분 큐비트 상태는 국소적으로 프로베누스 상태와 동치이며, GHZ 유형 상태는 특수한 CFA를, W 유형 상태는 반특수한 CFA를 유도한다.
• 두 차원 CFA에 대한 표현 정리는 삼부분 큐비트 상태의 SLOCC 분류로부터 유도되며, 완전한 대응 관계를 확립한다.
• GHZ 및 W 상태는 조합을 통해 임의의 다부분 상태를 생성할 수 있는 충분히 표현력 있는 그래픽스 계산법의 표준 기본 원소로 기능한다.
• 단일 큐비트 상태와 함께 사용될 경우, 그래픽스 계산법은 계산의 보편성을 달성하며, 양자 멀티플렉서와 같은 복잡한 양자 프로토콜의 구축이 가능하다.
• 이 프레임워크는 2×2 행렬과 특수 또는 반특수한 CFA 기반의 노드를 포함하는 그래픽스 분해를 통해 행렬 곱 상태(MPS)를 새로운 방식으로 표현할 수 있다.
• 결과적으로, 다체계에서의 기대값은 특히 2차원 MPS 체인에서 그래픽스 기법을 통해 효율적으로 계산될 수 있음을 시사한다.