1. 量子光学关联测量导论
量子光学研究的核心对象不是单次光强，而是光场在不同时刻、不同空间点、不同偏振或不同频率通道之间的关联。所谓关联测量，就是通过符合计数、时间标记或干涉信号，考察两个或多个探测事件是否“同时”或“成对”出现，并由此反推光场的量子统计性质。它回答的问题包括：光子是随机独立到达，还是倾向于成簇到达？两束光之间是否存在不可用经典波动解释的关联？这些关联能否用于成像、测距或量子信息任务？
本课程的目标是建立一条从物理概念到实验实现、再到统计判读的完整链路。学完本课程，读者应能理解二阶关联函数 g(2)(τ) 的物理含义，掌握 Hanbury Brown–Twiss（HBT）符合测量、时间标记与直方图统计的基本方法，能够区分热光、相干光、单光子源和纠缠光子对在关联测量中的典型特征，并能对原始计数数据做归一化、扣除偶然符合和误差评估。课程不追求罗列公式，而是强调“测什么、怎么测、数据长什么样、如何判断结果是否可信”。
关联测量的物理意义
经典光学中，光强 I(t) 是可直接测量的量，关联体现为强度涨落的乘积平均，例如 G(2)(τ)=⟨I(t)I(t+τ)⟩。量子光学把光场写成算符，探测过程由光场算符的常序关联描述。二阶关联函数通常定义为
g⁽²⁾(τ) = ⟨E⁻(t)E⁻(t+τ)E⁺(t+τ)E⁺(t)⟩ / (⟨E⁻E⁺⟩⟨E⁻E⁺⟩)其中 E+、E− 分别为正频和负频场算符，τ 为两路探测的相对时间延迟。对单模稳态光场，g(2)(0) 的取值直接反映光子数分布：相干光为 1，热光为 2，理想单光子源为 0。这个“0 到 2”的区间，正是区分经典与量子光场的核心判据之一。
需要特别强调，g(2)(0)<1 称为反聚束，它无法用任何经典强度涨落模型解释；而 g(2)(0)>1 称为聚束，热光典型表现为聚束。因此，关联测量不是简单“看光强”，而是通过事件之间的时间统计，揭示光场的量子态信息。
从经典光到量子光的测量范式转变
经典测量范式以平均光强、光谱和干涉条纹可见度为中心，探测器输出的是连续电流或电压。量子测量范式则转向单光子事件：探测器输出离散脉冲，每个脉冲对应一个光子到达事件。测量系统记录每个事件的到达时间标签，再通过离线或在线符合逻辑重建关联。这一转变带来三个关键变化：
- 从连续量到离散事件：不再只问“平均有多亮”，而是问“两个光子相隔多久到达”。
- 从单通道到多通道：HBT 使用分束器把光分成两路，分别探测后做符合计数，避免单探测器死时间造成的偏差。
- 从直接读数到统计推断：原始符合计数必须扣除偶然符合、暗计数和背景，才能得到可信的 g(2)(τ)。
以连续激光为例，其光子到达近似泊松过程，g(2)(τ)=1，符合计数在任意延迟下都接近常数。而热光由于强度涨落，光子倾向于成簇到达，g(2)(0)≈2，在 τ 增大后衰减到 1。单光子源则相反，g(2)(0)≈0，因为一个量子发射体在激发后需要重新泵浦才能再次发光，两个探测器几乎不可能同时收到两个光子。
统计分析在量子光学中的核心地位
关联测量的输出本质上是随机事件序列，因此统计分析不是附属步骤，而是测量本身的一部分。一次典型的 HBT 实验会得到两路时间标签序列，例如探测器 A 在 tA,i 时刻计数，探测器 B 在 tB,j 时刻计数。对每一对事件计算时间差 Δt=tB,j−tA,i，再统计 Δt 落在各个时间仓内的频次，就得到符合计数直方图 N(τ)。
为了把原始直方图转换为可比较的 g(2)(τ)，需要做归一化。一个常用的近似表达式为
g⁽²⁾(τ) = N_coinc(τ) / (N_A · N_B · Δτ · R)其中 Ncoinc(τ) 是延迟 τ 附近的符合计数，NA、NB 是两路总计数，Δτ 是时间仓宽度，R 是重复率或采集时间相关的归一化因子。实际处理中还要扣除偶然符合：当两路事件完全独立时，偶然符合计数为 NANBΔτ/T，其中 T 为总采集时间。只有扣除偶然符合后，才能判断 g(2)(0) 是否显著小于 1。
统计误差同样不可忽视。符合计数服从泊松统计，其标准差约为计数的平方根。因此，g(2)(0) 的不确定度可近似由零延迟处计数的相对误差传播得到。若零延迟处计数为 N0，则相对误差约为 1/√N0。要分辨 g(2)(0)=0.1 与 0.2，通常需要积累足够多的符合事件，使统计误差小于两者之差。这也是为什么量子光学实验往往需要较长采集时间和稳定的时间标记系统。
从课程结构看，后续章节将围绕三条主线展开：第一，关联函数与量子态描述，建立 g(1)、g(2) 与光子数分布的联系；第二，实验系统与测量方法，包括分束器、单光子探测器、时间数字转换器和符合计数逻辑；第三，数据分析与误差评估，涵盖直方图归一化、偶然符合扣除、背景修正和置信区间估计。掌握这三条主线，才能把“看到关联”转化为“读懂量子态”。