第30章 状態空间(2/2)
【不要再问废土上的正確答案是什么。】
【大学数学在逼我承认:先问问你自己,你到底是站在什么坐標系里看这个问题?】
这一刻,江临產生了一种轻微的眩晕感。
到了第七年秋天,江临在整理农田数据时,迎来了第三波精神暴击。
满屏的数据,从表层含水到酸雨次数,洋洋洒洒几十列。
乍一看科学得要命,可稍微一盘逻辑,江临就觉得不对劲。
他开始一项项检查。
表层含水量和十厘米深处含水量有关,但不完全一样。
近七日平均温度和有效光照有关,但也別著劲。
堆肥成熟度和地块熟化年限有关,可某些老地块因为早期操作粗糙,未必比后来精心处理的新地块好。
变量之间没有乾乾净净的关係,像一群被关在表格里互相串供的嫌疑犯。
每一列都在尖叫著我重要,每一列又都和別的列在桌子底下暗中勾结。
教材里管这叫线性相关。
紧跟著蹦出来一个冷冰冰的词:秩。
视频老师说,在最粗略的意义上,秩可以理解为有效独立信息量。
江临一下子坐直。
因为这几个字像一记耳光,扇散了他这几年对著一堆厚重数据沾沾自喜的幻觉。
农田状態表横跨了两个屏幕,不代表它的秩很高。
变量洋洋洒洒写了一百列,很可能只是一堆水分和温度换了十几种马甲在反覆横跳。
当然,真实数据里还有更噁心的东西。
噪声。
一点测量误差,就足够让一个本该低秩的表格,在计算上变成满秩。
所以他真正该看的,不只是冷冰冰的秩,而是哪些方向贡献了主要变化,哪些方向只是噪声在抖。
变量很多不可怕。
可怕的是,他根本不知道哪些变量在提供信息,哪些变量只是在製造幻觉。
他以前的人生也是这样。
试卷、笔记、错题本铺天盖地,看起来很宽,实际上全在同几个知识点上原地打转。
有效信息量低得可怜。
江临拿出纸质时间胶囊。
【线性代数:秩。】
【变量很多,不等於信息很多。】
【笔记很多,不等於理解很多。】
【真正重要的是独立方向,是有效信息量。】
当冬天的第一场冷风颳过时,江临开始学线性方程组和行列式。
高中时解方程是天经地义的事,可大学线代冷笑著撕毁了这张保票。
现实往往是无解的。
他试图算石屋的冷却主因,算土豆增產的关键,却发现数据之间疯狂互殴。今天的温度和昨天的记录对不上,湿重和乾重混在一起。
这不是他算不出,是数据本身烂透了。
现实就是个四处漏风的草台班子,它绝对拒绝替你的粗糙记录背锅。
后来他才知道,现实世界的大部分方程组,本来就不给精確解。
你问它到底是哪一个答案,它只会甩给你一堆互相打架的观测值。
真正该问的不是有没有一个完美答案。
而是在所有不完美答案里,哪一个让整体误差最小。
那个东西,叫残差。
那条路,通向最小二乘。
江临红著眼,没有把所有记录都刪掉。
他先把明显口径混乱,单位不明,缺少日期和条件说明的数据,拖进了【废弃数据】文件夹。
剩下那些还能救的,则单独建了一个文件夹。
【残差过大,待覆核】。
没用就是没用,自我感动不能当饭吃。
而行列式更是给了他最后通牒。
在线性变换里,行列式是体积的缩放因子。
如果det=0,说明空间被直接压扁了,维度塌陷,信息丟失。
这是信息层面的不可逆。
三维压成二维,二维压成一条线。
你只拿到压扁后的影子,再也还原不出原来的体积。
江临忽然想到,废土里也有很多类似的时刻。
种子捂霉,电池深放,水源污染,身体越过死亡线。
它们不是真的行列式为零。
但它们都在提醒他,有些操作一旦丟失关键状態,就再也退不回去了。
从那以后,江临学会了区分可控试错和不可逆试错。
別把命押在会压扁所有退路的操作上。
第八年夏天,他啃到了最难的骨头:特徵值与特徵向量。
方向不变,只做拉伸?
江临看著这句绕口令,只觉得脑子发木。
他最开始还是回到石屋。
三个温区,三个温度,依旧可以写成一个状態向量。
先暂时拿掉炉火和门缝这些外部输入,只看三个温区之间的內部传热。
如果生活区,书房,储物区的温度完全一样,那么下一刻,它们大概率还是一起升,一起降。
这是一个方向。
如果书房比生活区热,储物区比它们冷,那么热量会沿著墙体和门缝流动,温差会被一点点抹平。
这又是一个方向。
原来特徵向量不是玄学。
它是系统最天然的变化方向。
特徵值则告诉他,这个方向上的状態,是被保留、被衰减,还是被放大。
后来某天狂风大作,太阳能板的木质支架在风中发出咔吱咔吱的惨叫。
江临又想起了另一个更危险的词。
模態。
支架不是隨便怎么晃都一样。
有些晃动形状很快被结构和阻尼吃掉。
有些晃动形状,却像正好踩在系统的骨缝上,只要外界风力的节奏接近它的固有频率,能量就会一下一下灌进去。
那不是普通的摇晃。
那是共振。
而模態背后,站著的就是特徵值和特徵向量。
想到这里,江临再看废土,发现很多东西都像有了自己的脾气。
如果把努力全砸在错误的特徵方向上,比如死记硬背,熬夜假勤奋,系统不但不会变好,反而会加速崩溃。
第八年冬初,江临做了一次总整理。
他把那些充满误差的粗糙模型保存下来,命名为【状態空间_第八年整理版】。
没有导师批改,也没有网络炫耀,但这套简陋的体系,是他一个人在黑暗中一砖一瓦敲出来的。
夜色压下来,炉膛里的余火苟延残喘。
江临翻开纸质时间胶囊,手腕因为长时间握笔微微发酸。
【线性代数,第一轮结束。】
【不精通,但够用了。】
【高数教我看变化,物理教我看规律,线代教我看结构。】
【废土从来不是一条平滑的曲线,而是一个布满陷阱的状態空间。】
墨跡干透。
江临合上文件袋,搓了搓冰凉的指节,滑鼠光標悬停在了下一个未命名文件夹上。
文件夹里躺著一行更不讲理的名字。
如果说线性代数教他看见结构。
那么接下来的东西,就要逼他承认另一件事。
现实世界给出的每一个数字,都可能在撒谎。