被略去的整体

一台机器可以精确地完成信息交换，却并未因此做好再次工作的准备。两种量子描述可以彼此一致，直到另一个系统被接上。精细的运动可以从简化图像中消失，却仍在塑造它的未来。十四篇研究论文探讨的是：从一个物理整体走向我们所描述、所测量的那些部分，这段旅程中有什么必须幸存下来。

设想你要用一个更简单的系统去替换一个复杂的物理系统。

你对它的精细结构做平均。你保留大尺度的变量。你算出一个能量，它正确地描述了你选择保留的那些状态。一切看起来都已经就绪，可以换成一套更小、更易处理的理论了。

然后，你让这个系统动起来。

简化后的预言与完整的运动可能就此分道扬镳。藏在被丢弃的细节里的某种东西，仍在影响接下来发生的事。一张对某个问题足够用的快照，对下一个问题却不够用了。

互补优先基础成果发布 IV 中一个引人注目的例子走得更远：一个精细尺度的分量，其振幅可以变得任意小，却仍对粗粒化动力学保有有限的影响。它的尺寸在缩小，而作用于它的动力学强度却在增长。因为它看起来小就忽略它，就会错过它实际所做的事。¹

数学忘记了某种这个系统仍在使用的东西。

这是进入本次发布的一个入口。发布所跨越的领域包括：自主信息交换、磁单极子、量子复合、几何输运、超导响应，以及有效运动的涌现。这十四篇论文由综述《Records, Composition, and Controlled Dynamics》（记录、复合与受控动力学）汇集在一起，它们提出了一个共同的问题，却并不假装共享同一个物理模型：

在描述不再支撑我们想用它做的事情之前，我们究竟可以把一个物理整体略去多少？²

从互补关系到可用的物理

此前的《从关系到万物》系列文章，循着”一与多”这一古老问题、太极图中互相定义的形态，以及 DNA 的配对架构，追溯了这一研究纲领的灵感来源。

这些意象提示了一个并不寻常的出发点：也许关系并不只是已然完整的对象之间的连接。也许对象本身，是在一个更为根本的关系性整体之中获得其角色的。

DNA 同时也给出了一个警告。互补的双链并不会仅仅因为序列吻合就自我复制。复制需要机器、材料和能量。一种关系可以让某项操作成为可能，却并不因此提供完成它所需的一切。

这一区分延续到了发布 IV 之中。这一基础性提议仍然是一个解释性的出发点，而不是物理理论的替代品。数学工作仍须明确指出：系统是什么、它们如何相互作用、什么可以被制备，以及一次测量返回什么。³

新的发布把这些问题带入了细节开始变得举足轻重的具体构造之中。一台机器在两次操作之间必须保留什么？哪些取向标签能在量子复合中幸存？一个被略去的模式何时会以记忆的形式回来？什么样的资源，才能把一个计算出来的信号变成一个可测量的信号？

这一纲领正在从追问”哪些结构是可能的”，转向追问这些结构在什么时候才能真正被一起使用。²

只工作一次的机器，还没有学会重复

想象一位信使抵达一个处理站。它携带着新鲜的信息。站内存放着一个旧的结果。任务是：用送来的载荷替换站内的内容，并让信使带着旧的输出离开。

在第一篇”自主源刷新”论文中，这个故事成为一个有限的经典哈密顿模型。承载信息的变量和运动中的装置，都属于方程本身。模型并不假定有任何外部之手，去按下一个时机完美的开关。

这一构造的核心技巧是空间性的。当信使穿越一个成形的相互作用区域时，总的交换由累积的空间脉冲面积所支配。在所陈述的力学耦合之下，完整穿过该区域就产生精确的寄存器交换。而”能够抵达该区域”和”能够完成这次穿越”本身，也针对一族有界的、已制备的输入得到了证明。⁴

这个结果不只是一张富有暗示性的电路图。它是一段被明确规定的自主运动，带有共同的读出方式，以及针对两个输出端口的定量比较。

但请跟着信使走到交换之后。

它现在携带着旧的结果，而它的力学状态已不是它抵达时的那个状态。信息传递成功了；装置却没有自动恢复到再次使用所需的就绪状态。

