论文
封闭模式是一种标准选择:与认证代码世界模型中的范围相关的拓扑
An Enclosed Mode Is a Gauge Choice: Topology Relative to Reach in Certified Code World Models
摘要
采样门接受的代码世界模型对于采样门可以看到的所有内容都可能是完全正确的,而在其之外可能是任意错误的。我们描述了经过认证的模型可以知道什么,以及当遗漏是封闭了无法到达的内部的环形冻结模式时,其错误可能会付出什么代价。门商使问题变得精确:确定性接受准确地确定了可达查询集上的模型;遥不可及的是衡量标准。在最小环形仪器上,我们证明了极端情况(任何采样门都无法证伪且按位无害的错误拓扑填充盘伪影),并通过跨三个模型系列的 LLM 综合来测量一个旋钮(宽度伽玛通道)如何使同一伪影经历三种状态:不可证伪且无害、可证伪且昂贵以及立即证伪。三个原则组织了经验。首先,危险在于相对于到达范围的拓扑:规划者可以使用的通道会破坏盲模型的利用(在 gamma ~ 0.1 下,游戏成本从 1.09 降至 ~0),而具有相同第一个 Betti 数的隐藏通道使其保持完整强度 (1.12)。其次,修复是受参数和传感器限制的:没有家庭能够从外部证据中恢复该区域;从内部来看,模型提出了正确的拓扑,但无法固定其参数,并且所提出的拓扑跟踪指导持久同源摘要的错误 beta_1(具有测量的几何分辨率极限的传感器),而不是事实。第三,缓解措施必须与错误的维度和方向相匹配:点围栏在一维边界上失败,维度匹配的持久围栏将利用崩溃为两课瞬态(0.999至0.058),双自由证书对称地崩溃了发明模式故障(1.769至0.029)。在 n 维中,外壳几乎肯定会导致错误识别,而危险仍然可以充分利用:两个轴是独立的。