有序补丁理论

原始任务 P-2：通过量子纠错导出希尔伯特空间 问题： 将格里森定理作为玻恩规则的推导，部分上是循环论证，因为它预设了希尔伯特空间几何，却没有推导出为何预测空间会采取这种形式。 交付内容： 给出解析性推导，说明希尔伯特空间的逻辑量子比特结构如何自然地从作为纠错码运作的编解码器中涌现出来。

闭合状态：条件性对应。 本附录勾勒了从经典信息论到量子力学的桥梁。它并不直接从有序补丁理论 (OPT) 的基本原语中推导出量子场，而是建立一种严格的条件性结构对应：精确刻画 OPT 编解码器必须满足哪些物理性质，量子力学才会从中涌现。我们将这一过渡分离为明确的桥接公设。在这些条件下，T-3 中所映射的结构同源性被提升为严格的算子代数等距，从而强制离散的 Ryu-Takayanagi 极限（P-2d），并孤立出玻恩规则（P-2e）。如何从 OPT 框架物理学中有机地导出这些公设，仍然是该理论的核心开放问题。

§1. 代数挑战

附录 T-3 提出了经典 OPT 信息瓶颈算法与量子 MERA 张量网络之间的一种结构同态。然而，纯粹的经典随机矩阵既不能分离量子振幅态，也不能执行幺正操作。

要跨越经典容量界与量子代数之间的边界，就必须以功能映射的方式来处理这一问题。我们在此分离出强制实现部分等距映射所需的条件。我们并不声称能够从经典要素中推导出微观物理意义上的量子结构；相反，我们追踪的是这样一组精确的条件性公设：在这些公设成立时，该边界可映射到一个代数量子场论（AQFT）因子，并生成经过纠错的拓扑等距映射。

§2. P-2.0：计算基嵌入

在应用场论式公设之前，离散的有序补丁理论 (OPT) 经典字母表 \mathcal{Z} 必须先在数学上映射到一个量子计算基中。

桥接公设 0（计算基）： 离散经典状态 z \in \mathcal{Z} 以单射方式映射到一组正交归一的计算基 \{|z\rangle\}，该基张成目标希尔伯特空间 \mathbb{C}^\chi。

定理 P-2.0： 在桥接公设 0 成立的前提下，经典解纠缠器置换矩阵 U_\tau \in S_{|\mathcal{Z}|} 可独立提升为精确的酉算符，并作用于 U(\mathbb{C}^\chi) 的置换子群上。

这一条件确保了后续有限维步骤中对迹进行形式化求值所必需的离散字母表结构。

§3. P-2a：Bisognano-Wichmann 分类

要在功能上将编解码器边界视为一种代数量子视界，必须满足严格限制，方可使 Bisognano-Wichmann 分类定理获得适用许可。

桥接公设 1（CCR）： 连续边界极限处的马尔可夫毯变量满足正则对易关系：[\phi(x), \pi(y)] = i\hbar\,\delta(x-y)。（这是将该边界视为取算符值的量子场所必需的。）

桥接公设 2（Rindler 视界类比）： 该边界视界具有全局洛伦兹对称性，并作用于处于真空态的量子场，在数学上类似于一个加速的 Rindler 楔区。

桥接公设 3（Haag-Kastler 极限与分裂性质）： 该序列的边界代数满足 AQFT 的 Haag-Kastler 网公理：局域性、协变性以及正谱能流性质。此外，该网还满足 AQFT 的分裂性质，从而建立局域的 I 型因子，使得可将其限制到有限维子空间。

定理 P-2a（条件性 III_1 型因子）： 在桥接公设 1、2 与 3 成立的前提下，Bisognano-Wichmann 定理（1975）有条件地适用。由此生成的模流可映射为几何性的洛伦兹 boost。Connes 分类保证，构成该视界的场在精确意义上表现为一个 III_1 型 von Neumann 因子。

§4. P-2b：噪声韧性与 ADH 映射

全局定义的 III_1 型 von Neumann 因子并不容许标准的有限维迹类密度矩阵。为了评估由 Almheiri、Dong 和 Harlow（ADH）所建立的体-边界对偶性，我们必须对该代数加以限制。

桥接公设 4（Knill-Laflamme 条件）： 经典编解码器序列在内在上构成一个连续的量子纠错码（QECC），并满足精确的 Knill-Laflamme 界限。

定理 P-2b（条件性 ADH 全息性）： 在给定 BP 4 以及由 BP 3 提供的显式 split-property 正则化的前提下，该代数可被条件性地限制到局部有限维的逻辑编码子空间 \mathcal{C}^{(\tau)} 中。在这一受限子空间内，外部边界噪声经由 Knill-Laflamme 映射被滤除，从而在边界上恢复出与 ADH 定理一致的局域体算符。

