现代物理学的哲学问题
薛定谔的猫：一只同时既是生又是死的怪猫   

  
【关于薛定谔的猫】
“薛定谔的猫”是由奥地利物理学家薛定谔于1935年提出的一个量子状态的名字，简括说它描述了量子力学的如下悖论：粒子的特性是无法捕捉及确定（海德堡测不准定律），直到介入测量外力迫使它们状态被改变而确定
量子力学是非常小的微观领域——亚原子粒子中的主要物理学理论。该理论形成于20世纪早期，彻底改变了科学家对物质组成成分的观点。在量子世界，粒子并非是一粒粒乒乓球，而是随时跳跃的概率云，量子并不同时存在于一个位置，也不会从点A通过一条单一路径到达点B。根据量子理论，粒子的行为常常像波，用于描述粒子行为的“波函数”预测一个粒子可能的特性，诸如它的位置和速度，但也非实际的特性。现代物理学中一系列奇异的理论，诸如量子纠缠和不确定性原理，均源于量子力学。
【何按】一个不准确的释例：观察微观世界使用电子显微镜，电子显微镜观察物体必须释放电子云。假如将来有量子显微镜，观察者是量子——实际量子不可能被观察，量子本身也是更微小的电子云——那么显微镜借以观察而释放的量子云会对被观察的量子云形成强大的干扰波，假定获得任何图像，则这图像也不是真正的量子活动的自在图像。这个微观的道理也适用于观察遥远宇宙的电子望远镜。也适用于宏观的普通观察，我们所见所闻都是被我们自身干扰过的，都不是客观自在之物。此或即佛家说的“我执”、“我染”。也就是康德所说的“先验统觉”。］
薛定谔假设的实验是这样进行：在一个盒子里有一只猫，以及少量放射性量子物质。由于量子的测不准原理，在一小时内，有50%的概率可确定放射性量子物质将会衰变并释放毒气使这只猫死去，同时还有50%的概率是可确定放射性物质并不衰变而猫在活着。
根据经典物理学，在这个盒子里的这两个事件只能发生其一（排中律）。但在量子世界中，这两个相反事件发生概率相等——猫同时活着并且死了（量子叠加），而外部观测者只有打开盒子后才能知道确定的结果，但这个结果已经不是量子自在的状态。当盒子处于关闭状态，整个系统则一直保持不确定性的状态，猫既是死的也是活的。这项实验旨在解释怪异的量子力学，当量子扩大为一个宏观物体，诸如猫，它的存在状态就是悖论，听起来非常荒谬。


【关于爱因斯坦与薛定谔的讨论：薛定谔的猫】
薛定谔的猫（英语：Erwin Schr?dinger's Cat），是奥地利物理学者埃尔温•薛定谔于1935年提出的一个假想实验，时常被表述为一个悖论。通过这思想实验，薛定谔指出了应用量子力学的哥本哈根诠释于宏观物体会产生的严峻问题，以及这问题与物理常识之间的矛盾。在这思想实验里，由于先前发生事件的随机性质，猫会处于同时既生又死的矛盾态。[1]

    根据退相干（即量子观测互扰，量子纠缠）理论，猫不可能永远处于同时生存与死亡的矛盾态，由于环境的影响，很快地会产生退相干效应，猫改而处于生存或死亡的经典统计学状态。因此，一般而言，绝对无法观察到这生存与死亡的叠加态。至今为止，物理学者只能精心制备出一些宏观物体的叠加态。

    虽然这思想实验是个假想实验，类似原理已被研究与运用在实际应用领域。当理论研讨量子力学的诠释问题时，这思想实验也时常会被特别提出为试金石。

1935年，薛定谔原本目的是在用这思想实验来讨论EPR吊诡（因发表者阿尔伯特·爱因斯坦、鲍里斯·波多尔斯基、纳森·罗森而命名）。[2]EPR论文凸显了量子纠缠的怪异性质。

假设两个量子系统相互作用，然后彼此分离，但其中任意系统都不处于明确态，则它们的量子态会矛盾地叠加在一起，共同形成的量子态具有量子纠缠特性。

根据哥本哈根诠释，当其中任意系统被测量之时，则两个系统纠缠在一起的量子态会坍缩为明确态。

那时，薛定谔与爱因斯坦常互相通信，交换意见，研讨EPR论文的相关问题。在爱因斯坦写给薛定谔的8月8日信件中，他勾勒出一个“粗略宏观案例”：给定一桶不稳定的火药，在经过一段时间后，这桶火药会处于爆炸与不爆炸的矛盾统一（叠加）状态。[3]

    为了更进一步说明这现象，薛定谔回信描述原则上怎样能够将原子系统的矛盾叠加态转移至大尺度系统。

他提出一个思想实验，假设把一只猫、一个装有有氰化氢气体的玻璃烧瓶和一个放射性原子核放进封闭的盒子里。猫的性命因此与原子核的状态密切相关。

薛定谔表明，根据哥本哈根诠释，在实验进行一段时间后，猫会同时处于活状态与死状态（对于盒子外的世界而言），直到盒子被打开为止。

薛定谔并不想要推销周旋于生死之间的猫这点子；恰恰相反，这悖论采用的是一种经典反证法，[4]试图借此显露出描述量子态所需倚赖的量子理论尚存瑕疵。

薛定谔的猫实验原本是专门设计来批驳哥本哈根诠释（在1935年的主要正统诠释）。现今，它仍旧是诠释量子力学的典型试金石。每一种诠释处理薛定谔的猫实验的共同与特别之处，时常会被物理学者用来说明与比较这诠释的共同点、特别点、强点、弱点。

