[论文解读] Parallel DIQKD from parallel repetition

Thomas Vidick|arXiv (Cornell University)|Mar 24, 2017

Quantum Computing Algorithms and Architecture参考文献 6被引用 11

一句话总结

本文使用并行重复与免疫化技术，对并行设置下的设备无关量子密钥分发（DIQKD）提出了一个简化的证明。通过结合纠缠博弈的并行重复与魔术方阵游戏的特性，建立了原始密钥条件最小熵的下界，确保在噪声和设备缺陷条件下仍能获得正向密钥率。

ABSTRACT

We give an arguably simpler and more direct proof of a recent result by Miller, Jain and Shi, who proved device-independent security of a protocol for quantum key distribution in which the devices can be used in parallel. Our proof combines existing results on immunization (Kempe et al., SICOMP 2011) and parallel repetition (Bavarian et al., STOC 2017) of entangled games.

研究动机与目标

• 使用现有结果，提供并行设备无关量子密钥分发（DIQKD）的更直接、更基础的证明。
• 分析基于魔术方阵游戏的并行DIQKD协议的安全性与熵生成。
• 建立对爱丽丝原始密钥的量子条件最小熵的定量边界，确保正向密钥率。
• 通过纠缠博弈的阈值定理，展示对噪声设备和窃听者的鲁棒性。
• 提供对[JMS17]原始证明的替代视角，简化分析过程，同时保持安全保证。

提出的方法

• 使用魔术方阵游戏（MS）作为熵生成的认证，利用其特性：获胜策略产生共享位 $ f_{xy}(a) = g_{xy}(b) $。
• 应用[KKM+11]中的免疫化技术，构建一个 $\eta$-猜测博弈 $G_\eta$，使得即使拥有共享纠缠，纠缠玩家也无法以概率1获胜。
• 引入一种基于阈值的并行重复博弈 $G^{(n,t)}$，其中裁判仅在至少分数 $t$ 的回合满足获胜条件时接受。
• 应用锚定纠缠博弈的阈值定理（引理4），将纠缠值 $\tau^{*}_{n,t}(G)$ 边界限制为当 $t < \omega^*(G_\eta)$ 时随 $n$ 指数衰减。
• 依赖猜测概率与条件最小熵之间的关系，推导出 $H_\infty^{\varepsilon_s}(K_A|E)$ 的下界。
• 使用集中不等式控制因测试回合表现不佳而导致协议中止的概率，确保诚实设备具有高接受概率。

实验结果

研究问题

• RQ1 能否仅使用并行重复与免疫化技术的既定结果，证明并行DIQKD的安全性？
• RQ2 在噪声条件下，并行DIQKD协议中原始密钥的最小条件最小熵可保证的最低值是多少？
• RQ3 当设备存在噪声或可能被敌对控制时，协议如何维持安全性？
• RQ4 能否仅通过魔术方阵游戏的结构与纠缠博弈重复，对密钥率进行定量界定？
• RQ5 参数选择（如 $\eta$, $\gamma$, $\varepsilon$）对最终密钥率与协议鲁棒性有何影响？

主要发现

• 协议实现了对原始密钥条件最小熵的下界：$ H_{\infty}^{\varepsilon_s}(K_A|E) \geq \Omega((C^{*}_{\text{MS}} - 2\varepsilon)^9 n) - \log p_a^{-1} - O(\gamma n) $，其中 $ C^{*}_{\text{MS}} = 1 - \omega^*(\text{MS}_{1/8}) > 0 $。
• 并行重复博弈的纠缠值 $ \tau^{*}_{n,t}(G) $ 以 $ \exp(-\Omega((t - (1 - C^{*}_{\text{MS}}))^9 n)) $ 的形式指数衰减，确保对纠缠敌人的强安全性。
• 使用 $ \varepsilon/2 $-噪声设置的诚实设备被接受的概率为 $ 1 - \exp(-\Omega(\varepsilon^2 \gamma n)) $，表明对噪声具有鲁棒性。
• 由于测试回合表现不佳导致协议失败的概率被限制在 $ \exp(-\Omega(\varepsilon^2 \gamma n)) $ 以内，该值在 $ n $ 上呈指数级小。
• 分析避免了新颖技术，而是结合已知的免疫化与并行重复结果，相比 [JMS17] 得到了更简洁、更直接的证明。
• 在给定条件下，协议的密钥率是正的，因为熵项在 $ \gamma $ 和 $ \varepsilon $ 足够小时，会主导 $ O(\gamma n) $ 的泄漏项。