Secure One-Sided Device-Independent Quantum Key Distribution Under Collective Attacks with Enhanced Robustness

技术摘要：在集体攻击下具有增强鲁棒性的安全单侧设备无关量子密钥分发

问题陈述
量子密钥分发（QKD）的安全性传统上依赖于要么是设备依赖型（DD）假设（即所有设备都是可信的），要么是设备无关型（DI）假设（即安全性仅由贝尔不等式的违背来保证）。虽然 DI-QKD 提供了最高的安全性，但其实验实现受到严苛条件的限制，特别是高检测效率（通常需 >92%）以及对无漏洞贝尔测试的需求。相反，DD-QKD 在实验上是可行的，但如果设备未经表征，则容易受到侧信道攻击。单侧设备无关 QKD（1sDI-QKD）提供了一个折中方案，它仅假设其中一方（通常是 Bob）的测量设备是可信的，利用量子转向（quantum steering）来认证安全性。然而，现有的 1sDI 协议往往缺乏能够直接将观测到的转向违背与窃听者信息联系起来的闭式渐近密钥率表达式，或者它们依赖于仅取决于量子比特错误率（QBER）的界限，而非显式的转向不等式。本文旨在解决推导在集体攻击下、利用三设置 Cavalcanti–Jones–Wiseman–Reid (CJWR) 转向不等式的 1sDI-QKD 解析闭式密钥率的问题。

方法论
作者提出了一种基于纠缠的 1sDI-QKD 协议，其中 Alice（不可信）和 Bob（可信）共享一个最大纠缠贝尔态。该协议每方采用三个二进制泡利测量。当双方都在 $\sigma_z$ 基底下进行测量时，从这些轮次中提取密钥位，而其他轮次则用于估计 CJWR 转向参数 $F_3$。

安全性分析针对最优集体攻击进行，其中窃听者（Eve）在各轮次中应用相同且独立的算符。推导过程遵循四步简化策略：

1. 维度缩减： 利用 CJWR 不等式的对称性，作者证明了 Eve 的最优攻击可以被限制在二维子空间内，即使底层的希尔伯特空间是更高维度的。
2. 状态缩减： 分析进一步缩减至贝尔对角态（Bell-diagonal states）。作者证明，任何二维态都可以被对称化为贝尔对角形式而不改变 CJWR 泛函的值，从而简化了 Eve 可获取信息的计算。
3. Holevo 界计算： 作者推导了贝尔对角态下 Eve 可获取信息量（由 Holevo 量 $\chi$ 量化）的上界。通过利用熵不等式，他们将该上界直接与观测到的 CJ 作者 CJWR 违背值 $F_3$ 联系起来。
4. 密钥率推导： 将 Alice 与 Bob 之间的互信息（由 QBER 导出）与 Eve 信息的上界相结合，作者应用 Devetak–Winter 公式得到了渐近安全密钥率的闭式下界。

核心贡献

• 闭式密钥率： 本文推导了 1sDI-QKD 的显式解析渐近密钥率表达式：
  $$r_{1sDI} \geq 1 - h(Q) - h\left(\frac{1 + \sqrt{(F_3^2 - 1)/2}}{2}\right)$$
  其中 $Q$ 是 QBER，$F_3$ 是观测到的 CJWR 转向参数，$h(x)$ 是二元熵函数。这直接将密钥率与转向违背联系起来，类似于 DI-QKD 将速率与贝尔违背联系起来的方式。
• 噪声容忍度分析： 在去极化噪声下对协议进行了基准测试。作者表明，该协议可以容忍临界 QBER ($Q_c$) 为 8.62%。这显著高于标准的 DI-QKD 协议（通常对于基于 CHSH 的方案约为 7.1%），并接近完全可信 DD 方案（约 11%）的鲁棒性，同时保持了比 DD 更弱的信任假设。
• 检测效率阈值： 研究通过空结果（null outcomes）模拟了不可信侧（Alice）的检测效率损失。
  • 在不进行后选择的情况下，在理想可见度下，检测效率低至 82.7% 即可实现安全密钥生成。
  • 使用后选择后，阈值降至 74.5%。
    这些阈值明显低于 DI-QKD 所需的水平（通常 >92%），突显了 1sDI 设定在有损环境下的实际优势。

结果

• 鲁棒性： 该协议展示了优于现有 DI-QKD 协议的噪声容忍度。虽然基于三设置贝尔不等式的 DI-QKD 容忍高达 7.5% 的 QBER，基于非对称贝尔不等式的 DI-QKD 容忍高达 8.34%，但所提出的基于 CJWR 的 1sDI 协议达到了 8.62%。
• 效率： 分析表明，在检测效率低至 74.5%（配合后选择）时，仍可实现安全密钥生成，这远低于 DI-QKD 典型的 92%+ 要求。
• 对比： 本文将其发现与其他 1sDI 协议（如 Branciard 等人、Tomamichel 等人、Pramanik 等人）进行了比较。不同于以往通过 QBER 或熵不确定关系来限制 Eve 信息量（而不具备显式转向依赖性），或仅通过半正定规划提供数值界限的工作，本研究提供了一个不依赖模型的、依赖于对 $(Q, F_3)$ 的解析闭式界限。

意义与主张
作者声称，这项工作为 1sDI-QKD 的实验可行性迈出了重要一步。通过建立一个显式依赖于转向不等式违背的闭式密钥率，该协议简化了安全性认证并增强了实际相关性。研究结果强调了 1sDI-QKD 作为一种稳健的、基于转向的安全性替代方案，在 DD-QKD 的实验可行性与 DI-QKD 的极小信任假设之间取得了平衡。作者指出，虽然目前的分析局限于针对集体攻击的渐近安全性，但推导出的单轮界限为未来扩展到针对一般相干攻击的可组合安全性奠定了基础。文章结论认为，这些结果为近未来的实验实现（特别是在检测不完美和信道噪声场景下）提供了见解。