结果族 376：Universal computation in forced Navier–Stokes flows · 学科：Partial differential equations · 验证状态：暂无形式化证明，请以社区核验为准
从前的”水计算机”都要跟踪一个随波逐流的小颗粒——像跟着快递员跑全程。这篇改成装监控摄像头：站在固定地点测流速本身。某个固定区域里的竖直流速一旦超过 1/2，当且仅当程序停机；不用追任何粒子，计算照样藏不住。
关键词卡片
看个具体例子
往静止的水里注入质量仅 10⁻¹¹ 的墨滴，然后周期性地”搅一波、等一等”。停机时，搅拌恰好把新鲜墨滴送进探测带，读数 u₃>15/16；不停机时墨滴离带至少距离 d，残影加误差至多 1/16。两条路以 1/2 为界严格分开，任何时刻都不会误报。
为什么值得关心
观测方式更苛刻也更”物理”：不追粒子、只看场，连检测区域和阈值都预先固定，计算依然不可判定。那套注入–搅动–等待的染料技术，本身就像一场精巧的思想实验。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读说这篇不再”跟着快递员跑全程”，而是”装监控摄像头”：站定在固定地点，测水流本身的速度。换成半数学语言：对象依旧是从静止出发的不可压缩黏性流体；但被观测的不再是指定颗粒的行踪，而是速度场在某个固定区域里的取值——竖直流速一旦越过固定阈值 1/2，就是停机的信号。困难显而易见：颗粒能原样携带编码，而速度值会被黏性扩散抹开。
第二级台阶
用本科术语精确化：关键是一个降维结构。取二维无散的水平场 a 与标量 w，令速度为 (a,w) 且与第三坐标无关，则 w 恰好满足一个对流–扩散方程：既被水平流携带、又被粘性扩散、还接受注入源 h。外力由 a 与 h 显式给出，不含未知解。于是”速度场检验”化为”标量染料检验”：往初始编码处注入一小滴墨水，快速搅动把它运走，再静置等待，让旧墨滴被扩散抹淡。
第三级台阶
主定理给出两个构造。环面上：事件”固定带内某点竖直流速超过 1/2”当且仅当机器停机；外力水平支集含于与时间无关的紧集。柱面上：外力及其一切混合导数全局有界，事件”半个平面上的竖向积分超过 1/2”当且仅当停机。假设各挡一种麻烦：搅动时段极短，挡住”运输途中扩散走样”；等待期超过热时间，挡住”旧墨滴残影误报”；停机侧读数 15/16、不停机侧至多 1/16，两侧以严格余量跨在阈值 1/2 之上。检测区域与阈值均与机器、输入无关；两个检验的粒子版姊妹结果由此换成纯场论版本。
在平坦三维区域上为从静止出发、粘性 @@M@@\nu>0@@ 固定的不可压 Navier–Stokes 流构造光滑外力，使得只看速度场的固定检验——环面某带内 @@M@@u_3>\tfrac12@@，或 @@M@@\mathbb R^2\times\mathbb T@@ 上半平面积分 @@M@@>\tfrac12@@——恰好等价于给定图灵机停机；由此这类速度事件不可判定。
“流体能否计算”此前有两条主线：Cardona、Miranda、Peralta-Salas 与 Presas（2021）在选定黎曼度量的三维球上用定常 Euler 流让示踪粒子读取计算；Dyhr 等人（2026）在适配流形上构造无外力的定常 Navier–Stokes 场。这些结果的观测者都是拉格朗日式的：跟随一个物质粒子（material particle），且几何是被定制的。本文提出更苛刻的欧拉式（Eulerian）观测：不跟踪任何粒子，只在固定位置检测演化中的速度场本身；几何固定为平坦环面 @@M@@\mathbb T^3@@ 或柱面 @@M@@\mathbb R^2\times\mathbb T@@，粘性固定且可计算，初速度为零，机器与输入只进入外力。难点是双重的：速度分量携带的信息会被粘性扩散抹平，而不可压流搬运信息时又必须保持面积。Turing（1936）的符号打印不可判定性提供最终的逻辑阻碍。
主定理：对每个正的可计算 @@M@@\nu@@，任给确定性图灵机与有限输入，可有效地决定下列两个外力之一，使其在指定的经典比较类中有唯一整体光滑解（压力为零）。
（1）在 @@M@@\mathbb T^3@@ 上，事件
@@M@@D\exists t\ge0,\ \exists(x,y,z):\ 1/32<y<1/8,\quad u_3(t,x,y,z)>\tfrac12@@
成立当且仅当机器停机；外力的水平支集含于与时间无关的紧集 @@M@@K\times\mathbb T@@（@@M@@K\subset(0,1)^2@@）。
（2）在 @@M@@\mathbb R^2\times\mathbb T@@ 上，外力及其全部混合导数全局有界（每个有限时段内水平支集紧），事件
@@M@@D\exists t\ge0:\ \int_{\{X_2>0\}\times\mathbb T}u_3\,\mathrm dX\,\mathrm dz>\tfrac12@@
成立当且仅当停机。
两个检验的区域与阈值 @@M@@\tfrac12@@ 均与机器、输入无关。推论：不存在算法能对本构造产生的每个外力描述判定上述固定速度事件，否则即可判定停机问题。外力无需无散或零均值。
先做”三角化”降维。对二维无散场 @@M@@a(t,Y)@@ 与标量源 @@M@@h@@，令 @@M@@F=\partial_ta+(a\cdot\nabla_Y)a-\nu\Delta_Ya@@、@@M@@f=(F,h)@@，则 @@M@@u=(a,w)@@、@@M@@p=0@@ 满足方程，其中竖向分量 @@M@@w@@ 解对流–扩散方程（advection–diffusion equation）@@M@@\partial_tw+a\cdot\nabla_Yw=\nu\Delta_Yw+h@@、@@M@@w(0)=0@@。速度场检验于是化为标量检验，外力公式完全显式、不含未知解；唯一性由经典的差能量比较（Leray 型）配合截断取极限给出。
环面构造采用”注入–搅动–等待”分块（injection, stirring and waiting）。平面哈密顿处理器 @@M@@V@@（由姊妹篇的编译器定理供给）在整数相位执行可逆化的机器：停机时轨道于某整数相位进入目标带 @@M@@E=\{1/32<y<1/8\}@@，不停机时整条轨道与 @@M@@E@@ 的距离至少 @@M@@2d@@。第 @@M@@n@@ 块先在初始码处注入高度为 1、宽度 @@M@@b_n=10^{-6}(2R)^{-n}@@ 的窄 bump，总质量 @@M@@M_0<10^{-11}@@；再在极短时段 @@M@@\delta_n@@ 内快放 @@M@@V@@ 的 @@M@@n@@ 个周期，时间压缩把扩散误差压到 @@M@@2\delta_nD_n<1/50@@，其中 @@M@@D_n@@ 由流的一、二阶变分估计界定；随后等待超过一个单位热时间，让旧注入按热核上界 @@M@@H@@ 均匀变小。停机时新鲜 bump 被精确搬运到检测带上，@@M@@w>15/16>1/2@@；不停机时 bump 支集与 @@M@@E@@ 距离至少 @@M@@d@@，旧贡献不超过 @@M@@HM_0@@，误差至多 @@M@@1/16@@，合计严格小于 @@M@@1/2@@，且对所有物理时刻成立，不存在过渡期的假检测。
柱面构造改用”以空间换有界”。把带子编码为整数栈 @@M@@(x,y)@@（基数 @@M@@b@@），第 @@M@@n@@ 层有 @@M@@K_n=NB_n^2@@ 个地址；水平无散场为一切已定义的单步转移同时安装平移门（translation gate）@@M@@W=\nabla^\perp[\chi(\xi/R_n)(G_1\xi_2-G_2\xi_1)]@@，门在半径 @@M@@R_n@@ 内恰为所需平移（平台性质）。半径 @@M@@R_n=R_0\Lambda^n@@ 与时段 @@M@@T_n@@ 的几何增长吸收地址数的增长，使 @@M@@f@@ 的每个混合导数一致有界。初始的单位竖向脉冲产生质量为 1 的标量 @@M@@\rho@@；跟随所选计算的移动截断（moving cutoff）@@M@@\varphi_R(X-c(t))@@ 经分部积分给出扩散损失率不超过 @@M@@\nu C_*R^{-2}@@，尺度选取使累计逃逸质量 @@M@@\delta<1/24@@。终态地址位于正高度行 @@M@@S_n@@，故停机时半平面积分超过 @@M@@3/4@@；不停机时轨道始终留在负行，积分不超过 @@M@@\delta@@。两个方向以严格余量分开，且解的构造从不执行机器——力只安装全部局部转移，由解本身完成计算。
本文主结果未形式化，请以社区核验为准（族元数据提及配套 Lean 文档页，但本篇标记为未形式化）。族内三篇互相咬合：本文的平面处理器与单头编译器直接引自姊妹篇《Scalar Potentials and Slow Clocks for Forced Fluid Computation》，而该篇的速度检测又显式回调本文的注入–搅动–等待定理。按 OpenAI 官方声明，未经形式化的结果可能有问题。
问 1：证明中最关键、最脆弱的一步是什么？
（答：扩散预算的分配。环面构造里搅动时段 δₙ 极短，要求 2δₙDₙ<1/50，其中 Dₙ 由平面流的一、二阶变分估计界定——低估 Dₙ 就会在运输途中漏墨；等待期须超过单位热时间，让旧注入按热核上界 H 衰减到 HM₀ 以下。两侧余量 15/16 与 1/16 夹住阈值 1/2，这份层层相加的常数账任何一处算漏，”任意物理时刻不误报”即告失效。）
问 2：欧拉式观测为什么本质上比跟踪粒子更难？
（答：粒子是精确的：实坐标可携带整条纸带且不衰减；速度分量却是对流–扩散方程的解，信息随时间被粘性抹平。本文的降维装置把矛盾集中到单个标量 w 上：水平处理器（引自姊妹篇的编译器定理）保持精确，竖向才付扩散的代价——注入的质量小到 10⁻¹¹，正是为了让扩散尾巴永远够不到阈值。）
问 3：与已有速度空间观测相比真正的新意是什么？
（答：直接前驱 Cardona–Miranda–Peralta-Salas 2022 用高维紧黎曼流形上的无外力 Euler 演化，以进入无散速度场开集为观测。本文几何是平坦三维的，粘性为正、初速为零，机器只进外力；且给出逐点与积分两种检验，区域与阈值 1/2 都与机器无关。族内定位也清楚：姊妹篇全是拉格朗日观测，本篇是唯一的欧拉观测，并与《Scalar Potentials》互相引用咬合。）
问 4：两个构造为何要分开，各自付出什么代价？
（答：论文自己写明取舍：环面版把机制压在单一图表内、检测逐点，但外力导数界只在每个有限时段内成立、可随时间增长；柱面版让水平几何随地址数扩张（半径 Rₙ=R₀Λⁿ 与时段几何增长），换来一切混合导数全局有界，代价是不承诺全程单一紧支集或动能一致有界。两者都不要求外力无散或零均值——比姊妹篇的约束更松。）
问 5：这个结果最可能以什么方式出错？
（答：AI 生成证明的典型风险是常数链：bump 宽度 bₙ=10⁻⁶(2R)⁻ⁿ、质量 M₀<10⁻¹¹、柱面版移动截断的扩散损失率 νC*·R⁻² 与累计逃逸质量 δ<1/24 对 3/4 的余量——这些数字彼此咬合，一处松动全线告急。其次”对所有物理时刻无假检测”要求过渡时段也逐段核查，而不仅整点采样。全文未经形式化。）
问 6：下游推论与谁会用到？
（答：推论是两个固定速度事件（逐点与积分）对各自构造类的不可判定性；参数化的注入–搅动–等待定理本身是可复用的引理，姊妹篇的速度检测显式回调它。用家是 PDE 可计算性方向；但论文明示不对外力扰动或有限精度描述给任何稳定性——观测余量属于精确构造，不属物理测量。）
总评
这是”计算藏进速度场本身”的第一个平坦三维、正粘性、零初速版本，注入–搅动–等待的染料论证精巧且诚实标注了两种构造各自的代价；最大风险在多层扩散常数账未经形式化，且无任何扰动稳定性使其停留在精确数学层面。