⚛️ quantum physics

Enhancing the security of coherent one-way quantum key distribution using CHSH correlations

本文提出了一种增强型相干单向（COW）量子密钥分发协议，该协议通过使用贝尔不等式（CHSH）相关性检查取代相干性监测，从而将最大安全传输距离从不足 20 km 扩展至约 259 km，以抵御此前限制传输距离的攻击。

原作者： Mahdi Shaban, Farnaz Farman, Alireza Bahrampour

发布于 2026-07-30

📖 1 分钟阅读🧠 深度阅读

原作者： Mahdi Shaban, Farnaz Farman, Alireza Bahrampour

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下，你正试图向隔壁房间的朋友传递一条秘密信息，但有一个狡猾的间谍正在偷听。在“量子密钥分发”（QKD）的世界里，我们不使用耳语；我们使用被称为“光子”的微小光粒子。这里的魔术在于，如果间谍试图窥探信息，物理定律会迫使信息发生改变，从而提醒发送者和接收者出事了。这就像是试图在不破坏幻觉的情况下复制一个魔术；一旦你尝试，魔术就会失败。几十年来，科学家们一直在建造这些“不可破解”的通信线路，但问题在于：现实世界的设备并不完美。就像略显模糊的相机或摇晃的桌子一样，不完美的机器可能会创造出微小的漏洞，聪明的间谍可以利用这些漏洞而不被发现。这就是研究人员试图解决的谜题：当我们的工具并不完美时，我们如何确保信息的安全？

这篇论文探讨了一种特定类型的量子通信，称为“相干单向”（COW）协议。把 COW 想象成一场光脉冲的“跟着领头人走”的游戏。在原始版本中，爱丽丝（发送者）按照特定的节奏发送光脉冲，而鲍勃（接收者）则检查这个节奏是否保持平滑且一致。如果节奏被打乱，他们就知道有间谍在场。然而，近期的研究表明，一个非常聪明的间ษ谍可以完美地模仿这种节奏，在不破坏节拍的情况下窃取秘密密钥。事实上，之前的安全检查表明，这种方法仅对非常短的距离（小于 20 公里）是安全的——超过这个距离，被黑客攻击的风险就会变得过高。

该论文的作者马赫迪·沙巴恩（Mahdi Shaban）及其团队决定改变游戏规则，让间谍更难获胜。他们不再仅仅检查节奏是否平滑，而是提出了一种新的方法来检查光脉冲之间的“幽灵连接”。他们使用了一个著名的测试，叫做 CHSH 不等式，它就像是量子粒子的测谎仪。如果粒子表现正常，它们将以特定的分数通过这项测试。如果间谍进行干扰，分数就会下降，警报就会响起。为了实现这一点，他们在设备中加入了一个小小的转折：爱丽丝发送一种额外的“诱饵”光脉冲，而鲍勃调整了他的光测量设备（一个被称为马赫-曾德尔干涉仪的装置），使其能够从不同的角度观察光线，而不仅仅是一个角度。

他们的计算机模拟结果非常令人兴奋。通过使用这种新的“测谎仪”方法，团队发现该系统可以在更长的距离内保持安全。虽然旧方法在 20 公里后就显得力不从心，但他们的新设置表明，它在长达 259 公里的距离内仍能保持安全。这是一个巨大的进步，因为这意味着我们有可能构建跨越城市甚至国家之间的安全量子网络，而不仅仅是连接相邻的两栋建筑。该论文并未声称已经在真实的实验室中构建了这一系统；这些数字来自详细的计算机模拟。然而，其背后的数学逻辑是稳固的，并且表明通过对现有硬件进行一些细小且可控的改进，我们可以让量子通信更加强大，足以应对未来的黑客。这就像是升级自行车的刹车，使其能够应对陡峭的山路，而不仅仅是平坦的人行道。

技术摘要：利用 CHSH 相关性增强相干单向量子密钥分发（COW QKD）的安全性

问题陈述
相干单向（COW）量子密钥分发协议因其简单的架构和实验可行性，已在野外试验和商业网络中得到广泛应用。然而，其安全性长期以来一直存在争议。虽然早期的分析表明其秘密密钥率与信道透射率呈线性比例关系（ $O(\eta)$ ），但随后的严格无条件安全性证明表明，该协议在本质上容易受到特定攻击（如零误差攻击）的影响，导致密钥率变为二次方比例关系（ $O(\eta^2)$ ）。这种局限性严重限制了安全传输距离，近期的研究表明其最大安全距离不足 20 km。此外，标准的 COW 安全性依赖于监测相邻脉冲之间的相干性，而事实证明，这不足以检测出那些在保持相干性的同时提取信息的复杂窃听策略。

