12:这里真的存在一个东西吗?
我们连说了六章“晶体”,却从未检验过这个名词是否有所指。两个实验检验了一种享有特权的空间边界。两者都不支持其存在,而两个被检验的径向切分都显示出相当的同侧因果局域化。
上一章结尾留下了一个关于词语的怀疑。
自《数字晶体》以来,我们一直自如地说着晶体,而这个名词从那时起就一直在悄悄地做功。材料变得不再永久之后,我们还在用它。大规模材料更替出现在可见状态之下之后,我们还在用它。计算机会被证明强烈约束其尺度之后,我们还在用它,在没有一种被检验过的预算能产生稳定种群之后,我们还在用它。
贯穿这一切,“晶体在做 X”这句话一直像是在谈论某个东西。
其理由始终是同一个,而且从未被检验过:
存在一个连通的占据结构
↓
因此存在一个自然客体
这个推论值得做一次实验。不是最大可能的那种——本章并不试图判定数字晶体是否为一个个体。它检验的是:一个空间区域可能以两种操作性定义的方式赢得因果特权。
两个标准都失败,并不能证明不存在自然边界。它只意味着:在这些检验之下,连通占据几何尚未赢得一个边界。
问题更靠前、也更弱:
连通占据晶体是否具有享有特权的因果边界或区域,从而足以把我们把它当作一个自然客体的做法正当化?
或者,更操作性地说:是否存在一个空间区域,其未来特别地属于它自己?
我们本就该怀疑
人类在辨认东西时寻找边界。生物学和工程学给了我们许多视觉上很有说服力的边界——膜、皮肤、壳、底盘——它们让内外看起来像是寻找一个东西的自然起点。
数字晶体不欠我们任何这类东西,而前三章一直在悄悄地让边界假设更难维持。
《经验能改变材料吗?》发现,保留材料只有在仍与因果孔径耦合时才重要。《材料损失后剩下什么?》接着把我们之前允许混在一起的两个想法分开:
构建接口
→ 当前符合附着条件的空位置
因果孔径
→ 其状态能够影响
那些位置上决策的已有材料
损失表明,两者都可以在先前落到可见外表面之后的深层材料内部重新出现。上一章又去掉了一个假设:即使是符合条件的构建机会也不一定获得计算,因为在有限评估预算下,只有其中一些机会被评估。
于是,一个位点可以在一次更新中处于非活跃体部,而在下一次更新中因为附近材料消失而回到活跃接口。这已经让固定的几何外壳不太像系统的因果边界——这本该让我们对任何基于中心半径的定义产生怀疑。
我们还是试了一个,因为显而易见的假设是必须最先检验的那个。
什么样的区域算特殊?
从比因果更弱、更容易测量的东西开始:预测。
如果晶体的某个区域值得特殊的因果关注,一种可能的信号是:它的当前状态对它自身未来贡献了超出其周围所能提供的异常预测信息。如果加上该区域自身状态后毫无增益,这个标准就给我们 no 理由优待该区域。
于是,在每个测量点上,定义 S_t 为候选区域的过程状态,E_t 为从候选半径延伸到冻结的活跃外测量半径的周围环带的过程状态。问题是候选区域是否贡献了超出该环带的预测信息。
把加上区域自身状态带来的改进称为自预测增益:
Δ_自身
=
R²(S_t + E_t → S_未来)
-
R²(E_t → S_未来)
这还不是主要统计量。同样的计算在仅供观察的空间打乱表示上再做一次,得到 Δ_自身,零,而下面报告的量是两者的差:
超额预测一致性
=
Δ_自身,真实
-
Δ_自身,零
所以问题不只是区域能否预测自身。而是它是否比冻结的观察者零构造预测得更强。
一个看似细小、实则重要的细节。状态表示不是占据细胞的位图。对每个区域,预测器接收一个 19 维过程向量:
种群密度 前沿密度
近期附着比例 近期损失比例
近期首次占据比例 近期重占据比例
近期总周转比例
6 个角扇区种群密度
6 个角扇区周转密度
近期流项在冻结的四次更新历史窗口上累积。预测模型在训练数据上对这些特征做标准化,并在留出的运行组上评估。
到本书的这个位置,再用占据 alone 描述区域,就是在重复我们已经犯过两次的错误。可见形态在《晶体获得过去》中被证明是对可执行状态的不完整描述,而净种群在《材料损失后剩下什么?》中被证明掩盖了几乎全部活跃度。
基质冻结在损失率 δ = 0.08 和中性评估预算 B = 96 下。五个候选尺度事先冻结为晶体有效半径 R_eff 的分数——R_eff 为原点到任何当前占据细胞的最大欧氏距离,在每个检查点分别计算:
R / R_eff
0.30
0.45
0.60
0.75
0.90
在运行前声明了最小效应 0.02,以及一个家族水平置换零假设——因为检验五个尺度再报告最好的一个是一次搜索,零假设必须知道这一点。
看起来我们找到了一个
超额预测一致性的结果是:
| 候选尺度 | 超额预测一致性 |
|---|---|
0.30 R_eff |
0.1691 |
0.45 R_eff |
0.0447 |
0.60 R_eff |
0.0611 |
0.75 R_eff |
0.1666 |
0.90 R_eff |
0.2906 |
最外层候选看起来很突出。0.2906 的超额 R² 远高于声明的最小值,而它恰好出现在能让包围边界变得有趣的那个尺度上。
有一刻,我们好像找到了一个享有特权的外层区域。
零假设也能找到它们
然后是家族零假设。
观察到的家族最大值 0.2906
置换零假设均值 0.2569
零假设 95 百分位 0.2947
单侧 p ≈ 0.0849
家族水平未来置换零假设产生的最大值几乎同样大。它的平均最大值已经是 0.2569。
这很重要,因为这是观察者侧空间打乱(预测一致性统计量内部所用)之外的第二重对照。家族置换保留了“我们搜索了五个冻结尺度再取最大值”这一事实,而在这种知晓搜索的零假设下,接近观察值的最大值不再异常。
观察到的 0.2906 没有通过家族水平检验。我们在看到结果后没有调整半径、增加新的候选尺度或更换解码器。冻结的预测边界标准未通过(FAILED)。
这已经足以阻止把 0.90 R_eff 仅凭这个实验提升为边界。
可预测性不是边界
这里有意思的不是失败本身,而是零假设为什么这么强。
这个系统的大片区域共享生长期、种群规模、周转状态、前沿几何和随机背景。这些共享变量可以让一个区域高度预测它自身的未来,而不必让该区域成为享有特权的因果客体。高可预测性是真实的;其解释才是问题。
预测一致性
≠
享有特权的边界
这一点值得以一般形式说出来,因为它是本书整个领域反复掉进去的陷阱:
仅凭预测一致性不能识别自然边界。
这里有《它看起来像群集》的回声。群集结果曾经很大,直到对照显示几何本身能产生多少;这里预测统计量曾经很大,直到家族零假设显示结构化共享动力学本身能产生多少。在两种情况下,统计量的大小都不够。是对照决定了统计量意味着什么。
几何本来就可疑
对这个实验的事后审计发现了几处问题,值得记录下来,但不拿它们当逃生舱口。
候选系统被定义为中心区域,而前三章都指向因果活动存在于动态生成的接口附近,而非几何中心周围。观察者零假设环境与真实环带环境并非严格几何匹配,这让比较变得模糊。
测量几何的一部分还依赖于未来范围。外测量半径用了当前与未来有效半径中的较大者,所以用于定义预测测量的部分支撑获得了在当前检查点本不可得的信息。
而打乱的候选区域在不同时间独立重新生成,所以零假设从未为它所替代的区域保留稳定的时间同一性。
这些都救不了这个假设。正确的状态是两件事同时成立:主要预测假设未通过(FAILED),而实验方案不够干净,不足以支撑强断言。
一个实验可以未通过其声明的假设,同时暴露该假设操作化方式中的弱点。这是两个分离的结果。谁也救不了谁,但方案审计告诉我们下一种实验不该怎么做。
下一步不该做什么很清楚:试 0.87、0.88、0.91。加一个尺度。换特征集。用更大的模型。每一种都是在找一个数字,而到现在我们已经很清楚那条路通向哪里。
换证据类型。如果边界在任何因果意义上是真实的,扰动就该在乎它。
别再预测了。去扰动它。
把最强的预测候选带往下走——0.90 R_eff 处的外边界——并把它与 0.60 R_eff 处一条普通的内部伪边界比较。外候选现在必须展示出那条任意内部线所没有的东西。
外候选边界是否比任意内部边界更强地局域化因果后果?
干预:在一个检查点,恰好移除 16 个占据细胞,或在所考察边界内侧紧邻处,或在其外侧紧邻处。干预位点在占据邻居数、距边界的绝对距离和确切数量上匹配,所以两种条件的区别在于打了哪一边,而不是打了什么。
两条分支随后在《晶体获得过去》中的细胞键控公共随机数耦合下向前运行,使比较成为配对反事实,而非重新分配随机抽取的累积。
八次更新后,在内目标壳和外目标壳中测量相对未扰动对照的占据分歧,各自按该目标壳的格点数归一化。对每条提议边界,定义:
因果局域化
=
(内侧扰动 → 内侧响应
- 外侧扰动 → 内侧响应)
+
(外侧扰动 → 外侧响应
- 内侧扰动 → 外侧响应)
正分意味着扰动在它所起源的那一侧产生更大的后果。主要统计量是 0.90 R_eff 处的候选局域化减去 0.60 R_eff 处的对照局域化。如果外候选边界按此标准享有特权,该差应为正,且在科学上大到足以通过冻结门限。
一个限制比名义样本量所暗示的更重要。实验要求 96 个独立组,但只有 25 个同时满足候选比较和对照比较的冻结匹配要求。其余 71 个因无法在要求的局域几何上匹配出合适的内侧/外侧扰动集而被排除。
所以因果估计对象不是所有数字晶体状态。它是冻结匹配干预实际能构造出来的那部分被检验状态的子集。
这个限制降低了精度,也可能限制可推广性,因为 25 个可用组不保证是 96 个要求组的随机样本。所支持比较的方向仍可报告;其大小不应推广到实验支持区域之外。
但测得的方向也不支持假设。候选边界的得分低于对照。
外边界没有获胜
| 度量 | 取值 |
|---|---|
候选边界局域化,0.90 R_eff |
≈ 0.03772 |
内部对照局域化,0.60 R_eff |
≈ 0.04497 |
| 候选 − 对照 | ≈ −0.00724 |
| 95% 区间 | [−0.01399, −0.00020] |
| 候选优越性的单侧检验 | p ≈ 0.9693 |
候选边界没有比我们故意画在内部、只求平淡无奇的那个圆更强地局域化因果后果。甚至还略差一点。冻结的因果局域化标准未通过(FAILED)。
克制住显而易见的下一步动作。这不是 0.60 R_eff 才是真边界的证据——它是 precisely 因为毫无 distinguished 之处而被选作对照的,把它扶正正是我们在前两章拒绝过的手法。
在 25 个匹配组内,测得方向为负,自举区间为 [−0.01399, −0.00020]。但这 25 组只是存在冻结匹配的那个子集。因此该结果既给不出挽救候选优越性的理由,也不足以把那个很小的负大小变成“内部对照更优”的一般断言。该结果只说一件事:
提议的外边界在这次因果局域化检验下不享有特权。
这比第一次失败要硬得多。预测一致性还可以被 dismiss 为间接的观察性度量——也许边界是真实的,只是预测这个仪器不对。
这次实验是直接干预。它改变了候选边界一侧的材料,测量了下游差异出现在哪里,而在冻结的局域化度量下,候选外边界并不比内部对照更享有特权。
但同侧局域化留下来了
现在看失败比较之下、构成它的那些成分。
| 成分 | 候选(0.90) | 对照(0.60) |
|---|---|---|
| 内侧扰动 → 内侧响应 | 0.02709 | 0.02869 |
| 外侧扰动 → 内侧响应 | 0.00896 | 0.00359 |
| 内侧扰动 → 外侧响应 | 0.00508 | 0.00545 |
| 外侧扰动 → 外侧响应 | 0.02467 | 0.02530 |
每个报告的成分均值都指向同一方向。在两个被检验的径向切分上,内侧扰动产生更大的内侧响应,外侧扰动产生更大的外侧响应。
所以,在这次干预和八次更新测量窗口下,实验在两个边界上都测到了正的同侧因果局域化。而这正是它无法把外候选与内部对照区分开的原因。有用的结果不是局域化在提议边界上独特地强,而是两个被检验切分上都出现了相当的局域化。
同侧因果局域化
在两个被检验的径向切分上都被测到
享有特权的外边界
在这次检验下不受支持
留下来的是同侧局域化模式。失败的是边界特权。失败的假设与存活的现象,是同一测量值的两种读法。
局域不等于个体
现在的诱惑是把局域性当作安慰奖,悄悄让它意味着同一件事。它不是。
仅凭空间局域性是个体性的弱标准。许多局域耦合系统都会产生近处大于远处的后果,而不拥有享有特权的包围客体,所以局域性做不了失败边界假设原本要做的工作。
我们这里测到的更窄:在本方案下,扰动在被检验边界的同侧产生了比跨过它更强的效应。这确立了本方案下的同侧因果局域化。它没有确立一般的距离衰减律、传播速度、因果闭包或享有特权的内外分解。
我们没有展示、也不应被读作展示了因果闭包、自主性、享有特权的内外,或个体。这些实验没有检验更强的因果边界形式概念。
所以把否定结果的作用域精确地守住:
| 标准 | 状态 |
|---|---|
| 一个预测边界标准 | 未通过(FAILED) |
| 一个因果局域化边界标准 | 未通过(FAILED) |
| 不存在自然边界 | 未确立(NOT ESTABLISHED) |
回头看
在同一个问题上失败两次,通常是看问题的信号,而不是看答案的信号。于是我们回头梳理了前几章实际确立的东西,有个此前逐章看不见的对齐出现了。
《经验能改变材料吗?》发现保留材料只有在与活跃因果孔径耦合时才重要。《材料损失后剩下什么?》发现损失可以在先前变得因果遥远的材料内部创造新的构建接口。《留下来要付出什么?》发现有限计算决定哪些符合条件的构建机会获得评估。
而本章发现在两个被检验的径向切分上都有同侧因果局域化,且两个切分都没赢得边界特权。
分开读,这是四个实验发现。合在一起读,它们指向同一个动力学问题:
转移在哪里可用?
哪些获得计算?
它们的后果在哪里保持局域?
再往前还有另一个反复出现的模式。
《数字晶体》恢复了宽泛的源家族信息,但没有确立可恢复的时间顺序。《晶体获得过去》发现了因果脉冲后果,但没有发送者身份或精确时序,不同的具体未来也没有稳定的种群水平历史签名。《经验能改变材料吗?》产生了持久且可及的材料区分,但没有在共同挑战下确立科学上有意义的对那些过去的差异化使用。
这没有确立过程本体论。但它又添了一个理由:直接研究动力学,而不是仅从累积材料推断组织。
体部与通量
这里有一种说法,讲我们的框架可能错在哪里。如果我们把系统定义为半径 R 内的占据细胞,我们就是按累积下来的东西定义它。
《材料损失后剩下什么?》表明,巨大的材料总流量可以藏在相对温和的净种群变化之下。上一章又表明了更微妙的一点:有限计算可以强烈改变所达到的种群,而表面稳定的总周转加总原来大体受损失方案和会计恒等式约束。
保持信息量的是成分流的行为,特别是重占据与首次占据在严重稀缺下的不同响应。
体部 保持占据的是什么
通量 材料转移实际发生在哪里
两者都是真实的,说体部无意义是错的——占据材料恰恰决定了下一个机会出现在哪里,所以通量是由它所重排的体部生成的。
更窄的断言是:仅凭占据材料可能挑不出自然因果客体。类比不完美,但有用。只按当前占据材料定义晶体,可能像只按某一时刻在场的那些水定义一条河。
材料重要。它可能只是不是我们需要测量的完整客体。
一个东西,还是一股流?
悬在本章上空的问题值得一个诚实而令人不满意的回答。
晶体是一个自然东西吗?这些实验没有确立。是连贯的一股流或过程吗?也没有确立。
把东西换成过程,只是拿一个无根据的本体论换另一个。本章测到的一切也都与空间结构化随机场相容,其局域动力学并不挑出一个享有特权的个体。
所以这些测量本身无法裁决这个问题。即便稳定的通量也不足以作为连贯组织的证据——动力学模式的持续存在本身并不确立自然个体。
于是诚实的立场是两个名词都尚未挣得,而面向过程的描述现在是更有希望的候选,而非答案。这个结论比标题的任何一边都小,而它是证据所支持的。
别再先画身体了
本章真正产出的是方法上的转变。两个实验的开头方式一样:
画出候选区域
↓
问它是否特殊
把它反过来。
| 旧 | 新 |
|---|---|
| 选定一个区域 | 测量因果过程 |
| 问它是否像个东西 | 寻找连贯组织 |
| 强加一个边界 | 只在那之后才问边界是否涌现 |
这种反转在别处有成熟的例子。在流体动力学中,相干结构可以从输运动力学中识别,而非从快照几何中挑选。1类比到此为止——我们在这里没有使用那套机器——但它的方法论教训够用了:候选客体可以在动力学中寻找,而不是先画出来再事后辩护。
如果这里存在自然边界,下一种策略应允许它从测得的因果组织中涌现,而不是要求我们事先指定它的几何。
这改变了实验对象。
实验注记
本章在同样的有损、有限预算数字晶体基质上包含两个冻结实验,损失率为 δ = 0.08,中性评估预算为 B = 96。
V1——预测一致性筛查
V1 快速画像用了:
| 参数 | 取值 |
|---|---|
| 独立运行组 | 96 |
| 半径 | 72 |
| 热身 | 20 次更新 |
| 延续 | 84 次更新 |
| 预测视界 | 4 次更新 |
| 历史窗口 | 4 次更新 |
| 检查点步长 | 4 次更新 |
| 留出比例 | 0.25 |
| 岭 alpha | 10.0 |
| 家族置换 | 1000 |
| alpha | 0.05 |
| 有意义的超额 R² | 0.02 |
五个候选空间尺度冻结为 R_eff 的 0.30、0.45、0.60、0.75 和 0.90,每个尺度的自预测增益为:
Δ_自身
=
R²(S_t + E_t → S_未来)
-
R²(E_t → S_未来)
观察者零假设区域在六个径向分箱中保留属于候选的格点数量,但用键控的仅观察者随机重 assigned 哪些角位置获得成员身份。因此它保留近似径向尺度,同时破坏居中的连续区域 assignment。零假设不改动数字晶体本身。
报告的尺度统计量是超额预测一致性,Δ_自身,真实 − Δ_自身,零。主要家族统计量是全部五个冻结尺度上的最大值,而运行组当前/未来置换检验保留了完整的五尺度选择流程。
事后 V1 审计识别出四个方案局限:候选几何是居中的;观察者零假设环境与真实环带并非精确匹配;未来范围进入了部分测量支撑记账;打乱区域在检查点之间缺乏稳定的时间同一性。这些局限救不了失败的冻结家族检验。它们限制了从 V1 出发的任何解释的强度。
V2——因果边界局域化
V2 换了证据类型,而不是调 V1。快速画像用了:
| 参数 | 取值 |
|---|---|
| 要求组数 | 96 |
| 可用匹配组数 | 25 |
| 半径 | 72 |
| 热身 | 20 次更新 |
| 热身后检查点 | 36 |
| 响应视界 | 8 次更新 |
| 候选半径 | 0.90 R_eff |
| 对照半径 | 0.60 R_eff |
| 边界壳宽度 | 4 |
| 距离匹配分箱 | 1 |
| 移除细胞 | 16 |
| 有意义的候选超额 | 0.01 |
| 自举重复 | 3000 |
| 符号翻转置换 | 4000 |
| alpha | 0.05 |
内侧与外侧干预在占据邻居数、距边界绝对距离和确切移除数上匹配。未来随机抽取在反事实分支间细胞键控。相对未扰动对照的占据分歧在内、外目标壳中测量,并按目标壳大小归一化。
对每个边界:
因果局域化
=
(内侧 → 内侧 − 外侧 → 内侧)
+
(外侧 → 外侧 − 内侧 → 外侧)
而主要统计量是 局域化(0.90 R_eff) − 局域化(0.60 R_eff)。
0.60 R_eff 区域是预先声明的内部伪边界对照。它不被宣称为几何完美的零假设,也不被宣称为替代候选个体。
完整的分组结果和更低层的方案细节保留在随附实验记录中。
证据台账
| 断言 | 状态 | 证据 / 局限 |
|---|---|---|
| 某个冻结空间尺度显示超额预测一致性大到足以击败家族零假设 | 未通过(FAILED) | 家族最大值 0.2906,零假设 95 百分位 0.2947,p ≈ 0.0849 |
0.90 R_eff 是享有特权的预测边界 |
不受支持(NOT SUPPORTED) | 冻结家族检验失败;事后审计也发现方案弱点 |
在匹配的 V2 支持区域内,0.90 R_eff 比 0.60 R_eff 伪边界更强地局域化因果效应 |
未通过(FAILED) | 96 组中 25 组可匹配;候选减对照 −0.00724,95% 区间 [−0.01399, −0.00020],单侧优越性 p ≈ 0.9693 |
| 同侧因果局域化出现在两个被检验的径向切分上 | 受支持(SUPPORTED) | 四个报告成分均值同侧都大于跨切分;成分不确定性未单独用作假设门限 |
| 同侧局域化识别出享有特权的边界 | 不受支持(NOT SUPPORTED) | 同样的定性模式出现在任意内部对照上,与短视界局域传播相容 |
| V2 结果推广到所有被检验晶体状态 | 未断言(NOT CLAIMED) | 96 个要求组中仅 25 组满足冻结几何匹配要求 |
| 数字晶体中任何地方都不存在享有特权的自然边界 | 未断言(NOT CLAIMED) | 只检验了两种操作性边界标准和有限的空间候选集 |
| 更强的形式化边界标准成立或失败 | 未断言(NOT CLAIMED) | 条件独立、闭包及相关标准均未检验 |
| 动态生成的构建接口反复居中因果机会 | 受支持(SUPPORTED) | 《经验能改变材料吗?》《材料损失后剩下什么?》《留下来要付出什么?》各章提供了不同机制 |
| 稳定归一化流定义了自然个体 | 未断言(NOT CLAIMED) | 流稳定性既未确立为独立不变量,也未作为个体化标准检验 |
| 晶体是连贯过程而非东西 | 未断言(NOT CLAIMED) | 测量也与结构化局域随机场相容 |
注意第二个失败所附的样本局限:96 个要求组中 25 个可用。该结果的方向不支持假设,但其大小不应被当作精确值引用。
测量一个事件
本章我们检验了两个提议的空间描述是否值得因果特权。
两者都不值得。
这比听起来有用,因为失败的不是一次测量。是我们自晶体第一次画在屏幕上就一直携带的假设:连通材料区域就是客体,而过程是发生在它内部的东西。
两个实验在设计中都继承了这种先有身体的假设。它们能检验我们给出的区域是否享有特权。它们发现不了我们从未提议过的不同形状的组织。
留下来的是更小、更有用的东西:
局域干预产生空间局域的后果。
这是关于事件与效应的陈述,而不是关于身体与边缘的陈述,它提示我们一直从问题的错误一端开始。
所以别再先画客体了。从一个事件开始。改变一次附着。然后跟随那个改变实际造成了什么。
如果连贯组织存在,也许它的结构将从那些因果后果中涌现,而不是从我们事先给出的边界中涌现。
一次局域事件实际造成了什么,因果杠杆在哪里被创造出来?
-
G. Haller, “Lagrangian Coherent Structures”, Annual Review of Fluid Mechanics 47, 137–162 (2015). ↩︎