[论文解读] Quantum enigma machines and the locking capacity of a quantum channel

Saikat Guha, Patrick Hayden+6 more|Civil War Book Review|Jul 20, 2013

Quantum Computing Algorithms and Architecture参考文献 45被引用 10

一句话总结

本文提出了量子信道的锁存容量（locking capacity）概念，将其定义为使用次线性大小的密钥时，能够以最大速率安全传输经典相关信息的能力。该文建立了锁存容量在标准量子信道容量（如私密容量、量子容量）下的操作性边界，并分析了在相干态编码下对玻色型信道的限制与可实现协议。

ABSTRACT

The locking effect is a phenomenon which is unique to quantum information theory and represents one of the strongest separations between the classical and quantum theories of information. The Fawzi-Hayden-Sen (FHS) locking protocol harnesses this effect in a cryptographic context, whereby one party can encode n bits into n qubits while using only a constant-size secret key. The encoded message is then secure against any measurement that an eavesdropper could perform in an attempt to recover the message, but the protocol does not necessarily meet the composability requirements needed in quantum key distribution applications. In any case, the locking effect represents an extreme violation of Shannon's classical theorem, which states that information-theoretic security holds in the classical case if and only if the secret key is the same size as the message. Given this intriguing phenomenon, it is of practical interest to study the effect in the presence of noise, which can occur in the systems of both the legitimate receiver and the eavesdropper. This paper formally defines the locking capacity of a quantum channel as the maximum amount of locked information that can be reliably transmitted to a legitimate receiver by exploiting many independent uses of a quantum channel and an amount of secret key sublinear in the number of channel uses. We provide general operational bounds on the locking capacity in terms of other well-known capacities from quantum Shannon theory. We also study the important case of bosonic channels, finding limitations on these channels' locking capacity when coherent-state encodings are employed and particular locking protocols for these channels that might be physically implementable.

研究动机与目标

• 将量子信道的锁存容量形式化为：在使用次线性大小的密钥时，可靠传输被锁定的经典信息的最大速率。
• 建立锁存容量与其它量子信道容量（如私密容量、量子容量）之间的通用操作性边界。
• 研究在噪声环境中（特别是光学通信中常用的玻色型信道）锁存协议的实际可行性。
• 分析在使用相干态编码时对锁存容量的约束，识别物理限制与潜在可实现的方案。

提出的方法

• 将锁存容量定义为：在使用次线性增长于信道使用次数的密钥时，将经典信息编码到量子态中，使得窃听者可访问的信息可忽略不计的速率上确界。
• 利用标准量子信息理论工具（包括互信息、熵及量子互信息的链式法则）推导锁存容量的上下界。
• 通过量子窃听信道的等距扩展，将合法接收者与窃听者之间互信息的差异表示为冯·诺伊曼熵与条件熵的形式。
• 利用退化条件与冯·诺伊曼熵的强次可加性，对多次信道使用中可访问信息的差异进行有界。
• 通过分析产品态集合，证明在独立信道使用与纯态集合的假设下，锁存差异具有可加性。
• 将该形式化方法应用于玻色型信道，重点研究相干态编码，以评估物理可实现性并推导可实现锁存容量的限制。

实验结果

研究问题

• RQ1 当密钥大小随信道使用次数次线性增长时，使用量子信道安全传输经典信息的速率是否存在根本极限？
• RQ2 量子信道的锁存容量如何与其它标准容量（如私密容量、量子容量、经典容量）相关联？
• RQ3 在实际量子通信系统中，特别是在使用相干态编码的玻色型信道中，实现高锁存容量的物理约束是什么？
• RQ4 锁存效应是否能在噪声环境中可靠实现？信道退化与态纯度对性能的限制是什么？
• RQ5 在何种条件下，锁存差异在多个独立使用的量子信道中表现出可加性？

主要发现

• 量子信道的锁存容量上界为其私密容量，下界为其量子容量，从而在锁存与已知信道容量之间建立了直接的操作性联系。
• 对于退化量子窃听信道，接收者与窃听者之间互信息的差异受信道私密信息的限制，提供了安全性的量化度量。
• 在独立信道使用与产品态集合的假设下，锁存差异具有可加性，这使得可利用标准信息理论技术分析多轮使用下的锁存协议。
• 在使用相干态编码的玻色型信道中，由于相干态的非理想性，锁存容量受到根本限制，导致难以实现高锁存增益。
• 本文指出，尽管某些锁存协议在光学系统中物理上可实现，但相干态的使用限制了可实现的锁存容量，表明物理可行性与安全强度之间存在权衡。
• 分析结果确认，只要密钥保持次线性且信道不过于噪声，锁存效应在某些噪声模型下仍具有鲁棒性，能保持发送者与窃听者之间的指数级安全差距。