SDE Universes·新思想前沿›数学与逻辑
新思想前沿 · 轨道、稳定性与数据反演

动力系统

近二十年与经典层 · 两幕 20 个新思想 ＋ 20 个经典思想 · 约 35,996 字 · 王德生 亲撰 · 2026 年 8 月

动力系统的近二十年转向与 1950—2006 年经典思想在同一页对读：现代层说明新证据怎样改写问题，经典层倒查旧前提由谁、用什么材料建立。四十条均保留来源、边界、量纲、失效与异名接口；经典二十条逐一回指上文，不把年代久远误当成结论仍然有效。

【第一幕】上一个十年 · 约 2006–2016 · 八条奠基转向

甲、刚性第一次去解数论

提出Einsiedler, Katok & Lindenstrauss, Invariant measures and the set of exceptions to Littlewood’s conjecture, Annals of Mathematics 164 (2006): 513–560。　争议与 Brunton, Proctor & Kutz, Discovering governing equations from data by sparse identification, PNAS 113 (2016): 3932–3937 的对象边界或反例路线对读。　最新Brunton et al., Machine learning for discovering dynamical systems, 2024 review and benchmark papers。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕本条，旧账的堵点是：2006 年前后，一组研究者用齐性空间上的测度刚性证明：Littlewood 猜想的例外集合豪斯多夫维数为零。这是一个纯数论命题，被一个动力系统定理解决。 早期论证常把成功对象当成全体，让本条的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

本条这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进本条的同一解释；若第三方只能复述本条结果却不能重做变换，所谓迁移就尚未发生。第 302 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

本条的硬证据由 2006 年前后的原始工作给出：它把一条原本内部的技术变成了对外的接口——判断某类丢番图逼近问题，可以先翻译成某条轨道往哪里去。相关工作获 2010 年菲尔兹奖。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Einsiedler, Katok & Lindenstrauss, Invariant measures and the set of exceptions to Littlewood’s conjecture, Annals of Mathematics 164 (2006): 513–560。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

本条最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满本条分母，新障碍就会迟到。反例对本条可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。本条再核一次：2006 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

让本条成为公共工艺，需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条在 2026 年与第 302 号《调和分析》的证据边界、又与第 306 号《生物统计学》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置S——它把“刚性第一次去解数论的定义、变换与边界”当成单独够用的那一样　单因决定刚性第一次去解数论能否迁移的只有结论是否在公开边界内可复算　预设〔01 谁进入分母〕刚性第一次去解数论在已发表样本上的方向可以代表全部候选对象　量纲在刚性第一次去解数论的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，刚性第一次去解数论的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2006 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在刚性第一次去解数论中产生阴性结果的对象　异名第 302 号《调和分析》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

乙、Ratner 定理的适用面被摸清

提出Eskin & Mirzakhani, Invariant and stationary measures for the SL(2,R) action on moduli space, Publications Mathématiques de l’IHÉS 127 (2018): 95–324。　争议与 Lusch, Kutz & Brunton, Deep learning for universal linear embeddings of nonlinear dynamics, Nature Communications 9 (2018): 4950 的对象边界或反例路线对读。　最新Eskin–Mirzakhani dynamics: quantitative refinements, 2024 research papers。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

本条改变的不是术语外壳，而是旧问题的入账方式：幺幂流的轨道闭包与不变测度必须是代数的——这条上世纪九十年代的定理，在这一时期被大量应用并逐步定量化：不只是「最终会均匀分布」，而是「多快」。 若仍用单个定理、单台器件或单批数据结算，本条之外的反例会被成功叙事自动删去。这里把本条的对象范围、操作步骤和例外集合分别立账。

对本条只提出一条单因主张：公开边界内可以独立复算，才允许把本条方法搬到下一类对象。声望与经费只作环境量；如果本条离开原作者补充就不能运行，结论仍是一次性工艺。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

本条的硬证据由 2018 年前后的原始工作给出：定量化才让它可用于数论：那里需要的从来不是渐近，而是有效的误差项。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Eskin & Mirzakhani, Invariant and stationary measures for the SL(2,R) action on moduli space, Publications Mathématiques de l’IHÉS 127 (2018): 95–324。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

对本条的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。本条再核一次：2018 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

本条要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少；2025 年更新不因更晚就自动更强。第 303 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 303 号《复分析与复几何》的证据边界、又与第 307 号《贝叶斯统计与计算》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置D——它把“Ratner 定理的适用面被摸清的定义、变换与边界”当成单独够用的那一样　单因决定Ratner 定理的适用面被摸清能否迁移的只有结论是否在公开边界内可复算　预设〔01 谁进入分母〕Ratner 定理的适用面被摸清在已发表样本上的方向可以代表全部候选对象　量纲在Ratner 定理的适用面被摸清的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，Ratner 定理的适用面被摸清的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2018 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在Ratner 定理的适用面被摸清中产生阴性结果的对象　异名第 303 号《复分析与复几何》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

丙、模空间上的动力学

提出Eskin, Mirzakhani & Mohammadi, Isolation, equidistribution, and orbit closures for the SL(2,R) action, Annals of Mathematics 182 (2015): 673–721。　争议与 Pathak et al., Model-free prediction of large spatiotemporally chaotic systems, Physical Review Letters 120 (2018): 024102 的对象边界或反例路线对读。　最新Validated numerics for high-dimensional dynamics, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在本条这条线上，过去卡住的是：同一时期，关于平移曲面模空间上的体积、以及双曲曲面上简单闭测地线计数的工作，把动力学方法带进了几何。相关工作获 2014 年菲尔兹奖，也是这十年那根「魔杖」的直接前身。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的本条必须让三类记录同时可见。

本条的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释本条的正确性；若本条增加抽象层级却减少可重做者，接口扩张就没有被证成。本条再核一次：2015 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

本条的硬证据由 2015 年前后的原始工作给出：这一条与甲、乙合起来说明了一件事：动力系统在这一时期完成了从「研究对象」到「研究方法」的身份转换。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Eskin, Mirzakhani & Mohammadi, Isolation, equidistribution, and orbit closures for the SL(2,R) action, Annals of Mathematics 182 (2015): 673–721。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满本条分母，新障碍就会迟到。反例对本条可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

让本条成为公共工艺，需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 304 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 304 号《可计算性与递归论》的证据边界、又与第 308 号《实验设计与抽样调查》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置E——它把“模空间上的动力学的定义、变换与边界”当成单独够用的那一样　单因决定模空间上的动力学能否迁移的只有结论是否在公开边界内可复算　预设〔01 谁进入分母〕模空间上的动力学在已发表样本上的方向可以代表全部候选对象　量纲在模空间上的动力学的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，模空间上的动力学的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2015 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在模空间上的动力学中产生阴性结果的对象　异名第 304 号《可计算性与递归论》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

丁、混沌的定量化与计算机辅助

提出Avila, Global theory of one-frequency Schrödinger operators, Acta Mathematica 215 (2015): 1–54。　争议与 Vlachas et al., Backpropagation algorithms and reservoir computing in recurrent neural networks, Neural Networks 126 (2020): 191–217 的对象边界或反例路线对读。　最新Brunton et al., Machine learning for discovering dynamical systems, 2024 review and benchmark papers。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解本条要先拆一个旧混合量：混合速率、谱隙与统计极限定理在这一时期被系统建立；同时借助区间算术的计算机辅助证明开始出现，若干长期只有数值证据的现象被给出严格证明。 原体例把发现、证明与推广写在同一行，导致本条究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。

本条只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替本条。只要本条的定义域和失败域不能由外部研究者重建，本条即按未完成处理。本条再核一次：2015 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

本条的硬证据由 2015 年前后的原始工作给出：这条线在这十年长成了两样东西：预测有效期的定量判据，以及把计算机当作证明的一部分。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Avila, Global theory of one-frequency Schrödinger operators, Acta Mathematica 215 (2015): 1–54。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

对本条的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条还应公开最小复算材料；材料不足时，本条的引用增长只测传播，不测正确性或可迁移性。

本条要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少；2025 年更新不因更晚就自动更强。第 306 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 306 号《生物统计学》的证据边界、又与第 309 号《时间序列与预测方法》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置S——它把“混沌的定量化与计算机辅助的定义、变换与边界”当成单独够用的那一样　单因决定混沌的定量化与计算机辅助能否迁移的只有结论是否在公开边界内可复算　预设〔10 更多数据必然减少偏倚〕混沌的定量化与计算机辅助在已发表样本上的方向可以代表全部候选对象　量纲在混沌的定量化与计算机辅助的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，混沌的定量化与计算机辅助的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2015 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在混沌的定量化与计算机辅助中产生阴性结果的对象　异名第 306 号《生物统计学》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

戊、遍历理论向数论与组合的持续输出

提出Tucker, A rigorous ODE solver and Smale’s 14th problem, Foundations of Computational Mathematics 2 (2002): 53–117。　争议与 Scheffer et al., Early-warning signals for critical transitions, Nature 461 (2009): 53–59 的对象边界或反例路线对读。　最新Eskin–Mirzakhani dynamics: quantitative refinements, 2024 research papers。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕本条，旧账的堵点是：把整数集合中的模式问题翻译成遍历平均的收敛问题，这条自上世纪七十年代开辟的通道在这一时期继续产出：多重遍历平均的极限被刻画，非常规平均的结构定理被建立，并与加性组合互相印证。 早期论证常把成功对象当成全体，让本条的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

本条这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进本条的同一解释；若第三方只能复述本条结果却不能重做变换，所谓迁移就尚未发生。第 307 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条的硬证据由 2002 年前后的原始工作给出：这解释了一个此后反复出现的现象——同一批结果常常有两个证明，一个组合的、一个动力学的，而两个证明看起来毫无关系。同一件事有两种互不相通的证法，通常意味着底下还有一层没被看见。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Tucker, A rigorous ODE solver and Smale’s 14th problem, Foundations of Computational Mathematics 2 (2002): 53–117。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

本条最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满本条分母，新障碍就会迟到。反例对本条可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。本条再核一次：2002 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

让本条成为公共工艺，需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条在 2026 年与第 307 号《贝叶斯统计与计算》的证据边界、又与第 310 号《空间统计与地理统计》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置D——它把“遍历理论向数论与组合的持续输出的定义、变换与边界”当成单独够用的那一样　单因决定遍历理论向数论与组合的持续输出能否迁移的只有结论是否在公开边界内可复算　预设〔10 更多数据必然减少偏倚〕遍历理论向数论与组合的持续输出在已发表样本上的方向可以代表全部候选对象　量纲在遍历理论向数论与组合的持续输出的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，遍历理论向数论与组合的持续输出的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2002 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在遍历理论向数论与组合的持续输出中产生阴性结果的对象　异名第 307 号《贝叶斯统计与计算》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

己、稳定性：从定性到定量

提出Kaloshin & Zhang, Arnold diffusion for smooth systems of two and a half degrees of freedom, 2012 preprint。　争议与 Ashwin, Wieczorek, Vitolo & Cox, Tipping points in open systems, Philosophical Transactions A 370 (2012): 1166–1184 的对象边界或反例路线对读。　最新Validated numerics for high-dimensional dynamics, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

本条改变的不是术语外壳，而是旧问题的入账方式：哈密顿系统的稳定性在这一时期从「大部分轨道稳定」推进到定量估计：不变环面的测度、共振区的宽度、扩散所需的时间尺度，都开始有可算的界。 若仍用单个定理、单台器件或单批数据结算，本条之外的反例会被成功叙事自动删去。这里把本条的对象范围、操作步骤和例外集合分别立账。

对本条只提出一条单因主张：公开边界内可以独立复算，才允许把本条方法搬到下一类对象。声望与经费只作环境量；如果本条离开原作者补充就不能运行，结论仍是一次性工艺。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条的硬证据由 2012 年前后的原始工作给出：同期天体力学中若干长期只有数值证据的结论——周期轨道的存在、特定构型的混沌性——借助区间算术被给出严格证明。这是计算机在这门学科里第一次不是「算一算看看」，而是证明的一个组成部分。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Kaloshin & Zhang, Arnold diffusion for smooth systems of two and a half degrees of freedom, 2012 preprint。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

对本条的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。本条再核一次：2012 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

本条要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少；2025 年更新不因更晚就自动更强。第 308 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 308 号《实验设计与抽样调查》的证据边界、又与第 311 号《原子分子与光物理》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置E——它把“稳定性的定义、变换与边界”当成单独够用的那一样　单因决定稳定性能否迁移的只有结论是否在公开边界内可复算　预设〔10 更多数据必然减少偏倚〕稳定性在已发表样本上的方向可以代表全部候选对象　量纲在稳定性的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，稳定性的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2012 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在稳定性中产生阴性结果的对象　异名第 308 号《实验设计与抽样调查》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

庚、Arnold 扩散：近可积系统也能沿共振网缓慢漂移Arnold Diffusion

