转载 中国科学物理辑 中国科学杂志社
配景先容
今年，三位物理学家Alain Aspect （阿斯佩），John F. Clauser（克劳瑟），Anton Zeilinger（塞林格）因“胶葛光子，贝尔不等式的违反和开创性量子信息科学实行研究”而得到诺贝尔物理学奖，这无疑将推动新的量子科技发展高潮。正如诺贝尔物理奖委员会主席A. Irback (伊尔巴克)所指出的：“越来越显着，新的量子技术已经出现，我们可以看到，获奖人关于胶葛态的工作非常紧张，乃至超越了量子力学诠释如许的基本问题”，所以可以以为，获奖工作的意义，更紧张的是表如今其对量子信息科学的开创性和奠基性作用。究竟上，量子计算和量子信息处置处罚的基本机制和运行原理，是直接以今年诺奖工作为基础的。
近些年来，量子科技可谓是天下科技竞争的制高点之一，各国纷纷就量子计算、量子精密丈量、量子通讯等技术门路投入大量资源。而另一方面，量子力学也越来越走入大众的视野，笔者在网络上经常能发现一些人将诸如“量子胶葛”“薛定谔的猫”等量子力学概念用于吐槽与玩梗。那么量子胶葛的内在毕竟是什么呢？基于其的贝尔不等式实行又为什么能斩获物理学终极大奖？本文将对这些问题做出详细解读。相信各人在相识其中来龙去脉后，会以为比单纯玩梗有趣多了。
量子胶葛与EPR佯谬
这齐备都要从神秘的量子胶葛提及。1935年，薛定谔发如今量子力学的框架下会出现如许一种量子态，即两个粒子的波函数不能被写成其中单个粒子波函数的直积情势，也就是两个粒子的波函数不可分，我们只能用这种团体的波函数来形貌粒子状态。就这个性质来看好像也没啥特别的，但如果考虑量子力学关于丈量的表述和空间定域性，就会产生连爱因斯坦都不能接受的EPR佯谬。考虑我们可以制备一个特殊的胶葛态，其中每个粒子可以被丈量到“+” “-”两种状态，根据丈量的波函数塌缩理论，当我们丈量第一个粒子为“+”时，第二个粒子的丈量结果一定为“-”，反之亦然。但是注意到，量子力学中波函数的塌缩是瞬时的，纵然我们把两个粒子分离到很远时，一个粒子的丈量结果也会立即影响到另一个，如许就好像存在超越光速的超距作用。这个结果对于大多数人乃至是爱因斯坦都是谬妄的，因此称为“佯谬”。爱因斯坦以为天下是定域且着实的，其中定域说的是不能有凌驾光速的影响产生，而着实性则形貌一个物理元素的客观存在，我们所做的丈量均是出自于这种物理着实而不能影响它。简单地说，着实性是说一个物理量，不管我们丈量还是不丈量，其巨细是确定的，并不因为我们是否丈量而改变，但量子力学并不满足这个性质，因为对量子态的丈量，单次丈量结果是随机的，多次丈量的统计平均才能反映其振幅信息。基于这些问题，爱因斯坦等人以为量子力学导致这种结果是因为其理论是不完备的。
图1 EPR胶葛粒子对
这种不完备性表现为后续1952年波姆提出的隐变量理论，该理论中量子力学仍是定域且着实的，EPR佯谬的出现是我们对隐变量的无知所造成的。为了理解隐变量，举个一样平常生存中我们就可以感受的例子。比如甲有一双鞋，他会发给相隔很远的两个人乙和丙，而且告诉他们只有一双鞋，但谁是左脚谁是右脚不确定。那么，当乙打开包裹的一瞬间他就可以确定丙的鞋是左脚还是右脚，这好像和量子胶葛很像。但仔细想下，显然这不是什么超距作用，只是因为我们知道了一个隐含条件：只有一双鞋，正是这个隐含条件造成了结果的关联性。波姆的理论中量子力学就像如许，天下仍然是定域着实的，只不外“只有一双鞋”如许的条件我们不知道，也许EPR中两个粒子分离时的状态已经确定相反了，而不是丈量时由于超距作用才决定。到这里问题就变成了: 怎样知道量子力学是不是由隐变量形貌的呢？这就是贝尔不等式所解决的问题。
贝尔不等式
贝尔不等式的意义在于将检验天下是否是定域着实性的这个问题转化成了一个数学公式，我们可以通过实行来验证天下是否满足这个公式。解决问题的关键在于，定域隐变量理论产生的关联是有极限的。如果凌驾了这个极限，说明天下不是由定域隐变量形貌，超距作用存在，量子力学是完备的。第一个贝尔不等式由贝尔在1964年提出，后来基于此发展了许多相似的不等式，诺贝尔奖颁发给的是紧张验证了违反CHSH（Clauser, Horne, Shimony, and Holt）不等式的工作。
CHSH不等式——考虑 Alice和Bob相隔了一定距离，且分别有一个粒子，这两个粒子处于的状态可能是由量子力学形貌的，也可能由隐变量理论形貌。假设Alice可以有两种方式丈量该粒子，我们标志为x, 其值可以为x0或x1。同样Bob也有两种丈量方式y，标志为y0或y1。且假设丈量的结果均只有两种情况-1或+1，用a代表Alice的丈量结果，b代表Bob的结果。颠末多次丈量后我们会发现两个究竟：（1）丈量基固定时结果可以出现一定的概率分布，比方Alice丈量x0，Bob丈量y0时a和b总是相反，当Alice丈量x1，Bob丈量y0时则没有这种关联且b的结果总是一半+1, 一半-1。总之一般情况下我们可以定义某种概率分布，这里用p(ab|xy)代表两个人丈量方式为x, y时结果的概率分布。（2）无论Alice，Bob距离多远，两人丈量结果总是表现出关联性，即
在上节我们提到过若丈量过程依赖于某种隐变量，则结果会表现出关联。现考虑我们这里除了变量x, y还存在一个变量λ。由于某些物理缘故原由我们观测不到它，且每次丈量λ的值可以变革，设其同样满足一个概率分布q(λ)。这时Alice和Bob的丈量的概率分布实际由两个变量决定，分别为p(a|x, λ), p(b|y,λ)。那么联合概率应该长什么样子呢？如果我们引入定域条件，Alice和Bob的结果互不影响，则联合概率一定为乘积情势。
注意在这种假设下由于对隐变量λ的无知，我们的观测结果实际是对λ平均之后的结果，因此观测的结果是可以出现关联的，即
公式（2）是在定域隐变量理论下得到的联合概率分布，可以看到Alice (Bob)的丈量结果只依赖于局域变量x(y)和隐变量λ。而量子力学不是定域着实的，这时Alice的丈量结果可以以某种方式影响Bob, 因此量子力学的联合概率有可能超出公式（2）的表达范围。下面我们就来找在定域隐变量理论下这个表达本领的界限在哪，也就是贝尔不等式。
考虑某些丈量方式在联合概率下的平均值的关系。定义关联函数
定义可观丈量
。由于公式(2)的存在,公式(4)可以写成局域平均值的乘积再对隐变量求和，
。局域平均值
在区间[-1,1]中, 对
也一样。这时有
至此我们就得到了著名的CHSH型贝尔不等式
它是原始贝尔不等式的一个变型。即在定域隐变量假设得到的概率分布下，关联函数S的值一定满足这个不等式。如果说实际丈量结果违反了这个不等式，说明实际天下是不能用定域隐变量理论形貌的。那么量子力学是否违反这个不等式呢？确实是的，比如我们将Alice和Bob的粒子对制备为自旋单态(singlet)如许的量子态
。其中,
为Pauli算符
的本征矢量。对任意一个粒子，在实行中我们可以丈量其量子化方向
的本征值，设Alice丈量方向为
, Bob的丈量方向为
。则由量子力学计算可得其关联函数的值为
。如今我们用这些结果来检验CHSH不等式，设Alice的两个丈量方向为两个正交的方向
。Bob 的两个丈量方向也是正交的，但与Alice存在一个夹角。若Bob将这两个方向选为
，使用简单的矢量乘法可以给出CHSH中关联函数的值
, 得到
。因此量子力学会违背贝尔不等式。
实行验证
贝尔不等式固然是如许简单的一个数学公式，但对其进行实行验证黑白常具有挑战性的。首先，它要求实行上应该能制备较高精度的胶葛态，而且要将其分离一定距离。因为贝尔不等式是对定域性的检验，实行者必要包管对两个粒子的丈量可以清除光速以下的信息传递。其次是必要实现对粒子在不同方向的丈量，因为只有在某些丈量方向，量子力学才能违背贝尔不等式。此外探测器的粒子检测效率也会对贝尔不等式的验证造成影响。因而历史上对贝尔不等式的验证也是在不断填补毛病中进行 [1,3]。
1972年， John F. Clauser和Stuart Freedman一起完成了第一次Bell实行。他们使用钙原子级联跃迁产生胶葛光子对进行实行。但由于光子对产生效率极低，丈量时间长达200小时，而两个光子之间的距离又较短，因此存在定域性“毛病”。另外丈量基固定也是受到诟病的缘故原由之一。
图2 John F. Clauser和Stuart Freedman的实行示意图
1981年和1982年，Alain Aspect及其互助者进行了一系列实行，进步了丈量精度，减小了贝尔不等式验证的毛病。在第一个实行中，他们使用双激光系统激发钙原子，产生胶葛光子对，改善了胶葛光子源。在第二个实行中，使用双通道方法，进步光子使用率。丈量精度大大进步。第三个实行最为紧张。关闭了定域性“毛病”。两个胶葛光子相隔约12米远，信号以光速在它们之间传播，要花40纳秒的时间。光子到每个偏振片的距离为6米。偏振片旋转的时间不凌驾20纳秒。而使用声光器件乃至可以在更短的时间尺度上，将光子切换到两组丈量基上。丈量时间远小于信号以光速在两光子之间传递的时间，从而关闭了定域性毛病。
1998年，Anton Zeilinger团队在严格的定域性条件下测试了Bell不等式，观测者之间距离到达400米，彻底关闭了定域性“毛病”，直到这时，我们才能挺起胸膛说到，量子力学 “基本”是对的了。后续，也有许多关于贝尔不等式验证的实行进行，他们都是为了从各个方面来增补验证量子力学的毛病，让我们越来越自大地用量子力学来形貌天下。其中一个比力有趣的实行是2016年的大贝尔实行（the Big Bell Test），该实行的目标是为了消除伪随机性对贝尔不等式验证的影响。我们知道，无论做计算还是实行，随机数都是由计算机天生的，而计算机的随机数是伪随机数，它原则上可以由某种方法计算出来，只要我们给一个确定的种子，那么接下来一系列的随机数都是确定的。这会导致用这种方法测出的实行结果的关联性有超出贝尔不等式所代表的极限的可能。
那么怎样得到“真”随机数呢？大贝尔的出发点是使用自由意志产生实行产生的随机数，如果你相信一个人的意志是自由的、随机的话。好的不相信，我也不相信，毕竟可能实行职员有逼迫症之类的。那许多个人的自由意志总是随机吧，研究职员调集了天下各地凌驾10万名志愿者，让他们在过关游戏中快速随机地按下0大概1，然后把这些选择结果上传到云端，随机发给各地的实行者作为着实验的随机数天生器。通过大量参与者的自由意志，大贝尔实行在更广泛的范围内关闭自由选择毛病，猛烈否定了定域隐变量理论。至此，量子力学几乎被完美地证明了其完备性。
这些实行都是以量子力学有可能不正确为出发点的，如果我们承认量子力学是正确的，是否能方便地体验贝尔不等式的违反呢？我们可以考虑使用量子计算云平台[4]，首先使用逻辑门操作制备量子胶葛态，然后对两个量子比特进行不同基下的丈量，对丈量结果进行统计平均，我们可以很容易地发现贝尔不等式可以被违反，不外这里我们就不考虑随机和信息传递等问题了。
第二次量子革命
量子力学已被验证是对的，在这里其中的非定域性带来的问题必要表明下。比如量子胶葛能否超光速传递信息？答案是否定的，只管看上去超距作用超越光速，但实际并没有传递信息。以EPR粒子对为例，第一，由于丈量的塌缩是随机的，Alice 和 Bob任何一方都无法将信息编码到EPR中并通过丈量解码（不通过经典手段的帮助）。第二，由于两者间没有经典通讯，无论Bob丈量不丈量，也就是无论Alice的粒子是否由于超距作用塌缩，她测得结果的概率分布都不会改变，因此Bob的丈量操作不会对Alice传递任何信息。在量子力学中，这表现为形貌Alice粒子的密度矩阵并没有改变。那么量子胶葛是否有用呢？固然，贝尔不等式的违反显示，胶葛是一种超越经典的资源，它预示着纵然我们用无限的经典资源也无法模拟量子胶葛所得到的结果。我们如今只是发掘了其中一点点并用在解决某些特定问题上。
对种种这些问题的讨论促生了以量子信息处置处罚与应用为紧张目标的第二次量子革命。历史上第一次量子力学革命即量子力学刚建立不久，各种基于量子原理的经典应用被研发，如激光、半导体、核能等，这大大造福了人类，给予了天下翻天覆地的变革，使人类敏捷迈进了信息时代。而第二次量子力学革命则是直接开发量子特性自己的应用，量子信息以量子比特为单元，信息的产生、传输、处置处罚、探测等全部要服从量子力学规律，是真正的量子器件。21世纪以来，量子计算理论的发展，量子通信的应用更是让我们看到了量子技术改变天下的潜力。发展量子技术一方面是使用量子力学原理进行量子信息的处置处罚、传递和计算，另一方面也加深了人们对量子力学的理解。 |
