[논문 리뷰] Quantum conditional operator and a criterion for separability

Nicolas J. Cerf, Christoph Adami외 1명|CERN Bulletin|1997. 10. 01.

Spectral Theory in Mathematical Physics인용 수 46

한 줄 요약

이 논문은 양자 얽힘을 분석하는 도구로 양자 조건부 진폭 연산자를 도입하고, 양의 매핑 Γ: ρ → (Tr ρ)I − ρ 기반으로 새로운 분리 가능성 기준을 제안한다. 분리 가능한 상태는 조건부 연산자의 고유값이 ≤ 1이어야 하며, 상태에 Γ⊗I를 적용하면 분리 가능한 경우 비음성 연산자가 된다는 것을 보여준다. 이 기준은 큐비트 시스템에서는 부분 전치와 동치이며, 2×2 및 2×3 시스템에서는 필수적이고 충분한 조건이다.

ABSTRACT

We analyze the properties of the conditional amplitude operator, the quantum analog of the conditional probability which has been introduced in [quant-ph/9512022]. The spectrum of the conditional operator characterizing a quantum bipartite system is invariant under local unitary transformations and reflects its inseparability. More specifically, it is shown that the conditional amplitude operator of a separable state cannot have an eigenvalue exceeding 1, which results in a necessary condition for separability. This leads us to consider a related separability criterion based on the positive map $Γ:ρ o (Tr ρ) - ρ$, where $ρ$ is an Hermitian operator. Any separable state is mapped by the tensor product of this map and the identity into a non-negative operator, which provides a simple necessary condition for separability. In the special case where one subsystem is a quantum bit, $Γ$ reduces to time-reversal, so that this separability condition is equivalent to partial transposition. It is therefore also sufficient for $2 imes 2$ and $2 imes 3$ systems. Finally, a simple connection between this map and complex conjugation in the "magic" basis is displayed.

연구 동기 및 목표

• 양자 상태의 분리 가능성에 대한 새로운 필수 조건을 양자 조건부 진폭 연산자의 스펙트럼에 기반해 수립하기.
• 이분기 양자 시스템에서 조건부 연산자와 분리 가능한 상태의 구조 간의 관계를 조사하기.
• 양의 매핑 Γ: ρ → (Tr ρ)I − ρ 를 도입하고, 그가 분리 가능성 탐지에 미치는 역할을 분석하기.
• Γ⊗I 기반 기준이 한 하위계가 큐비트일 경우 부분 전치와 동치임을 보여주기.
• 높은 차원 시스템에서의 분리 불가능성 탐지 능력을 평가하며, 특히 부분 전치가 실패하는 경우에도 효과적인지 검토하기.

제안 방법

• 이분기 시스템의 밀도 행렬에서 유도된 조건부 확률의 양자 유사체로 양자 조건부 진폭 연산자를 정의하기.
• 조건부 연산자의 스펙트럼을 분석하여 국소 유니터리 변환에 대해 불변임을 보이고, 이를 얽힘 성질과 연결하기.
• 양의 매핑 Γ: ρ → (Tr ρ)I − ρ 를 도입하며, 항등원과의 텐서곱을 통해 분리 가능성 증거로 사용됨.
• 상태에 매핑 Γ⊗I 를 적용하고 결과로 얻어진 연산자가 음이 아닌지 확인함으로써 분리 가능성의 필요 조건을 검증하기.
• 한 하위계가 큐비트일 경우 Γ가 시간 역전으로 간주될 수 있음을 이용하여 Γ⊗I 기준과 부분 전치가 동치임을 증명하기.
• 마법의 기저를 사용하여 매핑 Γ와 복소수 켤리함수 간의 관계를 밝혀내고, 기준의 기하학적 해석을 제공하기.

실험 결과

연구 질문

• RQ1 양자 조건부 진폭 연산자의 스펙트럼은 양자 분리 불가능성의 탐지 가능한 서명으로 기능할 수 있는가?
• RQ2 Γ: ρ → (Tr ρ)I − ρ 라는 매핑이 항등원과 텐서곱을 취할 경우, 임의의 이분기 시스템에서 분리 가능성에 대한 필요 조건을 제공하는가?
• RQ3 Γ⊗I 기반 기준은 큐비트 시스템에서 부분 전치와 동치이며, 2×2 및 2×3 차원에서는 여전히 충분한가?
• RQ4 Γ⊗I 기준은 페르스 기준이 탐지하지 못하는 약한 분리 불가능 상태를 3×3 및 2×4 시스템에서 탐지할 수 있는가?
• RQ5 마법의 기저에서 매핑 Γ와 복소수 켤리함수 간의 기하학적 또는 대수적 관계는 무엇인가?

주요 결과

• 분리 가능한 상태의 조건부 진폭 연산자는 1을 초과하는 고유값을 가질 수 없으며, 이는 분리 가능성에 대한 필수 조건을 제공한다.
• Γ: ρ → (Tr ρ)I − ρ 라는 매핑이 Γ⊗I 형태로 적용될 경우, 모든 분리 가능한 상태에서 음이 아닌 연산자가 생성되며, 이는 분리 가능성에 대한 필수 조건을 형성한다.
• 2×2 및 2×3 시스템에서는 Γ⊗I 기준이 분리 가능성에 대해 필수적이고 충분하여 페르스 기준과 동등한 강도를 가진다.
• 한 하위계가 큐비트일 경우 매핑 Γ는 시간 역전으로 간주되며, 이에 따라 Γ⊗I 기준은 부분 전치와 동치가 된다.
• 3×3 및 2×4 시스템에서는 Γ⊗I 기준이 일부 약한 분리 불가능 상태를 탐지하지 못하며, 페르스 기준과 마찬가지로 이는 고차원에서 충분하지 않음을 확인한다.
• 분리 불가능한 상태(예: 2×2 예제)에서는 Γ⊗I 변환된 연산자의 행렬식이 음수이며, 분리 가능하거나 약한 분리 불가능 상태에서는 양수이므로, 이는 정량적 증거를 제공한다.