提出Ashwin, Wieczorek, Vitolo & Cox, Tipping points in open systems, Philosophical Transactions A 370 (2012): 1166–1184。　争议与 Pecora & Carroll, Master stability functions for synchronized coupled systems, Physical Review Letters 80 (1998): 2109–2112 的对象边界或反例路线对读。　最新Brunton et al., Machine learning for discovering dynamical systems, 2024 review and benchmark papers。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在本条这条线上，过去卡住的是：变分法与几何方法为多自由度 Hamilton 系统构造跨越作用量区的轨道，KAM 环面不再被误当全局屏障。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的本条必须让三类记录同时可见。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释本条的正确性；若本条增加抽象层级却减少可重做者，接口扩张就没有被证成。本条再核一次：2012 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

本条的硬证据由 2012 年前后的原始工作给出：作用量漂移／目标区间、扩散时间／扰动强度与共振链长度共同界定已证明的扩散。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Ashwin, Wieczorek, Vitolo & Cox, Tipping points in open systems, Philosophical Transactions A 370 (2012): 1166–1184。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

本条最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满本条分母，新障碍就会迟到。反例对本条可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条还应公开最小复算材料；材料不足时，本条的引用增长只测传播，不测正确性或可迁移性。

让本条成为公共工艺，需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 309 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 309 号《时间序列与预测方法》的证据边界、又与第 315 号《表面与界面物理》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置S——它把“Arnold 扩散的定义、变换与边界”当成单独够用的那一样　单因决定Arnold 扩散能否迁移的只有结论是否在公开边界内可复算　预设〔14 因与果的方向是给定的〕Arnold 扩散在已发表样本上的方向可以代表全部候选对象　量纲在Arnold 扩散的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，Arnold 扩散的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2012 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在Arnold 扩散中产生阴性结果的对象　异名第 309 号《时间序列与预测方法》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

辛、全局一维动力学：局部小除数被组织成相图Global Theory of One-Frequency Schrödinger Operators

提出Pecora & Carroll, Master stability functions for synchronized coupled systems, Physical Review Letters 80 (1998): 2109–2112。　争议与 Bick, Goodfellow, Laing & Martens, Understanding the dynamics of biological and neural oscillator networks, Journal of Mathematical Neuroscience 10 (2020): 9 的对象边界或反例路线对读。　最新Eskin–Mirzakhani dynamics: quantitative refinements, 2024 research papers。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解本条要先拆一个旧混合量：Avila 把解析准周期 Schrödinger cocycle 分成超临界、亚临界与临界区，谱问题获得全局分类。 原体例把发现、证明与推广写在同一行，导致本条究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替本条。只要本条的定义域和失败域不能由外部研究者重建，本条即按未完成处理。本条再核一次：1998 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。本条还应公开最小复算材料；材料不足时，本条的引用增长只测传播，不测正确性或可迁移性。

本条的硬证据由 1998 年前后的原始工作给出：Lyapunov 指数正负、加速度整数与复化宽度共同标记相，单个能量点不能代替相图。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Pecora & Carroll, Master stability functions for synchronized coupled systems, Physical Review Letters 80 (1998): 2109–2112。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

对本条的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。

本条要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少；2025 年更新不因更晚就自动更强。第 310 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 310 号《空间统计与地理统计》的证据边界、又与第 316 号《磁学与自旋电子学》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置D——它把“全局一维动力学的定义、变换与边界”当成单独够用的那一样　单因决定全局一维动力学能否迁移的只有结论是否在公开边界内可复算　预设〔14 因与果的方向是给定的〕全局一维动力学在已发表样本上的方向可以代表全部候选对象　量纲在全局一维动力学的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，全局一维动力学的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 1998 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在全局一维动力学中产生阴性结果的对象　异名第 310 号《空间统计与地理统计》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目
【第二幕】这十年 · 约 2016–2026 · 十二条重构与清算

一、刚性：为什么轨道不能太怪

提出Mezić, Spectral properties of dynamical systems, Nonlinear Dynamics 41 (2005): 309–325。　争议与 Baladi, Dynamical zeta functions and dynamical determinants for hyperbolic maps, Springer (2018) 的对象边界或反例路线对读。　最新Validated numerics for high-dimensional dynamics, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕轨道壬项，旧账的堵点是：一般的动力系统里，一条轨道的闭包可以极其复杂，是分形、是处处不连续的怪集合。而在具有丰富对称性的空间上，情况相反：轨道闭包只能是一族代数子流形中的某一个——这就是刚性。 早期论证常把成功对象当成全体，让轨道壬项的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

轨道壬项这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进轨道壬项的同一解释；若第三方只能复述轨道壬项结果却不能重做变换，所谓迁移就尚未发生。第 311 号批外证据提醒：轨道壬项缺失对象不是零值；它未进入轨道壬项账本，遗漏率须随主结果发表。

轨道壬项的硬证据由 2005 年前后的原始工作给出：这类定理在上世纪末被建立于齐性空间上，并立刻成为数论的工具：许多关于丢番图逼近与格点分布的问题，可以被翻译成某条轨道往哪里去的问题，再由刚性定理一次性回答。 这十年的推进是把适用范围扩大：在模空间这类结构远没有齐性空间那么好的场合，类似的刚性依然成立。 对轨道壬项的复核分别记录对象规模、结构层级和误差分母；

轨道壬项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满轨道壬项分母，新障碍就会迟到。反例对轨道壬项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。轨道壬项再核一次：2005 年分母若换成轨道壬项全部候选对象，方向必须重算；未满足轨道壬项条件的对象逐项留下。

让轨道壬项成为公共工艺，需要样例留版本、轨道壬项依赖树可追踪、计算带证书、参数保留原始记录。轨道壬项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。轨道壬项与 2024–2026 年更新分开登记；晚近材料不能覆盖轨道壬项旧边界，轨道壬项来源层级也不能混写。轨道壬项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续轨道壬项路线也知道哪里走不通。

轨道壬项在 2026 年与第 311 号《原子分子与光物理》的证据边界、又与第 319 号《计算物理与多尺度模拟》的尺度转换相撞。两边共享‘表示越精细越可靠’，轨道壬项却警告核验者会随层级上升而减少；应比较轨道壬项可复算对象／全部候选对象。轨道壬项外推要报告复算成功对象／全部尝试对象；只列成功会把轨道壬项失败分母压零，方向随即失真。

位置E——它把“刚性的定义、变换与边界”当成单独够用的那一样　单因决定刚性能否迁移的只有结论是否在公开边界内可复算　预设〔14 因与果的方向是给定的〕刚性在已发表样本上的方向可以代表全部候选对象　量纲在刚性的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，刚性的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝轨道壬项在 2005 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在刚性中产生阴性结果的对象　异名第 311 号《原子分子与光物理》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

二、从工具到桥梁

提出Brunton, Proctor & Kutz, Discovering governing equations from data by sparse identification, PNAS 113 (2016): 3932–3937。　争议与 Liverani, On contact Anosov flows, Annals of Mathematics 159 (2004): 1275–1312 的对象边界或反例路线对读。　最新Brunton et al., Machine learning for discovering dynamical systems, 2024 review and benchmark papers。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

轨道癸项改变的不是术语外壳，而是旧问题的入账方式：刚性定理的价值在于它把一类问题彻底改判：原本要逐个处理的计数与分布问题，变成了先辨认出正确的群作用、再引用定理。 若仍用单个定理、单台器件或单批数据结算，轨道癸项之外的反例会被成功叙事自动删去。这里把轨道癸项的对象范围、操作步骤和例外集合分别立账。

对轨道癸项只提出一条单因主张：公开边界内可以独立复算，才允许把轨道癸项方法搬到下一类对象。声望与经费只作环境量；如果轨道癸项离开原作者补充就不能运行，结论仍是一次性工艺。轨道癸项与 2024–2026 年更新分开登记；晚近材料不能覆盖轨道癸项旧边界，轨道癸项来源层级也不能混写。轨道癸项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续轨道癸项路线也知道哪里走不通。

轨道癸项的硬证据由 2016 年前后的原始工作给出：这条线因此把动力系统变成了数论与几何的公共基础设施——与代数几何在别处扮演的角色类似。判断一个领域是否成熟的一个标志，正是别的领域开始把它当作现成工具引用（见相邻面板）。 这十年的一个遗憾也值得记：这条路线上最有创造力的推动者之一在盛年去世，她关于模空间上动力学的工作至今仍是这条线的主干。

对轨道癸项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起轨道癸项效果。若轨道癸项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。轨道癸项再核一次：2016 年分母若换成轨道癸项全部候选对象，方向必须重算；未满足轨道癸项条件的对象逐项留下。

轨道癸项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审轨道癸项要询问谁进入分母、谁能独立重跑、轨道癸项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 315 号批外证据提醒：轨道癸项缺失对象不是零值；它未进入轨道癸项账本，遗漏率须随主结果发表。

轨道癸项在 2026 年与第 315 号《表面与界面物理》的证据边界、又与第 587 号《网络科学》的尺度转换相撞。两边共享‘表示越精细越可靠’，轨道癸项却警告核验者会随层级上升而减少；应比较轨道癸项可复算对象／全部候选对象。轨道癸项外推要报告复算成功对象／全部尝试对象；只列成功会把轨道癸项失败分母压零，方向随即失真。

位置S——它把“从工具到桥梁的定义、变换与边界”当成单独够用的那一样　单因决定从工具到桥梁能否迁移的只有结论是否在公开边界内可复算　预设〔19 类别互斥且穷尽〕从工具到桥梁在已发表样本上的方向可以代表全部候选对象　量纲在从工具到桥梁的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，从工具到桥梁的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝轨道癸项在 2016 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在从工具到桥梁中产生阴性结果的对象　异名第 315 号《表面与界面物理》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

三、混沌里的可测量结构

提出Lusch, Kutz & Brunton, Deep learning for universal linear embeddings of nonlinear dynamics, Nature Communications 9 (2018): 4950。　争议与 Hairer & Mattingly, Yet another look at Harris’ ergodic theorem, Seminar on Stochastic Analysis (2011): 109–117 的对象边界或反例路线对读。　最新Eskin–Mirzakhani dynamics: quantitative refinements, 2024 research papers。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在轨道子项这条线上，过去卡住的是：第二条内部主线是遍历理论的精细化：不变测度的分类、熵的刻画、以及混合速率的定量估计。粗糙地说，问题从「系统会不会乱」变成了「乱到什么程度、以多快的速度忘记初始条件」。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的轨道子项必须让三类记录同时可见。

轨道子项的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释轨道子项的正确性；若轨道子项增加抽象层级却减少可重做者，接口扩张就没有被证成。轨道子项再核一次：2018 年分母若换成轨道子项全部候选对象，方向必须重算；未满足轨道子项条件的对象逐项留下。

轨道子项的硬证据由 2018 年前后的原始工作给出：这类定量结果的现实含义很直接：它决定了对一个混沌系统做统计预测的有效期。天气就是典型——单条轨道不可预测，统计性质却稳定，而两者之间的界限恰恰由混合速率给出。 混沌里的可测结构，有一个标志性的计算机辅助结果：那个著名的蝴蝶形吸引子，其存在性与双曲性质是靠严格的区间算术在计算机上验证的，而不是靠纸笔估计。

轨道子项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满轨道子项分母，新障碍就会迟到。反例对轨道子项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。轨道子项与 2024–2026 年更新分开登记；晚近材料不能覆盖轨道子项旧边界，轨道子项来源层级也不能混写。轨道子项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续轨道子项路线也知道哪里走不通。

让轨道子项成为公共工艺，需要样例留版本、轨道子项依赖树可追踪、计算带证书、参数保留原始记录。轨道子项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 316 号批外证据提醒：轨道子项缺失对象不是零值；它未进入轨道子项账本，遗漏率须随主结果发表。

轨道子项在 2026 年与第 316 号《磁学与自旋电子学》的证据边界、又与第 590 号《不确定性量化》的尺度转换相撞。两边共享‘表示越精细越可靠’，轨道子项却警告核验者会随层级上升而减少；应比较轨道子项可复算对象／全部候选对象。轨道子项外推要报告复算成功对象／全部尝试对象；只列成功会把轨道子项失败分母压零，方向随即失真。

位置D——它把“混沌里的可测量结构的定义、变换与边界”当成单独够用的那一样　单因决定混沌里的可测量结构能否迁移的只有结论是否在公开边界内可复算　预设〔19 类别互斥且穷尽〕混沌里的可测量结构在已发表样本上的方向可以代表全部候选对象　量纲在混沌里的可测量结构的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，混沌里的可测量结构的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝轨道子项在 2018 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在混沌里的可测量结构中产生阴性结果的对象　异名第 316 号《磁学与自旋电子学》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

四、稳定性问题的现状

提出Pathak et al., Model-free prediction of large spatiotemporally chaotic systems, Physical Review Letters 120 (2018): 024102。　争议与 Gidea & de la Llave, Global instability in Hamiltonian systems, Memoirs of the AMS 232 (2014): 1–92 的对象边界或反例路线对读。　最新Validated numerics for high-dimensional dynamics, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解轨道丑项要先拆一个旧混合量：经典问题依旧困难。哈密顿系统的稳定性——太阳系会不会散架——在小扰动下由 KAM 理论保证了大部分轨道稳定，但在共振区可能出现缓慢的漂移。这十年在若干具体模型上证明了这种漂移确实存在，并给出了速度估计。 原体例把发现、证明与推广写在同一行，导致轨道丑项究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。

