[論文レビュー] Completely positive maps on modules, instruments, extremality problems, and applications to physics

Juha-Pekka Pellonpää|arXiv (Cornell University)|Feb 27, 2012

Spectral Theory in Mathematical Physics参考文献 26被引用数 9

ひとこと要約

本稿は、C*-代数上のモジュール上の完全正値（CP）写像の凸集合における極端点を完全に特徴づけ、量子インストルメント、POVM、チャネルの理論を有限次元および離散的でない設定に一般化する。最小点ごとのクラウス分解を確立し、極端なインストルメントおよびCPチャネルを特徴づけ、ヒルベルト C*-モジュールへのチョイ・同型の一般化を実現し、量子測定理論および量子情報における極端性に応用する。

ABSTRACT

Convex sets of completely positive maps and positive semidefinite kernels are considered in the most general context of modules over $C^*$-algebras and a complete charaterization of their extreme points is obtained. As a byproduct, we determine extreme quantum instruments, preparations, channels, and extreme autocorrelation functions. Various applications to quantum information and measurement theories are given. The structure of quantum instruments is analyzed thoroughly.

研究の動機と目的

• C*-代数上のモジュール上の完全正値写像の凸集合における極端点の完全な特徴づけを提供すること。
• 量子インストルメント、POVM、チャネルの理論を、有限次元および離散的でない状況に一般化すること。
• 極端なインストルメントの構造とその最小クラウス分解を特定し、ディラック形式をインストルメントへ拡張すること。
• 正定値核の極端点を特徴づけ、これを確率過程の自己相関関数に応用すること。
• ヒルベルト C*-モジュールへのチョイ同型を一般化し、CP写像と正定値核の間に双対性を確立すること。

提案手法

• C*-代数上のモジュール上のCP写像に一般化されたスティンゲープの拡張定理を用い、最小点ごとのクラウス分解を導出する。
• ヒルベルト A-モジュール上の A-値セミ線形形式の概念を用い、非可換幾何的文脈でCP写像を定義・分析する。
• CP写像 E に対するヒルベルト基底に関する行列表現 K_E を導入し、E がCPであることと K_E が半正定値であることの必要十分条件を証明する。
• 一般化されたチョイ同型を通じてCP写像と正定値核の間に双対性を確立し、標準的な量子情報フレームワークを拡張する。
• 測度論的および関数解析的技法を用い、インストルメントおよびPOVMの文脈における弱可測性と σ-有限性を取り扱う。
• 凸集合上の作用素空間における凸幾何学的手法を用い、極端性の基準を適用し、インストルメント、チャネル、POVMが極端であるための条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト C*-代数上のモジュール上の完全正値写像の凸集合における極端点の完全な特徴づけは何か？
• RQ2 量子インストルメントは点ごとのクラウス作用素に関してどのように最小分解可能であり、その分解はいつ一意的か？
• RQ3 CPインストルメントが極端であるための条件は何か？また、そのランク1の精錬とエンタングルメントブレイキング性とはどのように関係するか？
• RQ4 チョイ同型はどのようにヒルベルト C*-モジュールに一般化可能か？また、正定値核はこの一般化において果たす役割は何か？
• RQ5 与えられたPOVM $\mathsf{M}$ に対して $\mathsf{M}$-適合インストルメントの構造は何か？また、これらがエンタングルメントブレイキングまたは核型であるのはいつか？

主な発見

• 任意の完全正値インストルメントは最小点ごとのクラウス分解を有し、その構造は一般化されたベクトル $\psi_m^t(x)$ と点ごとのクラウス作用素 $\mathsf{A}_k(x)$ によって完全に特徴づけられる。
• 極端なインストルメントは有限次元では離散的であり、任意の極端なインストルメントはランク1の精錬に対しても極端のままである。
• 任意のPOVM $\mathsf{M}$ に対して、$\mathsf{M}$-適合インストルメントは、分解可能CPチャネルに正確に一致する。これらはLüders作用素とチャネルの組み合わせと見なせる。
• ランク1のPOVM $\mathsf{M}$ に対して、すべての $\mathsf{M}$-適合インストルメントは核型であり、それに関連するチャネルはエンタングルメントブレイキングである。
• 非常に一般な正定値核の凸集合における極端点は完全に特徴づけられ、これにより確率過程の自己相関関数の極端性が特徴づけられる。
• 一般化されたチョイ同型が確立された：$\mathbb{C}$-線形写像 $E: \mathcal{L(K)} \to S_A(V)$ がCPであるための必要十分条件は、その行列表現 $K_E$ が半正定値であることである。これは、標準的なチョイの定理をヒルベルト C*-モジュールへ拡張する。