§5. P-2c：受限的 Stinespring 迹代数

要在数学上解决数据压缩问题，就需要将经典粗粒化步骤 W_\tau 与部分等距 MERA 伴随映射 w_\tau^\dagger 的作用对应起来。

根据 Stinespring 扩张定理，一个完全正且保迹（CPTP）映射意味着存在一个一般性的等距扩张/恢复结构 V: \mathcal{H}_S \to \mathcal{H}_S \otimes \mathcal{H}_E。这一一般性存在定理并不会天然地将 OPT 经典矩阵 W_\tau 识别为该等距映射本身。这个识别必须通过桥接来建立。

桥接公设 5（酉协变噪声）： 映射信道上的环境噪声可表述为严格的酉协变映射：\mathcal{N}(U\rho U^\dagger) = U\,\mathcal{N}(\rho)\,U^\dagger。

桥接公设 6（等距映射识别）： 经典粗粒化矩阵 W_\tau 可被同一地转译为：对精确 MERA 等距映射的伴随 w_\tau^\dagger 在环境上执行 CPTP 迹计算所得的结果。

定理 P-2c（条件性受限等距）： 在给定 BP 4、BP 5 与 BP 6 的条件下，经典粗粒化算法可成功映射为一个部分线性等距映射的伴随。 证明思路： 受限编码子空间上的精确 QEC（BP 4）提供了一般性的可恢复性。与其断言该扩张会自动强制内积等价性，不如说 BP 6 明确弥合了这一缺口，公设经典矩阵可同一地转译为量子扩张的迹分量。因此，在有限维编码子空间上，经典映射在操作意义上表现为目标 MERA 等距映射的伴随。

§6. P-2d：Ryu-Takayanagi 与施密特秩

经典的有序补丁理论 (OPT) 框架对连续信道容量施加限制，将其映射为边界 \chi_\text{classical} = 2^{B_0/N}。为了使该目标映射作为一个有效的精确希尔伯特空间维数，而非连续的有效尺度来发挥作用，它明确施加了整数容量约束 2^{B_0/N} \in \mathbb{Z}^+。

定理 P-2d（条件性 Ryu-Takayanagi 极限）： 在 P-2c 已成功实现、并将操作限制为精确线性等距映射的前提下，经典容量维数（\chi_\text{classical}）在形式上确立了网络键上的量子施密特秩（\chi_\text{quantum}）。这种等价性严格地产生了离散的 Ryu-Takayanagi 熵极限。

证明思路： 当经典矩阵被有条件地识别为真正的部分等距映射（P-2c）时，被映射信道的维数就限制了连接 MERA 节点的虚拟几何键。在量子态中，跨越任意拓扑边界的最大二分纠缠由最小割 \gamma_A 明确地加以结构化，而每个切割处的局域希尔伯特空间维数则由该键的施密特秩所确立。由于瓶颈容量决定了这一秩（\chi_\text{classical} = \chi_\text{quantum}），几何纠缠便在形式上被最小割严格界定： S_{\text{vN}}(\rho_A) \le |\gamma_A| \log \chi_\text{quantum}

§7. 拓扑相干性与 Gleason 迹

要生成 Born 规则，就必须超越统计性的对角概率，并分离出非对角框架 \rho_{zz'}。

桥接公设 7（Kochen-Specker 非语境性）： 与某一预测输出分支相关联的概率赋值，独立于其他彼此可共同测量的正交路径。

定理 P-2e（条件性 Born 规则表述）： 在给定 BP 7 的前提下，并假定 OPT 算法所赋予的投影概率构成完备的数学框架函数，则 Gleason 定理可在条件上导出 Born 规则。

证明思路： 通过对有限离散基空间进行尺度化而确立的最小维度限制，自然满足 \dim(H) \ge 3。若进一步假定这些概率性预测结构满足完备框架函数 \mu(P) 的数学要求，且其求和为 1，则 Gleason 定理（1957）指出，映射该空间的有效概率测度只有一种： \mu(P) = \text{tr}(\rho_t\, P) 这一结果唯一地生成 Born 规则的迹形式，从而在条件上验证了概率性量子矩阵映射的转移。

本附录作为 OPT 项目仓库的一部分进行维护，并与 theoretical_roadmap.pdf 一并保存。参考文献：Almheiri-Dong-Harlow (2015), Takesaki (2003), Holevo (1973), Knill-Laflamme (1997), Gleason (1957), Bisognano-Wichmann (1975)。