两种记录范式互不蕴含
退相干历史与量子达尔文主义都在问:孤立量子系统中的哪些事件会留下记录。但两者的问法不同。退相干历史用退相干历史条件判断最终波函数中哪些过去事件可以被无歧义地区分;它指出哪些是形式上的记录,却不追问观察者如何获取这些记录。量子达尔文主义则描述一种机制:开放系统某些偏好“指针态”的信息被复制到许多环境碎片中,使当前状态获得冗余编码。
论文明确指出,这两个框架互不蕴含,而它们之间的联系很少被研究。这正是论文要处理的问题:按“记录”一词的日常含义,它指向此前发生的事,但冗余的标准定义却写成单时刻量,描述量子态中的类空关联。只要给定时刻 t 的全局态,这些定义无需参照动力学,也无需计算双时刻关联,就能被判定。
记录指向过去而非当下
论文的出发点是:记录被用来推断曾经发生了什么,而不是正在发生什么。宇宙微波背景携带的是约 135 亿年前复合时期宇宙的印记,尽管今天的宇宙已不再是那个样子。恐龙化石证明恐龙曾经存在,而不是现在仍存在。论文把同样的逻辑延伸到量子实验:实验结果指向量子系统过去的状态;即使我们“现在”看到一个物体,实际看到的也是它在 d/c 时间之前的状态,其中 d 是距离,c 是光速。
这一点之所以重要,是因为论文回顾的三种量子达尔文主义定义——量子互信息的冗余平台、谱广播结构,以及分支形式的波函数——即使在多个时刻依次评估,也不蕴含关于过去的记录会形成。广义 CNOT 扇出电路确实会产生过去冗余,但方式相当平凡。真正有意思的主张在反方向:更大一类情形可以产生过去冗余,却不产生量子达尔文主义。
过去冗余补充了什么
过去冗余是相对于事件变量和记录变量定义的,而不是相对于约化密度矩阵。这一选择去掉了标准处理中的两个假设:定义不依赖系统与环境的张量积结构,也不依赖谱广播结构或分支形式所内置的那种条件独立性。它直接要求过去事件存在经典可获取的记录,并且可以处理多个时刻的多个事件。
该框架保留了论文在量子达尔文主义中指出的三个特征。单条记录不必理想,也可能只揭示事件的很少信息,因为重要的是大量冗余记录。经典互信息中出现冗余平台,使这一概念获得信息论基础,同时避免量子互信息可能包含大量实际不可获取关联的问题。量子达尔文主义与环境污染诱导退相干产生的指针基相联系,而过去冗余则与退相干历史的存在相联系。
保真度连接冗余与历史退相干
连接两种范式的技术桥梁是 Bhattacharyya 系数,也称保真度。论文通过这一量把冗余与历史的退相干以及概率求和规则联系起来,使同一个对象既能衡量两条历史分支保持多大可区分性,也能衡量环境碎片携带多少冗余信息。
散射光子的计算展示了各部分如何衔接。对于由 n 个模式组成的碎片 F,最优区分策略可以用由分束器和移相器构成的无源光学网络实现,随后进行 Helstrom 测量;它不需要对碎片做全局优化测量,局域操作与经典通信协议就足够。区分两个相干态分支的成功概率为 (1 + sqrt(1 - e^{-4||lambda_F||^2}))/2,论文绘制的经典互信息正是由这些条件概率构建的。在除以概率前因子之后,两条历史分支之间的退相干按 exp(-2|alpha(t)|^2 - 2||lambda_F'||^2) 衰减。由于二次旋转波哈密顿量保持相干态振幅平方总和不变,在长时间下 alpha(t) 近似为零时,大小为 n 的碎片平均携带 ||lambda_F(t)||^2 = (n/N)|alpha(0)|^2。因此,冗余与退相干是从同一份振幅预算中读出的,而不是被当作两种彼此独立的现象。
无需指针态的无情克隆
论文区分了两种能产生过去冗余的机制。一种是量子达尔文主义机制,Zurek 将其概括为环境“无情地克隆”环境选定的指针态信息。这一机制也会产生过去冗余,但它不是唯一途径;它依赖明确定义的指针基,并可能产生脆弱的记录——这些记录在形式上填满冗余平台,实际上却无法探测。
另一条途径经由宏观事件。宇宙微波背景中的光子是在约 135 亿年前的电子—质子复合过程中释放的,其中并不涉及对光子的无情克隆;一般来说能量守恒禁止这样做,守恒定律对信息的冗余克隆施加了严格限制。恐龙骨骼编码的是关于已灭绝物种的生物学信息,与任何指针基无关;论文引用霸王龙的化石发现率介于每 16,000 个个体 1 具到每 80,000,000 个个体 1 具之间。光探测器这类破坏性量子测量通过亚稳态级联工作:单个光子的吸收触发宏观电信号,测量结束时不再有光子残留,光子系统与环境之间的量子互信息在几乎所有时刻都为零,指针基也不起作用。论文还指出,在其宏观叠加示例中,要产生冗余和退相干历史,需要较大的相干态振幅 alpha(0)。
精细调节让冗余显得罕见
论文认为,过去冗余比量子达尔文主义所需的精细调节模型所暗示的更为普遍。完美的量子达尔文主义施加了很强的约束:当系统与环境都由量子比特组成时,它实质上要求系统—环境哈密顿量具有几乎唯一的算符结构;即使放宽量子比特假设,仍会带来大量对易子约束。广义 CNOT 扇出幺正操作在测量理论、量子信息和量子基础中很常见,但真正非人工设计的物理系统极少服从它;论文指出,Serge Haroche 获得诺贝尔奖的原因之一,正是他的实验室能够实现服从该形式的量子非破坏测量,其中系统是微波腔,碎片是飞过腔的原子,而即便在这个装置中,偏离该形式的情况也仍然相关。
一旦不再要求记录必须与当前系统状态冗余关联,能产生冗余的模型类别就扩大了。论文报告,许多只支持时间性量子达尔文主义的模型支持永恒的过去冗余,热化也不再与冗余的出现相对立。这就是论文对最初推动该研究的问题的回答:冗余在自然界中有多普遍?论文把这一回答表述为向前迈出的一步,而不是完整的分类,因为产生不完美、近似量子达尔文主义的模型类别目前仍属未知。
冗余是客观性的必要非充分条件
更丰富的图景伴随着一个更明确的判断:冗余是客观性的必要条件,但不是充分条件。冗余可以来自量子达尔文主义之外的机制,包括宏观事件和级联结构;因此,观察到冗余平台本身并不能证明它由指针态克隆产生,也不能证明这些记录稳健或在实践中可获取。
散射光子案例是论文强调这一点的关键。光子是量子达尔文主义的理想候选,因为它们天然构成无相互作用的环境;然而论文以对这一案例的批判性讨论收尾,而不是把它当作默认情形。由此得出的实际优先事项是:追问某个冗余由哪种机制产生,以及记录是否稳定、是否经典可获取,而不只是看是否出现平台。论文指出,亚稳态量子结构和量子级联系统是理解宏观事件与冗余的值得探索的方向,并称这一方向在关注基础问题的研究者中受到的关注很少。
本文引用的文献
Redundant Records of the Past: Unifying Quantum Darwinism and Decoherent Histories
提出过去冗余框架:它把量子达尔文主义作为当下时刻的极限情形包含在内,通过 Bhattacharyya 系数把冗余与历史退相干及概率求和规则联系起来,并表明冗余出现在超出精细调节量子达尔文主义设定的模型中。
