$$\newcommand{\ket}[1]{\left|#1\right\rangle} \newcommand{\bra}[1]{\left\langle#1\right|}$$
Ekert91 协议是牛津大学的 Ekert 教授于 1991 年提出的基于纠缠的 QKD 协议 [1]。
Ekert91 协议中利用纠缠态的分发和测量来实现密钥共享,通过贝尔不等式检验 [2] 来估计 Eve 得到的信息。Ekert91 协议基本运行流程如下:假设有一个纠缠源,制备贝尔单重态 $\ket{\psi^-}=\frac{1}{\sqrt{2}}(\ket{0}_A\ket{1}_B-\ket{1}_A\ket{0}_B)$,其中 $\ket{0}$,$\ket{1}$ 为 $Z$ 基矢下的本征态。在 $X$ 基矢下贝尔单重态亦有同样的形式,即 $\ket{\psi^-}=\frac{1}{\sqrt{2}}(\ket{+}_A\ket{-}_B-\ket{-}_A\ket{+}_B)$,其中 $\ket{\pm}=\frac{1}{\sqrt{2}}(\ket{0}\pm\ket{1})$ 为 $X$ 基矢下的本征态。
该纠缠源可以由 Alice 制备,也可以由不可信的第三方制备。然后通过一个量子信道,将纠缠态中的两个光子分别发送给 Alice 和 Bob,这样 Alice 和 Bob 就共享一对纠缠态。随后 Alice 和 Bob 分别从三个选定的基矢中随机选择一个对接收到的光子进行测量并记录测量结果。
例如,Alice 可以选择 Bloch 球的 $x\text{-}y$ 平面上方位角为 $\phi_1^a=0$,$\phi_2^a=\pi/4$,$\phi_3^a=\pi/2$ 的三个基矢;Bob 可以选择 Bloch 球的 $x\text{-}y$ 平面上方位角为 $\phi_1^b=\pi/4$,$\phi_2^b=\pi/2$,$\phi_3^b=3\pi/4$ 的三个基矢。之后 Alice 和 Bob 在经典认证信道公布他们的测量基矢,保留二者同时测量到的部分而丢弃其他的。
根据测量基矢,他们将数据分为两部分,一部分公开对应的测量结果用于贝尔不等式检验,根据贝尔不等式的破坏程度可以检测出窃听者获取的信息量;另一部分数据中保留下基矢相同的部分作为原始密钥。根据贝尔单重态的性质,在任何基矢下 Alice 和 Bob 的测量结果都具有反关联性,因而如果他们选择的测量基矢相同,他们就能得到反关联的测量结果,Alice 或 Bob 翻转他们手中的比特就能得到一致的密钥。
Ekert91 协议的安全性在于通过贝尔不等式检验保证了纠缠特性的存在,Eve 的任何窃听都会带来对纠缠态的扰动,而这将会在贝尔不等式检验时被发现。而当 Alice 和 Bob 共享最大纠缠纯态时,该量子态与 Eve 的系统间完全没有纠缠,Eve 无法获取到通信双方的任何密钥信息。
因此, Ekert91 协议的安全性不依赖于纠缠源的状态,纠缠源可以由不可信的第三方或 Eve 制备而不影响安全性。
参考文献
- [1] A. K. Ekert, Quantum cryptography based on Bell’s theorem, Phys. Rev. Lett. 67, 661 (1991).
- [2] J. S. Bell, On the Einstein-Podolsky-Rosen Paradox, Physics 1, 195 (1964).
作者注:本文节选自 Cao Wen-Fei 的博士论文《量子导引与量子密码研究》,已授权给 Qtumist (量子客) 刊登,仅供读者学习查看。
评论(2)
eker91,用的好像是量子关联吧?
用的是量子纠缠现象。当然说用的是量子关联也是对的,量子纠缠是量子关联中的一种。