[論文レビュー] Quantum entanglement without eigenvalue spectra

Hao Chen|ArXiv.org|Aug 21, 2001

Quantum Information and Cryptography参考文献 8被引用数 4

ひとこと要約

本稿では、局所測定における縮約密度行列の退化的局所の代数幾何学的構造を分析することにより、固有値に依存しない、混合状態における量子もつれの定量化のための新規なアプローチを提案する。この手法は、複素射影空間における固有ベクトルの位置から非局所的不変量を構成し、従来のスペクトル基準では検出できないもつれ状態（特にPPT束縛もつれ状態）を特定する新しい分離可能性基準を導く。

ABSTRACT

From the consideration of measuring bipartite mixed states by separable pure states, we introduce algebraic sets in complex projective spaces for bipartite mixed states as the degenerating locus of the measurement. These algebraic sets are independent of the eigenvalues and only measure the "position" of eigenvectors of bipartite mixed states. They are nonlocal invariants ie., remaining invariant after local unitary transformations. The algebraic sets have to be the sum of the linear subspaces if the mixed states are separable, and thus we give a "eigenvalue-free" criterion of separability.Based on our criterion, examples are given to illustrate that entangled mixed states which are invariant under partial transposition or fufill entropy and disorder criterion of separability can be constructed systematically.We reveal that a large part of quantum entanglement is independent of eigenvalue spectra and develop a method to measure this part of quantum enatnglement.The results are extended to multipartite case.

研究の動機と目的

• 固有値スペクトルに依存せず、固有ベクトルの幾何的配置にのみ依存するもつれの部分を特定・分離すること。
• 固有値や部分転置に依存しないが、測定の退化の代数的構造に依存する分離可能性基準を構築すること。
• 標準的なエントロピーおよび不規則性基準を回避するPPT束縛もつれ状態を体系的に生成する方法を構築すること。
• 同じスペクトルを持つ連続的なもつれ混合状態の族が局所ユニタリ変換のもとで同値でないことを示し、スペクトルを超えたもつれの豊かな構造を明らかにすること。

提案手法

• 各 $ k = 0,1,\dots,n-1 $ に対して、$ V_{A}^{k}\!(\rho) = \{ \phi_1 \in \mathbb{C}P^{m-1} \mid \text{rank}(\langle \phi_1 | \rho | \phi_1 \rangle) \leq k \} $ を定義し、ランク不足の測定結果を捉える。
• これらの退化的局所が $ \mathbb{C}P^{m-1} \times \mathbb{C}P^{n-1} $ 内の代数的集合であることを証明し、斉次多項式の零点集合として定義され、したがって局所ユニタリ変換に対して不変であることを示す。
• これらの集合の代数的幾何的不変量（次元、既約成分の数、Fubini-Study計量下での体積など）を用い、スペクトルに依存しないもつれ測度を構成する。
• 新しい分離可能性基準を確立：2部混合状態が分離可能であるための必要十分条件は、その退化的局所 $ V_{A}^{k}(\rho) $ が線形部分空間の和集合であること。この条件を満たさない場合、もつれが存在することを示す。
• この基準を用いて、エントロピーおよび不規則性基準を満たすが、非線形代数的構造のおかげで依然としてもつれているPPTもつれ状態の例を構成する。
• 局所操作におけるこれらの代数的集合の不変性を分析し、射影空間上の分数線形変換を用いて、連続的族の非同値性を証明することにより、多部屋系へのフレームワークの拡張を行う。

実験結果

リサーチクエスチョン

• RQ1 混合状態における量子もつれは、その固有値スペクトルとは独立に特徴付けられるか？
• RQ2 密度行列の固有ベクトル配置に内在する代数的幾何的構造は、非局所的もつれをどのように符号化するか？
• RQ3 PPT、エントロピー、不規則性基準によって同定されないもつれ状態を検出できる分離可能性基準を構築できるか？
• RQ4 同じスペクトルを持つ連続的なもつれ混合状態の族が、局所ユニタリ変換のもとで同値でないものは存在するか？
• RQ5 このフレームワークは、既存の検出手法を回避するPPT束縛もつれ状態を体系的に生成できるか？

主な発見

• 縮約密度行列の退化的局所 $ V_{A}^{k}(\rho) $ は、$ \mathbb{C}P^{m-1} \times \mathbb{C}P^{n-1} $ 内の代数的集合であり、$ \rho $ のグローバル固有値スペクトルとは独立である。
• これらの代数的集合は局所ユニタリ変換に対して不変であり、その幾何的不変量（次元、成分数など）はスペクトルに依存しないもつれ測度として機能する。
• 新しい分離可能性基準を確立：$ \rho $ が分離可能であるならば、$ V_{A}^{k}(\rho) $ は線形部分空間の和集合でなければならない。この条件を満たさない場合、もつれが存在することが示される。
• 本手法は、エントロピーおよび不規則性基準を満たすもつれPPT状態を検出でき、スペクトルに基づく基準では到達できない状態が存在することを示している。
• 4キュービット混合状態の連続族 $ \rho_{\lambda_{1,2,3,4}} $ を構成し、パラメータ $ \lambda_i $ における代数的制約のおかげで、一般に局所操作のもとで同値でないことが証明された。
• 本フレームワークは、範囲基準が、範囲内に分離可能な純粋状態が存在するため失敗する状態においてももつれを同定できることを示し、既存の手法を凌駕する頑健性を示している。