4、量子态表示：狄拉克符号、密度矩阵、纯态与混合态、纠缠态基础

进入量子光学实验与理论分析之前，最需要先建立一套严谨且高效的“语言系统”。许多初学者在搭建光学干涉仪或处理单光子探测数据时，往往因为态矢量的符号混乱、对统计混合与相干叠加的区分不清，导致对实验结果产生误判。本章将系统梳理狄拉克符号的运算规则、密度矩阵的构造与判据、纯态与混合态的物理区别，以及纠缠态的基本性质与判定方法。这些内容不仅是量子光学理论的基石，更是理解压缩光、单光子源、量子密钥分发等前沿实验的必备工具。

量子态表示体系总览 量子态 |ψ⟩ 狄拉克符号 |ψ⟩, ⟨φ|, ⟨φ|ψ⟩ 密度矩阵 ρ ρ = Σ pᵢ|ψᵢ⟩⟨ψᵢ| 纯态 vs 混合态 Tr(ρ²)=1 或 <1 纠缠态 |Φ⁺⟩ = (|00⟩+|11⟩)/√2 内积 ⟨φ|ψ⟩ → 概率幅 外积 |ψ⟩⟨φ| → 投影算符 完备性 Σ|n⟩⟨n| = I 本征方程 Â|a⟩ = a|a⟩ 对角元：布居数 pᵢ 非对角元：相干性 ρ₁₂ Tr(ρ) = 1 归一化 ρ ≥ 0 半正定 纯态：|ψ⟩ 可写单一态矢 混合态：统计系综 Σpᵢ 判据：Tr(ρ²) = 1 纯态 判据：Tr(ρ²) < 1 混合态 Bell态：最大纠缠 EPR关联：非局域性 判据：部分转置负性 应用：量子隐形传态 实验应用场景 单光子干涉 | 量子层析 | 退相干分析 | 纠缠光子对产生与验证

上图给出了量子态表示的整体框架。狄拉克符号提供了抽象的矢量语言，密度矩阵则统一了纯态与混合态的描述方式，而纠缠态揭示了量子系统特有的非局域关联。下面我们逐一深入每个模块的核心原理与操作细节。

4.1 狄拉克符号：量子力学的标准语言

核心原理

狄拉克符号（bra-ket notation）将量子态抽象为希尔伯特空间中的矢量。右矢 |ψ⟩ 表示一个量子态，左矢 ⟨φ| 表示其对偶空间中的共轭矢量。内积 ⟨φ|ψ⟩ 是一个复数，其模平方 |⟨φ|ψ⟩|² 表示在 |ψ⟩ 态中测量到 |φ⟩ 的概率。外积 |ψ⟩⟨φ| 则是一个算符，当 |ψ⟩ = |φ⟩ 时，|ψ⟩⟨ψ| 是投影到该态上的投影算符。

在量子光学中，最常见的基矢是光子数态（Fock态）|n⟩，其中 n 表示光子数。相干态 |α⟩ 是湮灭算符的本征态，满足 â|α⟩ = α|α⟩。狄拉克符号的优势在于它不依赖于具体表象，使得从光子数表象到位置表象的转换变得简洁明了。

操作规则与常用恒等式

  • 完备性关系：Σₙ |n⟩⟨n| = I，这是插入单位算符进行表象变换的基础。
  • 本征方程：Â|a⟩ = a|a⟩，测量算符的本征值对应可能的测量结果。
  • 内积的共轭对称性：⟨φ|ψ⟩ = ⟨ψ|φ⟩*。
  • 算符的期望值：⟨Â⟩ = ⟨ψ|Â|ψ⟩，前提是态已归一化。
经验提醒：在计算多模光场时，务必注意模的标记。例如双模态 |n₁⟩₁ ⊗ |n₂⟩₂ 常简写为 |n₁, n₂⟩，但下标不能省略，否则在计算部分求迹时容易混淆。

案例拆解：单光子干涉仪的态演化

考虑一个马赫-曾德尔干涉仪，单光子入射到第一个分束器（BS1）上。初始态为 |1⟩_a |0⟩_b，经过50:50分束器后，态变为：

|ψ⟩ = (|1⟩_a |0⟩_b + i|0⟩_a |1⟩_b) / √2

这里的 i 来自分束器的反射相位。经过两臂的相位延迟（假设 a 臂有相位 φ）后：

|ψ'⟩ = (e^{iφ}|1⟩_a |0⟩_b + i|0⟩_a |1⟩_b) / √2

再经过第二个分束器（BS2），最终在探测器 D1 和 D2 上的探测概率分别为：

P(D1) = cos²(φ/2)
P(D2) = sin²(φ/2)

这个计算过程完全依赖狄拉克符号的线性代数运算，避免了积分或微分方程的繁琐。初学者应熟练掌握这种“分束器-相位-分束器”的算符链写法。

常见误区

