1. 纠缠光子对概述
在量子信息科学的语境中，“纠缠”并不是一种模糊的哲学关联，而是一种可以被数学严格定义、被实验精确制备和测量的物理资源。理解纠缠光子对，需要同时把握三件事：纠缠的数学定义、光子作为纠缠载体的物理内涵，以及“产生—表征—应用”这条完整链路在量子信息中的位置。本章作为全课程的开篇，先建立这三层认知框架，并给出后续各章的技术路线图。
一、纠缠的定义：从不可分离到可观测判据
考虑由两个子系统 A 和 B 构成的复合量子系统，其状态空间为两个子系统希尔伯特空间的张量积 H = H_A ⊗ H_B。若复合系统的密度矩阵 ρ 可以写成
ρ = Σ_i p_i · ρ_A^(i) ⊗ ρ_B^(i), p_i ≥ 0, Σ_i p_i = 1则称该状态为可分离态（separable state），即它只是 A、B 各自状态的经典概率混合，不包含任何量子关联。反之，若不存在这样的分解，则称该状态为纠缠态。对于纯态，判据可以简化为：|ψ⟩ 可分离当且仅当它可以写成 |ψ⟩ = |a⟩ ⊗ |b⟩ 的直积形式。最典型的二量子比特纠缠态是四个 Bell 态：
|Φ±⟩ = (|00⟩ ± |11⟩)/√2
|Ψ±⟩ = (|01⟩ ± |10⟩)/√2以 |Φ+⟩ 为例，它无法分解为任意 (α|0⟩+β|1⟩) ⊗ (γ|0⟩+δ|1⟩)，因为展开后交叉项 αδ|01⟩ 与 βγ|10⟩ 必须同时为零，而这与 αγ = βδ = 1/√2 矛盾。这就是“不可分离”的直接体现。
需要强调的是，纠缠是状态的性质，不是“测量结果的相关性”。经典关联（例如两枚同模硬币）也能产生相关性，但它们的联合状态始终可分离。区分二者的关键判据是 Bell 不等式：对可分离态，CHSH 组合量满足 |S| ≤ 2；而合适的纠缠态在最优测量基下可达到 |S| = 2√2 ≈ 2.828。因此，违反 Bell 不等式是纠缠（更严格地说是非局域性）的实验证据，这也是本课程表征环节的核心判据之一。
二、光子纠缠的物理内涵
光子为什么适合承载纠缠？原因有三。第一，光子几乎没有静止质量，传播损耗低，可通过光纤或自由空间长距离传输，是量子通信的天然载体。第二，光子的偏振、路径、时间—能量、轨道角动量等多个自由度都可以编码量子信息，且这些自由度之间可以构造超纠缠。第三，光子与环境的耦合相对弱，退相干时间较长。
最常见的偏振纠缠光子对来自自发参量下转换（SPDC）：一束泵浦光入射到非线性晶体（如 BBO、PPKTP），一个高能泵浦光子以一定概率分裂为两个低能光子，分别称为信号光（signal）和闲频光（idler）。在 II 型相位匹配下，信号光与闲频光偏振正交，经过适当补偿后可以制备出 |Φ+⟩ = (|HH⟩ + |VV⟩)/√2 形式的状态。这里的 H、V 分别表示水平与垂直偏振，是后续所有偏振测量实验的参考基。
光子纠缠的物理内涵可以概括为：两个光子的偏振（或其他自由度）之间不存在独立的确定值，只有联合测量才能给出确定结果。单独测量任一个光子，结果都是完全随机的；但一旦测得一个光子为 H，另一个立即“塌缩”为 H（对 |Φ+⟩ 而言）。这种非局域关联不能用于超光速通信，因为单边测量结果本身是随机的，只有双方比对结果时才能看到关联。
三、产生与表征在量子信息中的位置
纠缠光子对在量子信息中处于“资源供给”的位置。量子密钥分发（QKD）、量子隐形传态、纠缠交换、量子中继、玻色采样、量子门等任务，都以高质量纠缠源为起点。因此，整个技术链条可以概括为：源（产生）→ 信道（传输）→ 测量（表征）→ 应用（协议）。其中“产生”决定资源的上限，“表征”决定我们是否真的知道手里有什么资源。没有可靠的表征，后续协议的正确性就无从谈起。
表征的核心任务包括：确认状态是否纠缠、估计纠缠度（如 concurrence、保真度）、测量 Bell 不等式违反量、评估退相干与噪声。常用的实验手段是量子态层析（QST），通过对两个光子分别做不同基下的符合计数测量，重构密度矩阵，再计算保真度 F = ⟨Φ+|ρ|Φ+⟩。若 F > 0.5，通常可判定存在纠缠；若 F 接近 1，则说明源质量良好。
四、课程整体路线图
本课程共 30 章，按“概念—产生—表征—应用”的逻辑展开。前几章建立纠缠的数学与物理基础，包括密度矩阵、Bell 态、纠缠度量与 Bell 不等式；随后进入产生环节，讲解 SPDC 原理、相位匹配条件、晶体选择、泵浦参数（功率、波长、带宽）对光子对产率与纠缠质量的影响；再进入表征环节，覆盖符合计数、偏振测量、量子态层析、保真度与纠缠度计算、Bell 不等式实验；最后延伸到应用与进阶主题，如纠缠交换、量子中继、QKD 协议与实验误差分析。
学习本课程后，你应当能够：独立描述一个 SPDC 纠缠源的关键参数；搭建符合计数测量链路并采集四组基下的符合计数；由计数矩阵重构密度矩阵并计算保真度；判断源是否满足纠缠判据；并理解这些结果在量子信息协议中的意义。后续每一章都会围绕一个可操作的技术点展开，配合参数示例与判断依据，使知识可以直接用于实验设计与结果分析。