门理论——门、邻域与 δ
一套自成一体的小理论,讲清楚门(gate)究竟是什么、为什么有效、以及它是如何变软的——是从 stages-and-gates 通向 relaxation、通向 harness 收敛性的一座桥梁。
浓缩为五步
- gates-are-necessary-conditions ——一个健全的门是成功的必要条件:
gate ⊆ ∩(success trajectories),所以它绝不会误杀真正的赢家(是漏斗,不是隧道)。但只对高置信度核心取交集——剔除那些侥幸成功的极端情形(容差α),这样反而扩大了可用的必要条件集合。 - gates-are-neighborhoods ——一旦软化,门就不再是一个点,而是一个δ-邻域("足够接近即可")。用 δ 加粗后的成功轨迹束是一根管道;门是它的横截面,每个横截面都有自己的 δ;δ 收缩即是收敛。
- gate-deviation-is-observable-delta ——门是让 δ 变得可观测的仪器:偏离即触发警报,而 δ 的大小/趋势区分出可恢复的余量(
k<1)与发散(k≥1)。 - 两个旋钮,都标价于 P×C ——空间容差 δ 与置信度容差 α;收紧任意一个都要多花 P×C。
- 极限情形是
δ→0, α→0——即精确的逻辑门;现实中两者都保持为正。这正是 relaxation 那颗北极星的具体化。 - honest-caveats ——它可能失效之处:代理指标/古德哈特效应、容差的复合、相关性误差。
- gate-subsumption ——什么时候通过 A 就能跳过 B:kill-set 的包含关系、构建缓存失效、可能出错的步骤会重置管道、门的放置位置等价于加权集合覆盖。
- gates-with-margins ——门返回的是余量(STL 鲁棒性),而不是布尔值:在真正违反之前先看趋势,看残差
k̂还需要多少,取最小值的组合方式能找出最薄弱的一环。
一句话
门是可靠(
≥1−α)成功路径上某个必要途经点周围的一个 δ-邻域;偏离让 δ 变得可观测;δ 和α都要用 P×C 购买;收敛就是管道的横截面不断向目标收缩。