轨道丑项只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替轨道丑项。只要轨道丑项的定义域和失败域不能由外部研究者重建，本条即按未完成处理。轨道丑项再核一次：2018 年分母若换成轨道丑项全部候选对象，方向必须重算；未满足轨道丑项条件的对象逐项留下。

轨道丑项的硬证据由 2018 年前后的原始工作给出：与之相关的是三体问题与天体力学中的数值证明：借助区间算术与计算机辅助，若干长期只有数值证据的现象（周期轨道的存在、混沌的严格判定）被给出了严格证明。 这是这十年数学的又一处共同模式——计算机不只是算，而是成为证明的一部分（见相邻面板）。 对轨道丑项的复核分别记录对象规模、结构层级和误差分母；来源是 Pathak et al., Model-free prediction of large spatiotemporally chaotic systems, Physical Review Letters 120 (2018): 024102。轨道丑项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

对轨道丑项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起轨道丑项效果。若轨道丑项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。轨道丑项与 2024–2026 年更新分开登记；晚近材料不能覆盖轨道丑项旧边界，轨道丑项来源层级也不能混写。

轨道丑项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审轨道丑项要询问谁进入分母、谁能独立重跑、轨道丑项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 319 号批外证据提醒：轨道丑项缺失对象不是零值；它未进入轨道丑项账本，遗漏率须随主结果发表。

轨道丑项在 2026 年与第 319 号《计算物理与多尺度模拟》的证据边界、又与第 600 号《风险、安全与可靠性工程》的尺度转换相撞。两边共享‘表示越精细越可靠’，轨道丑项却警告核验者会随层级上升而减少；应比较轨道丑项可复算对象／全部候选对象。轨道丑项外推要报告复算成功对象／全部尝试对象；只列成功会把轨道丑项失败分母压零，方向随即失真。

位置E——它把“稳定性问题的现状的定义、变换与边界”当成单独够用的那一样　单因决定稳定性问题的现状能否迁移的只有结论是否在公开边界内可复算　预设〔19 类别互斥且穷尽〕稳定性问题的现状在已发表样本上的方向可以代表全部候选对象　量纲在稳定性问题的现状的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，稳定性问题的现状的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝轨道丑项在 2018 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在稳定性问题的现状中产生阴性结果的对象　异名第 319 号《计算物理与多尺度模拟》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

五、从数据反推动力学

提出Vlachas et al., Backpropagation algorithms and reservoir computing in recurrent neural networks, Neural Networks 126 (2020): 191–217。　争议与 Wilczak & Zgliczyński, Heteroclinic connections between periodic orbits in the planar restricted three body problem, Communications in Mathematical Physics 234 (2003): 37–75 的对象边界或反例路线对读。　最新Brunton et al., Machine learning for discovering dynamical systems, 2024 review and benchmark papers。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕轨道寅项，旧账的堵点是：向外的一支彻底改变了应用侧。经典做法是先写下方程再求解，而这十年的做法反过来：从观测的时间序列中直接学出动力规律。 早期论证常把成功对象当成全体，让轨道寅项的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

轨道寅项这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进轨道寅项的同一解释；若第三方只能复述轨道寅项结果却不能重做变换，所谓迁移就尚未发生。第 587 号批外证据提醒：轨道寅项缺失对象不是零值；它未进入轨道寅项账本，遗漏率须随主结果发表。

轨道寅项的硬证据由 2020 年前后的原始工作给出：两条路线并行。一条是稀疏辨识：假设真实方程由少数几项组成，从一个庞大的候选项库中筛出最简的那组，得到人可读的方程。另一条是黑箱预测：用循环网络或储备池计算直接预测混沌系统的下一步，在若干标准系统上把可预测时长推进到数个李雅普诺夫时间。 对轨道寅项的复核分别记录对象规模、结构层级和误差分母；来源是 Vlachas et al., Backpropagation algorithms and reservoir computing in recurrent neural networks, Neural Networks 126 (2020): 191–217。轨道寅项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

轨道寅项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满轨道寅项分母，新障碍就会迟到。反例对轨道寅项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。轨道寅项再核一次：2020 年分母若换成轨道寅项全部候选对象，方向必须重算；未满足轨道寅项条件的对象逐项留下。

让轨道寅项成为公共工艺，需要样例留版本、轨道寅项依赖树可追踪、计算带证书、参数保留原始记录。轨道寅项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。轨道寅项与 2024–2026 年更新分开登记；晚近材料不能覆盖轨道寅项旧边界，轨道寅项来源层级也不能混写。轨道寅项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续轨道寅项路线也知道哪里走不通。

轨道寅项在 2026 年与第 587 号《网络科学》的证据边界、又与第 53 号《现代密码学》的尺度转换相撞。两边共享‘表示越精细越可靠’，轨道寅项却警告核验者会随层级上升而减少；应比较轨道寅项可复算对象／全部候选对象。轨道寅项外推要报告复算成功对象／全部尝试对象；只列成功会把轨道寅项失败分母压零，方向随即失真。

位置S——它把“从数据反推动力学的定义、变换与边界”当成单独够用的那一样　单因决定从数据反推动力学能否迁移的只有结论是否在公开边界内可复算　预设〔24 冗余是浪费〕从数据反推动力学在已发表样本上的方向可以代表全部候选对象　量纲在从数据反推动力学的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，从数据反推动力学的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝轨道寅项在 2020 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在从数据反推动力学中产生阴性结果的对象　异名第 587 号《网络科学》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

六、网络与集体动力学

提出Scheffer et al., Early-warning signals for critical transitions, Nature 461 (2009): 53–59。　争议与 Einsiedler, Katok & Lindenstrauss, Invariant measures and the set of exceptions to Littlewood’s conjecture, Annals of Mathematics 164 (2006): 513–560 的对象边界或反例路线对读。　最新Eskin–Mirzakhani dynamics: quantitative refinements, 2024 research papers。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

轨道卯项改变的不是术语外壳，而是旧问题的入账方式：最后一条是把动力学放到网络上：耦合振子的同步、传染的扩散、电网的失稳、神经群体的振荡。这十年的进展在于把「结构如何决定动力学」做成定量结论——网络的谱性质与同步能力之间的关系、以及局部同步与嵌合态这类既非全同步也非全无序的中间状态。 若仍用单个定理、单台器件或单批数据结算，轨道卯项之外的反例会被成功叙事自动删去。

对轨道卯项只提出一条单因主张：公开边界内可以独立复算，才允许把轨道卯项方法搬到下一类对象。声望与经费只作环境量；如果轨道卯项离开原作者补充就不能运行，结论仍是一次性工艺。轨道卯项与 2024–2026 年更新分开登记；晚近材料不能覆盖轨道卯项旧边界，轨道卯项来源层级也不能混写。

轨道卯项的硬证据由 2009 年前后的原始工作给出：它的实用性直接：电网的级联失效、流行病的超级传播、神经系统的病理性同步（如癫痫），都是同一套语言下的问题。 另一条与统计物理接壤的是临界慢化：许多系统在逼近突变点时会表现出恢复变慢、方差与自相关上升的共同征兆。 对轨道卯项的复核分别记录对象规模、结构层级和误差分母；来源是 Scheffer et al., Early-warning signals for critical transitions, Nature 461 (2009): 53–59。轨道卯项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

对轨道卯项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起轨道卯项效果。若轨道卯项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。轨道卯项再核一次：2009 年分母若换成轨道卯项全部候选对象，方向必须重算；未满足轨道卯项条件的对象逐项留下。

轨道卯项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审轨道卯项要询问谁进入分母、谁能独立重跑、轨道卯项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 590 号批外证据提醒：轨道卯项缺失对象不是零值；它未进入轨道卯项账本，遗漏率须随主结果发表。

轨道卯项在 2026 年与第 590 号《不确定性量化》的证据边界、又与第 297 号《科技政策与科研管理》的尺度转换相撞。两边共享‘表示越精细越可靠’，轨道卯项却警告核验者会随层级上升而减少；应比较轨道卯项可复算对象／全部候选对象。轨道卯项外推要报告复算成功对象／全部尝试对象；只列成功会把轨道卯项失败分母压零，方向随即失真。

位置D——它把“网络与集体动力学的定义、变换与边界”当成单独够用的那一样　单因决定网络与集体动力学能否迁移的只有结论是否在公开边界内可复算　预设〔24 冗余是浪费〕网络与集体动力学在已发表样本上的方向可以代表全部候选对象　量纲在网络与集体动力学的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，网络与集体动力学的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝轨道卯项在 2009 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在网络与集体动力学中产生阴性结果的对象　异名第 590 号《不确定性量化》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

七、Koopman 算子：非线性轨道改写为可观测量的线性演化Koopman Operator Methods

提出Bick, Goodfellow, Laing & Martens, Understanding the dynamics of biological and neural oscillator networks, Journal of Mathematical Neuroscience 10 (2020): 9。　争议与 Eskin & Mirzakhani, Invariant and stationary measures for the SL(2,R) action on moduli space, Publications Mathématiques de l’IHÉS 127 (2018): 95–324 的对象边界或反例路线对读。　最新Validated numerics for high-dimensional dynamics, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在轨道辰项这条线上，过去卡住的是：DMD 与扩展 Koopman 方法从时间序列提取模态和谱，把状态空间非线性转成函数空间线性。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的轨道辰项必须让三类记录同时可见。轨道辰项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续轨道辰项路线也知道哪里走不通。

轨道辰项的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释轨道辰项的正确性；若轨道辰项增加抽象层级却减少可重做者，接口扩张就没有被证成。轨道辰项再核一次：2020 年分母若换成轨道辰项全部候选对象，方向必须重算；未满足轨道辰项条件的对象逐项留下。

轨道辰项的硬证据由 2020 年前后的原始工作给出：重构误差／信号能量、外推时长／Lyapunov 时间、字典维数／样本数决定模型是否只是拟合。 对轨道辰项的复核分别记录对象规模、结构层级和误差分母；来源是 Bick, Goodfellow, Laing & Martens, Understanding the dynamics of biological and neural oscillator networks, Journal of Mathematical Neuroscience 10 (2020): 9。轨道辰项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。轨道辰项定义更精细若伴随复核人数下降，就不能把轨道辰项层级增加写成可靠性增加；两条趋势分开画线。

轨道辰项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满轨道辰项分母，新障碍就会迟到。反例对轨道辰项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。轨道辰项与 2024–2026 年更新分开登记；晚近材料不能覆盖轨道辰项旧边界，轨道辰项来源层级也不能混写。轨道辰项还应公开最小复算材料；材料不足时，轨道辰项的引用增长只测传播，不测正确性或可迁移性。

让轨道辰项成为公共工艺，需要样例留版本、轨道辰项依赖树可追踪、计算带证书、参数保留原始记录。轨道辰项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 600 号批外证据提醒：轨道辰项缺失对象不是零值；它未进入轨道辰项账本，遗漏率须随主结果发表。

轨道辰项在 2026 年与第 600 号《风险、安全与可靠性工程》的证据边界、又与第 301 号《泛函分析与算子代数》的尺度转换相撞。两边共享‘表示越精细越可靠’，轨道辰项却警告核验者会随层级上升而减少；应比较轨道辰项可复算对象／全部候选对象。轨道辰项外推要报告复算成功对象／全部尝试对象；只列成功会把轨道辰项失败分母压零，方向随即失真。

位置E——它把“Koopman 算子的定义、变换与边界”当成单独够用的那一样　单因决定Koopman 算子能否迁移的只有结论是否在公开边界内可复算　预设〔24 冗余是浪费〕Koopman 算子在已发表样本上的方向可以代表全部候选对象　量纲在Koopman 算子的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，Koopman 算子的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝轨道辰项在 2020 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在Koopman 算子中产生阴性结果的对象　异名第 600 号《风险、安全与可靠性工程》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

八、稀疏辨识：从数据反推动力学方程Sparse Identification of Nonlinear Dynamics

提出Baladi, Dynamical zeta functions and dynamical determinants for hyperbolic maps, Springer (2018)。　争议与 Eskin, Mirzakhani & Mohammadi, Isolation, equidistribution, and orbit closures for the SL(2,R) action, Annals of Mathematics 182 (2015): 673–721 的对象边界或反例路线对读。　最新Brunton et al., Machine learning for discovering dynamical systems, 2024 review and benchmark papers。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解轨道巳项要先拆一个旧混合量：SINDy 假设真实方程在候选函数字典中稀疏，用回归选出少数项并可回到物理解释。 原体例把发现、证明与推广写在同一行，导致轨道巳项究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。轨道巳项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续轨道巳项路线也知道哪里走不通。

