结果族 376：Universal computation in forced Navier–Stokes flows · 学科：Partial differential equations · 验证状态：暂无形式化证明，请以社区核验为准
想象一本日记用越写越小的字一直写下去：每个新字只有旧字的亿万分之一大，墨水总量有限，却记下了无穷多步。这篇论文证明：当外力、速度连同所有导数都随时间衰减到零（比任何负幂次都快），流体仍能完成任意长的计算——秘密全在”字越写越小”。
关键词卡片
看个具体例子
把每步构形编成整数 kₙ，第 n 步写在尺度 δₙ 上，全部历史叠成一个实数 y=Σⱼδⱼkⱼ。由于 δⱼ/δₙ 恰是 Mₙ 的整数倍，有这张”数字版定理”：
@@M@@y=\sum_j \delta_j k_j\quad\Longrightarrow\quad (y/\delta_n)\ \mathrm{mod}\ M_n = k_n@@
读出第 n 步就像查看小数的某一位，其余位自动消去；新写入的位移 bₙ<δₙ/8，永远小于格距，踩不坏旧账。论文给出旋涡、分数坐标、周期格点三种写法，个个成立。
为什么值得关心
它反直觉到极点：推力趋于零、粒子走过的总路程有限，计算却可以永不停止——有限的”墨水”存下无穷信息，靠的是精确实数的无穷小数位。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的意象是”用越写越小的字写一本永远写不完的日记”：墨水总量有限，字数却无穷。换成半数学语言：对象仍是从静止出发的不可压缩黏性流体；操作是一套越来越轻柔的搅动——外力连同它的一切导数都比时间的任何负幂次更快地衰减到零；但一个固定颗粒仍一步步执行机器指令，因为每一步的”字”写在比上一步细得多的空间尺度上，走过的总路程虽然有限，精确实数坐标里的”小数位”却无穷无尽。
第二级台阶
用本科术语精确化：把第 n 步的机器构形（状态、磁头位置、纸带窗口）编成整数 kₙ，容量记 Mₙ；取超指数缩小的尺度 δₙ，把全部历史叠成一个实数 y=Σδⱼkⱼ。核心是整除性读出：更早的尺度 δⱼ 除以 δₙ 恰是 Mₙ 的整数倍，于是 (y/δₙ) mod Mₙ 正好等于 kₙ——查看某一步就像查看小数的某一位，其余位自动消去、也不被破坏；而新写入的位移远小于当前格距。速度场由一个个小旋涡（旋度场，天然无散度）组成，每个旋涡驮着一个编码点走，支撑互斥互不干扰；每步占一个单位物理时长。
第三级台阶
定理一（紧支撑旋度地址）在此陈述：在三维欧氏空间、固定正粘度、零初速下，可构造支撑恒含于固定紧集的光滑外力，使外力与速度的一切混合导数满足：乘以 (1+t) 的任意次幂后仍一致有界；解显式、全局光滑、古典类唯一、压强为零；自原点出发的粒子越过固定界线，当且仅当机器停机。推论给出环面上的无散度均零版本。假设各挡一种麻烦：每步一单位的物理时长挡住”无穷步挤进有限时间”；尺度超指数缩小挡住导数爆炸；整除性挡住”写入破坏读出”。另有交错分数坐标与周期格点两种记忆构造，同法成立；四个实验的粒子事件均不可判定。
本文证明：即使外力、速度及其一切固定阶混合导数都随时间快于任何负幂地衰减到零，三维不可压缩黏性流仍能完成通用计算——给出三种记忆构造，使固定粒子恰在图灵机停机时触发固定开集事件。
姊妹篇的外力周期重复、导数有界；自然要问：当外力趋于零、其各阶导数快于任何逆幂衰减时，流体还能计算吗？直觉似应否定——此时粒子轨迹总长有限，可写下的信息似也有限。本文的关键观察是：有限长度并不限制精确实坐标中存储的信息，把相继构型写到越来越细的空间尺度即可。另一表面障碍是时间减速：把有界自治场按可积速率 @@M@@\tau'@@ 重参数化无法跑遍无穷内部步，故作者保持每步物理时长为一、只缩小空间位移。逻辑障碍源自图灵的符号打印问题；可逆性障碍（流可逆而指令擦除信息）以”保留全部旧记录”化解，无需可逆编译器。此前工作（Cardona–Miranda–Peralta-Salas 系列、Dyhr 等）或需非零初速、或需修改度量、或仅限有界纸带；本文数据为零初速、固定平坦区域上的指定外力。
定理一（紧支撑旋度地址）：固定正可计算黏度，从机器与输入可构造 @@M@@\mathbb R^3@@ 上光滑外力，支撑恒含于固定紧集 @@M@@K=[-2,1]\times[-1,2]\times[-1,1]@@，且对一切 @@M@@J,l,\alpha@@ 有 @@M@@\sup_{t,x}(1+t)^J|\partial_t^l\partial_x^\alpha f|<\infty@@；零初值解显式、全局光滑、唯一、压力为零，自原点出发的粒子满足：停机当且仅当某时刻 @@M@@X_1(t,0)<-1@@。推论给出单位环面上无散度均零版本，事件为 @@M@@1/4<X_1<3/8@@。定理二（交错分数记忆）：两个坐标轮流充当供体与受体，供体在读出期间静止，新构型以更细尺度追加到另一坐标；粒子自 @@M@@(-1,0,0)@@ 出发，事件为 @@M@@X_1>0@@，并满足含空间权重的界 @@M@@(1+t+|X|)^J@@。定理三（周期格点记忆）：单个环面坐标存储全部历史 @@M@@1/2+\sum_k\epsilon_k c_k@@，读出用模运算剔除旧记录，第二坐标给出停机信号，第三个速度分量抵消平面散度并使编码平面不变；事件为 @@M@@1/2<x_1<1@@，投影后得到无散度力 @@M@@f=g-\nabla\phi@@。推论：四个固定实验的粒子事件均不可判定。
以定理一为主。先把含状态、绝对磁头位置与整段纸带窗口的构型编为整数 @@M@@k_n@@，容量 @@M@@M_n=2^{L_n}@@ 随 @@M@@n@@ 增长；再取超指数尺度 @@M@@\delta_n=2^{-s_n}@@（@@M@@s_n=C2^{(n+2)^2}@@），把全部历史叠加成实数 @@M@@y_n=\sum_j\delta_j k_j@@。核心算术是整除性（divisibility）：当 @@M@@j<n@@ 时 @@M@@\delta_j/\delta_n@@ 是 @@M@@M_n@@ 的整数倍，故 @@M@@(y_n/\delta_n)\bmod M_n@@ 恰为 @@M@@k_n@@——旧记录不被读出也不被破坏，而新位移 @@M@@b_n=\delta_{n+1}M_{n+1}<\delta_n/8@@ 远小于格距。场由局域旋度（curl）@@M@@\mathcal V=\nabla\times[\zeta((x-c)/\delta)\,\dot c\times(x-c)/2]@@ 组成：每个格点地址配一个以该点为中心、尺度 @@M@@\delta_n@@ 的小旋涡，其中心路径由该地址解码出的转移函数 @@M@@F_n@@ 决定，旋涡恰好携带中心走完全程，支撑互斥保证互不干扰；不停机时首坐标恒为 @@M@@-1@@，停机的那一步被推到 @@M@@-1-b_n<-1@@。导数估计靠缩放：单个旋涡是 @@M@@b_n@@ 乘一个固定光滑式子，故 @@M@@\|V_n\|\le Cb_n\delta_n^{-|\alpha|}@@，没有格点数目因子；又 @@M@@b_n\le\delta_n^{\,n+10}@@，每固定阶导数在 @@M@@n@@ 大时被 @@M@@\delta_n@@ 控制，快于任何时间负幂。定理二把”写入会破坏正在读的指令”化为”供体静止”：当前构型从供体坐标读出，该坐标在整个时间槽内不动，解码出的指令因而在写入期间保持不变；读出函数用光滑周期化的取小数函数 @@M@@P@@ 定义在一切实供体上——凡更早的记录块乘以 @@M@@b^{s_n}@@ 后都是整数，被 @@M@@P@@ 精确剥离，剩下的正是当前块——转移分支再用平台权 @@M@@\Psi_i@@ 作平滑选择；信号坐标在不停机时始终严格为负，只在首个停机槽越零变正。定理三用格点选择函数与同一整除性实现单坐标记忆：尺度取 @@M@@\epsilon_n=b^{-K_n}@@（@@M@@K_n=(p_0+10)2^{n(n+1)}@@），读出靠剩余类剔除旧记录；提升场 @@M@@U=(\eta'v_1,\eta'v_2,-\eta\,\operatorname{div}_\xi v)@@ 使平面 @@M@@z=1/2@@ 不变，观测粒子就是 @@M@@(Y(t),1/2)@@，第三个分量恰好抵消平面散度。三者的解析收口同前两篇：残差实现加 Leray 差能量唯一性，环面投影用定量 Fourier 尾估计。
本文与同族两篇共享残差实现与有效投影两条解析引理（引自伴随篇），三种构造各以一种几何机制解决”写入期间保持读出有效”。作者强调观察是精确的：不停机粒子贴着检测器边界、停机信号可任意小，故不提供一致的有限精度容差。按 OpenAI 官方声明，未经形式化的结果可能有问题；本文暂无形式化证明，请以社区核验为准。
问 1：证明中最关键、最脆弱的一步是什么？
| （答：整除性算术与导数交换的合奏：δⱼ/δₙ 须是 Mₙ 的整数倍、新位移 bₙ<δₙ/8 须远小于格距，读出才不被写入破坏；同时每个旋涡的导数估计 ‖Vₙ‖≤Cbₙδₙ^{− | α | } 不得混入格点数目因子，且 bₙ≤δₙ^{n+10} 保证每个固定阶在 n 大时被 δₙ 压制。尺度序列只要有一位算错，读出串位、衰减失效同时发生。） |
问 2：为什么不干脆把一个周期构造”放慢播放”来得到衰减？
（答：论文自己堵死了这条路：把有界周期场按 τ′ 重参数化要跑遍无穷内部步就必须 τ(t)→∞，而快速衰减的非负 τ′ 可积，累积时间有限。所以三件构造都保持每步一个单位物理时长，只缩小空间位移——”字变小”而不是”字变慢”。）
问 3：与前人和姊妹篇相比真正的新意是什么？
（答：首个”外力、速度连同一切固定阶导数都快于任何逆幂衰减、计算仍通用”的构造；前人（CMPP、CMP、DGMP）或需非零初速、或需改编度量、或仅限有界纸带。方法上也不需 Bennett 可逆编译器——把整段旧记录原封留在更细尺度上即可满足流的可逆性，这是对”保留信息”原则的另一种实现。）
问 4：三种记忆构造为什么都要专门解决”边写边读”？
（答：读出当前构形与写入下一构形若同时发生，写入会污染正在读的地址。三个机制各显神通：紧支撑旋度让供体地址在读出期间静止；交错分数坐标让两个坐标轮流充当供体与受体，供体整槽不动；周期格点用剩余类剔除旧记录、且新位移落在选择函数的常数平台内。任何一处”写入扰动读出”未消干净，等价性即失效——这也是最可能出错的地方，且未经形式化。）
问 5：检测器的诚实声明说明了什么？
（答：论文坦承不停机粒子在地址构造里恰好贴着检测器边界 X₁=−1，停机信号是趋于零的 bₙ，交错与格点构造的信号也只从一侧逼近边界。因此不给任何一致的有限精度容差，也不宣称对测量或场扰动的鲁棒性——这与 CMP 的鲁棒有界纸带模拟并不矛盾，但审稿人应把它读作”本结果纯属精确数学”的边界条款。）
问 6：下游推论与谁会用到？
（答：推论给出四个固定实验（含两个无散度环面版）粒子事件的不可判定性。概念上它划清了”有限轨迹长度”与”精确实数存储容量”的界限，对可计算分析中”物理可达性 vs 可判定性”讨论是直接素材；用家是流体可计算性与可计算性分析社区。）
总评
这是族内最反直觉的一篇：推力趋于零、路程有限、计算不停，靠尺度超指数收缩的”无限小字”记账实现，三种记忆机制互相印证；最大风险在整除性算术与导数估计的精细交换未经形式化，且结论的精确观测边界使物理实现性几乎为零。