[论文解读] Limited Resource Semi-Quantum Key Distribution

Walter O. Krawec, Eric P. Geiss|arXiv (Cornell University)|Oct 13, 2017

Quantum Information and Cryptography参考文献 15被引用 5

一句话总结

该论文提出了一种新型半量子密钥分发（SQKD）协议，其中完全量子用户（爱丽丝）被限制仅能使用|0⟩、|1⟩和|+⟩态准备和在X基进行测量，而经典用户（鲍勃）则仅限于在Z基操作。尽管存在这些严格限制，该协议在依赖信道中实现了最高11%的噪声容忍度，在独立去极化信道中实现了7.9%的噪声容忍度，与原始Boyer等人SQKD协议以及全量子BB84和LM05协议相同，其安全性通过不匹配测量统计量和在一般攻击下的无条件安全证明得以确立。

ABSTRACT

A semi-quantum key distribution (SQKD) protocol allows a quantum user and a limited "classical" user to establish a shared secret key secure against an all-powerful adversary. In this work, we present a new SQKD protocol where the quantum user is also limited in her measurement capabilities. We describe the protocol, prove its security, and show its noise tolerance is as high as "fully quantum" QKD protocols.

研究动机与目标

• 研究当完全量子用户被限制仅能准备和测量X基态时，半量子密钥分发协议是否仍能保持高噪声容忍度。
• 分析此类协议在集体攻击和一般攻击下的安全性，尽管其量子能力有所降低。
• 证明不匹配测量统计量在原本不安全的协议中对安全性的关键作用。
• 展示由于硬件需求降低和对设备故障的鲁棒性，该协议在实际应用中具有优势。
• 建立一种协议，即使在量子操作受限的情况下，其噪声容忍度仍与BB84和LM05等全量子QKD协议保持一致。

提出的方法

• 协议将爱丽丝限制为仅能准备|0⟩、|1⟩和|+⟩态并仅在X基测量，而鲍勃则仅在计算基Z操作。
• 通过纠缠制备形式和对信道统计量（包括不匹配测量结果）的详细分析来证明安全性。
• 利用半定规划（SDP）方法对表示测量概率和重叠的八个变量进行优化，从而对密钥率进行界定。
• 通过施加对相互作用酉操作$ U_R $的幺正性约束，确保攻击模型的物理一致性。
• 通过使协议具有置换不变性，将安全性从集体攻击扩展至一般攻击，从而实现无条件安全。
• 在两种信道模型下评估噪声容忍度：独立去极化信道和依赖信道，从密钥率表达式中推导出解析边界。

实验结果

研究问题

• RQ1 当完全量子用户被限制仅能准备|0⟩、|1⟩和|+⟩态并仅在X基测量时，半量子密钥分发协议是否仍能保持与BB84和LM05等全量子协议相同的噪声容忍度？
• RQ2 是否可以使用不匹配测量统计量来证明此类资源受限SQKD协议的无条件安全性，而这类统计量通常仅用于提升密钥率？
• RQ3 该协议在独立和依赖的双向量子信道中能容忍的最大噪声水平是多少？
• RQ4 爱丽丝的测量和态制备限制如何影响可实现的密钥率和安全性分析？
• RQ5 该协议是否可在量子测量设备易发生故障的场景（如空间量子通信）中作为具有鲁棒性的替代方案？

主要发现

• 在独立去极化信道中，该协议实现了7.9%的噪声容忍度，与原始Boyer等人SQKD和BB84协议的噪声容忍度完全一致。
• 在依赖信道模型中，该协议可容忍高达11%的噪声，与原始SQKD和BB84协议的噪声容忍度相同。
• 不匹配测量统计量对安全性至关重要——若无此类统计量，协议将不安全，这标志着首次已知案例中，此类统计量是安全所必需，而非仅用于提升密钥率。
• 通过使用置换不变性和等效的纠缠制备形式，该协议在一般攻击下保持无条件安全。
• 尽管对爱丽丝的量子能力施加了严格限制，该协议在与全量子QKD协议相同的噪声水平下仍保持正的密钥率。
• 结果表明，所需量子测量设备更少，为硬件受限或易发生故障的环境（如卫星量子网络）提供了实际优势。