薛定谔如此描述这实验：[4][5]实验者甚至可以设置出相当荒谬的案例。把一只猫关在一个封闭的铁盒子里，并且装置以下仪器（注意必须保固这仪器不被猫直接干扰）：在一台盖革计数器内置入极少量放射性物质，由于数量极少，在一小时内，这放射性物质至少有一个原子衰变的概率为50%，没有任何原子衰变的概率也同样为50%；假若衰变事件发生，则盖革管会放电，通过继电器启动一个榔头，打破装有氰化氢的烧瓶。经过一小时以后，假若没有发生衰变事件，则猫仍旧存活；否则猫已死亡。整个系统的波函数表达出活猫与死猫存在各半的状态。

类似这典型案例的众多案例里，原本只局限于原子领域的不明确性被辗转传递为宏观不明确性，只有通过直接观察才能解除这不明确性。它使得我们难以天真接受采用这种笼统模型来正确代表实体。就其本身而言，它不会蕴藏任何不清楚或矛盾的意义。但是，在一张摇晃或失焦的照片与云堆雾层的快照之间，的确有很大的不同。

    薛定谔的著名思想实验提出一个很尖锐的问题：这系统从什么时候开始不再处于两种不同量子态共同组成的叠加态，转而坍缩为其中的一种？更技术性地说，由于薛定谔方程的线性性质，它不能促使这叠加态坍缩，它只能展示这叠加态随着时间演进而演化的可能结果。一个量子系统什么时候开始不再是几个量子态的线性组合（尽管这几个量子态中的每一个量子态都像是不同的经典状态，量子系统不能同时显现为几个经典状态，只能显现为其中一个经典状态），转而开始拥有唯一的经典描述？这就是这思想实验令人揣测之处。假若猫仍旧存活着，它一直只记得她存活着。但是，符合标准量子力学的诠释竟然要求，像猫、日记一类的宏观物体不必永久具有唯一的经典描述。这思想实验描绘出一幅表观的吊诡。直觉而言，观察者不能处于叠加的状态；可是，从这思想实验来思考，似乎猫可以处于叠加的状态。是否猫也必须成为观察者，或者，猫的存在于单独、良好定义的经典状态这案例，必需要求另外有一位外来观察者存在？

    爱因斯坦觉得每一种选项都很荒谬，他特别觉得这思想实验极具凸显出这些论题的能力。1950年，在一封寄给薛定谔的信件里，他阐述：

”只要一个人抱着诚实的科学态度，他就无法逃避实体这假设，除了劳厄以外，在当今物理学者中，只有你看到了这重点。大多数学者不了解他们对于实体所玩弄的是什么危险游戏，他们以为实验建立的结果与实体无关。可是，他们的诠释已被你的放射性原子＋放大器＋火药＋猫这盒子系统精致地反驳。这系统的波函数既表现出生气勃勃的猫，又表现出血肉模糊的猫。没有任何学者会真正质疑猫的存在或缺席与观察这动作无关。”[6]

劳厄指的是物理学者马克斯·冯·劳厄。注意到在薛定谔的思想实验里，并没有提到火药。他是使用盖革计数器为放大器，使用氰化氢来代替火药。在爱因斯坦15年前给出的原本建议里，提到了火药。显然地，爱因斯坦依旧牢记旧理论的惊奇威力。

【各种不同的诠释】
自薛定谔的时代开始，物理学者提出了很多其它对于薛定谔的猫思想实验的量子力学诠释，它们对叠加态存在的时间长久、波函数什么时候坍缩或是否发生坍缩，给出了不同的答案。
    量子力学诠释中最被普遍支持的是哥本哈根诠释。[7]按照哥本哈根诠释，当观察发生时，系统不再处于两种状态的叠加态，转而坍缩为其中任意一种状态。薛定谔的思想实验清楚地显露出一个事实，即在这种诠释里，测量或观察的概念并没有被良好定义。这思想实验可以被诠释为，当盒子仍旧是封闭的时候，系统同时存在于“衰变的原子／死猫”和“未衰变的原子／活猫”这两种状态的叠加态，只有当盒子被打开，进行观察时，波函数坍缩为其中任意一种状态。然而，与哥本哈根诠释有密切渊源的量子大师尼尔斯•玻尔从来都不认同观察引起的波函数坍缩这概念。薛定谔的猫对他来说并不是什么谜题，在盒子被一个有意识观察者打开之前，猫的状态已经不是活状态，就是死状态了。[8]

    对于真实实验的分析显示，测量本身（如用一个盖格计数器）就足已使量子波函数坍缩，早在一个有意识的观察者对测量结果进行观察之前。[9]在原子放射出的粒子击中探测器时，“观察”就已经发生了，这种看法可以发展成为客观坍缩理论。这思想实验需要侦测器的无意识观察才会出现放大效应。与之对比，多世界理论否认曾经发生任何坍缩。

【多世界理论和一致性历史】
根据多世界理论，每一个事件都是分支点。不论盒子是封闭的还是敞开的，猫是活的，也是死的，但是，活猫与死猫是处于宇宙的不同分支，这些分支都同样的真实，但是彼此之间不能相互作用。

1957年，休•艾弗雷特提出了量子力学的多世界诠释，它不把观察作为一个特殊的过程。按照多世界诠释，当盒子被打开后，猫的活状态和死状态都仍旧延续不断，但彼此之间发生了退相干。换句话说，当盒子被打开的时候，观察者和猫的纠缠态被割离为两个分支：观察者看着盒子里的死猫，和观察者看着盒子里的活猫。但是由于活和死的状态发生了退相干，它们之间不会出现有效的信息交流或相互作用。

    当观察者打开盒子之时，观察者会和猫发生纠缠。对应于猫的活状态和死状态的观察者状态因此分别形成。每个观察者状态与猫发生了纠缠，所以“对猫状态的观察”和“猫的状态”彼此相互对应。量子退相干保证了不同的结果之间没有相互作用。同样的量子退相干机制对于一致性历史（consistent histories）诠释也很重要。在这诠释中，只有“死猫”或“活猫”可以作为一致性历史的一部分。

    罗杰•彭罗斯对此批评："我想要说清楚、讲明白，这远远不是解决猫佯谬的办法。因为在量子力学形式论里，没有任何规则要求意识状态不能牵涉同时的对活猫和死猫的感知。"[10]但是，主流观点（并非一定赞同多世界）认为退相干是避免这样同时感知的机制。[11][12]

    宇宙学家马克思•特格马克（Max Tegmark）提出了一个薛定谔的猫思想实验的变版，名为量子自杀机器。它从那只猫的角度检验薛定谔的猫思想实验，并且主张，采用这种方式或许可以分辨出哥本哈根诠释与多世界诠释的不同之处。
