[论文解读] A one-shot quantum joint typicality lemma.

Pranab Kumar Sen|arXiv (Cornell University)|Jun 19, 2018

Wireless Communication Security Techniques参考文献 15被引用 12

一句话总结

本文提出了一种具有强鲁棒性并集与交集性质的一次性量子联合典型性引理，克服了量子网络信息理论中的一个主要瓶颈。通过开发新型工具——‘倾斜’以增大子空间夹角，以及‘平滑’以扰动多体态，作者实现了多终端信道的同步量子译码器构造，将经典内部边界技术扩展至量子领域。

ABSTRACT

A fundamental tool to prove inner bounds in classical network information theory is the so-called `conditional joint typicality lemma'. In addition to the lemma, one often uses unions and intersections of typical sets in the inner bound arguments without so much as giving them a second thought. These arguments fail spectacularly in the quantum setting. This bottleneck shows up in the fact that so-called `simultaneous decoders', as opposed to `successive cancellation decoders', are known for very few channels in quantum network information theory. Another manifestation of this bottleneck is the lack of so-called `simutaneous smoothing' theorems for quantum states. In this paper, we overcome the bottleneck by proving for the first time a one-shot quantum joint typicality lemma with robust union and intersection properties. To do so, we develop two novel tools in quantum information theory which may be of independent interest. The first tool is a simple geometric idea called `tilting', which increases the angles between a family of subspaces in orthogonal directions. The second tool, called `smoothing', is a way of perturbing a multipartite quantum state such that the partial trace over any subset of registers does not increase the operator norm by much. Our joint typicality lemma allows us to construct simultaneous quantum decoders for many multiterminal quantum channels. It provides a powerful tool to extend many results in classical network information theory to the one-shot quantum setting.

研究动机与目标

• 为解决量子网络信息理论中缺乏鲁棒联合典型性工具的问题，该问题阻碍了同步译码器的发展。
• 克服经典典型性论证在量子设置下失效的问题，特别是在处理典型集的并集与交集时。
• 为将经典内部边界技术扩展至一次性量子领域奠定基础。
• 开发具有潜在独立应用价值的新量子信息理论工具，适用于量子态分析与信道编码。

提出的方法

• 引入一种称为‘倾斜’的几何技术，通过增大正交方向上子空间族之间的夹角，提升量子态空间中的分离度。
• 提出一种‘平滑’程序，对多体量子态进行扰动，使得任意部分迹的算子范数几乎保持不变。
• 结合倾斜与平滑技术，构建一个具有强并集与交集性质的一次性量子联合典型性引理。
• 将该引理应用于证明多终端量子信道存在同步译码器，推广了经典编码策略。
• 利用该引理规避了量子网络中连续取消译码的局限性。
• 采用算子范数界与子空间几何方法，确保在部分迹操作下具有鲁棒性。

实验结果

研究问题

• RQ1 能否构造一个一次性量子联合典型性引理，使其保留经典典型集的并集与交集性质？
• RQ2 如何对量子子空间进行几何操作以改善分离度，并实现鲁棒的典型性论证？
• RQ3 何种扰动方法可在态平滑过程中保持部分迹算子范数不变？
• RQ4 所提出的工具能否实现量子多终端信道的同步译码器构造？
• RQ5 在该框架下，经典网络信息理论的内部边界在多大程度上可被扩展至一次性量子设置？

主要发现

• 本文首次建立了具有强鲁棒性并集与交集性质的一次性量子联合典型性引理，解决了量子网络信息理论中长期存在的瓶颈问题。
• ‘倾斜’技术成功增大了正交方向上子空间之间的夹角，实现了对量子典型子空间更优的分离。
• ‘平滑’程序确保对多体量子态的扰动不会显著增加其部分迹的算子范数。
• 联合典型性引理使多终端量子信道的同步量子译码器得以构建，这一能力此前仅限于连续取消译码。
• 该框架为将经典内部边界技术扩展至一次性量子领域提供了路径，显著拓宽了可实现速率的范围。
• 所开发的工具——倾斜与平滑——在量子态分析、纠错及信道编码等领域具有潜在的独立应用价值。