本节摘要:分辨率不是粒子数的广告语,它是格子、软化、开角、辐射方向、快照间隔、以及亚网格宪法的联合声明。精度也不是残差范数的虚荣,它是守恒、线性理论对照、以及条款重签后的统计是否还在。观测闭环要求把模拟推到与仪器同类的产品上:光锥、噪声、掩模、选择函数,并留下盲测量。下一代巡天不会自动让模拟变对,它只会让假账暴露得更快。
阅读完本节,你应当能够:
N 体要报粒子数、盒子边长、软化、树开角、网格。流体还要报最细格子相对杰恩斯长度或核半径、人工粘性开关、限制器。辐射要报方向数或光子包数、群数。MHD 要报最大散度。时间上要报 CFL 安全系数与快照间隔。亚网格要报条款是否随分辨率重签。只报“我们用了若干粒子”,等于只报铸币产量。
收敛测试应当沿清单逐项动,而不是只加倍 N。开角减半、软化减半、条款减弱,结构若消失,则该结构不是物理发现。宇宙学还要报盒子数量或替代实现,以分开宇宙方差与格式差。把一个盒子里的一次涨落写成模型预言,是用天气当气候。
清单项 它截断什么 只报 N 时被隐瞒的 软化/最小格子 最小引力或流体结构 核区与小晕 开角 力的多极误差 各向异性力噪声 方向数/包数 辐射阴影 电离锋形状 快照间隔 短时标事件 并合树完整性 条款重签 未分辨层 风的来源
💡 关键直觉:收敛不是图变更细。收敛是你动清单上每一项时,科学结论还活着。
格式误差随分辨率收敛,原则上可压。宇宙方差随体积和实现数下降。条款不确定度可以不随分辨率下降,甚至在加密后改符号。把三者加进同一根误差棒而不声明成分,读者会以为加密能拯救一切。当代宇宙学参数估计已经被迫把重子条款写成系统误差的一部分,正是因为第三类不准拒绝消失。
合成观测是闭环的接口。粒子或格子上的质量不是 SDSS 的星等,也不是弱透镜的剪切目录。必须经过:恒星粒子的光谱与演化,尘埃衰减,点扩散,噪声,掩模,选择函数。缺任何一步,对比都在审翻译而不是审宇宙。引力波则要仪器响应与噪声曲线;毫米波图像要传递函数与覆盖。下一代广域巡天、时域设施、引力波网络,提供的不是“更多像素所以模拟赢了”,而是更硬的盲测题:同一前向必须同时解释多种产品。
| 产品 | 模拟侧必做的翻译 | 盲测示例 |
|---|---|---|
| 星系聚类 | 光锥、偏置、选择 | 未用于校准的高阶统计 |
| 弱透镜 | 物质投影加噪声 | 小尺度在条款扫描下的稳健性 |
| 再电离21厘米 | 电离场加仪器前景 | 气泡大小分布的形状而非振幅 |
| 引力波 | 波形加探测器响应 | 未用于调模板的子空间 |
| 毫米波阴影 | 辐射转移加电子模型 | 多频率一致性 |
从开普勒的钟到 TreePM 的盒子,从 SPH 的核函数到 GRMHD 的切片,每一代方法都在清单上增加项目,也在观测法庭上增加试卷。审计一张当代图,可以按本教程的章节倒着问:
颜色来自气体还是暗物质?来自气体则审冷却与条款。形态来自无碰撞动力学还是反馈?细丝尺度小于软化则不是发现。阴影来自辐射方向离散还是物理吸收?波形相位来自弯曲几何还是伪牛顿模具?仿真器的光滑曲线是否离开了训练盒?合成观测有没有噪声?被展示的量是否进过校准名单?
能回答这些问题,计算天体物理才从壁纸回到第三范式:在守恒看守下推演,在分辨率清单上收敛,在观测产品上受审。不能回答,则无论用了多少 GPU 和多少网络层,仍是第 1 章所说的演示动画。
⚠️ 常见坑:用下一代望远镜的名称当引言,却仍只对比无噪声的密度投影。名称不能代替翻译层。
概念账本:
写分辨率清单并逐项扰动 把误差拆成格式、方差、条款 把状态推到与仪器同类的产品 校准靶公开,盲测靶先藏 失败时回修宪法,不修色标
全书停在这里是合适的。方法还会变:新的运动网格、新的辐射闭合、新的仿真器。变的规则已经写过——墙出现,改道,留下必须审计的接口。读者若记住规则,下一张尚未画出的数字宇宙图,也有地方可以下锚。
下一代广域成像、光谱巡天、时域警报、引力波网络、毫米波阵列,会同时要前向模型输出多种产品。单点模拟、单一条款、无噪声投影,将越来越难通过审稿。这不意味着每个人都要跑最大的盒子,而意味着每个人都要声明自己的产品在清单上覆盖了哪几项、校准了哪几项、盲测了哪几项。小问题仍然可以只用激波管和线性理论结案,只要你不要把结案范围写成整个宇宙。
锚有三颗。第一颗是第 1 章的账本:守恒、初值、分辨率。第二颗是第 2 章的谱系:力、流、磁、光、焊接。第三颗是本章的法庭:清单、三类不准、合成观测、盲测。三颗锚足够让你读一篇尚未写出的方法节。具体方言会换,墙与改道的逻辑不会换。
若你后续真的进入某一方言的开发,把本教程当成航海图而不是操作手册。操作手册在仓库的回归测试里;航海图在你决定改一条款或加密一档之前,提醒你哪一张清单会跟着动。动了清单还声称同一科学结论,才是当代最常见的假账。
当同一前向必须同时解释弱透镜、星系聚类和气体分数,能同时过关的条款空间会急剧缩小。这是条款的末日,也是新生:活下来的条款才有资格当模板。缩小不是因为观测“证明了反馈理论”,而是因为假账的容身之处变少。仿真器在这里的正当岗位,是帮我们在缩小的空间里走完网格,而不是帮我们在失败区继续画光滑曲线。
教程能给的最后一块航海图:遇到新方言、新网络、新巡天,先填三张表——分辨率清单、条款宪法、产品与盲测。三张表填得出来,第三范式还在;填不出来,无论计算多么昂贵,都还停留在第 1 章所说的演示。
都不会自动。新数据是更硬的试卷:同一前向要同时解释多种产品,条款空间会缩小。缩小是假账容身之处变少,不是某次著名模拟被加冕。每个人仍须声明清单、宪法、校准与盲测。小问题可以用激波管结案,只要不把结案范围写成整个宇宙。无噪声密度投影对巡天,名称再新也还是翻译层缺失。三张表填得出来,第三范式还在。
多信使同时在场时,能同时过关的条款空间会缩小。这是假账的末日,也是模板的新生。仿真器的正当岗位是在缩小的空间里走完网格,不是在失败区画光滑曲线。遇到新方言或新巡天,先填分辨率清单、条款宪法、产品与盲测三张表。填得出,第三范式还在;填不出,计算再贵也仍是演示。小问题仍可用激波管结案,只要不把结案范围写成整个宇宙。
观测闭环在方法史上早已出现,只是试卷一次比一次硬。线性理论对照功率谱,是早期 N 体的入场券:大尺度对不上,盒子或初值就没有出庭资格。星系团气体分数后来成为重子条款的粗筛,把“把过多气体推出晕”的风当场否决。再往后,弱透镜、星系聚类、气体分数要同一前向同时解释,条款空间才真正开始缩小。缩小不是某次著名模拟被加冕,是假账的容身之处变少。
分辨率系列本身也是闭环的一部分。同一初值、同一条款,只动清单上的一项——粒子数、软化、开角、最细层——看科学结论是否还活着。结构若随软化消失,就不是发现。宇宙学还要多个盒子或替代实现,才能把宇宙方差从格式差里拆出来。把一个盒子里的一次涨落写成模型预言,是用天气当气候。
全书的审计口令可以压成三句。颜色从哪一层来,就去审那一层的条款。细于软化或最细格子的形态,先当模具再当物理。被展示的量若进过校准名单,就不能再当预言。三句能回答,计算天体物理才从壁纸回到第三范式。
读到这里,你应能把任何一张数字宇宙图拆回方法世代。若还想动手实现,那是另一门课:先把本课的墙与改道讲给自己听,再打开任何一种方言。