Discrete-phase-randomized mode-pairing quantum key distribution

本文提出了一种离散相位随机化模式配对量子密钥分发（DPR-MP-QKD）协议，该协议通过将实验上不可行的连续相位随机化替换为仅需少量随机比特的离散版本来确保实际安全性，同时在使用约 14 个离散相位的情况下实现了与连续情形相当的关键速率。

要点

想象一下，两位朋友爱丽丝和鲍勃正试图利用光在长距离上共享一个秘密代码。这就是**量子密钥分发（QKD）**的目标。挑战在于，如果他们发送的光太多，间谍（伊芙）就能在未被察觉的情况下窃取信息；如果发送的光太少，信号就会淹没在光纤电缆的噪声中。

长期以来，科学家们面临着一个“金发姑娘”难题：他们需要一种理论上可行但实际无法构建的完美平衡。

以下是本文成果的简要解析，采用日常类比进行说明。

1. 问题：“完美随机”的转盘

在这种技术的最佳版本（称为MP-QKD）中，爱丽丝和鲍勃需要旋转一个转盘来决定光脉冲的“相位”（即时间或颜色）。

• 理想情况：理论上，这个转盘应该旋转得如此平滑且随机，以至于它可以停在 0 到 360 度之间的任意角度。这被称为连续相位随机化。这就像试图旋转一个转盘，并让它停在圆周上任意一个无限多的点。
• 现实情况：在现实世界中，你无法让转盘停在每一个可能的点上。你只能停在特定的位置，就像时钟上的数字（12、1、2 等）。这就是离散相位随机化。
• 风险：之前的安全证明假设转盘是完美平滑的。由于现实机器是“块状”的（离散的），黑客可能会找到漏洞窃取密钥，而爱丽丝和鲍勃却毫不知情。旧方法就像基于墙壁由实心钢制成的假设来建造堡垒，而实际上墙壁的砖块之间存在微小的缝隙。

2. 解决方案：“离散”协议

作者提出了一种名为DPR-MP-QKD的新协议。与其试图建造一个完美平滑的转盘（这是不可能的），他们设计了一个安全系统，该系统可以完美地配合一个只有少数特定位置的“块状”转盘工作。

可以这样理解：

• 旧方法：“我们需要一把万能锁，任何形状的钥匙都能打开它。既然我们造不出万能锁，我们就很脆弱。”
• 新方法：“我们知道我们的锁只接受具有 14 个特定缺口的钥匙。我们设计了一种新的安全系统，证明即使锁只有这 14 个缺口，它也是安全的。”

3. 工作原理：“伪”单光子

该论文解释说，当你使用“块状”转盘时，发出的光并不是完美的单粒子（光子）。它是一种混合体。

• 类比：想象你试图给朋友发送一个完美的单苹果。但由于你的机器不完美，有时你会发送一整篮，有时是一筐，有时只是一个苹果。
• 发现：作者发现，即使使用不完美的机器，光中也存在一个特定的“切片”，其行为完全像一个单苹果（即“伪单光子”）。
• 策略：他们证明，如果只统计来自这些“单苹果”时刻的消息，系统就是完全安全的。“整篮”和“整筐”（多光子态）会被忽略或视为噪声处理。

4. 结果：“足够好”即是完美

团队进行了计算机模拟，以观察他们的转盘上需要多少个“缺口”（离散相位），才能使其表现得与不可能实现的“平滑”转盘一样好。

• 发现：他们发现，如果只使用14 个离散相位（就像是一个有 14 个数字而不是 12 个数字的时钟），密钥生成的安全性和速度几乎与理论上的完美版本相同。
• 随机性红利：平滑转盘需要无限量的随机数来旋转。而一个 14 缺口的转盘只需要4 位随机数（因为 $2^4 = 16$，足以覆盖 14 个位置）。这在计算资源上是一个巨大的节省。

5. 核心结论

这篇论文解决了一个实际的工程难题。它将一种理论上很棒但实验上 shaky（因为需要不可能实现的硬件）的量子通信协议，变成了实用且安全的方案。

• 以前：“我们造不出这个，因为我们无法制造完美的随机光。”
• 现在：“我们可以利用标准的、不完美的光源来构建它，只要我们使用特定的数学技巧来过滤掉坏的部分。我们只需要极少量的随机性（4 位）就能让它运行。”

该论文证实，这种新方法允许爱丽丝和鲍勃以前所未有的速度在长距离上共享秘密密钥，打破了以往适用于光纤电缆的“速度限制”，而且完全不需要那种不可能实现的“完美”硬件。

