量子计算 10 隐变量、贝尔不等式与CHSH

书接上回，在 量子计算 9 中我们介绍了理解量子力学的四个不同角度，其实还有另一个截然不同却同样重要的思路，就是量子力学的现象是因为还有另一个维度或者隐含变量(Hidden variable)，然后再尝试用经典的思路去理解，比如说，其实我们的量子叠加态$\alpha |0⟩+\beta |1⟩$，是不是一种预测宇宙已经设定好了的固有状态$|0⟩$或$|1⟩$的方式。

1 隐变量理论

隐变量理论有非局部(non-local)隐变量和局部(local)隐变量两种，波姆力学是非局部的代表，而局部隐变量理论的思想后被CHSH游戏及相关实验证伪。首先来看波姆力学简介及其为什么被称为非局部理论。

1.1 波姆力学(Bohmian Mechanics)

由David Bohm在1950左右提出的理论，量子力学的思想是粒子的位置是多个位置的叠加，该叠加态可以充分描述一个粒子的位置；而波姆力学认为除此之外，在测量之前还存在一个"真实位置：real position"或称波姆位置，为了和量子力学相符，需要根据某规则确定真实位置，使其与位置叠加态的理论相符合。结果证明这种规则有非常多。

对于离散状态来说，我们用量子幅值向量，表示一个纯态，通过酉变换来进行转化，如下：

然后写出对应的方程：

这里方程没有考虑量子力学的幅值向量，而是通过经典的变化满足将玻恩准则(Born rule)的概率，通过随机矩阵进行概率分布的转化。

对于空间中的粒子来说，同样可以给出确定的微分方程描述其运动，使其满足量子力学中的玻恩准则(Born rule)，这意味着上帝造物时需要随机生成所有的隐变量。

虽然波姆力学能很好的解释单个粒子的量子叠加态，但是对于两个粒子的纠缠，波姆力学会要求你给出两个纠缠粒子的确定位置，不过张三的粒子操作由于量子纠缠会瞬间改变李四粒子的波姆位置(“真实位置”)，不管张三李四的距离有多远，尽管根据No-Communication定理李四的密度矩阵不变；由于这种波姆位置的瞬间变化，因此成波姆力学为非局部的隐变量理论。

应注意的是波姆力学被设计成不会对测量有影响，而只是通过隐变量实现与量子力学中的量子态预测相一致的经典理解。但是由于这种波姆位置的瞬间变化导致的非局部性，使得爱因斯坦也不是很认可，虽然波姆很想得到大牛的认可。

1.2 局部隐变量理论

由于非局部隐变量的特点，大佬们又想搞个局部隐变量理论，即隐变量也是局部化的，仅被临近事物所影响，这其实和 量子计算 1 中的 命题二延伸 局部真实性(Local realism)命题相符合，即两地信息的同时更新与关联的随机变量有关。

比如说对于Bell pair $\frac{|00⟩+|11⟩}{\sqrt{2}}$，其纠缠体现在张三李四事先约定好，说我们对于所有的基测量的时候，都给出一样的结果，然后把这些约定好的结果一人一份，所以我们之前讲的张三的测量结果为$|0⟩$那李四的状态也变成了$|0⟩$是由于这种事先约定好并局部存储的隐变量导致的，这种思想就完全符合我们经典的思路。

局部隐变量的思想也是贝尔(Bell)从爱因斯坦与人的哲学辩论中提出的，贝尔想，这种局部隐变量的思想和量子力学的预测是否有冲突呢? 是否有实验可以证明这种冲突呢？

结果就是，通过CHSH游戏及相应实验，局部隐变量被证伪，所以这种非局部性，并不是波姆力学的特例，而是所有非局部隐变量理论的通病，因为本来就是想通过经典的思想加上隐变量去理解量子力学，结果搞出来一个非局部的东西，还是不elegant(起码爱因斯坦应该曾这么想)。这属于量子力学的重大发现，称为贝尔定理(Bell’s Theorem)。

2 CHSH 游戏

CHSH游戏是以四个人(Clauser, Horne, Shimony, and Holt)在1969年解释贝尔所作思想实验的游戏，其基本思想是，通过发现局部隐变量理论，其实也就是事先约定的这种经典测略所达到的最大收益，与量子策略所达到的最大收益，这两种收益相比较，如果相同就无法证伪局部隐变量理论和局部真实性(local realism)，如果量子策略的最大收益更大，那就可以证伪局部隐变量理论和局部真实性(local realism)。事先提一句，CHSH的实验已经在2016年事先并证伪了局部隐变量理论。

CHSH游戏其实也是量子计算的先驱，因为这种思路其实证明了量子策略比经典策略具备理论上更大的收益，且将问题和策略分解开来进行讨论的思路在量子计算中也很重要。

2.1 CHSH规则

