Enhanced Simultaneous Quantum-Classical Communications Under Composable Security

技术摘要：具有可组合安全性的增强型量子-经典同时通信

问题陈述
同时量子-经典通信（SQCC）协议允许在同一光脉冲和模式上并发传输量子密钥分发（QKD）符号和经典数据。虽然这为网络效率和卫星平台提供了显著的实际优势，但现有文献依赖于简化的量子-经典信道耦合模型。先前的研究 [14–18] 假设经典比特错误仅会导致量子测量分布的高斯展宽，实际上将噪声视为一种不受信任的高斯超额噪声源。此外，这些先前的分析局限于渐近机制（无限密钥长度），并且缺乏在可组合安全性要求下的完整安全性分析。作者指出，这些简化可能会导致非物理统计（低于散粒噪声的方差）以及不安全的协议实现，特别是在考虑有限密钥机制时。

方法论
作者提出了一个针对高斯调制相干态（GMCS）连续变量（CV）QKD 协议的修正 SQCC 模型。该方法论包括：

1. 协议重构： 系统被建模为 GMCS CV-QKD（采用异构检测）与经典相干态协议的结合。经典数据通过对量子态（$\tilde{\alpha}$）进行大规模相空间位移（$\tilde{d}$）进行编码。
2. 虚拟纠缠方案： 为了确保可组合安全性，将准备-测量协议转换为等效的虚拟纠缠方案。一个关键的修改是假设经典位移发生在信号通过不受信任的信道之后。这确保了 Eve 对经典信息拥有完全知识，从而将其攻击限制在高斯策略内（通过高斯最优性），并防止非高斯系综问题。
3. 解析推导： 作者推导了后处理状态协方差矩阵的显式解析形式。他们证明了经典比特错误不仅是展宽分布，而且是以非高斯方式降低了量子测量的方差。
4. 重整化步骤： 为了解决非物理统计问题（即后处理方差降至散粒噪声极限以下），作者引入了一个强制性的重整化（重缩放）步骤。这确保了有效信道保持物理上的合法性，从而允许应用高斯最优性来限制 Eve 的信息。
5. 模拟与验证： 使用蒙特卡洛模拟（$N=10^8$ 次采样）来验证解析模型，确认后处理分布是非高斯的，并证实了方差降低现象与之前的模型相矛盾。
6. 有限密钥分析： 使用可组合安全性界限将安全性分析扩展到有限密钥机制，整合了针对 SQCC 后处理要求的参数估计、纠错和隐私放大步骤。

核心贡献

• 修正的耦合模型： 本文提供了一个修正的量子-经典信道耦合模型，表明经典比特错误会降低而非增加量子分布的方差，这与之前的假设不同。
• 漏洞修复： 作者指出，如果不进行适当的重整化，直接实现 SQCC 会产生非物理统计，从而导致协议不安全。他们提出了一种特定的重整化方案以恢复物理合法性。
• 有限密钥机制下的可组合安全性： 该工作首次提出了满足有限密钥机制下可组合安全性要求的 SQCC 协议安全性分析，填补了此前仅考虑无限密钥长度的文献空白。
• 优化的密钥率： 作者通过在固定经典服务质量（误比特率阈值）下优化自由参数（调制方差），推导出了最优的密钥生成率。

结果

• 解析与模拟对比： 蒙特卡洛模拟证实了解析预测，显示协方差矩阵元素（$a_d, b_d, c_d$）具有极佳的一致性，并验证了后处理分布的非高斯特性。
• 性能提升： 在渐近机制下，改进后的模型展现出优于以往 SQCC 模型的显著性能优势。新方案在实现正向安全密钥率的距离上，达到了之前结果最大范围的两倍或三倍。
• 效率： 对于给定的经典误比特率，新方案比以往模型更接近等效的标准 CV-QKD 协议的密钥率，这意味着通过较低能量的输入态即可更接近性能上限。
• 有限密钥机制： 该协议在有限密钥机制下（使用 $N=10^8$ 的块大小进行测试）成功生成了正向的安全密钥份额，尽管其相对于渐近极限下的性能优势有所减弱，但仍保持了优于以往方案的水平。

意义
本文声称其结果代表了“实现混合量子-经典通信协议的重要一步”。通过纠正安全性漏洞并提供严谨的有限密钥分析，这项工作为在实际场景中部署 SQCC（如将 QKD 集成到现有经典网络或卫星平台中）建立了更准确且安全的理论基础。作者指出，虽然其结果是基础性且与平台无关的，但其方案降低了所需的相对经典功率，这可能有助于缓解实验实现中的相位噪声不稳定性问题。该工作并非提出新的特定硬件，而是为未来的实际部署提供了一个精炼的理论框架和安全性证明。