结果族 376：Universal computation in forced Navier–Stokes flows · 学科：Partial differential equations · 验证状态：暂无形式化证明，请以社区核验为准
图灵机的每条指令只改纸带开头的一小截，很像两摞扑克牌只动最上面的几张。这篇把这种”前缀指令”直接搬进不可压缩流体，还专门摆平最棘手的事：有些指令既改变面积又擦除信息，而流体既保体积又可逆——被扔掉的信息必须另有去处。
关键词卡片
看个具体例子
两个栈分别记纸带的左半段与右半段，带头只来回读写各自开头。栈的小数读数是 E(L)=d₁B⁻¹+d₂B⁻²+d₃B⁻³+…，前缀指令只替换开头的 d₁,d₂，后面的尾巴原封不动——几何上就是把一个小矩形搬进另一个小矩形。若指令要把平面面积扩成 6 倍，第三坐标就自动缩到 1/6，看这张”数字版定理”：
@@M@@E(L)=\sum_j d(L_j)\,B^{-j}\ \text{（改前几位＝换小数开头）}，\qquad \det\operatorname{diag}\!\big(2,\,3,\,\tfrac{1}{6}\big)=1\ \text{（体积不变）}@@
为什么值得关心
它是 Landauer–Bennett”信息不灭”原理的流体实现：机器扔掉的数据全被水流悄悄存进几何自由度里。论文还附送周期、定常、衰减、无散度投影等多种外力变体，各取所需。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的比喻是”两摞扑克牌只动最上面的几张”：机器指令永远只改写两摞牌（左右两段纸带）开头的有限几张，其余原封不动。换成半数学语言：对象是两个无穷栈加上一个有限状态；操作是”替换两个栈的有限前缀”的前缀指令。麻烦在于：有的指令既改变平面面积又擦除信息，而流体运动既保体积又可逆——被扔掉的牌必须另有去处。
第二级台阶
用本科术语精确化：把无穷栈写成 B 进制小数 E(L)=Σ d(L_j)B^{−j}，于是改前缀等于换小数开头几位，一条前缀指令就变成闭矩形之间的正对角仿射映射；源矩形族与目标矩形族各自两两分离，跨族相交则被允许。当指令把平面面积扩成 6 倍时，就让第三坐标缩到 1/6——对角阵 diag(2,3,1/6) 行列式为 1，体积分毫未动，这就是法向补偿。被擦除的信息以”交错记录”保存：历史符号与工作符号交错存进栈里，永不删除。
第三级台阶
主定理（交错历史薄片实现）在此陈述：在单位平坦环面、固定正粘度、零初速下，任一机器与输入可编译为光滑零均值外力，各阶混合导数有界、装载区间之后以一为周期；解全局光滑、在周期经典比较类中唯一、动能一致有界；固定粒子进入固定半开带当且仅当机器停机。假设各挡一种麻烦：栈数字取两两至少差二的进制数字，挡住相邻区间粘连；可逆性在完整柱集（而非仅初始计算的路线）上验证，挡住”未访问构形反例”的漏洞；检测器等价在整段连续路径上核验，挡住中途路过造成的误报。变体给出方体邻域、不变平面、紧支撑欧氏版与导数按 (1+t)^{−1} 衰减的空间时钟。
本文证明：在固定正黏度的单位三维环面上，任意图灵机与输入都可编译为光滑均零、@@M@@t\ge1@@ 后周期为一的外力，使零初速解中的固定粒子恰在停机时进入固定半开带；核心是让改变面积的前缀指令在不可压缩流中实现。
让流体粒子执行计算须跨越一个根本矛盾：机器指令会擦除信息（读一格、写一格、丢掉原符号），而有限时间内的光滑流既可逆又保体积。Landauer 与 Bennett 指出被擦除的信息必须另行保存；Moore 的广义移位（generalized shifts）把纸带操作变成实坐标的分段仿射映射。此前 Cardona–Miranda–Peralta-Salas–Presas 在三维球面欧拉流中实现图灵完备，其收缩—搬运—扩张加面积校正的组织方式是本文平面路由的先声；Dyhr 等在变形度量的紧流形上得到 Hodge 黏性下的无外力版本。本家族则固定平坦环面（flat torus）、通常拉普拉斯算子、正黏度与零初速，全部编程交给外力。标题中的前缀指令（prefix instruction）形如 @@M@@(s;v,w)\mapsto(s';v',w')@@：只改写两个栈（stack）的有限前缀、保留任意尾部。难点有二：这类规则在位置编码下对应不必保面积的仿射矩形映射，而不可压缩流必须保体积；且仅在初始计算上检验正确性不够，必须在完整柱集上检验可逆性。
主定理（交错历史薄片实现）：固定正可计算黏度 @@M@@\nu@@，每台机器与有限输入有效决定单位环面 @@M@@\mathbb T^3@@ 上一光滑均零外力，各阶混合导数有界、@@M@@t\ge1@@ 后周期为一；其零初值解全局光滑、在周期经典比较类中唯一、动能一致有界；固定粒子 @@M@@(1/8,1/4,1/4)@@ 在某有限时刻进入 @@M@@\{1/2<x_1<1\}@@ 当且仅当机器停机。重复模板只依赖转移表，输入只进入装载脉冲。定理的外力是一般体力（general force），未必无散度；环面上可用有效投影换成无散度力，代价是压力改变。文中另给多种变体：三维方体邻域上的实现、不变平面（invariant plane）上的实现、紧支撑的欧氏版本，以及”空间时钟”定理——外力是自治无散度场的时间变换，各阶导数按 @@M@@(1+t)^{-1}@@ 衰减，检测器限制在时钟安静窗口内以避免传输路径误报。若能判定该固定粒子事件，即可判定停机。
证明分四步。第一步用带间隙的栈坐标把符号变成几何：字母取两两至少差二的进制数字，无穷栈编码为级数 @@M@@E(L)=\sum_j d(L_j)B^{-j}@@，前缀规则变成闭矩形间的正对角仿射映射；引理证明互不相容的前缀给出正分离的闭区间，且源族、目标族各自分离（源与目标相交是允许的）。第二步是局部运动公式：对沿 @@M@@c(t)+D(t)(x-c(t_0))@@ 运动的保体积对角盒子（@@M@@D@@ 正对角、行列式为一），显式旋度场 @@M@@V=\nabla\times\{\chi[\tfrac12\dot c\times(x-c)+\tfrac13(A(x-c))\times(x-c)]\}@@（@@M@@A=\dot DD^{-1}@@）在平台上恰好实现该仿射轨迹，支撑互斥时可直接求和。第三步处理面积改变：先把薄片升到私有高度，再变形、落下；中途的三维对角矩阵其第三尺度取平面面积倍数的倒数，行列式恒为一——法向压缩恰好补偿平面扩张。历史机制采用”交错记录”：每条指令的记录符号 @@M@@g_{q,h,a}@@ 与工作符号交错存放，磁头移动时中间记录被逐个转移，被擦除的信息永远留在栈里；作者在完整柱集（而非仅初始计算）上验证源与像的分离及局部逆。第四步收口：外力取残差（residual）@@M@@f=\partial_tU+(U\cdot\nabla)U-\nu\Delta U@@，唯一性由 Leray 型差能量估计给出；作者细致区分了五种比较类，并用 Fourier 论证证明无散度场与梯度场的 @@M@@L^2@@ 配对为零，从而无须对压力范数另作假设；环面上的螺线管投影用显式 Fourier 乘子完成并保持各阶界。检测器等价在每条指令的整段连续路径上验证，而非只在整点采样。
本文是结果族 376 的核心篇目之一，与《Geometric Programs for Solenoidal Forcing》共享”记录器—矩形—脉冲”框架，与《Computation under Rapidly Vanishing Navier–Stokes Forcing》互补。作者强调经典的位置编码脆弱，精确事件不蕴含一致的有限精度容差。按 OpenAI 官方声明，未经形式化的结果可能有问题；本文暂无形式化证明，请以社区核验为准。
问 1：证明中最关键、最脆弱的一步是什么？
（答：局部旋度公式：对沿 c(t)+D(t)(x−c(t₀)) 运动的保体积对角盒子（D 正对角、行列式为一），显式场 V=∇×{χ[½ċ×(x−c)+⅓(A(x−c))×(x−c)]}（A=ḊD⁻¹）在截止函数平台上恰好实现该仿射轨迹，再用 ODE 唯一性认同真实轨线。中途三维对角矩阵的第三尺度必须始终取平面面积倍数的倒数——任何瞬间偏离，不可压缩性即被破坏。）
问 2：为什么坚持在完整柱集上验证，而不能只沿初始计算验证可逆性？
（答：分离性与局部逆是几何定理的输入：脉冲作用于整个矩形，未访问的构形同样被搬运；两个完整柱集的矩形一旦重叠，一个脉冲就同时执行两条指令。交错记录把每条已执行指令的标签留在栈中，正为在一切构形上保住这个逆。）
问 3：与姊妹篇相比真正的新意是什么？
（答：姊妹篇只处理互反（保面积）映射且力自动无散度、压强为零；本文面向一般前缀指令——它们会改变平面面积，需要法向补偿或改用不变平面实现（保留平面动力学、不指定平面外的仿射映射）。历史安放也成体系：分隔符旁、纸带轨上、独立栈三种处理器；空间时钟变体让外力各阶导数按 (1+t)^(−1) 衰减。残差外力未必无散度，投影与剪切恒等式被明确区分——投影会改压强。）
问 4：空间时钟变体为什么要把检测器限制在”安静窗口”？
（答：时钟场是自治无散度场的时间变换，颗粒相位随时间推移经过所有指令槽；若检测带恰在某条传输路径上，颗粒中途路过就会被误判停机。把观测限制在时钟安静窗口（速度场在整数相位附近为零的时段）才能保证”进入开带”真是终态到达而非路过。这是连续时间观测与整点采样差别的具体代价。）
问 5：这个结果最可能以什么方式出错？
（答：AI 生成证明的典型风险是组合簿记出错：栈数字须两两至少差二以保证区间正间隙；磁头移动时交错记录要逐个转移，簿记链条极长；三种历史安放各自的重排规则都要在全定义域上可逆。论文区分五种比较类，选错一类唯一性论证就空转。这些均未经形式化。）
问 6：下游推论与适用边界？
（答：与事件判定算法复合即得停机不可判定性（经图灵符号打印问题）；”被擦除信息永留几何自由度”可视为 Landauer–Bennett 原理的流体实现，对可逆计算建模有概念价值。适用边界：结论针对精确实数坐标上的轨线，论文明示经典位置编码脆弱、精确事件不蕴含一致的有限精度容差，也不对任意数据的正则性作断言。）
总评
这是族内把”面积可变、信息可灭的前缀指令”完整搬进不可压缩流的核心篇目，法向补偿、交错记录与不变平面三件套各有分量；最大风险在长簿记链条与比较类细节未经形式化，且结论离任何有限精度物理实现尚远。