[論文レビュー] All 2-positive linear maps from M3 to M3 are decomposable

Yang Yu, Denny H. Leung+1 more|arXiv (Cornell University)|Mar 11, 2016

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

ひとこと要約

本稿では、$M_3(\mathbb{C})$ から $M_3(\mathbb{C})$ へのすべての2正値線形写像が分解可能であることを証明している。すなわち、完全正値写像と完全コポジティブ写像の和として表現可能である。チョイの行列分解技術を応用し、$2 \leq k < \min\{m,n\}$ における $k$-正値写像の一般分解定理を確立した。これはケーの予想を $M_3$ の場合に肯定的に解決し、この設定では非分解可能な2正値写像が存在しないことを確認した。

ABSTRACT

Following an idea of Choi, we obtain a decomposition theorem for k-positive linear maps from Mm to Mn, where 2&lt;=k

研究の動機と目的

• $M_3(\mathbb{C})$ 上の2正値写像の分解可能性に関するケーの予想を解決すること。
• $2 \leq k < \min\{m,n\}$ のとき、$M_m(\mathbb{C})$ から $M_n(\mathbb{C})$ への $k$-正値写像の一般分解定理を確立すること。
• $B(M_3(\mathbb{C}), M_3(\mathbb{C}))$ 内のすべての2正値写像が分解可能であることを示し、この設定では非分解可能な2正値写像が存在しないことを示すこと。

提案手法

• 2正値写像 $\Phi[a,b,c]$ から $M_3(\mathbb{C})$ へ写像するチョイ行列を分析するために、チョイの行列分解手法を適応した。
• 写像のチョイ行列を、完全正値写像に対応する成分と完全コポジティブ写像に対応する成分の2つの正定値行列に分解した。
• 1-自明なリフトを用いて、$B(M_2(\mathbb{C}), M_3(\mathbb{C}))$ 上の正値写像を高次元空間へ拡張し、低次元での既知の分解可能性を活用した。
• スミット数と部分転置を介した正値写像と量子状態の双対性を応用し、写像の構造を特徴づけた。
• チョイ行列の正定値性とその部分転置の正定値性を確認することで、分解の各成分が実際に完全正値および完全コポジティブであることを検証した。
• [3, 定理3.4] からの別解法と比較することで、分解の非一意性を示した。

実験結果

リサーチクエスチョン

• RQ1 $M_3(\mathbb{C})$ から $M_3(\mathbb{C})$ へのすべての2正値線形写像が、完全正値写像と完全コポジティブ写像の和として分解可能であるか？
• RQ2 $2 \leq k < \min\{m,n\}$ のとき、$M_m(\mathbb{C})$ から $M_n(\mathbb{C})$ への一般 $k$-正値写像は分解可能か？
• RQ3 $B(M_3(\mathbb{C}), M_4(\mathbb{C}))$ 内に2正値だが非分解可能な写像は存在するか？
• RQ4 スミット数は正値写像の分解可能性を特徴づける上で果たす役割は何か？
• RQ5 チョイ行列分解技術は、低次元行列代数における分解可能性の証明をどのように支援するか？

主な発見

• $M_3(\mathbb{C})$ から $M_3(\mathbb{C})$ へのすべての2正値線形写像が分解可能であることが確認され、ケーの予想が肯定的に解決された。
• 2正値写像 $\Phi[a,b,c]$ の分解が一意でないことが、[3] の別解法と比較することで示された。
• $\Phi[a,b,c]$ のチョイ行列は、完全正値性に対応する構造の正定値行列と、完全コポジティブ性に対応する構造の正定値行列の和として表現された。
• $bc \geq 4(2-a)^2$ という条件が2正値性を保証し、この条件下でも写像は分解可能である。
• 分解から得られる写像 $\Phi_{1}$ は完全正値である。なぜならそのチョイ行列が正定値行列であるからである。
• 写像 $\Phi_{2}$ は完全コポジティブである。なぜならそのチョイ行列の部分転置が正定値行列であるからであり、これは $\mathbb{P}_3 + \mathbb{P}^3$ への分解を確認するものである。