风险提示：不要将 ⟨φ|ψ⟩ 与 ⟨ψ|φ⟩ 混淆，两者互为共轭复数。在计算干涉条纹可见度时，若错误使用内积顺序，会导致相位符号错误，从而得到相反的干涉图样。

4.2 密度矩阵：统一描述纯态与混合态

核心原理

密度矩阵 ρ 定义为：

ρ = Σᵢ pᵢ |ψᵢ⟩⟨ψᵢ|

其中 pᵢ 是系统处于态 |ψᵢ⟩ 的概率（经典概率），满足 Σpᵢ = 1。对于纯态，只有一个 pᵢ = 1，其余为零，此时 ρ = |ψ⟩⟨ψ|。密度矩阵的核心价值在于：它既能描述相干叠加（纯态），也能描述经典统计混合（混合态），并且可以自然地处理子系统（通过部分求迹）。

密度矩阵的性质与判据

性质 数学表达 物理意义
归一化 Tr(ρ) = 1 总概率为1
半正定性 ρ ≥ 0 所有本征值非负
厄米性 ρ† = ρ 可对角化，本征值为实数
纯态判据 Tr(ρ²) = 1 ρ 是投影算符
混合态判据 Tr(ρ²) < 1 存在经典概率混合

在量子光学实验中，由于损耗、模式失配或探测器噪声，实际制备的态往往是混合态。例如，热光场的光子数分布服从玻色-爱因斯坦分布，其密度矩阵为：

ρ_th = Σₙ [n̄ⁿ / (n̄+1)^{n+1}] |n⟩⟨n|

其中 n̄ 是平均光子数。这是一个完全对角化的混合态，没有非对角元，因此没有相干性。

操作流程：如何从实验数据构造密度矩阵

  1. 量子态层析（Quantum State Tomography）：对多个不同的测量基（如光子数、正交分量、斯托克斯参数）进行投影测量，记录各基下的计数率。
  2. 数据反演：利用最大似然估计（MLE）或线性反演算法，从测量数据中重建密度矩阵的各个元素。
  3. 验证：检查重建的 ρ 是否满足半正定性和归一化条件，计算保真度 F = ⟨ψ_target|ρ|ψ_target⟩。
实战场景：在制备压缩真空态时，由于光学损耗，实际态不是纯压缩态，而是混合态。通过量子态层析得到密度矩阵后，可以计算其纯度 P = Tr(ρ²)。若测得 P = 0.85，说明有15%的混合成分，这通常来自传播损耗或探测器暗计数。此时需要优化光路或使用后选择（post-selection）来提高纯度。

常见误区

风险提示：不要将密度矩阵的非对角元直接等同于“量子相干性”。非对角元 ρ₁₂ 的值大小确实反映相干程度，但其相位也包含重要信息。在退相干过程中，非对角元指数衰减，但相位可能发生旋转。若只关注幅度而忽略相位，会导致对退相干机制的误判。

4.3 纯态与混合态：本质区别与实验判别

核心原理

纯态可以用一个态矢量完全描述，系统处于确定性的叠加状态。混合态则是多个纯态的经典概率混合，系统的不确定性来自我们对制备过程的无知。关键区别在于：纯态的叠加是量子干涉的根源，而混合态的混合不产生干涉。

以单光子偏振为例：

  • 纯态：|ψ⟩ = (|H⟩ + |V⟩)/√2，这是线偏振45°态，在 H/V 基下测量，两个探测器都有50%计数，但若在 ±45° 基下测量，则100%探测到 +45° 分量。
  • 混合态：ρ = (|H⟩⟨H| + |V⟩⟨V|)/2，这是完全非偏振光，在任何基下测量都是50%概率，没有干涉效应。

判别方法

方法 纯态 混合态
Tr(ρ²) 1 < 1
冯·诺依曼熵 S = -Tr(ρ ln ρ) 0 > 0
干涉可见度 V = (I_max - I_min)/(I_max + I_min) 1（理想情况） < 1
能否写成单一态矢 能 不能

案例拆解：退相干过程中的纯度变化

考虑一个量子比特（如光子偏振）与环境相互作用。初始纯态 |ψ⟩ = (|H⟩ + |V⟩)/√2，经过退相干通道后，密度矩阵演化为：

ρ(t) = 1/2 [ |H⟩⟨H| + |V⟩⟨V| + e^{-γt}(|H⟩⟨V| + |V⟩⟨H|) ]

其中 γ 是退相干速率。当 t = 0 时，ρ = |ψ⟩⟨ψ|，Tr(ρ²) = 1。当 t → ∞ 时，非对角元消失，ρ → (|H⟩⟨H| + |V⟩⟨V|)/2，Tr(ρ²) = 0.5。通过测量不同延迟时间下的 Tr(ρ²)，可以提取退相干速率 γ，这是量子存储实验中的关键参数。

