[论文解读] The decoupling approach to quantum information theory

Frédéric Dupuis|arXiv (Cornell University)|Apr 9, 2010

Quantum Information and Cryptography参考文献 65被引用 90

一句话总结

本论文提出解耦方法作为量子信息理论的统一框架，证明了一个核心定理，使得通过单条噪声量子信道实现部分已知量子数据的一次性传输成为可能。主要贡献是一种新颖的信息锁存协议，采用迹距离作为成功准则，提供了比以往工作更强、更具操作意义的量子锁存定义。

ABSTRACT

Quantum information theory studies the fundamental limits that physical laws impose on information processing tasks such as data compression and data transmission on noisy channels. This thesis presents general techniques that allow one to solve many fundamental problems of quantum information theory in a unified framework. The central theorem of this thesis proves the existence of a protocol that transmits quantum data that is partially known to the receiver through a single use of an arbitrary noisy quantum channel. In addition to the intrinsic interest of this problem, this theorem has as immediate corollaries several central theorems of quantum information theory. The following chapters use this theorem to prove the existence of new protocols for two other types of quantum channels, namely quantum broadcast channels and quantum channels with side information at the transmitter. These protocols also involve sending quantum information partially known by the receiver with a single use of the channel, and have as corollaries entanglement-assisted and unassisted asymptotic coding theorems. The entanglement-assisted asymptotic versions can, in both cases, be considered as quantum versions of the best coding theorems known for the classical versions of these problems. The last chapter deals with a purely quantum phenomenon called locking. We demonstrate that it is possible to encode a classical message into a quantum state such that, by removing a subsystem of logarithmic size with respect to its total size, no measurement can have significant correlations with the message. The message is therefore "locked" by a logarithmic-size key. This thesis presents the first locking protocol for which the success criterion is that the trace distance between the joint distribution of the message and the measurement result and the product of their marginals be sufficiently small.

研究动机与目标

• 开发一个通用框架，利用解耦原理解决量子信息理论中的基本问题。
• 证明在单次使用噪声量子信道的情况下，可实现接收方部分已知数据的量子数据一次性传输协议的存在性。
• 将该框架扩展至量子广播信道及发射端具有侧信息的信道，推导出在有无纠缠辅助情况下的渐近编码定理。
• 提出首个信息锁存协议，其成功准则为联合分布与乘积分布之间的迹距离，确保操作上的等价性。
• 探讨开放问题，包括随机酉协议的构造实现以及通过极小熵界推广至记忆信道。

提出的方法

• 以解耦定理（定理 3.7）为核心工具，证明从哈尓测度中随机选取的酉操作能以高概率使系统与环境解耦。
• 应用解耦原理推导量子信道的一次性编码定理，利用独立同分布状态下的全量子渐近均分性质（定理 2.4）。
• 在大多数证明中使用酉 2-设计替代哈尓测度，以保持实现浓度界限所需的二阶矩性质。
• 利用测度集中（定理 3.9）证明解耦以高概率发生，而不仅是在平均意义下，这对锁存协议至关重要。
• 构建一种锁存方案：将经典消息编码为量子态，移除一个对数规模的子系统后，任何测量都无法获取消息的有效信息。
• 通过消息与测量结果的联合分布和各边缘分布乘积之间的迹距离定义锁存的成功性，确保其与随机性具有操作等价性。

实验结果

研究问题

• RQ1 单次使用的噪声量子信道能否传输接收方已部分知晓的量子数据？此类通信的根本极限是什么？
• RQ2 解耦方法如何扩展至量子广播信道及发射端具有侧信息的信道？
• RQ3 量子系统中信息锁存的操作意义是什么？能否通过迹距离形式化以确保鲁棒性？
• RQ4 解耦定理中使用的随机酉构造能否实现构造化，特别是针对锁存协议？
• RQ5 当存在自由纠缠时，经典信息理论的哪些结果可被引入量子信息理论？

主要发现

• 核心解耦定理证明了当接收方对数据具有部分先验知识时，存在一种在噪声信道上实现一次性量子通信的协议。
• 该协议立即导出量子信息理论中若干核心定理的推论，包括纠缠辅助与非辅助情况下的渐近编码定理。
• 对于量子广播信道及发射端具有侧信息的信道，该框架生成的新协议在存在纠缠时可达到与最佳已知经典结果相匹配的渐近速率。
• 所提出的锁存协议是首个采用联合分布与乘积分布之间迹距离作为成功准则的协议，确保仅对密文进行测量无法与消息产生显著相关性。
• 该协议表明，仅需一个对数规模的密钥即可实现经典消息的锁存，移除该密钥后，任何测量均无法有效获取消息信息，使其对测量者而言近乎完全随机。
• 分析表明，测度集中（定理 3.9）对锁存结果至关重要，因为它确保了解耦以高概率发生，而不仅是在平均情况下成立。