八、量子纠缠状态的纯化协议及其应用

八、量子纠缠状态的纯化协议及其应用

1.EPP原理

---

       这里我们先来回顾一下贝尔状态：
$$|{\beta }_{00}⟩=\frac{|00⟩+|11⟩}{\sqrt{2}}$$

$$|{\beta }_{01}⟩=\frac{|01⟩+|10⟩}{\sqrt{2}}$$

$$|{\beta }_{10}⟩=\frac{|00⟩-|11⟩}{\sqrt{2}}$$

$$|{\beta }_{11}⟩=\frac{|01⟩-|10⟩}{\sqrt{2}}$$

这 4 个状态组成两位 qubit 列向量空间的正规直交基底。

贝尔

       在利用量子高密度编码或量子瞬间传递之前，在通信双方必须共同拥有纠缠状态对中的某个 qubit ，通常我们选择某个贝尔态作为共同拥有的 qubit 对。但是，实际上在共同拥有贝尔状态的过程中，由于 qubit 在量子信道中受噪声的干扰，或者由于 qubit 的保存时间的持续造成其状态的改变，所以在实际利用贝尔状态进行通信时要考虑这些 qubit 状态的抗干扰对策。其中的一个对策是利用量子纠错码体系，达到订正 qubit 在量子信道传送过程中其状态发生变化而产生的错误。而另外一个对策就是这里要讲述的 “纠缠状态纯化协议（EPP）” ，该协议的目的就是：用尽可能接近 1 的概率使通信双方共同拥有贝尔状态 $|{\beta }_{00}⟩$ 。

       我们首先来考虑通过备制中心将一对贝尔态 $|{\beta }_{00}⟩$ 分别传送给用户 A 和 B ，假设以概率 p 在信道传输中发生了 bit 反转错误，以概率 1-p 不发生错误。那么在传送 $|{\beta }_{00}⟩$ 中用户 A 和 B 共同拥有的状态就变成：

出现的概率	状态
$(1-p{)}^2$	$\frac{|00⟩+|11⟩}{\sqrt{2}}=|{\beta }_{00}⟩$
$p(1-p)$	$\frac{(X|0⟩)|0⟩+(X|1⟩)|1⟩}{\sqrt{2}}=\frac{|10⟩+|01⟩}{\sqrt{2}}=|{\beta }_{01}⟩$
$(1-p)p$	$\frac{|0⟩(X|0⟩)+|1⟩(X|1⟩)}{\sqrt{2}}=\frac{|01⟩+|10⟩}{\sqrt{2}}=|{\beta }_{01}⟩$
$p^2$	$\frac{(X|0⟩)(X|0⟩)+(X|0⟩)(X|1⟩)}{\sqrt{2}}=\frac{|11⟩+|00⟩}{\sqrt{2}}=|{\beta }_{00}⟩$

从上表可以看出，当只有一位发生 bit 反转错误时，双方拥有的不再是 $|{\beta }_{00}⟩$ ，我们定义
$$q=1-(1-p{)}^2-p^2$$

那么我们可以得到，A 和 B ：
$$以概率1-q共同拥有状态\frac{|00⟩+|11⟩}{\sqrt{2}}=|{\beta }_{00}⟩（未出错）$$

$$以概率q共同拥有状态\frac{|01⟩+|10⟩}{\sqrt{2}}=|{\beta }_{01}⟩（出错）$$

       为了使双方得到 $|{\beta }_{00}⟩$ qubit 对的概率更高，我们让备制中心备制两对贝尔状态 $|{\beta }_{00}⟩$ ，然后将每对 qubit 分发给两个用户，此时 A 和 B 共同拥有 2 个 qubit 对，那么两个用户共同拥有贝尔状态 $|{\beta }_{00}⟩$ 的概率将会大于 $1-q\text{1−q}1-q$ ，我们称传输两对 qubit 的方法为 量子纠缠纯化协议 EPP 。

       通过上面的讨论我们知道，传输一对 qubit 时会以一定概率变为其他的贝尔状态。对于传输两对 qubit 对时，考虑只发生 bit 反转错误，每对发生错误的概率和只传输一对时相同，由此我们得到 A 和 B 收到的两对 qubit 的可能状态如下：