轨道巳项只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替轨道巳项。只要轨道巳项的定义域和失败域不能由外部研究者重建，本条即按未完成处理。轨道巳项再核一次：2018 年分母若换成轨道巳项全部候选对象，方向必须重算；未满足轨道巳项条件的对象逐项留下。轨道巳项还应公开最小复算材料；材料不足时，轨道巳项的引用增长只测传播，不测正确性或可迁移性。

轨道巳项的硬证据由 2018 年前后的原始工作给出：选中项数／候选项数、系数偏差／真值、滚动预测时长／采样窗是三项不可互换指标。 对轨道巳项的复核分别记录对象规模、结构层级和误差分母；来源是 Baladi, Dynamical zeta functions and dynamical determinants for hyperbolic maps, Springer (2018)。轨道巳项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。轨道巳项定义更精细若伴随复核人数下降，就不能把轨道巳项层级增加写成可靠性增加；两条趋势分开画线。

对轨道巳项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起轨道巳项效果。若轨道巳项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。轨道巳项与 2024–2026 年更新分开登记；晚近材料不能覆盖轨道巳项旧边界，轨道巳项来源层级也不能混写。把轨道巳项放回全部对象族后，要比较中心情形与尾部情形；若两端反号，轨道巳项结论只保留局部版本。

轨道巳项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审轨道巳项要询问谁进入分母、谁能独立重跑、轨道巳项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 53 号批外证据提醒：轨道巳项缺失对象不是零值；它未进入轨道巳项账本，遗漏率须随主结果发表。

轨道巳项在 2026 年与第 53 号《现代密码学》的证据边界、又与第 302 号《调和分析》的尺度转换相撞。两边共享‘表示越精细越可靠’，轨道巳项却警告核验者会随层级上升而减少；应比较轨道巳项可复算对象／全部候选对象。轨道巳项外推要报告复算成功对象／全部尝试对象；只列成功会把轨道巳项失败分母压零，方向随即失真。

位置S——它把“稀疏辨识的定义、变换与边界”当成单独够用的那一样　单因决定稀疏辨识能否迁移的只有结论是否在公开边界内可复算　预设〔29 越精细越接近真实〕稀疏辨识在已发表样本上的方向可以代表全部候选对象　量纲在稀疏辨识的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，稀疏辨识的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝轨道巳项在 2018 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在稀疏辨识中产生阴性结果的对象　异名第 53 号《现代密码学》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

九、储备池计算预测混沌：预测期必须按 Lyapunov 时间结算Reservoir Computing for Chaos

提出Liverani, On contact Anosov flows, Annals of Mathematics 159 (2004): 1275–1312。　争议与 Avila, Global theory of one-frequency Schrödinger operators, Acta Mathematica 215 (2015): 1–54 的对象边界或反例路线对读。　最新Eskin–Mirzakhani dynamics: quantitative refinements, 2024 research papers。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕轨道午项，旧账的堵点是：高维随机递归网络在不显式辨识方程时重现 Lorenz 与时空混沌，但有效预测窗口有限。 早期论证常把成功对象当成全体，让轨道午项的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。轨道午项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续轨道午项路线也知道哪里走不通。

轨道午项这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进轨道午项的同一解释；若第三方只能复述轨道午项结果却不能重做变换，所谓迁移就尚未发生。第 297 号批外证据提醒：轨道午项缺失对象不是零值；它未进入轨道午项账本，遗漏率须随主结果发表。

轨道午项的硬证据由 2004 年前后的原始工作给出：有效预测时间／最大 Lyapunov 时间、气候统计误差／真实统计量决定短期准与长期准是否混淆。 对轨道午项的复核分别记录对象规模、结构层级和误差分母；来源是 Liverani, On contact Anosov flows, Annals of Mathematics 159 (2004): 1275–1312。轨道午项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。轨道午项定义更精细若伴随复核人数下降，就不能把轨道午项层级增加写成可靠性增加；两条趋势分开画线。

轨道午项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满轨道午项分母，新障碍就会迟到。反例对轨道午项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。轨道午项再核一次：2004 年分母若换成轨道午项全部候选对象，方向必须重算；未满足轨道午项条件的对象逐项留下。

让轨道午项成为公共工艺，需要样例留版本、轨道午项依赖树可追踪、计算带证书、参数保留原始记录。轨道午项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。轨道午项与 2024–2026 年更新分开登记；晚近材料不能覆盖轨道午项旧边界，轨道午项来源层级也不能混写。轨道午项还应公开最小复算材料；材料不足时，轨道午项的引用增长只测传播，不测正确性或可迁移性。

轨道午项在 2026 年与第 297 号《科技政策与科研管理》的证据边界、又与第 303 号《复分析与复几何》的尺度转换相撞。两边共享‘表示越精细越可靠’，轨道午项却警告核验者会随层级上升而减少；应比较轨道午项可复算对象／全部候选对象。轨道午项外推要报告复算成功对象／全部尝试对象；只列成功会把轨道午项失败分母压零，方向随即失真。

位置D——它把“储备池计算预测混沌的定义、变换与边界”当成单独够用的那一样　单因决定储备池计算预测混沌能否迁移的只有结论是否在公开边界内可复算　预设〔29 越精细越接近真实〕储备池计算预测混沌在已发表样本上的方向可以代表全部候选对象　量纲在储备池计算预测混沌的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，储备池计算预测混沌的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝轨道午项在 2004 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在储备池计算预测混沌中产生阴性结果的对象　异名第 297 号《科技政策与科研管理》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

十、临界转变预警：变慢信号并非每次都预告 tippingEarly Warning Signals for Tipping

提出Hairer & Mattingly, Yet another look at Harris’ ergodic theorem, Seminar on Stochastic Analysis (2011): 109–117。　争议与 Tucker, A rigorous ODE solver and Smale’s 14th problem, Foundations of Computational Mathematics 2 (2002): 53–117 的对象边界或反例路线对读。　最新Validated numerics for high-dimensional dynamics, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

轨道未项改变的不是术语外壳，而是旧问题的入账方式：临界减速提示方差和自相关上升，但噪声驱动、速率诱发和分岔诱发转变可能给出不同信号。 若仍用单个定理、单台器件或单批数据结算，轨道未项之外的反例会被成功叙事自动删去。这里把轨道未项的对象范围、操作步骤和例外集合分别立账。

对轨道未项只提出一条单因主张：公开边界内可以独立复算，才允许把轨道未项方法搬到下一类对象。声望与经费只作环境量；如果轨道未项离开原作者补充就不能运行，结论仍是一次性工艺。轨道未项与 2024–2026 年更新分开登记；晚近材料不能覆盖轨道未项旧边界，轨道未项来源层级也不能混写。轨道未项定义更精细若伴随复核人数下降，就不能把轨道未项层级增加写成可靠性增加；两条趋势分开画线。

轨道未项的硬证据由 2011 年前后的原始工作给出：预警命中／真实转变、假警／无转变、提前量／系统恢复时间三比必须共同报告。 对轨道未项的复核分别记录对象规模、结构层级和误差分母；来源是 Hairer & Mattingly, Yet another look at Harris’ ergodic theorem, Seminar on Stochastic Analysis (2011): 109–117。轨道未项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。轨道未项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续轨道未项路线也知道哪里走不通。

对轨道未项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起轨道未项效果。若轨道未项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。轨道未项再核一次：2011 年分母若换成轨道未项全部候选对象，方向必须重算；未满足轨道未项条件的对象逐项留下。

轨道未项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审轨道未项要询问谁进入分母、谁能独立重跑、轨道未项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 301 号批外证据提醒：轨道未项缺失对象不是零值；它未进入轨道未项账本，遗漏率须随主结果发表。轨道未项还应公开最小复算材料；材料不足时，轨道未项的引用增长只测传播，不测正确性或可迁移性。

轨道未项在 2026 年与第 301 号《泛函分析与算子代数》的证据边界、又与第 304 号《可计算性与递归论》的尺度转换相撞。两边共享‘表示越精细越可靠’，轨道未项却警告核验者会随层级上升而减少；应比较轨道未项可复算对象／全部候选对象。轨道未项外推要报告复算成功对象／全部尝试对象；只列成功会把轨道未项失败分母压零，方向随即失真。

位置E——它把“临界转变预警的定义、变换与边界”当成单独够用的那一样　单因决定临界转变预警能否迁移的只有结论是否在公开边界内可复算　预设〔29 越精细越接近真实〕临界转变预警在已发表样本上的方向可以代表全部候选对象　量纲在临界转变预警的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，临界转变预警的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝轨道未项在 2011 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在临界转变预警中产生阴性结果的对象　异名第 301 号《泛函分析与算子代数》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

十一、Pollicott–Ruelle 共振：混合速度进入谱账本Ruelle Resonances and Decay of Correlations

提出Gidea & de la Llave, Global instability in Hamiltonian systems, Memoirs of the AMS 232 (2014): 1–92。　争议与 Kaloshin & Zhang, Arnold diffusion for smooth systems of two and a half degrees of freedom, 2012 preprint 的对象边界或反例路线对读。　最新Brunton et al., Machine learning for discovering dynamical systems, 2024 review and benchmark papers。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在轨道申项这条线上，过去卡住的是：转移算子在各向异性空间上的离散共振把关联衰减、响应与 zeta 函数统一成可计算谱。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的轨道申项必须让三类记录同时可见。轨道申项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续轨道申项路线也知道哪里走不通。

轨道申项的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释轨道申项的正确性；若轨道申项增加抽象层级却减少可重做者，接口扩张就没有被证成。轨道申项再核一次：2014 年分母若换成轨道申项全部候选对象，方向必须重算；未满足轨道申项条件的对象逐项留下。

轨道申项的硬证据由 2014 年前后的原始工作给出：第一非零共振实部／观测时间、谱隙与关联衰减率共同决定混合，而非只看轨道图。 对轨道申项的复核分别记录对象规模、结构层级和误差分母；来源是 Gidea & de la Llave, Global instability in Hamiltonian systems, Memoirs of the AMS 232 (2014): 1–92。轨道申项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。轨道申项定义更精细若伴随复核人数下降，就不能把轨道申项层级增加写成可靠性增加；两条趋势分开画线。

轨道申项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满轨道申项分母，新障碍就会迟到。反例对轨道申项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。轨道申项与 2024–2026 年更新分开登记；晚近材料不能覆盖轨道申项旧边界，轨道申项来源层级也不能混写。轨道申项还应公开最小复算材料；材料不足时，轨道申项的引用增长只测传播，不测正确性或可迁移性。

让轨道申项成为公共工艺，需要样例留版本、轨道申项依赖树可追踪、计算带证书、参数保留原始记录。轨道申项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 302 号批外证据提醒：轨道申项缺失对象不是零值；它未进入轨道申项账本，遗漏率须随主结果发表。

轨道申项在 2026 年与第 302 号《调和分析》的证据边界、又与第 306 号《生物统计学》的尺度转换相撞。两边共享‘表示越精细越可靠’，轨道申项却警告核验者会随层级上升而减少；应比较轨道申项可复算对象／全部候选对象。轨道申项外推要报告复算成功对象／全部尝试对象；只列成功会把轨道申项失败分母压零，方向随即失真。

位置S——它把“Pollicott–Ruelle 共振的定义、变换与边界”当成单独够用的那一样　单因决定Pollicott–Ruelle 共振能否迁移的只有结论是否在公开边界内可复算　预设〔30 未被计价的东西不影响结算〕Pollicott–Ruelle 共振在已发表样本上的方向可以代表全部候选对象　量纲在Pollicott–Ruelle 共振的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，Pollicott–Ruelle 共振的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝轨道申项在 2014 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在Pollicott–Ruelle 共振中产生阴性结果的对象　异名第 302 号《调和分析》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

十二、计算机辅助证明：数值轨道变成带区间误差的定理Computer-Assisted Proofs

提出Wilczak & Zgliczyński, Heteroclinic connections between periodic orbits in the planar restricted three body problem, Communications in Mathematical Physics 234 (2003): 37–75。　争议与 Mezić, Spectral properties of dynamical systems, Nonlinear Dynamics 41 (2005): 309–325 的对象边界或反例路线对读。　最新Eskin–Mirzakhani dynamics: quantitative refinements, 2024 research papers。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解轨道酉项要先拆一个旧混合量：区间算术、锥条件与覆盖关系把混沌、周期轨道和不变流形的数值证据升级为可验证证明。 原体例把发现、证明与推广写在同一行，导致轨道酉项究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。轨道酉项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续轨道酉项路线也知道哪里走不通。

轨道酉项只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替轨道酉项。只要轨道酉项的定义域和失败域不能由外部研究者重建，本条即按未完成处理。轨道酉项再核一次：2003 年分母若换成轨道酉项全部候选对象，方向必须重算；未满足轨道酉项条件的对象逐项留下。轨道酉项还应公开最小复算材料；材料不足时，轨道酉项的引用增长只测传播，不测正确性或可迁移性。

