摘自：上帝掷骰子吗——量子物理史话(20)　作者：曹仁雨

我们已经厌倦了光子究竟通过了哪条狭缝这样的问题，管它通过了哪条，这和我们又有什么关系呢？。。。

　　当哈特尔和盖尔曼读到格里菲斯关于“历史”的论文之后，他们突然之间恍然大悟。他们开始叫嚷：“不对！事实和埃弗莱特的假定正好相反：世界只有一个，但历史有很多个！”　。。。

我们要时刻记住，在量子力学中一切都是离散而非连续的，所以当我们讨论“一段时间”的时候，我们所说的实际上是一个包含了所有时刻的集合，从t0，t1，t2，一直到tn。所以我们说的“历史”，实际上就是指，对应于时刻tk来说，系统有相应的态Ak。

　　我们还是以广大人民群众喜闻乐见的比喻形式来说明问题。想象一支足球队参加某联赛，联赛一共要进行n轮。那么，这支球队的“历史”无非就是：对应于第k 轮联赛（时刻k），如果我们进行观测，则得到这场比赛的结果Ak（Ak可以是1:0，2:1，3:3……等等）。如果完整地把这个球队的“历史”写出来，则大概是这个样子：
　　1:2， 2:3， 1:1， 4:1， 2:0， 0:0， 1:3……

　　到现在为止，因为我们处理的都还是经典概率，所以它们是“可加”的！也就是说，如果我们有两种历史a和b，它们发生的概率分别是Pa和Pb，则“a或者 b”发生的概率就是Pa＋Pb。拿我们的例子来说，如果我们想问：“净胜2球的可能性是多少？”，那么它必然等于所有“净胜两球”的历史概率的总和，也就是P(2:0)＋P(3:1)＋P(4:2)＋…这看起来似乎是天经地义。

　　但让我们回到量子论中来。。。。。这也就是为什么在双缝实验中，我们不能说“电子要么通过左缝，要么通过右缝”的原因，它必定同时通过了双缝，因为这两种历史是“相干”的！

　　回到我们的足球比喻，在一场“量子联赛”中，所有可能的历史都是相干的， 1:0这种历史和2:0这种历史互相干涉，所以它们的概率没有可加性！也就是说，如果1:0的可能性是10％，2:0的可能性是15％，那么“1:0或者 2:0”的可能性却不是25％，而是某种模糊的东西，它无法被赋予一个概率！。。。

　　那我们还能做什么呢？但是且莫着急，因为奇妙的事情马上就要发生了：虽然我们无法预测“1:0或者2:0”的概率是多少，然而我们却的确可以预言“胜或者平”的概率是多少！这都是因为“退相干”机制的存在！

　　魔术的秘密在这里：当我们不关心一场比赛的具体比分，而只关心其胜负关系的时候，我们实际上忽略了许多信息。比如说，当我们讨论一种历史是“胜，胜，平，负，胜，负……”，而不是具体的比分的时候，我们实际上构建了一种“粗略的”历史。在每一轮联赛中，我们观察到的态Ak都包含了无数种更加精细的态。例如当我们说第二轮球队“胜”的时候，其中包括了1:0，2:1，2:0，3:1……所有可以归纳为“胜”的具体赛果。在术语中，我们把每一种具体的可能比分称为“精粒历史”（fine-grained history），而把类似“胜”，“负”这样的历史称为“粗粒历史”（coarse-grained history）。

　　再一次为了简便起见，我们仅仅考察一场比赛的情况。对于单单一场比赛来说，它的“粗粒历史”无非有3种：胜，平，负。如果“胜”的可能性是30％，“平”的可能性是 40％，那么“非胜即平”，也就是“不败”的可能性是多少呢？大家对我们上面的讨论还记忆犹新，可能会开始担忧，因为量子论或许不能给出一个经典的概率来，但这次不同了！这一次，量子论给出了一个类似经典概率的答案：“不败”的概率＝30＋40＝70％！

　　这是为什么呢？原来，当我们计算 “胜”和“平”之间的关系时，我们实际上计算了所有包含在它们之中的“精粒历史”之间的关系！如果我们把“胜”和“平”放到矩阵中去计算，我们的确也会得到干涉项如（胜，平），但这个干涉项是什么呢？它是所有组成两种粗粒历史的精粒历史的干涉之和！也就是说，它包括了“1:0和0:0之间的干涉”，“1: 0和1:1之间的干涉”，“2:0和1:1之间的干涉”……等等。总之，每一对可能的干涉都被计算在内了，我们惊奇地发现，所有这些干涉加在一起，正好抵消了个干净。当最后的结果出来时，“胜”和“平”之间的干涉项即使没有完全消失，也已经变得小到足以忽略不计。“胜”和“平”两种粗粒历史不再相干，它们 “退相干”了！

　　在量子力学中，我们具体可以采用所谓的“路径积分”（path integral）的办法，构造出一个“退相干函数”来计算所有的这些历史。我们史话的前面已经略微提起过路径积分，它是鼎鼎有名的美国物理学家费因曼在 1942年发表的一种量子计算方法，费因曼本人后来也为此与人共同分享了1965年的诺贝尔物理奖。路径积分是一种对于整个时间和空间求和的办法，当粒子从A地运动到B地，我们把它的轨迹表达为所有可能的空间和所有可能的时间的叠加！我们只关心它的初始状态和最终状态，而忽略它的中间状态，对于这些我们不关心的状态，我们就把它在每一种可能的路径上遍历求和，精妙的是，最后这些路径往往会自相抵消掉。

