[論文レビュー] Separable states and the SPA of a positive map

Erling Størmer|arXiv (Cornell University)|Jun 25, 2012

Advanced Topics in Algebra参考文献 6被引用数 6

ひとこと要約

本稿では、量子状態の分離可能性に関する容易に検証可能な2つの必要条件を導入し、それらを正の写像のStørmer-Pereira構成（SPA）に適用する。これにより、HaとKyeが提示した特定の最適なユニタル写像のSPAが、常に分離可能な状態を生成するという[5]における予想に対して反例を提供している。

ABSTRACT

being the nxn matrices, is separable. There are necessary conditionslike the PPT condition which are reasonablyeasy to verify, but no such sufficientconditions. In the present paper we introduce two necessary conditions whichare very easy to verify, and then apply them to show that the SPA of someoptimal maps introduced by Ha and Kye [3] do not correspond to separablestates, yielding a counter example to the conjecture in [5] stating that the SPAof an optimal unital map is separable. It was announced in [3] that some oftheir maps yield counter examples of the conjecture and that proofs will appearin [4].Another consequence of our analysis is that if φ:M

研究の動機と目的

• 量子状態の分離可能性に関する容易にチェック可能な必要条件を同定すること。
• 正の写像のStørmer-Pereira構成（SPA）から生じる状態の分離可能性を調査すること。
• 最適なユニタル写像のSPAが常に分離可能な状態を生成するという予想に挑戦すること。
• [5]における予想に対して、HaとKye [3]の明示的な写像の分析を用いて反例を提供すること。

提案手法

• 計算的に検証が容易な分離可能性のための2つの新しい必要条件を導入する。
• これらの条件を正の写像のSPAによって生成される状態に適用する。
• HaとKye [3]の最適なユニタル写像の構造を用いて、それらのSPA出力を分析する。
• 正の写像およびPPT条件の既知の性質を活用して分離可能性を評価する。
• [5]における予想（最適なユニタル写像のSPAは常に分離可能な状態を生成する）と結果を比較する。
• 矛盾による証明により、特定のSPA出力が分離可能でないことを示し、予想を無効にすること。

実験結果

リサーチクエスチョン

• RQ1 HaとKye [3]が提示した最適なユニタル写像のSPA構成は、常に分離可能な量子状態を生成するのか？
• RQ2 容易に検証可能な分離可能性の必要条件は、SPAによって生成された状態におけるもつれを検出するために使用可能か？
• RQ3 [5]における予想（最適なユニタル写像のSPAは分離可能である）は正しいか？
• RQ4 特定の例として、そのSPA出力がもつれを示す最適な写像は存在するか？
• RQ5 正の写像のどの構造的性質が、そのSPAが分離可能な状態を生成しない原因となっているのか？

主な発見

• HaとKye [3]が導入した特定の最適なユニタル写像のSPAは、分離可能な状態を生成しない。これは[5]における予想と矛盾する。
• 提案された分離可能性の必要条件は、実用的かつ効果的で、容易に適用可能である。
• 分析により、最適であるにもかかわらず、SPAによって分離可能な状態が得られない正の写像が存在することが確認された。
• 提供された反例により、最適写像のSPAが常に分離可能であるという一般的な信念が覆された。
• 最適写像であっても、SPAによって生成される状態の分離可能性は、あらかじめ仮定できないことが示された。
• これらの結果は、PPT条件や標準的な必要条件を超えた、洗練された基準の必要性を強調している。