4. 基于纠缠见证的保真度下界评估

在偏振纠缠光源的质检中,量子态层析虽然能给出完整密度矩阵,但测量开销大、数据处理复杂,且对光源稳定性要求高。纠缠见证提供了一条更轻量的路径:只需测量少数几个算符的期望值,就能判定“该光源是否至少达到某个保真度”。本节围绕见证算符的构造、保真度下界的估计方法,以及一套可直接落地的偏振纠缠见证测量方案展开。

一、纠缠见证与保真度下界的基本关系

纠缠见证是一个厄米算符 W,满足两个条件:对所有可分态 ρsep 有 Tr(Wρsep) ≥ 0;而存在某个纠缠态使期望值为负。若实验测得 Tr(Wρexp) < 0,即可断定 ρexp 是纠缠态。更进一步,若已知目标态 |ψ⟩ 与 W 的构造关系,负值的大小还能换算成保真度的下界。

最常用的一类是基于保真度的见证。设目标态为 |ψ⟩,定义

W = α·I − |ψ⟩⟨ψ|,   0 < α ≤ 1

对任意态 ρ,有 Tr(Wρ) = α − ⟨ψ|ρ|ψ⟩ = α − F,其中 F = ⟨ψ|ρ|ψ⟩ 即保真度。于是实验测得期望值 w = Tr(Wρexp) 后,立刻得到保真度下界

F ≥ α − w

当 α 取 1 时,下界为 1 − w,这是最紧的形式;但 α = 1 的见证对噪声更敏感,实际中常取 α 略小于 1(例如 0.9),以换取对制备偏差的鲁棒性。需要强调:该下界是“保真度不低于此值”的严格结论,而非估计值,这正是见证方法相对层析的核心优势——它不依赖对态的先验假设,也不需要对测量结果做最大似然重构。

二、偏振纠缠见证算符的构造

以典型的偏振纠缠目标态——贝尔态 |Φ⁺⟩ = (|HH⟩ + |VV⟩)/√2 为例(H、V 分别表示水平、垂直线偏振,第一个字母对应信号光,第二个对应闲频光)。其密度矩阵投影算符可展开为

|Φ⁺⟩⟨Φ⁺| = ¼ [ I⊗I + X⊗X − Y⊗Y + Z⊗Z ]

其中 X、Y、Z 为泡利算符,注意 Y⊗Y 项前为负号,这是 |Φ⁺⟩ 区别于其他贝尔态的关键。代入 W = α·I⊗I − |Φ⁺⟩⟨Φ⁺|,得到可实验分解的见证算符:

W = (α − ¼)·I⊗I − ¼·X⊗X + ¼·Y⊗Y − ¼·Z⊗Z

这样,W 的期望值就化为四个联合测量项的组合:⟨X⊗X⟩、⟨Y⊗Y⟩、⟨Z⊗Z⟩ 以及常数项。每一项对应一组偏振基下的符合计数:Z⊗Z 对应 H/V 基,X⊗X 对应 ±45° 基(D/A),Y⊗Y 对应左/右旋基(L/R)。因此整个见证测量只需三组基、每组两个符合计数,共六个数,远少于层析所需的 16 组投影测量。

若目标态换成 |Ψ⁻⟩ = (|HV⟩ − |VH⟩)/√2,则展开式中 X⊗X、Y⊗Y、Z⊗Z 三项全部取负号,测量基不变,只是符号与常数项调整。构造见证前务必确认目标态的符号约定。

三、测量方案与数据处理

