[논문 리뷰] The separability versus entanglement problem

Aditi Sen De, Ujjwal Sen외 2명|ArXiv.org|2005. 08. 03.

Quantum Information and Cryptography참고 문헌 3인용 수 8

한 줄 요약

이 논문은 이분기 시스템에서 분리 가능 상태와 얽힘 상태를 구분하기 위한 종합적인 이론적 프레임워크를 제공하며, 부분 전치, 얽힘 감지기, 양의 사상과 같은 기준을 중심으로 다룬다. 이는 양자 조밀 코딩에 유용한 상태 기반의 이분기 상태 분류를 수립하여, 전역 상태와 국소 상태 간의 엔트로피 차이가 양수이면서 부분 전치가 음수인 상태만이 조밀 코딩에 유용하다는 것을 보여준다.

ABSTRACT

We review the problem of discriminating entangled states from separable states for bipartite systems. We formally define what entangled states are, present some important criteria to detect entanglement, and show how they can be classified according to their capability to perform some precisely defined tasks.

연구 동기 및 목표

• 이분기 양자 시스템에서 분리 가능 상태와 얽힘 상태의 구분을 체계화하는 것.
• 부분 전치 및 얽힘 감지기와 같은 운영 및 비운영 기준을 개발하고 분석하는 것.
• 양자 조밀 코딩을 가능하게 하는 능력에 따라 이분기 양자 상태를 분류하는 것.
• 얽힘, 비양의 부분 전치(NPT) 및 양자 통신 과제에서의 활용도 간의 관계를 명확히 하는 것.
• 혼합 상태로의 분석 확장 및 저차원 시스템에서 기존 기준의 한계를 부각하는 것.

제안 방법

• 순수 이분기 상태를 특성화하고 다중 슈미트 계수를 통해 얽힘을 판단하기 위해 슈미트 분해를 사용한다.
• 특히 큐비트 시스템에서 얽힘 탐지에 필요한 조건으로 부분 전치 기준을 적용한다.
• 하인-반흐 바이어 정리에서 유도된 얽힘 감지기를 사용하여 관측 가능한 측정을 통해 얽힘을 탐지한다.
• 양의 사상과 혼합 상태에서의 얽힘 탐지 간의 연결을 위해 자미올스키 이소모피즘을 활용한다.
• 양자 조밀 코딩의 능력을 정량화하기 위해 홀로보 경계와 바나흐 엔트로피를 사용한다.
• 얽힘과 정보 이론 기준에 기반해 상태를 네 가지 범주로 분류한다: 분리 가능, PPT 얽힘, NPT 비조밀코딩 가능, 조밀코딩 가능.

실험 결과

연구 질문

• RQ1 이분기 양자 시스템에서 혼합 상태의 얽힘 상태와 분리 가능 상태를 신뢰성 있게 구분할 수 있는 기준은 무엇인가?
• RQ2 부분 전치 기준은 어떻게 얽힘을 탐지하는가? 그리고 그 한계는 무엇인가?
• RQ3 어떤 얽힘 상태가 양자 조밀 코딩에 유용한가? 어떤 조건을 충족해야 하는가?
• RQ4 모든 얽힘 상태가 부분 전치 기준으로 탐지 가능한가? 만약 그렇지 않다면 대안은 무엇인가?
• RQ5 얽힘 감지기와 양의 사상의 성질은 얽힘 상태의 구조와 어떻게 관련이 있는가?

주요 결과

• 이분기 상태가 양자 조밀 코딩에 유용하려면 국소 상태의 바나흐 엔트로피와 전역 상태의 엔트로피 차이가 양수여야 하며, 즉 $ S(\rho^B) - S(\rho) > 0 $ 이다.
• PPT 얽힘 상태는 엔트로피 조건을 충족하지 못하므로 조밀 코딩에 사용될 수 없으며, 이는 얽힘 상태임에도 불구하고 그렇다.
• 모든 조밀코딩 가능한 상태는 반드시 NPT(비양의 부분 전치)이지만, 모든 NPT 상태가 조밀 코딩에 유용한 것은 아니다.
• $ \mathbb{C}^2 \otimes \mathbb{C}^2 $에서 밀도 행렬의 부분 전치는 최대 하나의 음수 고유값을 가질 수 있다.
• 분리 가능, PPT 얽힘, NPT 비조밀코딩 가능, 조밀코딩 가능한 상태로의 분류는 비트리비어이며, 모든 범주가 비어 있지 않고 양의 측도를 가진다.
• 다른 상태 범주 간의 경계는 볼록성을 띠며, 이는 얽힘 성질의 구조적 기하적 조직을 나타낸다.