系综诠释指出叠加态仅仅是一个更大的统计系综的亚系综。态矢量并不适用于单个的猫实验，只适用于被类似制备的许多猫实验的统计。这种诠释的支持者表示，这使得薛定谔的猫佯谬成为了一个没有意义的平凡论题。

    这种诠释不尝试描述单个量子系统。这是一种最小诠释，物理学者可以以这最小诠释为基础，在基础的上面添加更多能够解释量子现象的理论架构。
对人类实验者、猫或仪器，或者生命系统与非生命系统之间，关系诠释不做本质方面的区分；它们都是遵循同样波函数演化规则的量子系统，都可以被视为“观察者”。但关系诠释允许不同的观察者可以对相同的系列事件给出不同的描述，这些描述取决于它们所测知关于这个系统的信息。[13]猫可以被认为是仪器的一个观察者；同时，实验者可以被认为是盒子内部系统（猫加仪器）的另一个观察者。在盒子被打开之前，猫，因其天然地呈存活状态或死状态，拥有了关于仪器状态（原子是否衰变）的信息，而实验者并不拥有这信息。这样，两个不同观察者同时对当前的情形有了不同的描述：对猫来说，仪器的波函数表现为“坍缩”；对实验者来说，盒内之物表现为叠加态。一直等到盒子被打开，两个观察者同样地拥有关于到底发生了什么事情的信息，这时候，两个系统状态才表现为“坍缩”成同样明确的结果，即猫是呈活状态或死状态中的一种状态。
根
据客观坍缩理论（objective collapse theories），当某些客观的物理量达到其阈值（时间、质量、温度、不可逆性等）时，叠加态会自发地被摧毁。因此，早在盒子被打开之前，猫就已经如同预期地处在一个明确的状态。这可以被不严谨地说成“猫观察它自己”或“环境观察猫”。

    客观坍缩理论要求对标准量子力学做出一些修改，使得叠加态可以被时间演化过程摧毁。

应用与实验
薛定谔的猫思想实验是纯理论实验，所提到的实验设置并没有实际建成。但是，很多涉及类似原理的实验已经成功完成，例如介观物体的态叠加。这些实验并未展示出猫尺寸物体可以进行态叠加，但是它们提升了猫状态的可能尺寸上限。在很多实验案例里，所制成的叠加态只能短暂存在，尽管冷却至接近绝对零度。介观的薛定谔猫可以用来进一步做量子测量实验，使得关于量子退相干、量子－经典界线这一类的受控实验，可以付诸进行。[14]

    1996年，陷伏铍离子的叠加态制备成功，这是单个原子层级的猫状态。[15]

    2010年，美国国家标准技术研究所的实验团队制备出光子的猫状态。[16][17]

    应用超导量子干涉仪，2000年完成的实验成功展示出当时最大的猫叠加态。在超导量子干涉仪的超导循环以两种可能方向流动的电流形成了这猫叠加状态。这微安培数量级的电流涉及了上亿个电子，围绕着大约有人发那么粗的循环移动，在量子尺寸来说，可以算是宏观系统。[18][19]

    2010年，阿龙•奥康奈尔制成压电音叉，这是全世界第一台量子机器，能够处于振动态与非振动态的叠加。该共振器约含有1013个原子。[20]

    2010年，德国马克斯•普朗克量子光学研究所物理学者提议，使用当前科技，应该可以成功制备出流行性感冒病毒的叠加态。[21]

    这些实验演示出介观尺寸的薛定谔猫，但是，老鼠尚未被抓到，物理学者仍旧不清楚这猫叠加态怎样坍缩为单独本征态，是什么机制促成了独一无二的宏观世界？更多内容，请参阅条目量子退相干。


薛定谔的猫衍生出了诸多文化产物，例如：
美国电视剧《生活大爆炸》中，薛定谔的猫多次出现，使得爱好者将薛定谔的猫制成了T恤；

《薛定谔的小猫》，即初音未来的曲子之一。[22]

   【 参考资料】
