Continuous-mode analysis of improved two-way CV-QKD

技术摘要：改进型双向 CV-QKD 的连续模分析

问题陈述
连续变量量子密钥分发（CV-QKD）是一种极具前景的安全通信技术，特别是在城域距离范围内。虽然一种“改进型双向”CV-QKD 协议已被提出，旨在增强噪声容限并简化与原始双向方案相比的安全性分析，但现有的安全框架依赖于两个在实际应用中并不成立的理想化假设：

1. 单模假设： 实际器件的非理想性（激光器缺陷、调制误差、探测器带宽限制）会导致光场偏离单模相干态，进入“连续模”状态，即时间与光谱信息分布在波包之中。
2. 渐近假设： 先前的分析假设交换的是无限信号，忽略了“有限尺寸效应”，而这些效应会引入参数估计中的统计涨落，并降低可获得的密钥率。

由于缺乏一个能同时解决连续模演化和有限尺寸效应的安全分析框架，改进型双向协议的实际安全性和性能仍处于未经验证的状态。

方法论
作者通过整合三个核心组件，为实际条件下的改进型双向协议建立了一个全面的安全分析框架：

1. 时间模（TM）表征：

   • 作者使用由时间波包 ($\xi(t)$) 定义的连续模算符取代了单模场算符。
   • 他们使用制备-测量（PM）方案对系统进行建模，其中 Alice 和 Bob 交换连续模相干态。
   • 为了进行安全性分析，他们构建了一个等效的基于纠缠（EB）方案。在该模型中，发射端与接收端之间的模式失配被视为探测效率的降低，通过透射率等于模式匹配系数 ($\eta_m$) 的分束器进行建模。
   • 文中确定了四个不同的模式匹配系数，以解释连续模场的干涉：$\eta_{AA}^m$（Alice-Alice）、$\eta_{AB}^m$（Alice-Bob）、$\eta_{BA}^m$（Bob-Alice）和 $\eta_{BB}^m$（Bob-Bob）。

2. 自适应归一化：

   • 意识到实际的探测器和数字信号处理（DSP）无法从任意波包中提取完整的时域信息，作者引入了一种自适应本底噪声单位（SNU）归一化。
   • 该归一化因子 ($\sigma_{SNU}$) 根据本地振荡器（LO）配置、探测器冲激响应和 DSP 算法进行计算，从而实现对连续模干涉和探测的一致性描述。

3. 有限尺寸效应分析：

   • 作者应用中心极限定理和极大似然估计来模拟由有限信号块大小 ($N$) 引起的统计涨落。
   • 他们推导出了信道透射率 ($t_{min}$) 和过剩噪声 ($\sigma^2_{max}$) 的单侧置信界限，以确保针对最坏情况下的窃听场景的安全性。
   • 这些界限被整合到系统的协方差矩阵中，生成了一个经过“有限尺寸自适应归一化”（FAN）修正的协方差矩阵。

主要贡献

• 框架建立： 本文引入了第一个同时考虑连续模光场和有限尺寸效应的改进型双向 CV-QKD 协议安全分析框架。
• 模式匹配形式化： 它明确定义并将四个模式匹配系数纳入协方差矩阵，为量化发射端-接收端模式失配对系统安全性的影响提供了一种严谨的方法。
• 实际密钥率公式： 作者推导出了一个利用 FAN 修正协方差矩阵的密钥率公式，相比渐近单模分析，它提供了更紧凑且更符合实际的性能界限。

结果
通过数值模拟，在实际条件下（有限块大小 $N=10^8$，模式匹配系数 $\eta_m = 0.97$）将改进型双向协议与标准单向相干态外差协议进行了对比：

• 实际性的影响： 通过对比理想场景（无限数据、完美模式匹配）与实际场景，最大传输距离从 48.27 km 下降到了 31.38 km，凸显了有限尺寸效应和模式失配带来的显著性能惩罚。
• 双向与单向性能对比： 尽管相对于理想条件有所退化，改进型双向协议始终优于单向协议。
  • 传输距离： 双向协议的最大传输距离为 31.38 km，比单向协议（25.27 km）高出约 24%。
  • 过剩噪声容限： 在 50 km 的传输距离下，双向协议可以容忍超过 0.05 SNU 的过剩噪声，而单向协议仅能容忍 0.0182 SNU。这代表在城域距离下，其噪声容限提升了三倍。
  • 敏感度： 结果表明，随着传输距离的增加，系统性能对过剩噪声变得更加敏感，从而进一步放大了双向协议的相对优势。

意义与主张
本文声称其工作为改进型双向 CV-QKD 协议提供了更真实的安全性与性能分析。通过超越理想化的单模和渐近假设，该分析为这些系统的实际部署和性能优化提供了有益指导。作者得出结论，虽然器件非理想性和有限数据块会对性能产生显著影响，但改进型双向协议在长距离传输和高噪声环境下仍保持着相对于单向协议的明显优势。他们建议，未来的性能提升可以通过优化调制格式和 DSP 算法来提高模式匹配系数来实现。