经验提醒：在光学实验中，判断一个态是纯态还是混合态，最直接的方法是测量二阶关联函数 g⁽²⁾(0)。单光子态（纯态）的 g⁽²⁾(0) = 0，相干态（纯态）的 g⁽²⁾(0) = 1，热态（混合态）的 g⁽²⁾(0) = 2。这个测量只需要一个分束器和两个单光子探测器，非常实用。

常见误区

风险提示：不要将“混合态”等同于“经典态”。混合态仍然可以具有量子关联（如纠缠混合态），只是其自身的相干性被部分或完全抹除。在量子密钥分发中，混合态的安全性分析比纯态更复杂，需要引入纠缠蒸馏等概念。

4.4 纠缠态基础：非局域关联与判定

核心原理

纠缠态是指不能写成子系统态矢直积形式的复合系统态。对于双光子偏振态，四个Bell态是最大纠缠态：

|Φ⁺⟩ = (|HH⟩ + |VV⟩)/√2
|Φ⁻⟩ = (|HH⟩ - |VV⟩)/√2
|Ψ⁺⟩ = (|HV⟩ + |VH⟩)/√2
|Ψ⁻⟩ = (|HV⟩ - |VH⟩)/√2

纠缠的核心特征是：对其中一个子系统的测量会瞬时影响另一个子系统的测量统计，尽管两者可能相距遥远。这种关联不能用局域隐变量理论解释，贝尔不等式（CHSH形式）提供了实验判据。

纠缠判定方法

  1. 部分转置判据（PPT）：对密度矩阵的其中一个子系统做转置，若转置后的矩阵有负本征值，则态必然纠缠（对于2×2和2×3系统是充要条件）。
  2. CHSH不等式：测量两个子系统的关联函数 E(θ₁, θ₂)，计算 S = |E(a,b) - E(a,b') + E(a',b) + E(a',b')|。若 S > 2，则违反贝尔不等式，确认纠缠。
  3. 保真度测量：对于目标纠缠态 |Φ⁺⟩，测量保真度 F = ⟨Φ⁺|ρ|Φ⁺⟩，若 F > 0.5，则态是纠缠的。

案例拆解：自发参量下转换（SPDC）产生的纠缠光子对

在BBO晶体中，泵浦光子（例如405nm）通过II型参量下转换产生一对正交偏振的光子（信号光与闲频光）。理想情况下，产生的态为：

|ψ⟩ = (|H⟩_s |V⟩_i + e^{iφ}|V⟩_s |H⟩_i) / √2

其中 φ 是相位匹配条件决定的相对相位。实验上，通过调节补偿晶体可以控制 φ 为0或π，从而制备 |Φ⁺⟩ 或 |Ψ⁻⟩。

验证纠缠的典型步骤：

  • 在信号光路和闲频光路分别放置偏振分析器（半波片+偏振分束器）。
  • 测量不同角度组合下的符合计数 N(θ₁, θ₂)。
  • 计算CHSH参数 S。若 S = 2.7 ± 0.1，则明确违反贝尔不等式（S > 2），确认纠缠。
复盘经验：在SPDC实验中，常见的“假纠缠”来源包括：双光子发射（多对产生）、背景噪声、探测器暗计数。这些因素会降低 S 值。若 S 值接近2但不大于2，需要检查：①泵浦功率是否过高导致多对产生；②是否使用了窄带滤波片以滤除噪声；③符合窗口是否设置合理（通常为几纳秒）。通过优化这些参数，可以将 S 从2.1提升到2.7以上。

常见误区

风险提示：不要将“关联”等同于“纠缠”。经典关联（如两个光子都来自同一热光源）也可以产生符合计数，但不会违反贝尔不等式。必须通过CHSH测试或部分转置判据来严格验证。另外，纠缠态经过损耗信道后会退化为混合纠缠态，此时PPT判据可能失效，需要更高级的纠缠见证（entanglement witness）方法。

4.5 综合对比与实验选择指南

表示方法 适用场景 优势 局限性
狄拉克符号 理论推导、算符运算 简洁、抽象、与表象无关 不直观，需熟悉线性代数
密度矩阵 混合态、退相干、量子层析 统一描述纯态与混合态，可部分求迹 矩阵维度随系统增大指数增长
纯态/混合态 实验态制备、纯度评估 物理图像清晰，便于实验测量 无法描述子系统间的关联
纠缠态 量子通信、量子计算、贝尔测试 揭示非局域性，是量子优势的核心 制备和保持困难，易受退相干影响

在实际量子光学实验中，通常需要组合使用这些工具。例如，在量子隐形传态实验中，先用狄拉克符号写出完整的纠缠交换过程，再用密度矩阵分析信道噪声的影响，最后通过CHSH不等式验证纠缠质量。掌握这四种表示方法及其相互转换，是进入量子光学前沿研究的必要门槛。

← 上一章 📖 返回目录 下一章 →