趣说量子世界 / 第9章
神秘的双子宝箱
两地结果的关联为什么不只是预先配好的一双手套?贝尔实验又能告诉我们什么,不能告诉我们什么?
原书以相距遥远的双子宝箱引出量子纠缠:两边的结果相互关联,却似乎不能用普通的配对方案解释。我们先理解联合状态与局部结果,再借多种测量设置看贝尔不等式为何成立、实验如何检验它,并追问纠缠通信、量子引力与游戏类比的边界。
开始阅读 ↓尚未标记已读一对手套为何还不够
原书借一对兄弟粒子与相隔远方的手套提出疑问:一边看到向上,另一边似乎立即对应向下。普通手套的左右在分开前就已经配好;只看一副手套,远方的那只并没有因为我揭开盒盖才发生变化。这样的共同来源能解释许多经典关联,因此单凭一次同轴反相关并不奇怪。
量子理论中的纠缠是对两个系统联合状态的描述。举一个特殊例子:两粒子处于自旋 1/2 的单重态,沿同一方向分别测量时,两人的结果完全反相关;各自单独看,向上与向下各半。另一类纠缠态在同轴测量中可以同向相关,因此不能把反向当成所有纠缠的定义。
相距很远也不意味着一个粒子需要听见另一个的仪器动作。事后知道甲的结果可以更新我们对乙的条件预测;它与在乙处可单独读出的变化是两回事。到底手套式的预先配对能不能解释更多设置下的全部统计,需要做更严格的检验。
EPR 的问题:预测是否等于完整描述
1935 年,爱因斯坦、波多尔斯基和罗森提出 EPR 思想实验。他们考虑两个相互作用后分开的系统:对甲选择不同测量,可以据此预测乙的不同物理量。他们采用一条实在性判断:如果不扰动乙就能确定预测某量,那么该量应有对应的物理实在;再结合远方操作不影响乙的条件,他们认为量子态的描述并不完备。
玻尔的回应强调,能够作出哪一种预测取决于实验安排,不能无条件地把互不相容的测量当作同一套可同时验证的事实。这不是一次已完成实验的输赢,而是关于物理描述与测量条件的争论。原书把爱因斯坦说成不确定性原理的发现者;该原理由海森堡于 1927 年提出,不能把爱因斯坦的光电效应工作与这项提出混同。
EPR 讨论的是量子描述是否完备,不等于证明量子理论内部自相矛盾,也不要求把爱因斯坦说成否定全部量子成果。原始 EPR 用位置与动量说明问题;后来的自旋版本更方便实验讨论。
双子蝴蝶:从一个设置走向多个设置
作者设想两只宝箱,各有黑白蝴蝶;触角、翅膀和身体各可取两种颜色。传统箱子在分开前选定一组配色,另一只逐项互补;三项黑白共有八种方案。作者再比较不同部位之间的结果,说明事先写好的有限方案会受到统计约束。这个类比提供了从单次配对转向多组比较的入口。
要看清限制,假定每一项颜色在同一个样本里都有预先确定的值,并且同一部位两箱总反色。若三项并非全同,其中恰有两项同色、一项异色;把两边六种不同部位的有序比较都平均,其中反色占三分之一。若三项全同,六种比较都反色。因此这些固定方案的平均反色比例至少为三分之一;它不是无条件适用于所有实验的自然定律,而是从指定假设及均等比较方式推得的界限。
不过,真实的不同量子测量设置不是一次打开箱子后同时读取蝴蝶所有部位。实验在许多独立制备的粒子对上,分别随机选一组设置,每次只记录这组的两个结果。作者说每次打开都刷新整个蝴蝶,并把跨设置的违背直接解释为实时共享程序;这是一种故事,不是贝尔实验唯一或已证的机制。
固定配对可以产生反相关;贝尔检验比较不同设置的联合统计。
CHSH:把假设变成可检验的上限
实验常用 CHSH 形式。甲可选设置 a 或 a′,乙可选 b 或 b′;每次两边各得 +1 或 −1。对每一组设置,分别计算两边结果乘积的平均值 E:相同记 +1,相反记 −1,再求平均。四组数据共同构成一个数 S,不能用单组完美反相关代替四组统计。
在局域因果模型中,给定共同原因后,甲的结果分布不因乙的远方设置或结果而改变,乙也同理;还假定设置与这些共同变量独立,并正确处理未检出事件和样本选择。随机模型可视为对确定性反应方案做概率平均,于是在这些条件下 |S| 不超过 2。公式是本讲补充的常用形式;原书第 183 物理页展示的是另一种贝尔不等式形式。
对于理想自旋单重态,按适当角度选四个方向,量子理论可得到 |S|=2√2。实验若在可信统计与装置条件下超过 2,否定的是上述假设的共同成立;不能因此说所有隐藏变量、所有决定论或所有关于现实的解释都已被单独否定。设置独立、局域因果及实际实验误差各自需要分析。
贝尔超限针对假设的组合;不等式仍是这些假设下的数学结论。
实验检验了什么
原书回顾弗里德曼与克劳泽、阿斯佩及蔡林格等人的实验。2022 年诺贝尔物理学奖授予阿斯佩、克劳泽和蔡林格,表彰纠缠光子实验、贝尔不等式违背的建立及量子信息科学的开创。随着技术进步,实验越来越重视设置的时序、探测效率和结果选择。
例如 2015 年代尔夫特团队以相距约 1.3 公里的金刚石中的电子自旋做贝尔检验;论文报告 245 次有效试次,S=2.42±0.20。该实验同时针对主要的局域性和探测漏洞设计,而不是消除所有可以想象的哲学假设。有限样本有统计不确定度,后续不同平台的实验继续加强证据。
原书把不等式说成被彻底推翻,因此量子箱每次生成、世界一定虚拟。更准确的说法是:不等式作为符合其假设的数学结论仍然成立;观察到的超限说明自然结果不能同时服从那组假设。实验支持特定量子预测,但不指定远方粒子之间必须存在一种可操纵的超光速消息。
相关不等于远程发送消息
设甲乙共享理想单重态。无论甲选哪个自旋方向,乙若不收到甲的结果、只统计自己沿某轴测得的数据,向上和向下仍各半。甲可以事后告诉乙自己的设置和结果,两人按这些信息筛选配对数据,就会看到条件关联;这条比较信息仍需通过普通通信渠道传送。
因此,甲不能靠选择测量方向让乙的独立统计变成一串可读文字。这里的结论是无信号:不能用本地操作控制远方的边缘概率来传递可控信息。它不要求说所有哲学解释中的影响都有同一物理图景,也不把条件状态更新当成接收方收到了一条消息。
原书把打开量子宝箱说成纠缠永远不可恢复、所有关联立即消失。某些局域测量确会破坏给定两粒子态中的纠缠,但测量结果仍可能有经典关联;不同测量和环境作用的结果也不同。重新制备、纠缠交换或其他恰当操作可以建立新的纠缠,不能把所有情况说成永久无法恢复。
条件预测可以改变,乙独立可见的分布不能由甲的选择控制。
密钥分发:检测风险,不是万能封条
原书把宝箱比作防止偷看的封缄,并指出两边仍需普通通信来比较记录。这个方向有启发,但量子密钥分发首先是帮助双方生成共享密钥;它不是把任意秘密纸条直接装进纠缠态,也不意味着一打开就一定能凭单次事件判定窃听。
以 BB84 为例,发送方随机制备两组互不相容基底中的状态,接收方随机选择基底测量。双方通过经过认证的公开信道比较基底、保留匹配结果,并抽取部分数据估计错误率;窃听或噪声可能留下统计痕迹。若参数不满足安全条件就中止,否则还要做纠错和隐私放大,把潜在泄露压缩到安全证明允许的范围。BB84 的基本形式不必使用纠缠源,另有基于纠缠的协议。
认证、器件模型、随机数、损耗、错误率和实现漏洞都关系到安全。安全结论依协议和假设成立,且通常带有可量化的失败概率;不能笼统保证绝对不可窃听或把每个异常都归咎于窃听者。之后用密钥加密消息仍需普通通信。
安全依具体协议、统计和设备假设;实际通信仍需经典信道。
相对论、量子引力与游戏后台
原书接着追问:量子理论与相对论是否注定冲突,能否建立更深的统一理论?狭义相对论与量子理论已经在量子场论中共同使用;在适用条件下,也可以把量子物质放在经典弯曲时空中近似计算。广义相对论把引力描述为时空几何,并不是要求时空必须平坦。
仍然开放的问题是:当引力场本身需要量子描述、量子效应与强引力同时重要时,如何得到经过实验检验且自洽的量子引力理论。它不等同于“相对论完全不能处理微观粒子”;大统一、量子引力与万有理论也不是已经被证实会按单一路线完成的同一件事。
原书随后从游戏程序共享函数、兵团共同行动与节省算力推想空间只是表象。共同代码或共同命令可以产生经典相关,却不能仅凭这个故事给出贝尔实验的跨设置统计及其假设;实验也没有证明宇宙存在后台或空间虚构。原书在此处缺少一页,前后论证有一处断开。
回到核心问题
本篇的关键结论
- 纠缠描述的是不能写成局部状态混合的联合状态;某些纠缠态在同轴测量中反相关,但反相关本身也可由经典配对产生。
- 贝尔不等式给满足局域因果与设置独立等假设的模型设定统计上限;违背该上限约束的是假设组合,并不单独排除所有决定论或所有隐藏变量。
- 纠缠不能单靠一方选择向另一方发送超光速消息;量子密钥分发需要经典通信、认证及安全处理,游戏后台不是实验结论。
理解的边界
- 单重态同轴反相关不是所有纠缠态的通用性质。
- 贝尔超限排除局域因果、设置独立等前提的组合,不单独排除所有隐藏变量或决定论。
- 局部无信号不等于所有关于量子状态的诠释都相同。
- BB84 是密钥分发,安全依认证、统计、设备与协议假设;不必使用纠缠。
- 量子场论与狭义相对论相容,量子引力仍有开放问题。
- 游戏后台、空间虚构和节省算力是作者推测,不是贝尔实验结果。
- 原 PDF 的印刷页 184 在物理页 199 与 200 之间缺失,不能声称覆盖该页内容。
理解与迁移
停下来,想一想
选择一个答案后,查看每个选项为什么成立或不成立。
这一篇读完了吗?
阅读不会自动记为完成。你可以随时改回未读。
原书:《趣说量子世界》 · 阿布大树
对应物理PDF页码:175–203。