4. 实验设计总体框架

贝尔不等式实验并不是“测两个数、比一个大小”的简单操作，而是一条从量子态制备到统计判决的完整链路。任何一环出现偏差，都可能把真实的量子关联伪装成经典关联，或者反过来把系统误差误判为量子非定域性。因此，在动手搭建之前，必须先建立端到端的实验流程框架，明确每个环节的输入、输出和关键指标。

整条链路可以概括为四个阶段：纠缠源制备 → 测量基选择 → 符合计数 → 统计检验。下面按数据流方向逐一展开，并在最后给出一个可执行的实验记录表模板。

一、纠缠源制备：先确认“源是好的”

贝尔实验的起点是产生一对纠缠粒子。以最常用的自发参量下转换（SPDC）为例：泵浦激光（如 405 nm 连续光）入射到非线性晶体（如 BBO），以一定概率产生一对 810 nm 光子，分别称为信号光和闲频光。通过调节晶体的相位匹配条件，可以制备偏振纠缠态，典型形式为：

|Φ⁺⟩ = (|HH⟩ + |VV⟩) / √2

在进入正式测量之前，必须对源做两项预检。第一是保真度：用层析或干涉方法测量实际态与目标态的接近程度，通常要求 F > 0.95 才具备做贝尔实验的价值。第二是产率与偶然符合比：记录单路计数率和符合计数率，若偶然符合占比过高，后续 S 值会被严重压低。一个合理的教学示例参数是：单路计数约 5×10⁴ s⁻¹，符合计数约 2×10³ s⁻¹，偶然符合占比控制在 5% 以内。

二、测量基选择：CHSH 角度配置

CHSH 形式使用四个测量基：A 侧的 a、a′，B 侧的 b、b′。在偏振实验中，它们对应四组波片角度。理论最优配置为：a = 0°，a′ = 45°，b = 22.5°，b′ = 67.5°。此时量子力学预言 S = 2√2 ≈ 2.828，而经典局域实在论要求 S ≤ 2。

实际操作中，角度误差是主要系统误差来源之一。波片旋转台的角分辨率通常为 0.1°～0.5°，若角度偏差达到 1°，S 值可能下降 0.02～0.05。因此，在正式采集前应使用消光法标定每个波片的零位，并记录角度回程差。此外，测量基的切换必须随机化，避免因固定顺序引入与时间相关的系统漂移。

三、符合计数：把“同时到达”变成数字

符合计数单元接收来自两个探测器的电脉冲，在设定的时间窗口 Δt 内判断是否“同时”到达。Δt 的选择需要权衡：太小会漏掉真实符合，太大会引入大量偶然符合。对于 SPDC 源，典型 Δt 取 1～5 ns，具体取决于探测器的时间抖动和电子学带宽。

每个测量基组合 (α, β) 需要记录四个量：N₊₊、N₊₋、N₋₊、N₋₋，分别对应两侧探测器“+”“−”结果的符合计数。由此计算关联函数：

E(α, β) = (N++ + N−− − N+− − N−+) / (N++ + N−− + N+− + N−+)

然后构造 CHSH 参数：

S = E(a, b) − E(a, b′) + E(a′, b) + E(a′, b′)

注意符号约定：本文采用“同号为正、异号为负”的定义，即 E = (N_同 − N_异) / N_总。若采用相反符号约定，S 的表达式需相应调整，但判决阈值不变。

四、统计检验：从计数到结论

得到 S 值后，不能只看它是否大于 2，还要评估统计显著性。假设总符合计数为 N，S 的标准误差近似为 σ_S ≈ 2/√N。例如 N = 10⁴ 时，σ_S ≈ 0.02；若测得 S = 2.70，则偏离经典界限约 35 个标准差，结论非常稳健。反之，若 N 只有 100，σ_S ≈ 0.2，S = 2.1 的显著性仅约 0.5σ，不足以宣称违反贝尔不等式。

此外，还需要做偶然符合扣除和系统误差评估。偶然符合的贡献可以从单路计数率估算：N_acc ≈ R_A · R_B · Δt。若扣除后 S 值仍显著大于 2，结论才可靠。

五、可执行的实验记录表模板

下表可直接用于记录每组测量基的原始计数和中间结果。字段包括：测量基组合、四个符合计数、总计数、关联函数 E、偶然符合估计、扣除后 E 值。

根据上表数据（示例值），扣除偶然符合后：

S = 0.792 − (−0.784) + 0.787 + 0.786 = 3.149

该示例 S 值明显大于 2，且总计数约 2.2×10⁴，σ_S ≈ 0.013，显著性极高。但需注意：这是教学示例数据，实际实验中 S 值通常在 2.4～2.8 之间，取决于源质量和系统误差控制水平。

总结来说，端到端框架的核心是：源要纯、基要准、计数要净、统计要稳。四个环节的指标相互制约，任何一项不达标都会直接反映在最终的 S 值上。建立清晰的记录表和误差预算，是让贝尔实验从“演示”走向“可信测量”的关键一步。