[論文レビュー] Theory of Generalized Mapping Cones in the Finite-Dimensional Case

Łukasz Skowronek|arXiv (Cornell University)|Aug 19, 2010

Advanced Topics in Algebra被引用数 1

ひとこと要約

この論文は、有限次元作用素代数における一般化されたマッピングコーンに対して、内積に基づく新しいアプローチを導入する。Jamiolkowski-Choi同型写像を等長写像として用いることで、ある写像がマッピングコーンに属するための必要十分条件を、その写像と双対コーンの任意の要素の共役との合成が完全正であることに帰着する。この双対性を、対称性や定義域・終域空間の制約なしに証明し、既存の結果をより一般かつ効率的に再現する。

ABSTRACT

In the finite-dimensional case, we present a new approach to the theory of cones with a mapping cone symmetry, first introduced by Stormer. Our method is based on a definition of an inner product in the space of linear maps between two algebras of operators and the fact that the Jamiolkowski-Choi isomorphism is an isometry. We consider a slightly modified class of cones, although not substantially different from the original mapping cones by Stormer. Using the new approach, several known results are proved faster and often in more generality than before. For example, the dual of a mapping cone turns out to be a mapping cone as well, without any additional assumptions. The main result of the paper is a characterization of cones with a mapping cone symmetry, saying that a given map is an element of such cone if and only if the composition of the map with the conjugate of an arbitrary element in the dual cone is completely positive. A similar result was known in the case where the map goes from an algebra of operators into itself and the cone is a symmetric mapping cone. Our result is proved without the additional assumptions of symmetry and equality between the domain and the target space. We show how it gives a number of older results as a corollary, including an exemplary application.

研究の動機と目的

• 有限次元作用素代数におけるマッピングコーンを分析するための、より一般なフレームワークを構築すること。
• マッピングコーンの双対性結果において、対称性の仮定や定義域・終域空間の同一性を不要にする。
• マッピングコーンに関連する性質、特に双対性と正値性条件に関する既存の証明を、洗練させつつ一般化すること。
• 双対コーンの要素との合成を用いた、マッピングコーンへの属する条件を特徴付けること。
• 新しい手法が、量子情報理論および作用素論における古典的結果をどのように回復・拡張するかを示すこと。

提案手法

• 有限次元C*-代数間の線形写像の空間に内積を定義し、幾何的解析を可能にする。
• Jamiolkowski-Choi同型写像を等長写像として用い、線形写像とその関連作用素の間の構造を保存する。
• Stormerの元のマッピングコーンと同値だが、新しいフレームワークにより適した、修正されたコーンのクラスを導入する。
• 双対コーンの要素の共役との合成が完全正であることで、マッピングコーンへの属する条件を特徴付ける。
• 同型写像を用いて、コーンへの属する問題を正の写像に関する問題に還元し、証明を簡略化する。
• 同型写像の等長性と双対コーンの構造を活用して、双対性の結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 マッピングコーンの理論は、線形写像の空間に内積構造を導入することで、どのように再表現できるか？
• RQ2 マッピングコーンの双対が再びマッピングコーンであるための条件は何か？そして、対称性の仮定なしにこれを証明できるか？
• RQ3 定義域と終域代数が等しくない場合でも、マッピングコーンへの属する条件を一般化できるか？
• RQ4 Jamiolkowski-Choi同型写像は、双対性や正値性の性質を証明する構造的道具として、どの程度有効に機能するか？
• RQ5 既知の量子情報理論の結果が、新しい特徴付けからどのように推論されるか？

主な発見

• 任意のマッピングコーンの双対は、対称性や定義域・終域代数の同一性の仮定なしに、再びマッピングコーンである。
• 線形写像が与えられたマッピングコーンに属するための必要十分条件は、その写像と双対コーンの任意の要素の共役との合成が完全正であることである。
• 新しい特徴付けは、定義域と終域代数が異なっていても、コーンが非対称であっても、完全に一般に成り立つ。
• 定義された内積の下で、Jamiolkowski-Choi同型写像は等長写像として作用し、双対性の幾何的解釈を可能にする。
• 正値写像および完全正値写像の理論におけるいくつかの既知の結果が、主な特徴付けの系として得られる。
• この手法により、特に双対性や正値性に関する既存の定理の証明が、より高速かつ一般化された形で可能になる。