想想一套投递机构：包裹正确送达，但它的执行机构仍保持伸出状态。一次正确的投递，和一套复位机制，是两种不同的成就。在论文中，这一区分不是工程上的事后补充：力学终态始终是动力学描述的一部分。⁴

两篇配套研究则追问：要负责任地把这类操作连接起来，还需要什么。其中一篇把实际的状态、时间与相互作用历史，带入一个经过仔细限界的参考计算。另一篇则把”意图中的方程”、“由存储常数所代表的精确分段方程”，以及”它们的浮点执行”三者区分开来。

一个看似微不足道的数值细节在这里可能举足轻重。一个本意用来标记整整一圈旋转的存储数值，未必恰好就是整整一圈。在所考察的模型中，这一差异在界面处的能量核算上产生了虽小但非零的变化。这个结果并不是某种新耗散机制的证据。它识别出的是：意图中的模型，与实际被实现的数学源之间的差别。⁴

这个三部曲并没有完成一台可无限重复使用的机器。它提供的是一个一次性的构造，以及把制备、运动与后续使用连接起来所需的若干精确条件。

它的教训很具体：一次操作作用于它的数据，也作用于它的装置。

总量抵消时并不会消失的磁结

磁荷系列论文转向了一种非常不同的整体。

磁单极子是”孤立磁极”在理论上的对应物。本次发布并未报告发现了一个磁单极子。它追问的是：一个被提议的磁性外部区域，如何能嵌入一个光滑的内部，同时保持某种指定的互补结构。

起初，数学似乎提供了一条轻松的出路。两个带相反荷的几何扇区，其拓扑贡献在合并后的复描述中彼此抵消。

然而，这种抵消并没有了结问题。

把两个扇区配对起来的那条必需规则，保留着一个实的几何结构，而该结构仍可能携带着阻碍光滑延拓的障碍。去掉这个配对会让记账变得简单——但也会改变”被延拓的究竟是什么”。这有点像：先擦掉那些标明扭曲部件必须如何保持相连的记号，然后宣布两处扭曲已经抵消。⁵

第一篇论文在其所陈述的构造中识别出所需的扩充，并在一个另行给定的场论框架内发展出一个光滑的核。接着它追问：外部区域实际上重现了什么。磁通量相符是不够的：能量密度、场应力，以及沿路径的输运，各有各的比较标准。

这一区分之所以重要，是因为一个模型可以把总电荷算对，却把其他物理效应算错。

第二篇论文研究围绕所给定的核的扰动。其所报告的结果，在允许诸如整体平移核这样的集体运动之后，控制住了跨角向扇区的扰动能量。但一个中性的辐射扇区仍然无能隙：其动能谱仍可达到任意低的能量。一个关于能量控制的陈述，并不会神奇地给每一种扰动都强加一个正的最小能量。⁵

第三篇论文转向非线性约束与正规的局部演化。它构造出满足约束条件、并在实际的受扰构型上（而不仅仅在一个理想化背景上）带有指定经典电荷的动量。对于所述类别中足够正规的数据，由此得到的动力学在一个正的时间区间内保持相关约束。

这是一个颇具分量的序列：构造一个核、控制指定的扰动、确立受约束的局部运动。它不是对自然界中有多少磁单极子的预言，不是对”为何未被探测到”的解释，也不是”每一种允许的扰动都永远保持受控”的证明。⁵

重要的进展在于：“磁单极子在该模型中存在”这句话，已被拆分成若干个可以逐一回答的问题。

改变描述何时毫无影响——何时又大有影响

假设一幅地图被左右翻转。如果它的坐标、标注和每一条指令都被一致地变换，它仍然可以描述同一段行程。但若只翻转地图而保留原来的指令，这段行程就可能出错。

量子复合系列论文研究的，是这一区分在数学上更为微妙的版本。

其中一篇研究一条规则：它借助选定的矩阵转置，改变一个有序量子态空间的表示方式。当态、测量和过程被一同翻译时，所完成的构造等价于所给定的普通量子理论。一种新的表述方式，并不自动就是一种新的物理理论。

但当系统被组合起来时，这些标签就变得重要了。原始规则对复合的一侧与另一侧的处理方式并不相同。在三个分量的情形下，不同的括号方式可以产生不同的容许态集合。保留取向信息能让该构造被融贯地修复；而过早地把某些标签等同起来，则会让原始的复合规则变得定义不良。⁶

