薛定谔的猫是一个被反复讲述的故事，但它的真正刺痛之处往往在讲述中被稀释了。问题不在于猫怎么知道自己是死是活，那是一个拟人化的误读。真正的刺痛在于：如果量子力学是普适的，那么一个由原子构成的猫，为什么不能像原子一样处于死与活的相干叠加之中？为什么宏观世界看起来永远只有一个确定的结果？
过去四十多年里，一个被称为退相干的理论纲领，对这个问题给出了当代物理学中最扎实、最定量、也最容易被过度解读的回答。
说它扎实，是因为退相干的核心机制已经被实验反复确认，它的预言可以在介观尺度上被定量检验。说它容易被过度解读，是因为一个反复出现的误读是：退相干解决了量子测量问题。恰恰相反。退相干之所以值得被单独拿出来讲清楚，正是因为它把测量问题中的一个子问题彻底澄清了，同时把另一个子问题原封不动地留在了原地。
环境在做什么：一场永不停止的监视
退相干理论的起点是一个几乎所有教科书都会提到、却很少被认真对待的事实：没有任何量子系统是真正孤立的。 一个分子、一块晶体、一只猫，都浸没在光子、空气分子、热辐射的海洋里。这些环境组分每时每刻都在与系统发生散射和相互作用，而每一次相互作用，都是一次微小的信息提取。
设想一个处于两个位置叠加态的粒子。当环境中的一个光子从它身上散射出去时，光子的状态会依赖于粒子究竟在哪个位置而变得不同。如果粒子在位置 A，光子散射后的状态是某一种；如果粒子在位置 B，光子散射后的状态是另一种。于是，系统与环境的联合状态变得纠缠：粒子的位置信息被印刻到了逃逸出去的光子身上。
关键在于，环境中的光子一旦逃逸，就几乎不可能再回来与系统重新发生相干组合。 它所携带的哪条路径的信息，一旦泄露到环境中那无数个自由度里，就变得实际上不可回收。系统自身的干涉项，也就是叠加态中那些让 A 和 B 相互对话的非对角项，随之指数式地衰减。这就是退相干的核心物理：环境通过持续地记录系统的状态，摧毁了系统自身保持相干叠加的能力。
但这个记录不是中性的。并非所有状态都同等程度地容易被环境记录。那些与环境的相互作用对之不敏感的状态，会更快地成为系统实际呈现出来的选项。Zurek 给这个过程起了一个精确的名字：环境诱导超选择，简称 einselection；被选中的那些状态，叫作指针态。一只猫的死与活，一个仪器的指左与指右，之所以成为宏观世界中稳定的选项，正是因为它们是对环境耦合最稳健的那一组基。偏好基问题，为什么我们在经典世界中总是用某一组特定的物理量来描述系统，在退相干的框架下，从一个被默认为理所当然的起点，变成了一个可以从系统-环境相互作用中动力学地推导出来的结果。
更进一步，Zurek 等人发展的量子达尔文主义把这个图景推进了一层。退相干不仅选出了指针态，还让关于指针态的信息在环境中被冗余地复制。不同的观察者，各自截取环境的不同碎片，读到的却是关于同一个系统状态的相同信息。这就是客观性在量子世界中的 operational 含义：一个事实之所以是客观的，不是因为它独立于一切观察而存在，而是因为它可以被许多互不通信的观察者从环境中独立地提取出来，并得到一致的答案。退相干加上冗余记录，解释了为什么宏观世界看起来有一个所有观察者共享的、稳定的经典外观。
但是，看起来不等于是：被留下的那个问题
到这里，退相干已经完成了一件极其重要的事情。它解释了为什么宏观物体不会像电子那样显示干涉：因为环境在毫秒甚至更快的时间尺度上就摧毁了宏观叠加态的相干性。它解释了为什么经典世界的那组选项是死/活、左/右，而不是死+活、左−右。这些都不是哲学思辨，而是有定量内容和实验支撑的物理学。
然而，就在退相干做得最成功的地方，它撞上了一堵墙。
退相干之后的系统状态，不再是一个单纯的叠加态，而变成了一个系统与环境的纠缠态。用 Hobson 在 Physics Today 上那个清晰的表述来说：环境的相互作用把一个叠加态 \alpha|s_1\rangle + \beta|s_2\rangle 变成了纠缠的“测量态” \alpha|s_1\rangle|e_1\rangle + \beta|s_2\rangle|e_2\rangle，其中 |e_1\rangle 和 |e_2\rangle 是环境的两组正交态。干涉项从系统自身的密度矩阵中消失了，这一点没有疑问。但整个系统-环境联合态仍然是一个叠加态。它只是把同时处于两条路径的相干性，转移到了系统与环境之间的纠缠中。
这正是所谓的结果问题。退相干告诉你，为什么在环境介入之后，你不可能再观测到两个结果之间的干涉。但它没有告诉你，为什么在每一次具体的测量中，你经验到的是这一个结果，而不是那一个。Schlosshauer 在综述中明确写道，退相干并不单独提供测量问题的解决方案。Schlosshauer 和 Adler 都反复指出，退相干没有解决结果问题。用一句可以贯穿全部讨论的话来说：退相干告诉你为什么看起来只有一个结果，但不告诉你为什么只有这一个结果。
这不是一个措辞上的吹毛求疵。在退相干之后的混合态中，每一个分支都仍然以某种方式存在于联合波函数之中。要从中得到只有一个分支是实在的，需要的恰恰是退相干纲领本身无法提供的某种东西：一个本体论上的选择，一个关于什么才算存在的承诺。
一个不应被回避的争议：einselection 是循环的吗？
退相干的成功还引出了另一个更深层的批评，它直接关系到 einselection 的理论地位。Ruth Kastner 等人指出，einselection 的推导隐含地预设了它所试图解释的东西。
批评的逻辑大致是这样的：einselection 要起作用，需要环境具有足够多的、彼此近似独立的自由度，以便让系统信息不可逆地扩散出去，并且让不同的环境碎片可以被当作独立的记录来读取。但在一个严格封闭、只服从幺正演化的宇宙中，可区分的环境子系统并不是一个理所当然的给定物。把宇宙切分成系统和环境，并把环境进一步切分成许多近似独立的碎片，这一步本身就需要辩护。Kastner 的判词是：对可区分环境子系统的理论上的无根据假设，是使 einselection 的推导成为循环的隐藏前提；它在效果上预设了那些本应作为涌现结构被推导出来的东西。
这个批评是否致命，在文献中仍然有争议。退相干的辩护者可以论证，在具体的物理情境中，环境碎片之间的近似独立性本身就是一个可以被动力学地说明的物理事实，而不是一个逻辑上的预设。但无论如何，这个批评至少清楚地表明：einselection 不是一个已经结案的定理，而是一个仍在争论中的纲领。 把退相干写成已经解决了经典世界的涌现问题，在科普叙事上是有吸引力，但在学术上是不诚实的。
退相干作为枢纽：为什么它必须接入一个诠释
到这里，退相干的真实位置就变得清楚了：它是一个横跨所有诠释的物理约束，而不是一个与它们并列的第六种诠释。
一旦承认结果问题没有被退相干消解，每一个试图对量子力学做出完整本体论说明的诠释，都必须回答同一个问题：退相干之后，剩下的那个选择是怎么发生的？
多世界诠释把退相干当作自己最自然的盟友。如果所有分支都实在，那么退相干正好解释了为什么分支之间不再干涉，从而让每一个分支内部的观察者都经验到一个稳定的、准经典的World。einselection 则为为什么分支是按指针态分裂的提供了一个动力学候选。但 Kastner 的循环性批评恰恰瞄准的就是这个结合点：如果 einselection 本身预设了经典环境，那么多世界诠释借用它来解决偏好基问题，就可能是用一个未经辩护的前提去支撑另一个未经辩护的立场。
玻姆力学的处境不同。在玻姆力学中，粒子轨迹始终有确定位置，结果问题从一开始就不以同样的形式存在。退相干在这里的作用是说明：为什么有效波函数中那些与宏观指针态对应的分支会表现为空的，而粒子实际所在的那一支则表现为唯一的经典世界。退相干没有替玻姆力学做本体论工作，但它让玻姆力学的本体论与量子 formalism 的宏观外观之间变得融贯。
客观坍缩理论（GRW 等）走的是另一条路。它直接在动力学中引入一个非幺正的坍缩机制，结果问题是靠修改薛定谔方程来解决的。退相干在这里的角色是降低坍缩机制需要承担的负担：如果环境已经在极短时间尺度上抑制了宏观叠加态的相干性，那么坍缩理论只需要解释为什么某一个分支被选中，而不需要同时解释为什么干涉先消失了。退相干做了清理工作，坍缩机制做最后的本体论落定。
哥本哈根传统的实用主义立场则可能最为坦率，也最为回避。它可以把退相干当作坍缩公设的物理动机：环境耦合使得在指针基上应用 Born 规则成为一个在宏观尺度上极其自然的操作。但坍缩本身仍然被当作一个不可进一步分析的公设。退相干解释了为什么这个公设在实践中如此好用，但它没有解释这个公设为什么在根本上是正确的。
单独成章的价值，恰在于把问题留在正确的位置上
把退相干从五大诠释中单独拿出来，不是为了给它一个第六诠释的席位。它的价值恰恰在于：它让读者看到，在进入任何本体论承诺之前，量子力学已经在一个中性的、几乎无法拒绝的层面上澄清了什么，以及澄清的边界在哪里。
退相干把为什么宏观世界没有干涉和为什么宏观世界有确定结果这两个经常被混在一起的问题劈开了。第一个问题已经有了一个扎实的、可定量检验的物理回答，这个回答不需要事先选择多世界、玻姆还是 GRW。第二个问题则仍然完全敞开，而它的回答必然依赖于你愿意为量子力学加上什么样的本体论承诺。
一个好的科普处理，不应该用一个退相干诠释的标签把这道裂缝糊上。它应该让读者带着一个精确的、有方向感的问题离开这一章：机制已经在了，干涉已经没了，那剩下的那个这一个，到底是从哪里来的？ 这个问题没有标准答案，但它是一个比薛定谔的猫是死是活远为锋利的问题。后面的五大诠释，正是在用不同的方式试图回答它，而退相干，是它们共同出发的那条起跑线。