轨道酉项的硬证据由 2003 年前后的原始工作给出：覆盖盒数、区间宽度／吸引域尺度与遗漏边界盒比例是证书大小而非装饰。 对轨道酉项的复核分别记录对象规模、结构层级和误差分母；来源是 Wilczak & Zgliczyński, Heteroclinic connections between periodic orbits in the planar restricted three body problem, Communications in Mathematical Physics 234 (2003): 37–75。轨道酉项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。轨道酉项定义更精细若伴随复核人数下降，就不能把轨道酉项层级增加写成可靠性增加；两条趋势分开画线。

对轨道酉项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起轨道酉项效果。若轨道酉项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。轨道酉项与 2024–2026 年更新分开登记；晚近材料不能覆盖轨道酉项旧边界，轨道酉项来源层级也不能混写。

轨道酉项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审轨道酉项要询问谁进入分母、谁能独立重跑、轨道酉项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 303 号批外证据提醒：轨道酉项缺失对象不是零值；它未进入轨道酉项账本，遗漏率须随主结果发表。

轨道酉项在 2026 年与第 303 号《复分析与复几何》的证据边界、又与第 307 号《贝叶斯统计与计算》的尺度转换相撞。两边共享‘表示越精细越可靠’，轨道酉项却警告核验者会随层级上升而减少；应比较轨道酉项可复算对象／全部候选对象。轨道酉项外推要报告复算成功对象／全部尝试对象；只列成功会把轨道酉项失败分母压零，方向随即失真。

位置D——它把“计算机辅助证明的定义、变换与边界”当成单独够用的那一样　单因决定计算机辅助证明能否迁移的只有结论是否在公开边界内可复算　预设〔30 未被计价的东西不影响结算〕计算机辅助证明在已发表样本上的方向可以代表全部候选对象　量纲在计算机辅助证明的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，计算机辅助证明的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝轨道酉项在 2003 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在计算机辅助证明中产生阴性结果的对象　异名第 303 号《复分析与复几何》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

二十年连起来看

动力系统的思想重心从给轨道贴上‘混沌或稳定’标签，转向量化不变量、刚性边界、可验证数值与数据同化；能预测多久、在哪个尺度失效，比是否画出吸引子更重要。 第一幕的八条主要改造问题、证明或实验的入口；第二幕十二条把入口连接到更高层结构、数据基础设施与公开核验。真正连续的不是术语，而是分母越来越明确、失败越来越能被定位。

这条时间线也说明“新”不能只按年份判断：早期思想若在 2016 年后才获得可计算对象、公开数据或实验阈值，它在第二幕仍然是新的工作方式；反之，2025 年出现而没有独立复核的结果，只能记为候选。

三个常见误解

第一，把一个著名定理或器件当成全领域；本页用二十条是为了显示方法、边界和基础设施同样构成转向。第二，把计算规模当可靠性；规模不修复选择偏差、定义漂移与样品差异。第三，把尚未解决解释为没有进步；许多最重要的进展是把错误路线排除、把失败区画清。

与相邻领域的接口

与第 319 号《计算物理与多尺度模拟》的接口在可计算表示：同一个对象换表示后，能否保留结构与误差。与第 297 号《科技政策与科研管理》的接口在证据聚合：局部读数怎样进入整体判断而不抹平异常。两处都要求先公开分母，再谈统一。

争议现场

动力系统当前最实质的争议不是“传统还是创新”，而是超长证明、复杂计算或高门槛实验怎样获得共同体信任。一方强调专家链式核验足够，另一方要求机器证书、原始数据和独立复制。可判标准是关键结论能否在不依赖原作者口头补充的情况下重做。

第二个争议围绕边界：统一语言提高迁移速度，却可能把不适配对象排出可见范围。每一条因此都保留“空栏”和“自曝”；若异常只在论文之外出现，统一就只是整理成功案例。

往下五年看什么

观察三件事：第一，2024–2026 年的候选结果能否形成第二个独立证明或复现实验；第二，数据库、软件和样品链能否保存阴性记录；第三，年轻研究者是否能在更短依赖路径上进入前沿。若三项只增长论文数而不降低复核成本，基础设施仍未成熟。

可与哪些领域对撞

动力系统与第 600 号《风险、安全与可靠性工程》共享“通过检查即可信”的前提；前者用证明、计算或样品链，后者用失效模式。相反方向是：形式检查越密，未建模的共同原因失效反而可能越隐蔽。新矛盾是如何为数学与物理结果建立类似事故调查的阴性档案。

它还可撞第 297 号《科技政策与科研管理》：一个领域追求真值，另一个领域分配注意、经费和声誉。两者都默认高影响结果值得优先复核；相反方向是越抢先的结果可供核验的时间越短。可测问题是撤回或重大修订之前的扩散速度／完成独立复核所需时间。

第三处跨类对撞是第 306 号《生物统计学》：那里担心样本进入分母，这里担心对象、定理或器件进入分母。共同前提是已记录对象代表候选总体；相反方向是可计算对象越多，难以表示的对象越可能永久缺席。

十条可做的研究命题

一，统计二十年内关键结果从预印本到独立核验的中位时间。二，把失败参数区公开与否作为解释后续复用率的变量。三，比较单人证明与团队证明的依赖树深度。四，测数据库扩容前后新猜想的类型是否收窄。五，建立来源三笔互异与重大修订率的前瞻登记。

六，用随机抽样复核软件、证明或样品链中的一条中间步骤。七，比较更高层抽象引入前后的新人训练年限。八，给“不可复算但被广泛引用”的结果建退出机制。九，测试跨领域迁移是否增加反例发现率。十，把阴性结果进入公共库的比例设为领域健康指标，并预先规定何时否定该指标。

资料核验

  1. Einsiedler, Katok & Lindenstrauss, Invariant measures and the set of exceptions to Littlewood’s conjecture, Annals of Mathematics 164 (2006): 513–560
  2. Eskin & Mirzakhani, Invariant and stationary measures for the SL(2,R) action on moduli space, Publications Mathématiques de l’IHÉS 127 (2018): 95–324
  3. Eskin, Mirzakhani & Mohammadi, Isolation, equidistribution, and orbit closures for the SL(2,R) action, Annals of Mathematics 182 (2015): 673–721
  4. Avila, Global theory of one-frequency Schrödinger operators, Acta Mathematica 215 (2015): 1–54
  5. Tucker, A rigorous ODE solver and Smale’s 14th problem, Foundations of Computational Mathematics 2 (2002): 53–117
  6. Kaloshin & Zhang, Arnold diffusion for smooth systems of two and a half degrees of freedom, 2012 preprint
  7. Mezić, Spectral properties of dynamical systems, Nonlinear Dynamics 41 (2005): 309–325
  8. Brunton, Proctor & Kutz, Discovering governing equations from data by sparse identification, PNAS 113 (2016): 3932–3937
  9. Lusch, Kutz & Brunton, Deep learning for universal linear embeddings of nonlinear dynamics, Nature Communications 9 (2018): 4950
  10. Pathak et al., Model-free prediction of large spatiotemporally chaotic systems, Physical Review Letters 120 (2018): 024102
  11. Vlachas et al., Backpropagation algorithms and reservoir computing in recurrent neural networks, Neural Networks 126 (2020): 191–217
  12. Scheffer et al., Early-warning signals for critical transitions, Nature 461 (2009): 53–59
  13. Ashwin, Wieczorek, Vitolo & Cox, Tipping points in open systems, Philosophical Transactions A 370 (2012): 1166–1184
  14. Pecora & Carroll, Master stability functions for synchronized coupled systems, Physical Review Letters 80 (1998): 2109–2112
  15. Bick, Goodfellow, Laing & Martens, Understanding the dynamics of biological and neural oscillator networks, Journal of Mathematical Neuroscience 10 (2020): 9
  16. Baladi, Dynamical zeta functions and dynamical determinants for hyperbolic maps, Springer (2018)
  17. Liverani, On contact Anosov flows, Annals of Mathematics 159 (2004): 1275–1312
  18. Hairer & Mattingly, Yet another look at Harris’ ergodic theorem, Seminar on Stochastic Analysis (2011): 109–117
  19. Gidea & de la Llave, Global instability in Hamiltonian systems, Memoirs of the AMS 232 (2014): 1–92
  20. Wilczak & Zgliczyński, Heteroclinic connections between periodic orbits in the planar restricted three body problem, Communications in Mathematical Physics 234 (2003): 37–75
  21. Brunton et al., Machine learning for discovering dynamical systems, 2024 review and benchmark papers
  22. Eskin–Mirzakhani dynamics: quantitative refinements, 2024 research papers
  23. Validated numerics for high-dimensional dynamics, 2025 research update (preprint)

核验说明：文献表优先列原始论文、正式专著与同行评议综述；标注 preprint 或 manuscript 的条目尚未完成同行评议，只用于“最新”定位，不与已刊定理或实验同权。正文的数值与适用边界以所列来源为准。

【学科经典思想汇集部分】1950–2006 · 20 条经典学科思想

以下二十条是动力系统在 1950 至 2006 年之间立起来的经典思想，与上文近二十年的二十条合成一块面板的两层。它们回答的是另一个问题：上面每一条新结果所推翻的，究竟是哪一条老前提，而那条老前提当年又是被谁、用什么材料立起来的。经典层因此不做名人榜，只收至今仍被现代二十条正面使用或正面反对的命题——Kolmogorov 证明大多数不变环面在扰动下存活，Lorenz 用三个方程说明长期预报不可能，Ruelle 与 Takens 指出湍流不必来自无穷多个模式，Newhouse 则给出了一族无穷多吸引子并存的系统，把「稳定系统是常态」这条信念一次推翻。每条一行来源、两段正文、一行五栏碰撞行，末尾点名它在上文哪一条里继续活着。

经一、KAM：大多数不变环面在扰动下活下来Classic 01 · Dynamical Systems

提出Andrei Kolmogorov，1954 年《苏联科学院报告》98:527–530；完整证明由 Arnold 1963 年《俄罗斯数学综述》18(5):9–36 与 Moser 1962 年《哥廷根科学院通报》II:1–20 分别给出。　流变定理只覆盖测度较大但无处稠密的一族环面；Nekhoroshev 1977 年给出的指数长时间稳定性是另一条互补路线。　今用本块四「稳定性问题的现状」盘点的正是这条定理留下的缺口。　关键近可积哈密顿系统中，频率满足丢番图条件的不变环面在小扰动下保持存在。

1954 年之前，太阳系是否稳定这个问题在数学上是开的：Poincaré 已经说明小除数会破坏经典的摄动级数，此后半个世纪没有进展。Kolmogorov 的判断是：不必所有环面都活，只需频率足够无理的那些活下来，而它们在测度上占大多数。Arnold 与 Moser 补上完整证明之后，「大多数轨道保持规则」第一次成为定理。

边界是那两个字：大多数是测度意义上的，存活环面的集合无处稠密，缝隙里的轨道行为完全不受定理管辖，而在三自由度以上，这些缝隙是连通的（本块庚讲的扩散正在其中发生）。另一处更实际——定理要求扰动极小，小到实际天体系统远远达不到。本块四今天报告的定量化进展，做的正是把「多小算小」这件事算出来。

位置S——它把「测度意义上的大多数」当成单独够用的那一样　预设〔23 中位个案代表分布〕默认测度上占多数的行为可以代表实际关心的系统　量纲定理覆盖的扰动幅度∶实际系统中的扰动幅度　失效当自由度不低于三时缝隙连通，测度小的例外集合仍可承载长时间的全局漂移　异名统计学称「几乎处处成立的陷阱」，工程学称「裕度不覆盖工况」；另见本块四

经二、熵：混沌第一次有了一个数Classic 02 · Dynamical Systems

提出Andrei Kolmogorov，1958 年《苏联科学院报告》119:861–864；Yakov Sinai 1959 年同刊 124:768–771 给出现行定义。　流变Ornstein 1970 年证明熵是 Bernoulli 系统的完全不变量；对非双曲系统，熵的计算与解释都要另设条件。　今用本块三「混沌里的可测量结构」以这个量为起点。　关键用划分的信息增长率定义测度熵，给出系统不可预测程度的一个不变量。

1958 年之前，「这个系统比那个更乱」只是描述。Kolmogorov 借用 Shannon 的信息量，把「每单位时间新产生多少不可预测的信息」定义成一个数，Sinai 随后给出对一切有限划分取上确界的现行形式。两个系统若熵不同就一定不共轭——分类问题第一次有了可算的判据，遍历论也因此与信息论接上。

边界是这个数的信息量有限：熵相等不蕴含同构（Bernoulli 系统之外都如此），而对不满足双曲条件的系统，熵可能为零却仍不可预测。另一处是计算——理论定义取的是上确界，实际数据上只能估计，估计值对划分与样本长度都敏感。本块三今天报告的可测量结构，做的正是给这个粗糙的数配上更细的读数。

位置D——它把「一个不变量」当成单独够用的那一样　预设〔2 单一读数代表复杂对象〕默认一个数足以刻画一个系统的不可预测性　量纲熵能区分开的系统对数∶实际上不共轭的系统对数　失效当系统非双曲或熵为零时，同一个数无法区分行为差别极大的系统　异名信息论称「信源熵」，工程学称「单一指标的分辨力」；另见本块三

