[论文解读] Inequalities and separations among assisted capacities of quantum channels

Charles H. Bennett, Igor Devetak+2 more|ArXiv.org|Jun 14, 2004

Quantum Computing Algorithms and Architecture被引用 9

一句话总结

本文构建了量子通道，其中双向经典通信显著提升了经典和量子容量，使其超越无辅助的Holevo容量 $C_H$。通过利用纠缠和揭示关于酉变换部分信息的控制系统，作者展示了严格的分离：$Q_2 > C_H$，$C_B > C_H$，以及 $C_2 > C_H$，即使在破坏纠缠的通道中亦成立。这些结果解决了关于经典反馈和辅助容量在量子通信中作用的长期开放问题。

ABSTRACT

We exhibit discrete memoryless quantum channels whose quantum capacity assisted by two-way classical communication, $Q_2$, exceeds their unassisted one-shot Holevo capacity $C_H$. These channels may be thought of as having a data input and output, along with a control input that partly influences, and a control output that partly reveals, which of a set of unitary evolutions the data undergoes en route from input to output. The channel is designed so that the data's evolution can be exactly inferred by a classically coordinated processing of 1) the control output, and 2) a reference system entangled with the control input, but not from either of these resources alone. Thus a two-way classical side channel allows the otherwise noisy evolution of the data to be corrected, greatly increasing the capacity. The same family of channels provides examples where the classical capacity assisted by classical feedback, $C_B$, and the quantum capacity assisted by classical feedback $Q_B$, both exceed $C_H$. A related channel, whose data input undergoes dephasing before interacting with the control input, has a classical capacity $C=C_H$ strictly less than its $C_2$, the classical capacity assisted by independent classical communication.

研究动机与目标

• 为解决关于经典反馈或双向通信是否能将量子通道的经典或量子容量提升至无辅助Holevo容量 $C_H$ 以上这一长期开放问题。
• 构造显式量子通道示例，使得 $Q_2 > C_H$，$C_B > C_H$，以及 $C_2 > C_H$，证明反馈与辅助可带来严格更高的容量。
• 分析“回溯可纠正”通道的结构——其中数据演化仅能通过控制输入与输出之间的协同经典通信和纠缠实现纠正——提供此类分离的机制。
• 厘清代偿容量的层级关系，包括不可比较性与严格不等式，并确定 $C = C_H$ 或 $C > C_H$ 成立的条件。

提出的方法

• 引入具有数据与控制子系统的一类‘回溯可纠正’量子通道，其中数据经历受控制输入影响的随机酉演化，并通过控制输出部分揭示。
• 使用与输入纠缠的控制系统，仅当同时访问控制输出与参考系统时，才能纠正数据演化，确保单独从任一系统均无法实现纠正。
• 利用双向经典通信协调发送方与接收方的测量，实现对数据演化的无噪纠正，从而将容量提升至 $C_H$ 以上。
• 分析一种变体，即在控制相互作用前对数据进行退相，形成破坏纠缠的通道，其 $Q_2 = 0$ 但 $C_2 > C_H$，证明即使不保持纠缠，也能实现非经典容量增益。
• 应用条件互信息的单调性及对量子与经典容量的已知界，证明辅助与非辅助容量之间的普遍不等式。
• 利用量子隐形传态、超密集编码及可加性猜想的已知结果，比较 $C_E$、$Q_E$、$C_B$ 和 $Q_2$ 等容量，构造出体现严格不等式或不可比较性的示例。

实验结果

研究问题

• RQ1 双向经典通信能否使量子通道的量子容量超过无辅助Holevo容量 $C_H$？
• RQ2 即使 $C = C_H$，经典反馈能否使量子通道的经典容量超过 $C_H$？
• RQ3 是否存在破坏纠缠的通道，使得由双向通信辅助的经典容量 $C_2$ 超过无辅助经典容量 $C_H$？
• RQ4 是否存在某通道满足 $Q_2 > C_H$ 或 $C_B > C_H$，尽管 $C_H$ 是无辅助容量的标准上界？
• RQ5 $C_B$、$Q_2$ 与 $C_H$ 之间的关系如何——它们是否可比较，或不可比较，其条件为何？

主要发现

• 本文构造了一类回溯可纠正通道，其双向量子容量 $Q_2$ 严格超过无辅助Holevo容量 $C_H$，展示了严格的分离。
• 对于同一类通道，由经典反馈辅助的经典容量 $C_B$ 同样超过 $C_H$，表明反馈可使经典通信容量超越 $C_H$。
• 在控制相互作用前引入退相的通道变体为破坏纠缠通道，但仍表现出 $C_2 > C_H$，证明非经典容量增益可在不保持纠缠的情况下实现。
• 本文表明，对于该退相通道，即使 $C = C_H$ 且 $Q_2 = 0$，仍有 $C_2 > C_H$，凸显了辅助容量的非经典特性。
• 作者建立了容量的层级结构，展示了严格不等式如 $C_E > Q_E$ 和 $C_2 > C_H$，并识别出如 $C_B$ 与 $Q_2$ 在某些通道中不可比较的情况。
• 对于 ${\cal R}_{2,2}$ 回溯可纠正通道，本文推测 $Q_2 = 1$ 且 $C_B \geq 1/2$，暗示 $C_B > Q_2$ 可能成立，尽管尚未证明 $C_B$ 的上界。