[논문 리뷰] Distillability of Inseparable Quantum Systems

Michał Horodecki, Ryszars Horodecki외 1명|ArXiv.org|1996. 07. 11.

Quantum Mechanics and Applications참고 문헌 1인용 수 6

한 줄 요약

이 논문은 로컬 운영 및 고전적 통신(LOCC)을 이용하여 임의의 분리 불가능한 2×2 양자 시스템을 최대 얽힘 상태로 정련할 수 있음을 보여준다. 이는 호로데cki의 분리 불가능성 기준과 벤넷 등이 제안한 순수화 프로토콜을 기반으로 한다. 주요 기여는 2×2 시스템에서 모든 유한 얽힘 상태의 정련 가능성을 증명한 것으로, 힐베르트-스미스 공간 내 기하학적 해석이 수반된다.

ABSTRACT

We apply the inseparability criterion for $2 imes 2$ systems, local filtering and Bennett et al. purification protocol [Phys. Rev. Lett. {\bf 76}, 722 (1996)] to show how to distill {\it any} inseparable $2 imes 2$ system. The extended protocol is illustrated geometrically by means of the state parameters in the Hilbert-Schmidt space.

연구 동기 및 목표

• 모든 분리 불가능한 2×2 양자 시스템이 로컬 운영 및 고전적 통신(LOCC)을 통해 최대 얽힘 상태로 정련될 수 있는지 여부를 규명하는 것.
• 벤넷 등이 제안한 순수화 프로토콜을 2×2 시스템 내 임의의 분리 불가능한 상태에 적용할 수 있도록 확장하는 것.
• 상태 매개변수를 사용하여 힐베르트-스미스 공간 내 정련 가능성의 기하학적 해석을 제공하는 것.
• 분리 불가능성 기준과 양자 상태의 정련 가능성 간의 관계를 설정하는 것.
• 유한 얽힘 상태가 2×2 시스템에 존재하는지 여부를 규명하기 위해 모든 이러한 시스템이 정련 가능하다는 점을 증명함으로써 열린 질문을 해결하는 것.

제안 방법

• 분리 불가능한 2×2 시스템을 식별하기 위해 호로데cki의 분리 불가능성 기준을 적용한다.
• 초기 상태를 순수화에 적합한 형태로 변환하기 위해 로컬 필터링 연산을 사용한다.
• 필터링된 상태로부터 최대 얽힘 상태를 정련하기 위해 벤넷 등이 제안한 순수화 프로토콜을 활용한다.
• 상태 매개변수를 사용하여 양자 상태를 힐베르트-스미스 공간 내 기하학적으로 표현한다.
• 필터링 이후 밀도 행렬의 양성 여부를 기반으로 프로토콜의 성공 여부를 분석한다.
• 모든 분리 불가능한 2×2 시스템에 대해 프로토콜이 성공함을 증명한다. 이는 初기 얽힘 강도와 무관하게 성립한다.

실험 결과

연구 질문

• RQ1 로컬 운영 및 고전적 통신(LOCC)을 사용하여 모든 분리 불가능한 2×2 양자 상태를 최대 얽힘 상태로 정련할 수 있는가?
• RQ2 표준 순수화 프로토콜은 모든 분리 불가능한 2×2 시스템에 적용 가능한가, 아니면 예외가 존재하는가?
• RQ3 2×2 시스템에서 정련 가능한 상태의 기하학적 구조는 힐베르트-스미스 공간 내에 어떻게 나타나는가?
• RQ4 분리 가능한 상태와 분리 불가능한 상태 간의 정련 가능성에 근본적인 차이가 존재하는가?
• RQ5 로컬 필터링만으로도 어떤 분리 불가능한 2×2 상태도 순수화에 적합하게 만들 수 있는가?

주요 결과

• 모든 분리 불가능한 2×2 양자 시스템은 로컬 운영 및 고전적 통신(LOCC)을 통해 최대 얽힘 상태로 정련 가능하다.
• 로컬 필터링과 함께 확장된 순수화 프로토콜은 모든 분리 불가능한 2×2 상태를 성공적으로 정련한다.
• 힐베르트-스미스 공간 내 기하학적 표현은 정련 가능한 상태의 집합이 2×2 시스템 내 모든 분리 불가능한 상태를 포함한다는 것을 확인한다.
• 분리 불가능성 기준은 2×2 시스템에서 정련 가능성에 대한 충분 조건으로 작용한다.
• 논문은 2×2 시스템 내에 유한 얽힘 상태가 존재하는지 여부라는 열린 질문을 해결하며, 이러한 상태가 존재하지 않음을 증명한다.
• 분리 조건을 위반하는 모든 상태에 대해 프로토콜의 성공이 보장되며, 이는 얽힘 강도의 정도와 무관하다.