技术摘要

技术摘要：离散相位随机化模式配对量子密钥分发

问题陈述
模式配对量子密钥分发（MP-QKD）已成为一种极具前景的协议，能够在无需全局相位锁定的情况下超越无中继速率 - 透射率界限（PLOB 界限），而全局相位锁定是双场（TF）类协议面临的一个重大实际障碍。然而，现有 MP-QKD 实现的安全证明依赖于源端连续相位随机化的假设。在实践中，生成真正连续的随机相位在实验上不可行；现实世界的设备只能实现离散的相位选择。这种差异造成了潜在的安全漏洞，因为源端可能无法完美匹配安全证明中假设的理想化福克态统计混合，从而可能危及协议的实际安全性。

方法论
为了克服这一局限性，作者提出了一种离散相位随机化模式配对量子密钥分发（DPR-MP-QKD）协议。该方法论包含三个主要的分析步骤：

1. 源建模与基矢依赖性分析：
   作者对相干态源进行了建模，其中相位 $\theta$ 从 $[0, 2\pi)$ 范围内均匀分布的 $D$ 个离散值集合中选取。他们引入了虚拟辅助夸特系统（ancilla qudit systems）来记录离散相位信息。通过傅里叶变换，他们将联合态分解为“伪单光子态”（$|\lambda^\mu_k\rangle$）和高阶分量。
   分析的关键部分在于考察源的基矢依赖性。通过计算 Z 基和 X 基密度矩阵之间的保真度，作者证明在离散相位随机化下，源并非完美的基矢无关。他们证明，只有伪单光子态（$k=1$）对安全密钥率有正向贡献，而多光子分量引入了显著的基矢依赖性，使其变得不安全。真空分量（$k=0$）的保真度被确定为 $1/\sqrt{2}$，但其高误码率使其无法用于密钥生成。

2. 离散相位随机化诱骗态方法：
   为了确保对光子数分离攻击的安全性，并估算伪单光子态的产率（yield）和误码率，作者开发了一种适用于离散相位的诱骗态方法。与假设不同强度下产率相同的标准 MP-QKD 不同，相位的离散性引入了偏差。作者利用相应量子态之间的保真度，推导了不同强度设置下产率（$Y$）和误码率（$e$）差异的上界和下界。这些界限使得能够估算 Z 基中伪单光子对的比例（$q^Z_{1,1}$）和相位误码率（$e^{Z,p}_{1,1}$），这对于计算最终密钥率至关重要。

3. 协议定义：
   论文详细阐述了 DPR-MP-QKD 协议的步骤，包括态制备（使用离散相位和信号/诱骗强度）、模式配对（在最大间隔 $l$ 内配对成功的探测事件）、基矢筛选、密钥映射和参数估计。

关键结果
进行了数值模拟以评估 DPR-MP-QKD 协议在各种条件下的性能：

• 向连续情况的收敛： 模拟结果表明，随着离散相位数量（$D$）的增加，DPR-MP-QKD 协议的密钥率性能逐渐逼近理想的连续相位随机化情况。在大约 $D=14$ 个离散相位时，收敛得以有效实现。
• 与 PLOB 界限的性能对比： 即使离散相位数量固定，只要配对间隔 $l$ 足够大，该协议仍保留超越 PLOB 界限的能力。
• 随机性效率： 一个重要的发现是随机性需求的急剧减少。虽然连续相位随机化理论上需要无限的随机比特供应，但所提出的方案仅需少量比特即可编码离散相位。具体而言，作者指出 4 个随机比特足以编码 14 个离散相位（$2^4 = 16 > 14$），这使得该协议在实际实现中极具可行性。

意义与主张
该论文声称解决了因连续相位随机化不可行而导致的 MP-QKD 实际安全漏洞。通过引入 DPR-MP-QKD 协议及相应的安全分析框架，作者证明：

1. 该协议在无需实验上不可能实现的连续相位随机化要求的情况下，仍能保持安全性。
2. 在适度数量的离散相位（约 14 个）下，密钥率性能与连续情况几乎相同，确保了高效率。
3. 随机性消耗从无限减少为有限的少量比特（例如 4 比特），显著降低了随机数发生器的硬件和计算需求。

作者总结道，他们的方法提供了一种稳健、实用且安全的 MP-QKD 实现方案，弥合了理论安全证明与实验可行性之间的差距。他们建议未来的工作可将此分析扩展到有限密钥情形、非对称信道以及源端不完美性（如相位偏差）等领域。