[論文レビュー] Bures Contractive Channels on Operator Algebras

Douglas Farenick, Mizanur Rahaman|arXiv (Cornell University)|Apr 2, 2017

Advanced Operator Algebra Research参考文献 29被引用数 7

ひとこと要約

本稿では、忠実なトレースを備えた単位的C*-代数における密度作用素の空間に、Bures距離が有効な距離として成立することを確立し、量子チャネル（正値でトレースを保存する線形写像）がこの距離に関して非拡張的であることを証明する。さらに、Bures収縮性チャネル——Bures距離を厳密に減少させるチャネル——を定義し、Frobenius理論を用いてその構造を特徴付ける。主な貢献は、非可約なBures収縮性チャネルがスペクトル半径1および次元1の乗法的作用素空間を持つことの示唆であり、これはそれらが1つの元より大きな集合上で補正可能でないことを意味する。

ABSTRACT

In a unital C*-algebra with a faithful trace functional $τ$, the set $D_τ(A)$ of positive $ρ\in A$ of trace τ(ρ)=1 is an algebraic analogue of the space of density matrices (the set of all positive matrices of a fixed dimension of unit trace). Motivated by the literature concerning the metric properties of the space of density matrices, the present paper studies the density space $D_τ(A)$ in terms of the Bures metric. Linear maps on A that map $D_τ(A)$ back into itself are positive and trace preserving, hence, they may be viewed as an algebraic analogue of a quantum channel, which are studied intensely in the literature on quantum computing and quantum information theory. The main results in this paper are: (i) to establish that the Bures metric is indeed a metric, (ii) to prove that channels induce nonexpansive maps of the density space $D_τ(A)$, (iii) to introduce and study channels on A that are locally contractive maps (which we call Bures contractions) on the metric space $D_τ(A)$, and (iv) to analyse Bures contractions from the point of view of the Frobenius theory of cone preserving linear maps. Although the focus is on unital C*-algebras, an important class of examples is furnished by finite von Neumann algebras. Indeed, several of the C*-algebra results are established by first proving them for finite von Neumann algebras and then proving them for C*-algebras by embedding a C*-algebra A into its enveloping von Neumann algebra $A^{**}$.

研究の動機と目的

• 単位的C*-代数に忠実なトレースを備えた密度作用素の空間に、Bures距離がwell-definedな距離として成立することを確立すること。
• そのような代数上の正値でトレースを保存する線形写像（チャネル）が、Bures距離に関して非拡張的写像として作用することを証明すること。
• Bures収縮性チャネル——Bures距離を厳密に減少させるチャネル——を定義し、その構造を分析すること。
• Frobenius理論を非可約なBures収縮性チャネルに適用し、スペクトル性質および乗法的作用素空間に焦点を当てる。
• 逆可換なBures収縮性チャネルが、1つの元より大きな密度作用素の集合上で補正可能でないことを示すこと。

提案手法

• Fidelity関数 $ F_{\tau}(\rho, \rho') = \tau(|\rho^{1/2}\rho'^{1/2}|) $ を用いてBures距離を定義し、忠実なトレースを備えたC*-代数の文脈で距離公理を満たすことを証明する。
• C*-代数をその包摂von Neumann代数に埋め込むことで、まず有限von Neumann代数の設定で結果を証明し、その後一般のC*-代数へ拡張する。
• チャネルを代数上の正値性とトレース保存性を保つ写像として特徴付け、密度空間 $\mathcal{D}_{\tau}(\mathsf{A})$ 上の連続なアフィン写像を誘導することを示す。
• すべての異なる $ \rho, \rho' \in \mathcal{D}_{\tau}(\mathsf{A}) $ に対して $ d_B^\tau(\mathcal{E}(\rho), \mathcal{E}(\rho')) < d_B^\tau(\rho, \rho') $ を満たすチャネルとしてBures収縮性チャネルを定義し、そのスペクトル的および乗法的作用素空間の構造を分析する。
• 錐を保存する線形写像のFrobenius理論を用いて、非可約なBures収縮性チャネルを分析し、Perron値および単位球の極値点に焦点を当てる。
• Kadisonの定理（単位球の極値点に関する）を用いて、有限かつ素数のC*-代数において、Bures収縮性チャネルが単位球の非スカラー極値点へ写像できないことを示す。

実験結果

リサーチクエスチョン

• RQ1 単位的C*-代数に忠実なトレースを備えた状況下で、Bures距離 $ d_B^\tau $ は密度作用素の空間上で有効な距離とみなせるか？
• RQ2 そのような代数上の正値でトレースを保存する線形写像（チャネル）は、Bures距離に関して非拡張的写像として作用するか？
• RQ3 Bures距離を厳密に減少させるBures収縮性チャネル——特にその乗法的作用素空間に関して——にどのような構造的性質が存在するか？
• RQ4 錐を保存する写像のFrobenius理論は、非可約なBures収縮性チャネルにどのように適用可能か？また、そのスペクトル半径および固定点に関して何が言えるか？
• RQ5 Bures収縮性チャネルは、1つの元より大きな密度作用素の集合上で補正可能か？

主な発見

• 単位的C*-代数に忠実なトレースを備えた状況下で、Bures距離 $ d_B^\tau $ は $ \tau $-密度空間 $ \mathcal{D}_{\tau}(\mathsf{A}) $ 上でwell-definedな距離である。
• 任意のチャネル $ \mathcal{E} $ は、$ (\mathcal{D}_{\tau}(\mathsf{A}), d_B^\tau) $ 上で非拡張的写像を誘導する。つまり、すべての $ \rho, \rho' \in \mathcal{D}_{\tau}(\mathsf{A}) $ に対して $ d_B^\tau(\mathcal{E}(\rho), \mathcal{E}(\rho')) \leq d_B^\tau(\rho, \rho') $ が成り立つ。
• Bures収縮性チャネルの乗法的作用素空間の次元は1であり、$ \mathbb{C} \cdot 1 $ に等しい。これは、それらが自明でない限りユニタリ的または可逆でないことを意味する。
• 非可約なBures収縮性チャネルのスペクトル半径は1であり、周辺スペクトルは単位円板と $ \{1\} $ のみで交わる。これは、固定点への漸近的収束を示唆する。
• Bures収縮性チャネルは、1つの元より大きな密度作用素の集合上で補正可能でない。補正可能性は等長的性質を要するが、これは厳密な収縮性と矛盾する。
• 有限かつ素数のC*-代数において、Bures収縮性チャネルによる単位球の像は、非スカラー極値点を含まない。これは乗法的作用素空間の構造とSchwarzの不等式による。