Relative State Quantum Logic

以下是 M.P. Vaughan 的论文《相对态量子逻辑》的通俗解释，其中使用了类比。

宏观图景：为何量子逻辑如此怪异

想象你正在编写一本关于宇宙如何运作的规则手册。在我们日常的世界（经典逻辑）中，规则很简单：

分配律：如果你有一个红球或一个蓝球，并且你问“它是一个球吗？”，答案是“是”。无论你先对颜色进行分组还是先对形状进行分组，逻辑都成立。
问题所在：在量子世界（原子和粒子的世界）中，这条规则会失效。如果你试图结合观察粒子的两种不同方式（例如它的位置和速度，它们是“共轭变量”），数学就会变得混乱。量子逻辑的标准规则手册（由 Birkhoff 和 von Neumann 于 1936 年创建）指出，如果你试图结合这两种观点，结果将是“无”（零概率）。

作者的论点：
作者 M.P. Vaughan 认为，这份标准规则手册是不完整的。他主张，数学之所以失效，是因为标准模型将粒子视为处于真空中孤立存在。实际上，粒子总是与其周围环境（环境）相互作用的。

Vaughan 提出了一种看待此事的新方法，称为“相对态量子逻辑”。我们不再问“粒子在做什么？”，而是问“相对于环境对其所知的情况，粒子在做什么？”

用类比解释的关键概念

1. “黑箱”与“故事书”

旧观点（Birkhoff/von Neumann）：
想象粒子是一个藏在黑箱里的秘密。一旦你打开箱子测量它，秘密就被揭示，箱子变空了。旧逻辑认为箱子不能同时容纳两个不同的秘密。如果你问：“秘密是‘红色’且‘蓝色’吗？”答案是“不可能”。

新观点（相对态）：
想象粒子是故事中的一个角色，而环境是一本记录角色历史的笔记本。

当粒子改变状态时，它不仅仅是“坍缩”到一个新状态；它会在笔记本中写入一条新条目。
如果笔记本清晰地记录了历史，我们可以回顾并看到：“首先，粒子处于状态 A，然后它移动到了状态 B。”
作者将这些条目称为“部分相对态”。它们就像是环境中的脚注，告诉我们系统的历史。

2. “不可交换”的三明治

在量子力学中，事件的顺序很重要。如果你先测量粒子的位置，再测量它的速度，得到的结果与你先测量速度再测量位置的结果不同。

类比：想象制作三明治。
- 顺序 A：在面包上涂花生酱，然后涂果酱。
- 顺序 B：在面包上涂果酱，然后涂花生酱。
- 这是两个不同的三明治，尽管它们含有相同的食材。
论文的声称：标准逻辑说你不能拥有同时包含这两种食材的三明治，因为它们是“不相容”的。Vaughan 说：“不，你可以拥有这个三明治，但顺序很重要。”得到“先花生酱后果酱”三明治的概率与“先果酱后花生酱”的概率是不同的。
转折：作者表明，如果你查看“笔记本”（环境），你可以为这两个事件定义一个逻辑上的“且”（AND），但它是不可交换的（顺序很重要）。

3. “雾”与“晴空”（干涉）

为什么逻辑会变得如此怪异？论文认为这是因为干涉，就像雾一样。

雾：当环境不知道粒子在做什么时，粒子存在于可能性的“雾”中。它就像扩散开的波。这种雾导致“分配律”失效。数学中包含了使概率表现奇怪的“干涉项”（交叉项）。
晴空：当环境确实记录了信息（就像笔记本填满了清晰的笔记）时，雾就散了。干涉项消失了。
结果：一旦环境拥有了信息，怪异的量子逻辑开始看起来像正常的、日常的逻辑。通常失效的“分配律”突然又开始起作用了！

4. 真、假与“也许”（三值逻辑）

标准逻辑是二元的：一个陈述要么为真，要么为假。

问题：在量子力学中，粒子可能处于一种状态，即它有 50% 的可能性在这里，50% 的可能性在那里。陈述“粒子在这里”是真还是假？都不是。
解决方案：作者建议我们需要一种三值逻辑：
1. 真：概率为 100%（确定）。
2. 假：概率为 0%（不可能）。
3. 不确定：概率介于两者之间（例如 50%）。

关键点：尽管我们有了“也许”这一类别，但作者认为经典规则“一个事物要么为真，要么不为真”（排中律）仍然成立。

类比：如果我问“是在下雨，还是没在下雨？”，答案总是“是”（真），即使我不知道具体是哪一个。“不确定”状态仅仅意味着我们不知道具体事实，但逻辑结构依然稳固。

论文主张的总结

历史很重要：如果不了解其历史，你就无法理解一个量子系统。环境充当了这段历史的存储设备。
顺序很重要：结合两个不同的量子测量（共轭变量）是可能的，但你执行它们的顺序会改变结果。标准逻辑未能捕捉到这一点。
信息驱散了迷雾：量子逻辑的“怪异之处”（如分配律的失效）是由信息传递的缺乏引起的。当信息从系统流向环境时，怪异之处就会消退，经典逻辑重新出现。
新的逻辑系统：我们应该停止试图将量子力学强行塞入“真/假”的框框。相反，我们应该使用一个“真/假/不确定”的系统，该系统尊重概率，同时保持基本逻辑定律的完整性。

论文并未声称的内容：

它并未声称彻底解决了“测量问题”（即为什么我们看到的是一个结果而不是叠加态）；它只是提供了一个新的逻辑框架来描述它。
它并未提出新的医疗或技术应用。
它并未说环境在物理意义上导致了坍缩，而是说环境中信息的记录使得逻辑表现得像经典逻辑。

