[论文解读] On extreme quantum Gaussian channels

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

Spectral Theory in Mathematical Physics被引用 1

一句话总结

本文证明，对于有限模高斯系统之间的费米子线性（准自由）通道，极值性——即通道无法被分解为其他通道的凸组合——当且仅当环境为纯态且通道具有最小噪声时成立。作者利用互补通道形式化方法，推导出极值性的普遍准则，将阿贝森（Arveson）关于完全正映射的框架扩展至量子高斯通道，证明在非退化条件下，环境的纯度既是必要条件也是充分条件。

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.

研究动机与目标

• 在所有具有固定输入和输出的通道构成的凸集中，表征极值量子高斯通道。
• 利用互补通道概念，建立完全正映射极值性的普遍条件。
• 确定费米子线性（准自由）通道在何种条件下为极值，特别是非退化条件下的情形。
• 阐明在有限模高斯系统中，环境纯度与最小噪声在通道极值性中的作用。

提出的方法

• 采用阿贝森在算子代数中研究极值性的方法，作者推导出通道为极值的普遍必要且充分条件。
• 他们将该条件以互补通道的形式表达，这是量子信息理论中的核心概念。
• 分析聚焦于作用于有限模费米子系统的线性（准自由）通道，这些通道由高斯态描述。
• 作者将普遍的极值性准则应用于高斯通道，证明极值性等价于环境为纯态。
• 他们证明，在非退化条件下，高斯通道为极值当且仅当其具有最小噪声。
• 推导依赖于完全正映射的结构性质，以及通道与其互补通道之间的对偶性。

实验结果

研究问题

• RQ1 在何种条件下，费米子线性通道是所有具有固定输入和输出的通道构成的凸集中的极值点？
• RQ2 环境的纯度与高斯通道的极值性有何关系？
• RQ3 在非退化条件下，最小噪声是否为高斯通道极值性的必要且充分条件？
• RQ4 能否通过互补通道有效应用完全正映射的普遍极值性准则至高斯通道？
• RQ5 通道及其环境的何种结构性质决定了其是否为极值？

主要发现

• 在非退化条件下，费米子线性通道为极值当且仅当其环境为纯态。
• 高斯通道的极值性等价于其具有最小噪声。
• 互补通道形式化方法为完全正映射的一般情况提供了极值性的必要且充分条件。
• 该结果将阿贝森关于极值性的框架扩展至量子高斯通道的设定。
• 对于有限模费米子系统，唯一的极值通道是那些具有最小噪声且环境为纯态的通道。
• 该表征确认，极值高斯通道正是那些无法被分解为相同输入和输出的其他通道的凸组合的通道。