^ Haroche, Serge; Raimond, Jean-Michel. Exploring the Quantum: Atoms, Cavities, and Photons 1st. Oxford University Press. 2006. ISBN 978-0198509141.

    ^ EPR article: Can Quantum-Mechanical Description Reality Be Considered Complete?

    ^ Fine, Arthur. The Shaky Game: Einstein, Realism and the Quantum Theory 1st. University of Chicago Press. 1996: pp. 78. ISBN 978-0226249490.

    ^ 4.0 4.1 Schr?dinger, Erwin. Die gegenw?rtige Situation in der Quantenmechanik (The present situation in quantum mechanics). Naturwissenschaften. 1935.November.

    ^ Schroedinger: "The Present Situation in Quantum Mechanics"

    ^ Pay link to Einstein letter

    ^ Hermann Wimmel. Quantum physics & observed reality: a critical interpretation of quantum mechanics. World Scientific. 1992. 2 [9 May 2011]. ISBN 9789810210106.

    ^ Faye, J. Copenhagen Interpretation of Quantum Mechanics. Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab Center for the Study of Language and Information, Stanford University. 2008-01-24 [2010-09-19].

    ^ Carpenter RHS, Anderson AJ. The death of Schroedinger's Cat and of consciousness-based wave-function collapse. Annales de la Fondation Louis de Broglie. 2006, 31 (1): 45–52 [2010-09-10]. （原始内容存档于2006-11-30）.

    ^ Penrose, R. The Road to Reality, p 807.

    ^ Wojciech H. Zurek, Decoherence, einselection, and the quantum origins of the classical,Reviews of Modern Physics 2003, 75, 715 or [1]

    ^ Wojciech H. Zurek, "Decoherence and the transition from quantum to classical", Physics Today, 44, pp 36–44 (1991)

    ^ Rovelli, Carlo. Relational Quantum Mechanics. International Journal of Theoretical Physics. 1996, 35: 1637–1678. arXiv:quant-ph/9609002. Bibcode:1996IJTP...35.1637R.doi:10.1007/BF02302261.

    ^ Measuring and manipulating individual quantum systems. The Nobel Prize in Physics 2012 - Advanced Information. Nobelprize.org. 2012 [Mar 38 2013].

    ^ Monroe, C.; et al. A “Schr?dinger Cat” Superposition State of an Atom. Science. May 24, 1996, 272 (5265): 1131–1136. doi:10.1126/science.272.5265.1131.

    ^ NIST Researchers Create 'Quantum Cats' Made of Light. Physical Measurement Laboratory. NIST. Aug. 31, 2010 [Mar. 23, 2013].

    ^ Gerrits, Thomas; et al. Generation of optical coherent-state superpositions by number-resolved photon subtraction from the squeezed vacuum. Physical Review A. 2010, 82 (3).doi:10.1103/PhysRevA.82.031802.

    ^ Collins, Graham. Schr?dinger's SQUID. Scientific American. October 2000.

    ^ Friedman, Jonathan; et al. Quantum superposition of distinct macroscopic states. Nature. July 6, 2000, 406: 43–46. doi:10.1038/35017505.

    ^ Scientific American : Macro-Weirdness: "Quantum Microphone" Puts Naked-Eye Object in 2 Places at Once: A new device tests the limits of Schr?dinger's cat

    ^ How to Create Quantum Superpositions of Living Things

    ^ シュレディンガイガーのこねこ

  【退相干现象•环境相互作用】
退相干现象，根据当前的看法，主要是因为所关注的“系统”（比如所在意的粒子或各种形式的量子位元）与“环境”——一个大非常多的量子系统——的相互作用会导致相位资讯的丧失（主要会发生量子缠结，quantum entanglement）。当两者相互作用时，在能量上会出现随机扰动的热交换，而相位资讯上就会因随机扰动而发生退相干，常用的模型是量子布朗运动。若以密度算符表示型写出“系统”量子态，可以发现退相干所造成的影响就是非对角线元素随时间变而为零。

    观察者施行量子测量
脱散现象不仅仅是因环境存在所自发而生，当观察者进行量子测量时，也会发生不同程度的脱散——完全的资讯获取（投影式测量，projective measurement），会导致完全的脱散；而透过量子非毁坏性测量（qunatum non-demolition, QND, measurement）以达部分的资讯获取，脱散程度上就会是部分的。

    量子脱散与量子资讯科学
脱散现象对量子资讯科学的影响可粗按其两大内容来说明。一是量子计算，另一是量子通信。我们知道在量子资讯科学中，量子系统的状态含藏着资讯的意义。量子脱散会使我们所在意的系统出现资讯部份或完全丧失的结果，因此在量子计算上会造成计算结果出现误差干扰；而在量子通信上，一个环境充满扰动的资讯传递通道（channel），在通道末端的收受者则有收到噪声及错误讯息的可能，需要除错系统如编码方法之协助。

    量子脱散与人类意识
从量子力学发展，部份物理学家就对于量子力学与人类意识与自由意志的关联性提出理论方案。
后来在量子信息科学兴起后，亦有科学家认为人脑是量子计算机，或者和量子资讯相关效应有某种牵连，其中罗杰•彭罗斯爵士是代表之一，认为大脑意识与微导管中的量子引力效应有关。然若涉及量子计算，则量子脱散成为估算理论可能性的一项指标。但在2002年《物理评论E》中估算出量子脱散时间远短于神经元动作时间，暗示量子资讯在脑部运作过程中应该是无足轻重的。

贝尔不等式

在理论物理学里，贝尔不等式（Bell's theorem）表明不存在关于局域隐变量的物理理论可以复制量子力学的每一个预测。在经典力学中，此一不等式成立。在量子世界中，此一不等式不成立，即不存在这样的理论，其公式为∣Pxz-Pzy∣≤1+Pxy

1 简介

贝尔不等式是1965年贝尔提出的一个强有力的数学不等式。该定理在定域性和实在性的双重假设下，对于两个分隔的粒子同时被测量时其结果的可能关联程度建立了一个严格的限制。而量子力学预言，在某些情形下，合作的程度会超过贝尔的极限，也即，量子力学的常规观点要求在分离系统之间合作的程度超过任何“定域实在性”理论中的逻辑许可程度。贝尔不等式提供了用实验在量子不确定性和爱因斯坦的定域实在性之间做出判决的机会。目前的实验表明量子力学正确，决定论的定域的隐变量理论不成立。

贝尔不等式不成立意味着，阿尔伯特·爱因斯坦所主张的局域实体论（local realism），其预测不符合量子力学理论。由于很多实验的结果与量子力学理论的预测一致，显示出的量子关联（quantum correlation）远强过局域隐变量理论所能够解释，所以，物理学者拒绝接受局域实体论对于这些实验结果的解释。陷入找不到满意解答的窘境，倘若不接受量子力学，物理学者只能无可奈何地勉强承认这是一种非因果关系的超光速效应（superluminal effect）。

贝尔不等式可以应用于任何由两个相互纠缠的量子位元所组成的量子系统。最常见的范例是纠缠于自旋或偏振的粒子系统。

