[论文解读] Finite-key security for quantum key distribution systems utilizing weak coherent states

Anton Kozubov, Andrei Gaidash+1 more|arXiv (Cornell University)|Mar 11, 2019

Quantum Information and Cryptography参考文献 2被引用 5

一句话总结

本文利用全量子渐近等分性原理（QAAP）技术，对基于弱相干态（尤其是相位编码态）的量子密钥分发（QKD）协议进行了有限密钥安全性分析。结果表明，Holevo界为爱丽丝与伊夫之间最大互信息的上界，并将该分析应用于次载波波（SCW）QKD协议，展示了在考虑信道损耗和有限密钥长度的实际参数下，密钥生成速率的依赖关系。

ABSTRACT

In this paper we present finite-key security analysis for quantum key distribution protocol based on weak coherent (in particular phase-coded) states using a fully quantum asymptotic equipartition property technique. This work is the extension of the proof for non-orthogonal states on the coherent states. Below we consider two types of attacks each of them maximizes either Alice-Eve or Eve-Bob mutual information. The cornerstone of this paper is that we do assume the possibility of crucial intercept-resend attack based on errorless unambiguous state discrimination measurement. We demonstrate that Holevo bound always gives the highest mutual information between Alice and Eve regardless particular kind of isometry. As the main result we present the dependence of the extracted secret key length. As the example we implement the proposed analysis to the subcarrier wave quantum key distribution protocol.

研究动机与目标

• 为基于弱相干（非正交）态的实用QKD系统填补有限密钥安全性证明的空白，这些系统未被现有无条件证明所覆盖。
• 通过分析使用弱相干态的协议，应对单光子源实际限制，因为这些态在真实QKD实现中是标准配置。
• 考虑通过截获-重发攻击实现无误判态辨识的可能性，此类攻击因设备缺陷而可行。
• 为实际QKD系统（如次载波波SCW QKD）提供一个严格的有限密钥安全性框架，确保在有限资源下的实际安全性。
• 推导出明确的密钥生成速率表达式，综合考虑有限密钥长度、纠错和隐私放大，从而实现在真实条件下的性能评估。

提出的方法

• 应用全量子渐近等分性原理（QAAP）技术，分析弱相干态QKD协议的有限密钥安全性。
• 考虑两类攻击：一类最大化爱丽丝-伊夫互信息，另一类最大化伊夫-鲍勃互信息，假设各轮次独立同分布（i.i.d.）。
• 采用CPTP映射形式化建模攻击者（伊夫）对量子态的作用，并推导出Holevo界作为互信息的上界。
• 引入基于阿贝尔循环群 $ C_M $ 的态空间表示，使用相位编码相干态 $ |ar{oldsymbol{ u}}_j angle $，并利用不可约表示对态空间进行对称化。
• 基于Mandel近似推导探测概率，引入探测器效率 $ ho_D $、暗计数率 $ ho_{ ext{dark}} $ 和脉冲宽度 $ T $。
• 应用光谱滤波以分离边带与载波，通过 $ heta o heta imes u $ 建模残留载波泄漏，并利用Wigner d函数 $ d^S_{nk}(eta) $ 计算边带中的光子数。

实验结果

研究问题

• RQ1 能否在一般攻击下，为使用弱相干态（尤其是相位编码态）的QKD协议，严格建立有限密钥安全性证明？
• RQ2 在无误判态辨识攻击存在的情况下，Holevo界如何约束爱丽丝与伊夫之间最大互信息？
• RQ3 有限密钥长度对弱相干态QKD中密钥生成速率有何影响，尤其在考虑纠错与隐私放大时？
• RQ4 次载波波（SCW）QKD协议在有限密钥分析下表现如何？在实际实验参数下可实现的密钥生成速率是多少？
• RQ5 残余载波泄漏与相位不稳定等缺陷在多大程度上影响弱相干态QKD系统的安全性和性能？

主要发现

• 无论伊夫使用何种特定等距变换，Holevo界始终提供爱丽丝与伊夫之间最大可能的互信息，确立了根本性的安全极限。
• 对于次载波波（SCW）QKD系统，密钥生成速率被表示为信道损耗的函数，显式依赖于有限密钥长度 $ n $，且表达式中包含纠错、隐私放大与安全参数的修正项。
• 密钥生成速率表达式（公式40）显示有限密钥惩罚项按 $ rac{1}{ar{n}} $ 缩放，其中包含修正项 $ rac{1}{ar{n}} imes ig( k + \text{code}_{\text{EC}} + \text{log}(1/\bar{\rho}_{\text{EC}}) + \text{log}(1/\bar{\rho}_{\text{PA}}) - 2 \big) $，反映了实际开销。
• 当 $ n = 10^6 $ 时，纠错样本大小 $ k $ 约占总接收脉冲的4%；当 $ n = 10^7 $ 时，下降至约2%，表明随着密钥变长，开销逐渐减小。
• 分析表明，在实际参数下（如 $ heta = 10^{-3} $，$ ho_D = 25\text{\%} $，$ ho_{\text{dark}} = 25 \text{Hz} $，$ \text{loss} = 6.4 \text{dB} $），即使在高损耗条件下，密钥生成速率仍具有可行性，支持长距离QKD。
• 性能仿真（图2）表明，密钥生成速率在各种信道损耗范围内均可实现，验证了SCW QKD在高带宽、长距离量子网络中的实用性。