延迟选择交换：后来的标签，先前的记录

先画时序，再讲故事

Ma 等人在 2012 年先记录外侧光子，再随机选择中央光子的分析器设置并测量。光纤延迟与快速可调分析器建立了顺序；论文把后来的选择安排在早先探测事件的类时未来。

论文报告外侧路径含七米光纤，中央光子含 104 米延迟。长度属于同时包含切换和登记区间的完整时序设计，单纯相减不能独立证明时空结论；延迟选择也不意味着类空间隔。

中央站可以选择 Bell 态分析或可分偏振分析。它的设置与结果为已经保存的外侧记录提供分组标签，相应子集表现不同条件关联，并不要求修改先前探测文件。

固定外侧设置后，用下式两个小写字母表示外侧结果，第三个表示中央结果，末尾字母表示中央选择。对全部中央结果求和恢复未分组分布；理想模型中该边缘分布与后来的选择无关。有损失时，还要把漏检作为完整结果类别纳入。

\begin{gathered}\sum_c P(a,b,c\mid y)=P(a,b)\\[4pt]P(a,b\mid c,y)=\frac{P(a,b,c\mid y)}{P(c\mid y)}\end{gathered}

对两个理想正号 Bell 输入对，中央四种 Bell 结果等概率。在外侧水平竖直基底中，两种标签选出同向结果，另外两种选出反向结果。每种标签都有确定关联模式，但未分组表中四种结果对仍等概率。

设虚拟账本有四百次理想试次，每种中央标签一百次，合并后的外侧表每格一百次。分组改变的是哪些格子贡献给子集，而没有改写任何结果。中央和外侧测量作用于不同子系统，因此先计算外侧测量时，同一论证仍成立。

实验比较三个互补偏振基底中的关联，并使用 Bell 态保真度见证。任意可分双比特态与指定最大纠缠 Bell 态的重叠都不超过二分之一，因此在已标定测量模型下，超过此界足以支持纠缠。

修正后的见证是半个单位算符减去目标 Bell 投影，其期望值在目标保真度超过二分之一时为负。非负结果却不能证明可分：纠缠态也可能与特定目标重叠很小。期刊的修正记录，使这里的符号核对尤其必要。

外侧站点要通过普通经典信道取得中央标签，才能恢复条件子集。在标签到达之前，文件只含相同的未分组统计；后选设置无法把指定消息写进较早站点的本地数据。

可审计的记录应保留时间戳、基底选择、全部结果类别和事件匹配规则，否则子集速率变化可能被误认为无条件分布变化。无信号约束的是完整边缘分布，并不是要求所有后选择曲线都不变。

延迟选择结果在严格时序安排中检验条件量子预言，但单独这个结果不裁定量子诠释、不演示可控逆因果，也不认证无漏洞 Bell 实验。这些结论各有额外条件。

量子擦除 Lab 提供互补事件分组的相关练习，其场景并非这套四光子装置。初始对的说明见交换文章，依赖标定的推断见层析文章。问题始终具体：完整保存了什么记录，后来的哪个标签才使条件陈述成为可能？