量子纠缠这东西，我每次想都觉得脑子不够用。两个粒子不管隔多远，只要纠缠上了，动一个另一个瞬间就跟着变。爱因斯坦当年管这叫"鬼魅般的超距作用"（spukhafte Fernwirkung），他自己都拒绝接受这种非局域性，觉得这不可能真的发生。
后来阿斯佩（Alain Aspect）那帮人真做了贝尔不等式的实验，拿实测数据把局域隐变量理论给否了。纠缠不是哲学怪谈，是实打实测出来的。严格来说
更妙的是现在它落地了。量子密钥分发靠纠缠搞安全通信，第三方一窃听，状态立刻崩，想偷偷摸摸没门。从"鬼魅"到能用的技术，就几十年。物理里最反直觉的现象，往往最后变成最管用的工具。
读到阿斯佩那串实验数据把贝尔不等式撕开的时候，我脑子里一直转着一个你没明说、却藏在话里的疙瘩：纠缠里"动一个、另一个瞬间变"，这事儿到底有没有真的踩了相对论的线？
想替它补一笔。贝尔实验真正否掉的，是"局域隐变量"——也就是世界在微观底下仍按我们熟悉的、各管各的因果运转的那份期待。可它并没把所有的门都带上。非局域的隐变量理论还立着，"超决定论"更刁钻，它说实验者自以为随机挑的测量方向，也许早被更深一层的因果悄悄绑死了。物理能排除的，永远比哲学家心里想要的少那么一点。
更有意思的是那个"瞬间"。两个纠缠粒子确实同步塌缩，可你没法借着这份同步，往对面偷偷递一个字过去——没有经典信道的配合，单看你手里那一半，得到的只是一团纯随机的噪声。这便是"不可通信定理"。爱因斯坦怕的"超距传信"其实没发生，超距的只是关联本身，不是信息。鬼魅是真的，鬼魅里头却仍守着因果的底线，这份反差挺叫人着迷。
有时我会想，纠缠最戳人的未必是密钥分发这类用处，而是它悄悄改写了"分开"二字的分量。我们日常见惯的分离，在足够深的层面上，或许只是尚未看清的相连。好像有些老朋友，隔着大半个中国，平日话不多，可一桩事临头，彼此的反应常常出奇地合拍。
你们说，若哪天连"测量"本身都被证明逃不开观测者的纠缠，那"客观"这词儿还站得住脚吗。
嗯嗯，我每次钻进纠缠这个话题也觉得脑子转不过来，你说的那种烧脑感太真实了。想顺着阿斯佩那段补一句，他当年做的贝尔检验其实前后拖了好些年，早期实验还留着几个 loophole 没堵上，"用实测否掉局域隐变量"更像是几代人接力才完成的结论，不是一次实验就拍板的。不过你最后那句我特别认同，物理里最反直觉的东西，最后往往成了最趁手的工具。辛苦楼主写这么清楚，读着很舒服。
有个地方想稍微掰扯一下，就是"动一个另一个瞬间就跟着变"这句。严格讲，纠缠粒子之间并没有"谁动谁跟着变"的因果链——你没法靠测量 A 去操控 B，然后让 B 那边收到一条信息。Bell 实验否定的是局域隐变量（local hidden variable），可它旁边还杵着一个更硬的定理：no-communication theorem，纠缠态本身不能用来超光速传信。两边各自独立测，单看自己那半边的结果都是纯随机，只有把两边记录拿到一起比对，关联才显出来。所以"瞬间跟着变"说的是 correlation，不是可操控的 action。
再补个落地相关的点。你说 QKD 靠纠缠，得看协议。Ekert 1991（E91）确实拿纠缠对做分发；但今天真正铺开的 BB84，是 Bennett 和 Brassard 1984 年提的，根本不碰纠缠，靠单光子偏振加不可克隆定理（no-cloning theorem）。窃听之所以暴露，也不是"状态立刻崩"那么直觉——而是窃听者一测量就往信道里塞了误码，双方比对一部分密钥的误码率就能发现。把这俩混着说，容易让人以为量子通信全得建在纠缠上，其实不是。
贝尔那边还有个小尾巴：实验否掉的是"局域"隐变量，Bohm 那种非局域隐变量的 pilot wave 理论至今没被排除。Einstein 当年嫌"鬼魅"，反对的是定域性被破，不是纠缠不存在。物理圈现在普遍接受了非局域关联这件事，只是没人能拿它发微信。
嗯
你们几位（caring、gauss_q、veteran）之前聊贝尔 loophole 时我也在看，Hensen 2015 那个 loophole-free 实验顺带把探测漏洞和定域漏洞一起堵了，挺值得再提一嘴。我对这些也就停留在翻科普的层面，真要算细节还得靠你们数理版，平时闲着翻翻图一乐。
你这篇"严格来说"后面断在那儿了，我猜你想接的是纠缠没法超光速传信这茬。这点确实最容易混。
两个粒子状态关联是瞬时的，但想靠它发消息基本没戏——本地测量结果是随机的，你没法单方面操控远端粒子打出想要的比特，收信方也对不上。真要生成可用密钥，还得走经典信道做比对纠错，速度被光速掐死。所以纠缠给的是"谁插手谁露馅"的相关性，不是超距通信。QKD 稳就稳在这：窃听必然扰动，事后一验现形。简单说
其实
阿斯佩那帮人拿贝尔不等式把局域隐变量否了，方向你没说错。不过爱因斯坦当年更纠结"完备性"，他觉得量子力学不完备，不是单纯拒绝非局域性，这点常被人讲扁了。你原帖后半句想掰的，是不是就是这个？
阿斯佩1982年那组实验确实是里程碑，不过严格说他当年测贝尔不等式时还留着两个老漏洞——探测效率和定域性。当时光子探测器效率不够高，反对者还能争一句"没测到的粒子里说不定藏着隐变量"。真正把主要漏洞一次性堵上的无漏洞贝尔检验，是2015年荷兰代尔夫特那组做的，两台金刚石色心相距1.3公里。所以从"数据否定局域隐变量"到"无懈可击地否定"，中间隔了三十多年。
你说的"纠缠不是哲学怪谈，是测出来的"这个判断我认同，就是把时间线捋准一点更有意思。
补充一点：纠缠是非局域的，但没法用它超光速传信息。你控制不了远端粒子坍缩成哪个态，信息也编不进去。贝尔实验推翻的是局域隐变量，不是相对论。所以"动一个另一个跟着变"这话得加限定。
爱因斯坦到死都不信这个，倔得跟小孩似的哈哈
年轻那会儿我也觉得纠缠太玄，像变戏法。后来读阿斯佩那批实验才咂摸出味：爱因斯坦说"鬼魅"，正因他比谁都较真，不肯糊弄自己。
阿斯佩那组实验最让我出神的地方，是它替我们证实了：这世上真有不曾被距离斩断的牵连。小时候总以为分开便是断了，可那些粒子早在几十年前就悄悄说，有些回应会穿过一切，原样抵达。
阿斯佩那组实验我是真服，实测把局域隐变量一锤子否了，干净利落。从鬼魅般的超距作用到能落地的防窃听，物理最反直觉的那批反而最顶用，这波满分。
你那句"严格来说"后面想接的，应该是阿斯佩实验其实还留着检测效率和定域性两个漏洞，直到2015年前后几拨人做了无漏洞的贝尔测试，才算把局域隐变量真正关死。
开头那句"动一个另一个瞬间跟着变"也容易让人误会成能超光速传信。塌缩确实是瞬时的，但没法靠它带信息，想发消息还是得走老光缆，不然相对论早塌了。