在贝尔前后，别的物理学家也达到了和贝尔类似的认识，比如，李政道在贝尔之前就认识到具有定域隐变量的体系不可能有中性介子那样的量子力学关联。继贝尔之后，布歌尔(W．Buehel)与 维格纳(E．P Wigner)等人对贝尔不等式给出了不同的证明，1979年后克劳塞、西蒙尼等人则导出了更为实用的广义不等式。包括法国物理学家埃斯帕纳所作的证明和洪定国所介绍的证明在内，贝尔不等式已有了多种证明方法。

2 背景

贝尔其人 1928年7月28日，约翰·斯图尔特·贝尔(John Stewart Bell)出生在北爱尔兰的首府贝尔法斯特。17岁时他进入贝尔法斯特女王大学攻读物理，

虽然主修的是实验物理，但他同时也对理论物理表现出非凡的兴趣。特别是方兴未艾的量子论，它展现出的深刻的哲学内涵令贝尔相当沉迷。但贝尔对概率论的哥本哈根解释不置可否。贝尔想要的是一个确定的，客观的物理理论，他把自己描述为一个爱因斯坦的忠实追随者。

毕业以后，贝尔先是进入英国原子能研究所(AERE)工作，后来转去了欧洲核子研究组织(CERN)。他的主要工作集中在加速器和粒子物理领域方面。1952年玻姆隐变量理论问世，这使贝尔感到相当兴奋。贝尔觉得，隐变量理论正是爱因斯坦所要求的东西，可以完成对量子力学的完备化。

1963年，贝尔在日内瓦遇到了约克教授，两人对此进行了深入的讨论，贝尔逐渐形成了他的想法，对EPR佯缪长期的争论很感忧虑。贝尔最初同意玻姆的理论，并沿玻姆的思路进行着研究，认为爱因斯坦的隐变量一定存在着，并且理应在现代物理学框架之内。

1964年，贝尔意外地发现了贝尔不等式以及贝尔不等式实验验证的可能性，还有一些带推测性质的预言。他把论文投寄到科学期刊，但久无回音，原来编辑把它遗忘了。幸运的是编辑又把它重新找到，当正式发表出来，已过了一、二年。 EPR佯谬 “EPR佯谬”是爱因斯坦(Einstein A)，波多尔斯基(Pldolsky B)和内森圠森(Rosen N)三人，在1935年合写的《能认为量子力学对物理实在的描述是完备的吗》的文章中提出来的，以后人们就以三人姓氏的第1个字母合写作为称谓。其经戴维·波姆简化后的具体内容为：考虑两个自旋为 1/2的粒子A和B构成的一个体系，在一定的时刻后，使A和B完全分离，不再相互作用。当观察者测得 A自旋的某一分量后，根据角动量守恒，就能确定地预言 B在相应 EPR佯谬方向上的自旋值。由于测量方向选取的任意性， B自旋在各个方向上的分量应都能确定地预言。所以他们认为，根据上述实在性判据，就应当断言B自旋在各个方向上的分量同时具有确定的值,都代表物理实在的要素，并且在测量之前就已存在，但量子力学却不允许同时确定地预言自旋的 8个分量值，所以不能认为它提供了对物理实在的完备描述。如果坚持把量子力学看作是完备的,那就必须认为对A的测量可以影响到B的状态，从而导致对某种超距作用的承认。EPR 实在性判据包含着“定域性假设”，即如果测量时两个体系不再相互作用，那么对第一个体系所能做的无论什么事，都不会使第二个体系发生任何实在的变化。人们通常把和这种定域要求相联系的物理实在观称为定域实在论。

隐变量理论 1927年，在布鲁塞尔的第五届索尔维会议上，德布罗意在会上讲述了他的“导波”理论。德布罗意不相信玻尔的互补原理，亦即电子同时又是粒子又是波的解释。德布罗意想象，电子始终是一个实实在在的粒子，但它受到时时伴随着它的那个波的影响。德布罗意认为量子效应表面上的随机性完全是由一些不可知的变量所造成的。假如把那些额外的变量考虑进去，整个系统是确定和可预测的，符合严格因果关系的。这样的理论称为“隐变量理论”（Hidden Variable Theory）。玻姆的隐变量理论是德布罗意导波的一个增强版，只不过他把所谓的“导波”换成了“量子势”（quantum potential）的概念。在他的描述中，一个电子除了具有通常的一些性质，比如电磁势之外，还具有所谓的“量子势”。这其实就是一种类似波动的东西，它按照薛定谔方程发展，在电子的周围扩散开去。但是，量子势所产生的效应和它的强度无关，而只和它的形状有关，这使它可以一直延伸到宇宙的尽头，而不发生衰减。

在玻姆理论里，像电子这样的基本粒子本质上是一个经典的粒子，但以它为中心发散出一种势场，使它每时每刻都对周围的环境了如指掌。当一个电子向一个双缝进发时，它的量子势会在它到达之前便感应到双缝的存在，从而指导它按照标准的干涉模式行动。如果实验者试图关闭一条狭缝，无处不在的量子势便会感应到这一变化，从而引导电子改变它的行为模式。如果你试图去测量一个电子的具体位置的话，你的测量仪器将首先与它的量子势发生无法直接被观测的作用。玻姆理论能够很大程度上满足观测，数学形式却极为繁琐。且玻姆在恢复了世界的实在性和决定性之后，却放弃了另一样东西：定域性（Locality）。定域性指的是，在某段时间里，所有的因果关系都必须维持在一个特定的区域内，而不能超越时空来瞬间地作用和传播。但是在玻姆那里，他的量子势可以瞬间传播粒子所需要的信息。

3 推导过程

继续发展爱因斯坦-波多斯基-罗森佯谬（简称为EPR佯谬）的论述（但是选择采用自旋的例子，如同戴维·玻姆版本关于EPR佯谬的论述），贝尔精心设计出一个思想实验：从衰变生成的两颗处于单态（singlet state）的自旋1/2粒子会分别朝着相反方向移动，在与衰变地点相隔遥远的两个地点，分别三维坐标系测量两个粒子的自旋，每一次测量得到的结果是“向上自旋”（标计为“+”）或“向下自旋”（标计为“-”）。

