[论文解读] Efficient Quantum Key Distribution Based Solely on Bell's Theorem

Esther Hänggi, Renato Renner+1 more|arXiv (Cornell University)|Nov 23, 2009

Quantum Information and Cryptography被引用 4

一句话总结

本文提出了一种新型高效量子密钥分发协议，仅基于不可 signaling 原理实现设备无关安全性，无需依赖量子理论的正确性。通过利用在不可 signaling 条件下部分秘密比特的异或（XOR）具有高保密性——尤其是当不可 signaling 约束在每方实验室内部强制执行时——该协议即使在噪声信道中也能实现安全密钥生成，克服了先前方案的局限性。

ABSTRACT

Information-theoretic key agreement is impossible to achieve from scratch and must be based on some - ultimately physical - premise. In 2005, Barrett, Hardy, and Kent showed that unconditional security can be obtained in principle based on the impossibility of faster-than-light signaling; however, their protocol is inefficient and cannot tolerate any noise. While their key-distribution scheme uses quantum entanglement, its security only relies on the impossibility of superluminal signaling, rather than the correctness and completeness of quantum theory. In particular, the resulting security is device independent. Here we introduce a new protocol which is efficient in terms of both classical and quantum communication, and that can tolerate noise in the quantum channel. We prove that it offers device-independent security under the sole assumption that certain non-signaling conditions are satisfied. Our main insight is that the XOR of a number of bits that are partially secret according to the non-signaling conditions turns out to be highly secret. Note that similar statements have been well-known in classical contexts. Earlier results had indicated that amplification of such non-signaling-based privacy is impossible to achieve if the non-signaling condition only holds between events on Alice's and Bob's sides. Here, we show that the situation changes completely if such a separation is given within each of the laboratories.

研究动机与目标

• 开发一种不依赖于量子力学正确性的设备无关量子密钥分发协议。
• 解决先前设备无关协议（如 2005 年 Barrett-Hardy-Kent 方案）效率低下且无法容忍噪声的问题。
• 证明当不可 signaling 约束在每方本地实验室内应用时，基于不可 signaling 的隐私可被放大。
• 在最小物理假设下实现高效的经典与量子通信，同时保持无条件安全性。

提出的方法

• 该协议仅以不可 signaling 原理作为唯一物理假设，而非依赖于量子力学或纠缠保真度。
• 采用一种结构，其中不可 signaling 条件在爱丽丝和鲍勃的实验室内部分别强制执行，从而实现更强的隐私放大。
• 最终密钥的安全性源于多个部分秘密比特的异或（XOR），在不可 signaling 约束下该异或结果变得高度秘密。
• 协议设计旨在最小化经典与量子通信，使其在实际中具有高效性。
• 提出一种新方法，利用不可 signaling 相关性的结构，在量子信道存在噪声时仍能生成安全密钥。
• 该方法依赖于一个数学框架，证明在不可 signaling 条件下（尤其是当不可 signaling 结构在每方本地实现时）异或输出的保密性。

实验结果

研究问题

• RQ1 与先前协议相比，是否能显著降低通信开销以实现设备无关安全性？
• RQ2 在仅基于不可 signaling 原理的前提下，是否可能容忍量子信道中的噪声？
• RQ3 当不可 signaling 约束在每方本地系统内应用而非全局应用时，是否可实现基于不可 signaling 的隐私放大？
• RQ4 在未使用完整量子理论的前提下，部分秘密比特的异或是否在局部不可 signaling 条件下变得高度秘密？
• RQ5 能否构建一种实用且高效的 QKD 协议，仅依赖于超光速信号不可能性的事实？

主要发现

• 该协议仅在不可 signaling 条件成立的假设下实现设备无关安全性，无需对量子力学作任何假设。
• 在经典与量子通信方面均具有高效性，显著优于早期方案（如 2005 年 Barrett-Hardy-Kent 协议）。
• 该协议可容忍量子信道中的噪声，是先前基于不可 signaling 的方案的重大改进。
• 当不可 signaling 约束在每方实验室内部应用时，多个部分秘密比特的异或结果变得高度秘密，从而实现有效的隐私放大。
• 密钥的安全性由不可 signaling 相关性的结构保障，尤其当不可 signaling 条件在每方本地强制执行时更为显著。
• 结果表明，当不可 signaling 条件在每个实验室内部应用时，基于不可 signaling 的隐私放大是可能的，解决了此前认为的局限性。