[论文解读] Quantum bit commitment and unconditional security

Horace P. Yuen|ArXiv.org|Jul 16, 2002

Quantum Mechanics and Applications参考文献 3被引用 5

一句话总结

本文通过识别标准EPR基础不可行性证明中的关键缺陷，挑战了普遍接受的无条件安全量子比特承诺（QBC）不可能性。它提出了一种新的QBC协议QBC4，利用量子纯化和纠缠技术，证明在物理极限下安全QBC是可能的，欺骗概率受量子保真度约束，并通过序列长度实现指数级抑制。

ABSTRACT

It is generally believed that unconditionally secure quantum bit commitment is impossible, due to widespread acceptance of an impossibility proof that utilizes quantum entaglement cheating. In this paper, we delineate how the impossibiliy proof formulation misses various types of quantum bit commitment protocols based on two-way quantum communications. We point out some of the gaps in the impossibility proof reasoning, and present corresponding counterexamples. Four different types of bit commitment protocols are constructed with several new protocol techniques. A specific Type 4 protocol is described and proved unconditionally secure. Security analysis of a Type 1 protocol and a Type 2 protocol are also sketched. The security of Type 3 protocols is as yet open. A development of quantum statistical decision theory and quantum games is needed to provie a complete security analysis of many such protocols.

研究动机与目标

• 挑战依赖于有缺陷的EPR基础证明的量子比特承诺（QBC）不可能性普遍接受的观点。
• 识别并分析标准不可能性证明中的具体漏洞，特别是关于测量推迟和量子协议中经典随机性的方面。
• 开发一种新的QBC协议（QBC4），绕过这些漏洞，并在物理约束下实现无条件安全。
• 阐明未知参数与随机参数的作用，以及“更大希尔伯特空间教堂”在量子协议设计中的角色。
• 确立若协议表述涵盖所有有效的量子技术而非仅标准不可能性框架中的技术，无条件安全的QBC是可能的。

提出的方法

• 基于纠缠和量子纯化，提出一种新的QBC协议QBC4，其中Adam使用一系列纠缠量子比特来承诺一个比特。
• 使用贝尔态序列|Φ₀⟩来编码比特，额外的量子比特处于受控叠加态，以实现欺骗检测。
• 应用量子纯化技术，将经典随机性视为纯量子态，避免在不可能性证明中对经典随机性的假设。
• 采用基于保真度的欺骗概率边界：F² ≤ Pᶜᴬ ≤ F，其中F是Babe系统两种可能态之间的保真度。
• 引入一种协议，其中Babe的最优测量被推迟到打开阶段，但表明这在物理上并不普遍成立，因纠缠存在物理限制。
• 通过序列长度n₀实现指数级抑制，使Babe的欺骗概率Pᶜᴮ ≈ ½ − ½(1−2pₑ)ⁿ呈指数级减小，且独立于pₑ > 0。

实验结果

研究问题

• RQ1 标准EPR基础QBC不可能性证明中的假设是否有效，特别是关于测量推迟和经典随机性的问题？
• RQ2 能否构造一种QBC协议，通过使用量子纯化和纠缠技术，以标准不可能性证明未涵盖的方式规避EPR攻击？
• RQ3 哪些物理限制制约了可纠缠的量子比特数量，以及这些限制如何影响QBC协议的安全性？
• RQ4 若协议表述包含纠缠纯化和延迟测量等技术，是否可能实现QBC的无条件安全？
• RQ5 QBC的不可能性是否真正源于量子力学，还是证明中存在漏洞，使得在物理约束下仍可实现安全协议？

主要发现

• QBC的不可能性证明是不完整的，因为它假设所有测量均可推迟，且经典随机性可视为纯量子态，而这两点在一般情况下均不成立。
• QBC4协议被明确定义并证明安全，其基于量子纯化和纠缠，欺骗概率受保真度和指数抑制约束。
• Babe的欺骗概率Pᶜᴮ随序列长度n₀呈指数级抑制，趋近于½，且与单个错误概率pₑ > 0无关。
• Adam的欺骗概率Pᶜᴬ满足F² ≤ Pᶜᴬ ≤ F，其中F是Babe系统两种可能态之间的保真度，当F较小时可确保安全。
• 纠缠的物理限制——如可观测宇宙中最多约2⁴¹⁰个量子比特——对欺骗行为施加了根本性限制，支持无条件安全。
• 本文结论认为，若未对QBC作出完整且包容的定义，则无法存在QBC的一般不可能性定理；此类定义必须包含所有有效的量子协议技术。