出现的概率	得到的状态
$(1-q{)}^2$	$|{\beta }_{00}⟩|{\beta }_{00}⟩$
$(1-q)q$	$|{\beta }_{00}⟩|{\beta }_{01}⟩$
$q(1-q)$	$|{\beta }_{01}⟩|{\beta }_{00}⟩$
$q^2$	$|{\beta }_{01}⟩|{\beta }_{01}⟩$

       为了进一步提高获得 $|{\beta }_{00}⟩$ 贝尔状态的概率，我们使用如下的回路对收到的 qubit 进行操作：

使用上图的回路，将 A 和 B 收到的两个 qubit 通过控制非门，如果收到的 qubit 对没有发生错误，则总体的状态为：
$$|{\beta }_{00}⟩|{\beta }_{00}⟩=\frac{(|0_A{0}_B⟩+|1_A{1}_B⟩)(|0_A{0}_B⟩+|1_A{1}_B⟩)}{2}$$

$$=\frac{(|0_A{0}_B{0}_A{0}_B⟩+|0_A{0}_B{1}_A{1}_B⟩)(|1_A{1}_B{0}_A{0}_B⟩+|1_A{1}_B{1}_A{1}_B⟩)}{2}$$

经过控制非门后的状态变为：
$$\frac{(|0_A{0}_B{0}_A{0}_B⟩+|0_A{0}_B{1}_A{1}_B⟩)(|1_A{1}_B{1}_A{1}_B⟩+|1_A{1}_B{0}_A{0}_B⟩)}{2}=|{\beta }_{00}⟩|{\beta }_{00}⟩$$

可以发现没有什么改变。用同样的方法将发生 bit 反转错误后可能存在的所有状态（上表的状态）通过控制非门，得到的结果如下：

收到时的状态	通过控制非门后的状态
$|{\beta }_{00}⟩|{\beta }_{00}⟩$	$|{\beta }_{00}⟩|{\beta }_{00}⟩$
$|{\beta }_{00}⟩|{\beta }_{01}⟩$	$|{\beta }_{00}⟩|{\beta }_{01}⟩$
$|{\beta }_{01}⟩|{\beta }_{00}⟩$	$|{\beta }_{01}⟩|{\beta }_{01}⟩$
$|{\beta }_{01}⟩|{\beta }_{01}⟩$	$|{\beta }_{01}⟩|{\beta }_{00}⟩$

根据回路图，A 和 B 对各自收到的第二对 qubit 分别进行测量，并将测量的结果通过经典信道互相通知对方。如果两者测定的结果相同，则保留剩余的 qubit ；如果不一致，就舍弃该次传输的 qubit 对。对于上面通过控制非门的四种结果进行测量后的操作如下(有下划线的是测量的 qubit)：

通过控制非门后的状态	操作
$|{\beta }_{00}⟩\underline{|{\beta }_{00}⟩}$	保留
$|{\beta }_{00}⟩\underline{|{\beta }_{01}⟩}$	舍弃
$|{\beta }_{01}⟩\underline{|{\beta }_{01}⟩}$	舍弃
$|{\beta }_{01}⟩\underline{|{\beta }_{00}⟩}$	保留

通过上表可以发现，当第二对 qubit 为 $|{\beta }_{00}⟩$ 时才会保留收到的 qubit 对，而在保留 qubit 的情况下，对应的未通过控制非门之前的状态为 $|{\beta }_{00}⟩|{\beta }_{00}⟩$ 和 $|{\beta }_{01}⟩|{\beta }_{01}⟩$ ，且这两种状态在信道传输后出现的概率为 $(1-q{)}^2+q^2$ 。因此通过控制非门并测量后，保留的 qubit 对的状态及出现的概率为：

