[論文レビュー] Continuous optimal ensembles II. Reducing the separability condition to numerical equations

Romàn R. Zapatrin|ArXiv.org|Apr 6, 2005

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

ひとこと要約

本稿では、分離可能性条件を $ n^4 $ 個の超越的数値方程式系に還元することにより、双粒子量子密度行列のロバストな分離可能性を特定する連続的最適アンサンブル法を提案する。この手法は、凹関数 functional の勾配に基づく変分原理を用い、任意のロバストに分離可能な状態に対して解が存在することを保証する。これにより、純粋な積状態の連続的混合による分離可能性の構成的基準が得られる。

ABSTRACT

A density operator of a bipartite quantum system is called robustly separable if it has a neighborhood of separable operators. Given a bipartite density matrix, its property to be robustly separable is reduced, using the continuous ensemble method, to a finite number of numerical equations. The solution of this system exists for any robustly separable density operator and provides its representation by a continuous mixture of pure product states.

研究の動機と目的

• 双粒子量子状態がロバストに分離可能であるかどうかを決定する構成的基準を開発すること、すなわち、分離可能な状態の近傍を持つこと。
• 有限個の純粋な積状態の凸結合を、部分系のヒルベルト空間における単位ベクトル上の連続的確率測度に置き換えること。
• 分離可能性条件を、変分原理から導かれる $ n^4 $ 個の超越方程式系に再定式化すること。
• エントロピーに類似した関数の凹性を用いて、任意のロバストに分離可能な密度行列に対してこの方程式系の解が存在することを証明すること。
• 高次元系における分離可能性問題を解くための漸近的および数値的手法のフレームワークを提供すること。

提案手法

• 双粒子密度作用素 $ oldsymbol{ ho} $ を、部分系のヒルベルト空間における単位球の直積上の確率測度を用いた純粋な積状態の連続的混合として表現する。
• トレース関数 functional $ oldsymbol{ ho} = abla oldsymbol{ ho} $ を導入し、凹関数 functional $ oldsymbol{ ho} $ の勾配を密度行列に等置することで、分離可能性を $ abla oldsymbol{ ho} = oldsymbol{ ho} $ を解く問題に還元する。
• 積基底において $ n^4 $ 個の超越方程式系を導出し、$ oldsymbol{ ho}_{i i' k k'} = \text{積分} \, e^{\braket{\text{phiphii'}}{X}{\text{phiphii'}}} \times \text{射影子項} $ の形で表す。これは、球面上の不変測度に関する積分として表現される。
• スムージングされたスペクトル分解技術を用いて、単位球上で正の密度関数を構成し、測度の連続性と正定値性を保証する。
• 関数 $ \\boldsymbol{\rho} $ の凹性を用いて、任意のロバストに分離可能な状態に対して方程式系の解が存在することを保証する。
• ユニフォームな積分を定義するため、単位球面上の Umegaki 測度を用いて、純粋状態の連続的アンサンブルの構築を可能にする。

実験結果

リサーチクエスチョン

• RQ1 双粒子量子状態の分離可能性は、有限個の数値方程式系に還元可能か？
• RQ2 任意のロバストに分離可能な密度行列は、正で滑らかな密度関数を持つ純粋な積状態の連続的混合として表現可能か？
• RQ3 得られた方程式系の解は、すべてのロバストに分離可能な状態に対して保証されるか？
• RQ4 分離可能性問題は、凹関数 functional の勾配を含む変分問題に再定式化可能か？
• RQ5 このような方程式の解空間の構造は何か？ また、漸近的または数値的手法をどのように適用できるか？

主な発見

• 双粒子密度行列の分離可能性条件は、$ n^4 $ 個の超越方程式系に還元され、記号的に $ \nabla \boldsymbol{\rho} = \boldsymbol{\rho} $ の形で表現される。
• 任意のロバストに分離可能な状態に対して、関数 $ \boldsymbol{\rho} $ の凹性により方程式系の解が存在することが保証され、連続的かつ正の測度による状態の表現が可能となる。
• 本手法は、スムージングされたスペクトル分解から得られる正の密度関数を用いて、$ \boldsymbol{\rho} $ の連続的最適アンサンブル表現を構築する。
• 方程式系は座標に依存し、指数関数的二次形式の積分を単位球の直積上で行い、$ \boldsymbol{\rho} $ の行列要素が得られる。
• 有限混合では失敗する場合でも、連続的混合としての $ \boldsymbol{\rho} $ の構成的表現が可能であり、標準的スペクトル分解を連続的アンサンブルへ一般化する。
• 本手法は、分離可能性と特定の関数方程式クラスの可解性の間の橋渡しを確立し、今後の分離可能性問題の漸近的および数値的取り扱いを可能にする。