下面给出一套针对偏振纠缠光源的见证测量方案,参数为教学示例设定,实际使用时按所用波片、探测器效率与符合窗口调整。

  1. 光路准备:信号光与闲频光分别进入各自的偏振分析模块(半波片 HWP + 四分之一波片 QWP + 偏振分束器 PBS),两路探测器接符合计数器,符合窗口设为 2 ns。
  2. 基组设置:Z 基时 HWP 归零、QWP 归零;X 基时 HWP 转到 22.5°;Y 基时 QWP 转到 45° 后再将 HWP 转到 22.5°。两路分析模块同步旋转,保证测量的是同一组基下的联合投影。
  3. 计数采集:每组基下记录四种偏振组合的符合计数 NHH、NHV、NVH、NVV(X、Y 基下对应 D/A、L/R 组合),每组累计 10 s,重复三次取平均以抑制泊松涨落。
  4. 期望值计算:对 Z 基,⟨Z⊗Z⟩ = (NHH + NVV − NHV − NVH) / Ntotal;X、Y 基同理,用对应组合计数替换。
  5. 见证值合成:w = (α − ¼) − ¼⟨X⊗X⟩ + ¼⟨Y⊗Y⟩ − ¼⟨Z⊗Z⟩,取 α = 0.9。
  6. 下界判定:F ≥ α − w。若 w < 0,则同时确认纠缠存在;若 F 下界高于预设合格线(例如 0.85),判定光源保真度达标。

举一个示例数值以便理解计算过程(以下为合理假设的演示数据,非实测结果):设 α = 0.9,测得 ⟨Z⊗Z⟩ = 0.86、⟨X⊗X⟩ = 0.82、⟨Y⊗Y⟩ = −0.78。则

w = (0.9 − 0.25) − 0.25×0.82 + 0.25×(−0.78) − 0.25×0.86
  = 0.65 − 0.205 − 0.195 − 0.215
  = 0.035
F ≥ 0.9 − 0.035 = 0.865

此时 w > 0,说明该组数据尚不足以宣称纠缠(在 α = 0.9 的见证下),但保真度下界 0.865 仍可作为保守指标使用。若把 α 调回 1,则 w = 0.135,下界为 0.865,结论一致——这提示 α 的选择只影响见证的判定阈值,不改变下界公式本身的结构。实际中若希望同时获得“纠缠判定”和“保真度下界”,建议先用 α = 1 的见证判定纠缠,再用同一组数据按上式换算下界。

四、测量方案的结构与误差控制

下图给出该见证测量方案的信号链结构:从光源出发,经三组偏振基分析、符合计数,最终合成见证值并输出保真度下界。

偏振纠缠光源 |Φ⁺⟩ 目标态 信号光 / 闲频光 Z 基分析 HWP 0° / QWP 0° H/V 投影 → N_HH, N_VV… X 基分析 HWP 22.5° D/A 投影 → N_DD, N_AA… Y 基分析 QWP 45° + HWP 22.5° L/R 投影 → N_LL, N_RR… 符合计数 窗口 2 ns 10 s × 3 次平均 符合计数 窗口 2 ns 10 s × 3 次平均 符合计数 窗口 2 ns 10 s × 3 次平均 期望值合成 ⟨X⊗X⟩ ⟨Y⊗Y⟩ ⟨Z⊗Z⟩ 见证值 w F ≥ α − w 判定达标 W = (α − ¼)·I⊗I − ¼·X⊗X + ¼·Y⊗Y − ¼·Z⊗Z → w = Tr(Wρ),F ≥ α − w

误差控制上有三点值得注意。其一,波片角度误差会直接污染期望值,HWP 每偏 1°,X 基期望值约损失 1%~2%,建议用消光比标定后再固定波片座。其二,两路探测效率不匹配会引入类似“不公平采样”的偏置,可在计算前用单路计数做归一化修正。其三,符合计数需扣除偶然符合,公式为 Nacc = N1N2τ,其中 τ 为符合窗口,扣除后再代入期望值计算,否则会系统性低估 |⟨Z⊗Z⟩| 等项。

最后需要提醒:见证下界是保守的。当光源实际保真度为 0.92 时,由于统计涨落和系统误差,测得的下界可能只有 0.86~0.88。因此工程上应把“下界合格线”设在真实指标之下留出裕量,并配合重复测量评估 w 的置信区间——通常按泊松统计传播到各期望值,再线性传播到 w,即可给出下界的误差棒。这样,纠缠见证不仅是一个“是/否”的判据,更成为一条可量化、可追溯的保真度质控链路。