保留的 qubit 对的状态	出现的概率
$|{\beta }_{00}⟩$	$$\frac{(1-q{)}^2}{(1-q{)}^2+q^2}$$
$|{\beta }_{01}⟩$	$$\frac{q^2}{(1-q{)}^2+q^2}$$

假设 $q$ 满足不等式 $0<q<\frac{1}{2}$，则下列不等式成立：
$$\frac{(1-q{)}^2}{(1-q{)}^2+q^2}>1-q$$

由此得出结论：通过以上的回路对收到的 qubit 对进行处理后，拥有状态 $|{\beta }_{00}⟩$ 的概率是增大的。

2.Quantum Privacy Amplification 协议

---

       前面所提到的 EPP 方法只适用于仅发生 bit 反转错误的信道，但是通常信道中还会发生位相翻转的错误，因此提出了针对一般量子信道能够利用的 EPP 方法，即 QPA 协议。QPA 协议是在量子密钥分配的基础上，利用共有纠缠状态的物理事实，为了减少量子信道本身的错误或避免第三者的恶意篡改对量子信息的影响而提出的协议。

       现在我们仍然假设备制中心备制并传输两对贝尔状态，QPA 协议里，我们让接收到的两对 qubit 经过如下的回路：

其中 $U_A$ 为如下的 qubit 演算：
$$U_A=\frac{1}{\sqrt{2}}\left[\begin{array}{cc}1& -i\\ -i& 1\end{array}\right]$$

则：
$$U_A|0⟩=\frac{1}{\sqrt{2}}\left[\begin{array}{cc}1& -i\\ -i& 1\end{array}\right]\left[\begin{array}{c}1\\ 0\end{array}\right]=\frac{1}{\sqrt{2}}\left[\begin{array}{c}1\\ -i\end{array}\right]=\frac{1}{\sqrt{2}}\left(\left[\begin{array}{c}1\\ 0\end{array}\right]+(-i)\left[\begin{array}{c}0\\ 1\end{array}\right]\right)=\frac{1}{\sqrt{2}}(|0⟩-i|1⟩)$$

$$U_A|1⟩=\frac{1}{\sqrt{2}}\left[\begin{array}{cc}1& -i\\ -i& 1\end{array}\right]\left[\begin{array}{c}0\\ 1\end{array}\right]=\frac{1}{\sqrt{2}}\left[\begin{array}{c}-i\\ 1\end{array}\right]=\frac{1}{\sqrt{2}}\left((-i)\left[\begin{array}{c}1\\ 0\end{array}\right]+\left[\begin{array}{c}0\\ 1\end{array}\right]\right)=\frac{1}{\sqrt{2}}((-i)|0⟩+|1⟩)$$

$U_B$ 为如下的 qubit 演算：
$$U_B=\frac{1}{\sqrt{2}}\left[\begin{array}{cc}1& i\\ i& 1\end{array}\right]$$

则：
$$U_B|0⟩=\frac{1}{\sqrt{2}}\left[\begin{array}{cc}1& i\\ i& 1\end{array}\right]\left[\begin{array}{c}1\\ 0\end{array}\right]=\frac{1}{\sqrt{2}}\left[\begin{array}{c}1\\ i\end{array}\right]=\frac{1}{\sqrt{2}}\left(\left[\begin{array}{c}1\\ 0\end{array}\right]+i\left[\begin{array}{c}0\\ 1\end{array}\right]\right)=\frac{1}{\sqrt{2}}(|0⟩+i|1⟩)$$