对于孤立系统而言似乎冗余的信息，在另一个系统被接上时却是必需的。

该论文还区分了”翻译一个描述”与”对一个未知态施加一次物理操作”。完整的矩阵转置，在一个固定的非平凡系统上并不是一个普遍可用的量子信道。改变数学表述方式，并不会凭空给实验室一台能执行该翻译中所用每一个映射的机器。⁶

第二项研究探讨互反几何胞腔。一个简单的类比会有帮助：一个圆和它的外接正方形投下相同的水平与竖直影子，但正方形含有圆所没有的角点。知道每一个单独的投影，并不能确定完整的形状。

该论文发展出一个与此相关的区分：高维球体与圆盘之积。它们各自的平面投影一致，而整体体积却不同。它还说明了：为什么给一个几何胞腔赋予辛容量，并不能选出一个最小的物理作用量子。几何组织起种种可能性；但它本身并不选定普朗克常数，也不选定一个量子态空间。⁷

第三项研究追踪标架绕有限网络的输运。单纯的旋转，其角度以我们熟悉的方式相加。然而一旦插入一次反射，后续旋转的转向感就可能反转。一个被反射过的坐标系，对顺时针与逆时针的处理方式，已不同于原来的坐标系。

这改变了输运必须如何复合。该论文利用共享棱、连接路径与有序乘积，构造出精确的自洽关系。它检验了指定的细化，包括五边形与六边形的每一种三角剖分，同时保持所声明的边界输运不变。

一个格外生动的例子是圆环域——一个带洞的区域。所有小面环路都可以是平坦的，然而绕洞一周的输运却保留着一次反射。局部的检验并没有穷尽全局的信息。⁸

这些结果并未确立”任意几何或物理作用量都具有不变性”。它们精确地指出：一个有限输运构造，必须保留哪些信息，其特定的比较才能保持有意义。

两个超导模型可以对第一个问题给出完全相同的回答

一次轻柔的探问，并不会问遍一种材料所能回答的所有问题。

打个比方：两个力学物体对轻推的响应可能一致，而在被更用力驱动时则表现不同。超导研究把这一笼统想法，落实为两组被明确定义的模型比较。

在其受限的密度响应设定中，两种不同的耦合权重分布，当相关的前二阶矩一致时，给出完全相同的线性响应。而到了三阶，一个四阶矩的贡献就出现了。因此，一个非线性的问题可以揭示出原先那个线性问题所错过的区别。⁹

但即便如此，也并没有造就一种普适的微观指纹。额外的一个相互作用通道会改变三阶响应。光滑的替代方案也能足够接近该比较模型，从而消除掉任何一致的分离。区分开一对，并不等于区分开一个广泛族中的每一个成员。

该研究的光学部分提出的是一个另行指定的问题。其模型保留了各自实际的能带运动、配对响应、电流以及电磁环境，并在同一个入射场之下加以比较。入射光相同，并不许可你在每个模型中各自独立地挑选方便的内部场。

对于一个选定的七阶响应系数，这项工作给出了一个排除零的数值包含区间，连同对若干高阶修正与剩余尾项的界。“七阶”指的是展开式中驱动振幅的幂次；它并不就是”七次谐波光”的另一种说法。更低阶的光学响应就已经可能不同。⁹

这个结果是一个受控的数学区分——而不是一个被测得的信号。

最后这一步尤其重要。探测器一般测量的是强度，而计算所分离出来的可能是一个复场分量。一列适当制备的参考波，可以让强度差对该分量变得敏感，但它的相位、波形与定标必须被提供。那些被认证的界也只涉及非常小的归一化振幅；它们并未确立实际可探测性。⁹

一次计算可以比一次实验更精确。精度与可见度，并不能互相替换。

为什么”把路径加起来”需要的不止是复数

四篇费曼复合论文回到量子计算的基础。

量子振幅扮演着好几种角色。顺序过程以一种方式组合；未被分辨的备选路径以另一种方式组合；测量权重还需要再一条规则。用复数把一切都写下来，会让这几种角色看起来像是同一个套装。

第一篇论文把它们分开。

一个给定实平面上的互反旋转，确实容许我们熟悉的复数乘法代数。但”串行输运存在”并不会造出一台把备选路径重新合并的装置，也不决定一条概率定律。两个各自可逆的贡献，可以在某个输出端相消；它们的和未必是另一个可逆的输运。¹⁰

