第1章 确定与可预测是两回事 10
核心判断 一个系统的规律可以被完全掌握,它照样长期不可算。决定论说的是"下一刻由这一刻唯一决定",可预测说的是"我能提前算出未来某一刻的样子"——这两件事听上去是一回事,其实中间隔着一道过不去的坎。坎的名字叫初值敏感:某些系统里,你对当下的测量哪怕差一丁点,这点误差也会随时间指数放大,很快把预测冲成噪声。所以这一章要立的判断是(公理 A1 的第一根支柱):确定不等于可预测,规律全知的世界照样有一道预测的地平线,跨不过去。这不是仪器不够好、算力不够强的技术问题,是这类系统数学结构里长出来的硬边界。 机制 先把"决定论就该能预测"这个直觉的来历讲清楚,它有两百年的体面出身。牛顿力学出来之后,天体运动被算得分毫不差——日食能提前几百年预报,海王星是先用笔算出位置再拿望远镜找到的。这套成功喂出了一个信念,拉普拉斯一八一四年把它写成了那个著名的假想:假如有一个智者,知道此刻宇宙中每个粒子的位置和速度,又有足够的算力,那么对它而言,未来和过去一样全部摊开在眼前,没有任何不确定。这个假想通常被叫作"拉普拉斯妖",逻辑没毛病:如果每一刻都由上一刻唯一决定,那么知道初始状态就等于知道全部历史。古典科学的乐观都压在这只妖身上——世界是一台钟表,看懂齿轮就看穿了时间。 这只妖死在了一个具体的问题上:三体问题。两个天体在引力下怎么运动,牛顿给出了封闭解,轨道是干净的椭圆。可一旦加进第三个天体——太阳、地球、月亮三者互相牵引——方程就再也解不出一个通用公式了。十九世纪末,庞加莱为一笔悬赏奖金去啃这个问题,啃出了一个让他自己都不安的结论:三体系统的某些轨道对初始条件极度敏感,初始位置差之毫厘,此后的轨迹就谬以千里,而且这种敏感是系统固有的,不是算得不够仔细。要害在于——三体问题里没有任何随机成分,牛顿定律照旧成立,每一步都被上一步唯一决定,它是彻头彻尾决定论的,可它就是算不到很远。决定论的世界里,第一次裂出了一道不可预测的缝。这条缝后来有了名字,叫混沌。 真正把这道缝的机制看清楚的,是气象学家洛伦兹,一九六三年。他用一组简化的方程模拟大气对流,想跑一次更长的预报,为省事从中途某步的打印结果重新输入接着算。打印机只印到小数点后三位,0.506;机器内部算的却是六位,0.506127——他敲进去的初值和真实初值只差 0.000127,万分之一的量级。按老直觉,这点误差该一路只带来一点点偏差;可跑出来的天气没多久就和原来那次完全分道扬镳。洛伦兹意识到,这不是程序出错,是系统的本性:初始的微小差异不被抹平,而被指数级放大。他后来用一句话讲给外行听——一只蝴蝶在巴西扇动翅膀,可能在得克萨斯引发一场龙卷风。它的真意冷静得多:在这类系统里,你永远无法把初始状态测量得足够精确,因为任何精度的误差都会在有限时间内膨胀到决定全局。 把这个机制拆到最底,就一条:误差的指数放大。当下万分之一的测量误差,每过一段固定时间翻一倍,要不了多少周期就膨胀到吞没全部预测;而指数增长对起点几乎无所谓——初始精度提高一千倍,也只把地平线往后推十来个翻倍周期。这就是为什么"算力更强、数据更多"救不了这类预测——你面对的是一条随投入只做对数式后退的地平线,不是一堵能磨薄的墙。 "预测地平线"这个比喻值得停一下,它比看上去精确。像真的地平线一样:一,它是可见与不可见的分界线,线外是断裂不是模糊;二,远近由结构决定——地球曲率,或系统的混沌程度——不由你的视力或算力决定,换一双鹰眼看不过地平线,换一台超算也算不过混沌;三,你朝它走它就同步后退,精度提高十倍也只挪一小截,永远跨不过去。记牢这三点,就不会再把"算不准"错当成"算得还不够努力"。 混淆这两种世界的代价,后面每章都要还。 天气是活在这条地平线下最清楚的例子,而且上限能说出数字。大气是典型的混沌系统,初值敏感刻在方程里。半个多世纪来观测网、卫星、超算进步巨大,可确定性天气预报的可用上限始终顶在两周左右这道墙上,再往后预报技巧衰减到和瞎猜没有区别——这两周不是"目前水平",是理论天花板,模型做到完美也只挪到两周多一点。所以气象台越往后越不报"某日几点下雨"、改报"降水概率百分之几十":不是敷衍,是诚实,过了那道地平线,能给的只有概率。一个规律全知、纯粹决定论的系统,就这样把"不可长期预测"写在了脸上。 这里要防一个廉价的逃逸:把"不可预测"归到量子力学的随机性上,仿佛世界不可算是因为底层掷骰子。用不着请出量子。上面全部论证——三体、洛伦兹、两周上限——都在完全经典、完全决定论的框架里,没有一丁点随机成分。不可预测来自确定性系统自身的数学结构:非线性加初值敏感就够了。这把"不可预测"从"世界本质是否随机"的哲学争论里解放出来,落成一个冷硬的工程事实——哪怕世界严格遵循铁律,铁律照样保证了它算不准。 常见误判 这里最普遍的错,是把"有规律"直接读成"能预测",进而读成"能预测就能控制"——懂了机制就以为能推演结局,进而敢把全部安排压上去。混沌系统专治这种自信——它规律清清楚楚,却拒绝被推演到远处。第二个错,是把预测失败归咎于"数据不够、模型不够好",坚信再多买算力、多喂数据地平线就能推到天边。对线性问题这话对,对混沌问题是南辕北辙——它把结构性的墙误当成技术性的坡,把资源投进一个对数式回报的无底洞。第三个错更隐蔽,叫被"短期算得准"骗了。混沌系统在地平线之内相当好预测,明天的天气八九不离十;人顺着这段准头往外推,默认下周、下月也一样准,浑然不觉正跨过那道看不见的地平线。短期可预测与长期不可预测在同一系统里并存,正是混沌最迷惑人处:它先给足准头让你信任,再把你带进噪声。 失败路径 不认这道地平线,标准的死法是把长期押在一条精确推演上,然后被指数放大的误差在中途撂倒。任何长周期精确计划都走在这条路上:一份把三年后每季度的数字都算死、再据此加满杠杆的方案,脆弱不在于哪个数字估错了,而在于它假设了混沌世界会沿单一路径走到底。开头几步的吻合最是要命——计划前期总是对的(还在地平线之内),这份"对"喂大信心,让人在偏差刚冒头时把它当噪声忽略、继续加码,直到累积偏离越过某个临界,整个推演一次性作废,投入已收不回来。真正活得久的安排从不赌自己能算到终点,它们赌的是"无论走到哪条岔路都还能应对"——预留余量、留好退出、不把生死系于任何单一预测。 设计动作 一,对每个重要判断先问它的有效期,把预测和地平线分开。写下这个判断,问"它在多长的时间尺度内可信"——几天、几个月,还是几年?尺度越长、系统越混沌,可信度衰减得越快。按有效期分层:短期的据以精确行动,长期的只当方向不当路线。这一步逼自己承认"我能算到这里、算不到那里"。 二,凡长周期的安排一律按情景做,不按单点预测做。别问"三年后会怎样"(那在地平线外,答案是噪声),改问"三年里可能岔出哪几条路,每条我都还能应对吗"。放弃算准终点,转而保证在几条合理岔路上都不出局——把赌注从"预测对"换成"活得下来",这是后面全部生存设计的起手式。 三,给推演设一条"信任截止线"。承认计划过了某个时间点就不再可信,越过这条线主动切换到"边走边看、留有余地",不按原推演一条道走到黑。线画在哪,取决于系统误差放大有多快——越混沌,画得越近。 反证与适用边界 这一章的判断有明确的失效条件,不能滥用。如果一个系统接近线性、或虽非线性但没有初值敏感,它就在相当长的尺度内可预测,本章不适用——桥梁在设计载荷下的行为、行星几十年内的轨道都属此类,对它们做精确长期计算完全正当,混沌那套不该拿来给懒惰或悲观背书。判断一个系统是否落在本章管辖内有个速记:问它"当下测量的微小误差会随时间被抹平,还是被放大"——被抹平的(稳定系统)可以往远算,被放大的(混沌系统)才有那道地平线。还要划清的是,本章只说"长期不可精确预测",没说"完全不可知":混沌系统往往有可算的统计规律(气候的长期均值比明天的天气好预测得多)。不可预测的是具体轨迹,不是一切——把"算不准某一天"夸大成"什么都不知道",是从一个错误跳进另一个错误。怎么把世界切成可算与不可算两区,是第 13 章可知域清单要处理的事。 连接 第 2 章(复杂与涌现):混沌是"算不准"的一种来源,涌现是另一种——前者是同一系统的轨迹发散,后者是整体长出零件里没有的性质,两章合起来撑起 A1 前半。第 3 章(非线性与临界点):初值敏感与非线性同源。第 7 章(自然与生命):天气两周上限在那章作为现象志头号证据展开。第 11 章(三种不知道):本章"不可精确预测但有统计规律"对应"不确定"与"风险"的分界。第 13 章(可知域清单):可算轨迹与不可算轨迹分区的操作入口。公理 A1。书库:L4《系统》(非线性反馈如何制造敏感依赖);L3《概率与赔率》(轨迹不可算时如何退守到概率)。