假设角动量为零的母粒子衰变成两个粒子A和B，根据角动量守恒定律，一个光子必具有与另一个光子相同的偏振态，这可以用垂直于粒子路径的静止的测量装置，并在某共同方向（比方说向上）测量其偏振态来加以证实。事实上已发现：当粒子A通过其偏振片时，B也总是通过的，即：发现了100%的关联。反之，如果偏振片相互垂直安配，那么，每当A通过则B被挡阻，这时有100%的反关联。在通常的经典力学中，这也是正确的。测量结果如表格所示：

同向轴 θ=0° ：	第1对	第2对	第3对	第4对	...	总共n对
爱丽丝：	+			+	...
鲍伯：		+	+		...
相关系数:(	+1	+1	+1	+1	...	) / n= +1
					（100%一致）
正交轴 θ=90° ：	第1对	第2对	第3对	第4对	...	总共n对
爱丽丝：	+		+		...
鲍伯：			+	+	...
相关系数:(	+1	ㄢ	ㄢ	+1	...	) / n= 0
					（50%一致）

但是当二者不处于平行或垂直，在两个地点测量得到一致结果的概率，会因为两根直轴 a 与 b 之间的夹角角度 θ不同角度观察者对粒子自旋的观察

而变化。现在设定实验规则，如右图所示，假设爱丽丝与鲍伯分别独自在这两个地点测量，若在某一次测量，爱丽丝测量的结果为向上自旋，而鲍伯测量的结果为向下自旋，则称这两个结果一致，相关系数为"+1"，反之亦然；否则，若爱丽丝与鲍伯测量的结果都为向上自旋或都为向下自旋，则两个结果不一致，相关系数为"-1"。那么，假设 a 与 b 相互平行，则测量这些量子纠缠粒子永远会得到一致的结果（完全相关）；假设两根直轴相互垂直，则只有50%概率会得到一致的结果，得到不一致结果的概率也是50%。测量的结果可以这样表示：

在空间坐标系XYZ中：

Ax	Ay	Az	Bx	By	Bz	出现概率
+	+	+	-	-	-	N1
+	+	-	-	-	-	N2
+	-	+	-	+	-	N3
+	-	-	-	+	+	N4
-	+	+	+	-	-	N5
-	+	-	+	-	+	N6
-	-	+	+	+	-	N7
-	-	-	+	+	+	N8

假设Pxy的意义是粒子A在x方向上和粒子B在y方向上的相关系数，那么Pxy=-N1-N2+N3+N4+N+N6-N7-N8

同理，Pzy=-N1+N2+N3-N4-N5+N6+N7-N8

Pxz=-N1+N2-N3+N4+N5-N6+N7-N8

|Pxz-Pzy|=|-2N3+2N4+2N5-2N6|=2|(N4+N5)-(N3+N6)|<=2&#91;|(N4+N5)|+|(N3+N6)|&#93;

因为所有出现的概率和为1，既N1+N2+N3+N4+N5+N6+N7+N8=1 代入上式可得

|Pxz-Pzy|<=(N3+N4+N5+N6)+(1-N1-N2-N7-N8)

=>|Pxz-Pzy|<=1+Pxy

当然，这一推导是被简化了的。隐变量不一定是离散的，而可以定义为区间λ上的一个连续函数。除此之外，还有集合式、几何式等证明方法。 贝尔原始的证明方法利用了斯特恩-革拉赫装置中电子运动的性质与自旋态跃迁概率的性质，结合经典概率论证明。除此之外，匈牙利物理学家F. P. 维格纳在1970年曾给出对贝尔不等式的“最简捷的”证明。他的思路是：先导出两个Pr (sa = x, tb = y)的表达式，一个表现量子力学的特征，另一个表现定域隐变量理论的特征，然后把贝尔不等式的证明归结为证明这两个表达式不能同时成立。详细的证明方法可以在参考资料及扩展阅读文献中找到。

从上述推证中不难看出：贝尔不等式是由一元线性隐变量理论加定域性约束得到的，它表现了该理 论对实验结果的限制情况。如果贝尔不等式成立，就意味着这种形式的隐变量理论也成立，则现有形式的量子力学就不完备。要是实验拒绝贝尔不等式，则表明量子力学的预言正确，或者是实验有利于量子力学。几十年来，人们就把贝尔不等式成立与否作为判断量子力学与隐变量理论孰是熟非的试金石。

4 原始形式

贝尔推导出局域实体论会产生的结果。在这导引内，除了要求基本的一致化以外，不做任何其它特别的假定，贝尔发现的数学问题，很明显地不同于量子力学的预测，更不同于稍后得到的实验观测结果。这样，贝尔不等式排除了局域隐变量为量子力学的可信解释，虽然非局域隐变量理论的大门仍旧敞开无碍。贝尔在一份名为《物理》的杂志的创刊号上，发表了题为《论EPR佯谬》的论文，提出了他的结论，其原始形式是：

某些理论为了确定单独测量的结果，严格要求将额外参数加入量子力学，并且要求这动作不改变统计预测。对于这些理论，必定存在着一种机制，使得一台测量仪器的运作设定值的改变，会影响到另一台测量仪器的读值，不管两台仪器之间的距离有多么遥远。此外，涉及这机制的讯号必需瞬时地传播抵达，所以，这些理论不具有洛伦兹不变性。

在这里，所谓“在量子力学上增添一些参量以确定单次测量的结果的理论”就是“隐变量理论”。另一方面，按照“定域性原理”，当两个测量仪器相距足够远时，一个测量仪器的安置不可能影响另一个仪器的读数。因此，贝尔的上述结论可表成：“如果一个隐变量理论不改变量子力学的统计预言，就一定会违背定域性原理。”换句话说：“如果一个隐变量理论遵循定域性原理，就一定会改变量子力学的统计预言。”人们把遵循定域性原理的隐变量理论称为“定域隐变量理论”，于是，贝尔不等式若不满足则最终表成现在常见的形式：