　　在量子足球场上发生的是同样的事情：我们只关心比赛的胜负结果，而不关心更加细微的事情例如具体的比分。当我们忽略具体比分的时候，事实上就对于每一种可能的比分（历史）进行了遍历求和。当所有的精粒历史被加遍了以后，它们之间的干涉往往会完全抵消，或者至少，几乎完全抵消。这个时候，经典概率就又回到桌面上来，两个粗粒历史的概率又变得可加了，量子论终于又可以管用了！我们也许分不清一场比赛究竟是1:0还是2:0，但我们无疑可以分清一场比赛究竟是赢了还是平了！因为这两种历史之间不再相干！

。。。最后，“我们观测到电子在左”和“我们观测到电子在右”两个粗粒历史退相干了，它们之间不再互相联系，而我们只能感觉到其中的某一种！

。。。　　按照历史颗粒的粗细，我们可以创建一棵“历史树”。还是拿我们的量子联赛来说，一个球队在联赛中的历史，最粗可以分到什么程度呢？也许我们可以把它仅仅分成两种：“得到联赛冠军”和“没有得到联赛冠军”。在这个极粗的层面上，我们只具体关心有否获得冠军，别的一概不理，它们都将在计算中被加遍。但是我们也可以继续“精确”下去，比如在“得到冠军”这个分支上，还可以继续按照胜率再区分成“夺冠并且胜率超过50％”和“夺冠但胜率不超过50％”两个分支。类似地我们可以一直分下去，具体到总共获胜了几场，具体到每场的胜负……一直具体到每场的详细比分为止。当然在现实中我们仍可以继续“精粒化”，具体到谁进了球，球场来了多少观众，其中多少人穿了红衣服，球场一共长了几根草之类。但在这里我们假设，一场球最详细的信息就是具体的比分，没有更加详细的了。这样一来，我们的历史树分到具体的比分就无法再继续分下去，这最底下的一层就是“树叶”，也称为“最精粒历史”（maximally
　　fine-grained histories）。
　　对于两片树叶来讲，它们通常是互相相干的。我们无法明确地区分1:0获胜和2:0获胜这两种历史，因此也无法用传统的概率去计算它们。但我们可以通过适当的粗粒化来构建符合常识的那些历史，比如我们可以区分“胜”，“平”和“负”这三大类历史，因为它们之间已经失去了干涉，退相干了。如此一来，我们就可以用传统的经典概率来计算这些历史，这就形成了“一族”退相干历史（a decoherent family of histories），只有在同一族里，我们才能运用通常的理性逻辑来处理它们之间的概率关系。有的时候，我们也不说“退相干”，而把它叫做“一致历史”
（consistent histories），DH的创建人之一格里菲斯就爱用这个词，因此“退相干历史”也常常被称为“一致历史”解释，更加通俗一点，也可以称为“多历史” （many histories）理论。

　　一般来说，在历史树上越接近根部（往上），粗粒化就越厉害，其干涉也就越小。当然，并非所有的粗粒历史之间都没有干涉，可以被赋予传统概率，具体地要符合某种“一致条件”（consistency condition），而这些条件可以由数学严格地推导出来。

。。。　　正如我们已经为大家所描述过的那样，在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的另一个难题是，在理论中实际上存在着种类繁多的“退相干族”，而我们在现实中观察到的却只有一个！还是拿我们的量子联赛来说，就单单一场比赛而言，我们在前面定义了一个退相干族，也就是“胜，平，负”。这一族中包含了 3大种粗粒历史，它们之间都互相退相干。这看上去一点都不错，但问题是，并不只有“胜，平，负”这样的分法是可能的，还有无穷种其他的分法，其中的大部分甚至是千奇百怪，不符合常识的，但理论并没有解释我们为何观测到的不是这些另外的分类！

　　比方说，我们从理论上定义3种历史：“又胜又平”， “又胜又负”，“又平又负”，这3种历史在数学上同样构成一个合法并且完好的退相干族：它们的概率可以经典相加，你无论观测到其中的哪一种，就无法再观测到另外的两种。但显然在实际中，一场比赛不可能“又胜又负”，那么DH就欠我们一个解释，它必须说明为什么在现实中的比赛是分成“胜，平，负”的，而不是 “又胜又平”之类，虽然它们在数学上并没有太大的不同！

　　在这个问题上，DH的辩护者也许会说，理论只有义务解释现实的运作，而没有义务解释现实的存在！我们是从现实出发去建立理论，而不是从理论出发去建立现实！。。。

　　不过DH的支持者如果护定这样一种实证主义立场的话，他们也许暂时忽略了建立这个理论的初衷，也就是摆脱玻尔和海森堡的哥本哈根解释——那可是最彻底的实证主义！不管怎么说，在这上面DH的态度是有些尴尬的，而有关量子力学的大辩论也仍在进行之中，我们仍然无法确定究竟谁的看法是真正正确的。量子魔术在困扰了我们超过100年之后，仍然拒绝把它最深刻的秘密展示在世人面前。也许，这一秘密，将终究成为永久的谜题。