从而对量子论的内涵获取更深的领悟。
第十二章 新探险二
…
…
castor_v_pollux
连载：量子史话 出版社： 作者：castor_v_pollux
按照退相干历史（DH）的解释，假如我们把宇宙的历史分得足够精细，那么实际上每时
每刻都有许许多多的精粒历史在“同时发生”（相干）。比如没有观测时，电子显然就同时
经历着“通过左缝”和“通过右缝”两种历史。但一般来说，我们对于过分精细的历史没
有兴趣，我们只关心我们所能观测到的粗粒历史的情况。因为互相脱散（退相干）的缘故，
这些历史之间失去了联系，只有一种能够被我们感觉到。
按照历史颗粒的粗细，我们可以创建一棵“历史树”。还是拿我们的量子联赛来说，
一个球队在联赛中的历史，最粗可以分到什么程度呢？也许我们可以把它仅仅分成两种：
“得到联赛冠军”和“没有得到联赛冠军”。在这个极粗的层面上，我们只具体关心有否
获得冠军，别的一概不理，它们都将在计算中被加遍。但是我们也可以继续“精确”下去
，比如在“得到冠军”这个分支上，还可以继续按照胜率再区分成“夺冠并且胜率超过
50％”和“夺冠但胜率不超过50％”两个分支。类似地我们可以一直分下去，具体到总共获
胜了几场，具体到每场的胜负……一直具体到每场的详细比分为止。当然在现实中我们仍
可以继续“精粒化”，具体到谁进了球，球场来了多少观众，其中多少人穿了红衣服，球
场一共长了几根草之类。但在这里我们假设，一场球最详细的信息就是具体的比分，没有
更加详细的了。这样一来，我们的历史树分到具体的比分就无法再继续分下去，这最底下
的一层就是“树叶”，也称为“最精粒历史”（maximally fine…grained histories）。
对于两片树叶来讲，它们通常是互相相干的。我们无法明确地区分1：0获胜和2：0获胜
这两种历史，因此也无法用传统的概率去计算它们。但我们可以通过适当的粗粒化来构建
符合常识的那些历史，比如我们可以区分“胜”，“平”和“负”这三大类历史，因为它
们之间已经失去了干涉，退相干了。如此一来，我们就可以用传统的经典概率来计算这些
历史，这就形成了“一族”退相干历史（a decoherent family of histories），只有在同
一族里，我们才能运用通常的理性逻辑来处理它们之间的概率关系。有的时候，我们也不
说“退相干”，而把它叫做“一致历史”（consistent histories），DH的创建人之一格里
菲斯就爱用这个词，因此“退相干历史”也常常被称为“一致历史”解释，更加通俗一点
，也可以称为“多历史”（many histories）理论。
一般来说，在历史树上越接近根部（往上），粗粒化就越厉害，其干涉也就越小。当然
，并非所有的粗粒历史之间都没有干涉，可以被赋予传统概率，具体地要符合某种“一致
条件”（consistency condition），而这些条件可以由数学严格地推导出来。
现在让我们考虑薛定谔猫的情况：当那个决定命运的原子衰变时，就这个原子本身来
说，它的确经历着衰变/不衰变两种可能的精粒历史。原子本身只是单个粒子，我们忽略
的东西并不多。但一旦猫被拖入这个剧情之中，我们的历史剧本换成了猫死/猫活两种，
情况就不同了！无论是“猫死”还是“猫活”都是非常模糊的陈述，描述一只猫具体要用
到10^27个粒子，当我们说“猫活”的时候，我们忽略了这只猫与外界的一切作用，比如
它如何呼吸，如何与外界进行物质和能量交换……等等。就算是“猫死”，它身上的n个
粒子也仍然要和外界发生相互作用。换句话说，“猫活”和“猫死”其实是两大类历史的
总和，就像“胜”是“1：0”，“2：0”，“2：1”……等历史的总和一样。当我们计算“
猫死”和“猫活”之间的干涉时，我们其实穷尽了这两大类历史下的每一对精粒历史之间
的干涉，而它们绝大多数都最终抵消掉了。“猫死”和“猫活”之间那千丝万缕的联系于
是被切断，它们退相干，最终只有其中的一个真正发生！如果从密度矩阵的角度来看问题
，则其表现为除了矩阵对角线上的那些经典概率之外，别的干涉项都迅速消减为0：矩阵
“对角化”了！而这里面既没有自发的随机定域，也没有外部的“观测者”，更没有看不
见的隐变量！
如果DH解释是正确的，那么我们每时每刻其实都经历着多重的历史，世界上的每一个
粒子，事实上都处在所有可能历史的叠加中！但一旦涉及到宏观物体，我们所能够观察和
描述的则无非是一些粗粒化的历史，当细节被抹去时，这些历史便互相退相干，永久地失
去了联系。比方说如果最终猫还活着，那么“猫死”这个分支就从历史树上被排除了，按
照奥卡姆剃刀，我们不妨说这些历史已经不存在于宇宙之中。
嗯，虽然听起来古怪，但它至少可以自圆其说，不是吗？粗粒化的方法看起来可能让
人困惑，但其实却并没有那么大惊小怪，我们事实上经常有意无意地用到这些办法。比如
在中学里我们计算地球和太阳之间的引力，我们把两个星球“粗粒化”为两个质点。实际
上地球和太阳是两个庞大的球体，但以质心代替所有的点，而忽略它们的具体位置之后，
我们实际上已经不知不觉地加遍了两个球体内部每一对质点之间的吸引力。在DH解释中，
我们所做的只不过更加复杂一点罢了。
从数学上说，DH是定义得很好的一个理论，而从哲学的雅致观点来看，其支持者也颇
为得意地宣称它是一种假设最少，而最能体现“物理真实”的理论。但是，DH的日子也并
不像宣扬的那样好过，对其最猛烈的攻击来自我们在上一章提到过的，GRW理论的创立者
之一GianCarlo Ghirardi。自从DH理论创立以来，这位意大利人和其同事至少在各类物理
期刊上发表了5篇攻击退相干历史解释的论文。Ghirardi敏锐地指出，DH解释并不比传统
的哥本哈根解释好到哪里去！
正如我们已经为大家所描述过的那样，在DH解释的框架内我们定义了一系列的“粗粒
”的历史，当这些历史符合所谓的“一致条件”时，它们就形成了一个互相之间退相干的
历史族（family）。比如在我们的联赛中，针对某一场具体的比赛，“胜”，“平”，“负
”就是一个合法的历史族，在它们之间只有一个能够发生，因为它们互相之间都已经几乎
没有联系。但是，在数学上利用同样的手法，我们也可以定义一些另外的历史族，它们同
样合法！比如我们并不一定关注胜负关系，而可以考虑另外的方面比如进球数。现在我们
进行另一种粗粒化，把比赛结果区分为“没有进球”，“进了一个球”，“进了两个球”
以及“进了两个以上的球”。从数学上看，这4种历史同样符合“一致条件”，它们构成
了另一个完好的退相干历史族！
现在，当我们观测了一场比赛，所得到的结果就取决于所选择的历史族。对于同一场
比赛，我们可能观测到“胜”，但换一个角度，也可能观测到“进了两个球”。当然，它
们之间并不矛盾，但如果我们仔细地考虑一下，在“现实中”真正发生了什么，这仍然叫
我们困惑。
当我们观测到“胜”的时候，我们假设在其属下所有的精粒历史都在发生，比如1：0
，2：1，2：0，3：0……所有的历史都发生了，只不过我们观测不到具体的精细结果，也对
它们并不感兴趣。可对于同样一场比赛，我们也可能观测到“进了两个球”，这时候我们
的假设其实是，所有进了两个球的历史都发生了。比如2：0，2：1，2：2，2：3……
现在我们考虑某种特定的精粒历史，比如说1：0这样一个历史。虽然我们从来不会实
际观测到这样一个历史，但这并不妨碍我们去问：1：0的历史究竟发生了没有？当观测结
果是“胜”的时候，它显然发生了；而当观测结果是“进了两个球”的时候，它却显然没
有发生！可是，我们描述的却是同一场比赛！
DH的本意是推翻教科书上的哥本哈根解释，把观测者从理论中赶出去，还物理世界以
一个客观实在的解释。也就是说，所有的物理属性都是超越于你我的观察之外独立存在的
，它不因为任何主观事物而改变。但现在DH似乎是哑巴吃黄连——有苦说不出。“1：0的
历史究竟是否为真”这样一个物理描述，看来的确要取决于历史族的选择，而不是“客观
存在”的！这似乎和玻尔他们是殊途同归：宇宙中没有纯粹的客观的物理属性，所有的属
性都只能和具体的观察手段连起来讲！
但DH的支持者辩护说，任何理性的逻辑推理（reasoning），都只能用在同一个退相干
家族中，而不能跨家族使用。比如当我们在“胜，平，负”这样一族历史中得到了“1：0
的精粒历史发生了”这样一个结论后，我们绝不能把它带到另一族历史（比如“没进球，
进1球，进2球，进2球以上”）中去，并与其相互比较。他们把这总结成所谓的“同族原则
”（single family rule），并宣称这是量子论中最重要的原则。
这一点先放在一边不论，DH的另一个难题是，在理论中实际上存在着种类繁多的“退
相干族”，而我们在现实中观察到的却只有一个！还是拿我们的量子联赛来说，就单单一
场比赛而言，我们在前面定义了一个退相干族，也就是“胜，平，负”。这一族中包含了
3大种粗粒历史，它们之间都互相退相干。这看上去一点都不错，但问题是，并不只有“
胜，平，负”这样的分法是可能的，还有无穷种其他的分法，其中的大部分甚至是千奇百
怪，不符合常识的，但理论并没有解释我们为何观测到的不是这些另外的分类！
比方说，我们从理论上定义3种历史：“又胜又平”，“又胜又负”，“又平又负”
，这3种历史在数学上同样构成一个合法并且完好的退相干族：它们的概率可以经典相加
，你无论观测到其中的哪一种，就无法再观测到另外的两种。但显然在实际中，一场比赛
不可能“又胜又负”，那么DH就欠我们一个解释，它必须说明为什么在现实中的比赛是分
成“胜，平，负”的，而不是“又胜又平”之类，虽然它们在数学上并没有太大的不同！
在这个问题上，DH的辩护者也许会说，理论只有义务解释现实的运作，而没有义务解
释现实的存在！我们是从现实出发去建立理论，而不是从理论出发去建立现实！好比说“
1头牛加1头牛等于2头牛”和“1头斯芬克斯加1头斯芬克斯等于2头斯芬克斯”在数学上都
是成立的，但数学没有义�
小提示：按 回车 [Enter] 键 返回书目，按 ← 键 返回上一页， 按 → 键 进入下一页。
赞一下
添加书签加入书架