[论文解读] Continuous-variable Quantum Key Distribution protocols with a discrete modulation

Anthony Leverrier, Philippe Grangier|arXiv (Cornell University)|Feb 22, 2010

Quantum Information and Cryptography参考文献 3被引用 25

一句话总结

本文提出了一种使用离散调制（二元和四元相干态）的连续变量量子密钥分发（CV-QKD）协议，证明其在集体攻击下具有安全性，包括高斯噪声和非高斯噪声。通过利用高斯态的极值性质，并结合基于校验的纠错方案与反向协商，作者建立了保密密钥速率的下限，从而实现简化纠错的实用长距离QKD。

ABSTRACT

In this paper, we consider continuous-variable quantum key distribution with a discrete modulation, either binary or quaternary. We establish the security of these protocols against the class of collective attacks that induce a linear quantum channel. In particular, all Gaussian attacks are taken into account, as well as linear attacks which add a non-Gaussian noise. We give lower bounds for the secret key rate using extremality properties of Gaussian states.

研究动机与目标

• 证明使用离散调制（二元和四元）的连续变量QKD协议在集体攻击下的安全性。
• 通过引入基于重复码和校验信息的协商方案，解决CV-QKD中的纠错挑战。
• 将安全证明扩展至高斯攻击之外，涵盖具有非高斯噪声的线性量子信道。
• 仅使用两个可测量参数：信道透射率T和附加噪声ξ，提供实用的保密密钥速率下界。
• 通过简化纠错，相比高斯调制协议（其解码复杂度较高），实现更长距离的QKD。

提出的方法

• 使用反向协商以提高密钥速率并增强对损耗的容忍度，由鲍勃向爱丽丝发送侧信息（校验和符号数据）。
• 应用多类型边的低密度奇偶校验（LDPC）码，从校验中解码原始密钥，实现高效协商。
• 采用基于重复的码构造，通过将解码复杂度降低k倍（k为重复长度）来减少计算负担。
• 利用高斯态的极值定理，推导出在一般线性信道下保密密钥速率的下界。
• 依赖实验参数T（信道透射率）和ξ（附加噪声）来量化安全性，无需完整信道表征。
• 通过证明原始密钥与校验和幅值数据相互独立，确保攻击者无法从侧信息中获益。

实验结果

研究问题

• RQ1 能否证明使用离散调制的连续变量QKD在包括非高斯噪声在内的所有集体攻击下具有安全性？
• RQ2 如何在离散调制CV-QKD中高效实现纠错，以克服LDPC解码的复杂度瓶颈？
• RQ3 在实际信道条件下，二元和四元离散调制CV-QKD协议的可实现保密密钥速率是多少？
• RQ4 反向协商与基于校验的协商在多大程度上提升了密钥速率和传输距离？
• RQ5 是否能仅使用两个可测量参数（T和ξ）推导出安全界限，从而实现在无需完整信道层析的情况下进行实用化部署？

主要发现

• 本文证明了离散调制CV-QKD协议对所有诱导线性量子信道的集体攻击（包括非高斯噪声）具有安全性。
• 利用高斯态的极值性质，推导出二元和四元调制方案下保密密钥速率的下界。
• 基于校验和符号信息的协商过程确保，即使攻击者获得侧信息，也无法获知原始密钥。
• 基于重复的码构造将解码复杂度降低k倍，显著提升了长距离QKD中的协商速度。
• 该协议仅需两个可测量参数（信道透射率T和附加噪声ξ）即可实现实用的保密密钥速率。
• 通过简化纠错，相比高斯调制CV-QKD，该方法在实现中克服了主要瓶颈，实现了更长距离的QKD。