[论文解读] On extreme Bosonic linear channels

A. S. Holevo|arXiv (Cornell University)|Nov 15, 2011

Spectral Theory in Mathematical Physics被引用 4

一句话总结

该论文在非简并条件下证明了：玻色型线性（准自由）通道是极端的，当且仅当其环境是纯的。关键结果是：在有限模玻色型系统之间的高斯通道中，极端性恰好对应于最小噪声，从而推广了Ivan、Sabapathy和Simon提出的一模猜想。

ABSTRACT

The set of all channels with fixed input and output is convex. We first give a convenient formulation of necessary and sufficient condition for a channel to be extreme point of this set in terms of complementary channel, a notion of big importance in quantum information theory. This formulation is based on the general approach to extremality of completely positive maps in an operator algebra due to Arveson. We then apply this formulation to prove the main result of this note: under certain nondegeneracy conditions, purity of the environment is necessary and sufficient for extremality of Bosonic linear (quasi-free) channel. It follows that Gaussian channel between finite-mode Bosonic systems is extreme if and only if it has minimal noise.

研究动机与目标

• 使用互补通道形式化方法表征玻色型线性通道凸集中的极端点。
• 将阿夫松（Arveson）理论中针对一般完全正映射的极端性准则，推广至玻色型高斯通道的特定情形。
• 解决一个猜想：一模高斯通道是极端的当且仅当其具有最小噪声。
• 建立玻色型线性通道极端性的必要且充分条件，以环境纯度和噪声最小性来表述。

提出的方法

• 利用C*-代数框架下阿夫松对完全正映射极端性的表征。
• 通过Stinespring扩张应用互补通道的概念，通过等距算子 $ V $ 定义通道及其互补映射。
• 建立通道 $ \tilde{\rho} $ 是极端的当且仅当其互补通道 $ \tilde{\tilde{\rho}} $ 的核为平凡，即 $ \mathrm{Ker}\tilde{\tilde{\rho}} = 0 $。
• 通过特征函数和Weyl算子分析高斯通道，将通道表示为 $ \Phi_{K,l,\mu}[W_B(z_B)] = W(Kz_B) \exp[il^T z_B - \frac{1}{2}z_B^T \mu z_B] $。
• 使用协方差矩阵形式化和威廉姆森标准型分析高斯态的纯度及噪声的最小性。
• 应用对偶关系 $ \hat{K} = K^{-1}, \hat{l} = -(K^{-1})^T l, \hat{\mu} = (K^{-1})^T \mu K^{-1} $，在可逆 $ K $ 下关联通道的表示。

实验结果

研究问题

• RQ1 在何种条件下，玻色型线性通道是所有此类通道凸集中的一点？
• RQ2 环境的纯度是否对玻色型线性通道的极端性而言是必要且充分的？
• RQ3 在有限模玻色型系统之间的高斯通道是否具有最小噪声，当且仅当其为极端通道？
• RQ4 Ivan、Sabapathy和Simon提出的一模猜想能否推广至多模系统？
• RQ5 在高斯通道的背景下，互补通道的结构如何与极端性相关？

主要发现

• 在满足非简并条件时，玻色型线性通道是极端的当且仅当其环境是纯的。
• 对于有限模玻色型系统之间的高斯通道，极端性等价于具有最小噪声，即 $ \mu $ 是正定不等式 $ \mu \geq \frac{i}{2}[\Delta_B - K^T \Delta_A K] $ 的最小解。
• 最小噪声条件意味着环境中的对偶态具有协方差矩阵 $ \alpha_D $，其在对称矩阵的偏序意义下是最小的。
• 一个高斯态是纯的当且仅当其协方差矩阵 $ \alpha $ 满足 $ \alpha \geq \frac{i}{2}\Delta $，且在最小解意义下取等，即所有辛特征值均为 $ \frac{1}{2} $。
• 对偶关系 $ (\hat{K}, \hat{l}, \hat{\mu}) = (K^{-1}, -(K^{-1})^T l, (K^{-1})^T \mu K^{-1}) $ 广义化了已知的一模通道对偶关系。
• 通过互补通道 $ \tilde{\Phi} $ 的核平凡性（即 $ \mathrm{Ker}\tilde{\Phi} = 0 $）给出的极端性准则，等价于通道为极端通道。