[論文レビュー] Positive maps, states, entanglement and all that; some old and new problems

W. A. Majewski|ArXiv.org|Nov 6, 2004

Quantum Mechanics and Applications参考文献 30被引用数 5

ひとこと要約

本稿は、C*-代数と順序付きBanach空間における顔構造を用いた幾何的アプローチを導入し、極端な点の代わりに最大顔を用いることで、正写像および量子状態の分類を新たに定式化する。特に2次元および3次元系における正写像の明確な特徴付けがなされ、Schrödinger図とHeisenberg図の統一的取り扱いが露出顔とJordan代数的双対性を用いて可能になる。主な貢献は、2次元および3次元系における正写像の構造的差異の解明であり、これにより量子もつれと量子相関の理解が深まる。

ABSTRACT

We outline a new approach to the characterization as well as to the classification of positive maps. This approach is based on the facial structures of the set of states and of the cone of positive maps. In particular, the equivalence between Schroedinger's and Heisenberg's pictures is reviewed in this more general setting. Furthermore, we discuss in detail the structure of positive maps for two and three dimensional systems. In particular, the explicit form of decomposition of a positive map and the uniqueness of this decomposition for extremal positive maps for 2 dimensional case are described. The difference of the structure of positive maps between 2 dimensional and 3 dimensional cases is clarified. The resulting characterization of positive maps is applied to the study of quantum correlations and entanglement

研究の動機と目的

• 極端な点を超えた分類の基礎的課題に取り組み、特に量子情報理論における正写像および量子状態の特徴付けを進化させること。
• 状態空間上の幾何的構造を用いて、量子力学的ダイナミクスにおけるSchrödinger図とHeisenberg図の等価性を明確化すること。
• 2次元および3次元の低次元系における正写像の体系的分類を、最大顔と露出構造を用いて行うこと。
• 正写像および量子状態の顔幾何学を統合的に用いて、量子相関ともつれの記述を統一すること。
• Kadisonの状態空間同型に関する問いを、Jordan代数的および順序論的道具を組み合わせることでC*-代数へと拡張すること。

提案手法

• 凸コンパクト集合における顔構造とKreïn-Milman定理を用い、極端な点の代わりに最大顔を用いて分類を行う。
• AlfsenとShultzの状態空間双対性理論およびベースノルム空間理論を応用し、順序付きBanach空間における状態および正写像の特徴づけを行う。
• B(H)の正規状態空間における露出顔およびノルム露出顔を用い、代数的観測量と幾何的状態性質の関連を確立する。
• 写像 F ↦ F′ を通じて射影子と顔の間に双対性を導入し、B(H)における射影子に対応する補完的顔を定義する。
• GNS構成およびJordan代数的構造を用いて、Heisenberg（観測量）図とSchrödinger（状態）図の関係を結びつける。
• 中心射影子および商空間の理論を用いて、von Neumann代数における対称性および分解の解析を行う。

実験結果

リサーチクエスチョン

• RQ1 最大顔のようなより大きな構造的部分集合を用いることで、極端な写像を超えた正写像分類をどのように改善できるか？
• RQ2 Schrödinger図とHeisenberg図の量子ダイナミクスが等価となる正確な幾何的条件は何か？
• RQ3 2次元と3次元の量子系における正写像の構造にどのような相違があるか？
• RQ4 露出顔およびノルム露出顔は、もつれ状態およびもつれの証拠（エンタングルメント・ウィtness）の特徴づけにおいて果たす役割は何か？
• RQ5 C*-代数における顔構造および順序単位空間技法を用いて、Kadisonの状態空間同型に関する問いを解けるか？

主な発見

• 本稿は、特にM2(C)の場合において、極端な写像よりも最大顔がより強固で明確な分類ツールであることを確立した。
• 2次元系では、極端な正写像は一意に極端成分に分解可能であるが、これは高次元では成り立たない性質である。
• 3次元系における正写像の構造は、一意的分解の欠如により2次元とは根本的に異なるため、写像の複雑さにおける段階的転移（phase transition）を示している。
• Schrödinger図が露出顔を通じて幾何的構造を備えた場合に限り、Schrödinger図とHeisenberg図の間の一対一対応が可能となる。
• もつれの証拠は、ノルム露出顔上で消える汎関数として自然に特徴づけられ、その運用的役割が幾何的双対性と結びつく。
• 理論により、B(H)の正規状態空間が全状態空間の顔であることが確認され、そのノルム露出顔は射影子 Fp と双対性 Fp ↦ Fp′ を通じて対応づけられる。