4. 纠缠度量与验证
在纠缠型量子密钥分发（E91类协议）中，纠缠源的质量直接决定最终密钥率与安全性。工程上不能仅凭“源标称产生纠缠”就认为系统可用，必须通过可量化的验证手段确认纠缠确实存在、强度足够、且未被信道或器件缺陷破坏。本节围绕四类工程化验证手段展开：贝尔不等式与CHSH测试用于判定纠缠的非经典性，纠缠目击者用于快速筛查，量子层析用于重建完整量子态，四者构成从“粗筛”到“精测”的验证链。
一、从贝尔不等式到CHSH：可测量的判据
贝尔不等式描述局域实在论对关联测量结果的约束。工程中最常用的是CHSH形式：Alice与Bob各自在两个测量基下测量，定义关联函数 E(a,b)=P(++ )+P(--)−P(+-)−P(-+)，再构造
S = E(a,b) − E(a,b') + E(a',b) + E(a',b')局域实在论要求 |S| ≤ 2，而量子力学对最大纠缠态可给出 S = 2√2 ≈ 2.828。因此，只要实验测得 S > 2（并考虑统计误差后仍显著），就构成对纠缠非经典性的判定。工程上通常以 S 值作为纠缠源质量的核心指标：S 越接近 2.828，源越接近理想最大纠缠。
需要注意测量基的选择。对偏振编码，常用基为：a = 0°、a' = 45°、b = 22.5°、b' = 67.5°（相对于同一参考系）。若基角设置错误，即使源理想，S 也会明显下降。因此工程实施中必须先用已知经典态或直通光校准偏振控制器，再固定基角。
二、纠缠目击者：无需完整层析的快速判据
纠缠目击者（entanglement witness）是一个厄米算符 W，满足对任意可分态 Tr(Wρ_sep) ≥ 0，而对某些纠缠态 Tr(Wρ_ent) < 0。工程价值在于：它只需测量少数几个观测量，就能给出“存在纠缠”的结论，适合在线监控。
对偏振纠缠，常用目击者形式为
W = 1/2·I − |Φ+⟩⟨Φ+|其中 |Φ+⟩ = (|HH⟩+|VV⟩)/√2。测量时只需在 H/V 基和 ±45° 基下统计符合计数，计算 ⟨W⟩。若 ⟨W⟩ < 0，则判定纠缠存在。该判据的优点是测量量少、速度快，适合在密钥分发前做快速筛查；缺点是只能给出“是/否”结论，不能给出纠缠度或保真度。
三、量子层析：重建密度矩阵
量子层析（quantum state tomography）通过在一组完备测量基下采集数据，重建密度矩阵 ρ。对两比特偏振纠缠，通常需要 16 组测量设置（每个比特在 H/V、±45°、L/R 三个基下测量，共 3×3=9 组，加上符合计数归一化，实际常用 16 组投影）。工程实施步骤为：
- 固定测量基组合，逐组采集符合计数，每组积分时间相同（例如 10 s），记录 N_ij。
- 将计数归一化为概率，构造线性方程组 ρ = Σ c_k B_k，其中 B_k 为 Pauli 基张量积。
- 用最大似然估计（MLE）求解，保证 ρ 半正定、迹为 1。
- 从 ρ 计算保真度 F = ⟨Φ+|ρ|Φ+⟩、 concurrence C(ρ) 和 S 值。
层析的工程难点在于：测量基数量多、采集时间长，且对系统漂移敏感。因此通常先做 CHSH 快速判定，再对通过判定的源做层析精测。若层析得到的 F < 0.9 或 C < 0.8，则说明源或信道存在明显退相干，需要排查。
四、工程化验证链与参数判读
将上述手段组合成验证链：先测 CHSH 的 S 值，若 S ≤ 2 则直接判定不可用；若 S > 2，再用目击者确认，最后用层析给出保真度和 concurrence。典型教学示例参数如下（示例数据，非实测）：
| 指标 | 合格阈值 | 示例测量值 | 判读 |
|---|---|---|---|
| CHSH S 值 | > 2.0 | 2.62 ± 0.04 | 通过，非经典性强 |
| 目击者 ⟨W⟩ | < 0 | −0.18 | 通过，纠缠存在 |
| 保真度 F | > 0.90 | 0.94 | 通过，接近最大纠缠 |
| Concurrence C | > 0.80 | 0.88 | 通过，纠缠度高 |
若 S 在 2.0 附近波动，需增加计数积分时间以降低统计误差；若 F 明显低于 0.9，应检查偏振控制器是否漂移、光纤是否引入退相干、探测器暗计数是否过高。工程上建议每 30 分钟自动重测一次 CHSH，作为在线监控指标。
五、实施要点与常见问题
工程实施中，CHSH 测试的统计误差不可忽略。若每组符合计数为 N，则 S 的标准差约为 2/√N。例如 N=10⁴ 时，σ_S ≈ 0.02，此时 S=2.05 仍可能由统计涨落造成，需增加计数或延长积分时间。建议以 S > 2.2 作为工程可用阈值，留出安全余量。
层析的 MLE 求解可用迭代算法：从最大似然初值出发，按 RρR 形式迭代更新，其中 R = Σ (N_ij / Tr(ρ M_ij)) M_ij，M_ij 为投影算符。迭代 10³ 次即可收敛。工程上可直接调用现成库（如 Qiskit Ignis、QuTiP），但需注意测量基的标定必须与层析模型一致，否则重建结果会出现系统性偏差。
综上，纠缠验证的工程化实施应遵循“先快后精、先判后测”的原则：用 CHSH 和目击者做快速筛查，用层析做精确定量，最终以保真度和 concurrence 作为源质量的核心判据。只有验证链完整通过，纠缠源才可进入密钥分发阶段。