[論文レビュー] Quantum conditional operator and a criterion for separability

Nicolas J. Cerf, Christoph Adami+1 more|CERN Bulletin|Oct 1, 1997

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 変換後の演算子の行列式が負である一方、可分状態や弱い不可分状態では正であり、定量的見分け手としての機能を示す。