张三李四在不同的房间里，王五会给张三一个随机经典bit x，给李四一个随机经典bit y，张三会给出一个回答的经典bit a，李四会给出一个回答的经典bit b，如果满足以下公式，则张三李四挑战成功：
$$a+b=xy(\text{mod }2)$$

2.2 经典策略

经典的策略，其实也就是局部隐变量理论，张三李四提前约定好一个策略，每个人分别按照复制的局部策略行动，那么共有四种确定的策略：

其中红色代表挑战失败，这四种确定的策略，最大的成功概率为75%，而不确定的策略其实是各种确定策略的凸组合，所以所有策略的最大成功概率也就是75%。在这里，这个概率也就是符合贝尔不等式(Bell inequality)的。

2.3 量子策略

如果张三李四分别持有Bell pair $\frac{|00⟩+|11⟩}{\sqrt{2}}$的一个qubit，则通过以下策略，最大的成功概率是85%!

先看两对正交基：

1. $|\frac{\pi }{8}⟩=\cos (\frac{\pi }{8})|0⟩+\sin (\frac{\pi }{8})|1⟩$，
   $|\frac{5\pi }{8}⟩=\cos (\frac{5\pi }{8})|0⟩+\sin (\frac{5\pi }{8})|1⟩$
2. $|\frac{-\pi }{8}⟩=\cos (\frac{-\pi }{8})|0⟩+\sin (\frac{-\pi }{8})|1⟩$，
   $|\frac{3\pi }{8}⟩=\cos (\frac{3\pi }{8})|0⟩+\sin (\frac{3\pi }{8})|1⟩$

游戏策略如下：

• $x=0$: 张三用 { ∣ 0 ⟩ , ∣ 1 ⟩ } \{|0\rangle,|1\rangle\} {∣0⟩,∣1⟩}基测量，如果结果为$|0⟩$则返回$a=0$，如果结果为$|1⟩$则返回$a=1$
• $x=1$: 张三用 { ∣ + ⟩ , ∣ − ⟩ } \{|+\rangle,|-\rangle\} {∣+⟩,∣−⟩}基测量，如果结果为$|+⟩$则返回$a=0$，如果结果为$|-⟩$则返回$a=1$
• $y=0$: 李四用 { ∣ π 8 ⟩ , ∣ 5 π 8 ⟩ } \{|\frac{\pi}{8}\rangle,|\frac{5\pi}{8}\rangle\} {∣8π​⟩,∣85π​⟩}基测量，如果结果为$|\frac{\pi }{8}⟩$则返回$b=0$，如果结果为$|\frac{5\pi }{8}⟩$则返回$b=1$
• $y=1$: 李四用 { ∣ − π 8 ⟩ , ∣ 3 π 8 ⟩ } \{|\frac{-\pi}{8}\rangle,|\frac{3\pi}{8}\rangle\} {∣8−π​⟩,∣83π​⟩}基测量，如果结果为$|\frac{-\pi }{8}⟩$则返回$b=0$，如果结果为$|\frac{3\pi }{8}⟩$则返回$b=1$

其最大成功概率为${\cos }^2(\pi /8)$=0.85!

其一般分析过程也是 Tsirelson’s Inequality的一个特例，私信我看详细分析过程。

2.4 CHSH游戏理解

CHSH游戏中，经典测量和量子测量的不同是比较subtle的。相比这种微妙的差异，另两个对比是比较明显的，一种比较基本的思路是，我们的宇宙就是按照我们经典的思路去运行的，即符合局部真实性，第二个比较理想话的理解就是，存在超光速的乌托邦科幻世界。但是量子力学其实是在这两者之间的，一方面其可以打破局部真实性，另一方面又必须在相对论的约束下无法实现超光速。

但其打破了局部真实性的现实，还是会使得量子计算在理论上具备一定的优越性。

所以，我们在前面看到，虽然我们能用经典的方式去计算纠缠的效果（因为这些操作都是向量和酉变换，可以用经典计算机模拟），但是需要经典信息的传递；但是量子比特就直接用量子比特间的鬼魅般的相互作用来传递信息；CHSH只是禁止了经典信息传递，但是没有禁止量子比特间的相互作用，这种相互作用虽然不能实现超光速信息传递，但是还是比经典世界要更为高级的，所以使用了量子纠缠的CHSH策略会比经典策略要好；如果允许用经典信息传递来模拟量子比特，那这种“经典策略”也可以取得量子策略的表现。

结论

所以，我们想要通过经典的思路，且在不考虑全局隐变量的情况下去解释量子力学是行不通了，量子计算也注定会比经典思路具有理论上更高的最优收益。

不过还是存在一种Superdeterminism，认为我们的思想，包括随机包括一切东西都是被某种cosmic conspiracy所操控，所以才得出了CHSH的量子测量收益更大的结论，不过这种想法对我们接下来的学习已经不重要了。