$$U_B|1⟩=\frac{1}{\sqrt{2}}\left[\begin{array}{cc}1& i\\ i& 1\end{array}\right]\left[\begin{array}{c}0\\ 1\end{array}\right]=\frac{1}{\sqrt{2}}\left[\begin{array}{c}i\\ 1\end{array}\right]=\frac{1}{\sqrt{2}}\left(i\left[\begin{array}{c}1\\ 0\end{array}\right]+\left[\begin{array}{c}0\\ 1\end{array}\right]\right)=\frac{1}{\sqrt{2}}(i|0⟩+|1⟩)$$

       根据以上的回路，用户 A 和 B 各自将自己拥有的 2 个 qubit 通过控制非门并以 { ∣ 0 ⟩ ， ∣ 1 ⟩ } \{|0\rangle，|1\rangle\} {∣0⟩，∣1⟩} 基底测定各自拥有的 qubit ，并将测定的结果通过经典信道相互通知对方。如果两者测定的结果一致，则剩余的一对 qubit 以更高的概率被认定为是状态 $|{\beta }_{00}⟩$ 并加以保存，如果测定的结果不一致，则舍弃剩余的一对 qubit 。

       下面我们假设在量子信道中发生位相翻转错误来看一下 QPA 协议的效果。

       假设在只传送一对 qubit 贝尔态时正确发送的概率为 $1-p$ ，则发生错误的概率为 $p$ ，再设 $q=1-(1-p{)}^2-p^2$ ，那么传送两对 qubit 贝尔态时 A 和 B 共同拥有的贝尔状态如下：

出现的概率	得到的状态
$(1-q{)}^2$	$|{\beta }_{00}⟩|{\beta }_{00}⟩$
$(1-q)q$	$|{\beta }_{00}⟩|{\beta }_{10}⟩$
$q(1-q)$	$|{\beta }_{10}⟩|{\beta }_{00}⟩$
$q^2$	$|{\beta }_{10}⟩|{\beta }_{10}⟩$

下面我们讨论对于一对 qubit ，当 A 和 B 接收到不同的贝尔状态后，再经过 $U_A$ 和 $U_B$ 运算后得到的状态：

$$|{\beta }_{00}⟩\stackrel{U_A,U_B}{⟶}\frac{(U_A|0⟩)(U_B|0⟩)+(U_A|1⟩)(U_B|1⟩)}{\sqrt{2}}$$

$$=\frac{(|0⟩-i|1⟩)(|0⟩+i|1⟩)+(-i|0⟩+|1⟩)(i|0⟩+|1⟩)}{2\sqrt{2}}=\frac{|00⟩+|11⟩}{\sqrt{2}}=|{\beta }_{00}⟩$$

$$|{\beta }_{01}⟩\stackrel{U_A,U_B}{⟶}\frac{(U_A|0⟩)(U_B|1⟩)+(U_A|1⟩)(U_B|0⟩)}{\sqrt{2}}$$

$$=\frac{(|0⟩-i|1⟩)(i|0⟩+|1⟩)+(-i|0⟩+|1⟩)(|0⟩+i|1⟩)}{2\sqrt{2}}=\frac{|01⟩+|10⟩}{\sqrt{2}}=|{\beta }_{01}⟩$$

$$|{\beta }_{10}⟩\stackrel{U_A,U_B}{⟶}\frac{(U_A|0⟩)(U_B|0⟩)-(U_A|1⟩)(U_B|1⟩)}{\sqrt{2}}$$

$$=\frac{(|0⟩-i|1⟩)(|0⟩+i|1⟩)-(-i|0⟩+|1⟩)(i|0⟩+|1⟩)}{2\sqrt{2}}=\frac{|01⟩-|10⟩}{\sqrt{2}}i=|{\beta }_{11}⟩$$

$$|{\beta }_{11}⟩\stackrel{U_A,U_B}{⟶}\frac{(U_A|0⟩)(U_B|1⟩)-(U_A|1⟩)(U_B|0⟩)}{\sqrt{2}}$$

$$=\frac{(|0⟩-i|1⟩)(i|0⟩+|1⟩)-(-i|0⟩+|1⟩)(|0⟩+i|1⟩)}{2\sqrt{2}}=\frac{|00⟩-|11⟩}{\sqrt{2}}i=|{\beta }_{10}⟩$$

总结如下：

