第三部分 · 不靠预测,靠侦测脆弱
非线性:凸、凹与詹森不等式
上一课我们把问题从「预测事件」换成了「侦测脆弱」。可「脆弱」还是个直觉词。这一课给它一个精确到能画出来、算出来的特征——而它只关乎一件事:你的反应曲线,朝哪个方向弯。
把「脆弱」画出来:曲线朝哪弯
先做一件简单的事:把「冲击大小」放在横轴,把「它给你带来的结果」(好或坏)放在纵轴,画一条曲线。这条曲线就是你对波动的反应 (response)。脆弱、强韧、反脆弱的全部差别,都藏在这条线的弯曲方向里。
关键不是曲线往上还是往下,而是它怎么弯。请盯住「把冲击加倍,痛会不会也加倍」这个问题:
用一句话钉死这个翻译:脆弱 = 凹的反应,反脆弱 = 凸的反应。「凹」「凸」不是修辞,是数学里有严格定义的两类曲线——它们的弯曲方向,决定了一件你马上会看到的、违反直觉的事。
一个会算账的人,被波动骗了
现在来看那件违反直觉的事。设想你的反应曲线是凹的(脆弱),横轴是某种冲击 X,纵轴是结果 f(X)。如果冲击恒定地停在它的平均值上,你的结果就是「按平均算出来的那个点」,记作 f(平均)。
但现实里冲击不会乖乖停在平均值——它上下波动。有时小一点,有时大一点。你真正承受的,是各种冲击下的结果再平均,记作 平均[f]。这里要把两个记号讲清楚,别假设你会数学:
一个想当然的念头是:这两者应该相等吧?「平均的结果」和「结果的平均」,听上去是一回事。错。只要曲线是弯的,它们就不相等。这就是詹森不等式 (Jensen's inequality),它说:
凸(笑脸):平均[f] ≥ f(平均) 凹(哭脸):平均[f] ≤ f(平均)把符号翻成大白话:≥ 念「大于等于」,≤ 念「小于等于」。所以——反应曲线是凸的,波动帮你:照实波动算出的平均结果,高于按平均冲击算的结果,多出来的那一块是波动白送的红利。反应曲线是凹的,波动害你:照实波动的平均结果,低于按平均算的结果,少掉的那一块是波动偷走的。而曲线如果是直的(线性),两者恰好相等——波动对它不痛不痒。
为什么弯曲会撑开这道缝?几何上一眼就懂:在一条凸(朝上弯)的曲线上,任取左右对称的两点,把它们用一根直线连起来——这根弦永远落在曲线上方。而「先代入再平均」算出的 平均[f],正好落在这根弦上(是两点结果的平均);「先平均」算出的 f(平均) 落在它们正中间的曲线上。弦在上、曲线在下,于是 平均[f] ≥ f(平均)。凹曲线把这张图上下翻转,弦落到下方,不等号就反过来。缝隙的大小,只由两件事决定:曲线弯得多狠,波动铺得多开。
一块大石,还是十块小石
抽象的不等式,用一个谁都怕的场景就懂了。假设有一块 10 吨的石头要落在你身上。我们换个问法:是一次砸下整块 10 吨更糟,还是分成十次、每次 1 吨更糟?两种情况砸下来的总重量完全一样。
身体对冲击的反应是凹的——确切说,伤害随冲击大小加速上升。一个干净的模型是「伤害 ∝ 冲击²」(翻倍的冲击带来四倍的伤害)。代进去:
一块大石:伤害 ∝ 10² = 100 十块小石:伤害 ∝ 10 × 1² = 10同样的 10 吨,集中砸下那一下的伤害是分散砸的整整 10 倍。这就是凹反应下「集中的波动要命得多」——你怕的从来不是「总量」,而是波动把总量挤成了尖峰。一座桥能承受一万次轻载,却可能被一次超载压垮;一个人能扛一千次小压力,却可能被一次巨大的打击击溃。脆弱者的死法,几乎总是「被集中的那一下」干掉的。
反过来,凸的东西恰恰盼着波动被挤成尖峰:一个亏损封死、上行敞开的赌注,平平淡淡时赚不到什么,全靠偶尔一次巨大的有利波动一把赚回来(这正是第 09 课「可选性」的种子)。同样一份波动,凹的怕它扎堆,凸的求它扎堆——因为不等号的方向反了。
堵车:平均没变,体验崩了
再换一个你天天经历的凹系统:交通。一条路的「平均通行时间」会骗人。道理在于:车一旦多到接近饱和,每多一辆车造成的延误加速上升——空路上多一辆车没人察觉,临界点上多一辆车却能引爆全线堵死。通行时间对车流量是凹的(对你不利的那种弯法)。
于是会发生这样的怪事:某条路一周的平均车流量跟去年一模一样,平均通行时间却暴涨。因为今年车流的波动更大了——高峰更尖、低谷更深。按詹森不等式,凹系统里 平均[通行时间] ≥ 通行时间(平均车流):那些尖峰时刻的恐怖拥堵,把平均体验狠狠拖了下去,而低谷时的畅通根本补不回来(凹曲线下,省下的远小于多花的)。害你的不是平均水平,是波动本身。这也是为什么「削峰填谷」——哪怕完全不减少总车流——就能显著改善体验:它在压缩波动,而凹系统最怕波动。
动手:詹森间隙机
下面这台机器把上面的话全画出来。均值固定(冲击的平均值不变),你只拧一个旋钮:波动幅度 σ(念「sigma」,就是波动有多大)。机器在一条凸曲线和一条凹曲线上,分别标出两个点——f(平均)(先平均)和 平均[f](先代入再平均)——并实时显示二者之间的詹森间隙随 σ 张开。凸的那条,间隙朝上撑开(波动白送你红利);凹的那条,间隙朝下塌陷(波动偷走你的结果)。再点「一块大石 vs 十块小石」,看同样的逻辑怎么决定砸下来的痛。
玩几下你会确认两件事。其一,σ=0(完全没有波动)时,两个点重合,间隙为零——詹森不等式取等号,这时「先平均」和「先代入再平均」确实一样,因为根本没东西可平均。其二,只要 σ 一离开 0,缝立刻张开,而且张开的速度恰好等于波动幅度的平方(间隙 = σ²):凸的往上、凹的往下,分毫不差地对称。这台机器让你亲眼看到那句话——结果好坏的差异,不在平均水平,而在波动 × 曲率。
常见误解
- 误解:凸就是「往上走」、凹就是「往下走」。 (澄清:凸凹说的是怎么弯,不是往哪走。一条一路向下、但「越来越缓」的曲线仍然是凸的(朝上弯);一条一路向上、但「越来越缓」的曲线是凹的。判据永远是那句话:把冲击加倍,结果的变化是加速(凸)还是减速并反噬(凹)。)
- 误解:詹森不等式是塔勒布发明的反脆弱专属工具。 (澄清:它是 19 世纪的经典数学定理,普适于一切凸/凹函数,与反脆弱无关。塔勒布的原创不是定理,而是把它当透镜用——用「对波动的凹反应」给「脆弱」下了一个可计算的定义。把功劳分清,才不至于把数学的严格,错记成某个人的洞见。)
- 误解:只要降低「平均冲击」就安全了。 (澄清:在凹系统里,压缩波动往往比降低平均更要命——堵车的例子里平均车流没变,光是波动变大就让体验崩盘。脆弱怕的是波动的形状,不是它的均值。这也是为什么「看起来很稳」的系统可能正悄悄积累尾部风险——呼应第 05 课那只到死都很自信的火鸡。)