量子计算 8 量子纠缠

如何量化量子纠缠是本次的主题，我们主要看纯态(pure state)和混合态(mixed state)两种情况。

1 量子纯态纠缠熵

假设张三李四的偶量子态(Bipartite Quantum State, BQS)如下所示：
$$|\psi ⟩=\sum _{ij}{\alpha }_{ij}|i{⟩}_A|j{⟩}_B$$其纠缠熵(Entanglement Entrophy)如下所示：
$$\begin{gathered} E(|\psi ⟩)=S({\rho }^A)=S({\rho }^B)= \\ H([[{\lambda }_0{]}^2,\dots ,[{\lambda }_{n-1}{]}^2{]}^{\top }) \end{gathered}$$ 其中，$H()$是香农熵(Shannon entropy)；$[[{\lambda }_0{]}^2,\dots ,[{\lambda }_{n-1}{]}^2{]}^{\top }$是其施密特(Schmidt)分解$A={\alpha }_{ij}$的概率分布；$S({\rho }^A)$是张三的约化密度矩阵的冯纽曼熵(von Neumann Entropy)。约化密度矩阵见 量子计算 4 推送内容。

1.1 施密特(Schmidt)分解

对于$|\psi ⟩={\sum }_{ij}{\alpha }_{ij}|i{⟩}_A|j{⟩}_B$，系数$A={\alpha }_{ij}$可通过特征值分解为$U\Lambda V^{†}$，则$U^{†}AV=\Lambda$，说明张三李四可通过自己局部的酉变换进行基变换，最终将该量子态转化成：
$$\sum _i{\lambda }_i|v_i⟩|w_i⟩$$ 其中$|v_i⟩$和$|w_i⟩$分别为正交基，但不一定互相正交。于是，在 { ∣ v i ⟩ , ∣ w i ⟩ } \{|v_i\rangle,|w_i\rangle\} {∣vi​⟩,∣wi​⟩}基下测量时概率分布为$[[{\lambda }_0{]}^2,\dots ,[{\lambda }_{n-1}{]}^2{]}^{\top }$。

1.2 香农熵(Shannon entropy)

对经典概率分布$P=[p_0,\dots ,p_{n-1}{]}^{\top }$，其香农熵为：
$$H(P)=\sum _{i=0}^{n-1}{p}_i{\log }_2\frac{1}{p_i}$$ 其越大说明信息不确定性越强，当事件完全确定时为零，当$n=2$时，其香农熵最大为1。

1.3 冯纽曼熵(von Neumann Entropy)

于是将混合态或纯态的密度矩阵$\rho$所对应的冯纽曼熵(von Neumann Entropy)定义为：
$$S(\rho )=\sum _{i=0}^{n-1}{\gamma }_i{\log }_2\frac{1}{{\gamma }_i}$$ 其中${\gamma }_i$为$\rho$的密度矩阵。即将密度矩阵对角化，其对角线值表达的概率分布的香农熵记为冯纽曼熵(von Neumann Entropy)。

用不同的基进行测量，密度矩阵会给出不同的概率分布，冯纽曼熵(von Neumann Entropy)可以看成是这些概率分布里面最小的香农熵，即不确定性最小的基（最接近真实量子态的基），测量得到的结果：
$$S(\rho )=\underset{U}{\min }H(\text{diag}(U\rho U^{†}))$$ 比如对量子态$|+⟩$，如果在 { ∣ 0 ⟩ , ∣ 1 ⟩ } \{|0\rangle, |1\rangle\} {∣0⟩,∣1⟩}下测量的化，结果是一半一半的概率，香农熵为1，如果在 { ∣ + ⟩ , ∣ − ⟩ } \{|+\rangle, |-\rangle\} {∣+⟩,∣−⟩}测量，结果就是确定的，香农熵为0，所以对于确定的$|+⟩$，其冯纽曼熵(von Neumann Entropy)为0；
同样的，对于maximally mixed state, 其密度矩阵为$\frac{I}{2}$，其冯纽曼熵(von Neumann Entropy)为1。

1.4 纠缠熵示例

$$\begin{gathered} E(|\psi ⟩)=S({\rho }^A)=S({\rho }^B)= \\ H([[{\lambda }_0{]}^2,\dots ,[{\lambda }_{n-1}{]}^2{]}^{\top }) \end{gathered}$$