经三、三个方程：长期预报为什么不可能Classic 03 · Dynamical Systems

提出Edward Lorenz，1963 年《大气科学杂志》20:130–141《确定性的非周期流》。　流变论文在气象学界外几乎无人问津十年，直到 1970 年代混沌研究兴起；吸引子的存在性直到 Tucker 2002 年才被严格证明（本块经二十）。　今用本块十二「计算机辅助证明：数值轨道变成带区间误差的定理」处理的正是这条数值观察的严格化。　关键确定性方程可以产生对初值敏感依赖的非周期解，长期预报因此不可行。

Lorenz 在做数值天气预报实验时发现：重新输入截断过的初值，同一组方程给出的轨道很快分道扬镳。他把模型压到三个常微分方程，画出那条蝴蝶形的轨迹，并明确指出后果——确定论不蕴含可预测，长期预报有原理上的上限。这篇文章发在气象学刊物上，此后十年在数学界几乎无人引用。

边界在证据类型：论文给出的是数值观察，不是证明；那条吸引子是否真的存在、是否具有观察到的性质，四十年里一直是开问题，直到 Tucker 用带区间误差的严格计算把它做完。另一处是「敏感依赖」被过度解读——它限制的是长期逐点预报，统计量的预报仍然可能。本块十二报告的正是这类数值观察如何被改写成定理。

位置E——它把「一次数值实验」当成单独够用的那一样　预设〔13 时间尺度可自由压缩〕默认初值上的小误差在长期演化中仍保持可控　量纲误差保持在可用范围内的预报时长∶所需要的预报时长　失效当数值观察未被严格化时，图形上的吸引子与数学上的吸引子不是同一件事　异名气象学称「可预报期」，数值分析称「舍入误差放大」；另见本块十二

经四、乘以二和乘以三：刚性的第一个样本Classic 04 · Dynamical Systems

提出Hillel Furstenberg，1967 年《数学系统理论》1:1–49《遍历论中的不交性、极小集与一个丢番图逼近问题》。　流变测度版本（Rudolph 1990 年在正熵条件下证明）至今在零熵情形未解，是这条线上最著名的开问题之一。　今用本块戊「遍历理论向数论与组合的持续输出」的第一件产品就是它。　关键同时被乘二和乘三保持的闭集，只能是有限集或整个圆周。

1967 年之前，动力系统与数论各自为政。Furstenberg 证明的这条结果形态很特别：两个各自很简单的变换加在一起，共同不变的闭集就只剩两种极端可能——中间的分形集合一个也不剩。由此可以直接推出一批丢番图逼近的结论，而这种「多个作用一起施加就产生刚性」的模式，成为此后整条路线的模板。

边界是拓扑与测度的落差：闭集版本 1967 年就证了，对应的测度版本至今只在正熵条件下成立，零熵情形是公开的难题。这条落差此后反复出现——刚性在拓扑层面容易，在测度层面难得多。本块戊今天报告的持续输出，多数结果仍卡在同一处：能说轨道闭包是什么，说不清不变测度有哪些。

位置D——它把「两个作用同时不变」当成单独够用的那一样　预设〔19 类别互斥且穷尽〕默认不变闭集的可能性被有限与全体这两类穷尽　量纲已被证明刚性的不变对象类数∶该结构下的不变对象类总数　失效当从闭集换成不变测度时同一结论未知，拓扑层面的刚性不迁移到测度层面　异名代数称「联合不变量」，密码学称「多约束求交」；另见本块戊

经五、一篇综述定下的研究纲领Classic 05 · Dynamical Systems

提出Stephen Smale，1967 年《美国数学会通报》73:747–817《可微动力系统》。　流变文中提出的「结构稳定系统稠密」被 Newhouse 与 Abraham–Smale 在 1970 年代前后否掉（本块经十）；纲领本身被修正后继续运转。　今用本块二「从工具到桥梁」所说的那种组织方式，从这篇文章开始。　关键以结构稳定性、双曲性与横截性为骨架，把可微动力系统组织成一个研究纲领。

1967 年之前，动力系统的结果分散在天体力学、遍历论与微分方程各处。Smale 用一篇长综述把它们组织成一门学科：核心概念是结构稳定性，核心猜想是这类系统在所有系统中稠密，核心工具是双曲性与横截性。马蹄映射作为一个可完全分析的混沌样本被写进来，此后二十年这个领域的工作基本按这份清单展开。

边界很快出现：核心猜想在三维以上被否掉，而纲领并没有随之作废——它被修正为「哪些系统是典型的」这一新问法。这条经典因此给出一个可检验的判断：一份纲领的价值不在于它的猜想是否成立，而在于它是否让整个领域使用同一套判据来分辨进展。本块二今天讲的从工具到桥梁，走的是同一条路。

位置E——它把「一份研究纲领」当成单独够用的那一样　预设〔11 可复现＝可重做〕默认把一门学问的骨架写清楚即可让后来者照着推进　量纲纲领中被证明或被否掉的猜想数∶纲领提出的猜想总数　失效当核心猜想被否掉时，纲领的组织作用与它的正确性必须分开评价　异名科研管理称「路线图效应」，软件工程称「架构决定演进路径」；另见本块二

经六、Mostow 刚性：拓扑单方面决定了几何Classic 06 · Dynamical Systems

提出George Mostow，1968 年《高等科学研究所数学出版》34:53–104《n 维空间的拟共形映射与双曲空间形式的刚性》。　流变Margulis 1974 年的超刚性与算术性定理把它推到格的层面；二维情形不成立（Teichmüller 空间是正维数的）。　今用本块一「刚性：为什么轨道不能太怪」这一整条主线，起点在这里。　关键维数不低于三的有限体积双曲流形，其几何结构由基本群唯一决定。

1968 年之前，几何结构被认为可以连续形变：同一个拓扑对象带一族几何。Mostow 证明在三维以上这条直觉不成立——有限体积双曲流形的几何完全由它的基本群决定，形变空间是一个点。体积、测地线长度这些几何量因此成了拓扑不变量，而「刚性」作为一种可以反复出现的现象被识别出来。

边界是维数：二维的双曲曲面有正维数的形变空间，刚性在那里彻底不成立，这也说明它不是普遍现象而是维数效应。另一处更一般的读法——刚性结论强，代价是它使分类问题变成识别问题：既然几何由代数决定，剩下的工作就转到怎么从群里把几何读出来。本块一今天讲的那条主线，讨论的正是这种转移能推到多远。

位置S——它把「基本群这一个对象」当成单独够用的那一样　预设〔14 因与果的方向是给定的〕默认拓扑单向决定几何，不必逐例重判　量纲由基本群唯一决定几何的流形类数∶所考察的流形类总数　失效当维数为二时形变空间是正维数的，同一基本群对应一整族几何，结论反向　异名材料科学称「结构决定性能」，软件工程称「接口决定实现」；另见本块一

经七、Lyapunov 指数：几乎每条轨道都有增长率Classic 07 · Dynamical Systems

提出Valery Oseledets，1968 年《莫斯科数学会汇刊》19:197–231《乘法遍历定理》。　流变Pesin 1977 年据此建立非一致双曲理论（本块经十一）；数值估计 Lyapunov 指数的算法在 1980 年前后成型，误差控制至今不易。　今用本块九「储备池计算预测混沌：预测期必须按 Lyapunov 时间结算」用的正是这个量作为结算单位。　关键保测系统中几乎每条轨道都有一组确定的指数增长率，且方向可分层。

1968 年之前，「轨道分离得多快」只能对特殊系统计算。Oseledets 证明这是个几乎处处成立的一般现象：对几乎每条轨道，切空间可以分成若干子空间，每个子空间上的向量以确定的指数速率增长或衰减。混沌因此有了可以逐轨道读出的量化指标，而后来一切关于可预测时长的讨论都以它为单位。

边界是「几乎处处」与「渐近」两处：指数是长时间平均，有限时间内的分离速率可以与它相差很远；而测度为零的那些轨道——恰恰包括周期轨这类最要紧的对象——不在结论范围内。另一处是数值估计的误差在近零指数处失控。本块九今天要求预测期按 Lyapunov 时间结算，正是把这个量当作硬约束来用。

位置D——它把「一组渐近增长率」当成单独够用的那一样　预设〔20 窗口内稳定＝长期稳定〕默认有限观测窗口上估计的增长率代表长期行为　量纲有限时间指数与渐近指数吻合的轨道比例∶所观测的轨道总数　失效当轨道落在测度零集合上或指数接近零时，渐近结论对实际观测不提供保证　异名可靠性工程称「平均失效率的局限」，金融学称「历史波动率外推」；另见本块九

经八、湍流：不必来自无穷多个模式Classic 08 · Dynamical Systems

提出David Ruelle 与 Floris Takens，1971 年《数学物理通讯》20:167–192《论湍流的本质》。　流变文中提出的具体转捩序列后来被实验部分否定，而「低维奇异吸引子」这一图景被保留并成为主流。　今用本块六「网络与集体动力学」所处理的高维集体行为，用的仍是这条思路的反面：什么时候低维描述不成立。　关键湍流可以由少数几次分岔后出现的奇异吸引子产生，不需要无穷多个自由度。

1971 年之前，Landau 的图景占主导：湍流是无穷多个准周期模式逐个激发的叠加。Ruelle 与 Takens 提出另一种：只需几次分岔，系统就可能落到一个维数很低、但轨道彼此分离的奇异吸引子上，表现出来的就是湍流。复杂现象未必来自复杂结构——这一判断此后深刻改变了实验物理对时间序列的分析方式。

边界是它的具体机制：论文给出的三次分岔序列后来被实验部分推翻，留下的是那个更一般的图景而不是那条路径。另一处更要紧——低维吸引子的存在需要验证，而真实流体在高雷诺数下并不满足这个条件，把「混沌」直接读成「低维」是这条经典最常见的误用。本块六今天在网络与集体动力学里问的，正是低维描述何时不成立。

位置E——它把「一个低维吸引子」当成单独够用的那一样　预设〔29 越精细越接近真实〕默认自由度加得越多就越接近真实的湍流　量纲可用低维吸引子描述的实验情形数∶所观察的湍流情形总数　失效当雷诺数很高、有效自由度随之增长时，低维吸引子图景不成立，降维描述失去依据　异名统计学称「降维的适用条件」，工程学称「集总模型的失效工况」；另见本块六

经九、SRB 测度：几乎所有初值给出同一份统计Classic 09 · Dynamical Systems

提出Yakov Sinai，1972 年《俄罗斯数学综述》27(4):21–69；Rufus Bowen 1975 年《数学讲义集》470 与 David Ruelle 1978 年《热力学形式》共同确立该框架。　流变它在一致双曲系统上完整成立；非一致双曲与部分双曲情形的存在性至今逐类求解，Palis 纲领（本块经十七）正是要问它多普遍。　今用本块十一「Pollicott–Ruelle 共振：混合速度进入谱账本」处理的是这套框架里的收敛速度。　关键一致双曲吸引子上存在一个测度，Lebesgue 意义下几乎所有初值的时间平均都收敛到它。

1972 年之前，遍历定理只说「对该不变测度几乎所有初值」，而不变测度可能有很多个，其中多数在物理上不可观察——实验里随机取一个初值，落在它们支撑上的概率是零。Sinai、Bowen 与 Ruelle 用统计力学的方法造出一个特殊的不变测度，使得 Lebesgue 意义下几乎所有初值都收敛到它。「可观察的统计行为」由此第一次有了确切定义。

边界是双曲性：这套构造在一致双曲情形完整成立，而真实系统几乎都不一致双曲，存在性要逐类去证，至今没有一般定理。另一处是收敛速度——定理说时间平均收敛，不说多久才够，而这正是数值实验中最要紧的量。本块十一今天把混合速度写进谱账本，补的正是这一半。

位置E——它把「一个物理可观察的测度」当成单独够用的那一样　预设〔5 平均值代表个体〕默认几乎所有初值的长期统计与这一个测度相同　量纲收敛到该测度的初值所占的 Lebesgue 测度∶相空间总测度　失效当系统不一致双曲时该测度未必存在；即便存在，定理也不给出收敛所需的时间　异名统计物理称「遍历假设」，实验科学称「单次长观测代表系综」；另见本块十一

经十、无穷多个吸引子：稳定不是常态Classic 10 · Dynamical Systems

提出Sheldon Newhouse，1974 年《拓扑学》13:9–18；完整形式见 1979 年《高等科学研究所数学出版》50:101–151。　流变这一现象在二维保面积与高维情形被反复确认，成为「稠密的稳定性」这一整类猜想的反例来源。　今用本块四「稳定性问题的现状」之所以是一个开放清单而不是一条定理，根源在这里。　关键存在一族开集内的系统，每个都带无穷多个共存的吸引子。

Smale 纲领的核心猜想是结构稳定的系统在所有系统中稠密。Newhouse 用同宿切点构造出反例：在某些参数区域里，任意接近的系统都带有无穷多个共存的周期吸引子，而且这个现象在开集上持续存在，不是孤立的病态。「典型系统是简单的」这条支撑整门学科的信念因此被推翻。