一个正面的构造始于一个声明过的二次响应模型。经过定标的两两比较，检验与不同备选路径相关联的记录是否一致。如果相关的差异沿着一个连通的比较网络全部消失，那么这些响应就归结为相干相加。对于这项特定的比较任务，一棵连通树就足够了；而不完美的一致性则导出显式的累积误差界。

这给出的是关于相干性的资源账目，而不是靠给一次旋转改个名字来得到干涉。

概率权重还需要再走一步。先给定一条规则，依据每个通道的尺寸在局部赋予归一化的权重。允许一个通道被划分成任意的正交子通道，同时保持一个比较通道不变，并要求记录下来的子通道权重加回去等于原来的权重。这些假设就迫使我们得到通常的”按振幅平方加权”。而仅仅允许等分为二，仍为其他函数留有余地；这种受限的对称性是不够的。¹⁰

关于记录，还有一个相关的警告。在所给定的”路径—记录”模型中，一个只作用于记录的无条件操作，会让路径的约化态保持不变。单单重置那个记录，无法恢复路径态中已经缺失的干涉。选定一个测量结果，或者逆转原来的联合相互作用，是不同的操作，需要不同的资源。¹⁰

第二篇论文在一个受控的一维设定中，把容许的振幅动力学推向位形空间中的历史。一条历史需要的不只是附在一条路线上的相位：跃迁的因子、时间顺序，以及测度，全都必须被保留。在所陈述的标度与制备假设之下，格点演化可以逼近连续演化。

但”已制备态的收敛”并不保证每一个原始的、无限尖锐的核值都逐点收敛。有限的分辨率改变了那个可被控制的问题。该论文提供的是一座桥——而不是一张可以随意交换任何连续极限的许可证。¹¹

以记忆形式回归的细节

现在回到故事开头那个正在消失的精细运动。

假设一个模型把相邻的格点归并成一个粗粒变量。粗粒变量保留它们的平均值。一个互补的变量则保留它们的差值。

差值可以在平均值中不可见，却并非在动力学上无关紧要。两个振幅相反的贡献在平均值中相消，却仍携带着正的二次强度。那个差值能否被忽略，取决于相互作用，而不仅仅取决于”我们决定不再显示它”。

第三篇复合论文给出了一个精确条件，使得某一种自然的粗粒描述（其局部势在每个区块内为常数）能够自主演化：区块内的每一个精细格点，朝向其他每一个区块，都必须具有相同的、经适当归一化的耦合率。当这个条件不成立时，运动就可能离开所选定的粗粒子空间。¹

人们当然仍可以在数学上消去那些不想要的变量。但消去并不废除它们的影响。

精确的粗粒方程会获得一个记忆项，它涉及过去的粗粒运动，外加一项来自精细变量初始状态的贡献。完整的动力学仍然是有限且保守的。并没有引入任何随机热浴，也没有证明任何不可逆的相干性损失。

那种表观上的记忆，属于被约化的描述。携带着缺失信息的那些变量，是被解出来了，而不是被物理地摧毁了。¹

正是在这里，“小”成了一条危险的捷径。在该论文的细化链例子中，被略去的那个对比量可以不断缩小，而作用于它的动力学却在不断增强。小的振幅并不保证小的能量效应——正如打个比方：顶着一根越来越硬的弹簧产生一小段位移，未必只需很少的能量。

甚至我们度量剩余状态的方式也可能改变。为每一个粗粒值挑选能量最低的精细构型，既产生一个有效能量，也产生一个诱导度规：一条用来度量所保留状态之大小与交叠的新规则。保留了修正后的能量，却丢弃修正后的度规，就只用上了这次约化的一半。¹

其后果触及一个我们熟悉的问题：某个近似究竟准不准。这项工作得到了很强的低能谱估计，然而一个一般的”已制备态”估计却可能更弱。把频率算对，并不自动意味着所选的制备态遵循正确的运动。

通过加上一个指定的精细尺度修正——一种数学上的”缀饰”——在定量的谱分离条件下，对一个孤立的低能模式，近似得到了改善。下一篇论文则发展出能作用于整个能量窗口的共同制备映射，并带有各自的假设与误差界。¹²

