[論文レビュー] $k$-decomposability of positive maps

Louis E. Labuschagne, Marcin Marciniak|ArXiv.org|Nov 4, 2004

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

ひとこと要約

本稿は、双対Tomita-Takesaki枠組みを用いて、$C^*$-代数間の正値写像の$ k $-分解可能性を導入し、一般化する。$ k $-分解可能な写像についてのStinespringの定理の類似を確立し、ヒルベルト空間レベルの双対性を用いて$ 2\times2 $行列写像を完全に特徴づける。有限次元において、局所的分解可能性がグローバルな$ k $-分解可能性を示すことを証明する。

ABSTRACT

The problem of classification of decomposable (in the sense of Stormer) positive maps between matrix algebras is presented. We propose the new notion of "finite" version of decomposability ($k$-decomposabilty). The characterisation of $k$-decomposability on the Hilbert space level is done. In the case of low dimensional algebras the notion of local decomposability and its applications for the description of decomposable maps are discussed.

研究の動機と目的

• 正値写像の分解可能性の概念を$ C^*$-代数の文脈において$ k $-分解可能性へ一般化すること。
• $ \mathcal{B}(H) $ 上の転置写像について、Tomita-Takesaki理論を用いた双対枠組みを確立し、分解可能性の双対的特徴づけを可能にする。
• $ 2\times2 $ 正値写像を$ k $-分解可能性と局所的分解可能性の観点から完全に特徴づけること。
• 有限次元設定において、局所的分解可能性とグローバルな$ k $-分解可能性の関係を明確にすること。
• 既知の正値写像の分類を拡張し、低次元の場合における$ k $-分解可能性の必要十分条件を同定すること。

提案手法

• Størmerによる分解可能写像の特徴づけの一般化を用い、$[a_{ij}]$ および $[a_{ji}]$ における行列正定値性条件を用いて$ k $-分解可能性を導入する。
• $ \mathcal{B}(H) $ 上の忠実な状態 $ \omega(a) = \mathrm{Tr}(\varrho a) $ に対してGNS構成を適用し、トレース内積を用いてGNSヒルベルト空間を $ \mathcal{B}(H) $ に同一視する。
• $ J_c f = \sum_i \overline{\langle x_i, f \rangle} x_i $ を用いて$ H $ 上の共役作用素 $ J_c $ を定義し、これにより $ \mathcal{B}(H) $ 上の転置写像 $ a \mapsto a^t = J_c a^* J_c $ が誘導されることを示す。
• GNS空間 $ H_\pi $ 上に写像 $ \tau $ を定義し、$ \tau(a\varrho^{1/2}) = a^t \varrho^{1/2} $ を満たすことで、転置写像とモジュラー理論を結びつける。
• $ H_\pi $ を $ \mathcal{B}(H) $ に同一視し、正規直交基底 $ \{E_{ij}\} $ を用いて、$ H_\pi $ 上のモジュラー共役作用素 $ J $ を定義し、$ \xi \in H_\pi $ に対して $ a^t \xi = J a^* J \xi $ を満たすことを示す。
• $ M_2(\mathbb{C}) $-値写像にこの枠組みを適用し、$ \varphi(e_{ij}) $ に関する条件による局所的分解可能性が、表現 $ \varphi(a) = V_\eta \rho_\eta(a) V_\eta^* $ を通じてグローバルな$ k $-分解可能性を示すことを証明する。

実験結果

リサーチクエスチョン

• RQ1 $ \varphi: M_2(\mathbb{C}) \to \mathcal{B}(H) $ が $ k=2 $ に対して$ k $-分解可能であるための条件は何ですか？
• RQ2 Tomita-Takesakiモジュラー理論をどのように変更すれば、転置写像と分解可能写像の特徴づけにおけるその役割を記述できるでしょうか？
• RQ3 $ M_2(\mathbb{C}) $ 上の正値写像の局所的分解可能性は、有限次元においてグローバルな$ k $-分解可能性を示唆するでしょうか？
• RQ4 $ k $-分解可能性と、$ \rho $ がジョルダン準同型であるような表現 $ \varphi(a) = W^* \rho(a) W $ の存在との間の正確な関係は何か？
• RQ5 雙対的図式（ヒルベルト空間レベルの双対性）は、完全正定値性を越えて正値写像の分類をどのように洗練させるか？

主な発見

• 本稿は、定理1.1の一般化を用いて$ k $-分解可能写像の完全な特徴づけを確立し、$[a_{ij}]$ と $[a_{ji}]$ の行列正定値性と$ k $-分解可能性の同値性を示す。
• $ A = M_2(\mathbb{C}) $ に対して、局所的分解可能性（特定の部分代数での正定値性）がグローバルな$ k $-分解可能性を示すことを証明する。
• 著者らは、条件(4.8)および(4.9)を満たす任意の正値写像 $ \varphi: M_2(\mathbb{C}) \to \mathcal{B}(H) $ が表現 $ \varphi(a) = V_\eta \rho_\eta(a) V_\eta^* $ を持つことを示し、$ k $-分解可能性を確認する。
• その構成により、写像 $ \varphi $ が$ k $-分解可能であるのは、行列単位 $ e_{ij} $ における作用が、$ \mathrm{Tr}\,\varphi(e_{12}) = 0 $ および $ \langle \eta_2, \varphi(e_{12}) \eta_2 \rangle = 0 $ などの特定のトレースおよび内積制約を満たす場合に限ることを明らかにする。
• Kadison、Connes、およびAlfsen–Shultzにインspされた、シュレーディンガー図式とハイゼンベルク図式の双対性が、モジュラー共役作用素 $ J $ を通じて実現され、転置および分解可能性の新しい幾何的解釈が得られる。
• 本稿は、$ 2\times2 $の場合に、$ k $-分解可能性が$ \varphi $ の行列要素に関する有限個の線形制約に還元されることを確認し、分類がアルゴリズム的に容易に可能であることを示す。