这条经典的价值在于它没有留下修补的余地：现象出现在开集上，不能靠加条件排除。此后的路线是换问法——不问「典型系统是否稳定」，而问「典型系统有多少个吸引子、它们的统计是否良好」，这正是本块经十七那份纲领的由来。本块四今天的现状清单，反映的就是这次问法转移之后的局面。

位置D——它把「稳定系统稠密」当成单独够用的那一样　预设〔9 边界一次划定后保持稳定〕默认「典型」这一边界一经划定就不会被反例整体推翻　量纲已被证明不出现该现象的参数区域∶参数空间总量　失效当反例出现在开集上而非零测集上时，加条件不能排除，只能更换提问方式　异名可靠性工程称「系统性缺陷与偶发缺陷之分」，科学哲学称「反例迫使问题重述」；另见本块四

经十一、Pesin 理论：把指数加起来就是熵Classic 11 · Dynamical Systems

提出Yakov Pesin，1977 年《俄罗斯数学综述》32(4):55–114《特征 Lyapunov 指数与光滑遍历论》。　流变Ledrappier–Young 1985 年给出维数与熵的完整关系；非一致双曲系统的构造技术此后成为该领域最重的一套工艺。　今用本块三「混沌里的可测量结构」中的多数定量关系都出自这条公式及其推广。　关键光滑保测系统的熵等于正 Lyapunov 指数之和（在 SRB 情形取等号）。

1977 年之前，熵与 Lyapunov 指数是两套各自独立的读数：一个来自信息论，一个来自线性化。Pesin 证明它们由一条公式连起来——在合适条件下，熵恰好等于正指数之和。混沌的两种量化方式因此被证明是同一件事的两面，而非一致双曲系统第一次有了可用的分析框架。

边界是那句「合适条件」：等号只在 SRB 情形成立，一般情形只有不等号（Ruelle 不等式），差额本身携带维数信息。另一处是这套理论的技术门槛——Pesin 集的构造依赖一系列相容的估计，参数一变就要重做，这也是它长期难以推广的原因。本块三今天报告的可测量结构，多数是在这条公式两侧继续加读数。

位置D——它把「指数之和」当成单独够用的那一样　预设〔17 局部最优可加总为整体最优〕默认逐点的局部增长率加总即得整体的信息产生率　量纲等号成立的系统类数∶适用该公式的系统类总数　失效当系统不具备 SRB 性质时只有不等号，差额不可忽略且携带维数信息　异名热力学称「分量加总的可加性」，会计学称「明细汇总与总账的差额」；另见本块三

经十二、一个与模型无关的常数Classic 12 · Dynamical Systems

提出Mitchell Feigenbaum，1978 年《统计物理杂志》19:25–52《一类非线性变换的定量普适性》。　流变Lanford 1982 年用计算机辅助给出严格证明（本块经十四）；普适性只在单峰映射这一族内成立，换族即换常数。　今用本块丁「混沌的定量化与计算机辅助」讲的正是从这条数值发现到严格证明的那段路。　关键单峰映射的倍周期分岔间距比趋于一个与具体映射无关的常数。

Feigenbaum 用一台可编程计算器逐个算倍周期分岔的参数值，发现相邻间距之比收敛到 4.669…，而且换一个单峰映射，这个数不变。换句话说，一族形状各异的方程共享同一个数值指纹。物理学里熟悉的「普适性」第一次出现在低维动力系统中，而且随后在真实的流体与电路实验里被测到。

边界是普适类的范围：常数只对单峰且临界点为二次的映射成立，换成别的临界指数或高维映射，常数就换一个。另一处是证据类型——原始发现完全是数值的，严格证明四年后才由 Lanford 用带误差控制的计算给出，而那份证明本身又引出了「谁来担保计算」的新问题。本块丁今天讲的定量化，正是沿着这两条边界展开的。

位置S——它把「一个普适常数」当成单独够用的那一样　预设〔16 稀有与常见服从同一机制〕默认同一常数支配整族形状各异的映射　量纲常数适用的映射族数∶所考察的映射族总数　失效当临界指数或维数改变时常数随之改变，同一数值不能跨族外推　异名统计物理称「普适类」，工程学称「无量纲常数的适用域」；另见本块丁

经十三、延迟坐标：一条时间序列足以重建相空间Classic 13 · Dynamical Systems

提出Floris Takens，1981 年《数学讲义集》898:366–381《在湍流中检测奇异吸引子》。　流变含噪声与有限采样的情形要求另一套条件；Sauer–Yorke–Casdagli 1991 年给出分形维数版本，实用判据至今主要靠经验。　今用本块五「从数据反推动力学」的整条路线以这条定理为许可证。　关键用单一观测量的延迟坐标可嵌入原系统的吸引子，维数足够时保持拓扑结构。

1981 年之前，从一条实测时间序列反推系统的相空间被认为不可能——毕竟只观测了一个分量。Takens 证明：只要嵌入维数取得足够大，用同一变量的若干延迟值构成的向量就能与原吸引子拓扑等价。实验数据因此可以直接拿来估计维数、熵与 Lyapunov 指数，混沌研究从此有了通往真实数据的桥。

边界在定理的理想条件上：无噪声、无限精度、无限长序列。真实数据三条全不满足，延迟时间与嵌入维数怎么选没有一般判据，而 1990 年代大量「在生理与经济数据中发现低维混沌」的结论后来都被推翻。本块五今天的数据驱动方法，仍以这条定理为许可证，而它的可靠性取决于对这三条边界的处理是否老实。

位置D——它把「一条观测序列」当成单独够用的那一样　预设〔3 有限近似控制无限对象〕默认有限维的延迟向量足以重建原系统的全部结构　量纲嵌入结论在噪声水平下仍成立的数据集数∶所分析的数据集总数　失效当序列含噪声、长度有限或采样不足时，嵌入的拓扑等价不再保证，估计出的维数可以是假象　异名信号处理称「重构条件」，统计学称「过拟合出的低维结构」；另见本块五

经十四、计算机辅助证明：把误差写进定理Classic 14 · Dynamical Systems

提出Oscar Lanford III，1982 年《美国数学会通报》6:427–434《Feigenbaum 猜想的一个计算机辅助证明》。　流变区间算术与自动微分此后成为这类证明的标准工具；Tucker 2002 年用同一路线解决 Lorenz 吸引子问题（本块经二十）。　今用本块十二「计算机辅助证明：数值轨道变成带区间误差的定理」的方法论从这里定型。　关键用带严格误差界的区间运算完成不动点论证，数值计算成为证明的一部分。

1982 年之前，数值计算在数学证明中只能提供线索。Lanford 的做法是把浮点误差本身纳入论证：所有运算在区间上进行，每一步的误差都有严格上界，最后由收缩映射定理给出不动点的存在性。Feigenbaum 常数的普适性因此成为定理，而「计算是证明的一部分」这一模式在动力系统里第一次成立。

边界是信任链的转移：结论的正确性此后依赖编译器、浮点标准与代码本身，而这三者都不在同行评议的范围内。此后的做法是把关键部分形式化，让机器核验机器——问题被解决的方式是换掉担保者，而不是回到手工验算。本块十二今天报告的这类证明，仍在同一条链上，只是链条更长也更透明。

位置E——它把「一份带误差界的计算」当成单独够用的那一样　预设〔22 通过形式审查＝实质合规〕默认走完误差估计的流程即等于计算结果可靠　量纲被独立复算过的计算步骤数∶证明依赖的计算步骤总数　失效当编译器、浮点实现或代码本身有缺陷时，误差界的形式正确不保证结论成立　异名软件工程称「可信计算基」，计量学称「不确定度传递」；另见本块十二

经十五、用动力系统解一个数论猜想Classic 15 · Dynamical Systems

提出Grigory Margulis，1989 年《数论、迹公式与离散群》，Academic Press:377–398（Oppenheim 猜想的证明，1986 年首次宣布）。　流变Dani–Margulis 与 Eskin–Margulis–Mozes 在 1990 年代给出定量版本；Ratner 定理（本块经十六）随后把这类论证系统化。　今用本块甲「刚性第一次去解数论」讲的正是这次跨界。　关键不定二次型在整点上的取值稠密，证明来自齐性空间上轨道闭包的分类。

Oppenheim 猜想是一个纯数论命题：三元以上不定二次型在整点上的取值稠密。六十年里解析数论的圆法只处理了变元数很多的情形。Margulis 把它翻译成齐性空间上的动力学问题——取值集合的稠密性等价于某个轨道的闭包是整个空间——再用刚性理论给出轨道闭包的分类，一举解决。

边界在翻译这一步：并非任何数论问题都能改写成轨道闭包问题，能改写的那一批共享一个特征——存在一个幺幂群作用。另一处是这类证明起初不给定量结论（多少个整点、误差多大），定量版本要靠另一套技术补上。本块甲今天报告的跨界成果，仍受这两条约束：问题得先能被翻译，翻译之后还得再补定量。

位置S——它把「轨道闭包的分类」当成单独够用的那一样　预设〔15 同名即同物〕默认数论侧的稠密性与动力学侧的轨道稠密指同一件事　量纲可翻译成齐性动力学的数论问题数∶该类数论问题总数　失效当问题不具备幺幂群作用结构时翻译不成立；即便成立，结论也不自动带定量信息　异名翻译学称「可译性边界」，工程学称「问题重述的适用条件」；另见本块甲

经十六、Ratner 定理：幺幂流没有奇怪的闭包Classic 16 · Dynamical Systems

提出Marina Ratner，1991 年《数学年刊》134:545–607《论 Raghunathan 的测度猜想》。　流变定量版本与有效版本至今只在特殊情形取得；使用者常忽略「幺幂」这一前提，把结论用到不适用的流上。　今用本块乙「Ratner 定理的适用面被摸清」讲的正是这条前提被反复试探的过程。　关键齐性空间上幺幂流的不变测度与轨道闭包都必然是齐性的。

1991 年之前，齐性动力学里的刚性结论是逐例证明的。Ratner 一次性给出一般定理：只要作用是幺幂的，不变遍历测度必是某个子群上的齐性测度，轨道闭包必是齐性子集——分形式的中间对象一个也不存在。数论、丢番图逼近与格的几何中大量问题因此获得统一的解法。

边界是「幺幂」这两个字：换成部分双曲或对角作用，结论整体不成立，而这一点在引用时最容易被略过。另一处是有效性——定理不给出轨道进入某区域所需的时间，定量版本至今只有零散结果，这使它在需要显式界的问题上无法直接使用。本块乙今天报告的适用面梳理，做的正是把这两条边界逐条标出来。

位置D——它把「一条一般定理」当成单独够用的那一样　预设〔27 能力可与承载它的人分离〕默认定理的适用条件会随定理的陈述一起被迁移　量纲满足幺幂前提的应用数∶引用该定理的应用总数　失效当作用不是幺幂的、或问题需要显式界时，定理不适用而结论常被照搬　异名法学称「判例的适用射程」，工程学称「规格外使用」；另见本块乙

经十七、一份纲领：不问稳定，问吸引子有多少Classic 17 · Dynamical Systems

提出Jacob Palis，2000 年《Astérisque》261:335–347《动力学的一个全局图景与关于吸引子有限性稠密的猜想》。　流变二维与部分双曲情形有零散进展；一般情形至今开着，纲领本身仍在组织这条线上的工作。　今用本块四「稳定性问题的现状」盘点的就是这份清单的完成度。　关键典型系统应只有有限多个吸引子，且每个带一个描述几乎所有初值的统计测度。

Newhouse 的反例（本块经十）之后，「典型系统是结构稳定的」不再可信。Palis 提出的替代纲领换了要求：不追求轨道层面的稳定，只要求吸引子的数目有限、每个吸引子带一个 SRB 型测度、并且这套描述在扰动下保持。问题从「轨道会不会变」转成「统计行为会不会变」，此后二十多年这条线的工作基本按这份清单展开。

边界与本块经五完全同形：纲领由提出者的判断力塑造，而是否成立至今未知——已有的进展都在低维或附加双曲条件的情形。另一处是「典型」的定义仍是可选的（稠密、开稠密、全测度各给出不同的命题），换一种定义就换一份清单。本块四今天的现状盘点，实际上就是在报这份清单逐格的完成度。

位置S——它把「一份修正过的纲领」当成单独够用的那一样　预设〔7 效果可由参与者自己评定〕默认提出纲领的共同体可以同时判定它是否被兑现　量纲纲领中已被证明的情形数∶纲领所覆盖的情形总数　失效当「典型」的定义可选时，同一份纲领在不同定义下成立与否可以相反　异名科研政策称「议程设定」，项目管理称「验收标准由甲方自定」；另见本块四

经十八、临界转变：变慢是不是预警Classic 18 · Dynamical Systems

