15:过去能重定向未来吗?
两块可见几何一致、等量衰减隐藏材料质量放置不同的晶体。同样的扰动产生不同的响应,而累积差异的大部分在痕迹已大幅减弱之后累积。
前两章把问题收窄到一个局域事件。
《一次附着造成了什么?》一章强制单次附着,发现即时因果效应与局域规则的机械预测一致。正短暂累积后果没有确立,而后期短暂累积速率在冻结标准下变得实际与零一致。
上一章又表明,有限计算能在局域规则一步范围之外重分评估机会,改变扰动的表达方式,并门控受影响机会是否接受评估——而在声明的 ±0.15 尺度上没有分辨平均十二步后果的有意义变化。
两章的每个变量都是关于当前的事实。当前占据。当前前沿。当前预算。当前概率。
但两块可见几何相同的晶体仍可在隐藏状态上不同。
真正历史依赖的系统必须从自己的过去产生这种差异。本实验做更窄的事:故意写下隐藏状态,问这种差异是否足以改变对同一扰动的响应。
所以这还不是内生历史编码的检验。
它是检验隐藏材料状态能否在可见当前被固定时因果起作用。
这不是晶体有没有记忆的问题。《晶体获得过去》在因果过去被证明不是可读过去时拒绝了那个词,《经验能改变材料吗?》在可区分痕迹没能产生所要求的差异响应时又拒绝了一次。
这里的问题更小,排在所有那些之前:
两个可见几何相同的状态,能否因为含有不同的隐藏材料状态而对同一扰动作出不同响应?
先确立隐藏状态能否改变响应。
以后再问晶体能否自己创造、保存或使用这种状态。
相同形状,不同隐藏状态
实验给晶体第二种状态。
一些占据细胞携带衰减标量值,它贡献于普通附着分值:
材料故意设得弱而短暂。
其半衰期为六次更新,而检验开始前痕迹已老化三次,所以每个携带者起始约 0.707。两个细胞携带,总起始质量近 1.414。
新附着细胞不继承痕迹,痕迹既不扩散也不转移。携带者占据期间强度衰减;携带者丢失,材料随之消失。
弱就是设计。我们不是在构建带保留策略和传播规则的记忆架构——《经验能改变材料吗?》一章建过类似的东西,发现有意思的问题在别处。我们给晶体一个隐藏变量,问它能否因果起作用。
而从这里起有个必须小心用的词。条件没有相同的完整状态。它们有相同的可见占据几何和不同的隐藏材料状态。
匹配在干预检查点精确。 accessible、remote 和 erased 从相同的占据集、出生时间图、步数、流种子和探针出发。历史臂之间唯一差异是哪些已占据细胞携带隐藏标量。
不可见就是全部要点:
相同可见几何
≠
相同完整状态
可及、远端、擦除
三个条件,而主要比较的选择比看起来重要。
**可及。**探针附近两个占据细胞携带痕迹,且探针唯一的占据邻居永远是其中之一——保证存储状态对扰动局域因果可及。
**远端。**相同数量携带者、相同材料质量,放在探针十二步直接局域范围之外。
**擦除。**无材料。
主要对比是可及对远端,不是可及对擦除。意图是固定材料数量,只改变材料是否位于到探针的直接局域因果路线上。
这不自动让远端成为完美零假设——第一次实验会暴露这一点。
在干预点,可见占据、探针几何、外部输入、随机数构造和扰动都匹配。三臂评估都是真正无界,故意去掉上一章分离的有限选择器路由机制。
然后让未来正常分叉。
第一次实验不是那个实验
它看起来成功了。即时因果响应在可及与远端条件下 резко 不同,十二步后果在可及历史下看起来也更低。
然后实现审计发现干预不是那个干预。
意图设计是强制让 x 占据一次因果暴露,阻止让它在同样暴露中为空。代码做的是在强制插入 x,而在阻止中起始 x 为空——阻止分支在第一次生长更新中可自由自然附着 x。
对照分支起始的空细胞,不等于被阻止出现的细胞。
更糟的是污染与处理相关。可及痕迹故意包含 x 唯一的占据邻居,这抬高 x 自己的附着概率。审计精确恢复了多少:
阻止自然附着 x 的概率
可及 0.428
远端 0.377
擦除 0.378
五个百分点。被检验条件在改变对照分支是否还是对照。
所以下游结果是:
无效(INVALID)
不是失败。不是无结论。不是 power 不足。
无效。
更多数据只会更精确地测量错的干预。
这给本书添了一种失败模式:
太不精确而答不了
≠
针对失败假设的有效实验
≠
测错因果对比的无效干预
有东西在失败中存活
有一个量逃过了 阻止-x 缺陷,原因是结构的。
即时期望因果响应是从分支概率在已实现生长步之前算的。x 稍后是否在阻止重现,不影响已经算出的数字。所以即时效应即使在无效运行中也可测量:
ΔE₁(可及 − 远端)≈ −0.0182
区间窄且整个在零之下,所以可及隐藏材料降低了即时因果响应。
这反了。材料增益为正;材料抬高附着概率。按 obvious 读法,加它该让扰动更重要,而不是更不重要。
机制就在这个矛盾里。
为什么更多材料产生更小响应
附着规则是 logistic,而 logistic 把分值转成概率的速率不是常数。其斜率为:
可及材料改变探针周围共享前沿候选的基线工作点。
对受影响候选,那个工作点移动降低 logistic 响应的局域斜率。
强制再加上与之前相同的局域分值贡献,但产生的概率增量更小。
flowchart TD
A["Accessible hidden material"] --> B["Higher baseline probability on shared candidates"]
B --> C["Candidates move toward the flat part of the logistic"]
C --> D["Same perturbation produces a smaller Δp"]
D --> E["Reduced immediate causal response"]
V1 即时效应审计还给出了候选水平机制检查。那个即时量可解释,因为它在被污染的阻止生长步之前算出。
对可及对擦除,共享候选上减少的概率增量贡献约 −0.01814,对照总即时差异约 −0.01930。在那次审计下,工作点效应解释了测得即时差异的大部分。
下面修正的 V2 实验独立检验负即时对比是否在修复干预后存活。它不把这个候选水平饱和分解作为新的主要检验重跑。
值得精确说清改变了什么,因为这句话的 loose 版本错了。响应规则没变。logistic 还是那个 logistic,参数相同,算的函数相同。改变的是扰动起作用的工作点:
局域可及隐藏状态改变了同一固定响应规则的有效因果敏感度。
V1 候选水平审计给出该符号的工作点解释,修正 V2 独立复现了符号本身。V2 没做的是重复分解。机制因此与 V1 审计一致且符号被复现,而不是在修正干预下独立重新导出。
这比历史改变响应更锐利。规则固定;状态把扰动挪到那条规则的不同工作点上。
远端臂找到了后门
审计翻出第二个问题,它该觉得熟悉。
仅经由材料动力学,远端携带者超出探针十二步局域因果范围,本不该局域影响探针。
但方案产生了微小局域差异。
不是靠传播。靠校准。方案动态匹配期望背景构建, exactly 如上一章修正设计所要求——而它用全局分值偏移做。远端材料改变它所在位置的期望构建;控制器补偿;补偿施加于一切,包括探针附近。
远端材料
↓
全局期望构建改变
↓
校准偏移改变
↓
局域概率轻微移动
上一章发现全局计算机制能耦合空间分离区域。这里同样结构高一层出现:我们自己的实验控制器成为物理上隔开的区域之间的耦合通道。全局作用的补偿器按构造就是它所触及的一切之间的通路。
那不是材料的属性。是仪器的属性,它意味着远端臂不是自动 assumed 的干净零假设。
修实验,不修假设
三处修正,每个科学参数冻结——同样增益、同样半衰期、同样历史年龄、同样视界、同样效应门限。什么都没调。这些是构造有效性修复。
干预。阻止现在滞后一显式封锁 x;强制显式让它含 x 做一次完整因果生长暴露。滞后一生长与损失后,x 从强制和阻止两条分支都被移除并断言缺席。从滞后二起,两条分支回到普通动力学。
**对照。**V2 保留全局动态构建匹配控制器,所以控制器仍是实验仪器的一部分。修复因此不是假装远端自动与它隔离。
相反,远端携带者在基线对前沿的影响上与可及携带者匹配:相邻前沿细胞数 exactly 相同,总基线附着概率质量在冻结 0.05 容差内匹配,同时仍在十二步直接局域范围之外。
修复后,远端减擦除即时差异降到约 8.2 × 10⁻⁵。
所以控制器介导的泄漏在该度量上滞后一可忽略。
同一 V2 运行还含有十二步远端对擦除次要对照:
远端 − 擦除
ΔG_RB ≈ −0.052
95% CI ≈ [−0.213, +0.051]
该区间跨零,但其已实现 MDE80 约 0.172 超过冻结 ±0.15 尺度,所以即使远端真是零效应臂,实验在全视界上也不能把它 certify 为实际零假设。
所以远端不应被提升为已证零效应臂。
它是主要实验所声明的匹配比较器:等量材料质量、一致可见占据几何、无直接局域材料路线、背景前沿影响紧密匹配。
三个对比至少互洽。可及减擦除为 −0.450,区间 [−0.705, −0.227],接近可及减远端与远端减擦除差异之和。那是算术而非证据,但加不上的分解会是警示。
主要估计对象仍是:
可及 − 远端
在这个校准实验状态下。
**估计器。**已实现十二步附着差异噪声大——伯努利结果之和测小效应。所以主要量变成每个滞后期望局域因果差异在视界上加总:
在每个滞后,强制与阻止概率在各自已实现当前状态上评估。分支因此可经由实际随机事件获得不同占据、材料和前沿几何。
期望只替代每个已实现状态上构建机会的最后伯努利测量。它不替代轨迹。
次要已实现估计器是同一局域支撑、同一视界上实际附着数的相应十二步累积差异,同样排除 x。
这值得小心说清,因为容易误读。两条分支仍经由实际随机事件演化——细胞附着、细胞丢失、几何分叉、材料衰减。期望只用于比每个候选掷一次硬币更精确地测量每个已实现状态上的因果差异。已实现结果保留为次要检查。
修正运行用了 192 组和 564 个受支持探针,通过了每个有效门:组覆盖、动态匹配、总体匹配、干预断言、远端携带者匹配。只有那之后,解释才值得。
即时效应复现
ΔE₁(可及 − 远端)= −0.01499 95% CI [−0.01725, −0.01281]
同号,大小略小——即时隐藏状态调制在修正干预与对照设计后存活。
所以敏感度降低不是坏阻止语义的人工产物,不是旧远端放置的人工产物,也不是校准泄漏。在可见几何匹配、干预正确实现下,隐藏材料状态改变同一扰动的即时因果响应。
稍后的未来也变了
十二次更新上:
ΔG_RB = −0.397 95% CI [−0.679, −0.119]
ΔG_已实现 ≈ −0.357 95% CI [−0.673, −0.040]
期望估计器与更噪声的已实现估计器在方向和粗大小上一致。
在修正的动态校准方案下,局域可及隐藏材料比放在匹配远端路线上的等量隐藏材料产生更负的十二步强制减阻止后果。
两个估计器都支持这个方向。
实验没有确立远端本身是零效应臂,也还没确立预先声明的最小效应大小。
而冻结决策规则在这里做了 loose 方案会滑过去的事。
方向不是大小
预先声明的最小感兴趣效应是 ±0.15。结果干净分开两个问题,对期望估计器:
均值 −0.397
95% CI [−0.679, −0.119]
区间整个在零之下,所以负方向受支持。
但其上端点 −0.119 仍包含大小小于 0.15 的效应。区间因此没有确立预先声明的最小大小。
冻结方案还要求足够的前瞻精度,那个门也没过:
已实现 MDE80 ≈ 0.357
要求 ≤ 0.150
所以下面是相容的陈述:
方向
受支持(SUPPORTED)
预先声明最小大小
未分辨(UNRESOLVED)
把整个假设叫受支持(SUPPORTED),会宣称实验没分辨的最小大小。
把整个结果叫无结论(INCONCLUSIVE),会丢掉期望与已实现估计器独立支持的方向性结果。
冻结主要裁决仍是 未分辨(UNRESOLVED),而负方向是关于该结果的确立次要陈述。
痕迹消退而差异生长
现在问主要检验不答的问题。
材料衰减。因果差异累积。后来的效应是否正比于还剩多少材料——材料持续,材料继续推,效应持续?
观察轨迹不支持那种简单正比剂量解释。
痕迹起始总质量约 1.414。它在滞后 4 附近跌到一半以下。在前一滞后,累积期望因果差异只有:
−0.0995
对照最终十二步值:
−0.3972
所以最终因果差异约 75% 累积在材料已跌到起始质量一半以下之后。
痕迹在滞后 8 附近跌到四分之一以下。在那之后,又累积 −0.141——约最终效应的 36%,在痕迹已失去四分之三强度之后。
按描述性 epochs 切分:
早期 滞后 1–4 −0.120
中期 滞后 5–8 −0.158
后期 滞后 9–12 −0.119
描述性地,累积效应不限于痕迹最强的时期。
中期贡献至少不小于早期,尽管原始材料痕迹已大幅减弱。
后期仍平均贡献,那时平均可及材料已降到约 0.183。其区间包含零,所以这仍是对轨迹的描述,而不是单独的确证结果。
逐滞后增量对同期材料质量的回归指向同一方向,但其行是组-滞后,不独立,所以在台账中只记为描述性,在此不承重。
收尾诊断没有确立材料量无关。材料状态造成了初始敏感度差异,实验没有把残余材料成分与轨迹介导成分分开。
更窄的描述性结论是:
观察到的时间过程不像后来因果增量只跟踪瞬时剩余材料量的简单模型。
轨迹重定向解释
材料衰减分析留下提示性模式:原始痕迹减弱后仍累积可观累积差异,而简单同期材料质量诊断不好跟踪增量。
一种 plausible 因果解释是:
隐藏材料状态
↓
改变即时因果敏感度
↓
改变发生哪些构建事件
↓
改变的事件改变稍后几何与状态
↓
稍后几何改变扰动后果能做什么
↓
原始痕迹衰减中因果差异继续累积
一种 plausible 解释是早期隐藏状态调制改变构建事件,那些事件改变稍后几何与状态,那些改变的状态再贡献后续分歧。
但这是对时间过程的解释,不是中介结果。
实验没有把后来差异分成:
剩余痕迹的继续作用
对
已嵌入改变下游状态的后果
两者都可能贡献,但直接测到的更窄:
累积因果差异在原始材料痕迹大幅减弱后继续变化。
该模式与轨迹重定向一致,但它不是测到的因果影响从痕迹转移到新载体的过程。没有跟踪任何东西从一种表示搬到另一种表示。
早期草稿把这叫材料状态轨迹重定向。标签不如对断言的边界重要:轨迹重定向是对观察时间模式的 plausible 解释,不是独立分离的因果通道。
被隐藏状态条件化不是读过去
这是实验真正挣得的区分,它重构了几次早期失败。
《晶体获得过去》一章确立了过去可以因果有后果而不留下可恢复为稳定历史签名的过去。
《经验能改变材料吗?》一章走得更远:即使持久、可及、空间可区分的痕迹,也没能对共同挑战产生所要求的差异响应。
那些章节把我们起初当作一个的几个问题分开:
过去留下后果了吗?
过去能被区分吗?
当前能差异化使用那个后果吗?
本章问先决问题并得到肯定答案:如果系统含有被检验种类的隐藏状态差异,即使可见占据几何不变,这种差异也能改变其因果响应。
实验没有确立晶体从自己的过去生成了那种状态。
记录式路线 状态条件化路线
过去 过去
↓ ↓
存储表示 改变敏感度
↓ ↓
稍后读取 改变事件
↓ ↓
行为取决于过去 改变稍后状态
↓
行为取决于过去
真正的历史依赖系统原则上可用任一路。
只有第一条要求稍后能作为早先事件记录读取的表示。
本实验确立第二条路的因果充分性先决条件:
隐藏状态不必作为记录可读,就能改变未来响应。
晶体能否从自己的历史生成这种状态,仍是分离的问题。
别叫它记忆
诱惑很明显。有隐藏状态。它改变稍后响应。其后果比痕迹的大部分活得久。为什么不是记忆?
因为状态是我们写的。它由实验放置,不是晶体获得的。这里没有任何东西编码任何东西、选择保留什么、读取任何东西、重构过去事件、区分历史,或在任何事情上改进。
已证的是更原始的因果能力:
实验写入的隐藏状态
↓
因果响应调制
↓
下游轨迹差异
要变成内生历史依赖,晶体还必须从自己的先前动力学生成相关的隐藏状态差异。
更强的记忆断言需要额外机器或证据:内生编码、保留、辨别、读取,或存储历史的某种其他已证使用。
《经验能改变材料吗?》一章的失败提醒还有多远:留下可区分痕迹的两个历史仍没对共同挑战产生差异响应。这里响应确不同,但实验故意把隐藏材料放在进入局域因果机制的位置,并与放在该路线之外的匹配材料比较。
晶体没有自己发现或编码那种放置。
同样理由,小心经验这个词。本实验建模的是候选保留材料痕迹的因果效应。它没有建模晶体经历经验并把经验编码进痕迹。
实验注记
**状态匹配。**可及、远端和擦除由同一检查点对象构建:一致占据集、出生时间图、步数、流种子和探针。臂之间只在哪些已占据细胞携带隐藏标量上不同。不移动、不增删任何占据细胞。等量初始材料质量在构造时断言。
材料动力学。
增益 g_m 0.30,加到附着分值上
半衰期 6 次更新
t0 处历史年龄 3 次更新
携带者 2
初始质量 ≈ 1.414(每携带者 ≈ 0.707)
无继承,无扩散,无转移
材料随携带者死亡
**臂。**可及把携带者放在探针附近,永远包含 x 唯一的占据邻居。远端把等量质量放在 视界 + 裕量 之外,在 exact 相邻前沿数和基线相邻前沿概率质量上与可及携带者匹配,冻结 0.05 容差内。擦除无携带。远端匹配结果盲,在检查任何结果前做。评估三臂都是真正无界,去掉上一章的有限选择器路由。
**校准保持活跃。**V2 不去掉全局构建匹配。专用擦除阻止轨迹在每个滞后定义目标期望附着。可及和远端各自在自己当前阻止状态上求解一个加性偏移,使期望总附着对上目标;同一求解偏移施加于强制,强制从不单独归一化。偏移作用于附着分值,logistic 之前。
干预。
滞后 1 强制含 x 做一次完整因果生长暴露
阻止在评估前把 x 从前沿移除
滞后 1 生长与损失后
x 从两条分支都被移除,断言缺席
滞后 2 起 普通动力学;允许自然重占据
x 排除在所有被测结果之外
**估计器。**局域支撑 L 为 1 ≤ d(x,y) ≤ 12,排除 x。
Δ_t = Σ_{y∈L} [ p_强制(y,t) − p_阻止(y,t) ]
G_RB = Σ_{t=1..12} Δ_t
已实现 = 同一支撑与视界上累积强制减阻止
实际附着数差异
概率在每条分支每个滞后自己的已实现状态上评估。轨迹保持完全随机;期望只替代最后伯努利测量。
**估计对象。**主要:G_RB(可及) − G_RB(远端)。次要:已实现版本,以及远端 − 擦除对照。
尺度与精度。
组 192
受支持探针 564
组覆盖 1.00(要求 ≥ 0.90)
记录水平匹配 1.00(要求 ≥ 0.95,在 2% 内)
每个臂 × 滞后均值 在 2% 内
干预断言 通过
远端匹配 通过
SEI ±0.15 个附着
MDE80 80% power 下单侧最小可检效应;
冻结规则要求 MDE80 ≤ 0.15 才算受支持
统计单位 组;自举百分位区间
**纯分析诊断。**V1 构造有效性审计和 V2 痕迹衰减收尾是对已有样本的分析。两者都不是确证实验,都不改变冻结 V2 主要状态。
证据台账
| 断言 | 状态 | 证据 |
|---|---|---|
| 隐藏材料在匹配可见几何下改变即时因果响应 | 受支持(SUPPORTED) | ΔE₁ = −0.01499,CI [−0.01725, −0.01281] |
| 即时工作点机制 | 与 V1 机制审计一致;V2 符号被复现(CONSISTENT WITH V1 MECHANISM AUDIT; V2 SIGN REPLICATED) | V1 共享候选饱和贡献 −0.01814,总数 −0.01930;修正 V2 复现负 ΔE₁ 但不独立重复候选水平分解 |
| 响应规则本身改变 | 未断言(NOT CLAIMED) | logistic 未变;只移动了工作点 |
| 下游十二步效应为负 | 受支持(SUPPORTED) | ΔG_RB = −0.397 与 ΔG_已实现 ≈ −0.357,都排除零 |
下游效应达到预先声明 ±0.15 最小大小 |
未分辨(UNRESOLVED) | CI [−0.679, −0.119] 包含大小小于 0.15 的负效应;冻结 MDE80 ≈ 0.357 也超过 0.15 精度要求 |
| 第一次实验的下游结果 | 无效(INVALID) | 阻止允许自然附着;污染与处理相关(0.428 对 0.377 / 0.378) |
第一次实验的即时 ΔE₁ 仍可解释 |
受支持(SUPPORTED) | 在被污染生长步之前从分支概率算出,排除 x |
| 远端是全十二步视界上已证零效应比较器 | 未确立(NOT ESTABLISHED) | 匹配 V2 远端−擦除 ΔE₁ ≈ 8.2 × 10⁻⁵,但十二步 ΔG_RB ≈ −0.052,CI [−0.213, +0.051],MDE80 ≈ 0.172 超过 ±0.15 尺度;远端仍是冻结匹配比较器,不是已证零效应臂 |
| V1 远端放置被全局校准污染 | 对照失败;V2 已修正(FAILED CONTROL; CORRECTED IN V2) | V2 在相邻前沿数与基线前沿概率质量上匹配远端携带者,同时保留直接因果分离 |
| 累积差异在痕迹大幅减弱后继续变化 | 描述性受支持(DESCRIPTIVELY SUPPORTED) | 约 75% 最终 G_RB 在半质量阈值后累积,约 36% 在四分之一质量阈值后;仅收尾分析 |
| 简单同期材料质量跟踪解释后来增量 | 未确立——仅描述性(NOT ESTABLISHED — DESCRIPTIVE ONLY) | epoch 贡献 −0.120 / −0.158 / −0.119 不跟踪衰减质量;支撑回归用非独立组-滞后行,只作描述 |
| 轨迹介导成分独立分离于残余材料作用 | 未确立(NOT ESTABLISHED) | 收尾没做中介分解 |
| 晶体从自己先前动力学生成被检验隐藏状态 | 未检验(NOT TESTED) | 可及与远端材料放置由实验写入 |
| 材料量无关 | 未断言(NOT CLAIMED) | 材料造成了初始敏感度移动 |
| 记忆、学习、适应、回忆、经验编码 | 未确立(NOT ESTABLISHED) | 隐藏状态由实验写入 |
| 历史依赖重定向是一般基质属性 | 未断言(NOT CLAIMED) | 一种机制、一种增益、一种半衰期、十二次更新视界 |
这种状态条件化过程终点在哪?
我们现在确立了早前章节没有的东西:在可见几何匹配下,实验写入的隐藏材料状态能改变对同一扰动的响应,而在修正 V2 样本中,累积因果差异在该材料痕迹大幅减弱后继续变化。
那还不是记忆。它是已证的隐藏状态因果响应加描述性轨迹结果——要叫内生历史依赖,晶体还必须从自己的过去生成相关的隐藏状态,而没有证实读取或历史特异解码。
这 sharpen 了本书两次留下的问题。《这里真的存在一个东西吗?》一章在连通晶体周围寻找享有特权的边界,失败了两次:没有尺度显示超出家族零假设的超额预测一致性,候选外边界局域化因果效应并不比故意画在内部的任意圆更好。留下来的是空间因果局域性——后果留在原因附近——这对任何局域场都对,关于个体什么也没确立。但那章检验的区域主要按几何定义,而我们现在有了更好的实验目标:不问区域是否因轮廓像客体而特殊,问源于其内的扰动是否优先被收容在那里——以及源于其外的扰动是否更少穿透——超出几何 alone 的预测。这重开了边界问题,而不事先假设有个客体、过程或个体等着被找到。
是否存在因果收容超出其几何 alone 预测的区域?