方法论
作者提出了一种改进的 COW 协议，该协议整合了半设备无关（SDI）安全框架。其核心创新在于，用利用 Clauser-Horne-Shimony-Holt (CHSH) 不等式进行的 Bell 型相关性直接验证，取代了传统的相干性监测。协议的修改包括：

状态制备（Alice）： 发送的状态集从原有的三种扩展到四种，增加了 $|1x\rangle$ 态，从而构建了一个对称的 X 基。协议现在利用：
- Z 基数据信号： $|0z\rangle = |0\rangle|\alpha\rangle$ 和 $|1z\rangle = |\alpha\rangle|0\rangle$ 。
- X 基诱骗信号： $|0x\rangle = |\frac{\alpha}{\sqrt{2}}\rangle|\frac{\alpha}{\sqrt{2}}\rangle$ 和 $|1x\rangle = |-\frac{\alpha}{\sqrt{2}}\rangle|\frac{\alpha}{\sqrt{2}}\rangle$ 。
  在小平均光子数（ $\alpha \ll 1$ ）的情况下，这些 X 基状态近似于由 Z 基状态所张成的子空间中的量子比特叠加态。
测量设置（Bob）： 传统的用于固定 X 基可见度检查的马赫-曾德尔干涉仪（MZI）监控线被进行了修改，以允许进行 CHSH 测试所需的变基测量。
- MZI 配置了一个非对称分束器（85:15 比例）和一个相位调制器。
- 通过调节相位差（ $\phi$ ）在 $0 $到$ \pi$ 之间，Bob 可以实现从两个测量基 $B_1 = \frac{1}{\sqrt{2}}(\sigma_z + \sigma_x)$ 和 $B_2 = \frac{1}{\sqrt{2}}(\sigma_z - \sigma_x)$ 之间的切换，而 Alice 的观测算符保持固定为 $A_1 = \sigma_z$ 和 $A_2 = \sigma_x$ 。
- 作者提供了该非对称 MZI 幺正变换的严格推导，通过引入一个虚拟时间模解决了维度不匹配问题，以确保获得有效的幺正描述。
安全性分析： 安全性证明利用了量子左手哈希引理（Quantum Leftover Hashing Lemma）。可提取的秘密密钥率受限于以窃听者信息为条件的原始密钥的平滑最小熵。至关重要的是，最小熵由 CHSH 参数 $S$ 下界限定。如果 $S > 2$ （违反局部实在性）且量子比特误码率（QBER）保持在特定阈值以下，则协议是安全的。

关键结果
通过使用现实参数（探测器效率 90–99%，暗计数率 $10^{-7}$ 至 $10^{-8}$ ，以及 1% 信道失配）进行数值模拟，作者证明了：

扩展的安全距离： 修改后的协议将此前报道的不足 20 km 的最大安全传输距离扩展到了约 259 km。
标度行为： 与之前预测 COW 具有二次方标度（ $O(\eta^2)$ ）的无条件安全性证明不同，该方法恢复了密钥率与信道透射率的线性标度（ $O(\eta)$ ）。这一性能表现与诱骗态 BB84 协议一致。
CHSH 违背： 模拟确认，只要控制好暗计数率，CHSH 参数 $S$ 在长距离下仍能保持在经典极限 2 以上，从而证明了实现安全性所需的非定域相关性的存在。
对比： 在与其他 COW 变体（包括具有主动基选择或真空诱骗态的变体）进行基准测试时，由于具有线性标度的优势，该方法在长距离下表现出更优越的密钥率。

意义与主张
本文声称，这项工作代表了 COW QKD 在长途网络实际可行性方面的重大突破。其主要意义在于两个方面：

安全性增强： 通过将安全性认证从简单的相干性监测转向 Bell 型相关性违背，该协议可以检测更广泛的攻击类别，包括此前无法检测到的攻击。
方法论适配： 作者成功地将传统上与纠缠态方案相关的 CHSH 不等式，以极小的硬件改动适配到了制备-测量型的 COW 框架中。这种方法提供了一种通用的监测工具，未来可能扩展到其他基于相干态的协议。

作者得出结论，这一修订后的框架不仅实现了创纪录的安全距离，还建立了一种增强各种 QKD 方案安全性的稳健方法，且无需像完全设备无关 QKD 那样要求极高的探测效率或无漏洞条件。

类似论文