[论文解读] Incompleteness and Limit of Quantum Key Distribution Theory

Osamu Hirota|arXiv (Cornell University)|Aug 10, 2012

Quantum Information and Cryptography参考文献 2被引用 27

一句话总结

本文通过揭示在使用迹距离衡量安全性时存在的关键缺陷，挑战了量子密钥分发（QKD）的基础安全主张。它指出，迹距离无法可靠保证信息论安全性，因为当距离不够小时，无法确保密钥的均匀分布，从而破坏了QKD常被宣称的通用组合安全性。本文主张采用基于相干态的宏观量子通信新框架，以替代QKD，认为QKD因性能差和理论不完整而本质上存在局限。

ABSTRACT

It is claimed in the many papers that a trace distance ($d$) guarantees the universal composition security in quantum key distribution (QKD). In this introduction paper, at first, it is explicitly explained what is the main misconception in the claim of the unconditional security for QKD theory. In general terms, the cause of the misunderstanding on the security claim is the Lemma in the paper of Renner. It suggests that the generation of the perfect random key is assured by the probability $ (1-d)$, and its failure probability is $d$. Thus, it concludes that the generated key provides the perfect random key sequence when the protocol suceeds. So the QKD provides perfect secrecy to the one time pad. This is the reason for the composition claim. However, the quantity of the trace distance (or variational distance) is not the probability for such an event. If $d $ is not small enough, always the generated key sequence is not uniform. Now one needs the reconstruction of the evaluation of the trace distance if one wants to use it. One should first go back to the indistinguishability theory in the computational complexity based, and to clarify the meaning of the value of the variational distance. In addition, the same analysis for the information theoretic case is necessary. The recent serial papers by H.P.Yuen have given the answer on such questions. In this paper, we show more concise description of Yuen's theory, and clarify that the recent upper bound theories for the trace distance by Tomamichel et al and Hayashi et al are constructed based on the reasoning of Renner and it is unsuitable as the analysis for information theoretic security. Finally, we introduce a macroscopic quantum communication with different principle to replace Q-bit QKD.

研究动机与目标

• 识别并澄清基于迹距离的量子密钥分发（QKD）安全主张中的根本性误解。
• 挑战广泛接受的观点，即迹距离（d）能保证QKD中的通用组合安全性。
• 证明基于Rennner引理的当前QKD安全证明在理论上不完整，且缺乏实际意义。
• 论证QKD对渐近资源假设的依赖使其在现实世界部署中不切实际。
• 倡导向基于相干态的宏观量子通信范式转变，作为更具可行性且更安全的替代方案。

提出的方法

• 分析Rennner引理中的概念性错误，该错误错误地将迹距离d等同于失败概率，声称密钥在概率（1−d）下为完全随机。
• 重新审视变分距离与迹距离在信息论安全性背景下的实际意义，强调d必须极小才能确保均匀性。
• 批判性评估Tomamichel等人与Hayashi等人提出的迹距离上界，表明它们继承了Rennner原始推理中的相同逻辑缺陷。
• 介绍并解释H.P. Yuen的理论，该理论基于量子检测理论，为评估密钥估计攻击提供了严格框架。
• 提出并解释使用相干态的宏观量子通信作为QKD的实用替代方案，利用量子噪声隐藏密钥。
• 重新诠释QKD中初始共享密钥的作用，认为其必要性削弱了QKD作为真正密钥分发协议的主张。

实验结果

研究问题

• RQ1 为何声称迹距离d能保证QKD中的通用组合安全性在根本上是错误的？
• RQ2 迹距离在确保QKD信息论安全性方面的真实实际意义是什么？
• RQ3 对Rennner引理的依赖如何导致关于QKD安全性的错误结论？
• RQ4 为何Tomamichel等人与Hayashi等人提出的迹距离上界不足以确立信息论安全性？
• RQ5 基于相干态的宏观量子通信能否提供比QKD更实用且理论更严谨的替代方案？

主要发现

• 迹距离d并不代表生成完美随机密钥的失败概率；相反，若d不够小，生成的密钥序列永远不会均匀分布。
• 基于ε-安全性和迹距离的QKD安全主张缺乏实际基础，因为它未能考虑攻击下密钥的实际分布。
• 当前QKD的理论框架，尤其是建立在Rennner引理之上的部分，是不完整的，无法严格保证无条件安全性。
• 对初始共享密钥至少256比特的要求，削弱了QKD作为真正密钥分发协议的主张，使其退化为密钥扩展机制。
• 尽管有理论主张，QKD性能过差，无法适用于商业高速网络（如100 Gbit/sec），因此不切实际。
• 使用相干态的宏观量子通信提供了更具可行性的前进路径，因为它可通过量子噪声掩蔽实现安全密钥生成，且与现有光通信基础设施兼容。