[論文レビュー] Continuous optimal ensembles I: A geometrical characterization of robustly separable quantum states

Romàn R. Zapatrin|ArXiv.org|Mar 21, 2005

Quantum Information and Cryptography参考文献 5被引用数 7

ひとこと要約

本稿では、自己随伴作用素空間内の超曲面 𝒦 への法線ベクトルとして密度行列を表現することにより、ロバストに分離可能な2粒子量子状態の幾何的特徴付けを提供する。超曲面 𝒦 は、積状態のガウス重み付き積分を用いた関数的 𝒦(X) = 1 として定義され、𝒦 上の点とロバストに分離可能な状態の間に一対一対応が確立される。

ABSTRACT

A geometrical characterization of robustly separable (that is, remaining separable under sufficiently small variiations) mixed states of a bipartite quantum system is given. It is shown that the density matrix of any such state can be represented as a normal vector to a hypersurface in the Euclidean space of all self-adjoint operators in the state space of the whole system. The expression for this hypersurface is provided.

研究の動機と目的

• 2粒子量子系におけるロバストに分離可能な混合状態の幾何的特徴付けを提供すること。
• 離散的な積状態の凸結合を、純粋状態の連続的確率分布に置き換えること。
• 自己随伴作用素空間に、ロバストに分離可能な状態の構造を符号化する超曲面 𝒦 を定義すること。
• ロバストに分離可能な密度行列とこの超曲面上の点との間に一対一対応を確立すること。
• ロバストに分離可能な状態の密度行列が、対応する点における超曲面 𝒦 の法線ベクトルとして自然に特定されることを示すこと。

提案手法

• ヒルベルト空間 ℋ と ℋ′ の単位球面の積上の関数的 𝒦(X) = ∫∫ exp(⟨ϕϕ′|X|ϕϕ′⟩) dSₙ dSₙ′ を定義する。
• ℒ を ℋ⊗ℋ′ 上の自己随伴作用素のユークリッド空間とするとき、超曲面 𝒦 = {X ∈ ℒ | 𝒦(X) = 1} を構成する。
• 任意のロバストに分離可能な密度行列 𝒑 を、点 X ∈ 𝒦 における ∇𝒦|X の勾配として表現する。
• 測度 μ(ϕ,ϕ′) でパrameter化された純粋積状態の連続的集合を用いて、∫ μ(ϕ,ϕ′) |ϕϕ′⟩⟨ϕϕ′| dSₙ dSₙ′ により密度作用素を定義する。
• 密度行列の明示的形として 𝒑 = ∫ exp(⟨ϕϕ′|X|ϕϕ′⟩) |ϕϕ′⟩⟨ϕϕ′| dSₙ dSₙ′ を導出し、これが点 X における超曲面 𝒦 の法線ベクトルであることを示す。
• 双対性を確立する：各点 X ∈ 𝒦 は一意にロバストに分離可能な状態 𝒑 = ∇𝒦|X| に対応する。

実験結果

リサーチクエスチョン

• RQ1 自己随伴作用素空間において、ロバストに分離可能な量子状態はどのように幾何的に特徴付けられるか？
• RQ2 ロバストに分離可能な状態をパラメータ化する超曲面 𝒦 の関数的形は何か？
• RQ3 ロバストに分離可能な状態の密度行列は、この空間内で自然に幾何的対象（例：法線ベクトル）として特定できるか？
• RQ4 離散的な積状態の凸結合を一般化した、連続的集合によるロバストに分離可能な状態の表現は可能か？
• RQ5 この幾何的枠組みは、分離可能性を特定または生成するための構成的メソッドを提供するか？

主な発見

• ロバストに分離可能な状態は、𝒦(X) = 1 で定義される超曲面 𝒦 上の点と一対一に対応する。
• ロバストに分離可能な状態の密度行列 𝒑 は、対応する点 X における超曲面 𝒦 の法線ベクトルである。
• 密度行列の明示的表現は、𝒑 = ∫ exp(⟨ϕϕ′|X|ϕϕ′⟩) |ϕϕ′⟩⟨ϕϕ′| dSₙ dSₙ′ で与えられ、積分はすべての単位積状態ベクトルにわたる。
• 関数的 𝒦(X) は、2つの量子系の単位球面の積上で exp(⟨ϕϕ′|X|ϕϕ′⟩) の二重積分として定義される。
• この構成は、有限個の凸結合に依存しない、連続的で幾何的かつ内在的なロバストに分離可能な状態の特徴付けを提供する。
• この方法は、特にPPT基準が不十分となる高次元において分離可能性を同定する逆問題を解くのを助ける新しい幾何的枠組みを提供する。