[论文解读] 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，这意味着它们在大于单点集的集合上无法被纠正。

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度量作为密度算符空间上良定义度量。
• 证明此类代数上的正性、迹保持线性映射（通道）在Bures度量下为非扩张映射。
• 定义并分析Bures压缩通道——即严格减小Bures距离的通道——并刻画其结构。
• 应用Frobenius理论分析不可约Bures压缩通道，重点关注谱性质与乘法域。
• 证明可逆Bures压缩通道无法在包含多于一个元素的密度算符集合上被纠正。

提出的方法

• 通过保等价函数 $ F_{\tau}(\rho, \rho') = \tau(|\rho^{1/2}\rho'^{1/2}|) $ 定义Bures距离，并在具有忠实迹的C*-代数背景下证明其满足度量公理。
• 利用C*-代数到其包络冯诺依曼代数的嵌入，先在有限冯诺依曼代数设定下证明结果，再推广至一般C*-代数。
• 将通道刻画为保持正性和迹的代数映射，并证明其在密度空间 $\mathcal{D}_{\tau}(\mathsf{A})$ 上诱导连续仿射映射。
• 将Bures压缩通道定义为满足对所有不同的 $ \rho, \rho' \in \mathcal{D}_{\tau}(\mathsf{A}) $ 有 $ d_B^\tau(\mathcal{E}(\rho), \mathcal{E}(\rho')) < d_B^\tau(\rho, \rho') $ 的通道，并分析其谱结构与乘法域结构。
• 应用锥保持线性映射的Frobenius理论分析不可约Bures压缩通道，重点关注Perron值及单位球的极点。
• 利用Kadison定理关于单位球极点的结果，证明Bures压缩通道在有限、单一代数中无法将元素映射至单位球的非标量极点。

实验结果

研究问题

• RQ1 Bures距离 $ d_B^\tau $ 是否为具有忠实迹的单位C*-代数中密度算符空间上的有效度量？
• RQ2 正性、迹保持线性映射（通道）在该代数上是否在Bures度量下表现为非扩张映射？
• RQ3 Bures压缩通道——即严格减小Bures距离的通道——具有何种结构性质，特别是其乘法域的性质？
• RQ4 Frobenius理论在锥保持映射中的应用如何作用于不可约Bures压缩通道？关于其谱半径与不动点可得出何种结论？
• RQ5 Bures压缩通道是否可在包含多于一个元素的密度算符集合上被纠正？

主要发现

• Bures度量 $ d_B^\tau $ 是单位C*-代数中具有忠实迹的 $ \tau $-密度空间 $ \mathcal{D}_{\tau}(\mathsf{A}) $ 上的良定义度量。
• 代数 $ \mathsf{A} $ 上的每个通道 $ \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压缩通道无法在任何包含多于一个元素的密度算符集合上被纠正，因为可纠正性要求等距行为，与严格压缩性矛盾。
• 在有限、单一代数中，由于乘法域结构与Schwarz不等式，Bures压缩通道的单位球像不可能包含任何非标量极点。