共同拥有的状态	做相应的 U 演算后的状态
$|{\beta }_{00}⟩$	$|{\beta }_{00}⟩$
$|{\beta }_{01}⟩$	$|{\beta }_{01}⟩$
$|{\beta }_{10}⟩$	$|{\beta }_{11}⟩$
$|{\beta }_{11}⟩$	$|{\beta }_{10}⟩$

再来讨论对于两对 qubit 贝尔态，通过 $U_A$ 和 $U_B$ 演算后，再通过控制非门得到的结果：

1. 用户 A 和 B 收到的整体状态为 $|{\beta }_{00}⟩|{\beta }_{00}⟩$ 时：
   先对各自拥有的 qubit 分别实施 $U_A$ 和 $U_B$ 演算：
   $$|{\beta }_{00}⟩|{\beta }_{00}⟩\stackrel{U_A,U_B}{⟶}|{\beta }_{00}⟩|{\beta }_{00}⟩=\frac{|00⟩+|11⟩}{\sqrt{2}}\frac{|00⟩+|11⟩}{\sqrt{2}}$$

   再将该状态通过控制非门：
   $$\frac{|00⟩+|11⟩}{\sqrt{2}}\frac{|00⟩+|11⟩}{\sqrt{2}}=\frac{|0000⟩+|0011⟩+|1100⟩+|1111⟩}{2}$$

   $$\stackrel{控制非门}{⟶}\frac{|0000⟩+|0011⟩+|1111⟩+|1100⟩}{2}=\frac{|00⟩+|11⟩}{\sqrt{2}}\frac{|00⟩+|11⟩}{\sqrt{2}}=|{\beta }_{00}⟩|{\beta }_{00}⟩$$

   根据上面的步骤，A 和 B 对第二对 qubit 分别进行测量，其测量结果一致的概率为 1 。因此双方共同拥有贝尔状态 $|{\beta }_{00}⟩$ 。

2. 用户 A 和 B 收到的整体状态为 $|{\beta }_{00}⟩|{\beta }_{10}⟩$ 时：
   先对各自拥有的 qubit 分别实施 $U_A$ 和 $U_B$ 演算：
   $$|{\beta }_{00}⟩|{\beta }_{10}⟩\stackrel{U_A,U_B}{⟶}|{\beta }_{00}⟩{\beta }_{11}⟩=\frac{|00⟩+|11⟩}{\sqrt{2}}\frac{|01⟩-|10⟩}{\sqrt{2}}$$

   再将该状态通过控制非门：
   $$\frac{|00⟩+|11⟩}{\sqrt{2}}\frac{|01⟩-|10⟩}{\sqrt{2}}=\frac{|0001⟩-|0010⟩+|1101⟩-|1110⟩}{2}$$

   $$\stackrel{控制非门}{⟶}\frac{|0001⟩-|0010⟩+|1110⟩-|1101⟩}{2}=\frac{|00⟩-|11⟩}{\sqrt{2}}\frac{|01⟩-|10⟩}{\sqrt{2}}=|{\beta }_{10}⟩|{\beta }_{11}⟩$$

   A 和 B 对第二对 qubit 即 $|{\beta }_{11}⟩=\frac{|01⟩-|10⟩}{\sqrt{2}}$ 进行测量时，其测量结果不同的概率为 1 ，所以剩下的一对 qubit 被舍弃。

