[논문 리뷰] Characterizing Entanglement via Uncertainty Relations

Otfried Gühne|arXiv (Cornell University)|2003. 06. 28.

Quantum Information and Cryptography참고 문헌 28인용 수 300

한 줄 요약

이 논문은 임의의 관측량에 대한 분산 부등식을 기반으로 한 얽힘 기준의 가족을 제안하며, 모든 순수 이량자 얽힘 상태, 확장 불가능한 곱기저(UPB)에서 유래한 특정 유한한 얽힘 상태, 그리고 다량자 얽힘 상태가 이러한 부등식을 위반함을 보여준다. 이 방법은 공분산 행렬 기준과 동치이며, 연속 변수 분리 가능성 기준을 유한 차원 시스템으로 이식할 수 있게 한다.

ABSTRACT

We derive a family of necessary separability criteria for finite-dimensional systems based on inequalities for variances of observables. We show that every pure bipartite entangled state violates some of these inequalities. Furthermore, a family of bound entangled states and true multipartite entangled states can be detected. The inequalities also allow to distinguish between different classes of true tripartite entanglement for qubits. We formulate an equivalent criterion in terms of covariance matrices. This allows us to apply criteria known from the regime of continuous variables to finite-dimensional systems.

연구 동기 및 목표

• 유한 차원 양자 시스템에서 얽힘을 탐지할 수 있는 일반적이고 관측량 기반의 불확실성 원리를 개발하기 위해.
• 기존의 국소 불확실성 원리(LURs)를 초월하여 유한한 얽힘과 다량자 얽힘을 탐지할 수 있도록 기준을 확장하기 위해.
• 분산 기반 기준과 공분산 행렬 조건 간의 등가성을 확립하여, 유한 차원과 연속 변수 얽힘 탐지 간의 연결 고리를 만들기 위해.
• 분산 부등식을 사용하여 큐비트 시스템에서 진정한 다량자 얽힘의 다양한 유형을 구분하기 위해.
• 전체 상태 단층 촬영 없이도 국소 측정을 통한 분산 측정만으로도 얽힘 탐지를 체계적으로 수행할 수 있는 프레임워크를 제공하기 위해.

제안 방법

• 혼합 상태에서 관측량의 분산 합이 제품 상태에서의 분산의 볼록 조합으로부터 아래로 유계임을 나타내는 일반 부등식(보조정리 1)을 유도한다.
• 이 부등식의 위반을 얽힘의 충분조건으로 사용하며, 관측량 Mi는 상태의 수직 여부 기저에 대한 사영자로 선택한다.
• 두 큐비트 벨 상태에 대해 특정 관측량 Mi를 구성하여, 얽힘 상태에서는 분산 합이 0이 되지만, 모든 제품 상태에서는 2a²b² 이상으로 유계임을 보인다.
• 다량자 시스템으로 이 방법을 일반화하기 위해, 상태의 핵(null space)에 대한 얽힘 기저에 대한 사영자 Mi를 정의함으로써 진정한 다량자 얽힘 탐지를 가능하게 한다.
• 공분산 행렬(CM)을 이용한 등가 기준을 제시하며, 분산 부등식이 분리 가능한 상태에서 γ(ρ, Mi) ≥ κA ⊕ κB를 만족함을 보인다.
• 연속 변수에서 알려진 가우시안 상태의 분리 가능성 기준을 공분산 행렬 기반으로 유한 차원 시스템으로 매핑함으로써 응용한다.

실험 결과

연구 질문

• RQ1 분산 기반 불확실성 원리는 모든 순수 이량자 얽힘 상태를 탐지할 수 있는가?
• RQ2 이러한 기준은 특히 확장 불가능한 곱기저(UPB)에서 유도된 양자 상태의 유한한 얽힘을 탐지할 수 있는가?
• RQ3 이 방법은 큐비트 시스템에서 진정한 다량자 얽힘의 다양한 유형을 구분할 수 있는가?
• RQ4 연속 변수 얽힘 기준(공분산 행렬 기반)을 유한 차원 시스템으로 체계적으로 매핑할 수 있는가?
• RQ5 어떤 얽힘 상태도 분산 기반 불확실성 원리 위반을 하지 않는 경우가 존재하는가?

주요 결과

• 적절히 선택된 관측량 Mi에 대해, 모든 순수 이량자 얽힘 상태는 분산 부등식을 위반한다. 얽힘 상태에서는 분산 합이 0이 되지만, 모든 제품 상태에서는 0에서 벗어나 있는 것으로 유계이다.
• 확장 불가능한 곱기저(UPB)에서 유도된 유한한 얽힘 상태는 분산 부등식을 위반하여 국소 측정을 통한 분산 측정으로 탐지 가능하다.
• 두 큐비트 벨 상태 |ψ₁⟩ = a|00⟩ + b|11⟩에 대해, 분산 합 ∑ᵢ δ²(Mᵢ)은 얽힘 상태에서는 0이지만, 모든 제품 상태에서는 2a²b² 이상으로 유계이다.
• ρ(p) = p|ψ₁⟩⟨ψ₁| + (1−p)/4 형태의 혼합 상태는 p ≥ √(1 − 8a²b²/3)일 때 위반됨을 보여, 노이즈에 대한 강건성을 입증한다.
• 분산 기반 기준은 공분산 행렬(CM) 기준과 등가이다: 분리 가능한 상태에서는 γ(ρ, Mi) ≥ κA ⊕ κB를 만족하며, 여기서 κA와 κB는 국소 상태의 공분산 행렬의 볼록 조합이다.
• CM 기반 공식화를 통해 기존의 가우시안 상태 분리 가능성 기준(예: Werner와 Wolf, 2001)을 유한 차원 시스템에 직접 적용할 수 있으며, CM 부등식을 통해 p ≥ 1/√3일 때 워너 상태를 탐지할 수 있다.