[论文解读] Towards Device-Independent Quantum Key Distribution with Photonic Devices

Corentin Lanore, Xavier Valcarce+3 more|arXiv (Cornell University)|Jan 20, 2026

Quantum Information and Cryptography被引用 0

一句话总结

该论文评估使用通过机器学习识别的光子电路进行无设备信任的量子密钥分发（DIQKD）的可行性，提出一种高效的基于 SDP 的熵界与有限尺寸分析，以在现实损耗和噪声条件下展示可生成实际密钥。

ABSTRACT

Quantum Key Distribution (QKD) protocols enable two distant parties to communicate with information-theoretically proven secrecy. However, these protocols are generally vulnerable to potential mismatches between the physical modeling and the implementation of their quantum operations, thereby opening opportunities for side channel attacks. Device-Independent (DI) QKD addresses this problem by reducing the degree of device modeling to a black-box setting. The stronger security obtained in this way comes at the cost of a reduced noise tolerance, rendering experimental demonstrations more challenging: so far, only one experiment based on trapped ions was able to successfully generate a secret key. Photonic platforms have however long been preferred for QKD thanks to their suitability to optical fiber transmission, high repetition rates, readily available hardware, and potential for circuit integration. In this work, we assess the feasibility of DIQKD on a photonic circuit recently identified by machine learning techniques. For this, we introduce an efficient converging hierarchy of semi-definite programs (SDP) to bound the conditional von Neumann entropy and develop a finite-statistics analysis that takes into account full outcome statistics. Our analysis shows that the proposed optical circuit is sufficiently resistant to noise to make an experimental realization realistic.

研究动机与目标

• 将 DIQKD 作为对设备缺陷鲁棒的安全范式进行动机驱动。
• 评估通过机器学习识别的光子光路用于 DIQKD 的可行性。
• 开发高效的 SDP 分层用以界定条件 Von Neumann 熵。
• 将有限尺寸安全分析扩展到 DIQKD 的完整结果统计。
• 展示在现实实验参数下实现秘密密钥生成。

提出的方法

• 用一个经典通道和一个量子通道以及状态分发轮次来建模 DIQKD 协议。
• 使用收敛的 SDP 块层级来基于完整统计 P(a,b|x,y) 界定条件 Von Neumann 熵 H(A1|E)。
• 应用熵累积定理（EAT）并采用通用 I-score 进行有限尺寸安全分析。
• 利用 rDW 与 r_block,ell,m 对基于 CHSH 的界限和基于完整统计的界限进行渐近密钥率分析。
• 优化电路参数（g, α, β, p）以最大化密钥率；比较 r0 与 r_block,ell,m 的计算成本。

实验结果

研究问题

• RQ1 在现实损耗和噪声条件下，所识别用于 DIQKD 的光子电路是否能维持贝尔不等式的违反以实现密钥生成？
• RQ2 使用完整统计 P(a,b|x,y) 与 CHSH 基于估计量相比，DIQKD 的密钥率有何差异？
• RQ3 一种高效的 SDP（块层次）是否足够紧地界定 H(A1|E) 以支持实用的有限尺寸分析？
• RQ4 为了在现实探测器效率下产生正的秘密密钥，需要哪些有限尺寸资源（轮次、效率）？
• RQ5 在 MHz 重复速率下，哪些实验参数范围（η, g, α, β, p）可以在数小时内实现可行的 DIQKD？

主要发现

• 所研究的光学电路在噪声下具有足够的鲁棒性，可能实现 DIQKD 的实验实现。
• 使用完整统计来计算密钥率相比 CHSH 基于界限，在 10^-5 密钥率水平时可将所需效率阈值降低约 4%，在较高效率时甚至可达到比 CHSH 基于估计更高一个数量级的密钥率。
• 结合完整统计的有限尺寸分析显著降低提取秘密密钥所需的最小轮次，可能使可行的实验成为现实。
• 在重复速率为 1 MHz 时，效率 87.5% 足以在大约 8 小时内产生一个秘密密钥（n ≈ 3×10^10 轮）。
• 所列的最优参数包括 squeezing Tg = 0.249（或 2.163 dB）、p = 0.042，以及实现正密钥率的特定位移值（α1, α2, β0, β1, β2）。
• 基于块 SDP 的界限 H(A1|E)Block,ell,m 相对于以往方法具有更紧的界限，且对 m 的线性内存增长有助于可行性评估。