• 对于量子态$|\psi ⟩$的纠缠熵，可以通过张三李四的约化密度矩阵，即其子系统来计算，即在张三自己测量了之后，李四的密度矩阵所表达的量子态的不确定性表达了张三李四的纠缠程度，如果李四的密度矩阵的冯纽曼熵(von Neumann Entropy)为0，即一个确定的量子纯态，那说明俩人也没啥纠缠了；也可以通过其BQS系数的施密特分解对应的概率来计算，如找到两个测量基 { v i , w i } \{v_i,w_i\} {vi​,wi​}分别对张三李四测量的概率都是1，那说明两者都是一个确定的状态，两者没有纠缠，熵也是0。这两种情况的计算是相同的；
• 对于没有纠缠的$|\psi {⟩}_1\otimes |\psi {⟩}_2$其纠缠熵为零；对于Bell pair $\frac{|00⟩+|11⟩}{\sqrt{2}}$，其纠缠熵为1。因此对于纠缠熵的值，可以看成是我们需要多少个Bell pair来建立这个量子态，或者可以从中提取多少个量子态，这两个值对于纯态是相同的，但是对于后面的混合态则不一定。

2 量子混合态纠缠判定

量子混合态的纠缠判断比较tricky：

• 对混合态(Mixed state) { p i , ∣ ψ i ⟩ } \{p_i, |\psi_i\rangle\} {pi​,∣ψi​⟩}，仅凭其密度矩阵${\sum }_i{p}_i|{\psi }_i⟩⟨{\psi }_i|$其实无法判断原始的量子态$|{\psi }_i⟩$是否纠缠;
• 创建一个混合偶态(bipartite mixed states)，$\rho$，需要的纠缠量子比特，即Entanglement of Formation$=E_F(\rho )$，要大于等于从该混合态中可以提取的纠缠量子比特Distillable Entanglement$=E_D(\rho )$，而且有可能$E_F(\rho )>>E_D(\rho )$，即纠缠的量子态，在混合之后，纠缠消失了！？
• 对于混合偶态(bipartite mixed states)，称其为separable，如果满足$\rho ={\sum }_i{p}_i|v_i⟩⟨v_i|\otimes |w_i⟩⟨w_i|={\sum }_i{p}_i|v_i{w}_i⟩⟨v_i{w}_i|$，但是其组成成分，可能是entangle的纯态，和第二条对应，本来entangle的纯态，混合之后，其密度矩阵变成了separable了，纠缠消失了。
• 不像纯态一样能通过纠缠熵很好的判断，确定混合态$\rho$能否separable的分解是个NP hard的问题，而密度矩阵$\rho$又是我们能掌握的所有信息，于是又很多论文在尝试对不同的纠缠分类识别。

3 单配纠缠(Monogamy of Entanglement)

有个很神奇的量子态叫做GHZ state，长得有点像Bell pair，如下所示：
$$\frac{|000⟩+|111⟩}{\sqrt{2}}$$ 对于这个三比特量子态，分别对应张三李四王五，有个神奇的现象，就是只有当张三李四王五在一起的时候这个纠缠才存在，如果王五不在，那他可能测量了自己的比特，而且根据No-communication定理，张三李四的密度矩阵不论是不是王五测量都不会变，那我们看看如果王五测量了示什么情况，那就和王五没测量的情况是一样的。

王五测量了之后，一半可能是$|0⟩$另一半可能是$|1⟩$，于是张三李四的密度矩阵其实就是$|00⟩$和$|11⟩$的混合，纠缠消失了，对于Bell pair，不同之处是其状态是$|00⟩$和$|11⟩$的叠加。

因此张三李四的密度矩阵是：

而Bell pair的密度矩阵是：

所以，虽然GHZ state明显是entangle的，但是少了谁都不entangle了，就像是博罗梅安环(Borromean rings)，少了谁环都是分开的。

这里其实反应了一个更广泛的原则：

单配纠缠(Monogamy of Entanglement):
如果张三的Qubit和李四的Qubit是最大纠缠(Maximally entangled)，那张三的Qubit就不能和王五的Qubit最大纠缠(Maximally entangled)。