[论文解读] Quantum Reverse Shannon Theorem

Charles H. Bennett, Igor Devetak+3 more|arXiv (Cornell University)|Dec 30, 2009

Quantum Computing Algorithms and Architecture参考文献 85被引用 93

一句话总结

本文建立了量子反向香农定理（QRST），证明了可以通过无噪声信道与辅助资源（如纠缠或经典反馈通信）高效模拟量子信道。该研究完整刻画了资源权衡关系——表明对于一般量子源，必须使用纠缠蒸馏态或反馈通信；同时推导出相干反馈模拟的单字母表达式，并证明了纠缠辅助容量的强 converse 性质。

ABSTRACT

Dual to the usual noisy channel coding problem, where a noisy (classical or quantum) channel is used to simulate a noiseless one, reverse Shannon theorems concern the use of noiseless channels to simulate noisy ones, and more generally the use of one noisy channel to simulate another. For channels of nonzero capacity, this simulation is always possible, but for it to be efficient, auxiliary resources of the proper kind and amount are generally required. In the classical case, shared randomness between sender and receiver is a sufficient auxiliary resource, regardless of the nature of the source, but in the quantum case the requisite auxiliary resources for efficient simulation depend on both the channel being simulated, and the source from which the channel inputs are coming. For tensor power sources (the quantum generalization of classical IID sources), entanglement in the form of standard ebits (maximally entangled pairs of qubits) is sufficient, but for general sources, which may be arbitrarily correlated or entangled across channel inputs, additional resources, such as entanglement-embezzling states or backward communication, are generally needed. Combining existing and new results, we establish the amounts of communication and auxiliary resources needed in both the classical and quantum cases, the tradeoffs among them, and the loss of simulation efficiency when auxiliary resources are absent or insufficient. In particular we find a new single-letter expression for the excess forward communication cost of coherent feedback simulations of quantum channels (i.e. simulations in which the sender retains what would escape into the environment in an ordinary simulation), on non-tensor-power sources in the presence of unlimited ebits but no other auxiliary resource. Our results on tensor power sources establish a strong converse to the entanglement-assisted capacity theorem.

研究动机与目标

• 建立高效模拟量子信道所需资源的完整刻画，尤其在输入具有相关性或纠缠的情况下。
• 通过将经典反向定理推广至量子领域，解决噪声信道编码与反向模拟之间的对偶性问题。
• 识别在不同输入类型下实现高效模拟所必需的最小辅助资源（如纠缠、反馈通信或纠缠蒸馏态）。
• 证明纠缠辅助量子信道模拟的强 converse 性质，表明超过容量时成功概率呈指数衰减。
• 通过引入相干模拟中的关键概念（如纠缠扩展和环境划分），统一并推广现有协议。

提出的方法

• 以状态分裂（状态合并的逆过程）为核心原语，实现从发送方到接收方的量子信息相干传输。
• 引入“纠缠扩展”概念，量化非最大纠缠的影响及其对模拟效率的影响，尤其在叠加协议中。
• 应用“更大希尔伯特空间中的教堂”原理，将环境在发送方与接收方之间划分，实现对信道退相干的无噪声模拟。
• 在舒尔基底下应用舒尔对偶性与联合典型性投影，分析无记忆量子信道，并将一般情形约化为平坦谱情形。
• 通过结合信息论界与协议构造，推导出前向通信、纠缠与反馈通信之间的权衡曲线。
• 采用相干反馈模型，其中发送方保留环境系统，从而导出以纠缠扩展和信道特性表示的前向通信成本的新单字母表达式。

实验结果

研究问题

• RQ1 在任意（非独立同分布）输入下，模拟量子信道所需的最小辅助资源集合（如纠缠、经典反馈通信或纠缠蒸馏态）是什么？
• RQ2 前向通信、纠缠与反馈通信之间的权衡如何影响量子信道模拟的效率？这些权衡的紧致界是什么？
• RQ3 能否为纠缠辅助量子信道模拟证明强 converse 性质？这是否意味着超过容量会导致成功概率呈指数衰减？
• RQ4 纠缠扩展在决定相干反馈模拟成本中的作用是什么？它如何推广标准的 ebit 基模拟框架？
• RQ5 经典反向定理在多大程度上可被推广至量子领域？由于纠缠与相干性，会产生哪些根本性差异？

主要发现

• 对于张量幂（独立同分布）输入的量子信道，共享纠缠（ebits）是高效模拟所必需且充分的，且纠缠辅助容量由强 converse 性质刻画。
• 对于具有任意相关性或输入间纠缠的一般源，标准 ebits 不足；必须额外使用纠缠蒸馏态或经典反馈通信等资源。
• 当拥有无限 ebits 但无其他资源时，推导出非张量幂源上量子信道相干反馈模拟的前向通信成本的新单字母表达式。
• 本文证明了量子信道模拟中前向通信的强 converse 性质，表明任何超过容量的速率在渐近极限下均导致保真度指数衰减。
• 模拟经典信道仅需共享随机性作为辅助资源，且无论输入源结构如何，该资源均为必要且充分。
• 前向通信、纠缠与反馈通信之间的权衡得到量化，且由于辅助资源不足导致的效率损失通过纠缠扩展与互信息的界得到刻画。