提出Marten Scheffer、Steve Carpenter、Jonathan Foley、Carl Folke 与 Brian Walker，2001 年《自然》413:591–596《生态系统中的灾变式转移》。　流变临界慢化作为预警信号在 2000 年代后期被大量采用；此后多项回顾研究指出假阳性与假阴性都很高，且不少系统在转变前并不变慢。　今用本块十「临界转变预警：变慢信号并非每次都预告 tipping」正是对这套指标的清算。　关键多稳态系统在逼近临界点时恢复速度下降，方差与自相关随之上升。

2001 年这篇综述把生态学中的突变现象整理成一个动力学问题：系统有多个稳态，缓慢的外部驱动把它推过折叠分岔，转变一旦发生就难以逆转。它同时给出一个诱人的推论——逼近临界点时系统对扰动的恢复变慢，因此方差与自相关的上升可以充当预警。湖泊、草原、气候与后来的金融系统都按这套框架被重新分析。

边界在这条推论的普适性上：临界慢化只对特定分岔类型成立，而随机驱动、空间异质与快变量都可能让信号消失或提前出现假信号。更麻烦的是检验的不对称——预警成功容易被报道，失败不进入文献。本块十今天报告的正是这次清算：同一套指标在多系统回测中表现远不如预期，而这并不否定框架本身，只是把它的适用条件收紧了。

位置E——它把「一个统计预警信号」当成单独够用的那一样　预设〔10 更多数据必然减少偏倚〕默认监测越密就越能提前识别临界点　量纲预警信号出现且随后确实发生转变的次数∶信号出现的总次数　失效当分岔类型不同、噪声较强或系统含快变量时，慢化信号可能不出现或出现假阳性　异名流行病学称「筛查的阳性预测值」，风险管理称「预警指标的误报率」；另见本块十

经十九、Koopman 谱：把非线性摊成无穷维线性Classic 19 · Dynamical Systems

提出Igor Mezić，2005 年《非线性动力学》41:309–325《动力系统的谱性质、模型降阶与分解》；算子本身由 Koopman 1931 年引入。　流变动态模态分解与其变体在 2008 年之后大量用于流体与控制；谱的数值逼近在连续谱与瞬态情形至今不可靠。　今用本块七「Koopman 算子：非线性轨道改写为可观测量的线性演化」正是这条路线的当代形态。　关键把状态的非线性演化换成可观测函数上的线性算子，用其谱做分解与降阶。

非线性系统的分析困难来自方程本身；Koopman 在 1931 年指出，若不看状态而看状态的函数，演化是线性的——代价是维数从有限变成无穷。Mezić 在 2005 年把这套观点重新组织成可用的框架：用算子的谱分解把轨道拆成若干模式，从而在不线性化的前提下做模型降阶。

边界是那次交换的代价：无穷维带来了新的困难——算子可能有连续谱，数值逼近只在纯点谱且有限模式主导时可靠，而混沌系统恰恰常有连续谱。另一处是可观测函数的选取——选得不对，分解出来的模式没有物理意义，而如何选至今靠经验。本块七今天报告的进展与失败，多数落在这两处。

位置D——它把「一次线性化的换向」当成单独够用的那一样　预设〔24 冗余是浪费〕默认把有限维非线性换成无穷维线性没有额外代价　量纲谱逼近可靠的系统数∶用该方法处理的系统总数　失效当算子含连续谱或可观测函数选取不当时，模式分解不稳定且缺乏物理意义　异名控制论称「状态空间与观测空间之分」，数值分析称「无穷维截断误差」；另见本块七

经二十、Lorenz 吸引子：四十年后才被证明存在Classic 20 · Dynamical Systems

提出Warwick Tucker，2002 年《计算数学基础》2:53–117《一个严格的常微分方程求解器与 Smale 第十四问题》。　流变同一路线此后用于三体问题、周期轨与不变流形的存在性证明；每个新问题仍需重写误差控制代码。　今用本块十二「计算机辅助证明」把这条路线从个案变成常规工序。　关键用带严格误差界的数值积分证明 Lorenz 方程确有一个奇异双曲吸引子。

Lorenz 1963 年画出的那条轨迹（本块经三）在四十年里只是数值现象：没有人证明过那个吸引子存在，Smale 把它列为 2000 年提出的十八个问题之一。Tucker 的做法是把整条轨道的演化包在区间里算，配合规范形处理原点附近的奇性，最终证明该吸引子确实存在，且是奇异双曲的。

边界是这类证明的可迁移性：误差控制的代码高度依赖具体方程，换一个系统几乎要从头写，因此它至今是逐案完成而非通用工序。另一处与本块经十四同形——担保者从人变成了代码与硬件，而这条链的透明度取决于代码是否公开可复算。本块十二今天报告的常规化，正是在把这两条边界往下压。

位置E——它把「一次严格数值积分」当成单独够用的那一样　预设〔4 测量不改变被测对象〕默认数值模拟只是观察这个系统，不改变「吸引子」这一对象的定义　量纲可由现有代码严格处理的系统数∶需要此类证明的系统总数　失效当方程更换时误差控制须重写，方法不随结论一同迁移　异名实验科学称「装置专用性」，软件工程称「一次性脚本与通用工具之分」；另见本块十二

◎ 这一层怎么用

先按「今用」栏或碰撞行的「异名」栏找到上文对应的现代条，再把两条的对象、判据与失效条件并排读。两条若只共享名词而不共享失败情形，只登记为异名；量纲若能逐项换算，再判断现代条究竟继承、修正还是反转了这条老命题。本层二十条指向上文十五个不同位置，合起来构成一条可倒查的时间轴，而不是某一条的背景介绍。

三条使用纪律。其一，年份边界与两幕严格不重叠，提出年份落在 1950 至 2006 年之间，更早的奠基工作（Poincaré 的小除数、Birkhoff 的遍历定理、Koopman 1931 年的算子）只在正文里被点名。其二，经典身份不提供豁免——Smale 的核心猜想被反例推翻，Takens 定理的理想条件真实数据一条不满足，临界慢化作为预警的表现远不如预期，这些边界正是这一层最值钱的信息。其三，两层不比高下：只读现代层判断不出新在哪里，只读经典层看不出哪一条已经被换掉。

◎ 经典层资料核验

  1. Kolmogorov, A. On conservation of conditionally periodic motions for a small change in Hamilton's function. Doklady Akademii Nauk SSSR 98 (1954): 527–530。
  2. Arnold, V. Proof of a theorem of A. N. Kolmogorov on the invariance of quasi-periodic motions. Russian Mathematical Surveys 18(5) (1963): 9–36。
  3. Moser, J. On invariant curves of area-preserving mappings of an annulus. Nachrichten der Akademie der Wissenschaften in Göttingen II (1962): 1–20。
  4. Nekhoroshev, N. An exponential estimate of the time of stability of nearly integrable Hamiltonian systems. Russian Mathematical Surveys 32(6) (1977): 1–65。
  5. Kolmogorov, A. A new metric invariant of transitive dynamical systems. Doklady Akademii Nauk SSSR 119 (1958): 861–864。
  6. Sinai, Y. On the concept of entropy of a dynamical system. Doklady Akademii Nauk SSSR 124 (1959): 768–771。
  7. Ornstein, D. Bernoulli shifts with the same entropy are isomorphic. Advances in Mathematics 4 (1970): 337–352。
  8. Lorenz, E. Deterministic nonperiodic flow. Journal of the Atmospheric Sciences 20 (1963): 130–141。
  9. Furstenberg, H. Disjointness in ergodic theory, minimal sets, and a problem in Diophantine approximation. Mathematical Systems Theory 1 (1967): 1–49。
  10. Rudolph, D. ×2 and ×3 invariant measures and entropy. Ergodic Theory and Dynamical Systems 10 (1990): 395–406。
  11. Smale, S. Differentiable dynamical systems. Bulletin of the AMS 73 (1967): 747–817。
  12. Mostow, G. Quasi-conformal mappings in n-space and the rigidity of hyperbolic space forms. Publications Mathématiques de l'IHÉS 34 (1968): 53–104。
  13. Margulis, G. Discrete Subgroups of Semisimple Lie Groups. Springer, 1991（专著）。
  14. Oseledets, V. A multiplicative ergodic theorem. Transactions of the Moscow Mathematical Society 19 (1968): 197–231。
  15. Ruelle, D. and Takens, F. On the nature of turbulence. Communications in Mathematical Physics 20 (1971): 167–192。
  16. Sinai, Y. Gibbs measures in ergodic theory. Russian Mathematical Surveys 27(4) (1972): 21–69。
  17. Bowen, R. Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms. Lecture Notes in Mathematics 470. Springer, 1975（专著）。
  18. Ruelle, D. Thermodynamic Formalism. Addison-Wesley, 1978（专著）。
  19. Young, L.-S. What are SRB measures, and which dynamical systems have them? Journal of Statistical Physics 108 (2002): 733–754。
  20. Newhouse, S. Diffeomorphisms with infinitely many sinks. Topology 13 (1974): 9–18。
  21. Newhouse, S. The abundance of wild hyperbolic sets and non-smooth stable sets for diffeomorphisms. Publications Mathématiques de l'IHÉS 50 (1979): 101–151。
  22. Pesin, Y. Characteristic Lyapunov exponents and smooth ergodic theory. Russian Mathematical Surveys 32(4) (1977): 55–114。
  23. Ledrappier, F. and Young, L.-S. The metric entropy of diffeomorphisms I, II. Annals of Mathematics 122 (1985): 509–539, 540–574。
  24. Barreira, L. and Pesin, Y. Nonuniform Hyperbolicity. Cambridge University Press, 2007（专著）。
  25. Feigenbaum, M. Quantitative universality for a class of nonlinear transformations. Journal of Statistical Physics 19 (1978): 25–52。
  26. Takens, F. Detecting strange attractors in turbulence. Lecture Notes in Mathematics 898. Springer, 1981: 366–381。
  27. Sauer, T., Yorke, J. and Casdagli, M. Embedology. Journal of Statistical Physics 65 (1991): 579–616。
  28. Kantz, H. and Schreiber, T. Nonlinear Time Series Analysis. Cambridge University Press, 1997（专著）。
  29. Lanford, O. A computer-assisted proof of the Feigenbaum conjectures. Bulletin of the AMS 6 (1982): 427–434。
  30. Eckmann, J.-P. and Ruelle, D. Ergodic theory of chaos and strange attractors. Reviews of Modern Physics 57 (1985): 617–656。
  31. Margulis, G. Discrete subgroups and ergodic theory. In: Number Theory, Trace Formulas and Discrete Groups. Academic Press, 1989: 377–398。
  32. Dani, S. and Margulis, G. Limit distributions of orbits of unipotent flows and values of quadratic forms. Advances in Soviet Mathematics 16 (1993): 91–137。
  33. Eskin, A., Margulis, G. and Mozes, S. Upper bounds and asymptotics in a quantitative version of the Oppenheim conjecture. Annals of Mathematics 147 (1998): 93–141。
  34. Ratner, M. On Raghunathan's measure conjecture. Annals of Mathematics 134 (1991): 545–607。
  35. Ratner, M. Raghunathan's topological conjecture and distributions of unipotent flows. Duke Mathematical Journal 63 (1991): 235–280。
  36. Morris, D. W. Ratner's Theorems on Unipotent Flows. University of Chicago Press, 2005（专著）。
  37. Palis, J. A global view of dynamics and a conjecture on the denseness of finitude of attractors. Astérisque 261 (2000): 335–347。
  38. Palis, J. and Takens, F. Hyperbolicity and Sensitive Chaotic Dynamics at Homoclinic Bifurcations. Cambridge University Press, 1993（专著）。
  39. Scheffer, M., Carpenter, S., Foley, J., Folke, C. and Walker, B. Catastrophic shifts in ecosystems. Nature 413 (2001): 591–596。
  40. Scheffer, M. Critical Transitions in Nature and Society. Princeton University Press, 2009（专著）。
  41. Mezić, I. Spectral properties of dynamical systems, model reduction and decompositions. Nonlinear Dynamics 41 (2005): 309–325。
  42. Koopman, B. Hamiltonian systems and transformations in Hilbert space. Proceedings of the National Academy of Sciences 17 (1931): 315–318。
  43. Tucker, W. A rigorous ODE solver and Smale's 14th problem. Foundations of Computational Mathematics 2 (2002): 53–117。
  44. Smale, S. Mathematical problems for the next century. The Mathematical Intelligencer 20 (1998): 7–15。
  45. Katok, A. and Hasselblatt, B. Introduction to the Modern Theory of Dynamical Systems. Cambridge University Press, 1995（专著）。

本表只列经典层（1950–2006）所依据的出处，不并入上文现代层的资料核验。专著、讲义集与机构文件按原始形态著录：这一段年代的正主本来就有相当比例不是期刊论文，改引一篇后世综述反而失真。2006 年之后的文献只用于说明流变，不改变经典条的入选年份。

新思想前沿 · 第 7 号《动力系统》· 20 条现代思想 ＋ 20 条 1950–2006 经典思想 · 双层资料核验 · 王德生 亲撰 · ← 回到 626 个领域总览