面向测量设备无关量子密钥分发的自主皮秒级时间同步算法

《Algorithms》：Autonomous Picosecond-Resolution Synchronization Algorithm for Measurement-Device-Independent Quantum Key Distribution

　　

测量设备无关量子密钥分发（measurement-device-independent quantum key distribution, MDI-QKD）通过将所有测量迁移至不可信中间节点，消除了探测器侧信道攻击。然而，其实际实现关键依赖于空间分离用户之间的皮秒级时间同步。本工作提出一种用于光纤MDI-QKD网络的、具有物理依据的自主同步算法，该算法不需要辅助光信道或共享时钟参考。该方法利用往返光脉冲传播以及高斯噪声存在下的统计信号检测。研究人员推导了虚警概率的解析表达式，量化了检测可靠性，并通过数值建模证明，在实际光功率水平下，对于长达100 km的信道长度可实现10 ps的扫描分辨率。实际定时精度受探测器、光源和电子抖动限制，本工作未对其进行量化。所提方法提高了MDI-QKD架构的可扩展性和鲁棒性，并可直接应用于城域和骨干量子网络。

研究背景：量子密钥分发（quantum key distribution, QKD）基于量子力学原理提供信息论安全。测量设备无关量子密钥分发（measurement-device-independent quantum key distribution, MDI-QKD）通过把全部测量移至不可信中间节点，从设计上关闭探测器侧信道。但MDI-QKD实际部署要求独立激光源产生的光脉冲在中心分束器处到达时间差处于数皮秒窄窗口，残余时序失配会降低Hong-Ou-Mandel干涉（HOM干涉，两独立光子不可区分性导致的干涉）可见度和安全密钥率。部署光纤网络中温度致纤长波动、声振动和慢机械漂移破坏同步；现有技术常依赖额外光纤、高功率参考信号或集中时钟分配，限制可扩展性和实际部署。因此需要物理鲁棒、兼容不可信网络节点的自主同步方法。研究人员提出一种面向光纤MDI-QKD网络的自主同步算法，不需要辅助光信道或共享时钟参考，利用往返光脉冲传播与高斯噪声下统计信号检测；推导虚警概率解析式，量化检测可靠性，数值建模显示100 km内10 ps扫描分辨率；实际定时精度受探测器、光源和电子抖动限制，本文未量化。其意义在于提高MDI-QKD架构可扩展性与鲁棒性，并可直接用于城域和骨干量子网络。

关键技术方法（约240字）：研究人员将双程自补偿QKD同步思想适配至MDI-QKD拓扑：用户站配置光环形器（optical circulator，控制光单向传输的器件）和经典光电探测器，不可信节点设置弱分光耦合器与反射元件；各站独立进行往返飞行时间测量，在离散时间窗内执行统计假设检验，扫描全部时间窗并选取检测次数最大者为信号窗；脉冲重复周期工作于等待反射模式；两用户测得传播延迟后，由Charlie比较到达时间并计算相对时偏，一站通过调节激光发射时序补偿，细对准监测双光子干涉可见度。数值验证采用蒙特卡洛仿真，探测器量子效率20%、光纤衰减0.2 dB/km、连接器损耗0.3 dB；本文无样本队列来源。

研究结果：
1. 引言：说明QKD与MDI-QKD安全优势及实际同步瓶颈，现有额外光纤、强参考、集中时钟限制部署，提出自主同步需求。
2. MDI-QKD同步约束：分析中心节点Bell态测量对时域重叠、光谱不可区分和相位相干的要求，比较主频发生器、互相关、强光脉冲和延迟线等方案，指出精度与部署矛盾。
3. 自主同步算法：提出用户站加环形器/光电探测器、Charlie加分光与反射元件的设计，按事件流程完成测距、门控调整、相对时偏计算和补偿，并以双光子干涉可见度细对准，扫描步长10 ps。
4. 统计检测模型：将反射信号检测表述为高斯噪声下阈值假设检验，用Gaussian Q-function（高斯分布尾概率函数）推导单窗及N窗虚警概率（false-alarm probability，噪声超过阈值被误判为信号的概率），说明多轮轮询和最大值选择降低有效虚警。
5. 数值结果：蒙特卡洛仿真显示100 km链路在适当发射功率下检测概率超过99%，50 km内接近1；100 km细化阶段每个10 ps子区间约需100次检测事件。
6. 同步捕获时间概率分析：将帧视为独立Bernoulli试验，推导粗搜索平均时间、联合成功概率及重复尝试期望时间。
6.1 同步过程形式化：给出粗搜索时间与窗口数、每窗轮询次数和帧周期的关系，并假设相邻帧噪声独立。
6.2 包含细化阶段的联合成功概率：定义粗搜索与细化成功概率，给出联合成功概率及低于目标时重复全过程的期望总时间。
6.3 与数值仿真结果的关系：用采样量估计粗搜索时间，指出初始全校准耗时较长但为一次性，快搜索模式可降至约50 s，100 km总同步约110 s，细化阶段主导长链路同步时间。
6.4 对MDI-QKD性能的影响：同步时间决定密钥生成有效占空比（duty cycle）；温度漂移约30 ps/(km·°C)需周期重同步或连续跟踪；10 ps扫描分辨率低于100 ps和200 ps脉冲的容忍时移阈值，但实际定时精度受抖动限制未量化。
7. 讨论与结论：总结算法无需辅助信道或可信中心硬件，给出三点新贡献，并指出数值结果依赖高斯噪声、理想探测器恢复和认证控制消息等假设，实验验证与安全分析留待未来。

讨论总结：讨论将本文与既往自补偿QKD同步工作比较，强调适配MDI-QKD拓扑、最大值选择的顺序检测概率分析以及含粗搜索和细化阶段的捕获时间模型三项新增内容；同时明确结果为数值性，依赖高斯噪声、理想探测器恢复和认证控制消息等模型假设，实验验证未开展；同步需用预共享密钥认证控制消息，以防注入虚假时偏，不可信节点虽不能访问密钥材料但可延迟或丢弃消息并影响同步时间。该方案可增强MDI-QKD网络可扩展性并降低架构复杂度，未来需实验验证及分析同步阶段认证安全影响。

研究结论翻译：研究人员提出一种用于MDI-QKD系统的自主同步算法，在无需辅助信道或可信中心硬件的情况下提供10 ps扫描分辨率。该方法基于物理透明的统计检测框架，并与实际光纤网络条件兼容。与研究人员此前关于自补偿QKD系统同步的工作相比，本工作引入三项新内容：将同步概念适配到具有修改站点设计的MDI-QKD拓扑；对采用最大值选择的顺序信号检测进行概率分析；建立包括粗搜索和细化阶段的同步捕获时间模型。本工作结果为数值结果，并依赖若干模型假设，包括高斯噪声、理想探测器恢复和认证控制消息；所提算法的实验验证留待未来工作。同步过程假设控制消息使用预共享密钥进行认证；若无认证，对手可能注入虚假定时校正。此外，不可信节点不能访问密钥材料，但可延迟或丢弃消息，从而影响同步时间。这些局限应在未来MDI-QKD网络安全同步协议研究中处理。所提方法增强MDI-QKD网络可扩展性并降低架构复杂度。未来工作将开展实验验证，并分析同步阶段与认证相关的安全影响。