3. 用户 A 和 B 收到的整体状态为 $|{\beta }_{10}⟩|{\beta }_{00}⟩$ 时：
   先对各自拥有的 qubit 分别实施 $U_A$ 和 $U_B$ 演算：
   $$|{\beta }_{10}⟩|{\beta }_{00}⟩\stackrel{U_A,U_B}{⟶}|{\beta }_{11}⟩{\beta }_{00}⟩=\frac{|01⟩-|10⟩}{\sqrt{2}}\frac{|00⟩+|11⟩}{\sqrt{2}}$$

   再将该状态通过控制非门：
   $$\frac{|01⟩-|10⟩}{\sqrt{2}}\frac{|00⟩+|11⟩}{\sqrt{2}}=\frac{|0100⟩+|0111⟩-|1000⟩-|1011⟩}{2}$$

   $$\stackrel{控制非门}{⟶}\frac{|0101⟩+|0110⟩-|1010⟩-|1001⟩}{2}=\frac{|01⟩-|10⟩}{\sqrt{2}}\frac{|01⟩+|10⟩}{\sqrt{2}}=|{\beta }_{11}⟩|{\beta }_{01}⟩$$

   A 和 B 对第二对 qubit 即 $|{\beta }_{01}⟩=\frac{|01⟩+|10⟩}{\sqrt{2}}$ 进行测量时，其测量结果不同的概率为 1 ，所以剩下的一对 qubit 被舍弃。

4. 用户 A 和 B 收到的整体状态为 $|{\beta }_{10}⟩|{\beta }_{10}⟩$ 时：
   先对各自拥有的 qubit 分别实施 $U_A$ 和 $U_B$ 演算：
   $$|{\beta }_{10}⟩|{\beta }_{10}⟩\stackrel{U_A,U_B}{⟶}|{\beta }_{11}⟩{\beta }_{11}⟩=\frac{|01⟩-|10⟩}{\sqrt{2}}\frac{|01⟩-|10⟩}{\sqrt{2}}$$

   再将该状态通过控制非门：
   $$\frac{|01⟩-|10⟩}{\sqrt{2}}\frac{|01⟩-|10⟩}{\sqrt{2}}=\frac{|0101⟩-|0110⟩-|1001⟩+|1010⟩}{2}$$

   $$\stackrel{控制非门}{⟶}\frac{|0100⟩+|0111⟩-|1011⟩-|1000⟩}{2}=\frac{|01⟩-|10⟩}{\sqrt{2}}\frac{|00⟩+|11⟩}{\sqrt{2}}=|{\beta }_{11}⟩|{\beta }_{00}⟩$$

   A 和 B 对第二对 qubit 即 $|{\beta }_{00}⟩=\frac{|00⟩+|11⟩}{\sqrt{2}}$ 进行测量时，其测量结果相同的概率为 1 ，所以剩下的一对 qubit 即 $|{\beta }_{11}⟩$被保留，但是得到的却不是希望得到的 $|{\beta }_{00}⟩$。

总结如下表：

收到的可能状态	经过回路后的状态	测量后双方进行的操作及得到的结果
$|{\beta }_{00}⟩|{\beta }_{00}⟩$	$|{\beta }_{00}⟩|{\beta }_{00}⟩$	保留得到 $|{\beta }_{00}⟩$
$|{\beta }_{00}⟩|{\beta }_{10}⟩$	$|{\beta }_{10}⟩|{\beta }_{11}⟩$	舍弃
$|{\beta }_{10}⟩|{\beta }_{00}⟩$	$|{\beta }_{11}⟩|{\beta }_{01}⟩$	舍弃
$|{\beta }_{10}⟩|{\beta }_{10}⟩$	$|{\beta }_{11}⟩|{\beta }_{00}⟩$	保留得到 $|{\beta }_{11}⟩$

可以发现，当经过回路后保留的两种状态分别对应的接收时的状态为 $|{\beta }_{00}⟩|{\beta }_{00}⟩$ 和 $|{\beta }_{10}⟩|{\beta }_{10}⟩$ ，其发生的概率为
$$(1-q{)}^2+q^2$$

在经过 QPA 协议配送后，在保留了 qubit 的情况下，A 和 B 共同拥有正确贝尔状态 $|{\beta }_{00}⟩$ 的概率为
$$\frac{(1-q{)}^2}{(1-q{)}^2+q^2}>1-q$$

由此得出结论：通过以上的回路对收到的 qubit 对进行处理后，拥有状态 $|{\beta }_{00}⟩$ 的概率是增大的。

我们也可以通过验证得到如下结论：QPA 协议适用于 bit 反转错误，同时也适用于位相反转错误。