约束容器
观测账本如何变成它看似所在的房间
迟到的房间
通常的想象从房间开始.
先有房间, 再把家具放进去, 再有人在里面走动. 物理学也常被这样想象: 先有一个时空容器, 再有物体和场, 最后才有观测. 数学也常被这样想象: 先有集合、空间、类型或 Hilbert 空间, 再有元素在里面运动.
BEDC 把这幅图倒过来.
房间常常是最后才到的.
起初只有脚印、地板上的划痕、还没画出的墙传回的回声、不同灯光下仍能互相吻合的影子, 以及许多次无法穿过某个地方的失败. 房间是这些约束的稳定压缩. 当足够多的不相容叙事被排除之后, 剩下的形状得到一个名字: 房间.
✗ "世界先是一个容器, 观测被放在里面."在这里不是. 观测先在表面上积累. 约束把表面绑紧. 不变量在绑定中存活. 当这些不变量足够稳定, 可以反过来治理后续观测时, 容器才出现.
容器不是装过数据的盒子. 容器是数据逼出的盒状纪律.
河床
干旱时, 河床看起来比河更古老. 它像是先被挖好, 水只是沿着它流过. 但河床也是水流的记忆: 转弯、堤岸、沙洲、切口、沉积和拒绝.
观测也是这样.
一条记录是一滴水. 一个 ledger 是一季雨. 一个约束是河岸, 它规定哪些水流可以共同延续. 足够多的流动会刻出河道. 河道稳定之后, 后来的水就像一直应该这样流.
容器的权威也是这样来的. 它不是原始权威, 而是被反复使用出来的权威.
三维视觉世界并不直接出现在一帧视网膜图像中. 一开始出现的是颜色和运动的薄片, 带着深度线索、头动视差、遮挡、触觉、对象连续性、行动可达性和其他历史的压力. 这些压力刻出一个空间河道. 河道稳定之后, 杯子可以”在桌上”, 门可以”在椅子后面”. 空间之所以像容器, 是因为约束已经取得了作为容器被使用的资格.
织机
织机通过拒绝任意交叉来织布.
梭子一趟一趟穿过. 每一趟都很小, 只是一条线. 但经线已经给出纪律: 有些交叉允许, 有些交叉不可能, 图案只因为线不能随心所欲才变得可见.
观测 ledger 就是这样的织机.
一次钟读数是一根线. 一次光信号是另一根线. 自由落体路径、粒子点击、干涉条纹、 对称操作、速率界限、失败预测, 都是更多的线. 面向世界的问题不是每根线能否写下, 而是哪块布能够同时承受所有这些线而不撕裂.
当布承受住了, 它可以被命名为几何.
但名字不能抹掉织机. 一个几何只有连同 probe 类、容差、gauge 自由、分离测试、 剩余 gap 和审计行一起出现时, 才是被许可的. 否则就会把布误认为天空.
会发号施令的地图
地图一开始是仆人. 它接收路径、地标、距离、渡口和走不通的路线. 它压缩世界.
然后某件事发生了. 好地图会开始命令行动. 它告诉旅人哪条路可走, 哪个山谷天黑前过不去, 如果两个村庄都可达, 哪座桥必须存在.
这就是容器转向.
几何一开始是记录的压缩. 后来它变成可接受延续的规则. 它说明哪些后续记录可以接入而不破坏 ledger, 哪些声称已经落在边界之外.
所以容器不是经验之前建好的牢笼. 它是可能延续的公共形状: 从经验中蒸馏出来, 又被用来检验经验.
钟的城市
广义相对论常被画成橡皮膜, 或者四维块宇宙. 这些图像有用, 但它们容易偷渡一个上帝视角的舞台.
在 ledger 图像里, 相对论首先是一座钟的城市.
每个观察者携带一只小钟、一个小框架、本地光信号、附近自由落体记录, 以及与其他观察者的交会记录. 城市上方没有一座塔钟可以为所有人规定时间. 也没有一个阳台可以从 nowhere 看完整座城.
但城市不是混乱. 信使会相遇. 光信号限制因果可达性. 自由落体路径会相容或不相容. 沿闭合路径运输会留下 discrepancy. 本地框架可以变换, 而公共 ledger 可审计的东西保持不变.
面向时空的容器, 是这些钟、光、因果、路线、转移和曲率 ledger 的不变量压缩. 以”我”为中心的坐标系是合法界面选择, 但它是 gauge, 不是王权. 公共几何是在本地界面之间翻译后仍能存活的东西.
这样读, 广义相对论不是预先给定 host container 的理论. 它是本地物理 ledger 之间的最小相容几何.
问题构成的房间
量子力学用另一套家具强迫同一个反转.
量子态不是藏在盒子里的弹珠. 它更像一间由纪律化提问慢慢确定形状的房间. 制备、结果权重、不相容测量语境、干涉、对称性、复合规则和状态读回 ledger 并不是 Hilbert 空间的装饰. 它们逼出后来仿佛容纳它们的 Hilbert / projective / operator-facing 容器.
向量的相位像乐曲所用的调: 在被许可的方式下换调, 公共旋律仍然保持. 基底像切向同一大厅的一组窗. 投影是一扇门, 一个问题通过它成为事件. Born 概率是从这扇门返回的光量.
因此 Hilbert 容器不是空洞魔术. 它是制备、测量、概率、干涉、对称、复合和 读回约束的严格压缩, 并且只能输出到这些约束看不见的表示自由为止.
边界
这篇 dossier 不声称:
\[ \mathrm{BEDC}\Rightarrow \mathrm{GR} \qquad\text{或}\qquad \mathrm{BEDC}\Rightarrow \mathrm{QM}. \]
那是错误类型的句子.
有纪律的句子是:
\[ \mathrm{BEDC} + \Lambda_{\mathrm{obs}} + \mathcal G_{\mathrm{admissible}} + \mathcal P_{\mathrm{audited}} \Longrightarrow [\Gamma]_{\mathrm{gauge}}. \]
空内核不会宣布一个物理世界. 观测 ledger、候选类、probe 类、实现行、 分离行、gauge 行、最小性行和剩余 gap 行, 可以把几何逼迫到观测等价类.
这没有那么神秘, 但更强. 它说明究竟许可了什么, 商掉了什么, 以及 gap 精确留在哪里.
严格数学形式
令 \(X\) 为来源承载. 对每个显示 probe \(p\), 令 \[ O_p:X\to Y_p \] 为读出映射, 其读出分类器为 \(\sim_p\), 容差为 \(\epsilon_p\). 有限观测 ledger 是 \[ \Lambda_n=\{(p_i,o_i,\epsilon_i)\}_{i\le n}. \]
由该 ledger 生成的可观测结构是 \[ \Sigma_n=\sigma(O_{p_1},\dots,O_{p_n}). \]
定义观测不可区分关系: \[ x\equiv_n y \Longleftrightarrow O_{p_i}(x)\sim_{p_i}O_{p_i}(y) \quad\text{对所有 }i\le n. \]
当前观测商为 \[ Q_n=X/\equiv_n. \]
如果再接入一个 probe, 则 \[ \Sigma_n\subseteq \Sigma_{n+1}, \qquad \equiv_{n+1}\subseteq \equiv_n, \] 所以 \(Q_{n+1}\) 细化 \(Q_n\).
令 \(\mathcal G\) 为声明的候选几何类. 候选 \(\Gamma\in\mathcal G\) 实现 \(\Lambda_n\), 记作 \[ \Gamma\models_\epsilon\Lambda_n, \] 当且仅当每条记录都落入显示容差: \[ d_i\bigl(\operatorname{Pred}_\Gamma(p_i),o_i\bigr)\le \epsilon_i \quad\text{对所有 }i\le n. \]
幸存候选类为 \[ \mathfrak C_n = \{\Gamma\in\mathcal G\mid \Gamma\models_\epsilon\Lambda_n\}. \]
ledger 扩展会收缩候选: \[ \mathfrak C_{n+1} = \mathfrak C_n \cap \{\Gamma\in\mathcal G\mid d_{n+1}(\operatorname{Pred}_\Gamma(p_{n+1}),o_{n+1}) \le \epsilon_{n+1}\}, \] 因此 \[ \mathfrak C_{n+1}\subseteq \mathfrak C_n. \]
对已审计 probe 族 \(\mathcal P\), 定义候选之间的观测等价: \[ \Gamma\sim_{\Lambda,\mathcal P}\Delta \Longleftrightarrow \operatorname{Pred}_\Gamma(p) \sim_p \operatorname{Pred}_\Delta(p) \quad\text{对所有 }p\in\mathcal P, \] 并且商去所有保持已审计读出的显示 gauge 或表示变换.
几何逼迫判断是 \[ \Lambda\Vdash_{\mathcal G,\mathcal P}[\Gamma] \] 当且仅当 \[ \Gamma\in\mathfrak C_\infty \quad\text{并且}\quad \forall \Delta\in\mathfrak C_\infty, \Delta\sim_{\Lambda,\mathcal P}\Gamma. \]
约束容器是派生 packet \[ \mathcal K_\Lambda = (Q_\Lambda,\mathfrak C_\Lambda, \operatorname{Inv}_\Lambda, \operatorname{Trans}_\Lambda, \operatorname{Gauge}_\Lambda, \operatorname{Gap}_\Lambda, \operatorname{Audit}_\Lambda). \]
当 \[ \mathfrak C_\Lambda\subseteq[\Gamma]_{\mathrm{gauge}} \] 且不变量、运输、预测、gap 与审计行足够稳定, 能够治理后续记录时, \(\mathcal K_\Lambda\) 被许可为容器. 压缩地说: \[ \begin{gathered} \text{观测面} \longrightarrow \text{ledger} \longrightarrow \text{constraints} \longrightarrow \text{surviving candidates} \longrightarrow \text{invariants}\\ \longrightarrow \text{gauge class} \longrightarrow \text{constraint container}. \end{gathered} \]
对相对论 ledger \[ \Lambda_{\mathrm{GR}} = (\prec,\tau,\ell,\gamma,\operatorname{Hol},T,A), \] 其中 \(\prec\) 记录因果先后, \(\tau\) 记录本地钟读数, \(\ell\) 记录光信号, \(\gamma\) 记录自由落体路线, \(\operatorname{Hol}\) 记录运输 discrepancy, \(T\) 记录面向能量动量的行, \(A\) 记录审计边界. 若所有非等价候选都被已审计 probe 分离, 则被许可的结论形如 \[ \Lambda_{\mathrm{GR}} \Vdash_{\mathcal G_{\mathrm{rel}},\mathcal P_{\mathrm{rel}}} [(M,g,\nabla,R)]_{\mathrm{Diff}}. \] 这是到微分同胚或 gauge 为止的 Lorentzian-facing bridge, 不是 primitive host spacetime.
对量子 ledger \[ \Lambda_{\mathrm{QM}} = (\operatorname{Prep},\operatorname{Meas},\operatorname{Prob}, \operatorname{Interf},\operatorname{Sym},\operatorname{Comp}, \operatorname{Update},A), \] 若制备、测量、概率、干涉、对称、复合与读回 probe 排除了所有非等价替代, 则被许可的结论形如 \[ \Lambda_{\mathrm{QM}} \Vdash_{\mathcal G_{\mathrm{qm}},\mathcal P_{\mathrm{qm}}} [(H,\mathbb P(H),\operatorname{Obs},\operatorname{Born})]_{\mathrm{rep}}. \] 这是到 phase、basis、unitary 或表示自由为止的 Hilbert / projective / operator-facing bridge, 不是 primitive hidden quantum container.
因此: \[ \boxed{ \text{Container} = \text{stabilized closure of observational constraints, up to gauge.} } \]