正面的结论并不是”简化失败了”。而是：一旦把被略去的结构核算清楚，一套有用的简化理论就能被更审慎地建立起来。

知道慢运动，并不等于能把它制备出来

一套低能理论通常以”假定系统已经处在它所描述的那个扇区中”作为开端。

它是怎么到那里去的呢？

第四篇复合论文把这个制备问题摆到了明处。一个短程哈密顿量可以拥有散布于整个系统的低能模式。一个能准确地把一个已然低能的态补全的映射，并不自动就是一个能从任意输入中筛选出这类态的局域滤波器。¹³

一个类比来自声音。知道一段录音的低音声部，与把它从任意混合音中分离出来，是两件不同的事。一个频率选择性滤波器，必须分辨出所要求的分离所依赖的那些区别。

在该论文所指定的一维设定中，有界的多项式滤波器面临一个定量的空间代价。当”被接受能量”与”被拒绝能量”之间所要求的过渡，在物理单位下保持固定时，该定理（在其所述的路径与谱假设之下）阻止了它们的物理支集在网格细化中收缩到零。

把网格变得更细，本身并不能让同一个物理筛选变得任意局域。¹³

也存在建设性的替代方案。该论文发展出带显式误差的有限程近似，并区分出被接受、过渡、被拒绝三个谱扇区。某些逆算子近似容许有界的物理支集。一个单独的修正，可以在不扩大支集界的前提下，为一个经认证的厄米近似恢复正定性，尽管它改变了误差预算。

由此得到的图像把制备、归一化、时间演化与读出连接了起来。每一环都可以被控制，但每一环都贡献了某种其他环节不会免费提供的东西。¹³

发布 IV 增添了什么

这五个分支并不是同一条定理的五个证明。一位信使的力学状态、一个磁丛的绕数、一个量子取向标签，以及一个被消去的精细坐标，是不同的对象。它们共用的词汇，并不使它们成为同一种实体。

把它们联系起来的，是一种更为锐利的、提出物理问题的习惯。

一次成功的交换，引出关于下一次使用的问题。一个光滑的磁核，引出关于扰动与受约束演化的问题。彼此等价的量子描述，引出关于复合与固定参考系的问题。线性上的一致，引出一个不同的探问。一个良好的有效方程，引出一个关于”如何制备它所作用的那些态”的问题。²

本次发布中若干最有用的结果，精确地指出了一条诱人的捷径在哪里失效。但它们同时也指明了下一步该做什么：保留装置的终态、保留所需的标签、提供恰当的约束、保住记忆与度规，或者付出筛选所需的空间代价。

余下的前沿也相应地十分具体。它们包括：补全”从制备到再次使用”的链条；把局部的磁单极子控制延伸到长时间尺度；把模型特定的非线性对比与经过定标的实验连接起来；以及在其所述的误差与局域性要求之内，让低能制备变得可扩展。要为这些分支找到一个共同的物理起源，所需要的是进一步的构造，而不仅仅是一张共同的图示。¹⁴

更大的那个”互补优先”问题依然悬而未决：一个看似由彼此分离之物组成的世界，能否通过在解释上先于这些事物的关系来加以理解。发布 IV 并没有了结这个问题。它发展出的是一些数学手段，用来检验：当一个整体被划分成我们选择保留的那些部分时，究竟会发生什么。

目标并不是永远保留每一个细节。没有简化，物理学将无从谈起。

目标是去发现：哪些细节可以被略去，哪些必须以另一种形式回归，以及哪些在下一个问题被提出时变得不可或缺。

整体不必在每一次测量中都可见。但一个成功的描述，必须保留——或正确地核算——下一次操作仍然需要的东西。

科学范围说明。本文解说的是发布 IV 综述中所综合的理论与数学结果。它不报告任何新实验，也不主张量子理论、超导、磁单极子或引力已从一个赤裸的互补关系中推导出来。该综述披露了在获取配套来源方面存在的差异，并且未经过外部的人类同行评议。各篇原始论文仍是其技术结果的权威出处。¹⁵

注释与来源位置

这些注释指出各项主张在发布 IV 综述中的位置，并标明其归属论文。它们并不意味着这篇科普文章独立地重新证明或实验检验了那些结果。

