[논문 리뷰] Separability criterion for multipartite pure quantum states

Ali Saif M. Hassan, Pramod S. Joag|arXiv (Cornell University)|2007. 01. 09.

Quantum Computing Algorithms and Architecture인용 수 2

한 줄 요약

이 논문은 다중편재 순수 양자 상태의 분리 가능성에 대한 차수 추측의 강한 형태를 증명하며, 상태가 분리 가능할 때이고 그때에만 해당 상태의 관련 그래프의 차수 행렬이 부분 전치 행렬의 차수 행렬과 일치함을 밝혀낸다. 수정된 그래프의 텐서곱을 사용하여 저자는 임의의 순수 다중편재 상태에 대한 완전한 인수분해를 수행할 수 있는 다항식 시간 알고리즘을 개발한다. 또한 혼합 상태에 대해서는 추측이 성립하지 않음을 보이며, 다만 특정 클래스의 혼합 상태에 대해서는 약한 형태로는 성립함을 밝힌다.

ABSTRACT

We settle the so-called degree conjecture for the separability of multipartite quantum states, which are normalized graph Laplacians, first given by Braunstein {\it et al.} [Phys. Rev. A extbf{73}, 012320 (2006)]. The conjecture states that a multipartite quantum state is separable if and only if the degree matrix of the graph associated with the state is equal to the degree matrix of the partial transpose of this graph. We call this statement to be the strong form of the conjecture. In its weak version, the conjecture requires only the necessity, that is, if the state is separable, the corresponding degree matrices match. We prove the strong form of the conjecture for {\it pure} multipartite quantum states, using the modified tensor product of graphs defined in [J. Phys. A: Math. Theor. extbf{40}, 10251 (2007)], as both necessary and sufficient condition for separability. Based on this proof, we give a polynomial-time algorithm for completely factorizing any pure multipartite quantum state. By polynomial-time algorithm we mean that the execution time of this algorithm increases as a polynomial in $m,$ where $m$ is the number of parts of the quantum system. We give a counter-example to show that the conjecture fails, in general, even in its weak form, for multipartite mixed states. Finally, we prove this conjecture, in its weak form, for a class of multipartite mixed states, giving only a necessary condition for separability.

연구 동기 및 목표

• 다중편재 양자 상태 분리 가능성에 대한 차수 추측을 해결함으로써, 특히 순수 상태에 대해 다루는 것.
• 상태와 관련된 그래프의 그래프 이론적 성질을 이용하여 분리 가능성에 대한 필요 및 충분 조건을 설정하는 것.
• 모든 순수 다중편재 양자 상태에 대해 인수분해를 수행할 수 있는 효율적인 다항식 시간 알고리즘을 개발하는 것.
• 혼합 상태에 대해 추측의 타당성을 조사하여 약한 형태와 강한 형태를 구분하는 것.
• 특정 조건 하에서 추측이 약한 형태로 성립하는 조건을 규명하는 것.

제안 방법

• 저자는 이전 연구에서 소개된 수정된 그래프의 텐서곱을 사용하여 다중편재 양자 상태를 모델링하고 그들의 분리 가능성에 대해 분석한다.
• 양자 상태와 관련된 그래프의 차수 행렬을 정의하고, 이를 상태의 부분 전치와의 차수 행렬과 비교한다.
• 증명는 원래 그래프의 차수 행렬과 부분 전치된 그래프의 차수 행렬이 동일함이 순수 상태의 분리 가능성에 대한 필요 및 충분 조건임을 보여주는 데 기반한다.
• 이 동일성에 기반하여 다항식 시간 알고리즘을 구성하여 순수 다중편재 상태의 완전한 인수분해를 가능하게 한다.
• 저자는 추측이 일반적으로 성립하지 않음을 보여주는 반례를 제시하여, 다중편재 혼합 상태에 대해서는 심지어 약한 형태로도 일반적으로 성립하지 않음을 보여준다.
• 또한 특정 클래스의 혼합 상태에 대해 추측의 약한 형태를 증명하여 분리 가능성에 대한 필요 조건만을 제공함을 보였다.

실험 결과

연구 질문

• RQ1 다중편재 순수 양자 상태의 그래프 차수 행렬이 그 부분 전치와 동일한가? 만약 그렇다면, 그 상태가 분리 가능할 때에만 성립하는가?
• RQ2 그래프 기반 기준에 기반하여, 임의의 순수 다중편재 양자 상태를 완전히 인수분해할 수 있는 다항식 시간 알고리즘을 구성할 수 있는가?
• RQ3 다중편재 혼합 상태에 대해 차수 추측은 약한 형태 또는 강한 형태로 성립하는가?
• RQ4 어떤 혼합 상태의 구조적 성질이 추측의 약한 형태가 유지될 수 있도록 하는가?
• RQ5 수정된 그래프의 텐서곱이 다중편재 양자 상태의 분리 가능성 특성화에 어떤 역할을 하는가?

주요 결과

• 모든 다중편재 순수 양자 상태에 대해 차수 추측의 강한 형태가 참으로 증명되었으며, 이는 분리 가능성에 대한 필요 및 충분 조건을 설정한다.
• 모든 순수 다중편재 양자 상태에 대한 완전한 인수분해를 수행할 수 있는 다항식 시간 알고리즘이 성공적으로 개발되었으며, 시스템 구성 요소의 수에 대해 다항식 시간 내에 실행 시간이 증가한다.
• 반례를 통해 다중편재 혼합 상태에 대해 추측이 일반적으로 성립하지 않음을 보였으며, 심지어 약한 형태로도 일반적으로 성립하지 않음을 입증하였다.
• 특정 클래스의 다중편재 혼합 상태에 대해 추측의 약한 형태가 참으로 증명되었으며, 이는 분리 가능성에 대한 필요 조건만을 제공한다.
• 수정된 그래프의 텐서곱은 분리 가능성 특성화 및 순수 상태의 효율적 인수분해를 가능하게 하는 핵심 도구로 기능한다.