任何定域隐变量理论不可能重复量子力学的全部统计预言。

5 图像形式

如右图所示，对于自旋的量子相关性（假定100%侦测效率），局域隐变量理论的预测以实线显示

贝尔不等式图示

，量子力学预测以虚线显示。假设两根直轴的夹角角度 θ 在上述基本案例角度之间，则局域隐变量理论的成立意味着量子相关性呈线性变化。但是根据量子力学理论，量子相关性应呈角度的余弦cos θ 变化。

6 实验验证
实验检验发展过程 由于贝尔不等式验证条件要求颇高，一直到20世纪70年代此项工作才得以开展起来。从1972年起到世纪末的近30年间，陆续公布了不少验证贝尔不等式的典型实验，其中大多数是用孪生光子对做的，因为人们逐渐认识到利用光的偏振性作检验更好。1982年，以阿莱恩·阿斯派克特为组长的法国奥赛理论与应用光学研究所里的一群科学家第一次在精确的意义上对EPR作出检验。实验结果和量子论的预言完全符合，而相对局域隐变量理论的预测却偏离了5个标准方差。尔后，许多物理学家都重复阿斯派克特的实验，并且运用更新的手段，使实验模型越来越靠近爱因斯坦当年那个最原始的EPR设想。1998年，奥地利因斯布鲁克大学的科学家们让光子飞出相距400米，其结果偏离了局域隐变量理论预测30个标准方差。2003年，Pittman和Franson报道了产生于两个独立源的光子对于贝尔不等式的违反，等等。
综合来看，贝尔不等式的验证工作大致分为三个阶段。从内涵上分，应该称为“三代检验”。第一代检验在20世纪70年代上半叶，是用原子的级联放射产生的关联光子对做的，实验在伯克利(Berkeley)、哈佛(Harvard)和得克萨斯(Texas)等地完成。大多数的实验结果都同量子力学的预期一致，但由于实验设计方案离理想实验较远，特别是实验中使用了只给出“+”通道结果的起偏器，因而有的实验结果的置信度不可能高。
第二代检验开始于20世纪80年代后期，是用非线性激光激励原子级联放射产生孪生光子对做的。实验中采用了双波导的起偏器，实验方案也如同EPR理想实验的一样，且孪生光子对光源的效率很高，实验的结果是以10个标准差，明显地与贝尔不等式不符，而同量子力学预期一致，令人印象深刻。
第三代验证实验开始于20世纪80年代末期，是在马里兰(Maryland)和罗切斯特(Rochester)做的。是采取非线性地分出(Spliting)紫外光子的办法来产生EPR关联光子对。用这样的光子对，测量时可以瞄准偏振或旋转体中任何一个非连续的变化(就象贝尔考虑的情况)或者瞄准模型连续的变化(如同EPR原先的设想)。这种光子源有一个显著的优点，就是能够产生非常细小的两个关联光子束，可以输入到很大长度的光纤中去，因而用光纤联接的光源和测量装置之间允许分开很远(有的甚至超过 10 km)，使验证实验更加显得直接和客观。
这些年来，贝尔不等式已通过了各种各样的实验证伪。很多关于这些实验的不足之处都已被找到，包括“侦测漏洞”、“通讯漏洞”等等。由于科技的进步，实验也逐步的改良，更能够针对这些漏洞给予补足，但是没有任何实验能够完全地补足这些漏洞。至今，有大量实证支持贝尔不等式不成立。主流量子力学教科书将贝尔不成立视为基础物理定理。但是，没有任何物理定理能够毫无疑问的被接受；有些物理学者反驳，隐藏的假定或实验漏洞否定了理论的正确性。但是，大多数物理学者承认，有很多实验验证确定贝尔不等式已被违背。
阿斯派克特实验 为了检验贝尔不等式，许多实验付诸了实施，其中最有成效的是阿斯派克特、达利巴德与罗哲等人在1982年12月《物理评论快报》（Physicol Review Letters，vol.39，P.1804）上报导的。
他们的实验是对于由钙原子单次跃迁中同时发射的反向运动的光子对进行偏振测量。由4p(J=0)→4s4p1P1(J=1)→4s2 1S0(J=0)这个级联产生两个偏振关联的可见光子：λ1=551.3 nm,λ2=442.7 nm。实验布局如图所示。聚焦在相互作用区的两个激光束垂直照射钙原子束（钙原子只能通过双光子“级联辐射”再次衰变至原态），相互作用区是长1 mm、直径60 μm的圆柱体。在相互作用区内典型密度为3×10个原子/cm，这样低的密度足以防止422.7 nm共振光的截获。采用双光子激发，第一个激光束(λK=406.7 nm)由单模氪离子激光器提供，第二个激光束为连续单模染料激光器，调谐到双光子过程的共振波长λD=581 nm。这两个激光器有着平行的偏振，每个功率为40 mW，典型的级联率为4×10^7/s。偏振器Ⅰ和Ⅱ为堆片式偏振器，每个都是由倾斜成布儒斯特角的10片光学平面玻璃组成，前面插入一个线偏振片，它们的效率由实验装置测定。在光源两边约6米远处各置有一个声光开关装置，其原理是利用水的折射率略随压强而变这一事实。
在此开关中，利用反向传感器建立起约25MHz的超声驻波。安排光子以接近全内反射的临界角碰到开关上，致使每半个声波周期（即频率为50MHz）可以有一次由透射条件向反射条件的转换。
阿斯派克特实验图示阿斯派克特实验图示
然后，无论是沿入射路径（透射之后）出射的光子还是偏转（通过反射）的光子，都遇到偏振片，它们会以确定的几率透过或挡住光子，这些偏振片以不同的角度相对于光子偏振取向。于是，光子的命运由固定在这些偏振片背后的光电倍增探测器所监视，光源两边的装置是一样的。
此实验是通过电子监视每对光子命运并评估关联的级别而实施的。这个实验唯一而本质的特征是：在光子飞行途中，可以任意地更改光子的继后路径（即改变它们将要指向哪一个偏振片）。这等价于光源每一边的偏振片如此快地重新取向，以致信号即使以光速也没有足够的时间从一边传递到另一边。为了验证两位科学巨人的愿望，阿斯派克特等人前后奋战了8年，直到1982年才终于使偏振分析器保持各自方向的时问由原来的60ns 缩短为10ns，它短于光子在左右两个偏振分析 器(距离L=13 m)之间飞行时间L ≈40 ns与光子发射寿命（约为5ns）。 这样就实现了在光子飞行期闻改变偏振分析器 的取向，满足了贝尔的定域条件。1985年，阿斯派克特接受采访时这样评论：”我们实验的主要特征之一就是改进了光子源的效能。以往研究EPR关联的各种努力之所以导致相当不确定的结果，主要是因为所使用的源仅能产生弱信号。”实际上，开关转换并不是严格无规的，在不同频率下的驻波是独立地产生的，除非采用最为机敏的隐变量“同谋”理论，这跟真正无规转换之间的差别是无关紧要的。
阿斯派克特等人报导：在他们的实验中，一次典型的实验持续12000秒，这段时间等分为三个阶段：其中之一的实验安排如上所述；另一个是将上述实验中的所有偏振片拆除；第三个是在S的两旁每边只拆除一个偏振片，这样就可以纠正实验结果中的系统误差。在这个实验中，根据贝尔不等式，如果现实是定域性的，则函数F（关于两边四个检测器分别在四个偏振角度A1，A2，B1，B2上同时检测结果的函数）的值必须介于-2.0与+2.0之间。但是，所有的实验结果均表明：贝尔不等式不成立，而且，函数F的值总是符合量子理论（采用波函数描述光子）的预测。具体来说，因此，现实是非定域性的，而且可以被量子理论描述。其实，如果现实是非定域性的，那么，即使A与B两边相距很远（甚至以光年计），贝尔不等式也不可能成立。 因斯布鲁克实验 奥地利的因斯布鲁克大学(Innsbruck)的实验也是一个典型例子。首先，他们将两个测量站之间的距离分开400m以上，每个测量站都用计算机同起偏器相联，每个起偏器都能随机而超快地开关变化“+”、“一”两个信道，光纤将起偏器同位于测量站中部的孪生光子对光源接通。
因斯布鲁克实验图示因斯布鲁克实验图示
实验时，孪生光子对离开光源后沿光纤反方向地传播出去，两个测量站的探测器和计算机随即收集并整理各光子通过“+”“一”信道的两例数据。要特别强调的是，置身于两边测量站起偏器后面的观察者，看到的仅仅是表观的无规则的“+”“一”的两个系列结果，在他那儿的单个测量中，不可以估计到对方测量站的操作者怎样突然改变起偏器的方向(因为有1.3 微秒的时间间隔允许作起偏器方位的任意设置)。由于计算机输出的起偏器“+”“一”信道的两列数据都有原子钟精确定时，还可以通过起偏器方向随机超快的变化来阻止它们间任何小于或等于光速的信号传递。所以，将两个测量站各得到的两列数据比较到后面部分，因斯布鲁克小组的物理学家就能断定：只要某方起偏器开关一有动作，孪生光子对的两个光子分别通过两边测量站信道的状况就会同号地改变。即当发现光子v。为正的偏振时，它的孪生同伴v也会被发现是正的偏振，反之亦然。其间没有任何时间上的延迟，这就反映了孪生量子实体的不可分离性，也就是非定域性。
他们最后作出的结论是：实验结果极为优势地同量子力学的预期一致，无可置疑地违反了贝尔不等式。
7 影响
从贝尔不等式的验证实验可以看到，特别挑出来的具有严格相对论性分离的测量都严重违反贝尔不等式，说明按爱因斯坦方式描述孪生光子对的想法是行不通的，因为爱因斯坦是把EPR光子对的相互关联看成是由普通光源决定的普通性质，而后这些性质又在光子离开光源时被一道带走。但真实的情况应该是：一个EPR纠缠光子对是一个不可分离的实体，是不可能分派单独的局部性质给每个光子的。从某种意义上说，孪生光子对之间通过空间和时间保持联系，是量子不可分离性的直接明显的表现。难怪EPR文章会引起玻尔的强烈震动。盖因多粒子体系可能会导致纯粹的量子效应!这在EPR论证提出以前是从未清晰地显露尊容的。而今，这种源于“非定域性”的量子效应已激起量子信息研究的蓬勃开展，涉及诸如量子密钥分配、量子浓缩编码、量子隐形传态、量子纠错码、量子计算机等众多领域。贝尔不等式近30年的验证历程，使量子力学的正确性又经受了一场高技术、高规格的严峻证明，它标志着直到今天实验都不支持对量子力学非完备性的指责，也反映了定域隐变量理论是不能取代量子力学的，就连贝尔本人都断然认定：“任何定域隐变量理论都不可能重现量子力学的全部统计性预言”(贝尔定理)。
总之，贝尔不等式及其验证结论的科学意义是深远的，它把量子力学中纠缠着哲学思辩的争论演化成了可以运作的检验；贝尔不等式的验证经历与显现效应的现实意义也是重大的，它指引人们窥视到信息领域已经展现的神奇美景。诺贝尔物理学奖得主约瑟夫逊认为贝尔不等式和贝尔定理是“物理学中最重要的进展”,哲学家斯塔普认为贝尔定理是“意义最深远的科学发现”。它不仅对量子力学的完备性和量子实体的不可分离性起到了“见证”的作用，而且对展开人们的思维和视野也将产生积极长久的影响。贝尔不等式验证的否定结论和过程中显出的效应，同迈克耳逊-莫雷实验的否定性结论一样，对物理学的进一步发展具有同等重要的地位。