[論文レビュー] Requirements for compatibility between local and multipartite quantum states

Sergey Bravyi|arXiv (Cornell University)|Jan 6, 2003

Quantum Information and Cryptography被引用数 11

ひとこと要約

本稿は、キュービットおよびキュービット・クイッド系における多粒子純状態または混合状態と整合するような局所密度行列の集合（平均場状態）が満たすべき必要十分条件を確立する。幾何的構成とパラメータ化された密度行列を用いて、局所密度行列の最小固有値に関する明示的制約を導出し、整合性が固有値の差とパラメータ化されたエンタングル状態を含む不等式によって決定されることを証明する。特に、2キュービットおよび3キュービット系では明示的な状態構成を用いて完全な特徴付けがなされる。

ABSTRACT

We consider a partial trace transformation which maps a multipartite quantum state to collection of local density matrices. We call this collection a mean field state. The necessary and sufficient conditions under which a mean field state is compatible with at least one multipartite pure state are found for the system of $n$ qubits and for the tripartite system with the Hilbert space of dimension 2x2x4. Compatibility of mean field states with more general classes of multipartite quantum states is discussed.

研究の動機と目的

• 与えられた多粒子純量子状態の部分トレースとして得られる局所密度行列の集合（平均場状態）が、ある単一の多粒子純状態と整合するための必要十分条件を特定すること。
• この整合性問題を、特に固定固有値を持つ双粒子系において、指定されたスペクトルを持つ混合状態に拡張すること。
• 与えられた局所密度行列を実現する多粒子量子状態の明示的構成、特にキュービットやキュービット・クイッド系のような低次元系における構成を提供すること。
• 固有値の差とエンタングルメントパラメータによって定義される幾何的領域を用いて、すべての整合可能な平均場状態の集合を特徴付けること。
• 固定スペクトルを持つ3キュービットおよび2キュービット系の整合性問題を、正規直交基底の構成とパラメータ化された密度行列を用いて解明すること。

提案手法

• nキュービット系において、平均場状態が純状態と整合するための必要十分条件を固有値不等式により導出する。具体的には、各キュービットの密度行列の最小固有値が、他のすべてのキュービットの最小固有値の和以下である場合に限り、整合性が保証される。
• パラメータ空間（例：α, β, φ）を(λᴬ, λᴮ)平面に写像する幾何的アプローチを用い、異なるパラメータ範囲が、整合性領域内に存在する異なる三角形領域（OCD, OAB, OBC）に対応することを示す。
• パラメータαとβでパラメータ化された、エンタングル状態である2キュービット状態（|Ψ₁⟩, |Ψ₂⟩, |Ψ₃⟩, |Ψ₄⟩）の明示的正規直交基底を構成し、所望のスペクトルと縮約状態を持つ密度行列の直接構成を可能にする。
• 位相依存状態（|~Ψ₁⟩, |~Ψ₂⟩, |~Ψ₃⟩, |~Ψ₄⟩）を含む修正された基底を導入し、角度φを用いて残りの領域（三角形OBC）をカバーすることで、整合性領域全体を完全にカバー可能にする。
• 部分トレースを用いて縮約密度行列を計算し、固有値の差（λ₁−λ₄, λ₂−λ₃）とパラメータα, β, φの関数として、最小固有値λᴬとλᴮの閉形式表現を導出する。
• 2キュービット系において、固定スペクトルλを持つ場合、整合性領域全体が3つの異なる密度行列族によってカバーされることを示し、それぞれが(λᴬ, λᴮ)平面内の異なる三角形部分領域に対応することを明らかにする。

実験結果

リサーチクエスチョン

• RQ1 多粒子量子系の局所密度行列が、少なくとも1つの純状態と整合するための制約は何か？
• RQ2 与えられた混合多粒子状態のスペクトルと整合するすべての平均場状態の集合は、どのように特徴付けられるか？
• RQ3 低次元系（キュービットやキュービット・クイッド系）において、任意の整合可能な局所密度行列を実現する多粒子量子状態の明示的構成は何か？
• RQ4 固有値の差とエンタングルメントパラメータ（α, β, φ）は、2キュービット系における整合性領域の境界をどのように決定するか？
• RQ5 固定スペクトルを持つ2キュービット系の整合性領域全体を、有限個のパラメータ化された密度行列族によってカバーできるか？

主な発見

• nキュービット系において、平均場状態（ρ¹,…,ρⁿ）が純状態と整合するための必要十分条件は、各iについて、λ⁽ⁱ⁾ ≤ ∑ⱼ≠ⁱ λ⁽ʲ⁾ を満たすことである。これはn ≥ 3の場合にスミット分解の条件が一般化されたものである。
• 固定スペクトルλ = (λ₁, λ₂, λ₃, λ₄)を持つ2キュービット系において、(λᴬ, λᴮ)平面における整合性領域は、3つの三角形（OCD, OAB, OBC）からなる凸多角形であり、それぞれが異なるパラメータ化された密度行列族に対応する。
• 縮約密度行列の最小固有値は明示的な式で与えられる。1つの族に対しては、λᴬ = ½{1 − |α(λ₁−λ₄) − β(λ₂−λ₃)|} および λᴮ = ½{1 − |α(λ₁−λ₄) + β(λ₂−λ₃)|} が成り立ち、他の2つの族に対しても同様の式が得られる。
• 最初の族（OCD）に対応する領域は、パラメータ0 ≤ α ≤ 1および0 ≤ β ≤ αに対応する。2番目の族（OAB）は、0 ≤ β ≤ 1および(λ₂−λ₄)/(λ₁−λ₃)β ≤ α ≤ βの範囲に対応し、λ₁−λ₃ ≥ λ₂−λ₄を仮定する。
• 3番目の族は位相φを含むパラメータ化された状態|~Ψᵢ⟩を用い、三角形OBCをカバーする。この場合、λᴬ = ½(1 − |α|√(λ₁₂² + λ₃₄² + 2λ₁₂λ₃₄cosφ)) および λᴮ = ½[1 − |α|(λ₁+λ₂−λ₃−λ₄)] が成り立ち、λ₁₂ = λ₁−λ₂およびλ₃₄ = λ₃−λ₄である。
• 固定スペクトルを持つ2キュービット系の整合性領域全体が、この3つの族によって完全にカバーされることを示し、集合M(λ)がこれらの3つのパラメトリック領域の和集合によって完全に特徴付けられることを証明した。