发布 IV 综述，§10，尤其是外部速率条件、精确记忆方程与诱导粗粒度规。归属论文：10.5281/zenodo.23088656。 ↩ ↩² ↩³ ↩⁴
发布 IV 综述，摘要及 §§1–2、12、15：十四篇论文的语料、概念前提，以及跨分支综合的范围。 ↩ ↩² ↩³
发布 IV 综述，§1。历史动机与 DNA 类比在此前的 From Relation to Reality（从关系到万物）导读中有所讨论。灵感并不被当作物理推导。 ↩
发布 IV 综述，§3：有界的空间交换构造、被保留的力学状态、记录保持式比较，以及”意图中的方程”与”被实现的方程”之区分。归属论文：10.5281/zenodo.22759874、10.5281/zenodo.22839292、10.5281/zenodo.22839343。 ↩ ↩² ↩³
发布 IV 综述，§4：结构化延拓、分可观测量的重现、能量控制与动能阈值之别，以及正规的受约束局部演化。来源获取方面的限制在附录 B 中说明。归属论文：10.5281/zenodo.22822013、10.5281/zenodo.22829235、10.5281/zenodo.22850132。 ↩ ↩² ↩³
发布 IV 综述，§5：带取向标签的融贯复合、非空载体、固定参考系下的比较，以及物理过程的容许性。归属论文：10.5281/zenodo.22906839。 ↩ ↩²
发布 IV 综述，§6.1–6.2：几何标度、各自投影相同而整体不同的几何体，以及几何结构与操作结构之区分。归属论文：10.5281/zenodo.22917065。 ↩
发布 IV 综述，§6.3–6.4：旋转／反射的复合、带根的共享棱恒等式、指定的有限细化，以及圆环域和乐。归属论文：10.5281/zenodo.22929415。 ↩
发布 IV 综述，§7：分别进行的密度比较与光学比较、选定的入射场系数、高阶界，以及保持所问问题不变的观测。归属论文：10.5281/zenodo.23002666。 ↩ ↩² ↩³
发布 IV 综述，§8：串行复合与并行复合之别、所给定的二次响应类、带锚的权重细化，以及无条件的记录局域操作。归属论文：10.5281/zenodo.23002736。 ↩ ↩² ↩³
发布 IV 综述，§9：有限历史及其测度、所给定的作用量标度，以及不同的一维连续极限比较。归属论文：10.5281/zenodo.23025613。 ↩
发布 IV 综述，§10.3 及 §11.1–11.2：分别的谱估计与态估计、孤立模式的缀饰，以及带定量假设的共同窗口映射。归属论文：10.5281/zenodo.23088656、10.5281/zenodo.23113264。 ↩
发布 IV 综述，§11：补全与筛选之别、局域近似、带限定条件的物理支集界，以及正定性恢复。归属论文：10.5281/zenodo.23113264。 ↩ ↩² ↩³
发布 IV 综述，§14：尚未解决的制备、长时间、经验、可扩展性与共同起源等问题。 ↩
发布 IV 综述，声明部分与附录 B：理论范围、作者责任、AI 协助、评议状态，以及来源获取方面的差异。 ↩

被略去的整体

从互补关系到可用的物理

只工作一次的机器，还没有学会重复

总量抵消时并不会消失的磁结

改变描述何时毫无影响——何时又大有影响

两个超导模型可以对第一个问题给出完全相同的回答

为什么”把路径加起来”需要的不止是复数

以记忆形式回归的细节

知道慢运动，并不等于能把它制备出来

发布 IV 增添了什么

延伸阅读

自主源刷新

磁荷与局部动力学

量子复合、胞腔与输运

超导响应

费曼复合与有效动力学

此前的科普导读

注释与来源位置

从互补关系到可用的物理

只工作一次的机器，还没有学会重复

总量抵消时并不会消失的磁结

改变描述何时毫无影响——何时又大有影响

两个超导模型可以对第一个问题给出完全相同的回答

为什么”把路径加起来”需要的不止是复数

以记忆形式回归的细节

知道慢运动，并不等于能把它制备出来

发布 IV 增添了什么

延伸阅读

自主源刷新

磁荷与局部动力学

量子复合、胞腔与输运

超导响应

费曼复合与有效动力学

此前的科普导读

注释与来源位置

Footnotes