[论文解读] User-defined quantum key distribution

Zhengyu Li, Yichen Zhang+1 more|arXiv (Cornell University)|May 11, 2018

Quantum Information and Cryptography参考文献 20被引用 12

一句话总结

本文提出一种用户自定义的量子密钥分发框架，通过利用多模纠缠源实现严格的安全性分析，并采用相干测量实现实际部署，从而支持使用任意非正交态的安全协议设计。该框架仅需256个离散相干态即可实现高性能，显著降低硬件要求，加速QKD商业化进程。

ABSTRACT

Quantum key distribution (QKD) provides secure keys resistant to code-breaking quantum computers. As headed towards commercial application, it is crucial to guarantee the practical security of QKD systems. However, the difficulty of security proof limits the flexibility of protocol proposals, which may not fulfill with real application requirements. Here we show a protocol design framework that allows one to securely construct the protocol using arbitrary non-orthogonal states. Multi-mode entangled source is virtually introduced for the security analysis, while coherent measurement is used to provide raw data. This 'arbitrary' feature reverses the traditional protocol-decide-the-system working style, such that the protocol design now can follow what the system generates. We show a valuable showcase, which not only solves the security challenge of discrete-modulated coherent states, but also achieves high performance with no more than 256 coherent states. Our findings lower the requirement for system venders with off-the-shell devices, thus will promote the commercialization of QKD.

研究动机与目标

• 弥合理论QKD安全证明与实际系统限制之间的差距，特别是与现实设备能力的匹配问题。
• 克服传统协议设计的僵化性，避免对特定态制备的依赖，这些依赖与现成硬件不兼容。
• 使系统厂商能够基于其实际硬件能力设计QKD协议，特别是基于有限分辨率DAC的离散调制。
• 在实际约束条件下，为使用任意非正交态（包括离散态和混合态）的协议提供严格的安伽数学证明。
• 展示仅使用256个相干态即可实现高性能QKD，性能接近理想高斯协议，同时保持安全性。

提出的方法

• 提出双方案框架：制备与测量（PM）方案和基于纠缠的（EB）方案，其中EB方案利用多模纠缠态实现形式化安全分析。
• 在选定模式上使用广义测量算符（POVMs）生成密钥信息，同时在其他模式上采用相干测量以估计关联性，用于密钥率估算。
• 采用双序列方法：第一组随机数控制态制备（通过QRNG），第二组序列通过协方差矩阵重构实现安全分析。
• 利用来自纠缠源的子协方差矩阵公式化密钥率，表达式包含正交分量方差和关联项。
• 采用纠缠克隆者攻击模型模拟窃听行为，并在包含额外噪声和有限透射率的实际信道条件下验证性能。
• 优化参数如分束器透射率（η_BS）和调制方差（V_A），以在安全性与性能之间取得平衡，尤其适用于QAM基协议。

实验结果

研究问题

• RQ1 是否可以安全地设计一种QKD协议，使用任意非正交态（包括离散态和混合态），而无需依赖理想高斯调制？
• RQ2 在使用实际相干探测器和有限分辨率数模转换器时，如何维持严格的安伽数学分析？
• RQ3 仅使用256个相干态的离散调制QKD协议的性能上限是什么？其性能能多接近理想高斯协议？
• RQ4 该框架是否可推广至适配任何系统厂商特定的硬件约束，包括非理想器件和有限动态范围？
• RQ5 纠缠源参数（如η_BS、V_A）的选择如何影响可实现的密钥率以及对信道噪声的鲁棒性？

主要发现

• 该框架支持使用任意非正交态（包括离散调制）实现安全QKD，仅需256个相干态，性能可与理想高斯协议相媲美。
• 对于256-QAM，当输入态方差设为4.6时，协议密钥率接近理想高斯情况，与理想情况方差匹配。
• 当V_A = 5时，协议实现η_A = 1 - 6.5×10⁻⁸，表明在实际约束下状态制备保真度接近完美。
• 该框架在纠缠克隆者攻击模型下仍保持安全性，该模型常用于实验模拟，验证了其对常见窃听策略的鲁棒性。
• 采用相干检测结合本振或外差测量，支持室温运行，并与现有电信基础设施兼容。
• 通过来自纠缠源的子协方差矩阵和关联项对密钥率进行边界限定，即使在非理想条件下也能实现精确性能估计。