简而言之，该论文认为逻辑在量子世界中并没有崩溃；我们对它的看法只是缺少了环境的背景。一旦我们将环境关于系统历史的“笔记”包含在内，逻辑就变得一致了，即使这需要一种新的三值真值系统。

技术摘要：相对态量子逻辑

问题陈述
本文探讨了标准 Birkhoff-von Neumann（BvN）量子逻辑表述中的根本局限性。在 BvN 方法中，关于物理可观测量的命题被映射到希尔伯特空间的子空间，其中逻辑合取对应于子空间交集，逻辑析取对应于子空间和。该框架产生了一个非分配格。当考虑非正交向量（代表共轭变量或不同时间的测量）的合取时，会出现一个关键问题。在 BvN 逻辑中，两个不同的非正交子空间的交集是零空间，这意味着合取总是为假（ $P(\phi \land \chi) = 0$ ）。然而，量子力学规定，给定系统处于 $|\chi\rangle$ 态时，发现其处于 $|\phi\rangle$ 态的条件概率 $P(\phi|\chi) = |\langle \phi|\chi \rangle|^2$ 是非零的。这与经典条件概率定义 $P(\phi|\chi) = P(\phi \land \chi)/P(\chi)$ 产生不一致，表明 BvN 逻辑无法充分描述共轭变量或测量序列的合取。此外，标准方法将系统视为孤立存在，忽视了系统的历史演化以及过去状态信息被记录的机制。

方法论
作者基于扩展至包含环境的相对态表述（Everett 诠释），开发了一种“投影量子逻辑”。方法论通过以下几个关键步骤进行：

系统 - 环境建模：物理系统 $S$ 被视为更大的二分系统 $S \otimes E$ （系统和环境）的一部分。总态被表示为系统态 $|\phi_i\rangle$ 与环境相对态 $|R_i(t)\rangle$ 纠缠的叠加态。
部分相对态：引入了一个新概念，即“部分相对态”编码了历史信息。如果系统经历一系列测量（例如，首先在基 $\phi$ 中测量，然后在共轭基 $\chi$ 中测量），环境会存储关于这两个事件的信息。如果对应于不同历史的相对态变得正交，则信息被完整记录；如果它们保持非正交，则信息丢失或模糊。
推广至 POVM：为了处理共轭变量（非对易可观测量）的合取，本文超越了仅限于正交子空间的投影值测度（PVM），转而利用正算子值测度（POVM）。利用 Naimark 扩张定理，作者证明了系统希尔伯特空间上的 POVM 可以映射到更大希尔伯特空间（系统加环境）上的 PVM。
逻辑算子：本文通过构建源自相对态展开的特定 POVM 元素，定义了共轭变量的逻辑合取与析取。此外，还引入了一元真值算子（ $T, F, U$ ），将连续概率值映射为“真”、“假”和“不确定”的三元逻辑。

主要贡献与结果

非对易合取：本文证明了共轭变量（例如 $\phi \land \chi$ ）的逻辑合取是良好定义的，但是非对易的。序列 $\phi$ 然后 $\chi$ 的概率与 $\chi$ 然后 $\phi$ 不同。本文认为，BvN 逻辑在此处失效，因为它将合取视为子空间的静态交集，而相对态方法正确地模拟了测量过程的序列性和时间依赖性。
通过信息传递恢复分配律：在标准量子逻辑中失效的分配律（ $A \land (B \lor C) = (A \land B) \lor (A \land C)$ ）被证明在特定条件下会重新出现。量子逻辑结果与经典逻辑结果之间的差异直接正比于干涉项。当关于系统状态的信息传递到环境中（即当相对态变得正交）时，这些干涉项会被抑制。因此，经典逻辑作为最大信息传递（退相干）的极限而出现，而量子非分配性则源于缺乏此类信息。
正交补三元逻辑：作者提出将量子概率映射到具有真值（ $P=1$ ）、假值（ $P=0$ ）和不确定值（ $0 < P < 1$ ）的三元逻辑。与其他三元逻辑（如 Kleene 或 Lukasiewicz 逻辑）不同，该方案保留了排中律（ $T(X \lor \neg X)$ ），因为逻辑保持正交补性质。“不确定”状态处理了量子结果的概率性质，同时不违反基本重言式。
条件态：发展了一种“条件态”的形式体系，允许定义代表特定“事态”的状态（例如，给定环境处于 $|R\rangle$ 态，系统处于 $|\chi\rangle$ 态）。这为在逻辑内部处理条件概率提供了一种严谨的方法。

意义与主张
本文声称提供了一个框架，解决了 BvN 方法与涉及共轭变量的序列测量的概率性质之间的不一致性。通过将焦点从孤立系统转移到系统与环境的信息传递，作者认为：

波函数的“坍缩”可以理解为通过正交相对态在环境中记录历史信息。
量子逻辑的非经典特征（非分配性）并非逻辑的内在缺陷，而是由于关于系统历史的信息不完整所导致的干涉效应的后果。
经典逻辑并未被取代，而是当信息传递足以抑制干涉时，作为极限情况而出现。
从概率论映射而来的三元逻辑比二元逻辑更适合作为量子推理的基础，因为它在保持逻辑一致性（特别是排中律）的同时，容纳了量子态的“不确定”性质。

作者将此工作定位为投影量子逻辑的初步描述，强调信息理论与逻辑结构之间的概念联系，而非一个完全公理化的系统。其意义在于将量子逻辑异常重新框架化为相对于观察者环境的信息缺失。